 -2*b + 4*k - 915, -8780 = -4*b - 5*k. Is b a composite number?
True
Is ((-92)/6)/(12/(-342)) a prime number?
False
Suppose -9 = c - 2*p, 6*p = -4*c + 3*p - 3. Is ((-1)/(-1))/(c/(-141)) composite?
False
Suppose -5*q + 6 = -3*q. Suppose 288 = 3*p + h, -q*p + 182 = -p + 4*h. Is p a composite number?
False
Let l(t) = -t**2 - 10*t. Let k be l(-10). Let m be (-1 + 4 - k) + -281. Let r = m + 547. Is r composite?
False
Let k = -681 - -1582. Is k a prime number?
False
Let c(r) = 19*r + 29. Is c(18) a composite number?
True
Let t(c) = 11*c + 1. Is t(6) a composite number?
False
Suppose -3*f - 9551 = -8*f + 4*q, -7644 = -4*f + 4*q. Is f composite?
False
Let m(i) = 39*i + 73. Is m(26) prime?
True
Let d be (-3 - (-5)/2)*0. Suppose d = -k + 3*k - 94. Is k a composite number?
False
Suppose 0*o - 8 = -2*o. Let w(p) = p**2 - 3*p - 1. Let b be w(o). Is (6 - b)*7/3 a composite number?
False
Let i be -3 + (-1 - (-14 + 4)). Is 2/i + (-740)/(-30) composite?
True
Let d be 31 + -3 - (0 - -1). Suppose i - 2*i - 5*f = -25, 3*i + 3*f = d. Suppose 151 = 4*c - 4*b - 9, -95 = -2*c + i*b. Is c a prime number?
False
Let u = 9 + -6. Suppose -7*j + 1324 = -u*j. Is j a composite number?
False
Suppose 3*a - 5*y = -0*a + 13, -y = 2. Suppose 0 = o + a - 10. Is o composite?
True
Let v(w) = 51*w + 40. Is v(17) a prime number?
True
Let w be 704 - 0 - (1 + 2). Suppose 3*h - w = a, -3*a + 227 = h - 0*h. Is h a composite number?
False
Suppose 4*q - 165 = -45. Suppose 3*b + q - 99 = 0. Is b composite?
False
Suppose -6*f + 1590 = -0*f. Is f prime?
False
Suppose 0 = -6*h - 159 + 1269. Is h a composite number?
True
Let w(y) = -264*y. Let b(l) = -11*l. Let k(f) = 143*b(f) - 6*w(f). Is k(2) a prime number?
False
Let k(h) = 3*h**2 + 16*h + 10. Let x be k(-6). Suppose 5 = 3*l + 2*l. Let j = x - l. Is j composite?
True
Let v be ((-1)/1)/(-1)*9. Suppose -3*q + 1002 = v. Is q a composite number?
False
Let r(t) = 175*t + 16. Is r(3) composite?
False
Suppose -292 - 910 = 2*a. Let y = -1141 - a. Let p = -329 - y. Is p a prime number?
True
Suppose 0 = -3*t - 2*r + 185, -55 = -t - 0*t - 4*r. Suppose y - 4*y = -t. Is y prime?
False
Let t = 1 - -4. Suppose 0 = 5*c + 5 + t. Let p = c - -5. Is p prime?
True
Let g be 3 + (-1 + 2 - -1). Let d = 4 - g. Is d/(-4) - 294/(-8) composite?
False
Let d(f) be the second derivative of 7*f**5/20 - f**4/12 + f**3/3 - 3*f**2/2 + 5*f. Is d(2) prime?
True
Let t(r) = r**2 - 7*r + 2. Let k(d) = 2*d**2 - 14*d + 5. Let v(w) = 2*k(w) - 5*t(w). Let q be v(7). Suppose 0*a + a - 67 = q. Is a prime?
True
Is ((-3689)/(-3) - 3) + 4/(-6) prime?
False
Is -7*(-1)/(-2)*-166 a composite number?
True
Let p = -2 - 2. Let j be p/18 - 8/(-36). Suppose -m + 32 - 7 = j. Is m a composite number?
True
Let t be ((-1)/(-2))/((-2)/(-8)). Suppose 5*d - 2 = -5*o + 8, -t*d - 4 = 0. Suppose -6*g + g = -o*c + 47, 2*c + 3*g = 29. Is c composite?
False
Suppose -4*g - 516 = -n - n, -g - 1018 = -4*n. Is n a composite number?
True
Let r = 564 + -310. Suppose 0 = -5*a - r + 1249. Is a prime?
True
Let j = 301 + -174. Is j prime?
True
Suppose 0 = -3*y + 5*x + 27, -y + 0*x - 2*x - 2 = 0. Suppose -y*o + 218 - 70 = 0. Is o prime?
True
Suppose -261 = -4*g - 0*g + x, 2*x + 2 = 0. Suppose 0 = -2*t - 3*t - g. Let m = 44 + t. Is m a prime number?
True
Let v be 3212/16 - 2/(-8). Suppose -128 = -5*f + n + v, 305 = 5*f + 5*n. Is f prime?
False
Suppose -2*m + 1 = 4*v + 7, -5*m = 2*v - 17. Suppose -3*c = -m*j - 384, 4*j + 256 + 264 = 4*c. Is c a prime number?
False
Suppose -4*r + 8 = 0, -2*a = -0*r - 5*r + 436. Let n = -100 - a. Is n a prime number?
True
Let g(n) = 2*n - 19. Let m be g(7). Let w(u) = -12*u - 3. Is w(m) a composite number?
True
Suppose -2754 = 3*p - 5*p - 4*q, -5*q + 1371 = p. Is p a prime number?
True
Let d be -5*((-3)/15 + -1). Suppose d = -2*i + 4*i. Suppose -15 = i*z - 4*z. Is z composite?
True
Let h(f) = f**2 - f - 2. Let i be h(3). Suppose 0 = 4*g - 4*z + 2*z + 34, 0 = i*g + z + 49. Let m = g - -21. Is m a composite number?
True
Let m(j) = -64*j**3 + 1. Let q(b) = b**2 - 4*b - 1. Let d = 9 + -5. Let f be q(d). Is m(f) composite?
True
Let y be ((-1)/3)/((-4)/300). Is 10/y + (-393)/(-5) a composite number?
False
Is 2/(-6)*(-1465 - -4) + -2 a prime number?
False
Let u = 65 + 476. Is u a prime number?
True
Let i = -25 - -164. Is i a prime number?
True
Let c(d) = 10*d - 9. Let q(z) = 3*z**2 + 3*z - 2. Let v be q(2). Let m = v - 10. Is c(m) composite?
True
Suppose 1 = s - 1, 5*m = -5*s + 21365. Is m a composite number?
False
Let f(a) = -a + 30. Let i be f(0). Suppose -3*m + i = -5*m + 5*w, 0 = -4*w + 16. Let q(p) = -p**3 - 5*p**2 - 6*p + 1. Is q(m) a prime number?
True
Let k(z) = -17*z + 23. Is k(-19) composite?
True
Suppose c - 2*d - d - 2513 = 0, -5*d + 12565 = 5*c. Is c prime?
False
Let l(f) = 2*f**2 - 2*f - 13. Is l(7) a prime number?
True
Suppose -z = 2*z - 9. Suppose z*k - 10 = 26. Is (-8)/k + (-32)/(-3) a prime number?
False
Let v(y) = -y**2 - 5*y - 4. Let f be v(-5). Let b = f - -225. Suppose -2*r - b = -4*c + r, -259 = -5*c - 2*r. Is c prime?
True
Let v = 17 - 31. Let p be 1/(-2) - (-7)/v. Let l(q) = -142*q**3 + q. Is l(p) a composite number?
True
Suppose 344 + 1003 = 3*d. Is d a composite number?
False
Let y be 1*2 - (5 - 7). Suppose z - s + 111 = y*z, 4*z - 148 = 5*s. Is z a composite number?
False
Let m = 5656 + -3963. Is m composite?
False
Let g = -1427 + 2172. Is g prime?
False
Let j be (-6)/(-3)*70/(-4). Is 5/2*(-742)/j composite?
False
Let a = 17 + -15. Is 3 + a*161 + -2 prime?
False
Suppose 0 = 4*q - 9*q + 3815. Is q a composite number?
True
Let g be (4 - 2) + 3 + -1. Suppose -g*f = -2*f - 66. Is f a prime number?
False
Is 22/(-33) + (-10486)/(-6) a composite number?
False
Let c(o) = o**3 - o**2 + 3. Let t be c(0). Suppose 6*j - t*j = 753. Is j a prime number?
True
Let f(s) = s**3 - s**2 - s + 4. Let i be f(0). Let u be i - 2 - (-53 - 1). Suppose -2*p = 2*p + j - u, -2*p - 4*j + 42 = 0. Is p composite?
False
Let u be (-839)/(-3) - (-2)/6. Let t = -170 + u. Suppose 2*o - t = -0*o. Is o a composite number?
True
Suppose -4*a = -0*a - 4. Suppose -a = m - 54. Is m prime?
True
Suppose 3*b - 1 - 3 = w, -5*w + 2 = -4*b. Suppose w*s = -s + 447. Is s a composite number?
False
Let f(x) = -x**3 + 9*x**2 + 2*x + 7. Is f(9) a composite number?
True
Suppose 0 = 12*c + 9796 - 87424. Is c composite?
False
Let d(b) = -8*b - 1. Let c(m) = m**3 + 7*m**2 + 6*m - 3. Let q be c(-6). Is d(q) composite?
False
Suppose 2*s - s + 28 = -4*r, 2*r + 10 = 0. Let d(j) = -2*j + 5. Is d(s) a prime number?
False
Let c(t) be the first derivative of -17*t**4/4 + t**3/6 + t**2/2 - 2. Let l(x) be the second derivative of c(x). Is l(-2) prime?
False
Let a(v) be the first derivative of -1/3*v**3 - 1/2*v**2 + 2 + 7*v. Is a(0) a prime number?
True
Let m(r) = 442*r**2 + r. Is m(1) composite?
False
Suppose 5*j = -0 + 35. Is 1*(-3 + j*98) a composite number?
False
Let o(i) = -4*i + 12. Let b be o(9). Let h = b + 77. Is h a composite number?
False
Is 633/(-2)*6/(-9) a prime number?
True
Suppose 2*b = -3*z + 229, -2*z - 3*z + 2*b = -387. Let h = z - 44. Is h prime?
False
Let r(v) = -107*v + 3. Is r(-2) a composite number?
True
Suppose 5*w = 5 + 15. Suppose -w*r + 259 + 385 = 0. Is r a composite number?
True
Let h(f) = 3*f + 1 - 4*f - 3. Let c be h(-3). Is 1 + c/((-3)/(-390)) prime?
True
Suppose 2*y - 8*y = -894. Is y a composite number?
False
Let l(t) = 4*t**2 + 30*t - 43. Is l(18) a composite number?
True
Suppose 3*m + 2*z - 1120 = 111, 0 = 2*m + 2*z - 822. Is m a composite number?
False
Suppose -4*i - 5*k + 834 = 0, -2*i + 5*i + 5*k - 623 = 0. Is i a composite number?
False
Suppose -h + 2*k - 4*k + 229 = 0, h - 3*k - 214 = 0. Is h a composite number?
False
Suppose -7955 = -16*h + 2813. Is h a composite number?
False
Let a(w) = 6*w**3 - 5*w**2 - 7*w + 5. Let n be a(5). Suppose -5*c = 4*k - 22, -14 = 5*k - 4. Suppose -c*p = -p - n. Is p a composite number?
True
Suppose y - 2*y = p - 262, 3*y - 768 = 3*p. Is y a composite number?
True
Let l = -13 + -20. Let v = 56 - l. Is v composite?
False
Suppose 0 = -4*v - 3*a + 5339, 5*v - 7722 + 1049 = -4*a. Is v a composite number?
True
Suppose -33 = 5*s - 8, -1412 = -3*j - 5*s. Is j a composite number?
False
Let k(s) = -s**2 - 9*s - 9. Let d be k(-7). Suppose -6*y - 4*q = -2*y - 12, 0 = -d*q + 5