f = -2*f - 2*v - 119, f = -v + 131. Is f composite?
False
Let d(i) = 44*i**2 - 4*i - 59. Is d(-8) prime?
True
Suppose -3*i + 916 = -71. Is i + (1 - 4/4) a prime number?
False
Suppose 3*t + 3343 = 3*f + t, -t = -3*f + 3344. Is f a prime number?
False
Let m = 629 + -282. Is m a prime number?
True
Suppose 0*z - 2*z + 126 = 0. Suppose d + 2*d = z. Is d composite?
True
Let r(x) = -4*x**2 + 79 + 6*x**2 - 3*x**2. Is r(0) prime?
True
Let g(j) = -j**3 - 14*j**2 - 6*j + 9. Let f be g(-14). Suppose -v = 2*v - f. Is v composite?
False
Suppose -4*b - j = -6*j - 28, -j - 14 = -5*b. Suppose -a = -3*a - 4*k + 42, b*a - 39 = -k. Is a composite?
False
Let r be (-30)/(-7) + (-4)/14. Suppose 5*x = 2*v - 6, 3*x + 0*x - 12 = -r*v. Suppose v*l - 2*i - 359 = 0, -159 = 5*l - 5*i - 759. Is l composite?
True
Suppose l = 4*l - 759. Is l composite?
True
Let o(v) = -9*v**2 + 5*v + 11. Let a(t) be the first derivative of t**3 - t**2 - 4*t - 1. Let l(m) = -8*a(m) - 3*o(m). Is l(-3) a composite number?
False
Suppose -5*g + s = -5, 4*s - 2 - 1 = -3*g. Is -4 + 1 + 94*g a composite number?
True
Let k be (-2)/11 + (-5944)/(-22). Suppose 4*z = -3*w + 100 + k, -4*w + 463 = 5*z. Is z composite?
True
Let x = -6 - -3. Let k = 5 + x. Suppose -3*p + k*p + 35 = 0. Is p a composite number?
True
Suppose w = 104 + 33. Let o = w + -40. Is o a prime number?
True
Let z(h) = 0*h - 4*h + 8 + 5*h + 0*h. Let t be z(-5). Suppose -5*c + 188 = t*j - 68, -5*j + 144 = 3*c. Is c composite?
False
Suppose -8*f - 2*f + 910 = 0. Is f composite?
True
Let j(p) be the third derivative of -7*p**4/24 - p**3/3 - p**2. Suppose -14 = 2*l + 5*o, -3*l + 5*o = 2*l + 35. Is j(l) a composite number?
False
Let j = -213 + 362. Is j a prime number?
True
Suppose 4*n + 1 = 2*w + 5, 11 = n - 3*w. Let k = 1 + n. Suppose 2*v = -k*v + 4. Is v prime?
True
Suppose 2*g - 1326 = 488. Is g a prime number?
True
Let b(z) be the first derivative of 6*z**2 + 7*z - 3. Let f(v) = 5*v. Let y be f(1). Is b(y) a composite number?
False
Suppose -d + 5 = -0*d. Suppose -3*o = o - u - 528, -3*o = -d*u - 413. Let v = o - 66. Is v prime?
False
Let n = 4 - 1. Suppose 132 = n*k + k. Is k prime?
False
Suppose 9*o - 5797 = -2*o. Is o composite?
True
Suppose 22 - 62 = -4*l. Suppose l = -t + 5*f + 84, -127 = -3*t - 4*f. Is t a composite number?
True
Is (-4)/(-14) + (-43196)/(-28) a prime number?
True
Is (1082/(-6))/(2/(-18)) a prime number?
False
Let a be (4/(-2))/(2/(-404)). Suppose 2*p - 37 = 3*t - a, -t - 2*p + 109 = 0. Is t a composite number?
True
Let w(m) = -80*m - 1. Is w(-1) prime?
True
Suppose 6*k - 8*k = -178. Is k prime?
True
Let t(h) = -55*h + 25. Is t(-12) a composite number?
True
Let q = -19 - -41. Let y = q - -15. Is y prime?
True
Let r(k) = 12*k**2 - 7*k + 8. Is r(7) a prime number?
True
Suppose 2*b - 1572 = -9*p + 4*p, p + 2375 = 3*b. Is b prime?
False
Is 2/8 - (-7041)/12 prime?
True
Is ((-886)/(-8))/(10/40) composite?
False
Let a(w) = w**2 - 4*w + 10. Is a(9) composite?
True
Let k(b) = 2089*b - 8. Is k(3) a prime number?
False
Let h = -9 - 1. Let i(u) = 11*u**2 - 9 - 4*u**3 - u**2 - 4*u + 5*u**3. Is i(h) a prime number?
True
Suppose -w = -5*g - 36, g + 48 = 4*w - 115. Let t(p) = -p**3 + 5*p**2 + 4*p + 9. Let v be t(5). Suppose -2*d = -w - v. Is d composite?
True
Let h be (1029 + -1)/(-4)*-1. Suppose 20 = -f + h. Is f a composite number?
True
Let n = -25 - -32. Suppose n*a - 1218 = a. Is a a prime number?
False
Suppose -3*i + 125 + 1486 = 0. Suppose 4*l = -m + 2*l + 109, 0 = 5*m + 2*l - i. Let x = m + -72. Is x a composite number?
True
Let j = 2213 - 1112. Suppose 3*h = 2*h + j. Is h composite?
True
Let v be (-4)/(-1*2/5). Suppose -3*q - 79 + 306 = -2*u, -2*u + v = 0. Is q a composite number?
False
Let l be 4317/(-5) - (-4)/10. Let u = -484 - l. Is u a composite number?
False
Let q(f) = -22*f**3 + 8*f**2 - 3*f - 32. Is q(-5) a composite number?
True
Let v(g) = 907*g**2. Suppose 4*q = -16, -5*z + 2*q - 5*q - 7 = 0. Is v(z) a prime number?
True
Is (-2)/6 - (-4206)/9 a composite number?
False
Suppose 1386 + 357 = 3*g. Is g prime?
False
Let j be 1/((-26)/27 + 1). Suppose 4*q - j = q. Let b(v) = -v**2 + 17*v - 10. Is b(q) a composite number?
True
Let u = 15 + -13. Suppose -4*y - 2*q + 564 = 0, 9 = u*q + 1. Is y a prime number?
True
Let m(h) = -3*h - 2. Let p be 6*-1*4/(-6). Let x be m(p). Is ((-68)/6)/(x/63) a composite number?
True
Let p(o) = -3*o**3 + o**2 - 4*o - 3. Let c = -7 + 5. Let b be p(c). Suppose -2*z + b = z. Is z a prime number?
True
Let g be ((-24)/3)/((-2)/7). Suppose p + g = 74. Is p composite?
True
Suppose p - 383 - 1631 = -3*w, -4*p = -4*w + 2712. Is w a prime number?
True
Let k = 124 + -72. Suppose -2*u - 5*r + 53 = 0, 7*u + 2*r - k = 4*u. Is u a prime number?
False
Suppose 3*k - o = 1342, -3*o + 1344 = 3*k - 6*o. Suppose k = -x + 4*x. Is x composite?
False
Is (-63)/14*68/(-6) a composite number?
True
Suppose g + 26 = 133. Let k = 11 - -61. Let u = g - k. Is u a composite number?
True
Let h = -403 - -608. Is h a composite number?
True
Suppose 0 = i + 11*i - 2436. Is i a composite number?
True
Suppose 4*d - 104 = -20. Is 10/(-35) - (-741)/d composite?
True
Let x(k) = 2*k**2 + 5*k + 3. Let q be x(-3). Let p = -2 + q. Let u = p - -3. Is u prime?
True
Let k = -1 - -2. Is 24/(k + 2) - 1 composite?
False
Let u(f) = -f**3 - 10*f**2 + 11*f + 1. Is u(-12) prime?
True
Let q(u) = -17*u - 13. Suppose 0 = -3*n + 2*n - 5*d + 14, 0 = 4*n - 3*d + 36. Is q(n) prime?
True
Suppose 0 = -3*r - 0*r. Suppose 2*f + 5*k + 5 = r, 2*f - k - 19 = 2*k. Suppose 4*b - 355 = s, 4*b = f*b - 4*s - 85. Is b composite?
False
Let x(f) = f - 9. Let b be x(7). Let z(l) = -41*l - 3. Is z(b) composite?
False
Let n be ((-14)/21)/((-4)/162). Let j = -6 + n. Is j prime?
False
Let m be (3/6)/(1/(-4)). Is 8/(-16) + (-27)/m a prime number?
True
Let w(y) be the first derivative of -51*y**2/2 + 3*y + 3. Let h be w(2). Let d = -20 - h. Is d a prime number?
True
Let q = 702 - 437. Is q a prime number?
False
Let v be 12/(-8) - 5970/(-4). Suppose v = 7*l - 0*l. Is l a prime number?
False
Suppose -3*k - 3*l = -2*l - 571, l = -2*k + 379. Suppose 7*s - 5*s + k = 0. Let o = -59 - s. Is o a prime number?
True
Let c be (2 + 1)*5/3. Suppose 3*p + 4*d - 211 = 0, 4*d + d + 256 = 3*p. Suppose l = -2*s + s + p, -s + c*l + 77 = 0. Is s a prime number?
False
Let k(d) = -d**3 + 4*d**2 - 3*d + 3. Let o be k(3). Is (1/o - 0)*633 prime?
True
Is (-2*1137/(-15))/(2/5) a prime number?
True
Let z = -1 + -1. Suppose 4*r + 2*j - j = -1, 0 = 3*j + 15. Is 16/r + z + 0 prime?
False
Let c(q) = 82*q**2 - 3*q + 5. Let v be c(-4). Suppose 4*x = 4*r - 1328, -5*r + r = -5*x - v. Is r prime?
True
Let w = 813 + 370. Let u be -2 - (-1 - w - 0). Is u/24 + (-2)/8 composite?
True
Suppose -3*l + 531 = l + 5*f, 0 = -2*f - 10. Suppose 5*g - 306 - l = 0. Is g prime?
True
Is 2002/21 + (-1)/3 prime?
False
Let n = -1 - 3. Is ((-23)/4)/(n/112) composite?
True
Let u(t) = -t**3 - 14*t**2 + t - 6. Let r be u(-14). Is r/(-90) + 6062/18 composite?
False
Let q(x) = x**3 + 2*x**2 + x. Let f be q(-1). Suppose -2*t + t = f. Suppose t*o + 188 = 4*o. Is o a composite number?
False
Let j(p) = 19*p**2 - p + 2. Let w be j(-2). Let d = w + -24. Suppose 0 = 4*z - d - 20. Is z a prime number?
True
Let d(v) be the first derivative of 2*v**3 + 9*v**2/2 + 3*v - 2. Let y be d(-6). Let q = -46 + y. Is q a composite number?
True
Suppose 5*t - 3 = 7. Let d be t - 1 - (-1 - 1). Suppose -5*q - 13 = 3*u, 0 = u - 0*q + d*q + 11. Is u prime?
False
Let u = 54 - -149. Suppose 3*p - 248 = -4*n, u = 3*n - 5*p - 12. Is n a prime number?
False
Suppose -n + 3 + 1 = -b, 0 = -4*b - 3*n + 12. Is 34 - (0 - b - 3) a prime number?
True
Let w(y) = 18*y**3 + 2*y**2 - 2*y + 1. Let p be w(1). Let k = p - -18. Is k prime?
True
Is ((-5)/3)/((-1)/15) composite?
True
Let n be (0 + 1)*(-3 - -2). Let z be -99 - 2*n - 2. Let p = 188 + z. Is p a composite number?
False
Let b = 3027 + -306. Is b prime?
False
Is (-232 + -3)/((-3)/3) composite?
True
Let r = 563 - 118. Is r a prime number?
False
Let z be 1/(1*(-1)/(-8)). Let f = z + -6. Suppose 2*c - f*s = 44, -s - 48 = -2*c - 0*s. Is c a composite number?
True
Suppose -2 = -4*r + 3*r. Suppose -2*u = -r*a - 508, 998 = 4*u + 4*a - 2*a. Is u prime?
True
Let m(v) = -v**3 + 5*v**2 - 3*v - 2. Let h be m(4). Suppose -h*j + 164 +