 = -918 - -2453. Is a a prime number?
False
Suppose -29*h - 879 = -32*h. Is h prime?
True
Suppose -2*p - 15 = 3*j, -4*p - 4*j - 15 = 5. Suppose 4*w = 4*b - 1016, p*b = b + 3*w - 250. Is b a prime number?
False
Let t be -11 + (-2 + 3)/1. Let d(p) = 32*p**3 + 2*p**2 - 2*p + 1. Let r be d(1). Let y = r + t. Is y a composite number?
False
Suppose -2*t - c = -636, t - c - 91 = 230. Is t a prime number?
False
Let a(d) = -1478*d**3 - d**2 - 3*d - 2. Is a(-1) prime?
False
Let t(f) = -5*f**3 - 2*f**2 + 6*f + 12. Is t(-5) a prime number?
True
Suppose -8*c + 7*c = -395. Is c a prime number?
False
Suppose -g + 8 = -5*g, 0 = -2*j - 5*g + 140. Suppose 129 = 4*h - j. Is h a composite number?
True
Let y be ((-44)/(-3))/((-6)/(-63)). Is y/10 + (-8)/20 a prime number?
False
Let f(r) = 77*r**2 - 2*r + 1. Let z be f(1). Suppose v - z + 21 = 0. Is v prime?
False
Let t = 4 + 6. Let i = 9 - 6. Is (-7)/(i + t/(-3)) a prime number?
False
Let p(f) = -1. Let t(i) = -i - 6. Let j(l) = 11*p(l) - 2*t(l). Is j(7) composite?
True
Suppose 766 - 2496 = -5*k. Let a = k - 191. Is a composite?
True
Let w = -227 + 384. Is w composite?
False
Let d(j) = 8*j**2 - 2*j + 1. Is d(-3) a prime number?
True
Is (2/3)/(6/1899) prime?
True
Let s be (13/(-2))/(1/(-24)). Let q = s - 77. Is q a prime number?
True
Let h = 69 - 111. Let r = h - -79. Is r a prime number?
True
Suppose 236 = w + 35. Is w a composite number?
True
Let v(r) = 4*r - 3. Let u be v(7). Let h(p) = 2*p**2 + p + 2. Let m be h(6). Let s = m - u. Is s a prime number?
False
Let n = -106 + 156. Suppose 5*c + 5*r = -n, 2*c + 0*c - r = -20. Is ((-36)/c)/((-4)/(-10)) composite?
True
Suppose 3*h + 0*h = 6. Let c(r) = r**2 + 15*r**h - 3*r - 2 + 4. Is c(-3) a composite number?
True
Let n(q) = -6*q**2 + 5*q - 2*q**2 - 1 - 4*q + 2*q**2 - 5*q**3. Is n(-3) composite?
True
Let q(y) = 123*y**2 - 4*y - 6. Let t(w) = 62*w**2 - 2*w - 3. Let z(r) = 4*q(r) - 7*t(r). Is z(-2) composite?
False
Let w be -2 + 2 - 12/(-3). Suppose -3*n + w*n + 4 = 0, -j + 74 = -4*n. Is j composite?
True
Suppose -9*y = -1541 + 362. Is y composite?
False
Let f(p) = -58*p + 3. Is f(-4) a composite number?
True
Let l be (-6)/(-3 + (-6)/(-4)). Suppose -2*m = -l*m + 446. Is m a composite number?
False
Let b(r) = 10*r + 6. Let v be b(9). Suppose 2*l = -v - 6. Let s = 43 - l. Is s prime?
False
Suppose 2*q - 4*q + 6 = 0, q - 1937 = -2*c. Is c prime?
True
Let f(j) = -j + 206. Let t be f(0). Let v = t + -57. Is v prime?
True
Suppose -2*i = -4, -1 + 3 = 2*n - 2*i. Let r be (n/(-2))/((-18)/24). Suppose -r*z + 4 = -0. Is z a prime number?
True
Let f = 599 + -389. Suppose 2*m - 4*y = f, 5*m - 420 = 3*y + 70. Is m prime?
False
Let k(o) = -o - 1. Let a be k(-3). Suppose 2*x = -a*x + 60. Is x prime?
False
Let d = 79 - -15. Is d a prime number?
False
Let i = -4 - -7. Suppose i*s + 8 = 7*s. Suppose s*c + 3*c = 485. Is c a prime number?
True
Let r = -164 + 84. Let p = r + 167. Is p a composite number?
True
Let k be 4/32*4*6. Suppose d - 1677 = -5*l - 0*l, 1003 = k*l - d. Is l a composite number?
True
Suppose -i = 3*n - 2*i, -3*i = -n. Suppose n = -4*d + 73 + 59. Is d a prime number?
False
Let l(t) = 32*t**2 + 3*t - 3. Is l(-4) prime?
False
Let p = -1 - -6. Suppose -65 = 2*m - 6*m + p*v, 0 = -2*m - 5*v - 5. Is m prime?
False
Let l(w) = -w**3 + 5*w**2 + 5*w + 4. Let c be l(6). Let k be c/((2/28)/(-1)). Suppose 2*z = 5*o + 122 - k, -z + o = -41. Is z a composite number?
False
Suppose 2*f - 10 = 52. Is f a composite number?
False
Suppose -i - 8 = t, 6*t = 5*t - 2*i - 12. Let y be 68/(-6)*(1 + t). Let b = 71 - y. Is b prime?
True
Suppose 4*b = -2*t - 225 + 967, -401 = -t + 4*b. Is t a prime number?
False
Let t(j) = -j**2 + j - 10. Let f(x) = x**2 + 9. Let b(s) = 7*f(s) + 6*t(s). Let n be b(-7). Let m = 24 - n. Is m composite?
True
Let l = -22 - -17. Let k = -3 - -8. Is 423/k - 2/l composite?
True
Suppose 2*w = 13 + 5. Suppose w*b = 5*b. Suppose 4*y + b*y - 340 = 0. Is y a composite number?
True
Let q = 3 + -1. Suppose -5*c = q*h - 339, 2*h - 287 = c + 22. Is h composite?
False
Suppose 4267 - 24899 = -8*m. Is m prime?
True
Let k(w) be the third derivative of -w**2 + 0 + 0*w + 7/24*w**4 + 5/3*w**3. Is k(7) composite?
False
Suppose -4*n + 83 = -761. Is n a composite number?
False
Let t = -1016 - -4179. Is t a composite number?
False
Let n(q) = -q**2 + 3*q + 3. Let b be n(4). Let u = 18 - b. Is u prime?
True
Suppose 33 = -3*n - 12. Is (n - -10)*2*-1 prime?
False
Let a(r) = -r**2 + 8*r + 2. Let j be a(8). Suppose 4*w + 115 = j*o - 175, -615 = -4*o + w. Is o a composite number?
True
Let y(d) = 6*d**2 - 8*d + 19. Is y(-20) a prime number?
True
Is (-1140)/(-9) + 2/6 composite?
False
Let p(u) = 16*u - 5. Let y be p(5). Let o = y + 125. Suppose -o = -2*b + 270. Is b prime?
False
Suppose -5*h = -0*h - 25. Suppose 0 = -3*f - l + 7, 3*l = h*f + l - 30. Suppose -50 = -3*a - 5*y + 52, -f*a + 2*y = -136. Is a a composite number?
True
Suppose 7*f - 7091 = 4*f - 4*z, 4*f + 3*z = 9450. Is f prime?
False
Suppose -5*k + 7 = 2*h, 3 - 1 = -2*h + 4*k. Let i(y) = 2*y**2 + 4. Let l be i(-4). Suppose d = l + h. Is d prime?
True
Let i(f) be the first derivative of -2 + 3*f**3 + f - 1/2*f**2. Is i(-4) a prime number?
True
Is (-8)/(-32) + 619/4 a composite number?
True
Suppose 2*c + 16 = 210. Is c a composite number?
False
Suppose -3*y + 4*o + 62 = -3, -2*y + 30 = 4*o. Suppose -5*u + 2*b + 182 = -y, 4*u = -2*b + 150. Is u prime?
False
Let p = 93 - 26. Is p prime?
True
Let u(p) = -p**3 + 2*p**2 + 2*p - 2. Let v be u(2). Let r(m) = 3*m**2 + 2*m - 2*m + 2*m - 3. Is r(v) prime?
True
Let h(u) = u - 11. Let j be h(8). Let i(x) = -x**3 + 7*x**2 - 7*x. Let m be i(5). Is (-5)/j - (-5)/m a prime number?
True
Suppose 3*g = -4*s + 2288, 0 = -2*s - 0*g + 2*g + 1144. Suppose s = 4*d - v - 269, -3*v = -3*d + 624. Is d a composite number?
False
Suppose 8*v - 5896 = -0*v. Is v composite?
True
Let r be (-3)/(-4) + (-2)/(-8). Let v(q) = 2*q. Let b be v(1). Is (r/b)/(1/46) composite?
False
Let v(c) = c**2 + 4*c - 34. Is v(-16) composite?
True
Suppose r + 4*r = 10. Suppose 2*n + 164 = -r*n. Let q = 62 + n. Is q a prime number?
False
Let x(a) = 19*a**3 + a**2 - a + 1. Is x(2) a prime number?
False
Let v = 3 - -5. Suppose 3*j - v = j. Suppose -532 = -j*p + 180. Is p a prime number?
False
Suppose 0 = 4*a - 1170 + 418. Suppose -a = t - 0*t. Let j = 265 + t. Is j a prime number?
False
Suppose -4*z + 15 = -9*z + 5*i, 2*i - 8 = 0. Is z/(-3) - 6070/(-30) a composite number?
True
Suppose z + 40 = -4*z. Is z/10*(-925)/10 a composite number?
True
Suppose x - 4*x - 1053 = 0. Let k = 542 + x. Is k prime?
True
Suppose -3*i + 24 = i. Suppose -k - 2*g + 18 = 0, 3*k - 5*g = -i*g + 44. Is k prime?
False
Let w = -5 + 20. Suppose -73 - w = -4*q. Is q a prime number?
False
Let g(f) = f**2 + f + 1. Let s be g(-2). Suppose -3*h + 31 = x, -3*x + 56 = -s*h - 13. Is x composite?
True
Suppose 0 = -4*k - 4*g + 64, -3*g - 12 = -4*k + 24. Suppose k = 3*u + u. Is u/(-12) + (-26)/(-8) composite?
False
Suppose -9 = 3*l, 0 = -2*u + 4*l - 2*l + 12. Suppose -4*y + 0*z - 4*z + 24 = 0, -u*y - 2*z = -21. Is y a composite number?
True
Let k(o) = 4*o + 2. Let z(n) = n**3 - 6*n**2 - n - 2. Let w be z(6). Let i be k(w). Is (1 + 0)/((-3)/i) composite?
True
Let j = 168 + 419. Is j a composite number?
False
Suppose 0*k - h - 5 = 2*k, -4 = 4*h. Is (k - -1)/((-1)/19) composite?
False
Suppose -7*q + 2*q = -555. Is q a composite number?
True
Let q be 0*((-5)/(-2) + -2). Let d(b) = b**2 + 2*b + 631. Is d(q) composite?
False
Let t = 363 - 232. Is t a composite number?
False
Let f(v) be the second derivative of 29*v**7/210 - v**5/120 + v**3/3 + v. Let n(c) be the second derivative of f(c). Is n(1) composite?
True
Let w be 3*-209*1/(-3). Suppose 375 = 4*t - 5*d, -4*t + 4*d = w - 585. Is t a composite number?
True
Let j = 1404 + -727. Is j a composite number?
False
Let r be ((-10)/(-6))/((-1)/3). Let b = r - -5. Is 2 - (1 - b) - -126 composite?
False
Let g be (-6)/(-8)*2*2. Suppose g*d + 3*f = 33, -f + 2*f - 47 = -5*d. Is 759/d + (-4)/(-6) a prime number?
False
Suppose 4*y - 5*g = 156, 2*y - 4*g - 204 = -3*y. Suppose 5*r - y - 341 = 0. Is r a composite number?
True
Let s(r) = 19*r + 14. Is s(11) composite?
False
Suppose 2639 = 5*p - 2*j - 1618, -4*j + 2575 = 3*p. Is p a composite number?
Fals