 Is b a prime number?
False
Let m(t) = 95*t - 24. Is m(7) a prime number?
True
Let i = 26 + 0. Suppose -23*o + i*o - 9 = 0. Let p(h) = 72*h**2 - 5*h + 2. Is p(o) prime?
False
Let z(b) = -2679*b**3 + 2 - 4 - 4*b**2 + 2*b + 3 + 5*b**2. Let w be z(-1). Suppose 9 = x - 4*x, -w = -3*v + 4*x. Is v a composite number?
True
Suppose -h = 3*b - 0*b - 9, -3*h = 3*b - 9. Let j = -45 - -522. Suppose 0 = 2*p + 5*r - j - 327, b*r = 3*p - 1227. Is p a prime number?
False
Let h = 27 + -131. Let u = 213 + h. Suppose -84 = -2*p + 5*n, 0*n = -3*p - n + u. Is p a prime number?
True
Let t be (-3)/(3 - (-18)/(-4)). Suppose -8 = t*z - 4*z. Suppose z*i + 30 = 7*i. Is i a composite number?
True
Is 10*-1 - (-1516118)/106 a prime number?
True
Suppose -5*l + 13 = 2*c, 0 = 2*c + 3*l - 4 - 3. Is ((-77)/(-14))/(c*3/(-186)) a composite number?
True
Suppose -5*z = -6*z + 11. Let g = z + -9. Suppose -139 = -g*s - 33. Is s a prime number?
True
Let v(s) = -3*s - 9. Let g be v(-4). Let w(f) = -2*f**2 - f**3 - f + 13*f**3 + 12*f**g + 0*f**3 + 2. Is w(1) prime?
True
Let f(c) = -c + 1869. Let q be f(0). Suppose 8*o = o + q. Is o a prime number?
False
Let q be (10/8)/(5/20). Suppose -q*l = -l - 1876. Is l composite?
True
Suppose -2*p + b = -2 - 4, 0 = 5*p - 4*b - 18. Suppose 4*x = -p*v + 9266, 4*x = 6*v - 2*v + 9296. Is x composite?
True
Let p(m) = 4148*m + 75. Is p(4) a composite number?
True
Let j = -32 - -36. Suppose 2*x + j*k = 70, 0 = 2*k + 3*k - 25. Is x composite?
True
Is 408241/(-7)*-1 - (-1566)/1827 a composite number?
False
Suppose 9*a = 4*a - 5. Let r be (a/3)/(2/(-12)). Is 191/r*(5 + -3) a composite number?
False
Let r = -948 + 2085. Let h = r + -740. Is h a prime number?
True
Let s = -17357 - -24768. Is s a composite number?
False
Let r be (-2 + 17)*8/10. Let t be (-5)/(-20) + 933/r. Suppose t = 5*w - 347. Is w a prime number?
False
Let f(d) = -5*d**2 + 4*d - 2. Suppose 8 = 7*m - 3*m. Let y be f(m). Is (y/6)/(14/(-3066)) a prime number?
False
Let w(z) = -1840*z + 67. Is w(-2) a prime number?
False
Suppose -61047 = -23*n + 36772. Is n a composite number?
False
Let j = 2078 + 644. Suppose -j = -2*a - 4*q, a + 2*a = 4*q + 4083. Is a prime?
True
Let o(b) be the first derivative of -b**4/4 - 10*b**3/3 + 2*b**2 + 12*b + 10. Is o(-11) a composite number?
False
Suppose -3*x + 4*v = -32455 - 169606, 3*v = -5*x + 336807. Is x a composite number?
True
Let u(q) = 3*q + 92 + q**2 - 43 - 42. Is u(7) a composite number?
True
Let b be (4 - (1 + 2/2)) + 7814. Suppose -b = 6*v - 14*v. Is v a prime number?
True
Let c(h) be the second derivative of 8*h**3/3 + 3*h**2 - 5*h. Let a be c(5). Let b = 405 + a. Is b a prime number?
True
Let p = -1 - -12. Let z be (-30 + p)/(2/18). Let a = -92 - z. Is a prime?
True
Let d be (-6682)/(-13) - (5 - -1). Suppose -4*w = -0*w + 1228. Let p = d + w. Is p a composite number?
True
Let x = -13 - -24. Suppose -2*t - 3 = -x, -t = -4*o + 16. Suppose -5*j - o*n + 60 = 0, -3*j + 4*n + n + 28 = 0. Is j a prime number?
True
Let m = 23 + -23. Suppose m = -3*i - 15, 0 = 2*n + i + i - 932. Is n + (-3)/9*-6 a composite number?
True
Let y(r) = 1738*r - 391. Is y(6) a composite number?
False
Let y = 26 - 23. Suppose 3*z = 5*z, 0 = -y*u - 2*z + 2682. Let g = u - 5. Is g composite?
True
Suppose -i - 7 = -4*o, -2*o + 0 = -5*i - 17. Let f be 0/((0 - 0) + o). Suppose -1065 = -5*s - 5*k, -4*s - 3*k + 465 + 388 = f. Is s prime?
False
Let f(h) = -1277*h + 73. Is f(-8) a prime number?
True
Suppose -2*z + 4*k = -9950, 15*k = -3*z + 17*k + 14917. Is z a prime number?
False
Suppose -4 - 5 = 3*l - 3*t, -5*l = 2*t - 6. Suppose l = 2*z + 1452 - 7298. Is z prime?
False
Let q(m) = -m**3 - 6*m**2 + 6*m - 11. Let s be 18/1*(-7)/14. Let v be q(s). Suppose 4*o - v = -2*f, -5*f + o = 4*o - 452. Is f composite?
True
Suppose -3*j - l + 2*l = -8, 4*l = -2*j + 24. Suppose 3*n = 2*n + j. Suppose -2*q = -1 - 5, -2*q + 570 = n*d. Is d a composite number?
True
Let j be (-3)/4 - (-3)/4. Suppose j = -2*g + f + 15 + 118, g + 2*f - 79 = 0. Is g a composite number?
True
Suppose b - 16 - 4 = 0. Let p be b + -17 - 4/(-2). Suppose -3*j + 2*m + 241 = 0, p*j - 435 = -6*m + m. Is j composite?
False
Let p = -13 + 13. Suppose p = -4*d - 0*d. Suppose -3*o - 3*v + 41 = 11, 4*o - 5*v - 4 = d. Is o a composite number?
True
Let a be (9/(-6) - -1)*-4. Suppose -5*w = 5*q - 0*q + 190, 0 = -w + a*q - 44. Is w/30 + 3037/3 a prime number?
False
Let f(k) = 69*k**3 - 2*k**2 + 2*k - 2. Let t be f(3). Suppose 1365 = 5*x + v, -5*x + 5*v + t = 514. Let o = x - 145. Is o composite?
False
Suppose -9*r + 78183 = -52920. Is r a composite number?
True
Is (2 + (-1 - -2))/(135/481905) a composite number?
False
Suppose 3*p - 2 = -0*p - 2*k, 0 = 5*p + k - 8. Suppose -5*n - 16 = -2*f, -p*n + 2 = 3*f - 3. Is 126 - (1 + -5 + f) a composite number?
False
Let x(j) = j**2 + 2*j. Let v be x(1). Suppose -v*f + 1156 = -1097. Is f a prime number?
True
Let l = -722 + -542. Let g = -311 - l. Is g prime?
True
Is (-4947 - -1)*(-1)/2 composite?
False
Suppose 3*z = -a + 48838, -4*a - 70172 + 21339 = -3*z. Is z a composite number?
True
Let s(p) be the second derivative of 49*p**5/20 + p**4/3 - 5*p**3/6 - 3*p**2/2 + 13*p. Is s(2) a composite number?
True
Let i(c) = -25*c - 2*c**3 + 17*c**3 + 19 - 4*c**2 - 12*c**3. Is i(9) a composite number?
False
Let q(d) = -31*d + 17 + 5*d - 2. Is q(-8) a composite number?
False
Let g = 28 + -19. Suppose -g + 7 = -f. Suppose 117 = -f*a - 2*l + 473, 0 = -4*a + l + 717. Is a a prime number?
True
Suppose 97509 = 4*l - 15023. Is l prime?
False
Suppose -y = -2*q + 3484, -5*q - 8*y + 8710 = -4*y. Let k = 4831 - q. Is k a composite number?
False
Let c be (-2 + 3)/(-1) - -3925. Is (-3)/(-21) + c/21 a composite number?
True
Let x be 9/18*0/(-2). Suppose x = -2*v - 4*v + 12. Suppose -5*k + 2450 = -t, v*k - 1002 = -0*t - 4*t. Is k prime?
True
Suppose 13*w = -58 + 19. Let p(r) = 22*r**2 + r - 8. Is p(w) composite?
True
Let h be (-10)/25 - 306/10. Let p = h - -31. Suppose 5*i = -0*i, p = -c + 2*i + 551. Is c a prime number?
False
Let i be -6*4/(-60) + 221366/10. Suppose 54079 = 8*m - i. Is m prime?
False
Suppose 17 = -h - 4*c, 0 = -h + c - 6*c - 22. Let b(a) = 54*a**2 + 5*a + 1. Let o be b(4). Suppose 2*g = -h*g + 3*w + o, 4*g - 708 = -5*w. Is g composite?
True
Let b(p) = -2260*p + 49. Is b(-2) composite?
True
Let z(r) = -1258*r - 63. Is z(-5) composite?
True
Suppose -5*j = 2*o + 66, 14*j + 54 = 9*j + 2*o. Let r = 2 - 1. Is j*(r - (-4)/(-3)) a composite number?
True
Is (-324708)/(-10)*((-1325)/(-75) + -16) prime?
False
Let t(p) = 2*p**2 - 2*p - 2. Let z be t(-1). Suppose z*r - 5*y = 29, r - 3*y = 13 + 4. Is (r - -35)/(4 - 3) a composite number?
False
Let q = 1013 + 1544. Is q composite?
False
Suppose 2*z - 16081 = 5*k - 2*k, -k = -3*z + 24104. Is z prime?
False
Let i = 2 + 6. Let q(c) = -i*c - 14*c - 2 + c. Is q(-1) a composite number?
False
Let h(p) be the first derivative of p**2/2 + 11*p - 7. Let x be h(-8). Suppose 0 = -x*l - 2*g + 705, -4*l + 862 = 5*g - 78. Is l composite?
True
Let s(b) = 27767*b**2 + 10*b - 10. Is s(1) prime?
True
Let x(a) = 212*a + 39. Is x(7) prime?
True
Suppose 2*f - f = -3172. Let b = f + 4913. Is b a composite number?
False
Suppose -z = -2*v + 2251, -4620 - 1030 = -5*v - 2*z. Suppose 8*c + 16 - v = 0. Is c a composite number?
False
Let j(k) = 2*k**3 - 2*k + 2. Let a be j(-3). Let v = a - 27. Let h = v + 156. Is h prime?
True
Let j = 8 - 4. Suppose -7 + 3 = j*k. Is k*(-448 - 1) + -3 a composite number?
True
Let a = -7185 - -22144. Is a composite?
True
Suppose -152499 = 14*c - 17*c. Is c prime?
True
Let n(g) = 2*g**2 - 25*g + 20. Let d be n(12). Suppose 6*u = d*u - 3590. Is u a prime number?
False
Suppose -3*n + 178 = c - 3645, -5*n - 3*c = -6377. Is n prime?
False
Suppose -5*h = -h + 8. Let d = h + 52. Is 3*(-3 + d*1) a prime number?
False
Suppose 2*n = 2*p - 4417 - 1993, -3*p - 4*n + 9601 = 0. Is p prime?
True
Suppose -2*j - 6*j = 1712. Let k = j + 549. Is k a composite number?
True
Let i(c) = -54*c - 5. Let v(z) = -54*z - 6. Let r(t) = 5*i(t) - 6*v(t). Is r(2) composite?
True
Suppose -72 = -13*p + p. Let d = p - -29. Is d a composite number?
True
Let g be 4/(-2) + (1 - 4). Let d(i) = -13*i - 2. Let b be d(g). Let c = b - 32. Is c a composite number?
False
Let t be ((-4)/6)/(4/(-6078)). Suppose -3*j - 