
True
Let z(m) = 2*m. Let h be z(1). Is (3/h)/((-9)/(-636)) prime?
False
Let t = 1157 + -230. Suppose -t - 330 = -3*o. Is o prime?
True
Suppose 0 = 5*b + 2*b - 259. Is b prime?
True
Let x be 13 + -2*(-1)/2. Let w = x - 20. Let h = 121 - w. Is h a composite number?
False
Let y(v) = -v**3 + 11*v**2 - 14. Suppose 0*j = j - 10. Let h be y(j). Let w = 73 + h. Is w a composite number?
True
Let m(i) = -568*i. Let c(f) = -852*f. Let r(y) = 5*c(y) - 7*m(y). Let n be r(-1). Suppose -150 = -3*b + 5*z, -b - n = -6*b - 3*z. Is b prime?
False
Let o be (-1)/(-3) + 2/(-6). Suppose o = 4*p + 4*u - 84, -1 = -3*u + 4*u. Is p prime?
False
Let t be 4/2 - 1*-16. Let z be (-4)/(-18) + 356/t. Suppose 316 = 4*b + 4*q, -z = -4*q - 0*q. Is b prime?
False
Is ((-2)/(-2))/(-1)*-31 prime?
True
Let s(j) = -j + 3*j**2 - j**2 - 2 + 0. Let p be s(-2). Let o = 14 - p. Is o composite?
True
Let h = 2 + -2. Suppose 38*u + 10 = 40*u. Suppose 3*t = -2*o + 59, 3*t + h*t + u*o = 44. Is t a prime number?
True
Is 14/119 + (-18934)/(-34) composite?
False
Let f(c) = 41*c**2 - 6*c + 3. Is f(-4) composite?
False
Let d(n) = -n**3 + n**2 - n + 3. Let s be d(0). Let w be 0*3/18*s. Suppose -b + 19 = -w*b. Is b composite?
False
Suppose 3*q + 2 - 188 = 0. Is q a prime number?
False
Let q = 22 - -88. Suppose -5 = -r + 3*j, -4*r - r - 5*j = -5. Suppose 3*y - q = -r*y. Is y composite?
True
Let c(g) = g**2 - g + 5. Let j be c(0). Suppose n + 0*n - j = 0. Suppose -4*y + 1652 = n*r, -2*r = -2*y - 3*r + 826. Is y composite?
True
Let k(w) = 12*w + 5. Is k(17) prime?
False
Suppose 5*h - 2*w - w - 2370 = 0, h = 2*w + 481. Is h a prime number?
False
Is -506*(-28)/21 - 2/3 composite?
True
Suppose -f = 3*d + 1, 2*d + 2*f + f = 11. Is (d + 1)*(-50 - 3) composite?
False
Let c = -42 + 72. Suppose -s + c = s. Is s prime?
False
Let i = 28 - 13. Suppose 3*l = -i, -3*s - s = -5*l - 913. Suppose -3*c - 5*k = -s, 3*k = -k - 12. Is c a prime number?
True
Let c(d) = d**3 + 15*d**2 + 5*d - 1. Is c(-8) a prime number?
False
Suppose 2*i + 2*i = 92. Suppose 0 = 3*f + 5*n - 19, 10*f + 4*n = 5*f + i. Is (-2 + f)/((-1)/(-67)) a prime number?
True
Suppose -2*f = -0*f + 18. Let i = 4 + f. Let t(w) = w**2 + w - 6. Is t(i) a prime number?
False
Let g = 13 - -6. Is g prime?
True
Let n(q) = q**2 - 9*q + 7. Let p be n(7). Let a = 0 - p. Is a a composite number?
False
Let h be (-4)/6 - (-1)/(-3). Is 0 + h + (-34)/(-1) composite?
True
Let d(z) = 82*z**2 + 2*z - 4. Let t be d(3). Suppose -4*v + t + 312 = 0. Is v a prime number?
True
Let q be (8/10)/((-2)/(-20)). Let g(l) = -16*l - 4. Let u(b) = -3*b - 1. Let r(s) = 2*g(s) - 11*u(s). Is r(q) composite?
False
Let o = 1159 + -764. Is o composite?
True
Suppose 0 = -4*t + 4*w - 104, 0*t - 24 = t - 3*w. Let a = -13 - t. Suppose -b = -3*b + a. Is b prime?
True
Let k = 2 - 2. Let r be -2*(-188 - (k + 0)). Suppose 3*h - r = -127. Is h a prime number?
True
Let z be (-285)/(-10)*(84 + -2). Is (-6)/9 + z/9 a composite number?
True
Let r = 127 + 1. Suppose -2*x + r = 34. Is x/(4/2 - 1) composite?
False
Let d = 5 - 2. Suppose 0 = 2*h - 8, -d*x - h = -0*h - 19. Suppose -4*c = 4*v - 5*c - 45, 2*v = -5*c - x. Is v a composite number?
True
Let u(a) = 10*a**2 + 2*a + 1. Suppose b - 6*b - 15 = 0. Is u(b) a composite number?
True
Let t(p) = -4*p**2 - 2*p**2 - p - 12 + 5*p**2. Let s be t(0). Is (-3)/s - 219/(-4) a composite number?
True
Let t(g) = -11*g**2 + 1 - 3 - 15*g**2. Let h be t(-2). Let z = 197 + h. Is z a prime number?
False
Let m(w) = w**3 - 4*w**2 + 4*w - 2. Let h(n) = n**3 - 2*n**2 - n - 4. Let z be h(3). Let j be m(z). Is -2 + (j - (-126 - -3)) prime?
False
Suppose -k + 23 + 342 = 0. Suppose -q = -5*o + k, 4*o + 2*q = q + 301. Is o a composite number?
True
Let y = 12 + -7. Suppose x + 110 = -0*x - l, y*l = 25. Let c = -38 - x. Is c composite?
True
Is (-504)/(-15) + (-4)/(-10) a prime number?
False
Let f = 23 + -14. Let y = f - 8. Is (2/(-4))/(y/(-154)) a prime number?
False
Let w be (3 + -2)*(-4)/(-2). Suppose 4*r + w*m = -6 + 78, -3*m = -2*r + 44. Is r prime?
True
Is 24798/21 + 2/14 a prime number?
True
Suppose 2*y - s = 18, 3*y - 2*y + 1 = 3*s. Let u = -12 - -76. Let x = u - y. Is x prime?
True
Let l = 6 + -2. Suppose 0 = -2*n - l*k + 494, -2*n + 4*k + 494 = 2*k. Suppose -93 = -4*v + n. Is v composite?
True
Let a be (1 - -38)/(7/(-21)). Let g = -64 - a. Is g a composite number?
False
Let y(l) = -l**2 - 34. Let r be y(0). Is r*6/4*-1 a composite number?
True
Suppose -3*a = -5*a + 1774. Is a prime?
True
Suppose u - 3*u + 2*t + 882 = 0, -4*u = 2*t - 1788. Is u a composite number?
True
Let u = 4822 - 2429. Is u composite?
False
Suppose 0 = -3*h + 3*d + 821 + 55, 4*d - 267 = -h. Is h composite?
True
Let y(a) = -117*a - 2. Let p(l) = -l**2 + 11*l - 1. Let d be p(11). Is y(d) a composite number?
True
Suppose -6*v = -4*v - 226. Is v a prime number?
True
Suppose 9 = i - 176. Is i prime?
False
Suppose -d + 0 = -2. Is 436/d + (2 - 3) composite?
True
Let f(k) = 26*k - 5. Let x(m) = 1. Let h(s) = -4. Let i(c) = 2*h(c) + 9*x(c). Let d(u) = f(u) + 2*i(u). Is d(2) composite?
True
Let b(s) = -s**3 + 7*s**2 + 7*s - 1. Let g be b(6). Let d = g + 50. Is d composite?
False
Let m(u) = -242*u + 21. Is m(-10) a prime number?
True
Let b be 30/7 + (-6)/21. Suppose -2*p = -p - b*m + 41, -p - 4*m - 33 = 0. Let v = 94 + p. Is v a prime number?
False
Let u be -1 + -3 - 39 - -4. Let c = 97 + u. Is c prime?
False
Let o = 26 + 27. Is o a prime number?
True
Let m be ((-56)/4)/(1/(-8)). Suppose -92 = -4*r + m. Is r a composite number?
True
Suppose -5*w = -2*w - 18. Let g = w - 2. Is 2/g - 146/(-4) a composite number?
False
Suppose 0 = -6*x - 4*x + 42190. Is x a prime number?
True
Let f be 0 - ((-1 - -1) + -35). Suppose 34 = l - f. Is l a composite number?
True
Let j(d) = 223*d - 18. Is j(7) prime?
True
Let q(o) = 34*o - 23. Is q(7) a composite number?
True
Suppose 8*c - 4*c - 16 = 0. Is 1*(-2)/c*-614 a prime number?
True
Suppose -4*s + 18 = -2*s. Let g(a) = -a**2 + 11*a + 4. Is g(s) a composite number?
True
Is 1 + 1 + 10 + -2 a composite number?
True
Suppose -10*d - d + 1309 = 0. Is d prime?
False
Let k be 3*1 + (-5 - -4). Suppose -c = -0*w + w + 60, 0 = -2*w + k*c - 100. Is (0 - w)/(0 + 1) a prime number?
False
Suppose -1532 = -2*r + 5450. Is r a composite number?
False
Let g(o) = -o**2 + 11*o - 11. Is g(5) prime?
True
Let l(w) = -w**2 - 5*w + 6. Let s be l(-6). Suppose -4*g - 730 = o - 2*o, -3*g - 5*o - 559 = s. Let n = -72 - g. Is n a composite number?
True
Suppose 8 = -3*y + 4*y. Let f be (-4)/6 + y/12. Suppose o = -5*h + 82, f*o = 2*o - 4*h - 206. Is o a composite number?
False
Let b = 1199 + -706. Is b a prime number?
False
Suppose 3*m - 2 = 4. Suppose -37 = -f + 5*x - 0*x, 28 = f - m*x. Is f a composite number?
True
Let s = -21 - -47. Suppose -s = -j + 36. Is j a composite number?
True
Let x(o) = -o**3 + o**2 + o + 42. Let l be x(0). Suppose 0 = -3*i + l + 144. Suppose 5*y - 106 = t + i, 3*t = 4*y - 141. Is y prime?
False
Is (-1528)/(-5) + 15/(-25) a prime number?
False
Suppose -178 = -2*r + 228. Is r prime?
False
Let n = -2 - -2. Suppose 4*c + 20 = 4*s, -7*c - 23 = -4*s - 2*c. Suppose 3*w + 3*g - 18 = n, -s*w - w + g + 22 = 0. Is w prime?
True
Let b(v) = 0*v**2 + v**2 + 1 + 2 + 0 - v. Is b(0) composite?
False
Let o be 36/15 - (-6)/10. Let p(q) = 2*q**3 - 2*q**2 + 2*q + 4. Is p(o) prime?
False
Suppose -t - 4*s - 11 + 202 = 0, 5*s + 25 = 0. Is t a composite number?
False
Let u(q) = q**3 - 3*q**2 + 2. Let y be u(2). Let h(r) = -11*r**3 - 2*r**2 + r + 1. Is h(y) a composite number?
False
Let y = 54 + 108. Let z = y - 13. Is z composite?
False
Let o(u) = -24*u - 1. Let f be o(-4). Let x(c) = -c - 6. Let n be x(-6). Suppose -4*i + k + 0*k + 380 = 0, n = i - k - f. Is i a prime number?
False
Suppose 2*h = v + 2, h + 20 = 3*v + 6. Is ((-2)/v)/((-1)/57) prime?
True
Let t(x) = 11*x**2 + 11*x - 3. Is t(-8) composite?
False
Suppose n - 2*n = 3*y - 27, 4*y - 8 = 0. Is n a prime number?
False
Is (16838/(-3))/((-7)/(21/2)) a prime number?
True
Suppose 4 = -5*o + 5*b - 31, 5*b = 3*o + 11. Let q be (-1)/(-4) + (-3945)/o. Suppose -5*j - q = -2*t, -2*t = 4*j - 466 + 164. Is t prime?
True
Suppose -88 - 116 = -4*c. Suppose -s + 0*s = -c. Is s a prime number?
False
Suppose 0 = -0*b + 5*b - 1070. Is b composite?
True
Let x(r) = 6*r + 10. 