?
True
Let i be 4/30*-21*-5. Is 2/i + (-2270)/(-35) prime?
False
Suppose 5 = 3*t + t + 5*r, 5*t + 20 = -r. Let v(x) = -x - 5. Let k be v(t). Let q(z) = z**3 - z**2 + z + 35. Is q(k) a composite number?
True
Suppose 0 = 2*o - 3*c - 272, -2*o = 5*c - 327 + 39. Is o a composite number?
False
Let h = 1 - -8. Let g(d) = 2 + 0 - h*d**3 - 2*d**3 - 3 - d**2. Is g(-2) prime?
True
Suppose -3*m - 5*h + 20 = 0, 2*m = -5*h + 5 + 15. Suppose m = -3*s + 9*s - 114. Is s a prime number?
True
Let y = -409 + 1556. Is y a prime number?
False
Let w(f) = f**3 + f**2 - f + 77. Suppose r - 3*r = 0. Is w(r) prime?
False
Suppose 2 = -2*r + 3*t, -5*r - 2*t + 5*t = -13. Suppose 59 = 2*m - 2*f + 1, -r*f = -m + 9. Is m prime?
False
Let l = 8 + -8. Suppose 4*i - 159 - 213 = l. Is i a prime number?
False
Let w(u) = u**2 - 9*u - 13. Let c be w(10). Let n = 13 + c. Is n composite?
True
Suppose -3*j + 5*c = -200 - 29, 3*j + 5*c - 269 = 0. Suppose j = 2*u - 71. Is u a composite number?
True
Suppose 2*f = -3*s + 23, s + 3*f - 8 = 2. Let w be 26/s + (-6)/(-21). Suppose -2*p = -w*k + 90, 2*k + 3*p + 26 - 67 = 0. Is k a prime number?
False
Let b(m) = m**2 + 7*m + 5. Let r be b(-7). Let x(w) = w - 3. Let k be x(r). Suppose -3*t + 2*f = -25, 2*t - 8 = -f - k*f. Is t composite?
False
Suppose 5*v = 2*d - 0*d + 9, 3*v - 5 = d. Let g be (2/d - -11) + 1. Let m = -8 + g. Is m a prime number?
True
Let a be (4 - 4/2) + 3. Let p(i) = 3*i**2 + 5*i - 7. Is p(a) composite?
True
Let v(z) = 144*z**2 + 2*z - 3. Is v(-4) composite?
False
Let z(x) be the second derivative of -x**4/6 + x**3/3 - x. Let q be z(2). Let y = q + 59. Is y composite?
True
Let j be 1 + 86 + -3 + -3. Suppose 3*s - j - 120 = 0. Is s prime?
True
Let u = 8 + -3. Suppose 3*o + 206 = 2*f, 4*o - 5*o = u*f - 515. Is f a prime number?
True
Let n(s) = -6 - 11*s - 8 - 78*s**2 + 80*s**2. Is n(-7) prime?
False
Let p(x) = 5*x**2 + 6*x + 8. Is p(-7) a composite number?
False
Is 1/2 + 122/4 composite?
False
Let j = -3 - -17. Suppose 0 = 2*w - 2*d + d - 28, w + d - j = 0. Is w composite?
True
Let p be (-5)/(-1) - (-6 + 7). Let l(n) = 7*n**2 + 1. Is l(p) a composite number?
False
Suppose 0 = -2*u - 3 + 17. Let m be (-16)/56 + (-19)/u. Is (37 - -1)/((-3)/m) composite?
True
Is 5*103 - (-8 - -6) prime?
False
Suppose -5*f = 4*u - 7, 3*u - 6*u + 5*f - 21 = 0. Let t(x) = -23*x + 3. Is t(u) a prime number?
False
Let a = 700 + -449. Is a prime?
True
Let t(z) = -z**3 - z**2 + z + 191. Is t(0) a prime number?
True
Suppose -2*n = -4*m + 3*n - 11, -3*m = -3*n + 9. Let l be (9/(-6))/((-3)/m). Is (l/4)/(2/(-196)) a composite number?
True
Let b(x) = 0*x - 5*x - 7 - 9 + 13. Let z(s) = s**3 - 7*s**2 + 4*s + 7. Let l be z(6). Is b(l) composite?
True
Let y(d) = 3*d**2 - 3*d + 3. Let a(t) = t**2 - 4*t + 1. Let q be a(6). Let u = q - 9. Is y(u) composite?
True
Suppose -6*v + 3*v + 6 = 0. Suppose -v*c - g + 253 = 0, 639 = 3*c + 2*c - 4*g. Is c a prime number?
True
Let s(m) = m - 45. Let p be s(0). Let x = 24 - p. Suppose -3*j + 278 = 4*d, 2*d - x = d - j. Is d composite?
False
Suppose 3*l = -4*n + 36, -l - 3 + 25 = -2*n. Let j(m) = 4*m - 1. Let f be j(1). Suppose -f*i + 2 = -l. Is i composite?
True
Let d = 15 + -11. Suppose v + d - 41 = 0. Is v composite?
False
Let c be (-14)/35 - 54/(-10). Suppose -c*n = -4*x - 391, 4*n - x - 298 = 17. Is n a prime number?
True
Suppose 0 = -4*z + 3360 + 4852. Is z a prime number?
True
Suppose -5 = -3*v + 7. Suppose 2*t + 4*f = 0, -38 = -v*t + 5*f + 1. Is t a composite number?
True
Let z = 4 - 0. Is (-1524)/(-18)*6/z composite?
False
Let o = -6 + 8. Suppose -5982 = -5*n + 4*j - 1397, o*n - 1857 = -3*j. Suppose 4*g = n + 131. Is g a composite number?
False
Suppose 2 = -4*o - 22. Let y = o + 43. Is y a composite number?
False
Suppose 0 = -h + 4*h + 90. Is 20/h - 59/(-3) a prime number?
True
Suppose 0*n + 2*n = 0. Suppose 4*v - 5*x - 667 = 0, 2*v - 2*x - 3*x - 321 = n. Suppose 5*a + 185 = 3*z, -4*z - 2*a + 39 = -v. Is z prime?
False
Let u(q) = -q + 1. Let z be u(-4). Suppose z*g = 4*g + 203. Is g prime?
False
Is (212*(-2)/(-4))/(4/6) a composite number?
True
Is 4*5/(-40)*(-4322 - 0) a composite number?
False
Let c(b) = 0 + 0 + 0 - b + 2*b**2. Is c(-1) a prime number?
True
Is 2286/14 + (-2)/7 a prime number?
True
Let k be (-3)/(-3 + 18/4). Let a(p) = 3*p**2 + 4*p + 2. Is a(k) prime?
False
Let c(t) = t**2 + 13*t - 7. Let f be c(-6). Let d = f + 70. Is d a prime number?
False
Suppose 0 = -4*o + 13 + 7. Suppose -3*t - o*m = -m - 78, t - 2*m = 16. Suppose -4 = -b + t. Is b prime?
False
Suppose -3*y + 280 = -629. Is y a composite number?
True
Suppose 9*w - 10377 = -2790. Is w a prime number?
False
Suppose 0 = -2*h + n + 43, 5 = -0*n - n. Is h prime?
True
Suppose 10*j + 365 = 11*j. Let o = j - 216. Is o composite?
False
Let b(p) = 5*p - 2. Let l be b(2). Let m = 16 - 13. Suppose -m*k = -l*k + 155. Is k a prime number?
True
Let a(u) = 37*u**2 - u + 11. Is a(6) prime?
False
Let r(p) = 7*p + 10. Let f be r(-7). Let b be f*(2 + (-8)/3). Suppose -4*y = -b - 62. Is y a prime number?
False
Let a(d) = -d + 3. Let c be a(5). Let m be 5 + (0 - c/(-1)). Suppose -2*l + 157 = 3*j, -m*j + 71 = 3*l - 163. Is l a prime number?
False
Let b = 447 + 105. Let g = -375 + b. Is g a prime number?
False
Suppose -1 - 1 = v, 3*g = -v + 1. Let k be (4/2)/(g/2). Suppose -3*m + 6*m = -5*o + 1127, k*m = 16. Is o a prime number?
True
Suppose 2*s + 3*k = 787, 0*s - 3*s - 5*k = -1183. Is s composite?
True
Let t = -263 + 562. Is t a composite number?
True
Let g = -723 - -2707. Let b = -1305 + g. Is b composite?
True
Suppose -2*h + 4*h = 870. Suppose -3*i + h = 2*i. Is i a prime number?
False
Let c be 42/(((-18)/(-4))/(-3)). Let b = c + 63. Is b a composite number?
True
Let s(j) = j**3 - 5*j**2 - 7*j + 9. Let k be s(6). Let t be (-1)/(k*-1)*111. Suppose 0 = -2*g + 3*g - t. Is g composite?
False
Let p = -11 + 6. Let w be 4/p*(-20)/8. Suppose -w*d + 69 = -5*o, -2*d - d + 5*o = -116. Is d a prime number?
True
Let k be 3 - (-3 - (-1 - 2)). Is k*(-1)/(-9)*393 prime?
True
Let r = -7 - -10. Let u(l) = 3*l**3 + 2*l**2 - 2*l + 2. Is u(r) a composite number?
True
Suppose q + 0*k - 90 = 5*k, 3*k + 210 = 3*q. Is q a composite number?
True
Is 4/((-48)/(-15))*124 prime?
False
Is 15/2*170/15 a prime number?
False
Let i(g) = -26*g**2 + 10*g - 5. Let w(z) = -9*z**2 + 3*z - 2. Let p(n) = -3*i(n) + 8*w(n). Is p(-4) prime?
False
Suppose -4*a = -i + 1057, -4*i - 2*a + 2369 = -1823. Is i a prime number?
True
Let s(j) = -j**2 + 8*j - 9. Let b be s(6). Let t(l) = 2*l. Is t(b) prime?
False
Suppose 11*y = 9*y + 1822. Is y prime?
True
Suppose -5*i = -3*t - 0*i + 177, -5*i = 5*t - 295. Let z = t - 0. Is z prime?
True
Let n(f) = 15*f - 1. Let z(l) = l. Let m(q) = -n(q) + 5*z(q). Let r be 2/(-6) + 15/(-9). Is m(r) a prime number?
False
Let m(c) = -3*c + 1. Let j be m(-1). Suppose 5*t - 1 = 4. Suppose 4*a = -j*p + 144, -2*p - 3 = -t. Is a composite?
False
Let b(d) = 2*d**3 + 6*d**2 - 2*d + 2. Let i be b(-5). Let r(q) = -3*q**2 - 1. Let n be r(-1). Is (5/n)/(2/i) composite?
True
Let v(m) be the third derivative of m**5/30 + m**4/12 - 7*m**3/6 + 3*m**2. Let s be v(-5). Let t = 56 - s. Is t a prime number?
True
Let w be 1*(-181)/((-1)/1). Suppose -5*f + 149 = -w. Is 2/(3*4/f) composite?
False
Suppose s - 3*k = 748, 0 = -3*s + 2*s + 4*k + 749. Is s composite?
True
Is (892/6)/(6/9) composite?
False
Let j be (-12)/((-127)/125 - -1). Suppose -5*i - 105 + j = 0. Is i a prime number?
False
Let m = 303 - -28. Is m a prime number?
True
Let g(s) = s**2 + 808 - 814 + 7*s**2 - 12*s + s**3. Suppose 2*h - 6*h = -v - 17, h - 20 = 2*v. Is g(v) a composite number?
True
Suppose -5*f + 240 = -2*a, -f = f - 5*a - 96. Let t = 175 - f. Is t prime?
True
Let z(r) = -6*r + 3. Let y(c) = c - 1. Let k(b) = 5*y(b) - z(b). Is k(6) a prime number?
False
Let x = -6972 + 10819. Is x composite?
False
Let m(n) = -n**3 - 17*n**2 + 11*n - 20. Is m(-18) prime?
False
Suppose 4*i + 0*i - 12 = 0. Suppose -i*t + 189 = 24. Is t prime?
False
Suppose 0*g - 3*g + 6 = 0. Let b(q) = 2*q - 2. Let x be b(g). Is (2*17 - -1) + x a composite number?
False
Suppose 5*z = 27 + 28. Is z composite?
False
Let y(z) = 730*z**2 - z. Is y(-1) a prime number?
False
Let q(c) = c**3 - 4*c**2 - 14*c - 1. Is q(12) composite?
False
Let o(y) be the second derivative of y*