
Let x be (-93 + -1)/(0 + -1). Suppose 127 = -2*v + 13. Let b = x + v. Is b prime?
True
Let b(o) = 17*o**3 + 3*o**2 + 4*o. Let t(n) = 52*n**3 + 8*n**2 + 11*n. Let a(p) = 11*b(p) - 4*t(p). Let w be a(-1). Let z = 43 - w. Is z composite?
True
Suppose -p + 0*p = -a - 462, -894 = -2*p - 4*a. Is p a composite number?
False
Let u(g) = 2*g**2 - 4*g - 7. Is u(-7) composite?
True
Suppose -12*i = -8*i - 1420. Is i a composite number?
True
Suppose 5*x - 2390 = -295. Is x a composite number?
False
Let i(t) = 121*t + 1. Let h be i(1). Suppose -l + 17 = y + 2*y, -3*l = y - 11. Let a = y + h. Is a a composite number?
False
Let t(n) = -3*n - 1. Let m be t(-1). Suppose q - 324 = -m*q. Suppose 3*f - q = -4*j + 33, -2*j = 4*f - 58. Is j a prime number?
False
Let d = 998 + 1497. Is d composite?
True
Let q = 830 - 379. Is q a prime number?
False
Let m = 6599 + -2346. Is m composite?
False
Let o(l) = 4*l - 2. Let q(s) = -s**3 + 3*s**2 + 2*s. Let w be q(3). Is o(w) a composite number?
True
Let s(x) = -20*x + 9. Let a(y) = -20*y + 8. Let g(m) = -6*a(m) + 5*s(m). Is g(2) a prime number?
True
Let m(c) = 7*c**2 + 2*c**2 + 3 - c**2 + 2*c**2 - 4*c. Let b be m(4). Is (2/6)/(1/b) composite?
True
Let v be (-105)/(-5)*2/(-6). Let c(r) = -2*r**3 - 10*r**2 - 2*r + 1. Is c(v) a composite number?
False
Let d(b) = b**2 + 3*b + 33. Is d(23) composite?
False
Is ((-5)/(20/(-12148)))/1 prime?
True
Let a(q) = 3*q - 4. Let f be a(5). Let n be (-28)/(-6) + 4/(-6). Suppose -n*y + i + 72 = 0, y - i = i + f. Is y a prime number?
True
Let w = -18 - -22. Suppose z - w*z = -1173. Is z composite?
True
Let l = -14 + 47. Is l prime?
False
Let g be (-4)/14 - (-2)/7. Suppose o = -g*o + 81. Let d = -26 + o. Is d a composite number?
True
Let p be (-48)/(-9) - 4/(-6). Let y = -1 + p. Suppose -y*x + 271 = -4*r, 43 = 5*x - 4*x + 2*r. Is x prime?
False
Let r(z) = -z**2 - 12*z - 9. Let j be r(-11). Let o(a) = -5 + 5*a**2 - 3*a - 4*a**j - 4*a**2 + 6*a**2. Is o(-4) composite?
True
Suppose 0 = -0*g - 4*g + 76. Is g prime?
True
Let f(l) = -l. Let p be f(-3). Suppose p*y - 4*y + 2 = 0. Is 4/y*1*17 prime?
False
Suppose -5*r - 809 = -3*o, 28 = 5*r + 3. Let f = o + -144. Is f a prime number?
False
Suppose 0*l - 3*l = -4*u + 1027, -5*u + 1310 = 5*l. Let t = u + -120. Is t composite?
False
Let j(u) = -u**3 + 10*u**2 - 4*u + 8. Let d be -2 + 3 + -4 - -10. Is j(d) a composite number?
False
Suppose 4*p - 1855 = -75. Suppose -4*o = o - p. Is o prime?
True
Suppose -43 = -k + 55. Suppose -459 - k = -y. Is y a composite number?
False
Suppose -5*s = 2 + 3. Let a be (-226 + s - -2) + 1. Let p = a + 313. Is p prime?
True
Let r(c) = c + 2. Let p be r(-6). Let y(n) = -84*n**2 + 3*n - 1. Let g be y(4). Is p/22 - g/11 composite?
True
Is 85/10*142/1 composite?
True
Let d = 359 - 507. Is 2/(-8) - d/16 a prime number?
False
Let v(u) = 6*u**2 + 8*u - 7. Let z(i) = -20 + 25*i + 2*i**2 - 2*i + 17*i**2. Let h(m) = -17*v(m) + 6*z(m). Is h(1) prime?
True
Suppose -30 = -p + 39. Is p a composite number?
True
Suppose -183 = -2*l + f + 323, 0 = -3*l + 5*f + 773. Is l a prime number?
True
Suppose 7 - 2 = -2*o - 3*n, 3*o - 5*n = 21. Suppose 58 - 14 = -o*h. Let f = -13 - h. Is f prime?
False
Suppose -19*q = -5615 - 21156. Is q a prime number?
True
Let d(x) = 6*x**2 - 5*x + 8. Is d(5) a prime number?
False
Suppose 2*d + 72 + 2 = 0. Let u = d - -68. Is u prime?
True
Let l = 1262 - -395. Is l a prime number?
True
Let g(t) = 5*t**3 - 6*t**2 - 16. Let f(i) = -6*i**3 + 6*i**2 + i + 17. Let u(m) = -6*f(m) - 7*g(m). Is u(-6) composite?
True
Let x = -15 + 7. Let r = x - -15. Is r prime?
True
Let b(r) = -r + 1. Let p be b(-4). Suppose n - z = -0*z + 2, 4 = p*n - 3*z. Is (n/(-1) - -9)/1 a composite number?
True
Let l(p) = -p**3 + 17*p**2 + 7*p + 13. Is l(12) composite?
True
Let j = 210 - 93. Suppose 5*y - j = 2*y. Is y a composite number?
True
Suppose -6*s + 7*s - 483 = 0. Suppose 2*p + p + 3*n = s, 330 = 2*p + 4*n. Is p composite?
False
Suppose 5*a + 7 = -3. Let n = a + 57. Is n composite?
True
Suppose 277 = -5*j + 1022. Is j prime?
True
Is 74/(-6)*(1 + -4 - 0) a prime number?
True
Let z = -2 - -4. Let n be (-2 + z)/(4/(-2)). Suppose 0*u - 4*u + 140 = n. Is u composite?
True
Suppose 4*s - 3*s - 145 = 0. Is s composite?
True
Let b = -3 + -1. Is (-10)/b*(4 - -10) prime?
False
Let l = 3 + 0. Suppose 664 = o + o. Suppose -l*v - o = -7*v. Is v prime?
True
Let z = -3 - -3. Suppose z = i - 29 - 36. Is i a prime number?
False
Let j(o) = -o**3 + 3*o**2 + 2*o - 4. Let h be j(3). Let y = 2 - 2. Suppose y = h*g - 47 - 31. Is g a prime number?
False
Let v = -85 + 334. Suppose -v = -5*u + 161. Is u a prime number?
False
Is (-1)/(6/201)*(3 - 5) prime?
True
Let z(k) = 2*k - 1. Let c be z(3). Suppose 0 = -4*m - 3*v + 54, 12 = 3*m - c*v - 14. Suppose -4*y + o + 47 = 0, y - 4*o - o = -m. Is y composite?
False
Let p(v) = v**2 - 9*v + 1. Let r be p(9). Let d be 38*(r + 2/(-1)). Let o = 5 - d. Is o composite?
False
Suppose 1207 + 1608 = 5*d. Is d prime?
True
Let h(a) = -7 + 4*a + 2 - 7*a. Is h(-14) a composite number?
False
Suppose -4*a + 1304 = -4*r, -7*r + 632 = 2*a - 5*r. Is a a composite number?
True
Is 0*5/15 - -371 a composite number?
True
Let g(m) = m**2 - m + 4. Let v be g(0). Suppose v*u = 5*u + 12. Let l = u - -22. Is l prime?
False
Suppose -4*o + 15 - 3 = 0. Suppose o*x + 994 = 2*f, 3*f - 5*x = -2*x + 1485. Is f a composite number?
False
Let f = -214 - 113. Is f/3*(3 + -4) a prime number?
True
Let x(b) = 3*b**3 - 10*b**2 - 4*b - 25. Is x(8) a prime number?
True
Suppose 0 = g + 3*y + 6, -y + 2*y = -g. Suppose g*u - 373 = 2*u - 5*r, -1392 = -4*u + 5*r. Is u a prime number?
True
Suppose -4 - 52 = 4*p. Is p/(-21)*(-201)/(-2) a prime number?
True
Suppose 0 = -4*m + 2 - 30. Let t = 11 + m. Suppose -t*l = -3*l - 13. Is l a composite number?
False
Let f(r) = r**2 + 9*r - 15. Let o be f(-11). Let c = o - -10. Suppose 94 + c = 3*t. Is t a composite number?
False
Suppose 0*d - 771 = -d. Is d composite?
True
Let g(h) = -h**2 - 8*h - 5. Let u(d) = -1. Let q(f) = -g(f) - u(f). Let s be q(-8). Suppose -s*z + 30 = -z. Is z composite?
True
Let j = -2189 + 4078. Is j a prime number?
True
Let y = 7 + -5. Suppose 7 + 0 = -2*i - 3*w, y*i + 2 = -2*w. Suppose -57 = -6*c + 3*c - 2*t, -3*c = i*t - 51. Is c prime?
False
Suppose 8*h - 13*h = -25. Suppose 0 = 6*s - h*s - 1747. Is s prime?
True
Suppose 0 = 3*j - 15 + 1743. Is (-3)/(-1) + (4 - j) prime?
False
Let s = -251 - -460. Is s composite?
True
Suppose 2*w - d - 838 = 2*d, 3*w - 1257 = 3*d. Is w a prime number?
True
Suppose 4*y + 13 = k, -9 = 3*y - 4*k + 4. Is y*(-14 + 1 - -2) a composite number?
True
Is 1395/(-15)*-1*1/3 composite?
False
Let z(a) = 16*a**3 - 4*a**2 - 3*a + 10. Is z(5) composite?
True
Suppose -3*c + 5*c = 88. Let f = 53 + c. Is f prime?
True
Suppose -46 = -4*t + 50. Let a = t + 55. Is a a prime number?
True
Let j(w) = -37*w - 5. Let f(z) = 140*z + 20. Let m(d) = -141*d - 20. Let t(g) = 6*f(g) + 7*m(g). Let v(u) = -9*j(u) + 2*t(u). Is v(4) a prime number?
False
Suppose -5 = -9*v + 4*v. Suppose v = l - 78. Is l a composite number?
False
Suppose -5*f + 12 = -4*z, 3*z - f - 4 = -z. Let d(g) = -g**2 + 2*g. Let y be d(z). Suppose q = -p + 19, 2*q + 57 = 3*p - y*q. Is p composite?
False
Let o(t) = -t + 1. Let x be (-3)/(-3) + 4/(-1). Let c be o(x). Suppose p - c*p + 33 = 0. Is p prime?
True
Let q(g) = 2*g**2 + g + 1. Let w be q(-1). Suppose 0 = w*i + 3*i + 5. Is 1*-2*-20 + i composite?
True
Let u(g) = 5*g - 4. Suppose -5*r + 4*l + 14 = -3, 2*l = 2*r - 6. Let w be r - 3/3 - -3. Is u(w) composite?
False
Is 1382 + -3 + 0 + 0 a composite number?
True
Suppose -2*b + 0*a + 740 = a, b - 361 = -5*a. Let x = 618 - b. Is x prime?
False
Let y(x) = 3*x + 2 + 2*x - 34*x. Let b be y(-5). Suppose 0 = 4*r - 241 - b. Is r a composite number?
False
Suppose -5*j + 3*v = 2*v - 13, -2*v = 3*j. Let x(c) be the third derivative of 4*c**5/15 - c**4/12 - c**3/6 + c**2. Is x(j) a composite number?
False
Suppose 5*l - 21 = 3*g, 2*g + 0*l + 4*l + 14 = 0. Let a(s) = 1 + 3*s**2 - 2*s + 3 - 2*s**2. Is a(g) composite?
False
Suppose -g - 1 = -2*g. Is g*2/(6/21) prime?
True
Suppose g + 39 = -3*o, -2*o - 4*g - 30 = o. Is (-4)/o + 766/14 prime?
False
Suppose -2*q + 64 = 3*k, 2*k + k = 3*q - 126. Is q composite?
True
Suppose -5*r + 77 = -118. Suppose 4*n - 3*n