 + y. Is l prime?
False
Suppose -2*p + 4*j = -174, -4*p + 345 = j - 6*j. Is p prime?
False
Let x = 30 - 5. Suppose 3*t + 2*t - x = 0. Suppose 21 = -2*l + t*l. Is l prime?
True
Suppose 3*p - 32 - 1 = 0. Is p composite?
False
Suppose p - 345 - 440 = 0. Is p prime?
False
Suppose -839 = -5*w + 216. Is w prime?
True
Let r be (23 - -3)/((-4)/(-6)). Let k = r + 58. Is k a composite number?
False
Suppose 3*a = -2*z + 5*z - 348, -244 = 2*a + z. Suppose 5*t + 138 = 3*t + 5*v, -3*v = -3*t - 216. Let d = t - a. Is d composite?
True
Suppose -v = 4*n - 6, v + 2*v + 3*n = 27. Is ((-2)/v - -3)*5 a composite number?
True
Let t be ((-36)/(-1))/((-2)/2). Is (2 - 2) + 2 - t prime?
False
Suppose -5*m = -m - 328. Is m prime?
False
Let y be (-2)/8 - 1/(-4). Suppose y*w + 3*w = -k + 199, -2*w - 4*k = -126. Is w prime?
True
Let k = 326 + -205. Is k prime?
False
Suppose -2*j - j + 362 = 5*m, 5*m - 3*j = 368. Let t = m + -40. Is t prime?
False
Suppose 3*s = 6*s - 1611. Is s a composite number?
True
Let t(r) = r - 7. Let k be t(7). Suppose -d + 3*d - 18 = k. Let b(l) = 2*l + 1. Is b(d) prime?
True
Let a(f) = f**3 - 4*f**2 - f + 9. Let v be a(4). Suppose 0 = 3*m - 2*d - 366 + v, 3*d = -2*m + 232. Is m a composite number?
True
Let f = -5 - -9. Suppose 3*r - 4*d = 35 + 96, -3*d = f*r - 133. Is r composite?
False
Let z = 2 - -1. Suppose 0 = -3*k - 4*h + 3, -z*k - k + h - 15 = 0. Is 15 + 0*k/6 prime?
False
Let j be (1 + -1 + 1)*14. Let o = j - -3. Suppose o = m + 3. Is m a prime number?
False
Let q = 205 + -56. Let j = q - 70. Is j a prime number?
True
Let c(o) = o**3 + 4*o**2 - 5*o - 1. Let p be c(-5). Is (-927)/(-6)*(1 - p) prime?
False
Let k(o) = -3*o**2 - 8*o - 3. Let v(h) = -h**3 - 6*h**2 - 17*h - 6. Let i(g) = -13*k(g) + 6*v(g). Let j = -6 + 4. Is i(j) a prime number?
True
Let a be 10/(-6)*(-3)/1. Suppose 5*y + 0*t + 5*t = 610, -2*y = a*t - 244. Suppose y + 151 = 3*h. Is h composite?
True
Let c(z) = 97*z**2 + z - 1. Suppose -3*n = 2*n. Let q(l) = l + 1. Let t be q(n). Is c(t) a prime number?
True
Let p = -5 + 0. Let c be (-2 - -1)*(-8 - p). Suppose c*w + w - 52 = 0. Is w a prime number?
True
Let y = -10 - -19. Let x(i) = 7*i**2 + 10*i - 12. Let g be x(y). Suppose -10 = -5*o + g. Is o a prime number?
True
Let b = -10 + 12. Suppose b*j + 1 = 5. Suppose -5*t - j*d + 58 = d, 0 = -4*t - d + 52. Is t a prime number?
False
Let f(z) = z**2 + 2*z - 6*z - 6 + 0*z**2. Is f(8) composite?
True
Let x be (24 + -3)*(-48)/9. Let i = -26 - x. Let k = 139 - i. Is k prime?
True
Let j = -1015 + 1802. Is j composite?
False
Let t(r) = -2*r - 1. Let h be t(1). Let i be (-2)/(-2)*(0 - h). Suppose i*u - 5*w = 133, -2*w = 3*u + 3*w - 143. Is u prime?
False
Let s be ((-357)/4)/((-2)/(-8)). Let a = s - -542. Is a a prime number?
False
Let j = 342 - 197. Suppose 3*u - 20 = j. Is u composite?
True
Suppose -4*u + 0*u = 452. Is u/4*(7 + -27) prime?
False
Let m = 11 - 7. Let w(n) = 2*n**3 - 3*n**2 + 2*n + 1. Is w(m) composite?
False
Is (4/(-12))/((-3)/873) a prime number?
True
Let v(h) = h + 2. Suppose -2*c = -c - 4. Is v(c) composite?
True
Let m(g) = 4*g**2 + 8*g - 4. Let r be m(5). Suppose -3*b + r = 4*s, -s + 18 = 2*b - 21. Is s a prime number?
True
Suppose -t = -5*w + 22, 6*w - 2*w - 17 = t. Suppose z + l - 40 = 42, 4*z - 331 = -w*l. Is z a composite number?
False
Suppose -9*o - 9163 = -22762. Is o prime?
True
Let x(v) = -v + 20. Let q be x(0). Suppose -5*i + 85 = -q. Is i a prime number?
False
Let i(h) = -h**2 - 4*h + 1. Let d be i(-3). Suppose -q - 3*y = -21, -d*q + y = -30 - 28. Is q composite?
True
Let j(n) = 0*n**3 - 2*n + 1 - 3 - 2*n**2 + 0 - n**3. Is j(-3) a prime number?
True
Let f(t) = 3 - 21*t**2 + 22*t**2 - 9*t**3 + 2*t + 2*t. Is f(-2) composite?
False
Let x(z) = z**3 + z. Let i be x(0). Let d be 1*-1*(i - 0). Suppose d = -u + 2 + 1. Is u a composite number?
False
Let f be (9/6)/((-1)/(-2)). Suppose -f*c + 24 + 15 = 0. Is c composite?
False
Let o(n) = -14*n + 5. Is o(-9) a composite number?
False
Let k = 36 + -13. Let b = k + 14. Is b composite?
False
Let o(d) = d**3 - d**2 + d + 7. Suppose -4 = -2*n, 2*n - 4 = 3*g + 2*g. Let x be o(g). Is (3 - 0)/(1/x) a composite number?
True
Suppose 3*i - 3*x + 8*x = 455, -4*i - 5*x = -610. Is i a composite number?
True
Let w(x) = -x**3 - x**2 + 217. Let v be w(0). Suppose 2*f - r - v = 76, f - 3*r = 134. Is f composite?
False
Suppose q = 721 - 180. Is q a prime number?
True
Let q(j) = 3*j**3 + 9*j**2 - 3*j - 5. Is q(4) composite?
True
Let y be (-2)/9 - (-101070)/(-81). Let f = -835 - y. Is f a composite number?
True
Let s(h) be the first derivative of -h**4/4 + 5*h**3/3 + 4*h**2 + 4*h + 2. Let i be s(6). Is 1*(i/1 + -1) composite?
True
Suppose -8 - 10 = -3*b. Let k be ((-4)/b)/((-2)/(-3)). Is 0 + -2 - (-8 + k) prime?
True
Let i = -10 - -47. Suppose -80 = -3*u + i. Is u a composite number?
True
Suppose -3*r = -2*m + 33, 4*m - r - 3*r = 64. Is m a composite number?
True
Let a(d) be the first derivative of 2 + 1/3*d**3 - 2*d - 5/2*d**2. Is a(8) prime?
False
Let n = -21 + 21. Suppose -4*g = -5*t - 42 - 350, n = 3*g + 5*t - 329. Is g a composite number?
False
Suppose 13*o = 10*o + 2043. Is o a composite number?
True
Let f(y) be the first derivative of 3*y**4/2 + y**3/3 + y**2/2 + y - 1. Suppose -5*u + 6*h + 35 = h, u + 13 = -3*h. Is f(u) a composite number?
True
Let o be -1 + 0 - -2 - 0. Let c = o + -1. Suppose 3*v - 68 = -3*i + 301, -2*v + 5*i + 274 = c. Is v prime?
True
Is 10/4*94/1 composite?
True
Suppose -22*q = -18*q - 2524. Is q a composite number?
False
Let b(t) = t + 24. Let k be b(0). Suppose -k = -4*s - g, 3*s - 24 = -g - 5. Suppose 0 = -5*x - i + 349, 3*x - 49 = 2*x + s*i. Is x a composite number?
True
Suppose 2946 = 5*g + 3*u, -2*g + 4*g - 1170 = -4*u. Is g prime?
False
Let z(b) = b**3 - 2*b**2 - 2*b - 1. Let r be z(3). Suppose r*g - 58 = -4*k, 4*g - 76 = -4*k - 24. Suppose -4*p = -12, -f = 2*p - 0 - k. Is f a prime number?
False
Let n = -643 - -1112. Is n a composite number?
True
Suppose 0 = 2*w - 0 + 14. Let u(b) = b**3 + 7*b**2 + b + 9. Let h be u(w). Suppose h*n = -0*n + 106. Is n prime?
True
Is 27/(-18)*2324/(-6) a prime number?
False
Suppose 2*d + 3 = 13. Suppose -d*a + 12 = -13. Suppose 4*v = -a + 17. Is v a prime number?
True
Suppose 5*n = 131 - 6. Is n a prime number?
False
Let b be (-9 - -8) + 2058/2. Suppose 3*y - b = -y. Is y composite?
False
Let i = 4627 + -6598. Is (-4)/10 + i/(-15) composite?
False
Let n(o) = 2*o**2. Let h be n(-1). Is (h/3)/((-6)/(-477)) composite?
False
Let x(o) = -88*o + 7. Is x(-7) a prime number?
False
Suppose 6*q = 3*q - 2*r + 8, 0 = -5*q - 4*r + 12. Suppose -4*n - q = -3*n, 0 = -4*j + 4*n + 660. Is j a composite number?
True
Suppose k - 3*u + 1824 = 4*k, 3054 = 5*k - 2*u. Let w = 867 - k. Is w composite?
False
Suppose -5*w - 15 = 0, -2*w - 5 = -2*b - w. Let z = b - -2. Suppose -c + 56 = -z*f, 0*c = c - 4*f - 57. Is c a composite number?
False
Let q be (1/2)/(1/(-44)). Suppose 111 = j - 4*j. Let r = q - j. Is r a composite number?
True
Suppose -q + 1 = -1. Suppose 11 = l + 4*r, -3*l + 21 = -q*l + 2*r. Is l a composite number?
False
Let f = -4 + 5. Is f/3*(-57)/(-1) a composite number?
False
Suppose 4*m - 4 = 3*z + 4, m - 25 = -5*z. Suppose -4*y + 2 = 5*o, -6*o = -y - m*o + 5. Suppose -y*j = 2*n - n - 31, n = j + 31. Is n composite?
False
Suppose -2*l + 118 = -732. Suppose 0 = -7*j + 2*j + l. Is j prime?
False
Suppose 4*g - 640 = 844. Is g a prime number?
False
Let p(m) be the third derivative of 4/3*m**3 - m**2 + 0 - 1/60*m**5 - 1/3*m**4 + 0*m. Is p(-7) a composite number?
True
Suppose 0 = -9*g + 8 + 127. Is g composite?
True
Suppose -3*u + 4*c + 1510 = -253, -3*u + 2*c = -1771. Is u prime?
True
Is (388/6)/((-14)/(-21)) a prime number?
True
Let d(f) = f**2 - 12*f + 16. Let v be d(11). Suppose -3*z - 2*a = -289, -3*a = -v*z - a + 471. Is z a composite number?
True
Let o(p) = -p + 35. Is o(0) a prime number?
False
Let m = -763 + 1329. Suppose -5*x + 249 + m = 0. Is x composite?
False
Suppose -c + 58 = -21. Suppose -4 = -d + c. Is d prime?
True
Let z(f) = -f**2 - 12*f + 6. Let l be z(-12). Suppose 0 = 3*a, -l*r = -r - 3*a - 35. Is r a prime number?
True
Suppose -2*o + 2*w = -6*o - 88, 0 = -3*w + 12. Let x = o + 151. Is x prime?
True
Is (-1 + 795)*((-4)/(-8) + 2) a prime number?
False
Suppose 3 - 13 = -3*g