 s a prime number?
True
Suppose -5*b + s = -23, 4*b + s = -0*s + 22. Suppose 0*r - 20 = -b*r. Suppose r*q - h = 483, -h - 2*h + 3 = 0. Is q prime?
False
Let m = 10 + 45. Let c = m - -21. Let k = c + -39. Is k a composite number?
False
Suppose -3 = t + z, -5*t - 3*z + z = 6. Suppose 6 = -4*m + 22. Suppose -q - b = -49, -198 = -t*q - m*q - 3*b. Is q prime?
False
Suppose 153 = 2*d + 5*q, -2*d + 5*q + 143 = -0*q. Is d a prime number?
False
Let o(k) = 13*k**3 + k**2 - 5*k + 3. Let h be o(3). Let w = h - 25. Is w prime?
False
Let s(c) = c**3 - 4*c**2 - 5*c - 5. Let f be s(5). Let i = 3 + f. Let z = 39 + i. Is z prime?
True
Suppose -2*x = 3*z - 13, 4*x + 0 + 4 = 4*z. Let u be x/(-9) + 195/27. Suppose -5*w = 3*r - 247, -u*r = -2*r - 3*w - 389. Is r a composite number?
False
Suppose -181 = -3*x - 2*x - t, -178 = -5*x + 2*t. Let h = 169 + x. Is h a prime number?
False
Let i(q) = -q. Suppose -3*g = -l + 12, -g - 3 = l + 1. Suppose l*h - 28 = 4*h. Is i(h) prime?
True
Is ((-55)/(-10))/(2/52) a composite number?
True
Let w be 44/7 - 6/21. Suppose -2*g - 3*g = -4*n + 4, 20 = 5*g. Is 128/n + (-2)/w a composite number?
True
Let s(u) = 2*u**3 + 3*u - 3. Let g(d) = d - 7. Let c be g(9). Let a be s(c). Suppose -x + a + 1 = 2*q, x + 3*q = 25. Is x prime?
False
Let l = 6 + -5. Let g be (2/(-4))/((-2)/52). Is g + (0 - l)*0 composite?
False
Let b(y) = 6*y**2 + y + 2. Is b(-9) a composite number?
False
Is (-773)/(-4) + (-24)/(-32) composite?
True
Suppose 4*k + 4 = 4*n, n + 0*k = -2*k + 7. Suppose -5*f + l = 2*l - 40, -2*f + n = 3*l. Suppose -f - 173 = -2*h. Is h prime?
False
Suppose -m - 4*m = 2*j + 14, -3*j = -5*m - 29. Suppose k - 1 = 0, -j*k + 72 = 5*n - k. Is n a prime number?
False
Suppose 0 = 3*g + 12, 2*g - 72 = 2*x - 310. Is x a prime number?
False
Let o(h) = 791*h**3 - h**2 - h + 1. Let b be -4*(18/(-8) + 2). Let d be o(b). Suppose 0 = 2*m + c + 2*c - 337, 0 = 5*m - 3*c - d. Is m a composite number?
True
Suppose 2*z - 54 = -0*z. Suppose s - z = -4. Is s a prime number?
True
Let i(s) = 2*s. Let l(q) = -q**2 - 3*q - 1. Let m be l(-2). Let p be i(m). Let g = 5 - p. Is g a composite number?
False
Let g be ((-4)/6)/((-10)/(-45)). Let f be (-1)/g*(2 - -1). Is (-3 - (-41)/1) + f a composite number?
True
Let k(c) = -3*c**2 + 3*c + 13. Let v(f) = -4*f**2 + 4*f + 12. Let u(x) = 5*k(x) - 4*v(x). Is u(9) a prime number?
True
Is 2778 - (0/(-3) + 1) a prime number?
True
Suppose -4*t = -7*t + 180. Suppose -h + 175 = t. Suppose 0*u - h = -u. Is u prime?
False
Let v(a) = 2*a**2 + 4*a + 5. Let c = -16 + -4. Let r be 34/(-8) + (-5)/c. Is v(r) prime?
False
Let c = 3835 - 2280. Is c a prime number?
False
Let g(p) = 5*p**2 + 4*p + 6. Let y be g(-4). Let o = 35 - 66. Let l = o + y. Is l a composite number?
True
Suppose -4*z = -3*z + 88. Let r = z + 134. Is r prime?
False
Let s = 4 - 4. Suppose s*o + 2*o - 2*g = 26, -8 = -4*g. Let a = 52 - o. Is a prime?
True
Suppose -966 = -5*x + 2*y, 5*x - 7*x - 2*y = -392. Is x prime?
False
Let c(m) be the third derivative of -m**6/120 + m**5/10 + 3*m**4/8 - m**3/2 - 3*m**2. Is c(7) prime?
True
Suppose 8*z - 10 = 3*z. Suppose 4*m = -m + z*r + 723, -4*m = r - 568. Is m a composite number?
True
Let v = 118 + -39. Is v composite?
False
Let n be (-15)/10*8/(-3). Suppose n*f + 18 = -p, 2*p = -2*f + 6*f. Let w = 59 - p. Is w prime?
False
Let b(d) = 15*d**2 + 2*d + 1. Let o be b(2). Suppose -3*k - 58 = -5*y - 3, 5*y - o = 5*k. Suppose 38 = 5*n + y. Is n a prime number?
False
Suppose 0 = 2*a + 2*a + 4*b, 2*a - 3 = -5*b. Let u be -1 - 1 - (a + -1). Suppose u = 3*d - d - 28. Is d composite?
True
Suppose -698 = -2*i + 4*i. Let l = 554 + i. Is l a prime number?
False
Is 2 - (278*9)/(-6) a prime number?
True
Suppose c + 4*v + 1921 = 0, -3*c - v = -8*c - 9521. Is c/(-21) - (-6)/21 a prime number?
False
Let f = 6506 - 4533. Is f prime?
True
Suppose 0 = 5*g - 20 - 0. Suppose 5*w - 549 = c + 2*c, -3*w = g*c - 341. Suppose 2*s + w = 5*n + 3*s, 0 = -n + 2*s + 31. Is n a composite number?
False
Let v(y) = -7*y**2 + 2*y - 4. Let w(d) = 15*d**2 - 5*d + 9. Let r(p) = -5*v(p) - 2*w(p). Is r(3) a composite number?
False
Suppose 3*r + 5*k - 7 = 9, -5*r - 3*k + 16 = 0. Suppose r*b + 300 = 4*u - 2*b, -2*u - b = -156. Is u prime?
False
Let a be 6/10 - 12/20. Suppose a = -i - 2*i + 66. Is i composite?
True
Let t(r) = r**3 - 3*r**2 + r - 2. Let h be t(5). Is h*3*(-2)/(-6) a composite number?
False
Suppose -5*y + 5 = -0*y. Is 81 - 2*(0 + y) composite?
False
Let a(r) = -r - 1. Let m be a(0). Is 2 + (4 - 45)*m a prime number?
True
Let c(a) = -a**3 - a**2 - a + 1. Let m(t) = 2*t**3 - t**2 + 7*t. Let s(r) = 3*c(r) + m(r). Is s(-6) composite?
True
Let h = 1 + 3. Suppose 15 = 3*g, h*g - 75 + 429 = 2*w. Is w prime?
False
Suppose 11 = 2*u - 7. Let a(b) = b**3 - 9*b**2 - 4*b - 6. Let q be a(u). Let h = 79 + q. Is h a composite number?
False
Suppose n + 399 = -4*t + 4*n, 2*t = -5*n - 193. Let p = 316 + t. Is p prime?
False
Let i(b) = -2*b**3 + b**2 + b + 19. Is i(0) composite?
False
Let d be (0 - -7)*2/7. Let a(x) = 88*x + 1. Is a(d) prime?
False
Let k(g) = -4. Let u(q) = 1. Let h(o) = k(o) + 5*u(o). Let v(a) = 5*a - 9. Let b(t) = -4*h(t) - v(t). Is b(-6) prime?
False
Suppose 4*t = 2*t + 10. Suppose 3576 = t*m + 1241. Is m prime?
True
Let f = 1646 + -880. Suppose 0 = 7*a - 2*a + l - 10, -22 = -4*a + 2*l. Suppose 0*d - f = -5*u + a*d, 0 = -3*u - d + 468. Is u a composite number?
True
Suppose t + 6 = 3*t. Let b(w) = w + 6. Let f be b(-8). Is t/f*8/(-3) a prime number?
False
Let o = -22 + 28. Suppose 4*w - p + 4*p - 203 = 0, 3*w = -5*p + 166. Let t = w + o. Is t a composite number?
False
Suppose 3*y = o - 303 - 53, -2*y - 1780 = -5*o. Suppose -6*v + o = -2*v. Is v a prime number?
True
Let z(o) = 4*o**2 + 1. Let b be z(-1). Suppose -5*i - 34 = -2*x + 279, 0 = -3*x + b*i + 462. Is x prime?
True
Let w(h) = -h**2 - 5*h + 4. Is w(-3) prime?
False
Let j be -25*(-12)/(3 - 1). Suppose 5*d + j = -5*u + 450, -150 = -3*u + 3*d. Suppose -3*b + 0*f + f + 46 = 0, 0 = 4*b + 5*f - u. Is b a composite number?
True
Suppose -4*j = -3*s - 16, 5*s + 0*s = 2*j - 8. Suppose 0 = 2*t - s*t - 74. Is t a composite number?
False
Let a(r) be the third derivative of -r**5/60 + r**3/3 - r**2. Let y be a(0). Suppose -3*m - y*m = -55. Is m a prime number?
True
Suppose 2199 - 6811 = 2*r. Is r/(-30) + 4/30 prime?
False
Let y be (-1 - 2) + (-7)/(-7). Let d(r) = 33*r**2 + 4*r + 3. Is d(y) composite?
False
Let n = 0 - -10. Let o(k) = -k**3 + 11*k**2 + k + 1. Is o(n) a prime number?
False
Let m = 9 - 6. Suppose -29 = 3*c - 5*c - m*l, 4*c = -l + 43. Is c a composite number?
True
Suppose y + 0*y = 21. Suppose y = 3*p - 0*p. Suppose p*z - 155 = 2*z. Is z composite?
False
Suppose -4*k - 1465 = -3*m - 2*k, -k + 1477 = 3*m. Suppose 4*n - 273 = m. Is n a composite number?
False
Suppose -5*h = -25 + 5. Suppose 4*v = -v - 5*z + 370, -5*z = -h*v + 251. Is v a composite number?
True
Suppose 639 = -2*q + 5*q. Suppose -2*n = -5*n + q. Is n a composite number?
False
Let i(a) be the second derivative of a**4/2 - a**3/6 + a**2/2 - 2*a. Let f = 1 - -1. Is i(f) prime?
True
Is (-2419 + (-4 - -6))*3/(-3) composite?
False
Suppose 0 = -x - v + 3, 0 = 3*x - 3*v + 2 + 19. Let n be ((-4)/3)/(x/3). Suppose n*w + w - 222 = 0. Is w a prime number?
False
Let y(h) be the second derivative of 3*h**5/20 - h**4/6 + h**3/3 - h**2/2 - h. Is y(2) prime?
True
Let x(c) = -5 - 5*c - c + 2. Let j be 3/2 + 22/(-4). Is x(j) prime?
False
Let l = 4 - 2. Suppose -2*z + 392 = 3*z + b, l*z - 3*b = 167. Is z prime?
True
Suppose -2*a + 428 = -266. Let l = 550 - a. Is l a prime number?
False
Is 3 + (-4)/1 + 128 prime?
True
Let q(y) = y**3 + y**2 - 4*y - 9. Is q(11) composite?
False
Let x = -4 - -7. Suppose -a + x + 0 = 0. Suppose 5*g + 2*w - 195 = 0, a*g + 3*w - 2*w = 116. Is g prime?
True
Is (-8)/(-44) - (-166383)/77 composite?
False
Suppose 3*i - 3327 = -3*a, 2818 = 4*i - 5*a - 1636. Is i a composite number?
True
Suppose 2*q + 9 = r, -5*q - 17 = 3*r - 0*q. Let x = -1 - -3. Let n = x + r. Is n composite?
False
Let h = 2 - 5. Let b be (-4)/6*(-9)/h. Is 3/b*318/(-9) prime?
True
Let f(s) be the second derivative of -11*s**5/20 - s**4/12 - s**2/2 + s. Is f(-2) composite?
False
Let f(i) = 506*i - 1. Is f(2) prime?
False
Suppose o = a + 1, 0 = -4*a + a + 4*o - 4. Let h(w) = 15*