pose 0 = 5*n - 27 - k. Is n composite?
False
Let i be 122/14 - 2/(-7). Suppose i*k - 4*k + f - 195 = 0, -2*k - 5*f = -101. Let a = k - 15. Is a a prime number?
True
Let m = -2 - -4. Suppose -4 - m = -n. Is n a prime number?
False
Let y be (3 - 16) + (0 - 0). Let h be 31 - (-1 - (0 + 0)). Let x = y + h. Is x a composite number?
False
Let f be ((-2)/(-5))/(3/(-390)). Suppose -h + 146 = h. Let l = h + f. Is l a composite number?
True
Let k = 13 + -9. Suppose h = k*c + 21, 5*c - 18 = 4*h - 58. Suppose -h*g = -4*g - 6. Is g composite?
True
Suppose -5 - 14 = -2*h - 5*k, -3*h = 5*k - 21. Suppose 1 = -3*o + 16. Suppose 4*t - o*t = -c + 146, 295 = h*c - t. Is c a prime number?
True
Suppose -f - 20 = -5*i, -2*f = -4*f + 5*i - 25. Suppose 0 = -2*d + 4*r + 18, 5*r = -0*d + 2*d - 15. Let u = d + f. Is u prime?
False
Let u(k) be the first derivative of k**3/3 + k**2/2 - 8*k + 3. Is u(-6) prime?
False
Let l(y) = -2*y. Let g be l(-3). Suppose 5*s = -4*f + g*s - 1011, -3*s = 3. Let v = -138 - f. Is v a composite number?
True
Let m = 694 - 1286. Let q = -405 - m. Is q composite?
True
Let q(f) = -f + 4. Let v be q(5). Let o = 5 + v. Suppose 2*r = o*r - 154. Is r prime?
False
Suppose -5*j = -1 - 14, 2*j = -5*d - 24. Let s(q) = q**2 + 5*q - 4. Let p be s(d). Suppose -p*w + 413 - 123 = 0. Is w a composite number?
True
Let u = 273 - -358. Is u a prime number?
True
Suppose -4*s = -4*b - 2652, -4*s + 3*b + 2624 = 6*b. Is s a prime number?
True
Suppose -10*c + 6*c + 4172 = 0. Is c a composite number?
True
Is (2391/(-9))/(9/(-27)) a composite number?
False
Suppose 93 = b - x, -4*b - x = -3*b - 89. Is b composite?
True
Suppose 2*n - 10 = -0*n. Suppose -3*r = 2*g - 12, -10 = -3*r - n*g + 11. Suppose -f = 5*q - 40 - 14, r*f - 136 = -3*q. Is f a composite number?
True
Suppose -3*m + 3*z - 9 = 0, 0 = -m - 3*z - 13 - 6. Let t be (-2)/7 - (-5)/m. Is -111*(-3)/(-9)*t prime?
True
Suppose -l + 0 = -4. Suppose l*v - 769 = 171. Suppose 4*s = 9*s - v. Is s prime?
True
Suppose 2*q - q = 3*g + 2000, 5*q = -g - 688. Let b be (-6)/(-21) + g/(-14). Let a = 1 + b. Is a composite?
True
Let u(w) = 4*w. Let q be u(-4). Let m = q + -24. Let j = -15 - m. Is j composite?
True
Let h = 49 - -78. Is h prime?
True
Let w(j) = -1 + 1 + 1 + 6*j + 0. Is w(7) prime?
True
Let q(i) = 2*i**2 + 3*i - 3. Let x = -6 + 9. Let r be q(x). Let n = r - 11. Is n a composite number?
False
Let d(z) = -3*z. Let c be 1 + -5 - (1 - 3). Let i be d(c). Suppose b - 6 = 4*y, y = 5*b + i*y - 55. Is b a prime number?
False
Let s(j) = -j**3 - 3*j**2 + j - 2. Let t be s(-6). Let q = 171 - t. Is q prime?
True
Suppose -5*f = -3*y - 1975, -f - y - 397 = -2*f. Let v = f + -198. Is v a composite number?
True
Let h = 231 - 90. Suppose 7*x + 3*v - h = 3*x, -102 = -3*x - 3*v. Is x a composite number?
True
Is (-3*82 + -5)*-5 a prime number?
False
Is ((-10)/(-4))/(4 - 3150/788) prime?
False
Let u = -9 + 74. Suppose -4*v + 5 + 7 = 0. Suppose v*t - u = 2*t. Is t prime?
False
Suppose -c = -0 - 4. Suppose t = -c*l - 0*t + 1336, 993 = 3*l + 3*t. Is l a composite number?
True
Let o = -60 + 87. Is 993/o + (-2)/(-9) a prime number?
True
Suppose -4*j - 68 = 4*c, c + 17 + 32 = -3*j. Let g = 99 + j. Is g a composite number?
False
Is -4 + 2 + 4 - -235 a prime number?
False
Let d = -2 + 4. Suppose t - 161 = -4*i, -107 = -d*i - i + 2*t. Suppose 0*k - i = -k. Is k a composite number?
True
Suppose 5*a - 12 = r, 5*r + 108 = a - 0*a. Let v = r - -37. Is (-672)/(-10) + (-3)/v a composite number?
False
Suppose -18 = 4*r + 10. Let i(h) = h**3 + 7*h**2 - h - 6. Let s be i(r). Is -37*-1*s/1 composite?
False
Let p = 5 + 0. Suppose 0 = -5*m + 3*l + 431, p*l = 2*m - 7*m + 415. Is m prime?
False
Suppose 3 = y, 0 = -c - 4*c - 4*y + 3387. Let l = c - 464. Is l composite?
False
Suppose -3*m = -2*m - 3432. Suppose 2*f - m + 926 = 0. Is f composite?
True
Suppose 3*a = -5*g - a + 23, a = 2. Suppose -453 + 65 = -5*u + g*f, -3*u - 3*f = -228. Is u a prime number?
False
Let f be 1/(-1*(-4)/132). Let q = 46 - f. Is q a composite number?
False
Suppose -h = -2 - 6. Is (h/24)/((-2)/(-2334)) a prime number?
True
Let t = -3 + 8. Is 10/4*2*t a prime number?
False
Let v(f) = -9*f**2 + f + 5*f**2 + 2*f**3 - 2 - 4*f**3. Is v(-5) a composite number?
True
Suppose 3*j - 733 = 4*x, j + 4*x - 1179 = -4*j. Is j prime?
True
Let f(v) = 3*v**3 + v**2 - v - 1. Let p be f(-1). Is (-3)/((-3)/47) - p a composite number?
True
Let t(f) = -72*f + 5. Is t(-16) a composite number?
True
Suppose -3*w = -0*w + 21. Let z = 11 + w. Suppose z*j - 3 = 33. Is j a prime number?
False
Let r(j) = j**2 - 20*j + 65. Is r(20) composite?
True
Suppose -a - 2 = -d, -2*d - 2 + 6 = 0. Suppose -6 = -2*q - a*q. Suppose q*w - 5 = 16. Is w a composite number?
False
Suppose -182 = -3*o + 739. Is o prime?
True
Let d = 40 - 64. Is 3/4 - 1590/d a composite number?
False
Suppose 0 = 8*n - 16*n + 616. Is n a prime number?
False
Let q be -1 + (-1)/((-4)/600). Suppose 6*v = 5*v + q. Is v a prime number?
True
Suppose 3 = 5*v - 2. Let a = 42 + v. Suppose a + 72 = 5*i. Is i prime?
True
Suppose 892 = -2*w + 5762. Is w a composite number?
True
Suppose -u = 5*a - 587, 4*a = u - 3*u + 1174. Is u a composite number?
False
Let r(v) = v + 13. Let s be r(-9). Let t be 19/s + (-4)/(-16). Suppose -246 = -t*m + 124. Is m a composite number?
True
Suppose -1424 = -4*r + 3*l, 2*l - 356 = -r + 3*l. Let g = -2 + 5. Suppose 0 = 4*h - 4, g*q + h + h = r. Is q composite?
True
Let i(d) = -d**3 - 10*d**2 + 19*d - 17. Is i(-12) a composite number?
False
Suppose -2*c + 153 + 25 = 0. Is c prime?
True
Suppose 148 = 2*z - 2*i - 306, 2*z - 442 = -i. Is z composite?
False
Suppose 6 = -17*m + 20*m. Suppose -162 = -2*a - 0*u + m*u, -318 = -4*a + u. Is a a composite number?
False
Let o(s) = 1 - 3*s + 5*s**2 - 4*s**2 - 2 + 0*s**2. Is o(-8) a composite number?
True
Let w = 5533 - 3104. Is w a composite number?
True
Is 4 - (3 + -3) - -49 composite?
False
Suppose a - 5 = -s - 0*a, -4*s = -5*a - 20. Suppose -3*v + s*z - 122 = 0, 4*v - 4*z + 43 = 3*v. Is 2*(v/(-2) - 0) prime?
False
Suppose 3*u - k = 13868, 5*u + 4*k - 35801 + 12716 = 0. Is u a composite number?
False
Let f = -27 + 796. Is f a prime number?
True
Suppose -3*o = 3*v - 705, 3*o - 2 = 1. Let h be -2 - (-1 - -1) - -5. Suppose 3*l = -l + 12, v = h*q - l. Is q a composite number?
False
Suppose 7*j + 3*y = 2*j + 30, 0 = 3*j + y - 18. Suppose j*k - k = 95. Let r = k - 4. Is r a prime number?
False
Suppose 10*a - 3142 = 27468. Is a a prime number?
True
Let u(t) = -9*t + 30. Is u(-7) composite?
True
Let f(v) = 2*v**2 + 10*v + 27. Is f(11) prime?
True
Is -745*(-2 + 3)*-1 a prime number?
False
Let b(a) = 2*a**3 + a**2 + 3*a + 3. Let r be b(-2). Let g = -11 + 5. Is g/r + 56/10 a prime number?
False
Let j(f) = -17*f + 4. Is j(-17) prime?
True
Let n(v) = 111*v**2 + 1. Let b be n(-1). Suppose -3*t + b + 89 = 0. Is t prime?
True
Let g(q) be the third derivative of 0*q - 1/6*q**4 - 3/2*q**3 + 0 - 2*q**2. Is g(-10) a prime number?
True
Let c(j) = j**3 - 6*j**2 + 7*j - 6. Let v be c(5). Suppose -127 = -5*x - v*h + h, 0 = -5*x - 4*h + 126. Is x prime?
False
Suppose 0 = -5*i + 201 + 244. Is i composite?
False
Let j = 291 + -17. Is j a prime number?
False
Suppose -4*j - 1135 = -5*j. Is j a composite number?
True
Suppose 2*x + 0*x = 6. Suppose 4*b = 2*m - 6, -3*m + x = -b - m. Is 21*(15/(-9))/b composite?
True
Suppose -4*o + q - 2*q + 378 = 0, 4*q = 4*o - 368. Is o composite?
True
Is ((-356)/16)/((-2)/136) composite?
True
Let h = 8 + -6. Suppose 6*s = s + 2*z, h*s + 3*z = 0. Suppose -3*g + 4*g - 149 = s. Is g a prime number?
True
Let l = 29 - -384. Let v = -139 + 285. Suppose v = -3*j + l. Is j a prime number?
True
Suppose -4*n + 35 = 5*v, -n - 34 = -3*v - 6*n. Suppose -2*o + 51 = l, -3*l + v*o + 136 + 26 = 0. Is l prime?
True
Let f = 5 + -3. Suppose 4*x = f*x + 38. Is x prime?
True
Suppose 7*o = 2*o + 5. Let p(w) be the third derivative of 2*w**6/15 - w**4/24 - w**2. Is p(o) a prime number?
False
Suppose 5*t - 6556 - 2109 = 0. Is t prime?
True
Let q(y) = y**3 + 4*y**2 - 12*y + 8. Let i(s) = -s**3 - 3*s**2 + 12*s - 8. Let v(g) = -2*i(g) - 3*q(g). Is v(-9) composite?
False
Let t(c) = 3*c**2 - 2. Let u be t(2). Suppose -4*r = -2*r - u. Suppose -r = -j, -3*p + j + 122 = 2*j. Is p a prime number?
False
Let c(d) = 94*d**3 - d**2