f(-7). Is (50 + (k - -6))*1 composite?
False
Let x(w) = w**3 + w + 129. Let j be x(0). Suppose c - j = -2*c. Is c a composite number?
False
Let t(l) = 148*l**2 - 2*l - 1. Is t(-1) prime?
True
Let m be ((-26)/(-2))/(-8 + 9). Suppose -5*x = 3*r - 46, -4*r + 2*x = -x - m. Is r prime?
True
Let z(h) = 10*h**2 + 10*h + 1. Is z(-10) prime?
False
Suppose 116 = 2*n + 5*b + 33, -b = 4*n - 193. Is n a prime number?
False
Suppose -4*r = -2*r - 4. Suppose -5*q - 29 = 2*j, -j - q - 33 = j. Is (j/(-2) - -1)*r a prime number?
True
Let u(z) = -z**3 - 11*z**2 + 3*z + 18. Is u(-13) composite?
False
Is 28/(-84) + 6686/6 a prime number?
False
Let z be (-4)/14 + (-37281)/(-21). Suppose 0 = -6*m + m + z. Is m composite?
True
Is ((-15)/10)/(1/(-698)*1) prime?
False
Let s(d) = 8*d - 1. Let l be s(-1). Let y = 26 - l. Suppose -3*c + 0*u + 50 = 4*u, y = 4*c - u. Is c a composite number?
True
Suppose -q - 5*y = 3*q - 9, -4*y = 3*q - 7. Is 210 - ((-1)/1)/q prime?
True
Let d(v) = 7*v**2 + 3*v - 13. Let p(r) = -11*r**2 - 5*r + 19. Let a(b) = -4*b - 4. Let y be a(-3). Let g(i) = y*d(i) + 5*p(i). Is g(-7) a composite number?
False
Let l be (-1)/(-3) - 7/21. Suppose l = -4*f + q + 3, 2*f + q = 2 - 5. Suppose f = -4*m - i + 4*i + 907, 5*i = 2*m - 471. Is m a prime number?
True
Is (0 - 2)/(2/(-83)) a prime number?
True
Let r(o) = -o**3 - 5*o**2 - 4*o + 23. Is r(-10) prime?
True
Let k = 11454 - 8101. Is k a composite number?
True
Let x(w) = -51*w**2 - 1. Let j be x(1). Let f be 1*4*j/16. Is ((2 - 2) + f)*-1 prime?
True
Let i be ((-3)/(-2))/(21/(-196)). Is ((-10)/4)/(1/i) composite?
True
Let r(p) = 0 + 0 + 0 + 1 - p. Let l be r(-1). Suppose w + 0*w = -3*u + 89, 0 = l*u + 2*w - 54. Is u prime?
True
Let k(z) = 3*z**3 - 5*z**2 - z + 1. Let t be (2/6)/(4/48). Is k(t) prime?
True
Let b = -55 - -33. Is b/3*66/(-4) prime?
False
Let j(z) = -232*z + 1. Let l be j(-1). Suppose p = 2*d + l, 2*p + 0*p - 431 = -3*d. Is p prime?
True
Suppose w = -w - 3*b + 341, -5*b = w - 181. Let x = w + -84. Is x composite?
True
Let u(v) = 1769*v + 10. Is u(3) composite?
True
Let q(i) = -i**3 - 9*i**2 - 4*i - 11. Is q(-12) a prime number?
False
Suppose 3*g - 5*g = 16. Is g/2*53/(-4) composite?
False
Let k(y) = y**2 - 9*y + 8. Let m be k(8). Let j be 0/(m - -2 - 0). Is 118/(2 + j) - 1 prime?
False
Suppose -5*q - 22 = -3*f + 28, 2*f + 3*q - 27 = 0. Let h be 4/10 + (-78)/(-5). Let t = h + f. Is t a prime number?
True
Is (1 + -1 + -3 - 0) + 5582 a composite number?
True
Suppose 21 = i - 6*c + 4*c, -3*c = 2*i - 14. Suppose -4*d - 41 + i = -4*l, 3*l - 2*d - 17 = 0. Suppose 0*r + 4*r = -2*o + 242, 0 = -3*r - l*o + 186. Is r prime?
True
Let k = 0 + -1. Let d be (k + -2)/(4/8). Let z(j) = -10*j + 5. Is z(d) a prime number?
False
Is (-3 - 32/(-12))*-1671 a composite number?
False
Suppose 822 = -17*l + 19*l. Is l composite?
True
Let l be (0 - 9/6)*-2. Suppose z + l*z = 12. Suppose z*c - 9 = -4*b, 0*c + 2*c = 5*b - 17. Is b composite?
False
Let v = 15 - 7. Is (-5)/20 + 2346/v prime?
True
Let a(d) = -d**3 - 5*d**2 + 8*d + 5. Is a(-7) prime?
True
Suppose 0 = 2*h + h. Suppose 5*z + 0*z - 50 = h. Suppose s - z = 9. Is s prime?
True
Let y = 6 + 1. Let i = -4 + y. Suppose -q = -i*x + 148, -4*q + 0*q + 275 = 5*x. Is x a prime number?
False
Suppose 0 = -2*f + 4*f - 156. Suppose 8*p - 5*p - f = 0. Is p a prime number?
False
Let x = -58 + 36. Let n = x - -47. Is n a composite number?
True
Let c(d) = 7*d**2 - 6*d - 28. Is c(9) composite?
True
Let y = 30 - 13. Let x(c) = -7*c**3 + c**2 - 1. Let b be x(1). Let n = b + y. Is n a composite number?
True
Let f(o) = -76*o + 3. Let d be f(-3). Suppose 2*m - 271 - d = 0. Is m composite?
False
Let z = 11 + -13. Is 3 + z - (-3 - -1) composite?
False
Is (57/1)/1 - 2 composite?
True
Suppose -h + 19 = 3*n, -n + 15 = 4*n. Let s be 9/(-3)*2/(-6). Let b = h - s. Is b composite?
True
Let y be (-152)/(-32) - (-1)/4. Let k(l) = -l + 6*l - 6 + 0*l. Is k(y) a composite number?
False
Let t be 1 - (-3 + 0)*1. Suppose -4*i + 6 = -18. Is t/i - 314/(-6) composite?
False
Suppose 2*n - 3*n + 22 = 0. Is n a prime number?
False
Let j = -2 + 2. Suppose 0*d = d + 5*k + 31, j = -3*k + 3. Let g = d + 50. Is g a composite number?
True
Let v be ((-2076)/30)/(2/10). Let q = v - -827. Is q a composite number?
True
Let k(g) = -g**3 + 2*g**2 + 4*g - 2. Let x be k(3). Let w(l) = 98*l**2 - 2*l + 1. Is w(x) a prime number?
True
Suppose -21 = -d + 4*q, 8 = 4*d - 0*q + 3*q. Suppose -3*m + 28 = -d. Is m a composite number?
False
Suppose -2*u = 2*o + 708, -3*u - u + 16 = 0. Let m = 343 - o. Is m composite?
False
Let j = 18 - 13. Suppose -5*c = -p - 2*c + 17, -p = c + 3. Suppose p*q + j*d = 97 - 2, 3*q = -d + 162. Is q prime?
False
Let v(h) = -h**3 - 8*h**2 - 6*h + 10. Suppose 11 = -2*r - 3. Is v(r) prime?
True
Suppose 0*a + 879 = 3*a. Is a a prime number?
True
Is ((-7)/14)/(3/(-2910)) composite?
True
Suppose -4*z + 2*c = 4*c - 4420, 2*c = z - 1105. Let w = z - 774. Is w prime?
True
Let m be 5/(-15) - (-7)/3. Suppose -m*v + v = -16. Is 2/(-4) + 5944/v prime?
False
Is -662*((-27)/(-6) + -5) composite?
False
Suppose 13*a - 10420 = 3*a. Is a a composite number?
True
Is 5536/10 - (-30)/(-50) a composite number?
True
Let c(z) = z**3 - 3*z**2 - 4*z + 2. Let r be c(4). Let l(o) = -3*o + 2 + 0 - o**2 + 0*o**r. Is l(-2) a prime number?
False
Suppose -2*c = -7*c + 10. Let k be 2*c*(-425)/(-4). Suppose 0*u + k = 5*u. Is u a composite number?
True
Let y(f) = 14*f - 5. Suppose q + 3*q + 7 = z, -5*z - 16 = -3*q. Let a = z - -10. Is y(a) prime?
False
Suppose 0 = -4*k + 5*r + 13, 1 = 3*r + 4. Suppose k*j - 44 = 282. Is j a composite number?
False
Suppose 0 - 11 = -2*j + q, 2*j + 3*q = -9. Suppose -j*p + m = -473, -4*m = -p - 101 + 244. Is p a composite number?
True
Suppose 5*i = 8*i. Let r(a) = -a**2 - a + 79. Is r(i) a composite number?
False
Suppose -2249 = -10*n - 339. Is n prime?
True
Let c(x) = x + 211. Suppose 0*j = 2*j. Is c(j) composite?
False
Suppose -4*l + 8 = -0. Suppose -q = -11 - 2. Suppose 33 - q = -5*t, -257 = -5*w - l*t. Is w prime?
True
Let x be 32/40*(-20)/(-2). Let j = x + -6. Suppose 0 = 3*v - 3*s - 42, -2*v + j*s + 3*s = -31. Is v a composite number?
False
Let f = 6037 - 3230. Is f a composite number?
True
Let j(b) = b**2 + 5*b + 7. Is j(5) a composite number?
True
Let f = -5 - 1. Is (3/f)/((-4)/1688) composite?
False
Let i = -402 + 177. Let b = -30 + i. Is ((-4)/5)/(6/b) composite?
True
Is -2*(-573)/12*6 a prime number?
False
Suppose -3*p + 30809 = -2*l, 6*p = 10*p - l - 41072. Is p composite?
False
Suppose 0 = 5*g + 3*p - 2*p - 392, -4*p - 170 = -2*g. Is g prime?
True
Let w = 38 - 26. Suppose -3*n - w = -6*n. Suppose n*p - 74 = -j, -2*p - 3*j = 2*p - 70. Is p a prime number?
True
Let i = 97 - -392. Is i a composite number?
True
Let i(q) = q**3 - 8*q**2 + 8*q - 7. Let o be i(7). Suppose -2*s + o*s + 68 = 0. Is s prime?
False
Let f(k) = 169*k**2 - 4*k - 7. Is f(-2) prime?
True
Suppose -5*n = -j - 11, 0 = 5*n + j - 0*j - 19. Suppose 0 = -n*y + 971 - 137. Is y/6 - (-4)/6 a prime number?
True
Suppose 0 = -y + 3*y - h - 1554, 4*h - 3120 = -4*y. Is y a composite number?
True
Let q = 318 - 38. Let s = q - 101. Is s a composite number?
False
Let z = -13 - -5. Let m(a) be the third derivative of a**6/120 + 3*a**5/20 + a**4/4 - a**3/3 + 2*a**2. Is m(z) a composite number?
True
Let l(g) = 4*g**2 + 18*g + 13. Is l(13) a prime number?
False
Let r(d) = -d**2 + 5*d + 5. Is r(4) prime?
False
Suppose -6*v + 4*v + 3206 = 0. Is v composite?
True
Let f = -219 + 16. Let y = -48 - f. Is y a prime number?
False
Suppose 0 = 4*v + 5 + 3. Let j be 3/v*1*78. Let h = j + 170. Is h a prime number?
True
Suppose -3*t - 2*i + 61 = -0*t, -4*t = 4*i - 80. Suppose -5*r - t + 466 = 0. Is r a composite number?
False
Is ((-185)/2)/(5/(-10)) a prime number?
False
Let l(j) be the first derivative of 1/3*j**3 - 3*j + 1 + 0*j**2. Is l(-5) a prime number?
False
Let r = -197 - -134. Let v = r - -92. Let g = v - 16. Is g a composite number?
False
Suppose 0 = -4*r + 3*w - 3, 5*r - 22 - 3 = -2*w. Suppose -r*g + 2*g = -37. Is g prime?
True
Let t = -6 + 3. Is t/9 + (-116)/(-6) a composite number?
False
Suppose -4*f + 2304 = 3*r, 2*f + 3*r = -3*f + 2877. Is f a prime number?
False
Suppose g = -2*g - 5*p + 330, -3*g + 5*p + 300 = 0. Let k = g - 26. Is k a prime number?