3 + 5*z**2 - 3*z + 6. Let o(d) = 3*d - 40. Let p be o(12). Let v be c(p). Is 1204 - ((-6)/15 + v/10) a composite number?
False
Let d(m) = -m - 9. Let a be d(-17). Let g(s) = 4*s + 0*s**3 - s**2 - s**3 - a*s**2 - 17*s + 23. Is g(-12) composite?
True
Let s = -509196 + 840669. Is s a prime number?
False
Let j be ((-28)/(-42))/((-1)/(-6)). Suppose j*b = -14*b + 190422. Is b prime?
False
Suppose 5*r - 9*r = -3*t + 89761, 44873 = -2*r - t. Let j = -10053 - r. Is j composite?
True
Let q(l) = -10*l**2 + 3*l + 87*l**2 + 102 - 99. Is q(-1) a composite number?
True
Let k(s) = s**3 - 25*s**2 + 2*s - 44. Let v be k(25). Suppose 0*u - 48 = -5*b + u, -2*b - 5*u = -30. Suppose b*c = v*c + 748. Is c a prime number?
False
Let h = 116304 - 42515. Is h composite?
True
Suppose 6*a = -18 - 12. Let g(n) = n**2 + 5*n + 5. Let k be g(a). Suppose -k*r = -5*l - 3000, 4*l + 136 - 3127 = -5*r. Is r a composite number?
False
Suppose -481710 = -7*h + 4*h - 7*h. Is h composite?
True
Suppose -h = -i + 3*i + 339, -2*i - 345 = -5*h. Let j = 964 + i. Suppose b - 3*y - j = 0, 5*b = 8*b - 5*y - 2378. Is b a composite number?
True
Let r(c) = -c**3 - 2*c**2 + 4*c - 5. Let p(j) = j**3 + 2*j**2 - 4*j + 6. Let s(t) = -4*p(t) - 5*r(t). Let k = -237 + 240. Is s(k) composite?
True
Let y be 2/10 - (-226)/(-5). Let i = -44 - y. Is 2/((-30)/(-3807)) + i/5 a composite number?
True
Let m(l) = 10*l**3 - l**2 + 4*l + 1. Let u be m(-2). Let q = u + 87. Is (-11)/((0 - q/(-124))*1) a composite number?
True
Suppose 2*i = -4*o + 9524, i - 4*o + 3*o - 4762 = 0. Suppose -141 = -130*x + 83*x. Suppose -5*h + x*s + s = -7954, -3*h + i = -5*s. Is h a prime number?
False
Let h(a) = -5431*a - 783. Is h(-7) composite?
True
Let n = -165 - -468. Suppose -l = -f - f - 196, 3*f + n = -3*l. Let m = 878 + f. Is m a composite number?
True
Suppose -9*o - 4*o = -18590. Suppose 5575 + o = 15*i. Is i a prime number?
True
Suppose -3*l + 34 = -4*m - 0*m, 0 = 5*l - 5*m - 50. Suppose 18 = d + l. Let r(i) = i + 41. Is r(d) prime?
True
Suppose 15*f - 10838 = -2723. Suppose 3*m - 1298 = -5*w, 0 = -4*m - 5*w - f + 2270. Is m prime?
True
Is (-210)/(-75) + (-40570905)/(-25) composite?
False
Let n(l) = -5*l**2 + 3*l + 6. Let v be n(-2). Is -4*5147*((-55)/v - 3) composite?
False
Let z(f) = -4*f - 3. Let m be z(0). Let v(y) = -y**3 - 3*y**2 + y + 7. Let o be v(m). Suppose 14 = 3*b - o. Is b composite?
True
Suppose 25*h + 70*h + 5*h = 16341100. Is h prime?
True
Suppose 3*c + 36 + 24 = 3*r, -4*c + 2*r = 82. Let o(u) = 3*u - 21. Let f be o(c). Let q = 141 + f. Is q prime?
False
Let b(d) = -471*d + 6. Let p be b(-2). Let x(y) = 3*y**2 - y + 7. Let r be x(-12). Let t = r + p. Is t a composite number?
False
Let z be 1 - -1339 - (0 - (-3 + -1)). Suppose -o - 2*j + 2325 = -5*j, -2*o + j = -4650. Suppose 2*d = a - o, -a + d = -985 - z. Is a a prime number?
False
Suppose -m - 2*l - 4 = 0, -l = -2*m + 4*l + 19. Let x be (32/(-80))/(1/5). Is (x/m)/((-10)/6890) prime?
False
Let r(g) = -g**3 - 12*g**2 - 34*g + 11. Let s be r(-8). Suppose -28*o + s*o = -11065. Is o prime?
False
Let j be (-12)/(-10)*110/33. Suppose 38 = -3*q + 2*y, j*q - 2*y = 3*y - 53. Let z = 139 + q. Is z prime?
True
Is ((-5)/10)/((-2)/107788) + (12 - 12) prime?
True
Suppose 5*t = -3*p + 20, 5*t = -4*p - 5 + 30. Let z = 595 - 359. Suppose y = -3*c + z, -p*y = -4*c - 3*y + 318. Is c composite?
False
Suppose 156*x - 30023 = -2*p + 159*x, 3*p + 3*x = 45072. Is p composite?
True
Let f(y) = 491064*y**2 - 31*y + 6. Is f(1) a prime number?
True
Let p = -39 + 62. Let m(h) = -52 + p - 11*h + 28*h**2 + 26 - 15*h. Is m(10) a prime number?
False
Let z = -1345 - -4638. Is z a prime number?
False
Suppose c + 168227 = 79*c - 57427. Is c a composite number?
True
Suppose 167*u + 4*b - 549174 = 165*u, -3*b = -4*u + 1098304. Is u prime?
True
Let p(x) = -x**3 + 5*x**2 + 2*x - 6. Let r be p(4). Let u be 0 + 4 + r + 4. Suppose -135 = -y - u. Is y prime?
True
Suppose 7*g - 5922 = -7*g. Let h = -92 + g. Is h a prime number?
True
Let d(o) = 91*o**3 + 7*o**2 + 3. Let v be d(9). Is v/13 + 3*(-10)/(-195) a composite number?
False
Let m(x) = 3536*x**2 + x + 25. Is m(2) a prime number?
False
Let g(s) = -5*s**2 - 5*s - 14. Let d(c) = 3*c**2 + 3*c + 9. Let y(n) = -8*d(n) - 5*g(n). Let u be y(-4). Suppose u*p - 11*p = -373. Is p a composite number?
False
Suppose 0 = 6*q + 103 - 43. Is ((-977)/(-2))/(q/(-60)) a composite number?
True
Let m = -17 + 16. Let i be (176/(-64))/(m/680). Suppose q - 2249 = -x, -10866 + i = -4*q + x. Is q composite?
True
Let y = -812 + 3815. Suppose -y = -6*b + 6075. Is b a composite number?
True
Let c(a) = -646*a - 1323. Is c(-47) prime?
False
Let t = 8642445 - 5769268. Is t a prime number?
True
Suppose 5*z = 7*z - 2*x - 28, 42 = 3*z + x. Let s be (34/(-7) + 2)*z/(-4). Is (s/(-6))/((-18)/18198) a prime number?
False
Is (((-17190)/20)/(-9))/((1/(-14))/(-1)) prime?
False
Suppose -11*k + 7 = -103. Suppose 11*j - k*j - 1043 = 0. Is j composite?
True
Let s = -494863 - -712482. Is s prime?
True
Let t(a) = a**3 - a**2 - 2*a + 4. Let w be t(0). Suppose 6 = 5*n + 2*i, -w*i - 9 = 5*n - 7*i. Suppose -2*d = n, -j + 0*d = d - 251. Is j composite?
False
Suppose 0 = t + 4*g - 19693, -6*t = -11*t - 3*g + 98567. Is t composite?
False
Let u(m) = -1524*m + 4441. Is u(-28) a prime number?
False
Let b = 52 - 48. Let u be 5 + -3 + (b - 1). Suppose -4*t + 541 = h, -4*h - 665 = -u*t - 3*h. Is t prime?
False
Suppose 19*v + 36200 = -34062. Let d = -1117 - v. Is d a prime number?
False
Let a(i) be the first derivative of 38*i**3 - 11*i**2/2 + 10*i + 86. Is a(7) a prime number?
True
Let d(b) = -17*b**2 + 14*b + 10. Let a be d(10). Suppose -5*o - 25*n = -20*n - 13435, -4*o + 4*n + 10788 = 0. Let x = a + o. Is x a prime number?
False
Let t(b) = -72*b + 29. Let m = 77 - 81. Let a(x) = x**3 + 4*x**2 + 2*x - 4. Let z be a(m). Is t(z) a composite number?
True
Let q(p) = -p**2 - 4*p + 5. Let h be q(-5). Suppose 3*v = -3*u + 12, 0*v - 3*u = -3*v + 24. Suppose n - v*n + 2425 = h. Is n a prime number?
False
Let v(b) = 195*b**2 + 7*b - 7. Let k be (0 + -2)*1 + -2. Let h be v(k). Suppose -624 = -2*s + s - r, 5*s - 2*r = h. Is s composite?
False
Suppose 35017 = x + 2*q, -35011 = -x + 4*q - 8*q. Is x a prime number?
True
Let d = 631448 - -136395. Is d prime?
True
Suppose 2*x = -3*a + 25, -3*x + 0*a + 2*a + 5 = 0. Let r(s) be the first derivative of 286*s**2 + 3*s - 6. Is r(x) composite?
True
Let c(r) = 8*r + 37. Let a be c(-4). Suppose -11*m + 7*m + a*n = -23091, 4*n + 11538 = 2*m. Is m a prime number?
True
Let m(x) = 15*x**3 - x**2 + 4*x - 1. Let w be (1/4 - (-82)/(-8)) + 0. Let p(r) = -2*r - 17. Let a be p(w). Is m(a) a prime number?
False
Let c = -225763 + 318312. Is c prime?
False
Let z = 15667 + -7534. Suppose -11*d + 10468 = -z. Is d prime?
False
Let u = -142 - -149. Let n(v) = 2*v**3 + 9*v**2 - 4*v - 12. Is n(u) prime?
True
Let i be 1/((-5)/(-98)) + 8/20. Suppose 5 = -5*b + i. Suppose 0 = n + 2, 2*p = -b*n + 841 + 987. Is p prime?
False
Let f = 87733 - 37152. Is f composite?
False
Let b = -84 + 90. Suppose -b*j = -14692 + 1738. Is j a prime number?
False
Let k(l) = 1080*l**2 + 67 + 8*l - 539*l**2 - 539*l**2 - 11*l**3. Is k(-6) a prime number?
True
Suppose -21*a + 2*y = -16*a - 553823, -443080 = -4*a - 2*y. Is a a prime number?
False
Let g = 79526 - -154481. Is g a composite number?
False
Is 10960615/(-35)*6/(-2) + 24/(-84) composite?
True
Let o(z) = -3*z**2 - 4*z + 2. Let q(v) = -v**2 - 4 + 2*v - v + 3. Let r(j) = -o(j) - 6*q(j). Is r(3) a prime number?
True
Suppose -4*r + 4*f - 665 = -3445, 4*f = -4. Suppose z = -q - 0*z + 23, 4*q = -3*z + 89. Suppose r = q*v - 19*v. Is v a composite number?
True
Let s be (16/(-4) - -1) + 1. Let o be 1/(-2)*((-24)/1 - s). Suppose -o*w + 4939 = 1716. Is w composite?
False
Suppose 28942806 = 62*l + 11*l + 29*l. Is l composite?
True
Suppose 8 = l + 2*m, -6*l + 22 = -l + 4*m. Suppose 0*c = -4*q + 3*c - 63, l*c = -3*q - 60. Let i(b) = -2*b**3 - 23*b**2 + 36*b - 5. Is i(q) a prime number?
True
Let m = -7 + -58. Let i be -40*(5 + (-2)/(-10)). Let b = m - i. Is b a prime number?
False
Let w = -449 - -463. Suppose -24039 = -w*z - 4985. Is z prime?
True
Let q(s) = -62*s**2 - 32 - 13*s - 16 - 3*s**3 + 55*s**2. Is q(-11) prime?
False
Let y(v) = 2*v**3 - 4*v**3 - 2*v + 0*v**3 + v**2 - 2 + 3*v.