3. Let l = h + 54. Let s = 684 - l. Is s a prime number?
True
Suppose -3*m + w + 19 = 0, 7*m - 31 = 5*m - 3*w. Suppose -m*x + 18543 = -11545. Is x prime?
True
Let v(t) = 10531*t**2 - 48*t + 12. Is v(5) prime?
True
Let v(j) = -j + 47. Let c be v(23). Suppose -4*r + c = -0*r. Suppose 2868 = r*m - 906. Is m a composite number?
True
Let n = -35384 + 73063. Suppose y - 2*d = 2*d + n, -4*y - 3*d + 150659 = 0. Is y prime?
False
Is 8 - (-1463132)/((-96)/(-24)) prime?
True
Let j(b) = -5371*b - 1. Let w be j(-1). Suppose -10*v = -20*v + w. Is v a composite number?
True
Let h(c) = -62*c**3 + 7*c**2 - 17*c - 81. Is h(-7) a composite number?
False
Suppose 101230 = -12*r + 14*r + 3*j, -5*j = 0. Is 6/3*(r/10 - -5) a composite number?
False
Let v = -4599 + 3013. Let a be ((-4)/6)/((-53)/18 - -3). Is a*(5 + v/8) prime?
False
Let u = 20173 + 42586. Is u prime?
False
Suppose 5*p = 3*k + 10455 + 3046, 0 = -5*k + p - 22509. Let b = k - -6303. Is b prime?
True
Let z(a) = 298*a + 59. Let m(r) = -296*r - 60. Let x(o) = 6*m(o) + 7*z(o). Is x(15) a prime number?
True
Let m(i) = 6883*i - 5624. Is m(25) composite?
True
Let l(o) = 3*o**3 - 111*o**2 + 2042*o + 107. Is l(85) composite?
False
Let r be ((-42)/9 + 3)*(-3 - 0). Suppose j = 2*v, -r*j - 5*v = -3*j - 9. Suppose -d = -0*d + 4, j*z = -4*d + 8254. Is z a prime number?
False
Let u = 19907 + -10640. Let l = u + -5506. Is l composite?
False
Suppose 5*p = -2*t + 24439, -5*t + 0*p + 61132 = p. Suppose -m = -5 - 0, -3*m - t = -2*v. Is v a prime number?
True
Is (2373 - 1)*(-37)/(-4) composite?
True
Let v(i) = 242*i**2 + 82*i - 821. Is v(12) a prime number?
False
Suppose -219*l = -226*l + 883393. Is l a prime number?
True
Suppose -4*r + 10 = 3*d, -r - 3*d + 4 = -3*r. Let p be 7/(14/(-16)) - (-1 + r). Is (46/p)/((-1329)/332 - -4) a composite number?
True
Let v = -45 - -50. Suppose -v*r - 684 = -z, z - 4*z + 2096 = -4*r. Let k = z + -487. Is k a composite number?
True
Suppose -a + v = 2*a - 150, 4*a - 4*v = 192. Suppose a*r - 64*r + 5447 = 0. Is r prime?
True
Let z(f) = f**3 + 23*f**2 - 24*f + 24. Let w be z(-25). Let k = w - -1260. Is k prime?
False
Let x(y) = -y**3 - 6*y**2 - 10*y + 2. Let k be x(-3). Suppose 4*a = t + 9631, -5*a = -0*a + k*t - 12020. Is a a composite number?
True
Let u(k) = 105753*k**2 - 3*k + 3. Is u(1) prime?
False
Let x = 113 + -119. Is ((-22)/x)/((-6)/(-198)) a composite number?
True
Let c(w) = 11*w**3 + 10*w**2 + 4*w + 12. Is c(5) a prime number?
True
Let j be 49/(-14)*6/(-7). Suppose -389803 = 3*x - 6*x + t, 0 = -x + j*t + 129929. Is 3/(-8) + x/104 composite?
False
Let y(h) = -h**2 - 15*h - 26. Let w be y(-11). Suppose w = 3*n + 3*n. Suppose -3*s = -l - 2665, 4*s - n*l + 6*l = 3536. Is s a prime number?
True
Suppose -12*x - 18 = 30. Let v(m) = 298*m**2 - 7*m - 5. Is v(x) prime?
False
Let f(p) = -4*p**3 + 3*p**2 - p - 7. Let c be f(3). Suppose 0 = -5*b + 25, 5*b - 337 = -4*v + 2584. Let m = v + c. Is m a composite number?
True
Let q = 70757 - -42696. Is q a composite number?
False
Suppose -4*s - 780809 = -3*y, 355850 + 164686 = 2*y - s. Is y a composite number?
True
Suppose -252 = 117*s - 138*s. Let b be 1103444/16 + 2/(-8). Suppose i - b = -s*i. Is i a prime number?
False
Suppose 5*u - 19362009 = -7*u - 61*u. Is u composite?
True
Suppose -4 = -2*r - 18*j + 16*j, -2 = -2*r - 3*j. Suppose r*i + 5*z = 7*z + 69826, 3*i - 52377 = 4*z. Is i composite?
True
Let x = -401 + 412. Suppose -4*h + 711 = -3*h. Is (x/3)/(3/h) a composite number?
True
Suppose 66*d - 9285964 - 603674 = 0. Is d a composite number?
True
Let k(i) = 103*i**3 - 11*i**2 + 2*i - 9. Let a(m) = 51*m**3 - 6*m**2 + m - 3. Let w(b) = 7*a(b) - 4*k(b). Is w(-4) composite?
False
Suppose 0 = -10*u - 8*u + 1356012. Suppose -2*b = -m - u, b = -7*m + 11*m + 37667. Is b composite?
True
Let f(x) = -4*x**3 + 7*x + 24. Let m(l) = -9*l**3 - l**2 + 15*l + 48. Let p(j) = 13*f(j) - 6*m(j). Is p(7) a composite number?
True
Suppose 4*n - 775844 = 2*g + 306140, 0 = -8*n + g + 2163986. Is n a composite number?
True
Let c be 139590/(-33) - 8*-1. Let r = c + 8409. Is r composite?
True
Let t be (-34)/6 - 69/207. Is (143624/(-16) - -5)*t/9 prime?
True
Let n(j) = 2*j**3 + 30*j**2 - 62*j - 32. Let k be n(-26). Let t = -9461 - k. Is t composite?
True
Let t = -40 + 44. Suppose b + 4 = -t*n + 14, 5*b + 10 = 0. Is (-12)/n + 1 - -298 a prime number?
False
Let d = 804850 + -398351. Is d composite?
False
Let k = -23036 + 40024. Let i = -8935 + k. Is i prime?
True
Let h be 6*(-2)/(-78) - (-2)/(-13). Suppose -4*t + 5 + 7 = h. Suppose 901 = t*z - 4*l, l - 3 = 4*l. Is z a composite number?
True
Suppose 4*q + 66096 = 4*j - 6200, -4*q + 12 = 0. Is j composite?
False
Let n = -9144 - -15748. Let j be (-10 - -15)*4/(1 + 3) - 1. Suppose 4*q = -4*p + n, 0 = 2*q + j*p - 0*p - 3302. Is q a composite number?
True
Suppose 0 = -75*r + 440398 + 236777. Is r prime?
True
Let x be 2/(-3) + 20/(-6). Let n = 0 - x. Suppose 2*r = n*w - 0*w - 1176, -2*w + 4*r = -594. Is w prime?
True
Suppose 11114 = -9*r - 13258. Is 14*r*(-3)/24 prime?
False
Suppose 3*j + 33*c - 28*c = 194331, 4*j = -3*c + 259108. Is j prime?
False
Let j(d) = -d**2 + 6*d. Let r be j(5). Suppose 27*i = 26*i + r. Is 1 + 597 - i/(-5) prime?
True
Suppose 170613 = 5*n - 11*k + 7*k, -4*k = -4*n + 136492. Is n prime?
False
Let t(o) = -4*o + 60. Let k be t(0). Is 17390/8 - k/80 prime?
False
Let s(q) = -1595*q - 1 + 374*q + 2 - 677*q - 6. Is s(-2) prime?
False
Suppose -5*o - 20 = 0, 4*g - 2*o - 2 - 6 = 0. Suppose m = 2*w - 3319, -5*m + 0*m - 25 = g. Is w a prime number?
True
Suppose 2*v - 15 = -3*o, 5*o - 5*v + 14 = 39. Suppose 0 = -3*a + a + 92. Suppose 1001 - a = o*c. Is c prime?
True
Suppose 1698237 = -3490*k + 3499*k. Is k prime?
True
Let m = -48278 - -79455. Is m prime?
True
Suppose 3*y + 3*i - 18 = 0, 0 = -5*y - i - 0*i + 42. Let m be 26/117 + 34/y. Suppose -4*l + 1084 = m*c, -c = -3*l - 2*l + 1355. Is l composite?
False
Is -4*(-5)/40 - 20913900/(-120) composite?
True
Suppose 30*z + 3556 = 31*z. Let k = 8055 - z. Is k composite?
True
Suppose 3*q + 7638 = g - 6163, 3*q + 3*g = -13809. Let i = 16956 - q. Is i a prime number?
True
Let p(u) = u**3 - 16*u**2 + 31*u - 42. Let v(r) = -r**3 + 16*r**2 - 31*r + 43. Let h(f) = -4*p(f) - 5*v(f). Is h(25) a prime number?
True
Suppose 6371 = 2*q - 10411. Suppose -7*j - 880 + q = 0. Is j composite?
True
Suppose -4*b + 9 = 1. Suppose 6*c = b*c - 1520. Let u = 918 + c. Is u a prime number?
False
Suppose 0 = 17*c + 30*c - 233115 - 559070. Is c a composite number?
True
Is 2/19 + 102/114 + 14280 prime?
True
Let p(l) = 1539*l - 52. Let a(b) = 4. Let i(t) = 3*a(t) + p(t). Is i(9) composite?
True
Suppose 2*t = -r + 86085, -r - 2*r + 4*t = -258215. Is (-2)/(-14)*(12 - r)/(-5) prime?
True
Let c(y) = 514*y**2 + 28*y - 8. Let l be c(7). Suppose 21 = 4*p + 9, -p = -3*w + l. Is w prime?
False
Suppose 0 = 5*j + 4*c + 150, -c + 21 = -0*j - j. Is 283179/j*(-4)/6 a composite number?
True
Suppose -2*b - 10*b + 4*b = 0. Is (-2 - b) + (4 - -1351 - -8) prime?
True
Let c(j) = -13*j**3 - 232*j**2 + 75*j + 37. Is c(-57) a prime number?
False
Let b(m) = 45*m**2 - 55*m + 421. Is b(26) composite?
False
Suppose 4 + 32 = 3*j + 3*s, 4*j - 48 = 4*s. Suppose j = 9*w - 105. Is 2/w - 176241/(-169) a prime number?
False
Suppose -19*j = -394876 - 512013. Is j a prime number?
False
Suppose -38514 = 2*t + 5*y, y + 77000 = -4*t - 2*y. Let m = -8374 - t. Is m composite?
True
Let v be (-420)/40*(12/(-9))/(-1). Is (v/(-6) - 3)*193578/(-28) composite?
True
Let p be (-1950596)/(-30) + (-8)/(-60) - 4. Suppose -11*h + 144446 + p = 0. Is h a prime number?
False
Suppose -315*a = -299*a - 11883568. Is a composite?
False
Suppose 102*m - 5125862 = 88*m. Is m composite?
False
Let b(u) = u**3 - 3*u + 1. Let s be b(2). Suppose 0 = -5*p + 20, p = -s*h + 2*p - 5413. Let w = h - -3984. Is w prime?
False
Let z = 47697 + 17102. Is z a prime number?
False
Suppose 7*f + 3143 + 12187 = 0. Let b = f - 78. Let y = -1499 - b. Is y prime?
True
Suppose -4*l + 99026 = -5*a - 534641, -792120 = -5*l - a. Is l composite?
True
Suppose -5*a + 13 = 3. Suppose a*t + j - 344 = -2*j, 2*t - 4*j = 330. Is ((-6)/4)/(-3)*(t + -3) a prime number?
True
Let x be 1202/(-4)*5/(-10)*4. Let p = 5 + -3. Suppose -s = 5*w - x, 3*s - 4*w - 565 = p*s. Is s composite?
True
Let d(w) = 4938*w