t x = 165 + 156. Suppose -523 = -4*r + x. Is r prime?
True
Let r = -362 - -525. Is r a composite number?
False
Suppose -3*z = 3*w - 141, 0 = w + w + 4*z - 98. Suppose y = c + w, -4*c + 78 = y + y. Is y a composite number?
False
Suppose 3*t - 4*v + 2*v - 208 = 0, 0 = 2*v + 10. Let o = t + -29. Is o composite?
False
Let b(u) = -u**2 - 4*u + 12. Let j be b(8). Let w = j + 223. Is w a composite number?
False
Suppose 7 = y - 1. Is ((-46)/y)/(3/(-24)) composite?
True
Suppose -5*f - 4*m = -405, -13 = 4*m - 33. Is f composite?
True
Let i(g) = 22*g**2 - 3. Let c(z) be the third derivative of -23*z**5/60 + 2*z**3/3 - 3*z**2. Let p(d) = 3*c(d) + 4*i(d). Is p(-1) a composite number?
False
Let k = 16 - -6. Is k a composite number?
True
Let o = 2356 + -1589. Is o prime?
False
Suppose -4*x + 29 = 9, 2*h + x = 291. Is h composite?
True
Let f(j) = -j**2 - 8*j - 11. Let d be f(-8). Let c(m) = -13*m + 6. Is c(d) composite?
False
Let s = 4 + -1. Suppose s*h - 2425 = -2*h. Suppose -3*t + h = 2*t. Is t prime?
True
Let n(z) = 7*z + 5. Suppose -m - 2*m = -v - 15, -3*m = -5*v - 27. Suppose 2*a - u = -3*u + 2, -2*u + 14 = m*a. Is n(a) prime?
True
Suppose t - 8 = -5*h, 3*t - 2 = -3*h + 10. Suppose -5*w + 243 = 4*b, -w - 124 = -2*b - t*w. Is b composite?
False
Let f = 636 - 169. Suppose -4*s - 4*o = -1432, -4*o + 1318 = 5*s - f. Is s composite?
False
Let b(t) = -t**2 - 23*t - 9. Let l be b(-10). Suppose 107 + l = 4*a. Suppose 5*n = -4*h + 101, -15 + a = 3*h - 3*n. Is h a composite number?
False
Is ((-12271)/4)/((1 + 3)/(-16)) prime?
False
Let v = -24 + -53. Let w = v - -144. Is w prime?
True
Suppose 0 = -d + 4*d - 12. Suppose x + 15 = d*x. Suppose s = -i + 4*i - 92, 2*s - 157 = -x*i. Is i prime?
True
Suppose -2*i - 22 = -634. Suppose -5*n = -2*u - 783, 0*u - u + i = 2*n. Is n a composite number?
True
Let h(t) = 2*t**3 + 3*t**2 - 4*t + 2. Is h(2) a composite number?
True
Suppose 3*d = d + 12. Suppose -7 = -d*b + 5*b. Is b prime?
True
Suppose 3*f - 51 = -4*i, i = 2*f + f - 36. Let c = 22 - f. Is c a prime number?
False
Suppose 2*p = 3*p - 111. Is p composite?
True
Suppose 0*l - 664 = -4*l. Let y = l + -113. Is y a prime number?
True
Let g be 4/((-490)/(-162) - 3). Suppose 0 = w - 2*w + g. Suppose 0 = 4*d - 622 + w. Is d a prime number?
False
Let h(a) = -16*a**3 - a**2 + 4*a + 3. Is h(-2) composite?
True
Let n(o) = -18*o + 2. Let v be n(-3). Suppose -3*p - 25 + 22 = 0. Let r = v + p. Is r a prime number?
False
Let k = -250 - -483. Is k a composite number?
False
Let u be (-22)/(-8) + 3/(-4). Suppose -u*q + 6*q - 36 = 0. Suppose -d + 1 + q = 0. Is d prime?
False
Suppose m = 98 + 263. Is m composite?
True
Suppose 5*g - 2*g = -3. Is ((-7)/(-4))/(g/(-68)) a composite number?
True
Let o(m) = -m - 7. Let u be o(-9). Suppose 7*j = u*j + 20, -5*c = -3*j - 38. Is c prime?
False
Suppose 777 = -37*j + 40*j. Is j a composite number?
True
Let p = -6 - -8. Let x = p - -9. Is x a prime number?
True
Suppose 3*f = 3*y + 2883, 0*y = 3*f - y - 2883. Suppose -2*c - 3*r - f = -3*c, -r = 2*c - 1936. Is c a prime number?
True
Suppose -3*w + w + 3*c + 30 = 0, -5*w - 3*c + 54 = 0. Suppose 3*t - w - 6 = 0. Is t composite?
True
Suppose 260 = 4*c + c. Suppose 4*d - 7*j = -3*j + c, 4*d + 4*j - 44 = 0. Suppose 0 = -3*g + 3*f + d, -3 = -g + 2*f + 3. Is g a composite number?
False
Let g(p) = -p**3 + 5*p**2 + 16*p + 9. Is g(-13) prime?
True
Let l(v) = -3*v + 2. Let d(g) = -7*g + 3. Suppose -3*z - 21 = -2*k - 7, 4*k + 4*z = 28. Let q(h) = k*l(h) - 4*d(h). Is q(3) a composite number?
False
Suppose 0 = h + 5*t - 21, h - 3*t + 5 = 2. Is h composite?
True
Suppose -4*w = -4*x - 1904, 2*x + 1334 = 3*w - 97. Is w a prime number?
True
Let y = -3 - -65. Let j(i) = -2*i**3 + 2*i**2 - 2*i - 1. Let q be j(2). Let d = y + q. Is d a composite number?
True
Let v = 3 - 3. Suppose -2*q - 2 = g, 4*g + 10 - 2 = -3*q. Is v - 2/g - -24 prime?
False
Let m(v) = v**2 + 6*v + 3. Let q be m(-6). Suppose -p = -q*p + 66. Is p a prime number?
False
Suppose -5*p - 4*m = -p - 28, -2*p = -m + 1. Is 0 + 89 + p - -3 composite?
True
Is (-7956)/54*3/(-2) a prime number?
False
Let p be 1/(-4) + (-21)/(-4). Let k = -7 + 13. Suppose -5*v - p*h = -100, v - k*v + h + 112 = 0. Is v composite?
True
Suppose 12*o - 24029 = -3161. Is o a composite number?
True
Suppose 4*t - 15 = t. Let j(m) = m + 6. Let p be j(-4). Suppose q = 2*w + 10 + 12, -p*q = t*w - 44. Is q composite?
True
Let g = 366 - 143. Is g prime?
True
Suppose d + 5*k - 1 + 2 = 0, 5 = -5*k. Let q = 4 - d. Suppose q + 11 = b. Is b composite?
False
Let x = 595 + -900. Let p = x - -1782. Is p composite?
True
Let i be 74/14 + (-2)/7. Let a(n) be the third derivative of n**5/30 - 7*n**4/24 - n**3/6 + 8*n**2. Is a(i) a prime number?
False
Let z(i) = -i + 9. Let l be z(4). Let y = -33 + l. Let f = y + 93. Is f composite?
True
Suppose 61 = -h + 2678. Is h composite?
False
Is 1576/10 + 12/(-20) a composite number?
False
Let m(v) = -6*v - 8. Let g be m(-6). Suppose -2*q + 11*p - 6*p - 6 = 0, 4 = p. Suppose -3*l = 4*w - 14 - q, g = 2*l - 2*w. Is l a composite number?
False
Let m(n) = -n**3 + 7*n**2 - 6*n. Let x be m(6). Suppose x = l - 1 - 3. Suppose -27 = -2*u + l*k + 7, 4*u - 38 = -2*k. Is u a prime number?
True
Let k(m) = m + 87. Let d(w) = w - 1. Suppose 2*j = 7*j + 10. Let r(c) = j*d(c) + k(c). Is r(0) prime?
True
Suppose 0*p = 4*p - 8. Suppose 3*x = p*x + i + 6, -x + 3*i = 0. Suppose x = 3*j, 51 = 2*d - j - 44. Is d a prime number?
False
Suppose 4*i - 685 + 1677 = 4*b, 2*i = 6. Is b a prime number?
True
Let w be (6 + -2)/(1*2). Suppose 7*q - i - 4 = w*q, -4*q + 20 = -5*i. Let z = 7 + q. Is z a prime number?
True
Suppose -5*a + 46 = 1. Let m(k) = k**2 - 10*k + 10. Let j be m(a). Is ((-110)/(-8))/(j/4) prime?
False
Let c(j) = -2*j - 7. Let x be c(-5). Suppose x*n + 10 - 508 = 0. Is n/18 - (-2)/(-9) prime?
False
Let w(q) = 2*q**3 - 4*q - 1. Let i be w(3). Let o = 60 - i. Is o a composite number?
False
Is (-1715)/(-3) - 32/(-24) prime?
False
Suppose 2*s - 5*s + 777 = 0. Is s a prime number?
False
Suppose 4*b - 1012 = 3*l, 6*l = l. Is b a composite number?
True
Suppose -799 + 299 = -4*j. Let x = j + -52. Suppose -32 - x = -5*v. Is v a prime number?
False
Suppose -4*t - 1 = -9. Suppose -t*f + 6*f = 844. Is f prime?
True
Let r(d) = -4*d**2 - 4*d + 1. Let t(n) = 3*n**2 + 3*n - 2. Let z(a) = -5*r(a) - 6*t(a). Is z(-10) prime?
False
Let o = -209 + 350. Is o a prime number?
False
Suppose -3*w = -5*f + 6*f + 6, 3*w = f. Let a = 8 + w. Suppose 4*h = -a + 47. Is h prime?
False
Let c(u) = -56*u**3 + 2*u**2 - 7. Is c(-3) a composite number?
False
Let v = 2 + 2. Let t = v - 2. Suppose t*q + 48 = -2*f + 158, 0 = q - f - 51. Is q prime?
True
Let z = 340 - 213. Is z a prime number?
True
Suppose 2*x = 7*x. Suppose x = -t - 4 - 4. Let g = 18 - t. Is g composite?
True
Suppose 0 = x + 4*x - 75. Suppose -x = 5*p, 0 = -4*o + 5*o - 3*p - 12. Is 79/(o/(6/2)) a prime number?
True
Let m = 3 - -1. Is m/6*(-582)/(-4) a prime number?
True
Suppose -5*x + 110 = -5*h, -4*x + 2*h = -0*h - 92. Is (-707)/(-3) - 16/x a composite number?
True
Let m = -9 + 6. Let k be 2 - (-1 + 0 - m). Suppose k*w = -w - 3*v + 40, w - 65 = 2*v. Is w prime?
False
Suppose 3*v + 20 - 8 = 0. Is (v + 3)/(2/(-46)) a prime number?
True
Suppose 3*n = -0*n - 5*i - 14, -i - 14 = -5*n. Suppose -10 = -3*t - 0*t + v, 3*t = -n*v + 16. Suppose -t*h + 7*h - 102 = 0. Is h prime?
False
Is 10846/26 + 10/(-65) a prime number?
False
Suppose 4*i - 589 = 219. Is i prime?
False
Let a = 3 + 0. Suppose d = a*o - 113, -5*d - 8 - 2 = 0. Is o prime?
True
Suppose 4*p - 5*h = 11123, -5*p = -2*h + 4*h - 13945. Is p composite?
True
Let x be 4/6*30/4. Suppose x*c - y - 360 = 576, -2*y - 750 = -4*c. Is c a prime number?
False
Let b = 6 + -6. Suppose b*z + 18 = 3*z. Suppose z*v - 388 = 2*v. Is v prime?
True
Let q(a) = 3*a**2 + 11*a + 4. Let n be q(-11). Suppose n + 41 = f. Is f a composite number?
True
Let t = -16 + 25. Suppose 3 = -3*m + 15. Suppose 0 = -m*l + 47 + t. Is l a composite number?
True
Let g = 37 - 21. Is (148/g)/((-2)/(-8)) prime?
True
Let o = 20 - -41. Suppose 4*z = p + o, 4*p - 41 = -5*z + 2*z. Is z prime?
False
Let o(z) = 12*z + 19. Is o(5) prime?
True
Let d(t) = 17*t + 10. Let s be d(-8). Let p = s - -245. Is p a composite number?
True
Let i be (-3322)/(-14) - 4/14. 