 0, 3*k + 4*r = 2*k + 237. Suppose 0 = 5*h - 2*b - 72 - k, -h + 3*b + 59 = 0. Is h a composite number?
True
Let g be ((-4)/6)/(12/(-1278)). Let d = -33 + g. Is d a prime number?
False
Suppose 4*y = 4*i - 92, i + y + y - 11 = 0. Suppose 0 = -3*d + 20 + i. Is d prime?
True
Let f(r) = 3*r**3 - 5*r + 6. Let b be f(5). Suppose w - 5*w = -b. Is w a composite number?
False
Suppose 0*v = v - 5. Suppose 5 = v*h + 20. Is 1 + (37 - (-2 - h)) a prime number?
True
Let c be 2/(-9) + 29/9. Suppose x = -5*r + 19, 27 = 3*x + 2*r + c*r. Suppose -22 = -x*l - 6. Is l composite?
True
Let q(y) = -38*y - 11. Let b be q(-10). Suppose -m = -272 - b. Is m a prime number?
True
Suppose 0 = -q - 0*q - 1. Suppose o = 5*o + 16. Is (-48)/q - o/(-2) a composite number?
True
Let c = -52 - -131. Is c composite?
False
Is 5/((-30)/24) - -4275 a composite number?
False
Let s = 3914 + 353. Is s a prime number?
False
Suppose -10 = f - 3*f, 4*p - 2*f = 1882. Let h = 846 - p. Is h a prime number?
True
Is -1*(4666/(-3))/((-4)/(-6)) a prime number?
True
Let c(q) = 4*q**2 + 2*q - 4. Is c(11) a prime number?
False
Suppose 5*v + 9 = 29. Suppose -3*w + 10 = -u, -2*w - 3*w + 30 = -5*u. Is (-306)/u + v/8 prime?
False
Suppose 3*a - 6*a + d - 11 = 0, -17 = a + 3*d. Let s be 2 - (-3 - 6/(-2)). Let o = s - a. Is o composite?
False
Let p(w) = 169*w**2 + 5*w - 1. Is p(4) prime?
False
Let h be (-33)/44*(-8)/3. Suppose 2*m - 532 = -h*m. Is m prime?
False
Let t(y) = -2*y + 3. Let x be t(4). Let p be (-2 - (1 + x)) + 0. Suppose -5*z - 7 = -j - p, 4*j + 5*z = 120. Is j composite?
True
Let z(q) = q**2 - 3*q - 1. Let n(j) = 4*j + 2. Let h(s) = 2*n(s) + 3*z(s). Let w be h(1). Suppose -2*k + 155 = w*k. Is k a composite number?
False
Let n(h) = -h**3 + 5*h**2 + 6*h + 3. Let c be n(6). Suppose 769 = c*v + v - 5*f, 5*f = -5. Is v prime?
True
Let a(y) = y**3 - 16*y**2 - 7*y + 21. Is a(17) a composite number?
False
Suppose 2*y - 3*z - 64 = 0, 0*z + 2*z + 31 = y. Is 526/10 + 14/y prime?
True
Let o(c) = 3*c**2 - 26*c - 48. Is o(23) a prime number?
True
Let u be (-32)/(-12)*18/(-8). Let i(c) = 3*c**2 - 4 - c**2 - 1 - 2*c. Is i(u) composite?
False
Suppose 3*r + 17331 = 3*f, -3011 = 4*f - 3*r - 26121. Is f a composite number?
False
Let x be (2/3)/((-5)/(-45)). Let i(c) = -c**2 + 8*c - 9. Let t be i(x). Is 4/(-6) - (-95)/t prime?
True
Let k = -27 + 424. Is k prime?
True
Let f = 1894 + -1110. Is f/36 - (-2)/9 a prime number?
False
Let n(g) = -g**2 + 11*g + 2. Let y be n(11). Let j(a) = 11*a + a**3 + 6*a**3 - 10*a - a**y. Is j(1) prime?
True
Let l(p) = 6*p**2 + 5*p + 9. Let m be l(-5). Suppose -2*q + 3*q = -5, -2*k - 2*q - 10 = 0. Suppose -g - 45 + m = k. Is g a prime number?
True
Let b(c) = -c**3 - 6*c**2 - c - 3. Let r be b(-6). Suppose r*f - 217 + 52 = 0. Is f a composite number?
True
Is 7/6*111*2 a prime number?
False
Is 0/2 + (-5 - -484) a prime number?
True
Let q(j) = j**3 - 7*j**2 - 3*j + 6. Let g be q(7). Suppose 7 = h + 32. Let s = g - h. Is s a composite number?
True
Let o = 0 + -2. Let n be 4/2 + (-1 - o). Suppose -p - 14 = -n*p. Is p a prime number?
True
Suppose 4*d - 184 = 2*d. Suppose 5*g = d + 203. Is g composite?
False
Suppose 2*f - 127 = 5. Let g = f - -31. Is g composite?
False
Let d(f) be the second derivative of -5*f**5/4 - f**4/6 - f**2/2 - f. Let c(x) = -x**2 - 3*x + 2. Let z be c(-4). Is d(z) composite?
False
Let v = 229 - -1360. Is v prime?
False
Let l(m) = 4*m - 1. Let v be l(1). Suppose -155 = -4*p + 2*x + v, x + 5 = 0. Is p a prime number?
True
Let b = -1 - -3. Suppose b*w = 3*w - 51. Is w composite?
True
Let j(n) = 96*n - 5. Is j(4) a prime number?
True
Let a be 4/10 - (-34)/(-10). Is (a/2)/(2/(-76)) a prime number?
False
Is ((-6)/4)/((-3)/242) a prime number?
False
Suppose -4*w - w = 0. Suppose 0 = 4*k + 4*f - 343 - 237, -612 = -4*k + 4*f. Suppose -h = -w*h - k. Is h a prime number?
True
Suppose 57*d + 10084 = 61*d. Is d a composite number?
False
Suppose 3*d + 222 = -0*d. Let b = d + 107. Is b a composite number?
True
Let u = -9 - -7. Let k be 1 + 91 - (0 + u). Suppose -2*s - 4*r + k = 0, -3*s + 5*r - 3*r = -165. Is s composite?
False
Suppose -m = -3*m + 1036. Suppose 2*o - 4*o + m = 0. Is o a prime number?
False
Suppose -p + 219 = -5*t, -8*p + 991 = -3*p + t. Is p composite?
False
Let w(u) be the third derivative of 0*u + u**2 + 0 - 1/3*u**4 + 1/2*u**3. Is w(-4) a composite number?
True
Let c = 2 + 2. Is (-1 + 2)*(c + 43) prime?
True
Suppose -3*i - 4 = -13. Suppose 0*k = -i*k + 6. Is k composite?
False
Suppose 3*t - 1923 + 750 = 0. Is t a prime number?
False
Let f(q) = -q**3 + 11*q**2 + 14*q + 13. Let k = -2 - -38. Suppose -k = -s - 2*s. Is f(s) a prime number?
True
Let c be 8/20 + (-1098)/(-5). Let t = -141 + c. Is t a prime number?
True
Let k = 278 - 27. Is k a composite number?
False
Suppose 0 = -2*f + z - 2*z + 11, 4*f - 19 = -z. Suppose 0 = -f*v + 4 + 12. Suppose v*w = -0*w + 148. Is w prime?
True
Let b be (9/(-6))/((-3)/6). Suppose 1685 = 5*p - l, b*l = -5*p + 6*l + 1685. Is p a composite number?
False
Suppose -5*o = -4*q + 13, 4*o + 7*q - 4 = 3*q. Let u(n) = 2*n - 1. Let t be u(-1). Is o*-113*(t - -4) a prime number?
True
Suppose -31 - 3 = -k. Let c = k + 3. Is c prime?
True
Let g be (1 - 3)*1 - -6. Suppose 4*w + 2*k - 554 + 82 = 0, -3*w + g*k + 365 = 0. Is w prime?
False
Let j = -544 - -1037. Is j a prime number?
False
Suppose 2*n = 177 + 121. Is n prime?
True
Let f(c) = c**2 - 2*c - 5. Let b be f(4). Suppose 419 = 4*k - 5*r - 432, -r = b*k - 624. Is k a composite number?
True
Suppose -3*d = 3*c + 2*c - 75, -4*d = 3*c - 45. Suppose -q + c = 2*q. Suppose z - 2*o = 13, -q*z + 8*o + 65 = 3*o. Is z composite?
False
Let x(z) = -z**2 + 439. Is x(0) composite?
False
Suppose -1101 = -2*g + 1861. Is g prime?
True
Let i = -23 - -85. Is i composite?
True
Let g(q) = -2 + 3 + 15*q + 2*q. Let o(c) = c + 9. Let k be o(-7). Is g(k) a composite number?
True
Suppose -2*h - 3*h = 3*t - 1330, 0 = 2*h + 2. Is t a prime number?
False
Let h(a) be the second derivative of 5*a**3 - a**2/2 + a. Is h(2) a composite number?
False
Let d(q) = -q**2 - 11*q - 13. Let s be d(-9). Let n = 11 + -1. Suppose 3*y - 5*y = s*f - 19, 2*y + 2*f = n. Is y composite?
False
Let b = -5 + 5. Suppose -3*g + b*g = -9. Is g a prime number?
True
Suppose -31 = -p + 4*h, 8 = 3*h - 7*h. Is p a composite number?
False
Let r = -512 - -966. Is r a composite number?
True
Let c = 104 - 45. Is c composite?
False
Let q = 1010 + -213. Is q composite?
False
Suppose -5*v + 155 = -5*r, 0*v - r + 73 = 3*v. Let y = v - -53. Is y a prime number?
True
Let u = 3937 + -1416. Is u a prime number?
True
Suppose -21 = 2*x - 5*x. Let m = 1 - 1. Suppose 0 = -m*k + k - x. Is k composite?
False
Let s be 2*(-9)/6 - 771. Let l = s - -1105. Is l composite?
False
Let f be 0 + (7 - 2 - 4). Let u = 2 + f. Is u prime?
True
Is (100/15)/(4/6) composite?
True
Let u(r) = -80*r + 1. Let v(m) = 3*m + 2*m**2 - m**3 + 0*m**3 - 1 - 1. Let y be v(3). Is u(y) composite?
True
Suppose -3*u + 824 - 167 = -2*i, 0 = -4*u + 5*i + 869. Is u prime?
False
Let n = 8 - -59. Is n a prime number?
True
Suppose -4*f = -5*c - 376 - 205, 3*f - 2*c - 441 = 0. Suppose -2*v = -3*v - 5*y + 26, 5*y - f = -4*v. Let n = 92 - v. Is n a prime number?
False
Suppose 4*b + 1 = 5*m - 4*m, 0 = 2*b + 5*m - 27. Suppose -b = -0*p - p. Is 37/(p/(1 - 0)) a prime number?
True
Is (-1)/(-2) + (-1 - 4725/(-6)) composite?
False
Let m be 2/15*-213*-50. Suppose 4*c - 8*c = -m. Is c prime?
False
Let s(g) = -g**2 + 5*g + 6. Let b be s(6). Let z be 6/(-4)*(-80)/30. Suppose -4*n = -b*n + t - 38, -5*n - z*t = -42. Is n a composite number?
True
Let j = -4 + 13. Let u = j - -298. Is u prime?
True
Let b(g) = g**3 + g**2 - 6. Let v be b(0). Let q = 10 - -16. Is (-3)/1*q/v a composite number?
False
Let f be ((-4)/6)/(0 + (-2)/471). Let b(m) = 47*m**2 + 4*m + 3. Let l be b(-2). Suppose l = 4*y - f. Is y prime?
False
Let x = 41 + -68. Suppose 5*r - 54 = -a, 0 = a + 4*r - r - 62. Let o = a + x. Is o composite?
False
Let m be 8/(-12) + 392/(-6). Is (20/6)/((-4)/m) prime?
False
Suppose -3*v = 3*p - 9 - 78, 3*v = -5*p + 91. Is (-411)/(-27) + (-6)/v a composite number?
True
Is 102 - (2/(-4))/(3/6) a prime number?
True
Suppose -5*j = 2*c - 2387, j + 5*c - 443 = 16. Is j composite?
False
Let r = -29 + 18. Let x = 15 + r. Suppose -x*d