Is (-12)/20 - 578/(-5) prime?
False
Let z be (-18)/2 + (4 - 5). Is 5/z - 94/(-4) prime?
True
Suppose 4*c - 6*c = 0. Suppose c = 3*d - 5*f - 32, -5*f = -2*d - 2*d + 36. Suppose -s = -d*b + 26 + 19, -30 = -b + 4*s. Is b prime?
False
Let g(q) = 0*q - 2*q + q + 3*q + 34*q**2 - 1. Is g(1) prime?
False
Let w(o) = 30*o - 8. Let v be w(6). Suppose -4*n = -0*n - v. Suppose 2*m - 25 = n. Is m a prime number?
False
Let g = -2325 + 4784. Is g a prime number?
True
Suppose -2699 = -3*k - 5*u, 537 = k - 2*u - 359. Is k composite?
True
Is (1*(-127)/(-1))/1 prime?
True
Let b = 403 + -79. Suppose l + 4*n = -3*l + b, 322 = 4*l + 3*n. Is l composite?
False
Let q = 1 + 1. Suppose q*x = 3*x - 155. Is x composite?
True
Suppose -3*g + 60 + 15 = 0. Suppose -2*h + g = -5*x, 2 = -h - 3*x - 2. Suppose -h*b + 227 = 4*z, 0*b - 5*b = 5*z - 280. Is z prime?
True
Let z(v) = -2*v - 4. Let u be z(-3). Let l be (u + (-5)/2)*4. Let w(b) = -59*b + 1. Is w(l) composite?
True
Let s(f) = -f**3 - 2*f + 6. Is s(0) a composite number?
True
Suppose -10 = 4*u - 5*u. Suppose k = 5*k + 3*s - u, 2*k - 12 = -5*s. Is 956/6 + k/(-3) a prime number?
False
Suppose 5*m + 4 = -21. Let p be (156/m)/(3/(-15)). Suppose 0 = 3*f + f - p. Is f prime?
False
Suppose 3*q - 3*l = -0*l + 1179, q = -3*l + 377. Is q a prime number?
True
Let q = -1183 - -639. Let y = q + 767. Is y a prime number?
True
Suppose 5*j = -2*t + 698, 7*j - 1406 = -4*t + 2*j. Is (-2)/7 + t/14 a composite number?
True
Is (-200)/(-6) + (-2)/(-3) composite?
True
Let q = 6 + 0. Suppose q = -5*n + 51. Is n composite?
True
Let g = 8 - 8. Let v = g + 6. Is (-34)/v*(-9)/1 a composite number?
True
Suppose 0 = -a - 2*a. Suppose 4*z + 4*k - 332 = a, -4*k + k = 0. Is z prime?
True
Let f(u) = 0 + 7 + 2*u - 1. Let x be f(5). Suppose 0 = -2*g - 4*z + 18 + 4, 4*g + z - x = 0. Is g a prime number?
True
Let x be (-4)/((-1)/(3/6)). Suppose -v + 0*v = -3*y + 14, -x*y - 2*v = -4. Suppose -y*r - r + 175 = 0. Is r prime?
False
Let f(g) = g**3 + 12*g**2 + 9*g - 16. Let c be f(-11). Let i(x) = 3*x**2 - 4*x - 7. Is i(c) prime?
False
Suppose -2*y - 4 = 0, 0*c - 4*c - y = -6. Is c/(-5) + 4088/70 composite?
True
Let w(q) = -84*q**3 - q**2 - q - 1. Suppose j = 3*j + 2. Is w(j) prime?
True
Let z(o) = 2*o**2 - 3*o - 58. Let k(j) = -3*j**2 + 4*j + 59. Let t(q) = -3*k(q) - 4*z(q). Is t(0) a prime number?
False
Let q = 255 - -30. Let p = -108 + q. Suppose 0*n - n - 4*x = -p, -3*x + 656 = 4*n. Is n composite?
True
Let i(z) = -z**2 - 13*z - 17. Let u be i(-12). Is 3/(-5) - 218/u composite?
False
Let j = 4435 + -1626. Is j composite?
True
Suppose 4*o - 5*n - 777 = 1062, 4*n - 1387 = -3*o. Suppose 3*j - 1223 = -o. Is j composite?
True
Let g(b) = -b + 15. Let f be g(7). Let s = 42 - f. Is s a composite number?
True
Suppose -2*l - l + 21 = -3*f, 0 = f + 5. Suppose -l*q + 89 + 337 = 0. Is q composite?
True
Let u = 1 - 8. Let a = u + 7. Suppose 5*v = -2*x - 315 + 1244, a = 4*v + x - 742. Is v prime?
False
Suppose 0 = -5*o + 4 + 1. Is o*(31 - -3 - 3) prime?
True
Let a(v) = v**2 - 7*v - 4. Let m be a(7). Let p(o) = -o**3 - 6*o**2 - 2. Let y be p(m). Let g = y - -69. Is g prime?
False
Let y(c) = -c**2 - 9*c - 3. Let t be y(-8). Suppose 0*w - t*w + 805 = 0. Is w a prime number?
False
Suppose 20 = -4*t, 2*f + 4*t + 8 = -12. Let l = 81 + -51. Suppose -5*k + l = -f*k. Is k prime?
False
Let v(u) be the first derivative of -27*u**2/2 - 2*u - 1. Let a = -2 - 1. Is v(a) composite?
False
Let f be 9/12 - 6/8. Let p(j) = -j**3 - 52. Let i be p(f). Let w = 17 - i. Is w composite?
True
Suppose 4*p = -4*y + 56, 2*y = -6*p + 2*p + 36. Let m(b) = y*b**2 - 9*b + b - b**3 - 3*b - 2 + b. Is m(8) a prime number?
False
Let d(i) = i**2 - 5*i - 2. Let l be d(6). Suppose -8 = -l*p + 4. Suppose 6 + 15 = p*j. Is j prime?
True
Let d be 4*1*(0 - -2). Suppose d = -2*y + o - 5*o, y - 17 = 5*o. Suppose 4*n - 94 = -3*i, -10 = -i + y*n + 8. Is i a prime number?
False
Let q be 12*-3*3/6. Let n be (-155)/9 + (-4)/q. Let r = 52 + n. Is r a prime number?
False
Let v(y) be the second derivative of y**4/6 + y**3/2 - 2*y**2 - 2*y. Suppose -r = 3*r + 20. Is v(r) prime?
True
Let g = 95 + -63. Suppose 5*u = -g + 2. Is ((-8)/u)/((-4)/(-138)) prime?
False
Suppose 0 = -4*o + 5 - 1. Is 0 - -36 - o - 0 a prime number?
False
Suppose 3*p = 4*w - 2173, -2*p + 365 = w - 170. Is w a prime number?
True
Let y = 3 + -5. Let a(w) = 2*w - 12*w + 1 + w. Is a(y) prime?
True
Let j be (-4 - -5) + 2/2. Is (j/(-3))/((-4)/222) a composite number?
False
Suppose 5*f + 2*i - 2516 = 0, f + i + i = 508. Suppose f - 175 = 3*x. Is x composite?
False
Let n(r) = 2*r + 28. Let g be n(-13). Let d = 7 - 4. Is (d + 158)/(-1 + g) prime?
False
Suppose 64 = 2*d + z - 5*z, 0 = 5*z + 25. Suppose 0*w - 308 = -2*w. Suppose -4*l = d - w. Is l composite?
True
Let t(x) = -5*x**3 - 3*x**2 + x - 4. Is t(-5) composite?
False
Let z be ((-2)/3)/(1/3). Let m = 0 - z. Let y(j) = 6*j**2 - 2*j + 3. Is y(m) composite?
False
Let i = 5 + -3. Suppose 3*k - 10 = -i*k. Suppose -k*s + 171 = -0*m + 5*m, -4*s - 43 = -m. Is m a composite number?
True
Suppose 0 = -4*o - 5*s + 47, 0 = 2*o + s + 3*s - 16. Suppose 2*x + o = 172. Is x prime?
False
Suppose -3*z + 284 = y, -4*z - 11*y + 9*y + 382 = 0. Is z a prime number?
False
Suppose 0*s = -s. Suppose 0 = -5*h - s*h + 1060. Suppose 0 = -0*t + 4*t - h. Is t composite?
False
Let j(i) = i**3 + 5*i**2 - 2*i - 5. Let o be j(-5). Suppose -h = -o*m + 34, 6*m - 2*m = -5*h + 4. Is m prime?
False
Let r(y) be the first derivative of y**4/4 + 2*y**3 + 2*y**2 - y + 1. Let u be r(-5). Suppose 2*t - f = u*f + 73, -2*t + 2*f = -76. Is t a composite number?
True
Suppose -10 = 5*g - 40. Is 1232/g - 6/18 a prime number?
False
Is (-3310)/6*(1 + -4) a composite number?
True
Let k = -7048 + 15549. Is k composite?
False
Suppose 3*o - 21 = -24. Let l(j) = -85*j**2 - 4. Let w(g) = 28*g**2 + 1. Let k(h) = 2*l(h) + 7*w(h). Is k(o) a composite number?
True
Let p(v) = 3*v**2 - 19*v + 19. Is p(15) composite?
False
Let q = -126 - -289. Is q prime?
True
Let c(x) = 2*x. Let s be c(1). Suppose -185 = -7*j + s*j. Is j prime?
True
Let n = -4 - -6. Is (39/(-6))/(n/(-4)) prime?
True
Suppose -3*v + 11 + 1 = 0. Let h = -1 + v. Is 51/(0 - (-3)/h) prime?
False
Let i(a) = a**3 - 4*a**2 + 5*a + 12. Is i(5) prime?
False
Let p = 351 + 404. Suppose 5*w + 3*x - 760 = 0, 0*w + 2*x = -5*w + p. Is w a composite number?
False
Let q be (-110)/(-9) + (-4)/18. Suppose 2*j = 0, j = 2*l - 0*j + q. Is (-124)/l*6/4 composite?
False
Suppose -4*b + 3*b = -3*l + 90, -5*l + 150 = 4*b. Suppose 2*j = 40 + l. Is j prime?
False
Suppose 3*w - 9 - 12 = 0. Let b be 2/7 + 19/w. Suppose 0 = 5*h - 4*q - 729, -23 + b = -5*q. Is h a composite number?
False
Is (-975)/(-6) + 2/4 prime?
True
Suppose 2*p = -121 + 503. Is p a composite number?
False
Let n = -37 + 68. Is (2 + 2)*n/4 composite?
False
Let p = -80 - -87. Is p composite?
False
Suppose 90 = 2*v + 4*q, -v + 2*q + 36 = q. Suppose -3*w + 388 = 2*d + v, -3*w + 319 = -4*d. Is w prime?
True
Let d = 1504 + -961. Is d prime?
False
Let r be (-4)/(-14) + 133/49. Suppose 0 = -0*u + r*u - 12, t - 199 = 3*u. Is t a prime number?
True
Suppose 0 = 4*t + 5*o + 180 - 631, 0 = 5*t - 3*o - 536. Is t prime?
True
Let d = 5 + -2. Let g be ((-202)/(-2))/(2/2). Suppose 0 = 2*w + d - g. Is w prime?
False
Let d be (-1)/(-5) - (-78)/(-15). Suppose -2*s = -4*o + 2*o - 22, -3*s + 40 = -4*o. Let g = d - o. Is g a composite number?
False
Is (158/(-3))/(4/(-18)) a composite number?
True
Let h = 116 + -61. Is h a prime number?
False
Suppose -5*z + 65 = 5. Let f(r) = -r**3 + 14*r**2 - 14*r + 13. Is f(z) a composite number?
True
Suppose -k - 2*c + 66 = 0, 5*c = -0 + 10. Is k composite?
True
Let c(n) = -n**3 + 5*n**2 - n + 7. Let k be c(5). Suppose -3*w + 4*h + 4 = 0, 4 = -5*w - 2*h - k*h. Suppose 3*r - 43 + 1 = w. Is r a composite number?
True
Suppose -o = -5*d + 82, 2*o - 4*d - 136 = 4*o. Let u = o - -199. Is u a prime number?
True
Let d(z) = -69*z + 4. Is d(-7) prime?
True
Let v = 5 - 4. Let p = v - -1. Is (-1 + 15/2)*p a composite number?
False
Suppose 5*r + 207 = -3*d, 3*d + 5 = -4*r - 163. Let w = r + 90. Is w prime?
False
Let r = 7 + -5. Suppose r*o + 3955 = 7*o. Is o a composite number?
True
Let u(h) = 6*h - 10. Let r be u(-10). Let m = 218 + -113. Let a = r + m. Is a a composite n