j = -7*c. Suppose 92 = 4*a - c. Is a a composite number?
True
Let a(w) = -w**3 + 13*w + 7. Is a(-10) prime?
True
Let g be 1224/28 - (-2)/7. Let m = g + 23. Is m a prime number?
True
Suppose 0*q + 2 = -2*q, -127 = -2*i + 3*q. Let g = i - 31. Is g a prime number?
True
Is (-3)/((-310)/307 - -1) prime?
True
Let h(s) be the second derivative of -83*s**4/6 - s**3/6 - s. Let x be h(-1). Is -2*(1 + x/6) composite?
False
Let i be 24/2*(-1)/(-3). Suppose 14 = i*u + 6. Suppose -j - 60 = -5*n + 114, 5*n = u*j + 173. Is n prime?
False
Let p(o) = -o**2 - 7*o + 11. Let x be p(-8). Let f be -96*2/((-4)/x). Suppose c - f = -23. Is c composite?
True
Let q be (-1)/(-3) + 1146/18. Let p = q + 21. Is p a composite number?
True
Suppose 4*j - 16 = -0*j. Let w(k) = k**3 - 3. Let s be w(0). Is (-59)/s - j/6 a composite number?
False
Suppose 3*g + 2*i = 387, 3*i - 352 = -4*g + 165. Is g prime?
True
Suppose 4*p - 5*r + 154 = 983, 12 = 4*r. Is p a prime number?
True
Suppose 5*c = 3*k + 179, -2*k + 0*k + c = 117. Let d = 19 - k. Is d composite?
True
Let p(i) = 221*i**3 - 2*i**2 - 4*i + 7. Is p(2) prime?
True
Suppose 17 = 5*g - 13. Let s(z) be the first derivative of -z**4/4 + 2*z**3 + z**2 + 7*z - 1. Is s(g) prime?
True
Let c(f) = -55*f - 2. Let x(q) = 54*q + 1. Let m(l) = 4*c(l) + 5*x(l). Let r be m(6). Suppose k - 76 = -2*u, 0*u - u + r = 4*k. Is k composite?
True
Let j = -113 - -232. Is j prime?
False
Suppose -2*f + 2*a = -12, 5*a + 22 - 2 = 0. Let s(t) = 117*t**3 - 3 + 116*t**3 + 141*t**3 + f. Is s(1) prime?
True
Let l = 10 - 7. Suppose l*w + 0*b - 3*b - 75 = 0, 4*w - 5*b = 104. Is w a prime number?
False
Suppose -6*b + 7*b = 1046. Suppose 3*h = -14 - 1, 4*x - 2*h - b = 0. Is x a prime number?
False
Let r(b) = -9*b + 4. Suppose 2*c + 4 = -3*p - 1, -p + 3 = 0. Is r(c) a prime number?
True
Let b(v) be the third derivative of -v**5/60 - 7*v**4/24 - v**3/3 + v**2. Let l be b(-6). Suppose 51 = -3*r + l*r. Is r composite?
True
Let v = 1956 - 1154. Is v a composite number?
True
Is (178/(-3))/(4/(-6)) composite?
False
Let r = -15 + 22. Is r composite?
False
Let b(p) = -4*p - 4*p + 2 - 1 - p. Suppose 0 = -5*r - 9 - 1. Is b(r) composite?
False
Suppose -97 = -2*k + 245. Let v = 267 - 161. Let c = k - v. Is c a composite number?
True
Let p be 8/10*5770/4. Suppose 0 = -5*v + p + 131. Is v prime?
True
Suppose -106*m + 102*m + 488 = 0. Is m a composite number?
True
Suppose -5*s - 283 - 47 = 0. Let o = 163 + s. Is o a prime number?
True
Suppose 0 = -0*g + g. Is (1 - 80)*(g - 5) prime?
False
Let v be ((-18)/8)/(6/(-16)). Let t(j) be the second derivative of 13*j**3/6 - j**2/2 + 2*j. Is t(v) a composite number?
True
Let t be (-15)/(-5) - (0 - -1). Is -69*(t + -3) + 2 a composite number?
False
Let d(g) = 115*g - 1. Let v be d(2). Is v/3 + 4/6 a prime number?
False
Let l(s) = -9*s**3 + 2*s**2 + 2*s + 1. Let r be (-3)/(-2 - (-14)/4). Is l(r) a composite number?
True
Let q = 10 - 5. Suppose -464 = -q*z + 171. Is z prime?
True
Let g = 178 + -120. Suppose -g = -3*w - 25. Is w a prime number?
True
Let o = 75 - 61. Is o a composite number?
True
Suppose -i = -4*u - 44, i + 99 = 3*i + 3*u. Suppose -i = 4*g - 284. Is g a prime number?
True
Let z = -384 - -723. Is z a prime number?
False
Let o(u) = u**2 + 2*u - 5. Let i be o(-4). Suppose 0 = -s + 3*r + 6, -2*s + 0*s + i*r = -27. Is s prime?
False
Let r(u) = u**3 + 0*u**2 - 5*u**2 + 4*u + 2 + 1. Let o be r(4). Suppose 158 = -q + o*q. Is q a composite number?
False
Let z = 1630 - 1131. Is z a prime number?
True
Let l = -219 - -368. Is l composite?
False
Let w(v) be the second derivative of -v**3/3 - 2*v**2 - v. Is w(-3) composite?
False
Suppose 0 = k - 11 - 22. Is (-7366)/(-22) + 6/k a composite number?
True
Let t = 248 - -11. Is t prime?
False
Let c(m) = -m**3 - 5*m**2 + m - 7. Is c(-6) a composite number?
False
Let m(c) = 2*c**2 - 3*c + 5. Is m(-6) a prime number?
False
Let m = -13 - -23. Is (0 - 59*m)/(-2) prime?
False
Suppose 4*f + 14 = 46. Suppose f = -k - k. Is (67/k)/((-2)/8) composite?
False
Suppose -4*q + 1462 = -9654. Is q a prime number?
False
Let k = -81 - -194. Is k a prime number?
True
Suppose 0 = u + 2*d - 2 - 8, 3*u = 4*d - 10. Let k(h) = -h**3 - 3*h**u + 3 - h - 2*h**2 - 5*h. Is k(-5) a composite number?
True
Is (165/(3 - 0))/1 prime?
False
Let x = -73 - -39. Let q(j) = -7*j + 5. Let g be q(4). Let u = g - x. Is u a composite number?
False
Is 585 - (-6 + 8 + -4) composite?
False
Suppose -5*s = 862 - 217. Let z = -92 - s. Is z prime?
True
Let j = 4 - 8. Is (29/j)/((-7)/56) a composite number?
True
Let d = 28 + -20. Let n(a) = 12*a + 1. Is n(d) a composite number?
False
Let a = 514 + -355. Is a a composite number?
True
Suppose 3*w = c + 19 - 3, -2*c + 5*w - 28 = 0. Let d(m) = -m**3 + 3*m**2 + 3*m - 3. Is d(c) composite?
False
Let x(d) = d + 14. Let k be x(-7). Let v = k + -3. Is v/6 - 290/(-6) prime?
False
Suppose 803 = 3*h - 340. Is h prime?
False
Let x be 1/5 - 294/(-30). Suppose -5*l + x*l = 815. Is l a composite number?
False
Let u = -509 - -846. Is u a prime number?
True
Suppose d = 7*d - 12. Suppose -3*o + d*i = -i - 1122, 3*i = -2*o + 733. Is o composite?
True
Suppose -6973 + 676 = -3*a. Is a a composite number?
False
Suppose 0 = 2*w + 3*g - 351 - 653, g = -5*w + 2523. Is w composite?
True
Suppose 0 = -4*r + 3*r + 4. Suppose 372 = r*j - 0*j. Suppose -j = -7*f + 4*f. Is f a composite number?
False
Suppose -4*c = 3 + 17. Let x(h) = h + 7. Let q be x(c). Suppose -99 = -q*o + 5*s, -3*s = -3*o + o + 89. Is o composite?
False
Suppose 5*z = 3*z - 4*k + 76, 4*z - 2*k - 202 = 0. Let d be (z/(-5))/(3/(-10)). Suppose -5*b - y = -39 - 67, 0 = 2*b + 3*y - d. Is b a prime number?
False
Suppose -32 - 19 = -l. Is l prime?
False
Let z = 403 + -221. Let o = z + 287. Is o a prime number?
False
Let t(y) = 9*y**2 + y + 7. Is t(4) a prime number?
False
Let w(j) = -2*j - 3. Let y(r) = 6*r + 8. Suppose 10 = -3*i - 2*i. Let h(f) = i*y(f) - 7*w(f). Is h(7) composite?
False
Suppose 0 = 3*r - 141 - 96. Is r prime?
True
Suppose -538 = -3*p + 4*i + 81, 185 = p + 4*i. Is p a prime number?
False
Let r(j) = 3*j**2 + 1 - j**2 - 2. Is r(5) a composite number?
True
Let p(d) = -417*d - 2. Is p(-1) prime?
False
Suppose 8*h - 17*h + 32031 = 0. Is h prime?
True
Let s = 5 - 0. Let x = s - 2. Suppose -3*y - 325 = -4*d, -x*d - y + 3*y = -243. Is d a composite number?
False
Let n(m) = 2*m**2 - 12*m - 7. Is n(-9) a composite number?
False
Let v = -8 + 15. Let g = 9 + v. Suppose 19 = c - g. Is c composite?
True
Suppose 0 = 2*f - 470 - 918. Is f a prime number?
False
Suppose -5 - 10 = -5*r. Let h = -3 + r. Is h/3 + 4/2 prime?
True
Suppose 5*g - 16 = -3*b + 2, -4*g + b + 11 = 0. Suppose g*z + 9 = 0, 4*o + 4*z = -0*z - 36. Let y = o + 16. Is y a prime number?
False
Let z(m) = m**3 + 10*m**2 - 8*m + 6. Let b be z(-8). Let i = -114 + b. Suppose -2*j + 82 + i = 0. Is j composite?
False
Let a(y) be the second derivative of -y**5/20 + y**4/12 - y**3/6 + 21*y**2/2 - 3*y. Is a(0) composite?
True
Let j(b) be the third derivative of 17*b**4/8 - b**3/2 - 5*b**2. Is j(4) a prime number?
False
Suppose -2 = -4*p - 22, -p - 19 = -2*s. Is s a composite number?
False
Let y(d) = -d + 2*d - 3*d**2 - 2*d - 2. Let x be y(-4). Is x/(-14) - 4/14 a prime number?
True
Let h = -56 - -20. Let n be -2*(-7)/((-21)/h). Suppose -2*a + n = 5*f - 39, 0 = -3*a - 4*f + 77. Is a a prime number?
True
Suppose 7*j - 35 = 2*j. Is j prime?
True
Suppose 0 = -u - 0*u + 83. Is u a composite number?
False
Suppose 0 = -3*d - 2*q + 21 - 4, 5 = -5*d + 5*q. Suppose 51 = d*o - 3*w, 4*o + 3*w + 2*w - 86 = 0. Is o a composite number?
False
Suppose -110 = 4*y - 4*z + 70, -3*z + 90 = -2*y. Let k = 76 + y. Is k prime?
True
Suppose 28 = 3*s + 10. Let o(y) = y**2 - 3*y - 1 - 3 + 0*y. Is o(s) prime?
False
Suppose -4*d = 3*w - 8*w - 2637, -2*d + 5*w + 1321 = 0. Suppose 2*f + d = 2148. Is f a prime number?
False
Let z = 1555 - -3330. Is z a prime number?
False
Let n(b) = b**3 - 1 + 2*b**2 - 3*b**3 - 4*b - b**2 - 4. Is n(-4) composite?
True
Is (-92455)/(-77) + 4/14 a composite number?
False
Let o = 1695 + -310. Is o a prime number?
False
Is 236/8 - 0 - (-9)/6 a prime number?
True
Let k(q) = -22*q**2 + 2*q + 1. Let t be k(2). Let r = -28 - t. Is r a composite number?
True
Let k(u) = 2*u**2 - u - 3. Let j be k(-3). Let f = -6 + j. 