umber?
True
Suppose 0*j = -3*j. Suppose -2*i + 118 = -j*i. Is i a composite number?
False
Let k(p) = 37*p + 43. Is k(18) a composite number?
False
Suppose 2*j - 83 = 139. Is j composite?
True
Let a(v) = -v**3 + 11*v**2 - 6*v + 1. Suppose 0*f = s - 2*f - 10, -25 = -3*s + f. Is a(s) a composite number?
True
Suppose 2*q = 7*q + 4*j + 1251, -j = 5*q + 1239. Is 2/(-7) - q/7 a prime number?
False
Is ((-1)/3)/(9/(-6939)) a prime number?
True
Let y = 352 - -289. Is y prime?
True
Let c be (-3 - -14*1)/1. Let m(r) = r**3 - 10*r**2 - 11*r + 2. Let o be m(c). Suppose -o*h + u + 14 = -312, -2*h - 4*u = -306. Is h a prime number?
False
Let d = -700 - -1201. Suppose 4*w + y - 341 = 2*w, 3*w - d = 2*y. Is w a prime number?
False
Suppose 141 - 17 = 4*m. Is m composite?
False
Let h be ((-3)/(-2))/((-6)/(-344)). Let c(z) = z**2 + z + 92. Let p be c(0). Suppose 4*l = -4*b + 180, -4*b + h = 5*l - p. Is b a prime number?
True
Suppose 0 = -p - 3*i + 630, 0*p = 5*p - i - 3166. Is p a prime number?
False
Let x = -2 - -2. Suppose -2*m - 85 = -5*m + 4*y, x = m + 2*y - 15. Is m prime?
True
Let s = 6 + -6. Suppose 4*q - 4*t - 1072 = s, 3*q - q + 5*t - 543 = 0. Suppose q - 31 = 2*b. Is b composite?
True
Suppose t + 22 = b + 4*b, 2*t = -4. Let d(p) = -p + 9. Let v be d(b). Suppose -4*k + 0*s + 222 = 2*s, -5*s + v = 0. Is k a composite number?
True
Let y be (4 - 3) + (0 - -3). Suppose 19 + 37 = y*v. Is v a prime number?
False
Let g = -18 + 1411. Is g a prime number?
False
Let h be (2 + -3 + 2)*-1. Let q(c) = -c**2 - 11*c + 8. Let u be q(-11). Is ((-106)/u)/(h/4) prime?
True
Is 5 + (-3 - (-3 - 4192)) a composite number?
True
Let d = -33 - -75. Let t(h) = 3*h**3 - 4*h**2 + 4*h - 3. Let s be t(2). Let y = s + d. Is y a prime number?
False
Is (-2)/(-1)*1588/8 a composite number?
False
Let j(q) = 58*q**2 + q. Suppose -4*d + 2 + 2 = 0. Is j(d) prime?
True
Is (-8 - -9)/(2/62) composite?
False
Let k be (-4)/1*(-11)/(-22). Is (1 + k)/(7/(-623)) prime?
True
Suppose 0 = 7*w - 2*w - 7615. Is w a prime number?
True
Let g(k) = 3*k**2 + 3*k - 6. Let u be g(4). Suppose -2*i + u = -70. Suppose i = 3*f + 5. Is f composite?
False
Suppose 2*x - 3*x + 1 = 0. Let i(d) = 1 - 3 - x - 16*d. Is i(-5) a prime number?
False
Let k be 1 - (-2 + 4)*-1. Suppose 3*f - f = 4*g - 66, -5*f + k*g = 158. Let n = f + 46. Is n prime?
False
Let d(j) be the second derivative of 19*j**3/6 - 2*j**2 - 2*j. Suppose 5 = 2*o - o. Is d(o) prime?
False
Let n = -1 - -37. Let d = n - 26. Is d a composite number?
True
Suppose 2*x - 2 = -2*x - t, 2 = t. Suppose -3*i - 49 + 271 = x. Let f = -51 + i. Is f prime?
True
Let v(k) = k**3 + 8*k**2 + 2*k - 2. Let s be -1*1/(1/(-5)). Suppose -5*b - 2*m = 2*m + 27, -39 = s*b - 2*m. Is v(b) prime?
False
Suppose -2*x = -x - 303. Is x a prime number?
False
Is (3 - 4) + -3 - -37 a composite number?
True
Suppose 0*t = t - 3. Is ((-82)/t + 1)*-3 composite?
False
Suppose 0 = 5*v + 578 - 2518. Is (v/6)/(22/33) a composite number?
False
Let z(p) = -p**3 - p. Suppose 0 = r - 3*r - 2. Let d(g) = -30*g**3 + g**2 - 5*g - 1. Let j(t) = r*d(t) + 6*z(t). Is j(1) a prime number?
True
Suppose 3*z - 4*f = -2*f + 552, -5*f = -z + 197. Suppose b = -b - 4*v + z, b - 3*v = 106. Is b a composite number?
False
Suppose 0 = j - 3*m + 16, 13 = -3*j - 5*m - 21. Let b be 20*(10/4 + -2). Let o = b - j. Is o a prime number?
True
Let w(q) = -683*q - 4. Is w(-1) a composite number?
True
Let m = 0 + -3. Let j(t) = -20*t - 3. Let b be j(m). Suppose 2*g - b = -g. Is g composite?
False
Suppose 4*t = 32 + 24. Let l = -10 + t. Is ((-74)/1)/(l - 6) prime?
True
Let r = 1642 + -117. Suppose 0*t + r = 5*t. Is t a composite number?
True
Suppose -9 = -3*n, 2*n + 3*n = -2*b + 489. Is b a prime number?
False
Let c = 104 - -73. Is c composite?
True
Suppose -d - 8 = -5*i + 12, 0 = 3*i + 5*d - 12. Suppose i*h - 26 = 6. Is (-54)/(-8) + 2/h a composite number?
False
Let b be (0 - (-2)/2)*-2. Let w be (-2 - 3/b)*14. Let q(t) = -t**3 - 5*t**2 + 9*t + 2. Is q(w) a composite number?
False
Suppose -3*u = -7*u. Let l(t) = -714*t**3 - 2*t**2 - 2*t + 1. Let f be l(-1). Suppose 0*y - 5*y + f = u. Is y a prime number?
False
Suppose 4*g + 10273 = 5*z, 5*z - 8222 = z + 5*g. Is z a prime number?
True
Suppose 3*b - 5*b = -1964. Suppose -b = -3*h - 2*x, x - 5*x + 1308 = 4*h. Suppose 4*u - 3*k - 813 = -164, -2*u - 2*k = -h. Is u a prime number?
True
Let d(s) = 5*s**2 + 7*s + 15. Is d(-7) a prime number?
True
Suppose -5*a + 8 = -3*a. Suppose -5*o - 10 = 0, -o - o + 12 = a*s. Suppose -s*i + 69 = -31. Is i a composite number?
True
Let d(g) = -32*g - 1. Let t = 11 + -15. Is d(t) prime?
True
Let w = -8 - -13. Suppose g = -w*o - 2 + 7, -2*g = 2*o - 10. Suppose 0 = 3*l + 4*m - 163, 0 = -2*l + m - o*m + 116. Is l a prime number?
False
Let j(t) = t**2 + 1. Let b be j(0). Let n = 8 + b. Is (-3207)/(-27) + 2/n prime?
False
Let i(d) be the first derivative of d**5/10 + d**4/4 - d**3/6 - 2*d**2 + 4. Let h(c) be the second derivative of i(c). Is h(-7) prime?
True
Let u(q) = q**3 + 5*q**2 - 8*q - 7. Let w be u(-6). Suppose 2*o - 3*d = 46, 2*d = -w*o - 56 + 190. Is o a prime number?
False
Let i(z) = 2*z**2 + 10*z + 9. Let g = -1 - 6. Is i(g) composite?
False
Let q(r) = 6*r - 2 - 1 + 3*r. Is q(8) prime?
False
Is 11367/51 - 6/(-51) composite?
False
Suppose 1389 = q - 2*j, 4*q - 2*j = -6*j + 5508. Is q a prime number?
True
Let r = 16 + -11. Suppose r*n - 5 = l, 5*l + 4*n = 3*l + 18. Suppose -28 = l*k - 223. Is k prime?
False
Let m(l) = 37*l + 89*l - 11*l + 4*l. Is m(1) prime?
False
Let p = -237 + 508. Is p prime?
True
Let j(s) = s**3 - 8*s**2 + 6*s + 7. Suppose -v + 0 = 3, v - 4 = -b. Let z be j(b). Suppose -3*y = -z*y - 255. Is y composite?
True
Suppose -z + 5 = -6*z - n, 5*z + 20 = -4*n. Suppose -4*l - 2*c + 0*c + 1208 = z, -l = -4*c - 293. Is l a composite number?
True
Let p be (-1)/(3 - (-14)/(-4)). Suppose p*x + 4 = l, l + x - 4*x - 9 = 0. Let z = 16 + l. Is z composite?
True
Suppose 2 + 2 = l. Suppose 0*d + 5*d + 15 = -4*f, l*d + 6 = -2*f. Is ((-9)/2)/(d/(-2)) prime?
False
Let z = -100 + 167. Let m = z - -159. Is m a prime number?
False
Suppose -4*n - 12 = -n, 16610 = 2*m + 2*n. Is m prime?
False
Let z = -19 - -27. Is 4/(-6)*(-228)/z a composite number?
False
Suppose -971 = -2*a + h + 23, 3*a = -4*h + 1491. Is a a composite number?
True
Let p(m) = m**3 - 8*m**2 + 7*m + 4. Let s be p(7). Suppose s*b + 4 = 3*b, 2*b = 3*n - 14. Is 1 + n + 2*38 a prime number?
True
Suppose 5*a - 3804 = 2*a. Is 1/(-4) - a/(-16) prime?
True
Let m(r) = r**3 + 5*r**2 + 1. Let k be m(-5). Suppose k = -n + 5. Let g = n - -6. Is g prime?
False
Suppose 3*r = 2*r - 3. Is r - (-3 + (-19)/1) composite?
False
Let j(t) = -t**3 + 7*t**2 + 8*t - 9. Let a be j(8). Let w = a + 22. Is w a prime number?
True
Let q(r) = -14*r**3 - 3*r**2 + 3*r + 2. Let n be q(3). Let c = n - -257. Let k = c - -226. Is k a prime number?
True
Let a = 2 + -2. Suppose -2*r + 178 = 2*c - 6*r, -5*r = a. Is c prime?
True
Let a(c) = 2*c**3 - 12*c**2 + 3*c - 3. Is a(8) a composite number?
False
Let n(h) = 16*h + 3. Let d be n(-2). Is d/(-1) - (-1 + -1) a composite number?
False
Suppose 3*z + 0*z = 9. Is 17 + z - 1 - 0 a composite number?
False
Let d = 547 - 288. Is d a composite number?
True
Let b(m) be the second derivative of -49*m**3/6 + m**2 + 3*m. Is b(-3) a composite number?
False
Let n(c) = c**2 - 2*c + 7. Is n(3) a prime number?
False
Let g(q) = 4*q + 1. Let o be g(-1). Let y be (-4)/(-6)*-3 - -3. Is -3 + y - (-12 - o) a prime number?
True
Suppose -7*w + 0*w = -32347. Is w a composite number?
False
Let x be -3 + (-3 - -4) - -20. Suppose 12 = -4*a, -3*a = 2*g - 5*a - x. Is (g/(-2) - -16)/1 composite?
False
Let d = 4 - 10. Let m be (-1461)/d - 2/(-4). Suppose -571 - m = -5*u. Is u prime?
True
Let z = -27 - -105. Let k = z + -29. Is k a prime number?
False
Suppose 4*r = 1499 - 567. Is r a composite number?
False
Let r be (-185)/(-35) + (-4)/14. Let u(i) = i**3 - 5*i**2 + 7*i - 3. Let j be u(r). Suppose -48 = 4*p + 4*l - 216, -l = -p + j. Is p prime?
True
Let p = -5805 - -9916. Is p a prime number?
True
Let s(v) = 2*v - 1. Let r(q) = q**2 + q - 1. Let j(f) = r(f) - s(f). Let d be j(0). Suppose d = -4*c - 0*c + 84. Is c composite?
True
Suppose 0 = -n + 2*n - 39. Is n a prime number?
False
Suppose 3*o - 2*o = -4. Let g(f) = 2*f