?
True
Suppose u + 4069 = 3*h - 0*u, 0 = u + 4. Is h prime?
False
Suppose 4*l - 28 = 2*o, 4*l = 3*l + 1. Let q = 89 + o. Is q composite?
True
Suppose 4*r - 4*z = -708, r = -3*z - 1 - 192. Suppose 3*n + 43 + 343 = 4*y, 124 = -n - y. Let w = n - r. Is w a prime number?
False
Let d(w) = -w + 1. Let o be d(-4). Let q be 24*(35/2)/o. Suppose -q = -5*j + 21. Is j a prime number?
False
Let v(a) = 0*a**3 + 6*a + 3*a**2 - a**3 - 4 + 7*a**2 + 2*a**3. Is v(-9) a composite number?
False
Let p(b) = b**3 - 6*b**2 + 5*b + 5. Let z be ((-1)/1)/(3/(-15)). Let l be p(z). Let a(w) = w**3 - 5*w**2 + 8*w - 3. Is a(l) a prime number?
True
Let l = -1 - -7. Suppose 4*r - r - l = 0. Suppose -r*d = -121 + 27. Is d a composite number?
False
Let t = -709 - -412. Let y = 1184 + t. Is y a composite number?
False
Suppose l = -2*u - 0*u + 314, 2*l + 628 = 4*u. Is u a composite number?
False
Let a = 42 + 17. Is a composite?
False
Suppose 0 = -s + 5*j + 88 + 5, 3*s + 2*j - 279 = 0. Is s composite?
True
Suppose -4 = -t + 1. Suppose 2*w - 597 = -5*u, 5*w = t*u - 186 - 439. Is u a composite number?
True
Let l(x) = x**3 + 19*x**2 - 3*x - 24. Is l(-11) composite?
False
Suppose 385 = -3*z + 43. Let l = 365 + z. Is l a prime number?
True
Let v(f) = 5*f + 4. Let r be v(5). Suppose 4*g = 49 + 55. Suppose -q = -g - r. Is q a composite number?
True
Suppose -3*s - 58 = -5*j, 3*s = -2*j - 2*j - 40. Let m be (s/(-4))/((-2)/(-11)). Let v = m + 1. Is v a composite number?
False
Let u be -2*(-6)/4 - 0. Let k = -1 + u. Suppose -j = k*j - 30. Is j prime?
False
Suppose 96 + 108 = 4*d. Is d composite?
True
Let g = -87 - -198. Let b be 2/3 - 40/6. Is (-1 + (-8)/b)*g a prime number?
True
Suppose -198 = 3*m + 84. Let u = 513 + m. Is u a composite number?
False
Let j(w) = w - 3. Let t be j(3). Suppose t = a - 70 - 12. Is a prime?
False
Let q(v) = v**2 - 5*v - 5. Let k be q(6). Let t(a) = 9*a**2 + 0*a + k - 2*a**2 - 4*a. Is t(4) a prime number?
True
Suppose -3*n - 19697 = -8*n + 4*w, w - 3943 = -n. Is n a composite number?
True
Let v = 1530 + -169. Is v composite?
False
Let p be (12/10)/((-24)/(-80)). Suppose -w - 38 + 249 = -5*u, 0 = -p*u - 16. Is w prime?
True
Let k(x) = x**3 + 3. Let p be k(0). Let s = -11 + p. Let g(h) = -3*h - 3. Is g(s) a prime number?
False
Let x = -13 + 18. Suppose -x*v = -2*n + 18, -5*v - 4 = 2*n - 2. Is (14/(-4))/(v/92) prime?
False
Let t = -5 + 7. Suppose t*j - 10 = 0, -3*g - 2*j + 1475 = 2*g. Is g a prime number?
True
Let k = -15 + 22. Suppose -2*r - 11 = -5*j, 5*j - j = 3*r + 6. Suppose -j*q + 196 = i, k*q - 5*q + 3*i - 133 = 0. Is q prime?
False
Let u be 26/(-8) + 7/28. Is 1*9/u + 122 a composite number?
True
Let v(t) = -47*t**3 + t**2 - t + 2. Let w be v(-2). Suppose -h = -101 - w. Is h a composite number?
True
Let i(u) be the first derivative of 4*u + 1 - 6*u**3 + 36*u**3 - 3*u - u**2. Is i(1) a composite number?
False
Let y(q) = -14*q**2 + 4*q**2 - 2*q**3 + 3*q**3 - 16*q + 17. Is y(12) composite?
False
Let b(r) = r**3 + 6*r**2 - 8*r - 8. Let s be b(-7). Is (200 + 1)/(s - -2) a composite number?
True
Let b = -5 - 1. Let o = -4 - b. Suppose y - 4 = 0, o*y + 0*y = -5*d + 423. Is d composite?
False
Suppose -3 + 0 = -c. Suppose c*t - 57 = -7*x + 4*x, 0 = 4*x + 16. Is t prime?
True
Let x = 211 + 162. Is x a composite number?
False
Let h = 3 - -9. Suppose -3*q - 43 = -2*p, -2*q = -3*q + 3. Let t = p - h. Is t prime?
False
Let l = 0 - -2. Suppose 4*v - 2*i = 80, l*v - 30 - 30 = -4*i. Is v prime?
False
Let f be (-4)/6 - 13/3. Let n(x) = x**3 + 6*x**2 + 5*x + 5. Let d be n(f). Suppose 2*j = 2*w - 98 - 54, -2*j + 366 = d*w. Is w a prime number?
False
Suppose 3*d + 5*w = 1986, -2621 = -3*d + 5*w - 635. Is d a prime number?
False
Suppose -6*z - 23 = 13. Let a(b) = -6 - 1 + 3*b + 0 + 2*b**2. Is a(z) a prime number?
True
Suppose c - 650 - 467 = 0. Is c a prime number?
True
Let n = 2 + -7. Let f(k) = -k**3 - 6*k**2 - 7*k - 2. Let a be f(n). Is a/(-20) - 1134/(-10) a prime number?
True
Suppose -i - i = 8. Is (6/i)/((-3)/70) prime?
False
Let w = 6 + -1. Suppose -3*h + 1 = -w. Suppose -h*z = -0*z - 66. Is z a prime number?
False
Suppose 0*v - 10 = -5*v. Suppose -g - 2 = -2*g. Suppose 304 = g*k + 5*y - v*y, -2*k + 292 = -3*y. Is k a prime number?
True
Suppose -z = -7*z + 36. Let t(h) = 22*h**2 - 7*h - 5. Is t(z) composite?
True
Let q = 57 + -24. Suppose 0 = y + n - 2*n - 11, -n - q = -3*y. Is y a prime number?
True
Let t(q) = -q**3 - 11*q**2 - 6*q - 1. Suppose 4 - 37 = 3*n. Is t(n) composite?
True
Suppose 2*g - 4376 + 218 = 4*q, 4*g + 5*q = 8303. Is g prime?
False
Suppose 35 = 4*w + 5*y, -3*y - y = w - 17. Let s = w - 5. Suppose -6 = -a - s*a. Is a a prime number?
False
Suppose 0*z = 3*z - 18. Let y be 34/z + 6/(-9). Suppose -42 = 3*v - y*v. Is v prime?
False
Let a(w) = w**2 - 5*w - 1. Is a(-5) a composite number?
True
Suppose -y = -5*c + 16, 9*c - 4*c - 24 = -y. Let l be 1/(-2)*3*y. Let m(a) = -a**3 - 4*a**2 + 10*a + 7. Is m(l) composite?
False
Let n be ((-20)/6)/((-4)/6). Suppose 5*w = 4*s - 311 - 560, n*s - 1092 = 3*w. Is s composite?
True
Suppose 2*h = 5*y - 8287, -2*h - 4580 - 2050 = -4*y. Is y a prime number?
True
Let u be (-1)/(1/6 + 0). Let t = -8 - u. Is (3 + t)*(-57)/(-3) prime?
True
Let t = 274 + -98. Suppose -5*g = -t - 59. Is g a composite number?
False
Let f be 1 - (1 + 20)/(-1). Suppose 0 = 5*g - 2*r - 30, 3*g - r - f = r. Suppose g*b + 1 = 41. Is b a prime number?
False
Let n(t) = 190*t**2 + t + 2. Is n(-1) prime?
True
Let k = 128 + -70. Is k a composite number?
True
Suppose 0 = 2*v - v - 67. Is v/(3 - (3 + -1)) a composite number?
False
Suppose -3*a - l = -7, -8 = -3*a - l - l. Is a - 13*(0 - 5) a prime number?
True
Let l = -50 + 95. Let g be ((-44)/6)/((-3)/27). Let n = g - l. Is n a prime number?
False
Suppose 0*s + 2*s - 106 = 0. Is s prime?
True
Suppose w - 4*w + 4*m = -21, w - m = 7. Is w prime?
True
Let q(r) = r**3 + 6*r**2 - 8*r - 4. Let s be q(-7). Let a be s*(3 + -2 + 6). Suppose 2*z - a = -z. Is z prime?
True
Suppose -7*s = -11*s + 2560. Let m = s + -333. Is m composite?
False
Is (-6)/(-30) - (-4988)/10 a composite number?
False
Let f = 1118 - 673. Is f a prime number?
False
Let m(z) = z - 7. Let g be m(-3). Is 1002/4 - g/20 prime?
True
Suppose -5*z + 0*z = -20. Suppose -4*l = 4*w - 1008, -6*w + z*w = 5*l - 1275. Is l composite?
False
Suppose -4*c = -c - 75. Is c a prime number?
False
Let x(v) = -v**2 - 4*v - 2*v**2 + 6*v**2. Let r = -26 + 29. Is x(r) composite?
True
Suppose 2*l = 4202 + 21034. Suppose f + 2*f = -l. Is (-6)/33 + f/(-22) composite?
False
Suppose 0 = 4*f - 14 - 14. Is f a composite number?
False
Let b(c) = -438*c - 1. Is b(-1) a composite number?
True
Let o(b) = -b**3 - 2*b**2 - 2*b + 10. Let w be o(7). Is (w/20)/(1/(-4)) prime?
True
Suppose -4*a + 0*s + 1211 = -3*s, -5*a - s = -1490. Is a a composite number?
True
Let f(p) = -21*p + 13. Is f(-14) a composite number?
False
Let a = 44 - 25. Suppose 4*b + a = 159. Is b a composite number?
True
Let g(j) = j - 6. Let a = 12 + -7. Let i be g(a). Is (68/12)/(i/(-15)) prime?
False
Is (7 - 0)*(3 - -64) a composite number?
True
Let t be 6/(-9) + 2/3. Suppose -3*n + 3*c + 1 = -20, t = n + 4*c - 27. Is n a composite number?
False
Let p be ((-6)/(-4))/((-8)/(-16)). Let c(g) = 50*g**2. Let f be c(-1). Suppose 0 = j - p*j + f. Is j a prime number?
False
Let z be 1/((-1)/2) + -3. Is (-1 + z)/3 + 21 a composite number?
False
Let s = 10 - 8. Suppose -m + 123 = -s*c, -m + 437 = 3*m + 3*c. Is m a composite number?
False
Suppose 6 + 0 = 3*w. Let m be w + ((-124)/(-2))/2. Suppose -m = -0*c - c. Is c a composite number?
True
Let y(o) = -o**3 + 240. Let x = 4 + -4. Let u be y(x). Suppose 2*d - 5*f = 248, 3*d = d + f + u. Is d prime?
False
Suppose 0 = -4*r + 410 + 434. Is r composite?
False
Let f(o) = -120*o + 1. Let a(y) = 240*y - 2. Let z(j) = -6*a(j) - 13*f(j). Suppose 2*s = -4*c + 3*c + 1, -s - 2*c = 1. Is z(s) a prime number?
False
Is 6/(-27) - 2248/(-72) a prime number?
True
Suppose -y = -2*y + 199. Is y a composite number?
False
Let d(b) = 20*b - 3. Let a = -4 + 6. Let v be d(a). Let y = v - -6. Is y prime?
True
Let d(y) = 3*y + 23. Let s(p) = -p + 1. Let t(i) = -d(i) + 6*s(i). Is t(-12) a prime number?
False
Is (-4 - (-7)/1) + 248 prime?
True
Let q = 41 + -6. Is q prime?
False
Let b(s) = 22*s + 1. Let v = 24 