t h(j) = -j**3 - 13*j**2 + 7*j - 16. Is h(m) a composite number?
True
Suppose -2*x - 2*x = -788. Suppose 0 = 3*l + 70 + x. Let w = -10 - l. Is w a composite number?
False
Suppose 4*f - 7*f + 9 = 0. Suppose -2*d + 129 = -8*n + f*n, n - 82 = -d. Is d a composite number?
True
Let y(o) = 2*o**2 - 2*o - 2. Let i be y(3). Suppose -i = 4*l - 374. Is l a composite number?
True
Suppose -11*u = -8*u - 1467. Is u a composite number?
True
Let l = 3 + 2. Suppose -l*x + 57 = -18. Is x a composite number?
True
Let m be 2/(-4)*0/10. Suppose -4*b - 44 + 176 = m. Is b a composite number?
True
Let t(f) = -13*f**2 + 17*f**2 - 4*f + 0*f - f**3 + 5 - 2. Let x be t(2). Suppose 0*d = x*d - 249. Is d a prime number?
True
Suppose 10*s = 9*s + 3*m + 136, -5*m = 2*s - 217. Is s a prime number?
False
Suppose -2*o - 4 = 0, 2*o - 4*o - 7982 = -2*l. Is l a prime number?
True
Let u(f) be the third derivative of f**5/60 + f**4/4 - 3*f**3/2 - f**2. Let r be u(-7). Let q = r - -12. Is q a composite number?
True
Let u be (-17)/(-5) + (-6)/(-10). Suppose -4*l = 3*o - 71, u*l - 13 = -4*o + 79. Is o composite?
True
Let j = 5466 + -2633. Is j a prime number?
True
Let w be (-6)/27 - (-974)/9. Let q = w - 310. Let f = 9 - q. Is f a prime number?
True
Let t be 2 + -149 + (1 - -1). Let y = -86 - t. Is y composite?
False
Let s(x) = -9*x**3 + x. Let h be s(-1). Let z(o) = 9*o + 5. Is z(h) a composite number?
True
Let g = 2 - 5. Is 1 + (1 - 3)*g composite?
False
Let j = -93 + 155. Is j composite?
True
Suppose -4*j + 24 + 36 = 0. Suppose 3*o = -0*o + j. Suppose 5*u = -4*n + 89 + 196, -4*u = -o*n + 305. Is n composite?
True
Suppose -l - 2*o - 12 = -4*l, -l + 4 = 5*o. Let w(i) be the first derivative of i**3/3 + i**2 - 5*i + 10. Is w(l) prime?
True
Suppose -g = -0*g + 12. Let p = -7 - g. Suppose 3*u + 4*a = 69, 0 = -u + p*u - 3*a - 67. Is u a composite number?
False
Let u(v) = v**3 - 3*v**2 - 3*v + 13. Is u(10) a prime number?
True
Let t be 3 + 4/(0 + -2). Let v(q) = 22*q**2 - 1. Let u be v(t). Suppose o = 132 - u. Is o a composite number?
True
Let b(o) be the third derivative of -o**5/60 + o**4/2 - 2*o**3 - 6*o**2. Is b(9) a composite number?
True
Let w = 551 + 1500. Is w a composite number?
True
Let i(o) = 13*o + 4. Is i(7) prime?
False
Let s(w) = -w**2 - w - 54. Let f be s(0). Let o = -31 - f. Is o a composite number?
False
Suppose -5*w + 601 + 1054 = 0. Is w a composite number?
False
Let o = -15 + 25. Suppose -4*v = 5*u - 54, 2 + o = 2*v - 5*u. Let f = v + -1. Is f prime?
False
Let j be (-3)/2 + 724/(-8). Is j/(-9) - (-6)/(-27) a composite number?
True
Suppose 4*g - 41 + 2 = -3*u, 0 = 2*u - 10. Let w(f) = 6*f**2 + 4*f - 1. Is w(g) prime?
True
Suppose -147 = -w - 4*z, -5*w + 834 = -4*z + 3. Is w composite?
False
Let k(z) be the first derivative of 2*z**2 + z + 2. Is k(5) prime?
False
Suppose x - 19 - 30 = 3*r, 5*x + 2*r - 177 = 0. Is x composite?
False
Let x(l) be the third derivative of -11*l**7/840 - l**6/180 - l**5/120 + l**4/24 - l**3/3 + 2*l**2. Let a(d) be the first derivative of x(d). Is a(-2) prime?
True
Let c be (41/(-3))/(2/12). Suppose 2*v = t - 95, -4*v - t + 2*t - 185 = 0. Let w = v - c. Is w a prime number?
True
Let z(j) = 10*j + 1. Suppose -4*y = 2 - 14. Is z(y) prime?
True
Let x(a) = -a + 1. Let i be 2*1 - (-1 - -3). Let p be x(i). Is 7/(-2 + p - -2) composite?
False
Let p be 1/((-3)/(-174)*2). Let v = 118 - p. Is v a prime number?
True
Let p(a) = -a**3 + a**2 + 1. Let t(y) = -114*y**3 - y + 3. Let c(d) = p(d) - t(d). Is c(1) a composite number?
False
Suppose 0*n - 25 = -5*n. Suppose -3*i = -4*r + 1911, 5*r - 2237 = -n*i + 108. Is (r/9)/((-4)/(-6)) a composite number?
False
Suppose 2*s + 18*s = 58820. Is s prime?
False
Let q(d) = -d**2 + 8*d - 4. Let w be q(5). Suppose -2*n + 58 = 4*t, 0 = -2*t + 3*t + 4*n - w. Let p = 64 - t. Is p prime?
False
Suppose 3*j + 593 = -25. Let x = j + 349. Is x a prime number?
False
Let d be (4 + -3)*(-1 + 1). Is (d - (-2 + -208)) + 1 a prime number?
True
Let p(r) = r. Let j(m) = 29*m - 3. Let s(f) = j(f) - 4*p(f). Let a(y) = -y**3 - 4*y**2 + 2. Let g be a(-4). Is s(g) composite?
False
Let s = 4161 - 2062. Is s a prime number?
True
Suppose -m + 0*m + 258 = 0. Let g = -147 + m. Is g prime?
False
Let l = 125 - 34. Is l prime?
False
Let d be (1 + 5)/2 - -1. Suppose 3*n - r = -d, 4*n = -3*r + 4 - 31. Let s(k) = 3*k**2 - 4*k - 2. Is s(n) prime?
True
Is 3159/11 - (-8)/(-44) prime?
False
Suppose 0*u - 5*u = 5*r - 480, -u = 2*r - 98. Is u a prime number?
False
Suppose -4*n + 41 = 5*m - 0*n, 0 = -4*m + n + 16. Let v = 9 - m. Suppose -g + 50 = w, 4*w - v*g = 4 + 220. Is w prime?
True
Suppose 6 = 4*p - 2*v, 4*p + 4*v - 21 = 3*v. Let u = 1 + -4. Let j = p - u. Is j prime?
True
Let o = 7 - 4. Suppose 5*m - 150 = o*w, -4*m + 5*w + 107 = -0*m. Is m composite?
True
Let g be (-5 + 3)*(-1273)/(-2). Let n = 1860 + g. Is n a composite number?
False
Suppose 2*h - 4*j + 6 = 2, -h = -3*j + 4. Is -3*h/((-18)/33) prime?
True
Suppose -3*y = 14 + 4. Let b = 31 + y. Is b a composite number?
True
Suppose -4*a - 7631 = -5*p + 4054, -5*p + 11690 = -5*a. Is p a composite number?
False
Let y(h) = -4*h - 6. Let i be y(-6). Suppose 0 = -x - 4*z - 9, -2*z = -2*x - z + i. Is x prime?
True
Let h(t) = -2*t**3 - 2*t**2 + 10*t - 8. Let c be h(6). Let w = -293 - c. Is w a composite number?
True
Let s(k) = 2*k - 3*k + 3*k + 6*k**2 - 1. Is s(3) composite?
False
Suppose 2*x - 3*x + 5 = 0. Suppose -25 = 3*y - 2*h, -x*y - 15 = -0*y + 2*h. Is y*(-3)/6*34 a prime number?
False
Suppose l = -2*l - p + 1241, 0 = -5*l + 2*p + 2061. Is l a prime number?
False
Let l = 1 - -2. Let z be (-394)/l*(-3)/2. Suppose z + 33 = 2*s. Is s prime?
False
Let w(d) = 5*d + 3. Is w(6) a prime number?
False
Is 1*293/(5 + -4) a composite number?
False
Is 9856/20 + 2/10 prime?
False
Suppose 4*u + 4 = 6*u. Suppose -3*a + u*a = n - 308, 2*n - 616 = -5*a. Suppose -3*c + n = c. Is c a composite number?
True
Suppose -4*q + 0*j - j + 1192 = 0, 3*q - 5*j = 894. Is q a prime number?
False
Suppose -4*c + 36 = -t + 11, 3*c = 2*t + 25. Let y(f) = -17*f - 5. Let l be y(t). Is l + (-2 - 2/(-2)) a composite number?
False
Let z = -4 - -6. Suppose -85 = z*f - 779. Is f a prime number?
True
Let z = 157 + -51. Is z prime?
False
Let w(p) = -p - 1. Let i be w(-3). Suppose u + 3*b = 58, -5*u = -b + i*b - 332. Is u prime?
True
Is (-30*53)/(-2) + 2 a prime number?
True
Let s = 510 + -203. Is s a composite number?
False
Let b(m) = -m**3 - 6*m**2 + 7*m + 2. Suppose -6*c + c = -70. Suppose 0*z = -2*z - c. Is b(z) composite?
False
Let r(s) be the second derivative of 25*s**3/6 + s**2 - 3*s. Let k(f) = f + 1. Let b(u) = 5*k(u) - r(u). Is b(-4) prime?
True
Suppose -2*y = -y - 3. Suppose -u + y*u = 0. Suppose u = -7*c + 2*c + 75. Is c composite?
True
Suppose 2*d + 9*d - 1793 = 0. Is d a composite number?
False
Let w(a) = -a - 2. Let v be w(-5). Suppose v*t - 163 = 2*b, -4*t + 101 + 101 = 5*b. Is t a prime number?
True
Let l(t) = 45*t**2 + 7. Is l(-10) prime?
True
Let q = 3 - 3. Let v = q + 2. Is -1 + (57*v)/3 prime?
True
Let n = 25 + -20. Suppose u - 270 = -5*g + g, 0 = -5*g - n*u + 345. Is g a composite number?
False
Suppose 4*z - 4*c = z + 13815, -2*z + 2*c + 9212 = 0. Is z composite?
True
Let v(i) = 3*i - 5. Let f be v(5). Suppose w = -w + f. Suppose 5*t = 2*j + 645, -115 - 114 = -2*t - w*j. Is t a prime number?
True
Suppose -4*d - 3*n - 1 + 2 = 0, -2*d = 2*n. Suppose -4*o + 17 = -z + 4*z, o = -d. Is z a prime number?
True
Suppose 4*w + 2 = 2*t + 4, -3*t + 5*w - 1 = 0. Suppose 0 = -5*j + 4*h + 10, -3*h - 1 - 1 = -j. Suppose t*b = l - 20, 5*b - 28 = -j*l + 34. Is l a prime number?
False
Suppose 0 = -d + 4*d. Is 103 + (1 + d - 1) composite?
False
Let v = 20 - 14. Let j = -3 + v. Suppose 0 = j*k - 18. Is k composite?
True
Let k(t) = -52*t**3 + 3*t**2 + 6*t + 3. Is k(-2) a composite number?
False
Let v = -263 - -700. Is v a prime number?
False
Suppose 4*f + 396 = -4*c, -5*c + 105 = -f - 0*f. Let n = 31 - f. Is n a composite number?
False
Suppose -2*m - g = -3*m, -5*m + 4*g = 0. Suppose m*o - 572 = -4*o. Is o a composite number?
True
Let u(d) = d**3 + d**2 - 15. Let z be u(0). Let o be z/(-2)*12/(-15). Let i(g) = g**2 - 3*g - 7. Is i(o) a composite number?
False
Let m = -135 + 472. Is m prime?
True
Suppose -2*t - 2 = 3*x, t + 4 - 3 = -5*x. Suppo