10))/((-2)/230) prime?
False
Let z = -156 + 797. Is z a composite number?
False
Suppose -f + 505 - 82 = 2*i, f + 5*i - 411 = 0. Is f prime?
True
Let f = 622 - 431. Is f prime?
True
Let p(a) = a**3 + 3*a**2 - 6*a - 2. Let d be p(-4). Suppose -52 = -2*f + 2*z, -d - 3 = 3*z. Let c = 32 - f. Is c prime?
False
Let f = -3 - -4. Is f + 39 + -2 + -1 a prime number?
True
Let u(d) = -d**3 - 5*d**2 + 2. Let g be u(-5). Let f = 51 + g. Is f a prime number?
True
Let c be -1 + 2 - 1/1. Let t = 3 + c. Suppose 3*j = t*q - 168, -q - 4*j + 41 = -2*j. Is q a prime number?
False
Suppose 2*u = 3*u. Suppose 2*w - 20 = -u. Is 1/2 + 945/w prime?
False
Suppose 3*v - 13 = -2*k, 6 = 2*k + 5*v - 5. Let z = 39 - k. Suppose -z = -2*a + 13. Is a prime?
False
Suppose -196 = -4*n + 800. Is n composite?
True
Let v = 1349 - 592. Is v a composite number?
False
Is 3*(-4)/(-6) + 24 a composite number?
True
Suppose -5*v + 0*v + f = 43, -f - 37 = 5*v. Let m = 11 + v. Suppose 2*n - 76 = -m*c - c, -2*c + 3*n = -54. Is c a composite number?
True
Let b(j) = -13*j + 13. Let i(p) = -27*p + 25. Let v(s) = -5*b(s) + 2*i(s). Is v(6) a prime number?
False
Let g = 13 - 126. Let x = 168 + g. Is x a prime number?
False
Let j = -17 + 26. Suppose 102 + j = 3*q. Is q a composite number?
False
Let o = -1 + 1. Suppose o = -0*h - h + 58. Suppose 4*v - h - 154 = 0. Is v a composite number?
False
Suppose 2*p - 557 - 307 = 0. Suppose -4*x = -2*x + 346. Let g = x + p. Is g a prime number?
False
Let q = 19 - 16. Suppose -q*t + 174 = -57. Is t composite?
True
Let f = 336 - 133. Is f a composite number?
True
Let t(u) = u**3 + 10*u**2 + 4*u - 11. Suppose 29 = -2*s + 11. Let c be t(s). Let x = -21 + c. Is x prime?
True
Is 2488 + (-5)/(15/(-9)) prime?
False
Let u(c) = 43*c**2 + c - 3. Is u(-3) a composite number?
True
Let z(v) be the first derivative of 8*v**3/3 + 3*v**2 - 7*v + 3. Is z(5) prime?
True
Let k(i) = -i**3 - 5 + 2 - 1 + i**2 + 5*i. Is k(-7) prime?
True
Let b be 2/(-2)*(-10 - -1). Suppose m + 2*g + 3 = b, 5*m - 58 = -3*g. Is m a prime number?
False
Let w(m) = -175*m - 4. Let z = 5 - 8. Is w(z) composite?
False
Let y = 5075 - 2104. Is y a prime number?
True
Suppose 3*z + u - 374 = -1, 0 = z + 4*u - 139. Is (-112)/24*z/(-2) composite?
True
Suppose 0 = 52*d - 45*d - 4403. Is d a composite number?
True
Let g(c) = 30*c**2 + c + 1. Let v = 4 - 5. Let d be g(v). Suppose 4*y = 30 + d. Is y a prime number?
False
Suppose 2*j = 5 - 1. Suppose -5*f + 4*w + 19 = j*w, 3*f - 4*w - 3 = 0. Suppose -1030 = -5*x - f*v, 5*v - 10 = 5. Is x prime?
False
Let d(o) = 75*o - 7. Is d(8) a composite number?
False
Suppose -3*g = -3*i + 3, 3*i - 3 = 7*g - 2*g. Suppose i = y - 4. Suppose 13 - 3 = y*n. Is n prime?
True
Let r = -8 + 11. Let x be 10/(-45) - (-2254)/18. Suppose 0 = 5*j + 2*g - 167, -6*j + 5*g = -r*j - x. Is j prime?
False
Let k(j) = j**3 + 12*j**2 - 6*j - 2. Is k(-11) composite?
True
Suppose -5*w = -0*w - 65. Suppose -u - l = -52 + w, 2*u - 4*l - 66 = 0. Is u prime?
True
Suppose d - 3*d + 8 = 0. Suppose -4*g + 1819 = 5*j - 0*g, g + d = 0. Is j a prime number?
True
Let g(a) = a - 1. Let t(h) = 3*h**2 + 9*h - 1. Let x(z) = 5*g(z) + t(z). Is x(-11) composite?
True
Suppose -13*i - 699 = -16*i. Is i composite?
False
Let l(j) = 8 - 10*j + 3*j**2 + j**2 - 3*j**2. Is l(11) a composite number?
False
Let b be (-2)/(-3) - 32/(-6). Is (-4 + 6)*339/b a prime number?
True
Let q = 124 - 38. Suppose -5*k - 4*g + 76 - 23 = 0, 37 = 5*k - 4*g. Let y = q + k. Is y prime?
False
Suppose 616 + 1459 = 5*s. Is s a composite number?
True
Suppose 0 = -9*k + 3*k + 5754. Is k prime?
False
Suppose 2*p = d - 481, -p - 1443 = 3*d - 6*d. Is d prime?
False
Let w(g) = g**2 + g - 1. Let y(o) = -19*o**2 - 11*o + 10. Let n(s) = 6*w(s) + y(s). Let r be n(-5). Is (-1)/3 + r/(-6) composite?
True
Let n = 2334 - 1312. Suppose p - n = -3*p - 3*i, 0 = -3*p + 2*i + 775. Is p a prime number?
True
Let g = -3 + 5. Suppose -g*x - 62 = -4*x + 4*q, -4*x + q + 138 = 0. Is x composite?
True
Let u be (-2 + 3)/((-2)/94). Let r = 112 + u. Suppose 3*i = -n + r, 2 = -n + 2*n. Is i a composite number?
True
Let i be 4/((2 - -1)/3). Suppose -v - i*v = -20, -2*v - 398 = -2*x. Is x a composite number?
True
Suppose 4*r - 5*b - 259 = 0, 5*b - b = -2*r + 136. Let g = r - 35. Is g prime?
True
Let y(u) = -u**2 - 12*u**3 - 1 - u**2 + 13*u**3 - 5*u. Let n be -1*(-2)/(4/10). Is y(n) a prime number?
False
Let f(q) = q**3 + 10*q**2 + 6*q + 5. Let k be f(-9). Let d = 55 - k. Is d composite?
False
Let u(w) = w**2 + 10*w + 1. Let g be u(-9). Is g/(-12)*-6 + 291 a composite number?
True
Let k(h) = 4*h**2 - 2*h + 26. Is k(-8) composite?
True
Let d be (-3227)/(-42) + (-2)/(-12). Suppose 3*k - d - 118 = 0. Is k composite?
True
Let t(n) = -5*n + 3. Let h(y) = y**3 + 7*y**2 - 6*y + 10. Let v be h(-8). Is t(v) composite?
True
Let m be ((-820)/25)/(2/(-10)). Suppose 0 = 2*b - 10 - m. Is (0 - 0) + b + -4 composite?
False
Let i(g) = g + 2. Let o be i(5). Let a(j) = 23*j + 2. Is a(o) prime?
True
Suppose 13*b - 1647 = 4*b. Is b a composite number?
True
Suppose 0 = -2*w - 2*l + 60 + 52, 4*w = -3*l + 223. Let b = w - -124. Is b a prime number?
True
Let y(z) = -z**2 + 18*z. Let x be y(18). Let f(u) = 2*u**2 + u + 34 - 2*u**2 - u**2. Is f(x) a composite number?
True
Let o = -1 - -3. Suppose -4*s + 87 = -i, -112 = -8*s + 4*s - 4*i. Suppose -o*b + 0*b - 5*y + s = 0, -3*y + 10 = b. Is b prime?
True
Suppose 0 = 2*k - 204 - 378. Is k prime?
False
Suppose -4*c = -3*c + 3*r - 18, -8 = -c - r. Suppose 0 = -c*s + 483 + 12. Suppose -2*q + 3*q = 5, -5*q + s = 4*f. Is f a composite number?
True
Suppose -4*y + 9*y = -w + 10631, -w + 4*y + 10667 = 0. Is w a composite number?
False
Suppose 3*g + 4*o - 12 = 8*g, -2*o = -g - 6. Suppose -5*d - x + 15 = -4*x, -d + 3*x + 3 = 0. Suppose d*v - 39 = -g*v. Is v a prime number?
True
Let m = 1599 - 935. Let n be m - 9/(-3) - -2. Suppose -5*k + n = -256. Is k composite?
True
Let b(h) = 2*h**2 + 28*h + 13. Is b(-19) a composite number?
True
Let n be (24/16)/((-1)/(-2)). Let x be (4 - n - -1) + 125. Is x*(-1 + 2/1) a prime number?
True
Let z(o) = o + 7 + 5*o + 0*o. Let j be z(5). Suppose 3*h - 4*h + j = 0. Is h prime?
True
Let n be ((-4)/6)/((-6)/(-9)). Let c be 11/4 - n/4. Suppose -c*k = -0*k - 21. Is k a composite number?
False
Suppose 4*m - 26 = -t, -5*m - 52 = -0*t - 2*t. Is t a prime number?
False
Is 24512/40 - -1*(-1)/(-5) prime?
True
Is 91 - 8/(-2 - -6) prime?
True
Let u(p) = 4*p + 1 - p + 0*p. Is u(4) composite?
False
Suppose -3*g + 5*g - 4 = 0. Let i be 0*(0 - (-1)/g). Is i + 79/(2 - 1) a composite number?
False
Suppose 5*t - 5*m = 2*t + 1819, 0 = -3*m + 12. Is t prime?
True
Suppose -5*v - 1885 = -3*b, -2*v = v + 15. Suppose b = -i - 3*i - 3*r, 0 = -2*i - 3*r - 316. Let o = -73 - i. Is o prime?
True
Let y be 7/3 - (-2)/(-6). Suppose 3*q - 4*q + 1 = -2*l, y*q + l - 17 = 0. Let v = 13 - q. Is v composite?
True
Suppose 4*p - 10 = -j, -5*j - 4*p + 0 = -18. Let n = j - 4. Is (18 - 0 - n) + 2 composite?
True
Let i(p) = 2*p**2 - 3*p + 6. Suppose -x + 2*j = 5*j + 2, 2*j = -5*x + 16. Is i(x) a prime number?
False
Is (3 + 2785 - -1)/1 prime?
True
Suppose -2*c + 0*c = -190. Let y = 150 - c. Is y a prime number?
False
Suppose -7*s = 5*h - 3*s - 20, 5 = -s. Let j(n) = -10 + 17 - h*n - 4*n. Is j(-6) a composite number?
False
Suppose 3*w = 3*j + 12264, 1002 + 3074 = w - 5*j. Is w a composite number?
False
Suppose 11*y = 14*y - 12. Let r = 280 + -165. Suppose -2*v + 0*v = c - r, -4*c - 248 = -y*v. Is v a composite number?
False
Let y be (3 + -11)*11*2. Let u = -290 - y. Is u/(-9) - 3/(-9) a prime number?
True
Let p = 425 - 163. Suppose 3*m - 2*v = 259, v + 0*v - p = -3*m. Is m prime?
False
Let t = 920 - 541. Is t a composite number?
False
Let y(l) = 157*l - 1. Let j be y(1). Suppose -3*i - 2*k + 90 = k, 5*i = -3*k + j. Is i a prime number?
False
Let z be 2/(-8) - (-45)/4. Suppose -x + 0*x + z = 0. Is x a composite number?
False
Suppose 5575 = 12*d - 3041. Is d composite?
True
Suppose -3*b - 4 = -1. Let t be b - -2 - (-75)/1. Let r = t - 23. Is r prime?
True
Suppose 0 = -3*q + 8*q - 635. Is q prime?
True
Let f = 8 + 149. Is f a composite number?
False
Let a be -4*((-2)/(-4))/(-1). Suppose a*x - 5*u = 22, 2*u - 4*u = -2*x + 10. Suppose 13 = 3*m + x. Is m composite?
True
Let x(k) = -k**2 + 2*