 2369 + 274. Is z a prime number?
True
Suppose -y = 2*y. Suppose q = x + 2*x - 182, y = 2*q + 10. Is x composite?
False
Let r = 1 + 1. Suppose -737 = -5*z + r*g, 5*z - g - 619 = 122. Is z a prime number?
True
Let h = 93 + 16. Is h a composite number?
False
Let n be 1 - (-2 - (-3 - 0)). Suppose -3*a + 0 + 66 = n. Is a a composite number?
True
Let z(b) = b**3 - 7*b**2 + 11*b - 7. Let o be z(8). Suppose -o = -4*s + 123. Is s a prime number?
True
Let f(d) = 1 + 2 - 6 + 26*d. Is f(2) a prime number?
False
Suppose -5*j + 3*v + 271 = 0, -3*j + 91 + 62 = -5*v. Suppose 0 = 4*w + 2 + 18, -2*s + 3*w - 53 = 0. Let z = j + s. Is z composite?
True
Suppose -3*x + 282 = 3*q - 183, 5*x + 324 = 2*q. Is q prime?
True
Suppose g + 128 + 51 = -5*s, 2*s = -5*g - 90. Let m = 25 + s. Is (-508)/m + (-5)/(-25) composite?
True
Suppose -z = -3*z. Suppose z = -3*q - 3*o - 597, 3*o = -q + o - 202. Is (1 - -2)*q/(-12) a composite number?
True
Suppose -1046 = -5*p - 3*u, -u + 1052 = -0*p + 5*p. Is p composite?
False
Let n be (-2 + -4)*2/(-4). Suppose -n*l = -18 - 141. Is l a prime number?
True
Let y(w) = 4*w. Let t be y(1). Suppose -t*c = -25 - 283. Is c a prime number?
False
Let c(h) = -h**3 + 2*h**2 + h + 1. Let p be c(2). Suppose 2*v + p*v - 111 = -3*u, 3*u = -4*v + 111. Is u composite?
False
Let u = 285 + -517. Is (u/10)/((-16)/40) prime?
False
Suppose 7*z - 1242 - 1229 = 0. Is z a composite number?
False
Suppose -5*a = 3*l + 5, 0 = -3*a + 5*l - 1 - 2. Is (3/(-3) + -2)*a a composite number?
False
Let w = -129 + 500. Is w composite?
True
Let r be -1*(12/4 + -3). Suppose -191 = -r*c - c. Is c composite?
False
Let j be (-117)/(-45) + (-4)/(-10). Suppose -2*h - 4 = 0, -2*u - 5*h = -j*u + 101. Is u a composite number?
True
Let i(n) = -n**2 + 5*n. Let p be i(4). Suppose 2*z + p*f - 20 = 0, 2*f - 5*f + 15 = -2*z. Suppose -3*j + 111 = -z*j. Is j a prime number?
True
Let n = 7 + -17. Let q = n - -213. Is q composite?
True
Let f(h) = -66*h - 5. Let v = 8 + -12. Is f(v) composite?
True
Let f be (-10)/16*2*4. Let p(t) = t**2 + 4*t - 2. Let k be p(f). Is (93/(-9))/((-1)/k) composite?
False
Let z = -772 + 1109. Is z a composite number?
False
Let b be 8/2*7/(-4). Let c(j) = 9*j - j**2 - 20*j + 2 - 6 - 1. Is c(b) a composite number?
False
Suppose -v - 1115 = -5*o + 2*v, 3*v - 1115 = -5*o. Is o composite?
False
Let l(g) be the third derivative of 27*g**4/8 + g**3/6 + 5*g**2. Is l(1) composite?
True
Suppose -4*z = -2*z - 374. Is z composite?
True
Let h(k) be the second derivative of -2*k**3/3 - 11*k**2/2 + 3*k. Is h(-8) a composite number?
True
Suppose 3*n + 2*n + 36 = -3*o, 6 = -3*o + 5*n. Let q(k) = -22*k - 7. Let p(x) = -21*x - 7. Let c(v) = 4*p(v) - 3*q(v). Is c(o) composite?
True
Let g be (-4)/10 + 13/(-5). Let p be (-1)/g + (-40)/(-6). Let o = 30 + p. Is o composite?
False
Let p(g) be the second derivative of g**5/10 - 2*g**4/3 + 5*g**3/6 + 2*g**2 - g. Is p(5) composite?
False
Let j = 1494 - -8999. Is j a prime number?
False
Is 3183*((-1)/5)/(12/(-20)) composite?
False
Suppose -14 - 11 = -5*z. Suppose 0 = -z*i + 4*i + 3. Is i composite?
False
Suppose 0 = 2*q + 4*k - 1926, 2*k = q + 4*q - 4863. Is q composite?
False
Let k(o) = -41*o - 61. Is k(-18) a composite number?
False
Suppose -3*z = o + 4, -2*z + 11 = -3*o - 1. Suppose -2*n + i + 403 = 0, -4*n - 4*i + 824 = -z*i. Is n composite?
True
Let w(k) be the second derivative of -k**4/6 + k**3/2 + 5*k**2/2 + 2*k. Let c be w(4). Is (78/(-8))/(c/40) composite?
True
Is 314/(-2)*(-4 + 3) a composite number?
False
Let q = 930 - 1456. Is q*(-3 + 10/4) a composite number?
False
Suppose -118 = -x - 44. Let v = 121 - x. Suppose -2*a = 3*s - v, 0 = -3*a + 4*s - 20 + 65. Is a composite?
False
Suppose 46 = -v + 195. Is v composite?
False
Let i(s) = 209*s - 5. Is i(2) a prime number?
False
Let r be 3*7*20 + 2. Suppose -5*y - 212 = 3*p - 1267, -2*y + p = -r. Is y prime?
True
Let y = 1768 - 506. Is y prime?
False
Suppose 6*g - 164 = 4*g. Is g prime?
False
Let q = 1984 + -1073. Is q prime?
True
Suppose c = 5*c - 1176. Suppose -2*r - x + 0*x + c = 0, 0 = -3*r + 4*x + 419. Is r composite?
True
Suppose 5*t - 28850 = -5*t. Is t a prime number?
False
Let p be ((-10)/4)/(2/(-4)). Let l(m) = 0*m + 0*m - 2 - 3*m + 4*m**2. Is l(p) prime?
True
Let t = -11 - -32. Let w(f) = -f**3 - 6*f**2 - 3*f + 15. Let k be w(-5). Suppose 0*q = -k*m + q + 51, -3*q - t = -3*m. Is m a prime number?
True
Suppose 9 = -3*k - 63. Let q be (-6210)/k + (-1)/(-4). Suppose 0 = -3*l + 928 - q. Is l prime?
True
Is 28/(-16) + 2 - 33570/(-24) a composite number?
False
Let c be 2/6 - (-2)/(-6). Suppose -j + c*j = -119. Is j a prime number?
False
Let u(n) = n**2 - 4*n + 5. Let k be u(2). Is (k + 0)*(40 - 9) composite?
False
Suppose -4*s - 62 = -346. Is s a prime number?
True
Suppose -1231 = -2*l + 269. Suppose -5*v = -l + 175. Suppose 3*o - v = 2*o. Is o prime?
False
Let r be (-6)/15 - 112/(-5). Let g = r - -123. Is g a prime number?
False
Suppose 3*r - 2*r = 371. Is r a composite number?
True
Let h = 457 - 300. Is h prime?
True
Let g(p) = p**2 - 9*p + 4. Let x be g(9). Suppose 2*w = x*w - 4. Suppose -78 = -0*h - w*h. Is h a composite number?
True
Suppose 2 = 2*d, -5*u + 458 = -0*u + 3*d. Is u a composite number?
True
Is 12*(-2 - (-420)/16) a composite number?
True
Let h(i) = 2*i**3 + 5*i**2 + 4*i + 3. Let s be h(-4). Let k = -2 - s. Is k a composite number?
False
Suppose -17189 = -4*m + 5*w, -2*m = 3*m + 2*w - 21445. Is m prime?
False
Let s = 622 - -1531. Is s a prime number?
True
Let s(f) be the first derivative of f**4/4 - 14*f**3/3 - 2*f + 1. Is s(17) composite?
True
Suppose 1 = -4*q - 3. Let o = q + 0. Let c(p) = 88*p**2 - p. Is c(o) prime?
True
Suppose 5*b + 10 = 10*b. Suppose 42 = -0*q + b*q. Is q a prime number?
False
Let o be 1 - (-4 - 2 - -2). Suppose o*f + z - 221 = 732, -f - 3*z + 185 = 0. Is f a composite number?
False
Suppose 0 = -s - 4*s. Suppose q = -4, -24 = -2*w - 5*q - s*q. Is w composite?
True
Let a be (0 + -2)/(1/(-306)). Let y be a/22 + 12/66. Suppose 7*m - 3*m = 5*t + 117, -t = -m + y. Is m a prime number?
True
Suppose -5*u - 100 = -2*p, -5*u + 2*p = 7*p + 135. Let x = -15 - u. Is (-6)/(-21) - (-61)/x a prime number?
False
Let f = 2547 + -1728. Let r = f + -380. Is 2/(-6) + r/3 a composite number?
True
Suppose 5*u + 1379 + 753 = 4*j, 542 = j + u. Let d = -69 + j. Is d composite?
True
Let u(p) = p**3 - p**2 + p + 3. Let t be u(0). Suppose t*s - 174 = -0*s - y, -2*y - 222 = -4*s. Is s composite?
True
Suppose -80 = 3*d - 5. Let j = 11 + d. Let h = 25 + j. Is h composite?
False
Let b be -12 + (0 - 1 - -1). Let z(o) = -o**3 - 10*o**2 + o + 11. Is z(b) a composite number?
True
Suppose -13*k + 1683 = -4622. Is k a composite number?
True
Let s(n) = 631*n**3 - n**2 - n + 2. Is s(1) a prime number?
True
Suppose 2*y = 5*u - 21, -2*u = 2*u - 4*y - 24. Suppose 4*a + 2*f - 74 = 70, 0 = -2*a + u*f + 88. Suppose 7*w - a = 6*w. Is w composite?
True
Suppose -2*b + 3*b + 27 = 0. Let i = b + 111. Let p = i - -22. Is p composite?
True
Suppose d - 674 = -d. Is d a composite number?
False
Suppose -462 - 2101 = -b. Is b composite?
True
Let c be (1*3)/((-4)/(-84)). Let u = 118 - c. Let w = u + 30. Is w prime?
False
Let q(y) = 3*y**2 + 5. Is q(4) a composite number?
False
Is (-19975)/(-125) + 4/(-5) composite?
True
Let m be 370/3*(-12)/(-10). Suppose 3*o + o = m. Is o a composite number?
False
Suppose 0 = 4*s - 5*f - 7423, 4*f = 5*s - 2188 - 7093. Is s prime?
False
Let c(v) = 13*v**2 - 10*v - 11. Is c(-8) composite?
True
Let i(n) = n**3 + 6*n**2 - 6*n + 8. Let j be i(-7). Suppose 2*s - j + 11 = 0, s = -4*c + 135. Is c a composite number?
True
Let l = -109 - -64. Let k = -26 - l. Let x = k - 13. Is x composite?
True
Let b(f) = -f**3 - 5*f**2 + 5*f - 7. Let j be b(-6). Let z = 11 + j. Suppose 0 = -d - 1 + z. Is d composite?
True
Let x be (-1)/3 - (-21)/9. Suppose c = x + 1. Suppose c*z - z - 106 = 0. Is z a composite number?
False
Let o(n) = 3*n + 0*n + 4 - 3 + n**2. Is o(6) a composite number?
True
Let m(j) = -4 + 3*j**2 - 2*j**2 + 0*j - 10*j - 2. Let w be m(11). Suppose -w*q + 244 = -11. Is q composite?
True
Let v(n) = 6*n**2 + 1 + 5*n**3 - 4*n**3 - 5. Let d be v(-6). Let o(w) = -13*w - 1. Is o(d) prime?
False
Suppose 3*m + m = -4. Is 10 - (-2 - m*3) prime?
False
Let c(p) = p**3 - 2*p**2 + 4*