umber?
True
Let i = 10 - 72. Let h = -2 - 2. Let p = h - i. Is p a prime number?
False
Suppose -6*t + 8 = -2*t. Suppose -t*q + 27 = -139. Is q a composite number?
False
Suppose -2*m - 59871 = -3*x, 0 = 2*x - m - 5373 - 34542. Is x prime?
False
Suppose j - 4*j = -15. Suppose -j = -3*q + 2*q. Suppose q*b + 212 = 3*p - 0*b, 0 = 5*p + 5*b - 340. Is p a composite number?
True
Is 2/(-4)*(4112/(-8) + 8) prime?
False
Suppose -25753 = 10*b - 300803. Is b composite?
True
Suppose 2*q + 5*p = 3565 + 3472, 0 = -q - 3*p + 3520. Is q a prime number?
True
Let t = 6226 + -4265. Is t a prime number?
False
Let l(n) = n**3 - 5*n**2 - 3*n - 8. Let x be l(6). Let k = -4 + x. Suppose k*g = 2*g + 568. Is g a composite number?
True
Let m = -18697 - -32448. Is m prime?
True
Let y(p) = -296*p**3 - 2*p**2 + 2*p + 1. Let h be 2/(12/(-4) + 2). Is y(h) composite?
False
Let o(r) = -2*r + 18. Let k be o(8). Suppose k*d = -3*d + 40. Is ((-3)/(-9))/(d/7032) a prime number?
True
Let f(y) = -1140*y + 83. Is f(-15) composite?
False
Let f(c) = -c**3 - 8*c**2 + c - 17. Let i be f(-15). Suppose 5*t + o = i, 2*t - o + 265 = 885. Is t a composite number?
True
Let k(q) = 911*q - 160. Is k(9) a prime number?
True
Suppose -5386 = -5*f - 3*v + 10975, 3*v = 6. Is f a composite number?
False
Let g = 30 + -3. Suppose -24*o = -g*o + 3297. Is o a composite number?
True
Let u be (12/((-16)/4))/(3/(-482)). Let j = u + -271. Is j a composite number?
False
Let k(i) = i**2 - 9*i + 1. Suppose 16 + 11 = -3*p. Is k(p) prime?
True
Let a = -18 + 5. Let i be (a - -12) + 0 + 2. Let q(y) = 67*y**2. Is q(i) prime?
True
Let k(y) = 1032*y - 431. Is k(26) composite?
True
Suppose 7*h = 2*h + 375. Let w(y) = -4*y - 5. Let x be w(-2). Suppose -u + 674 = 2*g, -h - 583 = -2*g + x*u. Is g a prime number?
False
Is 168/112*4966/3 a composite number?
True
Let k = -16825 + 23870. Is k composite?
True
Let k(z) = z**3 - 14*z**2 + 24*z - 7. Let s(b) = -b**2 - 11*b + 16. Let n be s(-11). Let o be k(n). Let w = o - 510. Is w a composite number?
False
Is (6 - (-123630)/(-12))/((-4)/8) composite?
False
Let c = 24 + -14. Suppose 3*h - c = -2*h. Suppose 657 = 4*a - 5*q, -a = -h*q - 150 - 15. Is a a composite number?
False
Let o = 754 - 377. Is o composite?
True
Suppose -2*a = y + 3*y - 554, 5*a = 3*y - 448. Suppose 4*h = 4*i, i = -5*h + h + 10. Is (y - 4) + i + 0 composite?
False
Let w(l) = -l**2 + 8*l + 3. Let z be w(6). Let q be z/30*(-281 - -1). Is 6/(3 + -1) - q a composite number?
True
Let u(g) = 120*g - 4. Let a be u(-1). Is ((-7)/(-4))/(-7)*a a composite number?
False
Let w = -65 + 35. Let m = -30 - w. Let f(r) = -r**2 + r + 391. Is f(m) a composite number?
True
Let g be 62/(-8) + (-9)/36. Is (-7086)/(-10) + g/(-20) prime?
True
Let j(u) = -u**2 + u + 269. Let z(v) = v**2 - 4*v + 4. Let p be z(2). Is j(p) prime?
True
Let i = 10 - 40. Is (904/12)/((-4)/i) a composite number?
True
Let r(v) = -v**3 + 4*v**2 - 2*v - 3. Let t be r(3). Let f = -1768 + 3644. Suppose 7*a - 3*a - f = t. Is a composite?
True
Let u(n) = 4*n**2 + 20*n - 81. Is u(-34) a prime number?
True
Suppose -5*x + 6225 = -b - 105, b = -5. Let m = x - 630. Is m composite?
True
Let a be 6 - 5/(20/16). Suppose -4*r + 55 = 5*p + 18, -5*p + 31 = a*r. Suppose -p*z - 2*t = -147, -3*t = 6 + 6. Is z a composite number?
False
Suppose -3*q = i - 724, -2*i - i - 4*q + 2197 = 0. Let b = i - 358. Let g = -266 + b. Is g a prime number?
False
Suppose -3*t = v - 33, -t - 49 = 2*v - 5*v. Is (v/10 - 2) + (-92148)/(-15) composite?
False
Let u(h) = 890*h**3 - h**2 - 26*h + 26. Is u(1) a prime number?
False
Suppose 2*c - 132 + 944 = 0. Let o = 899 + c. Is o composite?
True
Let m(q) = 4*q**3 - q**2 + 2*q + 4. Let g be m(-4). Let s = g + 698. Is s a composite number?
True
Suppose 0 = r - 6*r + 4*j - 34, 2*j - 12 = 2*r. Let y(t) = -33*t + 11. Is y(r) a prime number?
False
Let r = 7238 + -5137. Is r a composite number?
True
Let b(q) = 23*q + 13. Let n(t) = 22*t + 12. Let p(g) = -5*b(g) + 6*n(g). Let h(w) = 6*w - 30. Let i be h(7). Is p(i) composite?
False
Suppose -4*l - 2*w + 8636 = -8280, -5*w = 0. Is l a composite number?
False
Let j(t) = -1913*t + 4. Let q be j(1). Let g = -1328 - q. Is g composite?
True
Let v(j) be the third derivative of -j**9/8640 - j**8/10080 - j**7/5040 - j**6/80 + j**5/15 + 7*j**2. Let o(c) be the third derivative of v(c). Is o(-5) prime?
True
Is -7*(-1560 - (-4 + 9/3)) prime?
False
Let w(p) be the first derivative of -13*p**2 - 7*p - 11. Is w(-4) a composite number?
False
Let n = 55 - -751. Let h be n/10 + 4/10. Suppose -4*y + h = 3*d - 37, 5*y = -5*d + 145. Is y a prime number?
True
Let x(l) = 106*l**2 + l + 1. Suppose -k + 0 - 1 = 0. Let h be x(k). Let z = 297 - h. Is z composite?
False
Suppose 4*k = 3 + 5. Let t(b) = 3*b + 0*b**3 - 10 - b**3 + 10*b**2 - 2*b**k. Is t(8) a prime number?
False
Let o(p) be the third derivative of -p**6/120 - p**5/6 + p**4/6 - 5*p**3/2 + 11*p**2. Let s be o(-7). Let d = s + 333. Is d a prime number?
False
Suppose 4*l = -20, 6*z = 3*z + 4*l - 4477. Is (-9)/((-189)/(-14)) - z/3 a composite number?
False
Suppose 2*f = 2*z - 7016, -4027 + 507 = -z + 5*f. Is z a prime number?
False
Let f = 25071 + -13912. Is f composite?
False
Suppose 4*i + 102825 = 5*u, -26*i + 23*i = 4*u - 82291. Is u a composite number?
True
Suppose 0 = -2*w + 6, 274*f - 277*f - 4*w = -32829. Is f prime?
True
Suppose 32656 = -0*r + 4*r - 2*c, -3*c - 40818 = -5*r. Suppose -m + r = 5*m. Is m composite?
False
Let l(q) = 98*q**2 + 5*q - 17. Is l(6) a prime number?
True
Let o(x) = -18 + 21*x + 8*x + 35. Is o(6) composite?
False
Suppose -3*m + 3*n + n + 13 = 0, -5*m + 14 = n. Let p = 7 - m. Suppose 0 = -p*g + 6*g - 254. Is g a prime number?
True
Suppose 5*w - 4845 = -2*u, -6*u + 2*u + 9765 = -5*w. Is u a composite number?
True
Let y be (-5)/((-10)/8) - -1. Suppose 5*n - 24 = -4*k + 13, -4*n + 5*k + y = 0. Suppose 3*p - 37 = -2*j, 0*p + 3*j + n = p. Is p a prime number?
True
Let x = 66 + -6. Is ((-8020)/x)/((-1)/9) composite?
True
Suppose t + 10*t = 286913. Is t a composite number?
False
Let x(u) = -u**3 + 23*u**2 + 14*u - 10. Let s be x(27). Let m = s - -3909. Is m composite?
False
Let n be (-4)/26 - (-3180)/52. Let y(u) = u**3 + 4*u**2 - u - 4. Let t be y(-5). Let m = n + t. Is m prime?
True
Suppose f - 5 = -2. Suppose -g - f*l = -1 - 0, -2*g + 5*l = 9. Let o(c) = -20*c**3 - 2*c**2 - 2*c + 1. Is o(g) a prime number?
True
Let r be 32/5 + 2/(-5). Suppose 0 = r*v - 2*v - 1048. Suppose 6*t + v = 8*t. Is t a composite number?
False
Let j = -16 - -16. Suppose j = -2*q - 0*c - 2*c + 174, -5*q + 419 = -3*c. Is q a composite number?
True
Let u(o) be the second derivative of o**3/6 + 3*o**2/2 - 2*o. Let t be u(0). Suppose 3*v - 36 = -t. Is v a prime number?
True
Suppose 188394 = 5*j + j. Is j prime?
False
Let n = -64578 + 127727. Is n a composite number?
False
Let c(q) = -3*q**3 - q**2 - 3*q + 4. Let m be c(-3). Let r = m + -183. Is (-1129)/(-7) - (-28)/r a prime number?
False
Suppose -1889 = 9*n - 11744. Let w = 3198 - n. Is w a composite number?
True
Let r(a) = a**2 + 7*a + 2. Let x be r(-3). Let l = 3 + x. Let v(k) = -k**3 + 4*k + 2. Is v(l) a prime number?
True
Let m(n) = 202*n**2 + 6*n + 7. Is m(-5) a prime number?
False
Let d(h) = 16*h + 11*h**2 - 21*h + 9 + 12*h. Is d(-5) a prime number?
False
Suppose -5*f = -q - 2*q - 56, 4*f - 5*q = 50. Suppose -f = 2*s + 2*k, -k + 0 = -s - 3. Is 348/8 + 2/s prime?
True
Let y = 10 + -7. Suppose 5 = -2*p + y*v - 22, 4*v = p + 6. Let z = p - -55. Is z composite?
False
Let d(b) = -3*b. Let j be d(4). Is (-6)/j - 1089/(-2) a composite number?
True
Let a = -21 - -33. Suppose 4*w = w + a. Suppose 0*h - 3*g - 260 = -h, w*h = 3*g + 1049. Is h prime?
True
Suppose 89*o = 88*o + 1949. Is o prime?
True
Suppose 0 = -18*n + 15*n + 31935. Is n a composite number?
True
Let y = 14830 - 10113. Is y composite?
True
Suppose d - 2704 = -4*p, 4*p - 2*d - 2688 = d. Let y = p - 26. Is y composite?
True
Let w(x) = -x**3 - 5*x**2 + 2*x - 11. Let i be w(-5). Is (-36380)/(-14) + i/(-49) a composite number?
True
Let v(b) = b**2 + b - 85. Let y be v(0). Let d(x) = 9*x - 3. Let a be d(5). Let o = a - y. Is o composite?
False
Let p(i) = -21*i + 29. Let y(b) = 64*b - 87. Let g(x) = -17*p(x) - 6*y(x). Is g(-18) a prime number?
False
Suppose r = -9*x + 11*x - 1697, 4*x