?
False
Suppose 0 = -3*d + d - d. Suppose -3*w - 5*c + 431 = -c, 4*w - 2*c - 604 = d. Is w a prime number?
True
Suppose 0 = 21*y - 20537 - 6889. Is y prime?
False
Suppose -25*l - 64769 = -600219. Is l a composite number?
True
Suppose 22*z = 8*z + 2663542. Is z a prime number?
False
Let w(o) be the first derivative of 7/3*o**3 - 1 - 5*o - 1/2*o**2 + 1/4*o**4. Is w(-6) composite?
False
Let o be (-2)/9 + 60/27. Is (0 + 113)*(-1 + o) composite?
False
Let i(d) = -d - 1. Let m(t) = 27*t + 7. Let a(w) = 3*i(w) + m(w). Let x be a(5). Suppose x + 89 = c. Is c a composite number?
True
Suppose -5*p - 5 = 0, 3*p = -12*u + 17*u - 96358. Is u composite?
True
Is 29585/5 - (4 - -4) a composite number?
True
Let f(q) = -q**2 - 5*q - 2. Let t be f(-8). Let r = -11 - t. Let s = 44 + r. Is s a composite number?
False
Suppose 5*n - 4*h = 2*n + 69753, -2*h + 69753 = 3*n. Is n a prime number?
True
Let o be ((-866)/(-5))/(6/30). Let w = o - 211. Is w prime?
False
Let o(q) = q**3 + q**2 - 6*q - 25. Let b = 20 - 9. Is o(b) a composite number?
False
Suppose -25*q + 7293050 = 25*q. Is q prime?
True
Let n = -2526 - -6150. Suppose -4*c + n = 4*c. Let r = 66 + c. Is r a prime number?
False
Suppose -88*i - 16804 = -92*i. Is i composite?
False
Let h = 474 + 649. Is h a prime number?
True
Let v = -512 + 430. Let g be 14*((-13)/(-2) - -2). Let y = g + v. Is y prime?
True
Let d = -16127 - -30124. Is d a composite number?
False
Let k(b) = 2473*b - 218. Is k(7) prime?
True
Suppose -2*k + 4*d = 128, -5*k - d - 74 = 202. Let c = 433 - k. Is c a prime number?
False
Let z be -2 + (2 - 1)/(-1). Let i(k) be the third derivative of 17*k**5/60 + k**4/24 - k**3/6 + k**2. Is i(z) a composite number?
False
Suppose -4*u - 22 = -2*d, -3*u + 2*d - 26 = 2*u. Let s(p) = 25*p**2 - 2*p - 13. Is s(u) a composite number?
True
Suppose 0*y + y = 2*k + 1, -5*k + 25 = 3*y. Suppose 338 = y*u - 2057. Is u a composite number?
False
Let m(p) = p**2 + 8*p + 14. Let j be m(-6). Suppose 0 = j*x + 4*a - 152, 13 = x + a - 62. Is x composite?
True
Let o be 2*10*(1 + -2). Let r = -279 + 264. Is (-4)/o + (-1062)/r prime?
True
Let b be -4 - (-1 + 2 + -2). Let o be 0 - (-4)/(-4) - b. Is o/6 - (-17)/3 a prime number?
False
Suppose 6*p - 3549 = 297. Is p prime?
True
Let c(q) = q - 15. Let n be c(15). Suppose 4*a - 842 = 2*k, n*a = -2*a + 3*k + 427. Is a composite?
True
Let o(h) = -3*h + 17. Let q be o(4). Suppose 4*b + q*u = 11010 + 15151, -b - 5*u + 6544 = 0. Is b prime?
False
Let r(a) = 34*a**2 - a + 7. Let o be (0 + 1 - 4)/(-1). Let y be r(o). Suppose -3*s - b + 0*b + 233 = 0, -4*s - b + y = 0. Is s a prime number?
False
Let t(s) = -401*s + 123. Is t(-20) composite?
True
Let b be (-3 - -1 - -2)/((-16)/4). Suppose b = -4*f + 55 + 253. Is f a composite number?
True
Let o = -578 - -254. Suppose 0 = 2*x - 5*x + 3*k + 1863, 0 = 3*k + 12. Let l = o + x. Is l prime?
True
Let b(f) be the second derivative of -f**5/20 + 11*f**4/12 + 2*f**3/3 - 11*f**2/2 + 13*f. Is b(9) composite?
True
Let c(y) = 1066*y + 1147. Is c(7) prime?
True
Suppose 3738 = 8*i - i. Suppose 2*v = 5*v - i. Is v prime?
False
Suppose 3 = b - 1. Suppose -b*r - f = -r + 174, 2*f = 2*r + 108. Is (-9 + r)*2/(-4) prime?
False
Suppose -5*s - 76 = -s - t, -4*t - 56 = 2*s. Let u = s + 19. Is 28 - 1 - (u - -5) a prime number?
True
Let m = 31 + -15. Suppose -m*u + 13*u = -10689. Is u prime?
False
Let i(w) = w - 13. Let h be i(8). Is 1990 + -2 - (-5)/(h/(-3)) a composite number?
True
Suppose -320 = -2*m - 2*r, -m - 5*r - 43 = -187. Suppose -g - 2*a + m = 0, 4*g - 2*a - 2*a = 668. Is g prime?
False
Let j = -145 - -298. Let x = j - 81. Suppose 3*o + x = 231. Is o a composite number?
False
Suppose 7*n - 4*n - 78 = 0. Suppose 0 = 27*i - n*i - 2. Suppose i*l = 8, 0 = 3*y - 3*l + 4*l - 2755. Is y prime?
False
Let u(l) = -478*l + 1183. Is u(-43) prime?
True
Let j(n) = n**3 - 9*n**2 + 10*n - 10. Let x be j(8). Suppose 0 = 2*m + 6 + x. Is 1 + m + 3 + 51 composite?
True
Let t(c) = c**2 + 2*c - 14. Let z be t(-5). Is 809*(3/z + -2) a prime number?
True
Let p(r) = -237*r - 436. Is p(-5) a prime number?
False
Let l = 13 + -18. Let t be (4/2 - 19)*l. Let a = 182 - t. Is a composite?
False
Let f be 0/1 + (2 - 0). Suppose 0 = g + 3*o - 589, f*g + 0*g - 1184 = -4*o. Suppose 5*p - j - g = j, 5*p + 4*j - 574 = 0. Is p a composite number?
True
Suppose 375 = 2*h - 383. Suppose -h = -4*d + 97. Let g = d - 64. Is g a composite number?
True
Let p be 10 - (-1 + 5/(-5)). Let i be (p/(-20))/((-2)/10). Suppose 0 = c, 0*r - 4*c = -i*r + 753. Is r a prime number?
True
Suppose 5*h = -4*s + 3518, 5*s - 3*h + 4*h - 4387 = 0. Is s a composite number?
False
Suppose 8*h - 3*m - 13226 = 6*h, 5*h - 33027 = -2*m. Is h composite?
False
Let l = 35 - 70. Let k(o) = -50*o + 199. Let r be k(4). Is (l/20)/(r/844) composite?
True
Suppose 16*q - 14*q - 46843 = b, b - 23414 = -q. Is q a composite number?
True
Let i(w) = 255*w**2 + 6*w - 13. Is i(4) prime?
True
Let r(p) = 44*p**2 - 7*p - 22. Is r(5) a composite number?
True
Suppose 1300*i - 1287*i = 160667. Is i a prime number?
False
Let j(l) = -976*l + 582. Is j(-26) a composite number?
True
Suppose 3024 = 9*g - 6*g. Let o = g - 221. Is o composite?
False
Suppose -u + 4*y = -939, 2*u - 1466 = y + 384. Let o = -597 + u. Is o composite?
True
Suppose 0 = 115*d - 111*d - 1608. Suppose 5*z - d = -2*p, p - 5*z + 593 = 4*p. Is p a composite number?
False
Let m(j) = -3*j**2 + 4*j**2 + j**2 - 9. Let n = 97 + -104. Is m(n) prime?
True
Suppose 0 = 2*x + 1 + 1. Is -1 + -3 - (-196 - x) prime?
True
Suppose 21*g = 30722 + 2185. Is g a prime number?
True
Let t(k) = k**3 - 7*k**2 - 10*k + 13. Let q be t(8). Let j(m) = -147*m**3 + 2*m**2 - 4*m - 2. Is j(q) prime?
False
Let c(g) = 416*g + 477. Is c(10) a prime number?
True
Suppose 0 = -2*f + 3 - 1. Let g(h) = 397*h**2 - 2*h + 2. Is g(f) a composite number?
False
Let v(l) = l**2 + 5*l + 6. Let f be v(-3). Suppose f = 2*p - 6*p + 5596. Is p a prime number?
True
Let v be (147/1)/(-3) - 2. Let k(c) = c**2 - 17*c + 20. Let r be k(22). Let o = r + v. Is o a composite number?
False
Suppose 25247 = 31*w - 43046. Is w a prime number?
True
Suppose 5*o + 30 = c, -3*o + o = 10. Suppose 2*d - 2*v = -c*v + 64, 3*d + 4*v - 96 = 0. Suppose -d = -2*q + 12. Is q composite?
True
Let m be 9/(4/(1264/(-6))). Let l = 1059 + m. Let n = l - 348. Is n a composite number?
True
Let w be 6/((-3)/549*-2). Let m = 134 + w. Is m a composite number?
False
Is (3 + 22/(-4))*2 - -7288 prime?
True
Suppose -l - 5 = -2*l. Suppose -l*x - 2*i + 1653 = -0*x, 4*x + 5*i = 1319. Let y = 830 - x. Is y a composite number?
False
Is -4 - 2*585/(-6) a prime number?
True
Let c(f) = f + 1945. Is c(0) a composite number?
True
Suppose -126*c = -124*c - 1502. Is c prime?
True
Suppose 2*x - 5*x = 2*d - 30, -4*x - 2*d + 38 = 0. Suppose x*f - 3032 = -0*f. Is f a prime number?
True
Let z(w) = -w**3 + 2*w**2 + 2*w**2 - w - 5 - 8*w + 7*w. Is z(-4) composite?
False
Suppose -11*x + 10736 = 5*x. Is x a composite number?
True
Let z(q) = 2*q + 1. Let f(i) = 6*i + 1. Let v(k) = -f(k) + 4*z(k). Is v(8) composite?
False
Let g = 28 + -5. Is g composite?
False
Suppose p + 440 = 5*p. Let z(l) = -3*l**2 - 3*l + 1. Let w be z(-5). Let n = w + p. Is n a prime number?
False
Let k(w) = w**2 - 8*w + 3. Suppose -4 = p - 12. Let n be k(p). Suppose 0 = -n*v + 99 + 1356. Is v a composite number?
True
Suppose h - 5*h - 7590 = -2*x, -2*x - 2*h = -7578. Is x a prime number?
False
Suppose -3*u = -5*l - 14, 2*u - 7*u + 3*l = -18. Let n be ((-2)/u)/((-12)/36). Suppose 0 = 4*w + n*w - 186. Is w a composite number?
False
Suppose 13*d - 2144164 = -31*d. Is d prime?
True
Is 4/(-32 + -4) + 159016/36 prime?
False
Let m(j) = j**2 - 19*j + 30. Let a be m(18). Suppose 7*w + 2525 = a*w - 3*y, -3*w + 1526 = -4*y. Is w a composite number?
True
Suppose 7*a - 2*a - 20 = 0. Let m be 4 - (4 + -1 + a). Is (m - -478 - 4) + -2 composite?
True
Let w = 403 + -286. Suppose -2*r + w = r. Is r a prime number?
False
Suppose 4*q - 9864 = -8*q. Let k = q - 41. Is k prime?
False
Let u(k) = -k**3 - 13*k**2 - 4*k + 6. Let s be u(-13). Suppose -3*h = -176 - s. Suppose 0 = -4*n + 218 - h. Is n prime?
False
Let k = 120 - -118. Suppose k = 4*r + 90. Is r prime?
True
Let m(b) = -b - 4. Let p be m(-2). Let h(i) be the third derivative of -107*i**4/12 