22)/c) a prime number?
False
Let p(s) = -s**2 + 6*s + 22. Let u be p(-5). Let a = -25 - u. Is (10096/64)/((2/1)/a) a prime number?
True
Suppose 11*m = -3*m + 4*m. Is m - ((-2267)/2 + 24/(-16)) prime?
False
Suppose -4*u - 4 + 25 = b, 5*b = -4*u + 9. Is ((-52306)/4)/(u/(-12)) composite?
False
Let s = 16381 - 654. Is s prime?
True
Let x(m) = 2*m**2 + 3*m - 5. Let k(y) = y**2 - 10*y + 11. Let h be k(10). Suppose 7*q = h*q - 24. Is x(q) a prime number?
False
Suppose -18832399 = -109*j + 21415524. Is j a prime number?
True
Let z = 81 - 35. Suppose -26419 - 46905 = -z*k. Is k a prime number?
False
Let t(s) = -s**3 - 1 + s**2 - 8*s**2 + 0*s**2 + s. Suppose 0 = -61*b + 65*b + 32. Is t(b) prime?
False
Is 51810/(-220)*(-142)/3 a composite number?
True
Let u(i) = -4 - 36*i - 8 - 13 + 2 + 0. Let d(s) = 2*s - 1. Let z be d(-2). Is u(z) a prime number?
True
Suppose -t - 8290 + 30091 = 0. Suppose 0 = -4*c - 5*l + 7689 + 9719, -5*c + 4*l + t = 0. Is c prime?
True
Let u be (-10 - -10)/(1 - 3). Suppose 2*c - 2*i = -u*i + 796, -1190 = -3*c - i. Is c a composite number?
False
Let f(g) = 35*g - 186. Let z be (-42)/(-7) - 6 - -28. Is f(z) a prime number?
False
Let q(m) = 19*m - 29*m - 25*m + m**2 + 1. Is q(42) a composite number?
True
Let a(g) = 733*g**2 - 55*g + 211. Is a(4) prime?
True
Let u(s) = -s**2 + 7*s - 6. Let b be u(4). Suppose 4*q - b*q = -5230. Suppose 5*j + m - 17281 = 0, 4*j - q = m + 11217. Is j a composite number?
False
Let r = 808138 + -468157. Is r prime?
False
Suppose -799*p + 810*p = 557359. Is p a prime number?
False
Suppose 105*i - 14299460 = -140*i + 147201845. Is i a composite number?
False
Let s = 173664 + -106705. Is s a composite number?
False
Let x = 64 + -48. Let p = 34 - x. Is (268/6)/(12/p) a composite number?
False
Let d(z) = 16614*z - 866. Is d(6) a prime number?
False
Let t = 133 + -117. Is (t/24)/((-8)/(-53988)) prime?
False
Suppose -657*v + 619*v + 2046490 = 0. Is v a composite number?
True
Let f(z) = 165*z**2 - 4*z - 12. Let g be f(-5). Let c(b) = 9*b**3 + 10*b**2 + 9*b - 2. Let m be c(6). Let u = g - m. Is u a prime number?
True
Let y = 2121 + -1339. Suppose 0 = 5*q + 43 - 53. Suppose 0 = 4*k - q*k - y. Is k prime?
False
Let u(f) be the second derivative of -f**4/12 + 2*f**3/3 + f**2 - 2*f. Let d be u(4). Suppose -d*a + 4*g = -1962, -5*a - 4*g = g - 4920. Is a composite?
False
Suppose 265829 = b + c, -14828 = -b + 4*c + 250971. Is b a composite number?
True
Suppose -p + 2*r = -3*p + 4, 5*p = r + 22. Is ((-2286)/27)/(p/(-42)) a prime number?
False
Let j(h) = h**2 + 14*h - 46. Let w be j(3). Suppose 3*r + 4*m - 16917 = 0, -2*r + w*m = 2*r - 22556. Is r composite?
False
Let y = 3357 + 5462. Is y prime?
True
Suppose 0 = -2*h + 12*s - 8*s + 68362, 0 = 3*s - 3. Is h a composite number?
False
Let d = 284 - 332. Is d/36*6/(-4) + 1163 composite?
True
Let m = 92 + -88. Let u(c) = 161*c**2 - 9*c + 39. Is u(m) prime?
True
Let f be (35/(-15) - -5)/((-1)/15). Let t = 44 + f. Suppose -t*s = -5*d - 1590 + 113, -3*d = 3*s - 1128. Is s prime?
True
Let k(s) = s**2 - 17*s - 36. Let i be k(19). Let q(m) = 17*m**2 + 11*m + 2*m**3 + 5 + 4*m - 33*m**i. Is q(12) composite?
True
Let o = 5 + -5. Suppose o = -5*l + 3*v + 14818, -4 + 3 = v. Is l a prime number?
True
Suppose 4*h - 84 = -2*f, 4*f - 88 = -h - 3*h. Suppose -n + h = -12. Suppose n*s - 14915 = 27*s. Is s a prime number?
False
Let j be (865 - 4)/(1/(-5)). Let t = -2252 - j. Is t composite?
False
Let k be (-3)/15 + 155/25. Suppose s = -2*s + k. Suppose -4*r = 3*p - 163 - 420, -4*p = -s*r + 264. Is r a composite number?
True
Suppose -3*a + 148922 = -90604. Suppose -28*i + 7*i = -a. Is i prime?
False
Let m(n) be the second derivative of -41*n**3/6 + 57*n**2/2 + n - 1733. Suppose h + 2 = -2*f - 2, -4*h + 4*f - 76 = 0. Is m(h) composite?
False
Let k(n) be the second derivative of -n**5/20 + 5*n**4/6 - 3*n**3 - 3*n**2/2 - 33*n. Let z be k(7). Suppose -17*g = -z*g + 143. Is g composite?
True
Let j = 6579 + -15520. Let d = 17958 + j. Is d prime?
False
Let f = -28 - -56. Let c = f - 35. Let y(h) = h**3 + 8*h**2 - 2*h + 6. Is y(c) a composite number?
True
Let u = -10651 - -43784. Is u a prime number?
False
Suppose 14*v = 16*v + 200. Let s = 85 + v. Is s/(-1)*((-1338)/(-9))/2 prime?
False
Let z(p) = 81*p**2 - 2*p + 74. Let u be z(-16). Suppose 27*c - 28*c = 3*k - u, 0 = 5*k - 2*c - 34733. Is k prime?
True
Let a(o) = 738*o + 71. Suppose 38 - 12 = 2*n - 2*m, 7 = n + m. Is a(n) a prime number?
True
Let r = -688 + 6902. Let y be (-1)/(-2) - r/(-4). Suppose -3*o + 1183 = -5*l, -5*o - 5*l + y = -o. Is o a composite number?
True
Let a(i) = -2*i**2 + i. Let h(p) = -29*p**3 - 5*p**2 - 22*p + 7. Let r(s) = 6*a(s) - h(s). Is r(3) a composite number?
False
Let b(a) = 588*a**2 - a - 2. Let s be 3 + -3*(-3)/9. Suppose -i = -3*r - 6, 5 + 11 = -s*r + 4*i. Is b(r) composite?
False
Let j be (1 + -2)*(-155)/(-5). Suppose -9*d - 1005 = 1308. Let f = j - d. Is f prime?
False
Let u = 76684 - -97305. Is u composite?
True
Let x(m) = -979*m + 786. Let i be x(3). Suppose -w + 5088 = -5*w. Let l = w - i. Is l a prime number?
False
Let n be ((-15)/5)/((-6)/8). Suppose n*r + 14871 = 5*h - 9067, 14350 = 3*h + 4*r. Is h prime?
False
Let y = 0 - 0. Suppose -22*f + 17*f - 45*f + 189000 = 0. Suppose 4*a + 3142 = 5*m - 613, 5*m + a - f = y. Is m prime?
False
Suppose -33*d + 27*d = 2826. Let m = d - -850. Is m a composite number?
False
Let u = -8 - 8. Let b(m) = -m**3 + 7*m**2 - m - 38. Let y be b(6). Is (-182)/y + 12/u a prime number?
False
Is (19668 + -2)/((-5200)/(-272) - 19) a prime number?
False
Suppose -6*k = -12, -2*r - k + 399 + 15097 = 0. Is r composite?
True
Let v(q) = 447*q + 27 + 447*q**2 - 447*q. Is v(4) a prime number?
False
Suppose -2*f + 5*z = 14, -12*z + 14 = 2*f - 10*z. Is 72236/12*1*f composite?
False
Let f(c) = 3564*c - 160. Let a be f(7). Is (12 - (-385)/(-33)) + a/3 a composite number?
False
Let k be (-27)/(-45)*(-20)/2. Is -3 - -7150 - 12/k composite?
True
Suppose 0*q - 5*q + 603 = 4*a, -4*q = -3*a + 429. Suppose p + 5*z + a = 0, -5*z = -5*p - 240 - 375. Let j = p + 1214. Is j prime?
True
Let t(g) = -202*g - 23. Suppose 18 = -2*a - 2*i - 2*i, -3*a - 3*i - 24 = 0. Let n be t(a). Suppose 4288 = h + n. Is h a prime number?
True
Suppose -u + 62 = 2*u - w, 0 = -4*u - w + 71. Suppose 16*q + 719055 = u*q. Is q/209 - (4/11)/(-2) prime?
False
Suppose 0 = -5*y + y - 8. Let n be (-1)/(5 + y + -4) + 471. Let r = 717 + n. Is r a prime number?
False
Suppose -58*g + 53*g + 30 = 0. Suppose g*p - 9*p = -93. Is p composite?
False
Let j(x) = -2748*x - 125. Suppose 5*i = 5*g + 10, -14*g = -16*g - 10. Is j(i) a composite number?
True
Let a(w) = 550*w + 167. Let z be (-2 + (-10 - -16))*(2 - 0). Is a(z) a prime number?
True
Let n(j) = -j**3 + 14*j**2 - 13*j + 2. Let b be n(13). Let w(k) = -2 - 3*k**2 - 5*k + 74*k**2 + 9*k**b. Is w(5) a prime number?
True
Suppose 50*w = 143*w - 16755531. Is w prime?
False
Suppose 26*p - 2598330 = 19*p - 23*p. Is p composite?
True
Let w = 95584 + 12651. Is w a composite number?
True
Suppose i + 3*r - 51482 + 831 = 0, -24 = -4*r. Is i prime?
False
Let k be (5 - (-22106 - -4)) + 8/(-4). Suppose 5*l - k = 9330. Is l composite?
False
Suppose 152239 = 50*w - 285211. Is w a composite number?
True
Let y(w) = -20772*w + 14281. Is y(-19) a composite number?
True
Let r(d) = 24*d**2 + 74*d + 1417. Is r(84) prime?
True
Suppose 5*i - 5 = -0, 2*u - 2*i - 25292 = 0. Let k = u + 1982. Is k composite?
False
Suppose -3*l + 3259 = -0*l + 5*r, -4*l + 5*r = -4287. Let s = l + -591. Is s composite?
False
Let h be (3*573/(-9))/((-3)/6). Let q = 985 + h. Is q composite?
False
Suppose 3*k = -2*q - 1136, 3*q + 0*k + 1699 = -2*k. Let p = 46 - q. Is p a composite number?
True
Let a(d) = 151*d**3 + 6*d**2 - d - 1. Let u(h) = 302*h**3 + 11*h**2 - 2*h - 1. Let p(s) = 7*a(s) - 4*u(s). Is p(-2) a prime number?
False
Is -1100636*2/(-4) + 711/(-79) prime?
True
Let i be (-1 - 20/(-15))/((-2)/(-12)). Let c(l) = 68 - 9*l**2 - 2*l + 61 + 8*l**i + 32. Is c(0) composite?
True
Suppose 4*w = y + 21, 5*w + 2*y - 21 = -2*y. Suppose w*s - 2*a - 155 = a, 0 = -2*s - 5*a + 31. Let n = s - -9. Is n a composite number?
False
Let k(g) = -g**3 - 7*g**2 - 6*g + 8. Let b be k(-6). Let h(u) = u**2 - 10*u + 16. Let y be h(b). Let m(j) = -j + 7063. Is m(y) prime?
