1954. Is c prime?
True
Suppose -2*o + 8038 = 5*m - 2*m, -3*m + 5*o + 8066 = 0. Let a = m - 1723. Is a prime?
False
Suppose 18*m - 22831 = m. Is m prime?
False
Let i = -10 + 1. Is 555 - (-9)/(i/(-2)) a composite number?
False
Let j(d) = 2*d**2 + 17 + 4 + 22*d + 0 + 0*d**2. Let h be j(-15). Suppose 213 = 2*a - h. Is a a prime number?
False
Let m = -33 + 36. Let s be (16/3 + -2)*m. Suppose s*q = 5*q + 445. Is q a composite number?
False
Let k be (-414)/(-9)*2/(-2). Let x = -27 - k. Is x prime?
True
Suppose 0 = m - 2 - 0, -m = -2*a + 14484. Is a a composite number?
False
Suppose -489 = -z - 3*k, 5*z + 2*k - 2489 = -2*k. Is z a composite number?
True
Suppose -5*z = -23 - 17. Suppose -5*x - 4*m = -2*m + 260, -98 = 2*x + 2*m. Let d = z - x. Is d a composite number?
True
Suppose 675 + 345 = -5*s. Let f be -2*(-1)/(-2)*-331. Let y = f + s. Is y a composite number?
False
Let j be 3 + 19301/7 + (-6)/21. Suppose -3*x = -1473 - j. Is x prime?
False
Let q be ((-1158)/15)/(1/(-5)). Let p = -555 + q. Let r = p - -335. Is r a composite number?
True
Let a = 11316 + -7800. Is a/18*9/6 a composite number?
False
Suppose 2*u + 3*f + 158 = 7*f, 395 = -5*u + f. Let z = -60 - u. Is z a prime number?
True
Suppose -n = -9*y + 11*y - 32695, -2*n + 65393 = 3*y. Is n prime?
False
Suppose -2 = -10*k + 8*k. Let h(n) = 1764*n**2 + 1. Is h(k) composite?
True
Suppose -n - 7 = -4*h + 1, 2*n - 10 = -5*h. Suppose 0*g - 3*g + 3 = 0, n = -a - 3*g. Is (-789)/a + (-2 - -4) composite?
True
Let t(p) = -p**3 - 15*p**2 + 28*p - 13. Suppose 0 = -2*o - 2*o + 44. Let v(q) = 2*q**3 + 30*q**2 - 55*q + 25. Let w(r) = o*t(r) + 6*v(r). Is w(-15) composite?
False
Suppose 6*f - 12 = 12. Suppose 3*u = 4*u + c, 5*u + c - f = 0. Is (-1)/(u/(-370)*2) composite?
True
Suppose 21 = -3*q + 9. Let t be ((-12)/15)/(((-4)/(-10))/(-1)). Is (-318)/(-4) + t/q prime?
True
Let d(b) = b**3 - 3*b**2 - 4*b. Let k be d(4). Suppose k*h = -8*h + 16. Is h + 139 + 2 + 0 a prime number?
False
Let h be (4959/(-15) - -3)/((-2)/10). Suppose -h = -6*l + 1416. Is l a prime number?
True
Let c = -29 + -65. Let v = 417 + c. Is v composite?
True
Let s = -8327 + 4169. Let h = -2363 - s. Is h a prime number?
False
Suppose -3*d = 3*u + 69, 5*u - 35 + 120 = 5*d. Is u/15 - 662/(-6) a prime number?
True
Let z(k) = k**3 + k**2 - 2*k. Let s be z(-2). Suppose -4 = -s*r - r. Suppose -4*x = b - 562, -r*x - b + 703 = x. Is x a prime number?
False
Suppose 2*d + 584 = 4*z, -z + 3*d + 136 = -0*z. Let s = z + 29. Is s prime?
False
Is (-6)/(-9) - (-2 + 272765/(-15)) prime?
False
Let h(i) = -i**3 - 13*i**2 - 18*i - 11. Let q be h(-18). Let c = q - 1094. Is c prime?
True
Let m = 9109 - 5561. Suppose 13*t - 17*t = -m. Is t a prime number?
True
Let o(b) = 4*b**3 - 8*b**2 - 2*b + 10. Let j(p) = -3*p**3 + 9*p**2 + 2*p - 9. Let k(z) = -3*j(z) - 2*o(z). Is k(13) composite?
True
Suppose -2*d + 3*b + 8981 = -12387, -5*d + 53433 = -b. Is d composite?
False
Let r = 776 - -77. Is r a composite number?
False
Suppose -y - g = -1650, -5*y - 2*g = g - 8252. Is y composite?
True
Let g be 2/6*-3 - -3. Is 0 - (-4 + 3 - g) composite?
False
Let d = 24 + -23. Let f be 1*(d/1 - 1). Suppose f = -2*j + 181 + 97. Is j prime?
True
Let v = -38 + 41. Suppose w - 1778 = -2*y - v*w, 4*y - 3556 = 2*w. Is y a composite number?
True
Suppose -88 = 4*i - 3*m, 84 = -4*i + 4*m - 0*m. Is 1106/(-3 - i/5) a prime number?
False
Let r(g) be the third derivative of -73*g**4/24 + 5*g**3/6 + 5*g**2. Is r(-6) a composite number?
False
Suppose 0 = 113*u - 85*u - 84476. Is u a composite number?
True
Let l(f) = f**2 + f - 8. Let z be l(3). Is ((-38)/z)/(14/(-308)) a prime number?
False
Let x(d) = -24*d**3 + d**2 + 5*d + 11. Is x(-4) a composite number?
False
Suppose -9*m - 66660 = -3*b, -b - 4*m + 111157 = 4*b. Is b prime?
True
Let c(s) = -28*s**3 + s**2 + 9*s. Let l(b) = -27*b**3 + b**2 + 8*b. Let x(k) = 5*c(k) - 6*l(k). Is x(2) prime?
False
Suppose 4*k = 3*k + 3*a + 436, -2*a = -4*k + 1754. Is k a prime number?
True
Let v be ((-6)/(-21) - 0) + (-216)/(-28). Suppose 0*m = -v*m + 2024. Is m a prime number?
False
Let a(t) = 2*t**2 - 21*t + 8. Let v be a(10). Is 4/1*((-494)/(-8) + v) a prime number?
True
Suppose -4*c + 19 = -y, 2*c + 4*y = -7 + 3. Suppose 0 = c*o - o + 3. Is 253 - (1 + -3)*o a prime number?
True
Let u = -10647 + 15038. Is u composite?
False
Let n(m) = 13*m**3 + m**2 + m. Let g be n(4). Let c = 1439 - g. Is c composite?
False
Suppose 8 = 4*m, 0 = 2*f + 3*m - 6 - 10. Is (f - (-33)/(-6))*-894 a composite number?
True
Let o(l) = -3*l**3 - 20*l**2 - 7*l + 17. Let a(x) = x - 12. Let h be a(4). Is o(h) a prime number?
False
Suppose 12*w = 5*w - 182. Is w - -81 - ((0 - -2) + -2) composite?
True
Let m(j) = 446*j - 131. Is m(27) a composite number?
True
Let d be 6/4*28/3. Let c = 14 - d. Suppose -2*h + 236 = -c*h. Is h composite?
True
Let b = 245 - 115. Let f = b - 36. Let c = f + -23. Is c a prime number?
True
Let r be 2281 + (-3)/(-4 - -7). Suppose -7*j + 10*j + r = 0. Let i = j - -1229. Is i prime?
False
Suppose 18*z - 22*z - 31147 = -c, 3*z - 93411 = -3*c. Is c prime?
True
Suppose -13*x + 5528 = -5*x. Is x a composite number?
False
Suppose -y = 2*s - 339, s - 1751 = -5*y - 20. Is y prime?
True
Let k be ((-6)/(-15))/((-2)/20*1). Is 7130 - (4/k + 0) prime?
False
Suppose 2*s - 3*l - 488 = 0, -2*s + s - 5*l + 218 = 0. Suppose 4*u - y - 843 = 0, 0 = 2*u + 5*y - s - 189. Is u composite?
False
Suppose -2*w + 20778 = 4*w. Is w a prime number?
True
Suppose -4*c + 50199 = -13. Is c prime?
True
Let w(z) = 7*z**2 - z - 1. Let r be w(1). Let a(u) = 8*u**2 + 3*u. Let y be a(r). Let v = 376 - y. Is v a prime number?
False
Let a be (-5 - -6)/((-3)/(-1509)). Let v = -1 - -1. Suppose 4*q - 632 = 3*s, 3*q + 5*s + v*s = a. Is q a composite number?
True
Let r be ((-18)/15)/((-12)/40). Let l be (-3)/(-12) - (-5227)/r. Let b = l - 858. Is b composite?
False
Let u(j) = 9*j**3 - 17*j**2 + 3*j - 1. Let g(p) = -5*p**3 + 9*p**2 - 2*p + 1. Let k(l) = -7*g(l) - 4*u(l). Let i = 12 - 8. Is k(i) prime?
False
Suppose 3*k = 2 + 13. Let s(t) = -t**2 + 7*t - 6. Let h be s(k). Suppose 605 = h*m - 3*d, -5*m - 2*d + 739 = -0*m. Is m a prime number?
True
Let k(g) = -4 + 5 + 257*g - 2 + 0. Let w be k(1). Suppose 5*v - w = 1114. Is v a prime number?
False
Suppose 0 = -w - 2*u + 2 + 2, 5*w + u - 29 = 0. Is 1654 - w/(-5)*(-40)/(-16) composite?
False
Suppose -38*t + 19125 = 7*t. Suppose -1034 = -y - 302. Let a = y - t. Is a a composite number?
False
Let i(z) = -2*z**3 + 54*z**2 + 73*z - 35. Let n(f) = -f**3 + 27*f**2 + 36*f - 17. Let l(v) = -6*i(v) + 13*n(v). Is l(27) a prime number?
False
Let r(o) = -1. Let s(l) = 9*l**2 + 9*l + 3. Let q(d) = 4*r(d) + s(d). Is q(-5) a prime number?
True
Let r(d) = 6*d**2 - 20*d - 165. Is r(-9) composite?
True
Is (12979/2)/((-11)/(-22)) a prime number?
True
Suppose 3*j + 4*i + 23 = 0, i = 3*j + 53 - 10. Let n(w) = -2*w**2 - 4*w**2 + 3 + 14*w + 2 - 5*w**2 - w**3. Is n(j) composite?
True
Let n(c) = -5*c**3 - 2*c**2 - c + 7. Let l = 24 + -17. Suppose k = -2*u + l, 3*u = 2*k - 0 + 21. Is n(k) a prime number?
True
Let l(w) = -1683*w**3 - w**2 - 8*w - 13. Is l(-3) composite?
True
Let l = 17902 - -14847. Is l composite?
False
Let n(u) = -4*u. Let t be n(-1). Suppose 5*z = 6*z - t. Is z prime?
False
Let w(q) = q**2 + 2*q - 8. Let h be w(-7). Suppose -30*v = -h*v. Suppose v = 2*z - 372 + 46. Is z a prime number?
True
Let u(s) = 3734*s - 85. Is u(1) a composite number?
True
Suppose 24*p - 68535 = 15*p. Is p prime?
False
Suppose 6 = 2*k, 5*k - 9*k = d - 14. Let v(r) = 537*r**2 + r + 3. Is v(d) a composite number?
False
Suppose -2820 = 13*s - 11*s. Let p = s + 3743. Is p composite?
False
Let s = 52068 + 31177. Is s a prime number?
False
Let p = 10802 - -5292. Suppose 3*m - p = -359. Is m prime?
False
Let m(q) = -q**3 + 15*q**2 - 16*q + 27. Let l be m(14). Let o(h) = 1 - 94*h - 280*h - 2. Is o(l) a prime number?
True
Suppose u + 4*x - 9 = 0, 3*u - 2*x - 17 = -4*x. Is 2/(-3)*66*u/(-4) prime?
False
Let f(j) = -6*j + 7. Let p(m) = 6*m + 2. Let r(c) = 12*c + 3. Let a(t) = -5*p(t) + 3*r(t). Let q be a(-1). Is f(q) composite?
True
Suppose -2*r = -4*a + 10, 3*r + 15 = -3*a + 8*a. Suppose a = 4*i + 3*t + 2*t - 544, 4 = -t. Is i prime?
False
Suppose 10*y - 106 = 8*y. Suppose 0*a + 3*a + 276 = 0. Let s = y - a. Is s co