 Suppose -3*m + v = m. Suppose -k - m = -4*k. Is k prime?
False
Suppose 3*m - 5*c = 364, -c = 2*c + 15. Is m a composite number?
False
Let l be (-2)/6 + 1514/6. Let d = l - 178. Is d composite?
True
Let p(x) = x**2 + 4*x - 7. Let r be p(-5). Let g be (-2)/(r/120*2). Suppose 4*s = -0*s + g. Is s a prime number?
False
Suppose -4*m + 6 = -14. Let i be (m + -3)*(-3)/2. Is i/(-2)*(-344)/(-12) composite?
False
Suppose 0 = 4*z + p - 3*p - 268, -4*p = 4*z - 268. Is z a prime number?
True
Let m be (-4 + 26/6)*3. Let r(j) = 148*j**3 + 2*j - 1. Is r(m) composite?
False
Let w = 5 + -3. Suppose -4*g + 26 = v + w*v, 5*v = 5*g + 20. Is (-2 - 2)/((-4)/v) composite?
True
Let f = 871 - 1234. Let d = -81 - f. Let g = -91 + d. Is g prime?
True
Suppose p - 55 = 4*x + 16, 2*x = 5*p - 301. Is p a prime number?
True
Suppose 2*l + 4 = 4*l. Let j be 43 + (-3 - (-3 + l)). Let w = j - 27. Is w a composite number?
True
Let f(i) be the third derivative of i**5/10 - i**4/24 - i**3/2 - 4*i**2. Is f(10) composite?
False
Suppose 0*r - r = -3. Suppose 8*n - 795 = r*n. Is n a prime number?
False
Let c be (-20)/15*(-27)/(-2). Let a = c + 107. Is a composite?
False
Let b(i) = -8*i + 6. Let j be b(-5). Let g be (27 + -2 - -1) + 1. Let l = j - g. Is l composite?
False
Let i(u) = 14*u**2 - 9. Is i(-7) composite?
False
Let j(y) = y**3 - 4*y**2 - 14*y + 3. Is j(10) prime?
True
Suppose 0 = k - 4*g - 399, -2*g = -4*k + g + 1531. Is k prime?
True
Let i = 9 - 12. Is (-5958)/(-12) - i/6 prime?
False
Is 632 - (4/(-6))/(24/36) prime?
False
Suppose -u = -6 - 623. Is u composite?
True
Suppose -11*a = 28 - 127. Let i(v) = 3*v**2 - 2*v - 14. Let z(j) = -j**2 + 1. Let t(n) = i(n) + 2*z(n). Is t(a) a composite number?
True
Suppose 2*p - 4*k - 5 = 3*p, -p = -3*k - 23. Suppose p*b + 223 = 12*b. Is b prime?
True
Is (-28)/(-42) + (-16910)/(-6) prime?
True
Let k = 17 + -7. Suppose 2*c = k + 184. Is c composite?
False
Let q be 245/25 - 1/(-5). Let w = 4 + -2. Suppose n = w*n - q. Is n composite?
True
Let o be 1/1*(1 - -38). Suppose -m - 2 = -2*m. Suppose m*z = g - o, 5*z - z - 33 = -g. Is g a composite number?
False
Let g(c) = -38*c - 3. Let w be g(4). Let j = -106 - w. Is j a prime number?
False
Let b(o) = -o**2 - 4*o + 5. Let y be b(-5). Is 142 + (y - 1) + 4 prime?
False
Let g be (-9)/(-12) + 5/4. Suppose 3*t - 36 = g*t. Suppose -t = -2*w + 8. Is w prime?
False
Let i = -53 - -81. Suppose -3*c = -7*c + i. Suppose -255 = -2*l + c. Is l prime?
True
Let r = 63 + 268. Is r composite?
False
Let c = 10 - 6. Suppose -c*l = -m + 85, 2*m - 2*l - 197 = -51. Is m composite?
True
Let y(u) = -u**2 - 13*u - 1. Let b be y(-13). Let c(t) = 118*t**2 - t. Is c(b) composite?
True
Let q = -78 - -133. Is q prime?
False
Let d(v) = v - 3. Let l be d(6). Let z = l + 0. Is z prime?
True
Suppose 7*d = 3*d + 228. Is d prime?
False
Suppose 0*m = -4*m + 12. Is m prime?
True
Suppose 2*h - 1104 = 2*d, -457 = 2*h + 2*d - 1557. Is h composite?
True
Suppose -2 = i, -i - 3*i - 680 = -3*g. Suppose -3*j + 5*f = -g - 717, -319 = -j + 3*f. Is j composite?
False
Let n(i) be the first derivative of 9*i**4/4 + i**2 + 4*i + 4. Is n(3) composite?
True
Suppose -3*u + 3276 = 3*w, -4*w + 0*w + 4*u = -4368. Suppose -5*s + w + 438 = d, -3*s + 911 = 2*d. Is s a prime number?
True
Suppose p = 43 - 14. Let o = 51 - p. Is o a composite number?
True
Let t = 95 + 44. Is t a prime number?
True
Let g be (-4)/(-30) + 129/45. Suppose 5*o - 267 = x, -g*o + 68 = 3*x - 85. Is o composite?
False
Let p = 2531 - 1636. Is p a composite number?
True
Let h = -9 + 13. Suppose h = 3*b - 5*b. Is (b/6)/((-4)/516) composite?
False
Is (-1981)/(-2) - (-3)/6 a prime number?
True
Let j = -440 - -834. Is j composite?
True
Let c(j) = j**3 + 9*j**2 + j - 8. Is c(-7) prime?
True
Suppose 2*b - r + 79 = 0, r - 3*r - 10 = 0. Let x = -82 - b. Let p = -26 - x. Is p prime?
False
Let f = -36 - -249. Let x = -128 + f. Is x prime?
False
Let s = 7 + -4. Suppose -s*u = 5*p - 492, -5*p - u - 207 = -701. Suppose -4*n + p = -n. Is n prime?
False
Suppose 0*j = -j - 4. Let y = 5 + j. Is (0 - -3) + 130/y composite?
True
Let z = 5 - 5. Suppose z = -5*g + 536 - 61. Is g a composite number?
True
Let m = 36 - 96. Suppose 0 = -2*u - 2*u - 156. Let y = u - m. Is y composite?
True
Let z(r) = -46*r - 29. Is z(-7) a composite number?
False
Let h = -22 - -24. Suppose 166 = h*t - 60. Is t composite?
False
Let r = -364 - -2825. Is r a prime number?
False
Suppose m - 328 = -3*m. Let z = m + -47. Is z a prime number?
False
Let t(a) = -2*a**2 - a - 4. Let y be t(4). Let z = 59 + y. Is z prime?
True
Let l be 3628/5 - (-28)/70. Let p = l + 61. Is p a composite number?
False
Let g(k) = -15*k**3 + 3*k**2 + 9*k + 11. Is g(-4) composite?
False
Let g be 0 + 1 + 1 + -20. Is (-554)/(-18) + (-4)/g prime?
True
Let x be 19/3 + 32/(-24). Suppose -402 = -x*s + 883. Is s prime?
True
Suppose 6*k - 188 = 46. Is k composite?
True
Suppose -3*h - 3 = 5*s - 2*h, -12 = 4*h. Suppose -5*q + 5*t + 20 = 0, 2*t + s*t = 2. Suppose -5*i - 4 - 266 = -5*p, q*p - 255 = 2*i. Is p prime?
False
Let g = 16 - -4. Is 752/g - 3/5 a composite number?
False
Let z = 0 - -5. Suppose -15 = -z*m - 0*m, 4*m + 30 = 2*l. Is l a composite number?
True
Suppose -3*l - 2*i + 7539 = 0, 3*l - 5026 = l + 3*i. Is l prime?
False
Let n be -1 + 3 - (1 + -3). Suppose 2*x - 16 = -n*b, 2*b = -5*x - 0*b + 16. Suppose x*f - 4*m = -f + 161, -2*m - 57 = -f. Is f prime?
True
Suppose -2*g - n + 251 = 0, -3*n = -4*g - 2*n + 511. Suppose g = 5*a - 138. Is a a prime number?
True
Let a(w) = 7*w - 5*w + 6*w + w - 7*w**2. Let r(z) = -13*z**2 + 17*z. Let i(h) = 11*a(h) - 6*r(h). Is i(5) a prime number?
False
Is 40/(-6)*261/(-12) prime?
False
Let n(m) = -m**2 - 4*m - 1. Let b be n(-4). Let g(x) = -560*x**2 - x. Let y be g(b). Let k = -324 - y. Is k a prime number?
False
Suppose 0*y + y = 380. Suppose -2*u + n = -y, 0*n - 961 = -5*u - 3*n. Is u a prime number?
True
Suppose 0 = -2*w - 3*k + 4, w + 0*w - 2 = -5*k. Let i be (-663)/w - 1/2. Is (-4)/12 + i/(-6) a composite number?
True
Let g be ((-2)/(-6))/((-3)/(-27)). Is g - (2/(-2) - -1) a prime number?
True
Let v be -2*(6/(-4) + 2). Let b(n) = n**3 + 14*n**2 + 15*n + 2. Let a be b(-13). Let w = v - a. Is w prime?
True
Let s be 2*(-5)/(30/(-9)). Suppose 2*j - 5*j - s*r = -156, 4*j - 2*r = 214. Is j prime?
True
Let c(d) be the second derivative of 16*d**3/3 + 9*d**2/2 + 7*d. Is c(6) prime?
False
Suppose -5*q - 3*n + 17 = 0, 2*n - n = -q + 3. Suppose q*x = 2*f + 90, 0 = 3*x - 2*f + f - 66. Is x prime?
False
Suppose 269 = 3*p - 70. Is p a prime number?
True
Let t be 1256/(-18) + 6/(-27). Let j = -50 - t. Let n = j + 17. Is n prime?
True
Suppose -u + 3*q + q + 199 = 0, -2*q + 205 = u. Is u a composite number?
True
Suppose -4*x + 849 = -4*h - 5*x, -3*h - 2*x - 633 = 0. Let j be (-46)/(-4)*(-56)/(-2). Let g = j + h. Is g composite?
False
Let y be (8/(-10))/(2/10). Suppose 2*b - 102 + 20 = 0. Let k = y + b. Is k prime?
True
Is ((-9)/12 + 4)*4 a composite number?
False
Let o(w) = 174*w**3 + 6*w - 7. Is o(2) prime?
False
Let g be -258 - (-6)/(4 - 7). Let v = g - -465. Is v a prime number?
False
Suppose 4*n + 3*h + 12 = 0, -4*n + 3*h - 5 - 7 = 0. Is 0 + 8 - 1*n a prime number?
True
Let d = -4402 - -14991. Is d composite?
False
Let y be 1 - 2 - 214/(-2). Suppose 2*j - y = -0*j. Is j*(1 + -1 + 1) prime?
True
Suppose 0 = q - p + 4, -14 = -3*p - 2. Suppose q = 3*b + 4 - 10. Suppose l - b - 23 = 0. Is l a prime number?
False
Suppose -3*d + 3*p + 2*p = -1189, 8 = -4*p. Suppose 0 = 5*a + v - d, -2*a = -5*a + 3*v + 243. Is a a composite number?
False
Let n(k) = 8*k - 3. Let p(m) = -16*m + 6. Let b(t) = 5*n(t) + 3*p(t). Is b(-7) composite?
False
Let k(o) = o**3 - 16*o**2 + 22*o - 10. Is k(15) a prime number?
False
Suppose 0 = -5*v + 5*c + 26 - 76, 3*c = 4*v + 36. Let u be ((-7)/4)/(v/(-24)). Let o = 42 - u. Is o composite?
True
Let z(v) = -v**2 + 6*v - 2. Let g be 12/10*(-3 + -2). Let j(t) = t**2 + 6*t + 4. Let o be j(g). Is z(o) composite?
True
Suppose -3 = j - 5. Let p be (-2)/3 + 20/(-15). Is p*1 - (-48)/j a prime number?
False
Let r = 2 - -3. Let u be ((-2)/6)/(r/(-90)). Suppose 2*w + u = 50. Is w composite?
True
Suppose -140 = -w + 51. Is w prime?
True
Suppose 4*n + 2646 = 5*u - 5053, 20 = 5*n. Is u prime?
True
Let b be -4*2/(-4) + 298. Let d = -206 