rue
Suppose 29*c - 9 = 26*c. Suppose c*d - 825 = 360. Is d composite?
True
Suppose -1426*c + 1438*c - 818412 = 0. Is c a composite number?
True
Let o be (-2*4)/(10/5). Is (79/3)/(o*4/(-336)) a prime number?
False
Suppose -5*q = -8*q + 15. Suppose q*r - 62 = -w, -4*w + w + 246 = 3*r. Is w a composite number?
True
Suppose -3*l = 0, -5*c + 3*l - 4*l + 5845 = 0. Is c a prime number?
False
Let j(z) = 15*z**2 - 4*z + 7. Let d be 6/(-27)*6*3. Is j(d) prime?
True
Let b(h) = -145*h + 37. Suppose -2*d - 59 = -47. Is b(d) a composite number?
False
Let j(l) = -2*l**2 - 48*l + 1. Let a be j(-24). Suppose 2*v - 10 = 0, v + 5 = 4*i + 2. Is (a*i)/(6/159) a prime number?
True
Let p = 526 + -47. Let v be ((-1)/(-3)*3)/(9/(-1602)). Let n = v + p. Is n a prime number?
False
Let r(a) be the second derivative of 3*a**3 + 21*a**2/2 + 20*a. Is r(15) a prime number?
False
Let s be -3*1 - (8/(-4) - 4). Suppose 3*h - 4*w = 3711, s*w - 4*w = 5*h - 6208. Is h composite?
True
Let v = -565 - -818. Suppose -4*w + 4*g = -1784, 0 = -0*w - 5*w - 4*g + 2239. Let m = w - v. Is m a composite number?
True
Let f(q) = q**3 + 7*q**2 + 5*q + 3. Let s be -2 - (3 - (-2)/(-2)). Is f(s) prime?
True
Let o be 30/(-50)*-1*5. Suppose 6*w - 2007 = -o*w. Is w a prime number?
True
Suppose 0 = 2*l + 3*l. Suppose l*p = -3*p + 1425. Suppose -5*n - 5*i = -p, -4*n - 2*i + 344 = -7*i. Is n a composite number?
True
Let z = 5119 + 7869. Is (z/6 - 6/9) + 3 prime?
False
Suppose -12 = -4*z - 0*q + 4*q, 2*z = -4*q + 36. Is z/2*581/28 a prime number?
True
Suppose 0 = -101*b + 100*b + 1753. Is b a composite number?
False
Suppose -298*b - 63581 = -305*b. Is b composite?
True
Suppose 0 = -36*n + 220910 + 1051942. Is n a composite number?
True
Let s = 20577 - 3050. Is s a prime number?
False
Let p be -1 - 10/(-2) - -1. Let b be (2/(-4))/(p/(-5990)). Let x = b + -394. Is x composite?
True
Suppose -2*l = -6*l - 8. Suppose 4*q - 16 - 1 = -o, -5*o = 3*q - 34. Is 99 + (-1 - l) + q a prime number?
True
Suppose -2*n + 18 = 5*r, 0*n = -5*n + 20. Suppose -22 = -0*j + 2*j - 3*u, -r*j - 18 = -2*u. Is 165/6*(-3 - j) composite?
True
Let l(k) = 24 - 3 - 17*k - 5*k**3 + 4*k**3 + 12*k**2 + 5*k**2. Let a be l(16). Is (-4)/(-10) - (-1533)/a prime?
True
Let v = 13683 - 5837. Suppose -7*j = -1681 - v. Is j a prime number?
True
Let g = 1552 - 1073. Is g composite?
False
Let j(g) = 498*g**2 - 14*g + 139. Is j(-12) a prime number?
True
Let f = 284 - 285. Suppose -3*h + 4 + 9 = x, 31 = 5*h - 3*x. Is (-94 - f)/((-3)/h) a composite number?
True
Suppose 3*d = d + 2*o + 14, 0 = 5*d + 5*o - 45. Suppose -4*p = -4*v - 120, 4*p + 3*v + d = 163. Is (p/15)/((-1)/(-3)) prime?
True
Suppose -4*u - 910 = -55002. Is u a composite number?
False
Let t(d) = 74*d**2 + 75*d + 7. Is t(-12) a prime number?
False
Suppose 0 = 2*z + n + 9, -2*z + 5*z - 14 = 4*n. Let m be (-201)/z*(-16)/(-24). Suppose m = -2*i + 185. Is i prime?
True
Suppose -4*g - 10265 = -3*k, 4*k + 0*g = g + 13678. Is k a composite number?
True
Suppose -2*v + 3*p = -36, 8 = -3*p + p. Suppose 3*w = v, -5*j + w = 3*w + 22. Is j/10 + (-1704)/(-15) a prime number?
True
Suppose -6*j = -5*j - 816. Let p = j - 49. Is p composite?
True
Suppose -6*d + 275 = -d. Suppose -60*r = -46*r - 1876. Let x = r - d. Is x composite?
False
Let z = -867 - -376. Is (-30)/(-15) - (z + 0) a prime number?
False
Let x(f) = -542*f + 5. Is x(-1) a composite number?
False
Suppose -10*x = 1512 - 5992. Let z = 13 - 10. Suppose -20 = -4*n, z*n - 626 - x = -3*g. Is g a prime number?
True
Suppose -44 = 4*z + r + 184, 2*z = 3*r - 100. Let s = 133 + z. Is s composite?
True
Let u(z) = 29*z**2 - 6*z - 4. Let f(w) = -w**3 + 8*w**2 + 9*w + 5. Let p be f(9). Is u(p) composite?
False
Let u(z) = 2308*z**2 + 5*z + 13. Is u(-2) a composite number?
True
Let o = -4604 - -8695. Is o prime?
True
Suppose 22*y = 1097172 + 1327690. Is y prime?
True
Let y be 180/15 - (0 + 1). Let m(i) = -8 - 5*i + 4*i + 2*i. Is m(y) prime?
True
Let b(u) = -204*u - 8. Let j(z) = z - 1. Let r(o) = -b(o) - j(o). Is r(4) prime?
True
Let n(v) = v**3 - 21*v**2 + 17*v + 35 + 2*v**3 - 2*v**3 + 13*v. Is n(23) composite?
False
Let u(y) = 2*y**2 - 12*y - 1. Let s be u(-7). Let n = -32 + s. Is n prime?
True
Suppose 3*f - f - 3*p = 303, -3*p - 456 = -3*f. Suppose f = v - 58. Is v prime?
True
Suppose 11*p - 10*p = 5533. Is p a composite number?
True
Let w(p) = -p**3 + 6*p**2 + 9*p - 10. Let v be w(8). Let z be v/8*(-10 + 6). Let k = z - 7. Is k a prime number?
False
Suppose 0 - 4 = -2*r. Suppose -2*q + 16839 = 3*q - r*g, 2*q - 6726 = 4*g. Suppose -3*c = -a - 2015, 5*c - a = -2*a + q. Is c a prime number?
True
Let b(w) = w**2 + 11*w - 5. Let m be b(-11). Let f be (-120)/6*(-64)/m. Is (4 - f) + (1 - -2) prime?
True
Suppose -x = 5*i + 2075, 2*i + x + 852 = 5*x. Let a = 194 + i. Let m = a + 481. Is m composite?
True
Let a = -341 + 834. Is a prime?
False
Let z be 210/(-3)*(0 - 2). Suppose 244 = 2*a - 538. Let i = a - z. Is i a prime number?
True
Let d(u) = 1 + u + 7 - 7. Let t(p) = 9*p + 9. Let l(v) = -6*d(v) + t(v). Is l(6) composite?
True
Let q = 24 - -21. Let f be (-33)/6*(-2 + -2). Let j = f + q. Is j a prime number?
True
Let h be (-1587)/7 + (-4)/14. Let c = 336 + h. Let t = c + -30. Is t a prime number?
True
Is 11508/10 - ((-112)/(-35))/(-16) composite?
False
Suppose 3*p = 2*t - 1705, 0 = -2*t - 0*t - 3*p + 1711. Let l = -103 + t. Is l a prime number?
True
Let r(s) = -s**3 + 9*s**2 + 8*s + 22. Let i be r(10). Suppose -79 = -0*k - k + 3*w, -5*w + 158 = i*k. Is k composite?
False
Let x = 22 + -122. Let v = -69 - x. Is v composite?
False
Suppose 9*d = 6*d + 12. Suppose -5 = 2*b - 3*u, -d*b - b + 5*u = 0. Suppose -h = -3*j - 226, -4*h = -2*h + b*j - 441. Is h a prime number?
True
Let t = -125 + 254. Let b = t - -548. Is b a composite number?
False
Let w(j) = 129*j**2 + 8*j + 16. Is w(5) a prime number?
False
Let g be (-13 - 0) + 26 + -21. Is (-7 - g)/(1/2477*1) a prime number?
True
Suppose -5*p + 77183 = -6*i, -23*i + 20*i = -p + 15433. Is p a prime number?
True
Let s be ((-2)/(-6))/(7/42). Suppose 0 = -s*y - 3*y. Suppose y = 9*l - 8*l - 223. Is l composite?
False
Suppose -3*y = 6*y + 63. Let x(a) = -5*a**3 - 8*a**2 + 13*a + 21. Is x(y) composite?
True
Let x(g) = 898*g**2 - 4*g + 3. Is x(2) composite?
True
Let u be (-3 + 1976 + 0)/1. Suppose 0 = -2*c + u + 1749. Is c a prime number?
True
Suppose 2*z = 2 - 4, -z = -2*o + 3. Is 1 - 3 - o*-1071 a prime number?
True
Let y(f) = 572*f**3 - 7*f**2 + 8*f - 3. Is y(2) a prime number?
True
Suppose 0 = -c + 5 - 1. Let z(u) = 14*u**2 + 4*u - 5. Let w(n) = 15*n**2 + 3*n - 4. Let g(q) = 4*w(q) - 3*z(q). Is g(c) a prime number?
False
Suppose -5*k + 11 = 5*v + 1, k + 10 = -5*v. Suppose 0 = k*q, 3*g - 6 = 2*g - 3*q. Is (467 + 4)*g/9 composite?
True
Let s(c) = 21*c + 8*c - 3*c - 1 + 39*c. Is s(4) prime?
False
Suppose -2*k + 0 = 2. Let u be 0 - k*(779 + -3). Suppose 2*r = 4*y - u, -3*r + 102 - 296 = -y. Is y a prime number?
False
Suppose 25*m - 28*m + 2*n = -88223, 0 = 4*m - 2*n - 117634. Is m a composite number?
False
Is (-468)/156*(-2 + (-156889)/3) a prime number?
False
Let o(q) = -142*q**3 + 2*q**2 - 5. Is o(-3) composite?
False
Let d(b) = 28*b**2 + 9*b - 5. Let q be d(8). Suppose 0 = 3*k - 2*v - q, v + 1239 = 2*k - 0*v. Is k prime?
True
Suppose w = g + 3899, -5*w + 2*g + 15594 = -w. Is w prime?
False
Suppose 16 = -4*u, 14847 - 932 = 3*r + 5*u. Is r composite?
True
Let f = 2355 - -3179. Is f a composite number?
True
Let g(a) = 69*a**2 + 9*a + 35. Is g(12) composite?
False
Let k(p) be the third derivative of p**6/120 - 13*p**5/60 + 7*p**4/24 + p**3/6 - 28*p**2. Is k(18) a prime number?
True
Let o(s) be the second derivative of 217*s**3/6 - 3*s**2/2 - 3*s. Is o(8) a prime number?
True
Let m(l) = 8*l + 7. Suppose 4*t - k - 44 = 0, -3*t = -0*k + k - 33. Let x be m(t). Is (x/10)/((-3)/(-6)) a prime number?
True
Is 4514 + -1 + (4 - 22) + 12 a prime number?
True
Let i = 1108 - 606. Let x = 79 + i. Is x composite?
True
Let n = -14 - -13. Let o(m) = m**3 - 6*m**2 + 8*m - 3. Let l be o(5). Is n/(l/(-4))*1041 a composite number?
False
Suppose 27 = -5*w - 303. Suppose 4*n + 34 = 6. Let a = n - w. Is a prime?
True
Let p = -861 - -12908. Is p a composite number?
True
Let v = 32918 + -22087. Is v composite?
False
Let d(g) = -3*g**3 - 13*g**2 - 11*g - 5. 