 152 = 0. Let s = j - t. Is s a composite number?
True
Let y = -427 - -782. Is y a prime number?
False
Suppose -8 = 2*y, -2*k = -y - 0*y. Let o(c) = -2*c**3 - c**2 - c. Is o(k) composite?
True
Let t = 1758 + -1143. Suppose t = -0*k + 3*k. Is k composite?
True
Let u(n) = -2*n - 12. Let y be u(-8). Let h be y*(-1 + 6/4). Is h/3*141 - 3 a prime number?
False
Let x = 428 + 549. Is x prime?
True
Suppose 0 = -5*u + 3*i + 38048, 4*i + 30440 = 4*u - 0*i. Is u a prime number?
False
Let i(x) = -105*x**3 + x**2. Is i(-1) prime?
False
Is 12/20 - 1084/(-10) composite?
False
Suppose -3*w - 745 = -8*w. Is w prime?
True
Suppose 44*k = 49*k - 15. Let f(i) = -i + 6. Let t be f(4). Suppose t*g + a - 76 = -0*a, 2*a = -k*g + 115. Is g a prime number?
True
Let t be (3/2)/(1/2). Is 1 + (0 + t - -3) a composite number?
False
Let o(t) = 23*t**2 + 10*t**2 + 41*t**2. Is o(1) composite?
True
Let u = 16 - 31. Suppose -124 = p + p. Let y = u - p. Is y composite?
False
Suppose -4*j = -154 + 830. Let d = j - -284. Is d a composite number?
True
Let l(d) = 3*d**2 - d + 3. Suppose 12 = -3*q, 2*x + q + 7 = -3. Is l(x) a composite number?
True
Suppose -958 = -2*s - 5*t, -3*s + 4*t - 263 = -1746. Is s composite?
True
Let h = -4 - -6. Suppose h + 7 = 3*g. Is (-220)/(-3) - (-2)/g a composite number?
True
Is (-2)/(24/(-2)) + (-178722)/(-108) prime?
False
Suppose 0 = -2*w - 3*h + 263, -3*h = -2*w + 2*h + 239. Is w prime?
True
Is 4/16*-14*-614 a composite number?
True
Let k(l) = l**2 + 11*l + 5. Let g be k(-11). Suppose 0 = -z - 3*z + 16. Suppose -z*q + 35 = c, c - q = q + g. Is c a prime number?
False
Let l = -1551 - -3568. Is l prime?
True
Let g be 10/(-4)*(4 - 6). Suppose 4*x + g*w - 232 = -0*w, 5*x - 273 = -2*w. Is x prime?
True
Suppose 2*k - 3*o = 2*o + 206, 0 = 3*k - 3*o - 309. Suppose -3*c + 13 = -59. Let y = k + c. Is y prime?
True
Let u(d) = -d**2 + 7*d. Let t = 5 - -2. Let i be u(t). Suppose i = 5*f + 2*z - 951, 5*z + 551 = 3*f - 32. Is f a composite number?
False
Let r = 33 - -23. Suppose r = 4*q - 56. Suppose 0 = -2*g + 48 + q. Is g a composite number?
True
Let x(i) = 6*i - 11. Let q(c) = -c + 2. Let f(d) = 11*q(d) + 2*x(d). Let a be f(10). Let p = a - -1. Is p a prime number?
True
Suppose -c = 3*c + 16. Let v = 7 + c. Suppose -149 = -v*l + 2*l. Is l a prime number?
True
Suppose 2*d - 1315 = 327. Is d composite?
False
Suppose 3*q + q + 16 = 0, 4*q = -2*v + 730. Is v prime?
True
Suppose 0*j + j - 2819 = 0. Is j prime?
True
Suppose 0 = -3*n - 0*n + 27. Suppose 7*g + 46 = n*g. Is g prime?
True
Let d = 9 + -7. Suppose 104 = 2*h - v, 4*h + 47 - 263 = -d*v. Is h a composite number?
False
Suppose 3*r + 3*k - 33 = 0, -4*r + 5*k + 16 + 10 = 0. Is 1626/8 + r/(-36) a prime number?
False
Suppose r + 2 = -3*y, -y = -3*y + 3*r - 16. Let h be (y/(-4))/(1/4). Suppose h*x = 0, 4*k - 2*k = -2*x + 74. Is k a composite number?
False
Let o(h) = 143*h + 18. Is o(7) composite?
False
Let w = 4 - -9. Let z = 2 - 4. Let a = w + z. Is a composite?
False
Let b be 167/5 - (-4)/(-10). Let c = b + 54. Is c prime?
False
Let p = -333 + 659. Is p a composite number?
True
Let g(c) = 2*c**3 + 7*c**2 + 10*c + 1. Let z(h) = -h**3 - h**2 - h. Let j(l) = -g(l) - 6*z(l). Is j(4) prime?
True
Suppose s + 4*t - 1011 = 0, -2*s - 3969 = -6*s - t. Is s a prime number?
True
Let z(n) = 91*n - 3. Is z(10) composite?
False
Suppose 4*z - 4*b = -2*b + 48, 2*z - 20 = 3*b. Suppose -4*d - p = z, -4*d + 7 = -5*p - 10. Is 1/(405/201 + d) composite?
False
Suppose 6*f + 906 = 2736. Is f a composite number?
True
Let b be (-1 - -125) + 27/9. Let r = b - 74. Is r a prime number?
True
Let o be 32/(-18) - (-2)/(-9). Let a be 35 + -1 + 3 + o. Let v = -14 + a. Is v composite?
True
Let a(f) = f**2 + 7*f + 11. Is a(-13) composite?
False
Let o = -14 - -19. Suppose 0 = s + 2*s + o*t - 1180, 1977 = 5*s - 2*t. Is s prime?
False
Suppose 2*p + 18 = 2*i - 2*p, 8 = -4*p. Suppose -i*q + 187 = -108. Is q a prime number?
True
Let f(t) be the third derivative of t**5/60 - t**4/24 + 121*t**3/6 + 6*t**2. Is f(0) composite?
True
Let r(w) = w**3 + 3*w**2 + 2*w - 4. Let j(i) = -i**3 - 2*i**2 - 2*i + 3. Let u be -8 - 1/((-2)/4). Let a(c) = u*j(c) - 5*r(c). Is a(4) composite?
True
Let s(q) = 9*q**3 - q**2 + 2*q + 1. Is s(6) prime?
False
Let j(q) = -q**3 - 5*q**2 + 4*q - 4. Let p be j(-7). Let l = 156 - p. Suppose 5 + l = 5*f. Is f a composite number?
False
Suppose 4*r + 16 = 0, -4*a - 2*r + r + 2528 = 0. Is a prime?
False
Let h = 5 - 2. Suppose l - h = -5*k, -5*l - k = -0*k - 63. Is l prime?
True
Let m(b) = -10*b - 1. Let p(g) = -22*g + 3. Let x(z) = 11*z - 2. Let j(i) = 4*p(i) + 7*x(i). Let y(o) = -3*j(o) + 4*m(o). Is y(-3) a composite number?
False
Let m(g) = 2*g**3 + g**2 + g + 1. Let f be m(-2). Let c = 18 + f. Suppose 3*o + c*i = -0*o + 114, -i = -3. Is o prime?
False
Suppose -4*l - 241 = -7*l + 4*o, -324 = -4*l + 4*o. Is l composite?
False
Let y = 40 - 24. Let z = -6 + y. Is z composite?
True
Let k be (-76)/(-18) + 2/(-9). Suppose -5*m = k + 11, 0 = 3*b - 2*m - 657. Is b a composite number?
True
Let g = 1192 - 551. Is g prime?
True
Let c = 17 + -24. Let q(j) = -29*j - 2. Is q(c) a prime number?
False
Suppose 61 = o - 6. Is o a composite number?
False
Suppose 6*a - 3*a = 255. Is a a composite number?
True
Suppose 2*c + 4 = 3*c. Suppose 2*d + t = -0*t + 171, 5*t = -c*d + 345. Is d a composite number?
True
Is (2/(-4))/((-5)/9820) a composite number?
True
Let b(r) = 1 - 1 + 3 - 8*r. Is b(-7) composite?
False
Let k = -372 - -1469. Is k composite?
False
Suppose -g + 35 = -4*o, 3*g - o = 3*o + 81. Is g composite?
False
Suppose 3*w = w + 380. Let o = -121 + w. Is o prime?
False
Let t(b) = 326*b - 4. Let v be t(6). Suppose -v = -4*w + 324. Let c = w - 346. Is c composite?
False
Let r(v) = v + 1. Let u be r(2). Suppose u = 2*b - 5. Is b a prime number?
False
Let q(w) = -w**3 + 2*w**2 + 853. Is q(0) composite?
False
Let h be -3*3/(36/(-3056)). Suppose -3*v - v = -h. Is v a composite number?
False
Let i(f) = 2*f**2 - 8*f - 3. Let z be i(7). Let u = -18 + z. Is u a prime number?
False
Let m(p) = 11*p - 8. Let g be m(-8). Suppose -z + 3 = -2*d + 4, -4*z = 3*d - 18. Is 2 - (g - -1) - d prime?
False
Suppose -5*y = 5*w - 5, -14 = 4*y - 8*y - 2*w. Let g be 842/y + (-3)/9. Suppose -3*z + g = -1. Is z prime?
True
Is 4/1 - (-3 + -10552)*1 a composite number?
False
Let d(h) = 5*h**3 + 9*h**2 - 8*h + 5. Let i(t) = -4*t**3 - 8*t**2 + 7*t - 4. Let u = 22 + -16. Let s(q) = u*i(q) + 5*d(q). Is s(3) a prime number?
True
Suppose 4*x + 2*r - 1748 - 2498 = 0, 2 = 2*r. Is x composite?
False
Let h be (-58)/(9/3 - 5). Is h*(-2 - -3)*7 a composite number?
True
Let q = -3 + 8. Suppose q*h = 1 + 284. Is h composite?
True
Suppose -65 = d - 592. Is d a composite number?
True
Let w be (4/(-8))/(2/(-24)). Suppose 2*y = w*y + v - 4, 0 = -4*v + 16. Suppose b = -y*b + 47. Is b composite?
False
Let d be 0 - 2/1*-1. Is (-370)/(-5)*d/4 composite?
False
Let o(n) = n**3 - 5*n**2 + 4*n + 4. Let r be o(4). Suppose 4*u - 21 = -3*i + 261, 4*i + r*u = 380. Suppose -2*k = -i - 60. Is k composite?
False
Let x = 5 + -19. Is (-4)/x + 262/14 composite?
False
Let s(z) = z**3 + 9*z**2 + 5*z - 11. Is s(-8) composite?
False
Let j(k) = k**2 + 139. Is j(0) a composite number?
False
Let m = 126 + -59. Is m a composite number?
False
Let y = 994 + -1417. Let r be y/(-18)*(101 - 1). Suppose -r = 2*g - 7*g - 3*q, -5*g + 3*q + 2320 = 0. Is g prime?
True
Suppose -9*p + 1240 + 6923 = 0. Is p prime?
True
Suppose 14 - 6 = -4*y. Let b(l) = -3*l - 3*l**3 + 4*l**2 + 0*l - 3*l**2 - 3. Is b(y) composite?
False
Let m(h) = -h**3 - 10*h**2 - 9*h. Let x be m(-9). Suppose 2*q + 8 - 66 = -4*v, -5*v + 25 = x. Is q a prime number?
True
Let j be (-4)/1 - (-1 - 7). Suppose -109 = -j*v + 127. Is v prime?
True
Let h(x) = -x + 12. Suppose 0 = -4*w + 8, -3*w + w + 24 = 2*r. Let s be h(r). Suppose 118 = 2*n - 4*m, -5*n = s*m - 62 - 173. Is n prime?
False
Suppose 0 = -5*z + 2*s + 589 + 125, 4*z + 2*s = 582. Suppose 0 = -4*w - z. Let a = -22 - w. Is a composite?
True
Let o = -3 - -7. Let s(f) = -2*f + 2. Let b be s(4). Is b/8 - (-63)/o a prime number?
False
Suppose 0*d + 474 = 2*d. Suppose -t = -5*t + 8. Suppose d = p + t*p. Is p a composite number?
False
Let n be (0 - 1)*-41*-3. Suppose -2*t + 712 = 2*t. Let r = n + t. Is r composite?
True
Sup