-3*m - f + 192, f + 206 + 57 = 4*m. Is m a composite number?
True
Suppose -2*d + 6*d - 508 = 0. Is d prime?
True
Suppose -w + 4*c + 3 + 15 = 0, -2*c = 5*w - 2. Suppose -z = 4*z + 20, -5*z + 158 = w*d. Is d a composite number?
False
Suppose 6*u + 4*r = 4*u + 36, 0 = 2*r - 10. Let d = -1 + u. Suppose -2*x - 185 = -d*x. Is x prime?
True
Let p be (-1)/4 + (-13)/(-4). Suppose w - p*w = -1204. Suppose -4*f + 1170 + w = 0. Is f a composite number?
False
Let f(d) = -d**3 - 8*d**2 - 5*d - 6. Let z be f(-7). Let b be (z/(-6))/(2/3). Suppose 0*h - 16 = -h + b*v, -4*v + 4 = 0. Is h prime?
False
Suppose 5*k - 3725 = -c - 2*c, 0 = 5*k + c - 3725. Is k prime?
False
Suppose -n + 228 + 93 = 0. Suppose 4 = q, 6*s - 5*s - 4*q - n = 0. Is s composite?
False
Suppose 5 = l - 0. Suppose 987 = -l*d + 3772. Is d prime?
True
Let b = 5111 - 2430. Is b a prime number?
False
Let q = -1 + 3. Suppose -6*s + 3*s + 4*u - 16 = 0, -u + 4 = -q*s. Suppose b - 19 = -s*b. Is b a prime number?
True
Let i(p) = 8*p**3 - 5*p**2 + p + 5. Is i(6) a composite number?
False
Suppose 4*s + 9745 = 9*s. Is s a prime number?
True
Let z = 3 - 1. Let s be 3*((-17)/(-3) - z). Suppose -4*g = -3*w + 83, -6 - s = -2*w - 5*g. Is w a composite number?
True
Let n = -6 - -10. Let v(o) = -o**3 + 7*o**2 + 5*o - 3. Is v(n) a composite number?
True
Suppose k - 102 = 149. Is k a composite number?
False
Suppose 4*a + 3*l + 27 = -0*l, -2*a = -5*l - 19. Let j(h) = 1 - 3*h**2 - h**3 - 2*h**3 + h + 1. Is j(a) a prime number?
True
Let y = -90 - -133. Suppose -5*l + 3*n = -790, 4*n = -2*l + y + 273. Is (6/(-4) - -2)*l composite?
False
Suppose 5*l = -0*l + 50. Let y = l - 5. Suppose y*d - 82 = 133. Is d a composite number?
False
Let q be 4 + (-4 - (-5 - -3)). Let d = 1 + q. Suppose -k = d*v - 206, -3*v - 4*k = -312 + 109. Is v a composite number?
True
Let x be (72/(-45))/(2/(-245)). Let s = x - 107. Is s prime?
True
Suppose -5*m - 8 = -2*o, -12 = -o - 2*o + 4*m. Is -28*((-7)/o)/1 a prime number?
False
Suppose -3*a = 0, 650 = -2*k - 3*a - 116. Is (-6)/9 - k/3 a composite number?
False
Suppose 0 = 5*b - 103 + 3393. Let u be 18/(-27) + b/(-6). Is (u/2)/(6/12) prime?
True
Is 10/(-55) + (-3062)/(-22) composite?
False
Let u(h) = h**3 + 7*h**2 - 10*h - 11. Let t be u(-8). Suppose 0 = -2*w + w + t. Suppose 3*r - w*r = -6. Is r prime?
True
Suppose -20 = 5*a - 3*c - c, -4*c = 2*a - 20. Let h(m) = 2*m + 7. Is h(a) a prime number?
True
Suppose 6*c = 3*c + 15. Suppose -2*f = -c*z - 0*z + 165, -3*f = 0. Suppose -x + 2*x - z = 0. Is x a composite number?
True
Suppose -b = -4, -2*l = 5*b - 162 - 194. Suppose -l = 5*o + 92. Let g = o + 87. Is g composite?
True
Let o be (0 + (-20)/6)*-3. Suppose 4*z - o = -z. Is -2 - z/2*-123 composite?
True
Let s = 1292 - 913. Is s a prime number?
True
Is 2742/10 - (-6)/(-30) a prime number?
False
Let m = 19 + 4. Let k = 46 - m. Is k composite?
False
Let f(y) = 6*y + 1. Is f(5) a composite number?
False
Suppose -p + 2*p - 6 = 0. Let c = 8 - p. Is ((-83)/c - -2)*-2 a composite number?
False
Let i(c) = 65*c**3 - 2*c**2 + c. Let u be i(1). Suppose 2*a - u - 6 = 0. Is a a prime number?
False
Suppose 0 = -n - 3*n + 2832. Suppose q - 2*d + d = 352, 2*d = -2*q + n. Is q prime?
True
Let m(j) = -23*j + 4. Let u be m(3). Let o = u - -276. Is o prime?
True
Let u(z) = 119*z**3 + 2*z**2 - z. Let g be u(1). Suppose -2*q - j = 2*q - g, -5*j = -q + 51. Is q prime?
True
Let y be (-12)/(16/(-4)) - 29. Is 0 + (-4 - y/2) prime?
False
Let t(j) = -5*j**2 - 14*j + 18. Let m(k) = -k**2 + 1. Suppose 4*b = 2*b + 3*y - 5, b = -2*y + 1. Let s(h) = b*t(h) + 6*m(h). Is s(9) a composite number?
True
Let z(d) = -d + 58. Let g be 3/(-9) - (-1)/3. Let l be z(g). Let r = 7 + l. Is r prime?
False
Let i(a) = 3*a - 1. Let n be i(2). Suppose 0 = -n*r + 21 - 1. Suppose 3*d = 2*d - k + 38, -187 = -5*d - r*k. Is d prime?
False
Let n be -2*1 + 904 + -3. Let a = n - 352. Is a a prime number?
True
Let x(o) = -o**3 + 3*o**2 - o - 2. Let c be x(2). Suppose -2*b = -4*g - 4, 2*g + c*g - 6 = 3*b. Is (233 - 0) + 0/g a prime number?
True
Is -2 - -2 - 330/(-6) prime?
False
Is (-2)/(-5) + 1841/35 composite?
False
Let t be (-1)/5 - (-32)/10. Suppose 24*q - 27*q + 636 = 0. Suppose d - q = -t*d. Is d a prime number?
True
Let y(b) = -b**3 + 4*b**2 + 2. Let c be y(4). Suppose -c*a = a + 81. Let d = -6 - a. Is d prime?
False
Suppose -r = 3*o - o, 3*r + 3 = -3*o. Let z be r*(-3)/2*1. Suppose -z*g - 9 = -2*b + 4*b, -5*b + g + 20 = 0. Is b a prime number?
True
Suppose 4*k - 3 = 2*m - 1, 5*k - 25 = -2*m. Let t = m + 2. Suppose -2*o - 165 = -t*o. Is o prime?
False
Is 79*3/(-15)*-5 a composite number?
False
Suppose 0*a = a + x, -3*a - 10 = -2*x. Let v = a - -1. Is 16 - v - 4/(-2) a composite number?
False
Suppose -112 = 3*n - 487. Suppose 5*a - 456 = -l + 160, 0 = -a - 2*l + n. Let s = a + -74. Is s composite?
True
Suppose -278 = -o - o + 2*y, -415 = -3*o + 4*y. Is o a prime number?
False
Suppose -t = -0*t, -382 = -2*b - 2*t. Is b prime?
True
Let m be (-1 + -103)*(-6)/8. Suppose 0 = -2*f + g + 52, 0*g - m = -3*f - g. Is f composite?
True
Let f be ((-34)/(-6))/(4/84). Suppose 0 = 3*n + 5*z - 93, 2*z = -4*n - 3*z + f. Suppose y - n = -7. Is y prime?
True
Let o(d) = -d**3 + 12*d**2 - 15*d + 10. Let g be o(12). Let c = 387 + g. Is c composite?
True
Suppose -13 - 3 = -4*v. Is v/(-2) - 1953/(-3) composite?
True
Suppose 0 = 4*n - 0*l - l - 432, 5*n - 540 = -4*l. Let w = n - 53. Is w prime?
False
Let h(r) = -4*r**2 - 4*r**3 + r - 2 - 3*r + 3*r**3. Let o be 2/(2/(-8)*2). Is h(o) a prime number?
False
Let z = -479 - -742. Is z prime?
True
Let a(t) = 4*t - 9. Let u(v) = -3*v + 10. Let i(x) = 7*a(x) + 6*u(x). Is i(7) prime?
True
Let c = 13 + 9. Let q = c - 9. Is q a composite number?
False
Suppose -b - 8 = 4*t, -6*t + 3*t - 5 = b. Let h be (-3 - -10)*b/14. Is 55*h/(2 - 0) a prime number?
False
Suppose -k = -250 - 832. Suppose 270 - k = -4*b. Is b a prime number?
False
Suppose 3*x - 3161 = -4*u - 0*x, -2375 = -3*u + 2*x. Is u a composite number?
True
Let v(l) = -4*l + 2. Let h be v(2). Let r be (1*h/2)/(-1). Suppose -5*y + 250 = -3*w, -4*y + 6*w + 197 = r*w. Is y composite?
False
Let x be (-1)/((-4)/16 - 0). Suppose x*p = p + 111. Is p prime?
True
Let u be (-6)/9 - (-1478)/(-6). Is u*(-1 - -1 - 1) a prime number?
False
Let l(b) = -b**2 - 5*b + 3. Let i be l(-4). Let m = -4 + 7. Suppose i*p + 242 = 3*a + 2*p, m*a - p - 262 = 0. Is a a composite number?
False
Let r(o) = -4*o**2 - 6*o + 6. Let i(d) = -5*d**2 - 6*d + 7. Let m(y) = 3*i(y) - 4*r(y). Let n(k) = -11*k + 3. Let j be n(1). Is m(j) composite?
False
Suppose -5*s = -5*j - 1185, 5*j + 0*j = s - 233. Suppose 154 = 5*o + 889. Let d = s + o. Is d a prime number?
False
Let n = -426 + 808. Is n prime?
False
Is (-2)/(4/(-12018)) - (1 + 1) prime?
True
Let i(j) be the first derivative of j**5/30 - j**4/4 + j**3/3 - 3*j**2/2 + 4. Let z(y) be the second derivative of i(y). Is z(4) prime?
False
Let t = -637 - -1014. Is t prime?
False
Is (-935)/10*-2 - 0 prime?
False
Let y(w) = -36*w + 4. Let n be y(-8). Let p(u) = -87*u + 1. Let r be p(2). Let j = r + n. Is j prime?
False
Let p = 0 - -4. Suppose -f + 2*s + 0*s = 0, -s + 21 = -4*f. Is ((-44)/f)/(p/18) composite?
True
Suppose -s + f - 2 = 0, -s + 4*f - 5 = -0*s. Let l(x) = 2*x**2 + x + 1. Let y be l(s). Suppose 0 = -y*a - 4 - 2, 2*d - 8 = -4*a. Is d prime?
False
Suppose 1840 = 11*p - 2681. Is p prime?
False
Suppose 5*k - j - 2*j = 20, 2*j = -k + 4. Suppose -5*r - 10 = 0, -k*t = -0*r + r - 18. Suppose -5 = -t*f, 2*f - 28 - 39 = -5*b. Is b prime?
True
Suppose -5*o = 20, d + 16 = 2*d - 4*o. Suppose 0 = -2*a - d*a + 70. Is a composite?
True
Let l(q) be the second derivative of 2*q**2 + 1/6*q**4 - 3*q + 0 - 3/2*q**3. Is l(7) a prime number?
False
Suppose 6 = 2*d + 2. Suppose d*a = a + 51. Is a a composite number?
True
Let o = 2 - -1. Suppose 5*f + 2 = 5*d + 7, -o*f - 11 = 4*d. Is 53/((f + -1)/(-2)) a prime number?
True
Suppose 2*r - 4*r = -24. Is 657/12 - (-3)/r a composite number?
True
Let d(l) = -l**3 + 3*l**2 - l - 1. Let u be d(-3). Is 7/(1 - u/58) a prime number?
False
Let k = 1400 + -538. Is k a prime number?
False
Let m(w) be the second derivative of w**5/20 - w**3/6 + w**2 - 2*w. Let o be m(0). Is (19/o)/(1/2) a composite number?
False
Let l = 272 + 515. Is l composite?
False
Sup