= h*t. Is t composite?
False
Suppose -2392 = -4*g - 4*g. Is g a composite number?
True
Let v be 0*1*1/2. Suppose -2*y - 2*y = v. Suppose 2*z = -0*z + 2*r + 4, y = -2*z - 4*r + 34. Is z prime?
True
Let l be (-6)/27 - 37995/(-27). Suppose 0 = 4*z - 8*z + 28. Suppose 4*m - z*m = -l. Is m a prime number?
False
Suppose -4*m = m - 15. Suppose t - 1 = 0, -40 = m*s - 5*t - 188. Is s a composite number?
True
Let n(p) = 3*p**3 + 27*p**2 - 24*p + 27. Let m(z) = z**3 + 9*z**2 - 8*z + 9. Suppose q = -0*q - 11. Let u(v) = q*m(v) + 4*n(v). Is u(-7) a composite number?
False
Let k(v) = -94*v - 4. Let f(y) = -47*y - 2. Let m(d) = 11*f(d) - 6*k(d). Is m(3) composite?
True
Let m(c) = 14*c**2 + 16*c - 44. Is m(-15) a prime number?
False
Suppose 4*v - 1000 = x, 4*x + 737 = 2*v + v. Suppose 5*o - 696 + v = 0. Is o a prime number?
True
Suppose 0 = -3*n - m - m + 99, 4*n = 2*m + 132. Is n composite?
True
Let q(k) = 492*k - 1. Is q(2) prime?
True
Let h(t) be the third derivative of -t**4/24 + 149*t**3/6 + 4*t**2. Is h(0) a composite number?
False
Let k(c) = 1. Let d(a) = 11*a - 17. Let p(j) = d(j) + 4*k(j). Is p(10) prime?
True
Let q(y) = 1314*y - 17. Is q(2) prime?
False
Let y = 1 - -2. Suppose y*w - 6 = 2*w. Is 114/9*9/w prime?
True
Suppose -548 = -4*p + 88. Is p composite?
True
Is (-1546)/(-6) - ((-25)/(-15) - 1) composite?
False
Let h = 211 + 33. Let o = h - -54. Is o composite?
True
Let o be ((-1636)/8 + -1)*-10. Suppose -2*l - l + o = 0. Is l a prime number?
False
Let p = 3533 - 2406. Let l = p - 714. Is l a prime number?
False
Suppose 76 = 5*r - 3*c, 3*r + 2*c = r + 24. Suppose -2*u = 2*v - 16, 3*u = 2*v - 3*v + r. Suppose 27 + 132 = u*b. Is b a prime number?
True
Let d be (0 - 0) + 4*1. Suppose 2*m = d*m - 74. Is m a prime number?
True
Let s = -6 + 2. Let x(o) = -11*o - 6. Let n be x(s). Let q = n + 15. Is q composite?
False
Let g = 2 + 6. Suppose 7 + g = 5*j - 3*i, j + 9 = 3*i. Is j a composite number?
True
Is (764/(-8))/(1/(-2)) a composite number?
False
Is 407/(-2)*6/(-3) a composite number?
True
Suppose -4*n + 3*n - 5*u - 15 = 0, -u - 19 = -3*n. Suppose -3*j + 8*j - 57 = -2*g, -g - n*j = -36. Is g composite?
True
Suppose -2*w + 5*w - 9 = 0. Let d(p) = 5*p**2 - 3*p. Let m be d(w). Let b = -13 + m. Is b a composite number?
False
Let z(a) = -242*a - 2. Let s be z(-3). Let y = -395 + s. Is y a prime number?
False
Is (3 - 2) + -8 + 765 a prime number?
False
Let c(b) = 2*b - 5. Let t be c(5). Suppose 0*s + 15 = t*s. Suppose s*o = 2*o + 3. Is o composite?
False
Suppose b + 4*g + 45 = -37, -3*b - 270 = 4*g. Let h = -1 - -1. Is b*(h - (-1)/(-2)) a prime number?
True
Suppose -4*f + 10291 = 5*d, -2*d = 2*d + 3*f - 8233. Is d a composite number?
True
Let g(b) = 8*b**3 - 5*b**2 - 4*b + 4. Suppose -4*c = -0*c + 2*r + 24, 0 = 3*c + 5*r + 32. Let o be g(c). Is (o/(-8))/((-3)/(-6)) prime?
False
Let m = 207 + 278. Is m composite?
True
Let t(i) = -10*i - 2. Let l(c) be the first derivative of 9*c**2/2 + 2*c + 2. Let j(r) = -4*l(r) - 3*t(r). Is j(-2) a composite number?
True
Let u be 3/6*4 - 1080. Is (-2)/3 - u/6 composite?
False
Let u = 137 + -61. Suppose -3*a + u = s, 2*s - 71 = -2*a + 85. Is s a prime number?
True
Let o be 130 + 0 - (1 - 1). Is o/4 + (-4)/(-8) a composite number?
True
Let v be ((-1270)/6)/((-1)/(-3)). Let u be 1 + 2 + -1 - v. Suppose -4*f = 20, -5*n = -4*f - u - 18. Is n a composite number?
False
Let k(h) = h**3 - 10*h**2 + 1. Let m be k(10). Is m*6/(-8)*-12 a composite number?
True
Let l(r) be the first derivative of r + 0*r**3 - 11/4*r**4 + r**2 - 1. Is l(-1) a composite number?
True
Let l(c) = c**3 - 7*c**2 + 7*c - 1. Let x be l(6). Suppose 5 = 5*u - x. Let g(m) = m**3 + m**2 - 2*m + 3. Is g(u) composite?
False
Let q(j) = -3*j**3 - 5*j**2 + 3*j + 8. Let y(v) = 4*v**3 + 6*v**2 - 2*v - 9. Let p(r) = 3*q(r) + 2*y(r). Is p(-5) prime?
True
Let n be 785/15 - (-2)/3. Suppose -4*r + n = -83. Is r a composite number?
True
Let t(o) = -9*o - 3*o - 7 - 16*o - 8. Is t(-7) composite?
False
Let j be (-1)/(2/(-66)*-1). Let u = j - -70. Is u composite?
False
Let c = -10 - -15. Suppose -4*x + 9 = c*d - 22, 4*x = -3*d + 25. Suppose -d*u + u + 28 = 0. Is u composite?
True
Suppose -2*o = -129 - 457. Is o composite?
False
Let y be (1/3)/((-3)/9). Is 92 - ((-3)/y + -2) prime?
False
Let f(g) = -9*g**2 - 7 - 3*g**2 + g**3 - 6 + 15*g. Is f(11) a prime number?
True
Let r = -9 + 21. Suppose -y = -4*j + 127, -3*j + 4*y + 67 + r = 0. Is j a prime number?
False
Is (2/2 - 4)*(1 + -8) a prime number?
False
Let u(y) = 2*y**2 + 12*y - 1. Let p be u(-7). Let k(r) = -2*r**2 + 9*r + 13. Let m(s) = 1. Let o(b) = -k(b) - 3*m(b). Is o(p) a prime number?
False
Let t = -4 + 8. Let l = 8 - t. Suppose 0 = l*m + 1 - 17. Is m a prime number?
False
Suppose -8*r = -14629 + 3133. Is r composite?
True
Let n = 56 - -123. Is n prime?
True
Suppose 5*l - 8 = -5*f + 32, 0 = -5*l + 20. Suppose 2*u + 541 - 71 = f*n, -3*n - 4*u = -358. Is n composite?
True
Let d be -1 - (-2 - (-3 + 4)). Suppose -u = d*u, 5*r = -5*u + 130. Is r a prime number?
False
Let l(x) = -x**3 + 7*x**2 + 2*x + 7. Suppose -4*y + 2*f - 6*f + 16 = 0, 4*y - f - 11 = 0. Suppose y*g - g = 14. Is l(g) a composite number?
True
Suppose -3 = 2*a - 9. Suppose -4 = 4*f, 5*f = a*b + f - 115. Is b composite?
False
Suppose -4*y - 5*p + 420 + 206 = 0, 3*y = -2*p + 473. Is y composite?
True
Let r(v) = 17*v + 19. Is r(6) prime?
False
Suppose -4*v - 6*a = -a + 6, 13 = 3*v - 5*a. Is v*85 - (-6)/3 a composite number?
True
Let c be (-2)/3 - 203/(-21). Is (2 + c - -2)*11 a composite number?
True
Suppose 0 = 4*d - 0*f + 3*f - 571, -3*d + 424 = -2*f. Let z = 127 + -59. Let j = d - z. Is j composite?
True
Let o(f) = 6*f - 10. Let v be o(8). Let u = v + -25. Is u prime?
True
Is 2 - 3 - (-535)/5 prime?
False
Suppose 0 = 5*z + 4*y - 99, -2*z + 5*y + 33 = -0*z. Is z composite?
False
Let t = -5 + 4. Let x be (-1 - (t + 2)) + 5. Suppose x*g + 4*m - 237 = 0, 3*g - 224 = -5*m + 10. Is g composite?
False
Let c(u) = -38*u**3 + 2*u**2 + 2*u + 1. Is c(-1) a prime number?
False
Let t(a) = -19*a**3 - 3*a**2 + 1. Let l(s) = -s**2 - s - 1. Let g be l(-2). Is t(g) a composite number?
False
Let k(w) be the third derivative of w**4/12 + 2*w**3/3 - w**2. Suppose -11 = -q + 2*l, -3*q - l = -2 - 10. Is k(q) prime?
False
Let q = 136 + -89. Is q a composite number?
False
Let s be 10/14 - (-2)/7. Let p(d) = 79*d**2 + 4*d + 1. Let y(q) = -79*q**2 - 3*q - 1. Let h(o) = -4*p(o) - 5*y(o). Is h(s) composite?
False
Suppose 4*j = 10 - 2. Suppose -2*y = r + r - 18, j*y - 8 = 0. Suppose 5*a + 98 = 2*m, 20 + 0 = -r*a. Is m prime?
False
Let g(y) = -y**2 + 163. Is g(0) a prime number?
True
Let f = 414 - 193. Let b(x) = 310*x**2 + x - 1. Let a be b(1). Let j = a - f. Is j composite?
False
Let k = 9222 + 839. Is k composite?
False
Is (-1)/(1 + 210/(-207)) prime?
False
Let w = 3 + -1. Suppose -h + 6*h = -2*g + 522, 4*g + w*h = 1076. Suppose 0*f = 5*i + 4*f - g, -3*f = -5*i + 243. Is i a prime number?
False
Let p be -1*(0 + 1)*-5. Suppose 0 = -4*d - 5*k + 169, k - 4*k - 57 = -2*d. Let r = d - p. Is r composite?
False
Let s = 77 - -11. Let r = 345 - s. Is r prime?
True
Let a = 2 - -1. Let y = 26 + -5. Suppose -a*f + 114 - y = 0. Is f a prime number?
True
Suppose 3*p + 6169 = 4*t, -7*p + 2*p = t - 1548. Is t composite?
False
Suppose 0 = -4*g + 2488 + 916. Is g prime?
False
Is (-1 + -4970)*((-1)/(-1))/(-3) prime?
True
Suppose -v - 4*u = -1 + 18, -1 = 3*v + 2*u. Let d(q) = q - 3. Let k be d(v). Suppose n + 3*t = 29, -5*n + 109 = -3*t - k. Is n a prime number?
True
Let o(p) = -2*p - 3. Let y be o(-4). Suppose y*w = 6*t - t - 405, -5*w = 2*t - 176. Is t a prime number?
True
Suppose -4*b = -4064 - 16900. Is b a prime number?
False
Suppose 7*r - 28 = -4*h + 2*r, -26 = -5*h - 4*r. Suppose -3*n + n + 294 = 5*k, -310 = -h*n - k. Is n a prime number?
True
Is 5/((-5)/(-39)) - 2 prime?
True
Let b = 746 - 303. Is b prime?
True
Let v be 6*1*642/(-9). Is (-1)/(v/212 - -2) composite?
False
Suppose 3*q - 178 = -1. Suppose -2*w + q = -f - 10, 5 = 5*f. Is w composite?
True
Is (-3)/6 - 5878/12*-3 a composite number?
True
Let i(t) = -t - 12. Let z be i(-5). Let x(a) = -a**3 - 7*a**2 + 3. Let l be x(z). Suppose -d + 13 = l*d + 3*k, k = d - 12. Is d prime?
True
Suppose 5*m - 10 = 0, 0 = -0*s + s + 4*m - 15. Let b = s + -4. S