08652487 - 93374132 = -55*c - 70892484. Is c prime?
True
Suppose 34*t = 39*t - 3*p - 89785, -2*t + p = -35914. Is t a prime number?
True
Is ((-8)/56)/((-4)/(-2415084)*-3) prime?
True
Let g = 38 + -44. Let c be ((-32)/28)/(g/21). Suppose c*l + 290 = 1446. Is l a composite number?
True
Let s(p) = 4 + 2*p**2 - 11*p + 6 + p**3 - 12*p**2 - 5. Let a be s(11). Suppose -3*w = 3*u + 2*u - 5302, -a*w + u = -8790. Is w a prime number?
True
Suppose 296*k = 292*k - 20, -19243030 = -5*d + 5*k. Is d a prime number?
False
Suppose 21*b - 97286 - 39655 = 0. Is b a composite number?
False
Suppose -1473*g = -1455*g - 4359330. Is g a composite number?
True
Suppose 0 = 43*g - 4*g + 15*g - 1692954. Is g a composite number?
True
Let o(m) = -33 - 1832*m - 4 + 129*m - 860*m. Is o(-2) prime?
False
Let u(s) = -s**2 - 9*s - 11. Let r be u(-7). Suppose 3*z = -r*v + v + 569, 5*v = 2*z - 354. Is z a prime number?
False
Let o(h) = 54*h**2 - 108*h + 1601. Is o(12) a composite number?
False
Let u(c) = -570*c**3 - 12*c**2 - c + 1. Let l(g) = 570*g**3 + 14*g**2 + 2*g + 1. Let v(p) = 4*l(p) + 5*u(p). Is v(-2) a prime number?
True
Suppose -10*t - 4035 = -5*t. Let m = -2273 - t. Is 13/(-65) - m/5 prime?
True
Suppose -3*x = 5*u - 621652, -692*u + 690*u - 207243 = -x. Is x prime?
False
Let m = -198349 - -392792. Is m a composite number?
False
Let r(h) = 137*h + 41 + 0*h**2 - 136*h + 5*h**2 + 27 + 1. Is r(24) prime?
False
Let b be (-7847)/(-35) - 2/10. Let s = b + -2. Is (56/12)/(4/s) prime?
False
Let x be (-48)/(-72)*(57/(-2) - 0). Let j = 25 + x. Suppose 9*n - j*n - 7419 = 0. Is n composite?
False
Let k = 11964 + -9913. Is k a prime number?
False
Suppose 76789 = 5*f - 2*w, -2*f - 3*w = 3*f - 76804. Is f composite?
False
Suppose 17*h - 1036048 = -17*h. Suppose 3*u - u = 5*f - 38099, 4*f - 4*u - h = 0. Is f a composite number?
False
Let r = -62 - -62. Let y(s) = r*s + s + 7 + 8*s**2 - 2*s + 0. Is y(-4) a prime number?
True
Let q = 94752 + -64723. Is q prime?
True
Let g = 46429 - 32028. Is g composite?
False
Suppose -22 + 6 = -8*q. Suppose 0 = -q*w - 11 + 21. Suppose 2*f = -p + 222, -6*f - w*p + 565 = -f. Is f composite?
False
Suppose -8*s - 10*s = 120330. Let b = -3788 - s. Is b a composite number?
False
Suppose -f = -4*y - 7385, -f + 5*y + 7380 = -0*f. Is f composite?
True
Suppose 3*i + i = 3*n - 12, 2*i + n = -6. Let s be (2 - 2) + 1 - (i + -1591). Suppose -3*h - 452 + s = 0. Is h composite?
True
Let r = 39251 - -3400. Suppose 2*j - 4*o - 3203 = r, 3*j + 2*o - 68741 = 0. Is j a composite number?
True
Suppose 4*y + 35664462 = 16*y + 42*y. Is y composite?
True
Let u = 480 + -459. Is (7 + (-140)/u)*5079 a prime number?
True
Let x be (-178)/267 + ((-17080)/(-6) - -1). Let k = x - 1889. Is k a prime number?
False
Suppose -n + 4*s + 3 = 0, 0 = -n - s - s + 3. Suppose 0 = 5*r - 3*o + 12, n*o - 4*o + 4 = r. Suppose r = -0*w - 4*w + 13084. Is w a composite number?
False
Let v = 73464 - 44203. Is v composite?
True
Let y(w) = -3*w - 4. Let d be y(-1). Is 33114/(-12)*(d - 1) prime?
True
Suppose 4*g - 210 = -2*g. Suppose -g*q + 20 = -31*q. Suppose -q*m + 4*y + 3351 = 0, 4*m - 2686 = y - 3*y. Is m a prime number?
False
Let y = -157 + 161. Suppose -y*z + c = -19287, 4*z + 3*c = -0*z + 19275. Is z a prime number?
False
Suppose 0 = -6*x + 29687 - 8711. Let n = 1051 + x. Is n composite?
False
Suppose 2*t - 32025 = -y, 4*t - 8*t = 3*y - 64049. Is t a prime number?
False
Is (10/(-70) - 18/21 - -2) + 162480 a composite number?
True
Let u(n) = n**3 - 7*n**2 - 8*n + 12. Let y be u(8). Let q be -15*(3 + 1)/y. Is 1*-1*373*5/q composite?
False
Suppose 13*w = 97251 + 31423. Suppose 2483 = 3*j - w. Is j composite?
False
Let y = 287591 - 115508. Suppose 0 = 59*n - 2*n - y. Is n a prime number?
True
Let n be ((-4524)/(-3))/(27/(-513)). Let y = -8991 - n. Is y a prime number?
True
Let p(f) be the second derivative of -13*f - 55/3*f**3 - 17/2*f**2 + 1. Is p(-14) composite?
False
Let u(j) = -3359*j. Let v be u(-1). Suppose -596*n + 591*n + 20 = 0. Suppose -5*r = -a + n*a - v, 0 = 5*a + 10. Is r prime?
True
Let s be (-20)/(-10)*((-7 - -13) + -4). Let i = -1 + 5. Suppose -2*t + 6 = -i*t, s*q + 3*t = 5363. Is q prime?
False
Let s(r) be the second derivative of -123*r**5/20 + r**4/6 - r**3/2 - 3*r**2/2 - 7*r. Let w be s(-2). Suppose 1167 = 2*c - w. Is c prime?
False
Let k = 3641 + -1491. Suppose -6*w + k = -1540. Let y = w + -236. Is y prime?
True
Let l be -1*(-1 - 3) + -1. Suppose -l*f + 381 = 75. Let d = -51 + f. Is d composite?
True
Let q = -101 - -92. Let y be (6/q)/(6/9). Is (y/4)/(-5*1/740) a prime number?
True
Is 9 + 0 + (-50843083)/(-535) + (-12)/15 a prime number?
False
Suppose 5*a - 3188 = 15537. Suppose z + a = 3*x + 5*z, -2494 = -2*x - 2*z. Is x a composite number?
True
Let y be 4/8*(0 + -3)*4. Let l(k) = -479*k + 65. Is l(y) composite?
False
Suppose -2*z + 170958 = -2*m, z + 2*m + 17836 - 103291 = 0. Is z composite?
True
Let d(j) = 6*j**3 - 9*j**2 + 6*j + 4. Let f be -362 - (-7 + 4)/(-3). Let s be (-1023)/f + 4/22. Is d(s) composite?
False
Let p be 12 + -9*10/15. Is -4*((-11014)/8)/(p/6) composite?
False
Let z be (-20990)/(-50) + -6 + (-2)/(-10). Let i = 971 + z. Is i a prime number?
False
Suppose 5*f - 17*o + 22*o = 7180, 5*f - 4*o = 7189. Is f composite?
True
Let n(a) = 27 - 22 - 62 - 540*a - 4. Is n(-11) prime?
True
Suppose -3*y - 4*u = y + 72, -84 = 5*y + 2*u. Is 20/y*4 + 15466 prime?
True
Let v = -2335 + 5567. Suppose 6*t = v + 542. Suppose 6*u = 5*u + t. Is u a prime number?
False
Suppose -320*n - 41725 = -322*n + q, 5*n = -5*q + 104290. Is n prime?
False
Let v be 351/54 + (-2)/4. Is 50632/v*15/20 composite?
False
Suppose 0 = 2*l - 37*l + 1680. Is (6/(l/21640))/1 a composite number?
True
Suppose 7*v - 223741 = 66304. Is v prime?
False
Suppose 5*w + 29 = 5*f - 21, w = 1. Is (-34340)/(-44) + (-5 - (-61)/f) prime?
False
Let p(h) = -2450*h + 691. Is p(-21) a prime number?
False
Suppose 5*n - 4*j + 2*j - 163932 = 0, n - 32796 = -2*j. Suppose 0 = 5*h - 9*h + n. Is h prime?
False
Suppose 16*i = -21*i + 4*i + 1222089. Is i composite?
True
Let j = 223 - 238. Let y(w) = 11*w**2 + 8*w - 22. Is y(j) a composite number?
False
Suppose -h - 1123*n + 117283 = -1119*n, -3*h = -5*n - 351883. Is h a prime number?
False
Suppose -18115299 + 40878154 = 353*s - 19500423. Is s composite?
True
Let r be (-3 - 1)*(-3)/(-6). Let i(b) = -746*b + 9. Let g be i(r). Let p = g - 314. Is p prime?
True
Suppose -t = -5*b - 9 + 21, b + 5*t - 18 = 0. Suppose 10 = 2*c, 8 = -b*k + 5*c + 103. Is 7279/9 - k/(-180) composite?
False
Suppose -3*o + f - 13916 = 0, 4*o - 3*f = -26269 + 7716. Let l = 6818 + o. Is l a prime number?
True
Let k(d) be the first derivative of 137*d**3/3 - 5*d**2 + 4*d + 16. Let s be k(-6). Suppose 17*b = 13*b + s. Is b a composite number?
False
Let y = 218235 + -109222. Is y a prime number?
True
Let f(i) = -i + 43. Let b(j) = 2*j. Let c(q) = -5*b(q) - f(q). Let w be c(-5). Suppose 331 + 1623 = w*l. Is l a prime number?
True
Let g(p) be the third derivative of -9*p**4/8 - 41*p**3/2 + 11*p**2 - 1. Is g(-22) a prime number?
False
Let h(p) = -7122*p + 10709. Is h(-11) prime?
True
Let a(g) = g - 4. Let r(p) = -7710*p - 190. Let f(x) = -3*a(x) + r(x). Is f(-3) prime?
True
Let k(m) = -90*m + 54. Let l = -6 - 5. Let o be k(l). Suppose -j + 309 = 2*q + 42, -o = -4*j - 2*q. Is j a composite number?
True
Let l(q) = 13*q**3 + 5*q**2 - 49*q + 491. Is l(10) prime?
False
Let s = -14 - -50. Let v = s - -18. Is (-1 - (-11734)/8) + v/(-72) a composite number?
True
Suppose 3*n - 9*n + 8100 = 0. Suppose -g + 824 = -n. Is (0 + g)*(-6)/(-12) a composite number?
False
Let p(v) = 4*v**2 + 3*v + 16. Suppose -15*y - 105 = -8*y. Let s be 4/(3 + 33/y). Is p(s) prime?
True
Suppose -28*i - 93429 = -1966889 - 11025384. Is i a prime number?
True
Suppose -21*l + 2*u = -22*l + 46209, l - 2*u - 46213 = 0. Is l a composite number?
True
Suppose -16*g = -11*g - 15. Suppose 0 = g*c - r - 5392, -4*r - 15 = -35. Is c a prime number?
False
Let s(l) = 467*l - 52. Let w(d) = -d**2 + 13*d - 15. Let g be w(11). Is s(g) a composite number?
False
Suppose p + 10 = -4*m, -28 = -m - 4*p - 23. Is (-2 - m)/((-14)/(-4634)) a prime number?
True
Let q = 195238 + -94407. Is q prime?
False
Let m(r) = r - 1. Let s be m(10). Suppose -2*c = c + s. Is 9/(-27) + (-2560)/c comp