r = -k + 22397. Is r a prime number?
True
Let r = -124 - -148. Let u be 20/r + -1 - 3782/(-12). Let s = 394 + u. Is s a prime number?
True
Let l(y) = -7*y - 13. Let h be l(-4). Let u be 51/h + 1 + 4/(-10). Suppose 0 = u*p - 10*p + 1758. Is p prime?
True
Let v be 5 - (6 + -5 + -2). Let c(z) = 1980*z + 23. Is c(v) prime?
True
Let p = 525 + 200. Suppose -13694 = -5*c + 2*k, c - 2009 = -2*k + p. Suppose -5*v + v + 5436 = 4*n, c = 2*n - 3*v. Is n a prime number?
False
Suppose 0 = -23*d - 7*d + 457260. Suppose -30*o + 28*o = -d. Is o composite?
False
Is -1 - -2 - (12/42 - (-1353864)/(-28)) a prime number?
True
Suppose 0 = -6*n - 205 + 187. Let d be (-38)/(-14) + 2/7. Is ((-18)/d)/n + 3 + 908 a composite number?
True
Let t(x) be the first derivative of 4*x**3/3 - 3*x**2 + 19*x - 20. Suppose 5*o + 1 + 44 = 0. Is t(o) a prime number?
True
Suppose 3*u - 344543 + 44274 = 4*t, u + 3*t - 100094 = 0. Is u composite?
True
Suppose -3*i - 2*w = -415, -4*i - 9*w = -6*w - 555. Let u = 2234 - i. Is u prime?
True
Let u be 17/((-119)/(-28)) - (-1 + 0). Suppose 1469 = 5*q + r - 772, q = u*r + 469. Is q a composite number?
False
Let w(l) = 2461*l - 6. Let s be w(-9). Let v = -14026 - s. Is v a composite number?
True
Let u(j) = 411*j**2 - 65. Is u(-18) a prime number?
False
Let m(c) = 24*c**2 - 2*c + 41. Suppose 0 = -17*u + 26*u - 45. Is m(u) a prime number?
True
Suppose -184 + 196 = 2*o. Is 62146/6 - ((-26)/o - -5) a composite number?
False
Suppose -5*i + 1096896 - 201091 = -j, -i + 2*j = -179161. Is i a prime number?
True
Suppose 60*d + 27714 = -2*d. Suppose -1552 = 2*p + 5*n, -3*p - 2306 = -0*p + 2*n. Let r = d - p. Is r a prime number?
False
Let w(p) = p**3 - 10*p**2 - p + 15. Let b be w(10). Suppose -b*f + 2 = -4*f. Suppose f*s - 595 = -3*s. Is s a composite number?
True
Suppose 5*u - 5118 = -r + 1218, -2*r - u + 12645 = 0. Suppose -9*k + 2616 = -r. Is k prime?
False
Let k = 180 - 193. Let z(c) = 4*c**2 - 23*c - 80. Is z(k) a prime number?
False
Let c(n) = -3221*n + 53. Is c(-12) a composite number?
True
Suppose 2*a - 7*j + 5*j = -18, -5*a = -2*j + 30. Is 182/49 + a - 9720/(-14) composite?
True
Is (-916954)/(-4)*(-14)/((-924)/22)*6 prime?
True
Is ((-422)/(-633))/(2/33339) a prime number?
True
Suppose -5*f + 11*f - 102 = 0. Suppose -l - 5*w + 215 = 0, 4*w + 625 = 5*l - 479. Suppose -f = -3*z + l. Is z composite?
False
Let z be (0 - 3)*(4/(-6) - -2). Is (-3)/36*z + (-11680)/(-15) composite?
True
Suppose -d - 9*d + 271926 = 8*d. Is d a composite number?
False
Suppose -2*p - 5*h - 1 = -2, 3*p + 4*h = 5. Suppose p = -3*q, 3*f + 292 - 1108 = -3*q. Is (13/(f/(-14)))/(2/(-201)) a prime number?
True
Let p(n) = -n**2 - 15*n - 13. Let g be p(-14). Is 15/(-30)*(-11558)/g composite?
False
Let f(w) = -w**2 + 30*w - 12. Let g be f(29). Let q(l) = 23 - 7 + 213*l + 12 + 12. Is q(g) prime?
False
Let t(i) = -18*i - 23 - 11*i + 30*i - 23*i**2 - 9*i + 2*i**3. Let a = 38 + -20. Is t(a) a composite number?
True
Suppose -n + 5*a + 38 = -3*n, 5*a - 60 = 5*n. Is ((-1576)/(-14) - 6/n)/1 composite?
False
Let s(i) = -46549*i**3 - i**2 + 6*i + 3. Is s(-2) a prime number?
False
Suppose 4*i = -2*v - 0 - 4, v - 5*i + 2 = 0. Is v/4 + (-77355)/(-18) a prime number?
True
Let t(f) = 281*f**2 + 82*f + 771. Is t(-10) a composite number?
False
Suppose -7*d - 10*d + 5852111 = 30*d. Is d composite?
False
Let d(q) = -26*q**2 - 49*q + 108. Let s be d(19). Let r = 25600 + s. Is r a composite number?
False
Let f be (-2)/2 - (-2 + -1). Suppose f*s - 5*s - 627 = -3*u, -4*u = 2*s - 842. Suppose -3*h + u + 153 = 0. Is h composite?
True
Is 15/(-25) + 0 - (-1261776)/60 composite?
True
Let h(g) = 26*g**3 - g**2 - 2*g. Let y be h(2). Let j be y*8 - ((-48)/6)/(-8). Suppose -2*v = -5*u - j, 3190 = v + 3*v - 2*u. Is v a prime number?
True
Let y = 20278 + -10215. Suppose -4*i - 20126 = -2*a - 3*i, a = -4*i + y. Is a prime?
False
Let j(x) = -1249*x + 10. Let m be j(4). Let n be (-3)/(-6) - m/12. Suppose n = -5*p + 2*t + 3001, 1552 = 3*p - t. Is p a prime number?
False
Let o(v) = 178*v**2 - 560*v - 181. Is o(-27) composite?
False
Let f(w) = 16037*w**2 - 1. Let h be f(-1). Let n = h + -4573. Is n a composite number?
True
Suppose 11*g + 46232687 = 42*g. Is g composite?
False
Is (-21 - 624220/(-10))/(0 - -1) a composite number?
False
Suppose 0 = m - 5*m - 10108. Let b = 4846 - 882. Let g = m + b. Is g a prime number?
False
Is 6/11 + 2/((-66)/(-2403471)) a prime number?
False
Suppose 6143 + 96583 = -26*i. Suppose 72 = -2*q - 5*p - 38, 0 = 5*q + 3*p + 237. Is (i/q)/(1 + (-8)/10) a composite number?
False
Let h = -1 - -5. Suppose 29 = h*n - 5*b, n + 6*b + 4 = 11*b. Suppose 3*u = -n*u + 6258. Is u composite?
True
Let t be 56/(13 - 6) + -3. Suppose -x + 4*m = -697, x + t*m - 679 = -0*m. Is x a prime number?
False
Let z(x) = -2*x**2 + 117*x + 18. Let c be z(35). Let r = -882 + c. Is r prime?
False
Let x(i) be the first derivative of -i**3/3 + 41*i**2 + 16*i + 82. Is x(19) prime?
True
Let w(p) = -411*p - 40. Let g(d) = 137*d + 13. Let j(k) = -8*g(k) - 3*w(k). Let s be j(-6). Let v = s + 1441. Is v composite?
True
Let o be (-1)/(-3)*(-13 - -3352). Suppose -p = -6*p + 4*u + 1123, 5*p = -u + o. Is p prime?
True
Let j = 10 + -8. Suppose -3*s = z + 13 - 2, 4*s + 28 = j*z. Suppose 0 = -0*r - z*r + 2564. Is r prime?
True
Suppose -4973 - 102225 = -y - 2619. Is y a composite number?
False
Suppose -1324 = -4*d - 0*d. Let u = d - 211. Let m = u - 71. Is m composite?
True
Let w be ((-21)/(-15) - 1)*95. Let j = 42 - w. Let m(x) = 12*x**3 - 5*x**2 + 4*x - 3. Is m(j) a prime number?
True
Suppose 0 = -4*j + 85623 + 105653. Let d = j + -30484. Is d a composite number?
True
Let q(n) = n**3 + 15*n**2 + 5*n + 7. Let v = -83 + 125. Let f = v - 54. Is q(f) composite?
False
Let b = -2604 - -1377. Let n = b - -2066. Is n prime?
True
Suppose -232*y = 147*y - 123799971. Is y a composite number?
True
Suppose -10*d = -2*n - 7*d - 5, 3*n + 5*d = 40. Suppose j = -n*j + 47406. Is j a composite number?
False
Suppose -s + 5*k + 18 - 7 = 0, 0 = -s - 2*k + 18. Let a(y) = y**2 - 19*y + 47. Let v be a(s). Is (v - -1307)/(42/6 - 5) a prime number?
True
Is 186899174/594 - -26 - 2/27 a composite number?
True
Suppose 3*z - 312 = z. Suppose 0 = 4*y - 2*y + z. Let s = y - -236. Is s prime?
False
Suppose 1037*r = 1041*r + 28, 4*f - 7299 = r. Let j be 2083/2 + (-2)/(-4). Suppose -3*h + f + j = 0. Is h prime?
False
Suppose -5*j - 14 = -4*w, 6*w + 4*j - 32 = 2*w. Suppose -p = -w + 4. Is (-4719)/(-6) + p/4 composite?
False
Suppose 9*r = 12*r - a - 315575, -r + 105199 = -4*a. Is r a composite number?
True
Suppose 3*h + 14 = 17. Is 3/h*(5 - (-2672)/6) prime?
False
Suppose -y - 2664 = 5*c, -2*c - y = -2*y + 1060. Let k = c - -913. Is k composite?
True
Let b = -4716 + 2660. Let y = 6717 + b. Is y composite?
True
Let w(l) = -230*l**3 - 2*l**2 - 1. Let p be w(-2). Suppose 2462 = -2*t - 2*t + 5*g, p = -3*t - 4*g. Let j = t + 2576. Is j composite?
True
Let n(d) = -164*d + 5. Let m be n(10). Suppose -15 + 39 = 12*v. Is (-3 + v)/(3/m) composite?
True
Let d(p) = 5*p - 46. Let u be d(10). Suppose y - u*g = 527, -4*g = y - 539 + 12. Is y a composite number?
True
Suppose 27*k = -38*k + 65. Let z(b) be the third derivative of 129*b**5/5 - b**4/24 - b**3/6 + b**2. Is z(k) prime?
False
Let g = 704 + -728. Let j(b) = 11*b**2 + 64*b - 41. Is j(g) prime?
True
Suppose 4 = -l, 2*l - 4*l = -o + 8. Suppose o = -10*c + 15*c. Suppose c = 9*b - b - 11192. Is b composite?
False
Let r = 4524 + -10233. Is (-9 - -10)*(2 - r) a composite number?
False
Suppose -953 = -5*z + 697. Suppose 2*u = 3*g - 12, 0*g - 3*u - 7 = g. Suppose z = g*t - 508. Is t composite?
False
Suppose -2*n = 5*s + 9344, 0 = -3*s + 6*s - 5*n + 5594. Let c = s + 3127. Is c composite?
False
Let g(o) be the first derivative of -o**2/2 + 10*o + 13. Let j be g(7). Suppose j*s = -0*s + 705. Is s a prime number?
False
Let y(r) = 21*r + 141. Let f be y(18). Suppose -4*q + f = h, -3*h - 41 = 3*q - 1634. Is h composite?
True
Let k = -94170 - -155599. Is k a composite number?
True
Let c = 18 + -32. Let k be (-4)/c + 32841/(-63). Let n = k - -1072. Is n a composite number?
True
Suppose -70 = 11*m + 18. Let o(c) = 157*c**2 - 19*c - 109. Is o(m) prime?
True
Let g = -20292 - -45118. Suppose -6919 = -5*r + g. Is r composite?
True
Let p = -72 - -85. Su