 + 6. Is -2 + (-201)/a*2 prime?
False
Suppose -5*n + 494 = -2*q - 755, -4*q - 741 = -3*n. Is n a composite number?
False
Suppose 20 = 5*v - 0*v. Suppose -v*l - 170 = -9*l. Is l a composite number?
True
Suppose 12*s - 3 = 9*s. Suppose -n + 30 = -s. Is n prime?
True
Is (-5)/2*(-58 - -12) prime?
False
Suppose -g + 26 - 9 = 3*u, -112 = -4*g - u. Suppose 4*x - 339 - 77 = 0. Suppose 5*m + g = x. Is m prime?
False
Let w(y) = 2*y**3 - 4*y**2 - 2*y + 9. Let s(i) = 2*i**3 - 4*i**2 - i + 10. Suppose 0*x - 9 = 3*x. Let a(h) = x*s(h) + 4*w(h). Is a(5) a composite number?
False
Let t = 8 - 5. Suppose 0 = t*o - 103 - 50. Is o a prime number?
False
Suppose 0*c = -3*c + 339. Is c a prime number?
True
Suppose g + 2679 = 4*b, -4*b + 972 = -3*g - 1697. Is b a prime number?
False
Let q(j) = j**2 - 2*j + 3. Let n be q(-7). Suppose 3*x - 27 = n. Is x a prime number?
True
Suppose 2*s - 550 = 1884. Is s prime?
True
Let p(m) = 7*m**2 + 5*m - 23. Is p(-11) a composite number?
False
Let m(v) = -v**3 + 2*v**2 + v + 198. Let h be m(0). Let i = 28 + -135. Let g = h + i. Is g a composite number?
True
Let r = 2456 - -903. Is r composite?
False
Suppose -3*y - 6657 = -3*l - 2202, -3*y + 1469 = l. Is l prime?
True
Let m(y) = -y**3 - 5*y**2 + 5*y - 10. Let f = 4 + -11. Let t be (3 - 4)*0 + f. Is m(t) prime?
True
Let l = -1 + -1. Is (20 - l)*(-26)/(-4) composite?
True
Suppose -2*r = -3*o + 5*o - 780, 5*r = 2*o + 1943. Is r prime?
True
Let i(d) = 2*d + 20. Let w be i(-9). Suppose 7*m - 3565 = w*m. Is m a composite number?
True
Let d be 3 - (-5 + 3)*17. Suppose -2*z + 5*n + d + 23 = 0, -z - 5*n = -15. Is z a composite number?
True
Let g(z) = z**2 + 5*z - 2. Let s be g(-7). Suppose 0 = 5*v - v - s. Suppose -r + 18 - 1 = -v*w, 2*r - 30 = 2*w. Is r composite?
True
Suppose 0 = -g - 3*d + d + 48, -2*g = -5*d - 87. Let t be (0 + 29)*4/4. Suppose t = 3*b - g. Is b a composite number?
True
Suppose 0 = 7*f + f. Suppose u + 0*i = -4*i + 4, 0 = -3*u + i - 1. Is (f + 3 - u) + 34 prime?
True
Let n = 112 + -27. Is n a composite number?
True
Let t(x) be the second derivative of x**5/20 + 2*x**4/3 + 4*x**3/3 - x**2 + x. Is t(-6) composite?
True
Suppose -3*w - 2*w = 3*d + 1045, 3*w + 627 = -3*d. Let m = -39 - w. Suppose -h + m = h. Is h a prime number?
False
Let k(t) be the first derivative of t**4/4 - 2*t**3 + 3*t**2/2 - 4*t - 2. Is k(6) prime?
False
Is ((-38)/(-4))/(16/928) prime?
False
Suppose 0 = 4*r + 4*d - 3 + 11, 2*r + 7 = -3*d. Is r/(1 + 444/(-447)) prime?
True
Let c(i) = -3*i**2 - 3 + 3*i**2 + i**2 - 3. Suppose -7 = r - 3*m, 3*r - 3*m + 5 = 2*m. Is c(r) prime?
True
Is ((-113)/(-2))/((-2)/(-4)) prime?
True
Suppose 5*h = 4*z - 33, -4*z + 0*h - 2 = 2*h. Suppose -z*j + 50 = 4*u - 4, 4*u = 12. Is j a composite number?
True
Suppose 0 = -r - 2 + 3, 3*c + 2*r = 2879. Is c a prime number?
False
Suppose 6 = -i + 2. Let t(n) be the first derivative of -n**4/4 - 2*n**3/3 + n**2 - 5*n + 4. Is t(i) a prime number?
True
Let s(a) be the first derivative of 2*a**3/3 - 5*a**2/2 + 4*a + 2. Is s(3) prime?
True
Let y = 11 + -9. Suppose -2*t + 306 = -4*k - 0*k, y*k - 813 = -5*t. Is t a prime number?
False
Suppose -r = 4*r. Suppose r = 2*y - 4*p - 358, -5*y - 3*p = -2*p - 928. Is y prime?
False
Suppose 2*k + 3*k = 0. Suppose k*x - 78 = -2*x. Is x a composite number?
True
Let t be 4 + -2 - (0 + -3). Suppose -t*x + 8 + 7 = 0. Is x a composite number?
False
Let b(d) = -5*d + 0*d**2 - 2 - d**2 + 1. Let p be b(-4). Is 164/p + (-2)/(-6) prime?
False
Let n(f) = 5*f**2 + 30*f + 16. Is n(-21) prime?
False
Let n(j) = -j + 22. Let z be n(0). Suppose 287 - z = 5*s. Is s a composite number?
False
Suppose 2*n + 5*c = 5034, 3*n + n - 4*c - 10012 = 0. Is n a prime number?
False
Let s(v) = v**2 - v + 1. Let q be 6/33 + (-6)/33. Suppose o - 21 = -4*y, 4 = 4*o - q. Is s(y) a composite number?
True
Suppose -7*s + 3*s + 4196 = 0. Is s composite?
False
Suppose -4*z - 4*t = -2*z + 12, 0 = -t - 4. Suppose 2*g = 4*o - 3*g - 36, o + 5*g + 16 = 0. Suppose 4*c + 5 = z*f - 109, -c - 263 = -o*f. Is f a prime number?
True
Let d(p) = 2*p**2 + 2 + 4*p**3 - 3*p**2 - p + 3*p**2 - p. Is d(2) prime?
False
Let j = -5 - -9. Suppose 0 = -5*d + x + 463 + 127, j*d = 5*x + 472. Suppose c - d = -0*c + 3*r, 2*c + 3*r = 227. Is c a composite number?
True
Let g(s) be the second derivative of 3*s**5/10 + s**4/6 + s**3/3 - s**2/2 + s. Is g(2) composite?
False
Let n be (1 - 2)/(0 + -1). Is 24*2 - n/(-1) a composite number?
True
Suppose -h - 5*o + 6 + 11 = 0, -o - 23 = -h. Is h prime?
False
Let h(y) = -16*y**3 - y**2 - 8*y - 4. Let f = -29 - -26. Is h(f) composite?
False
Let g(x) = 79*x**2 - x + 9. Is g(3) a composite number?
True
Suppose -3*k + 0 - 12 = 0. Let d(l) = -3*l - 6. Is d(k) a composite number?
True
Let v(k) = 3*k + 1. Let z be v(1). Suppose 4*w = 2*g + 84 - 2, 4*w - z*g = 88. Is w composite?
False
Suppose 0 = -4*t + 5*j - 12, -t - 3*t - 4*j + 24 = 0. Let w(f) = f**2 + 3*f - t*f + 3*f - 3. Is w(-5) a prime number?
True
Suppose 4*w + n - 1831 = 0, -n - 4*n + 2270 = 5*w. Suppose 3*p - w = 3*i, 5*p + i + 4*i - 725 = 0. Is p a composite number?
False
Let r be -2 - (-8)/(0 - -2). Suppose -6*y + 2*y = 4. Is r - 2 - -18 - y composite?
False
Let o = 15 - 47. Let a be (-17)/(3/(-15) + 0). Let n = a + o. Is n prime?
True
Let j = -2 - -5. Suppose 4*c - j*w + 4 = 0, -3*c - 4*w + w + 18 = 0. Is c + 37 + 4/(-2) composite?
False
Let a(h) = 27*h**2. Let i be a(-1). Suppose -i = -k + 3. Let m = k - -47. Is m a composite number?
True
Suppose -4*a + 82 = -666. Is a prime?
False
Suppose 5*y + 2051 = 10716. Is y prime?
True
Let b(j) = -j**3 + 6*j**2 - 4*j - 5. Let x = 11 + -6. Let i be b(x). Is (-1 + i)/(7/(-42)) prime?
False
Suppose 5*t + 8 = 48. Suppose 0*w + 3*d - t = 2*w, 2*w - 5*d = -16. Suppose 9 = -g + w*g. Is g a prime number?
False
Let j(m) = -63*m + 5. Is j(-4) a prime number?
True
Let a(s) = -1190*s**3 - 3*s**2 - 2*s. Is a(-1) a prime number?
False
Let w(d) = -d**2 - 4*d + 6. Let m be w(-5). Suppose 0 = 2*j - 5*v + 2, 5*v + m = -5*j + 31. Suppose -225 = -j*l + 83. Is l composite?
True
Let j(r) = 46*r + 5. Is j(8) a prime number?
True
Suppose 289 = 4*m + 5*f, m - 3*f = -4*m + 352. Is m a composite number?
False
Suppose 2*p + 0*p + 4*x - 128 = 0, -x - 123 = -2*p. Is p/((-6)/(-3)) + 2 composite?
True
Let p(u) = -8*u - u**2 - 1 + 2*u - 4*u. Let g(z) = z**2 + 9*z + 1. Let i(q) = 7*g(q) + 6*p(q). Is i(3) composite?
False
Let y be (-24)/(-9)*(-2 + -1). Let u be ((-30)/y)/(1/(-4)). Let b = u - -26. Is b a prime number?
True
Let q be (-1952)/(-14) - (-12)/(-28). Suppose 21 = -g + x + 80, q = 2*g + 5*x. Is g prime?
False
Let x(u) = -10*u + 1. Let k(y) = -y. Let r be k(-2). Suppose -c = r + 1. Is x(c) a composite number?
False
Let v(j) = 18*j**2 + 5*j + 4. Is v(5) composite?
False
Suppose -10 = -4*k + 6. Suppose -l = k*l. Suppose l*z + 168 = 5*z - n, 3 = -n. Is z a prime number?
False
Let g(f) = 57*f**3 + 5*f**2 - 3*f - 7. Is g(4) a prime number?
True
Suppose 0 = -2*p + 4*w - 150 + 500, 3*w - 570 = -3*p. Suppose -4*i - i = -p. Is i prime?
True
Suppose 2*l + 150 = -3*l. Is (-1086)/(-10) + (-12)/l a prime number?
True
Suppose -5*b + 41 - 105 = 3*i, i + 54 = -4*b. Is (-4)/b + (-645)/(-21) a prime number?
True
Let p be 6 - (-3)/(-9)*0. Suppose -5*x = 5, p*o + 2*x = 3*o - 8. Is 1/o - 318/(-4) a composite number?
False
Let w(c) = 3*c**2 + 2 + 0 - 6 - 4*c. Is w(5) prime?
False
Let k = 3 + 0. Suppose -159 - 307 = -4*z + 2*h, 0 = -3*z + h + 350. Suppose -k*a - 4*t + 66 = -a, -z = -3*a + 3*t. Is a prime?
True
Let f(t) = -6*t**2 - 3*t - 2*t**3 + 1 + 4*t**2 + 6*t**3 + 2. Let l(r) = r**2 - 3*r + 2. Let g be l(3). Is f(g) prime?
False
Let y = -45 - -21. Let g be y/(-10)*(-10)/(-3). Suppose -g*o + 4*o = -140. Is o a composite number?
True
Let h = 13 - 10. Suppose -h*n + 124 = -257. Is n a prime number?
True
Suppose 6*v = 2*v + 20. Suppose o + 212 = v*o. Is o a composite number?
False
Let p(w) = 4*w**2 + 1. Let x be p(-2). Is x + -1 + 4/(-2) composite?
True
Suppose 0 = 14*h - 11*h - 153. Is h a prime number?
False
Let n = -386 + 264. Suppose -2*r - 52 - 86 = 0. Let h = r - n. Is h composite?
False
Let p be (-42)/4 - (-21)/14. Is 3/p + 152/6 a composite number?
True
Let n = 15 - 0. Suppose -4*p = -5*r - 71, 0*r + n = -r + p. Let i = 24 + r. Is i prime?
True
Suppose 6 = -5*i - 19. Let 