True
Let l(g) = -g**3 - g**2 + g + 1639. Let j be -6*5 + 0/3. Let c = 30 + j. Is l(c) a composite number?
True
Let o = 87 - 90. Let m(j) = j**2 - 4*j + 3. Let u be m(o). Let t = u - -110. Is t composite?
True
Let r = 39283 + 35698. Is r composite?
True
Let j = -66286 + 113037. Is j composite?
False
Suppose 0 = -9*v + 5*v + 16. Let k(y) = y - 2. Let x be k(v). Is 14093/11 + -4 - x/11 a prime number?
True
Suppose 4*x + 16 = 0, -2*j - 4*x = 2853 - 13707. Is j composite?
True
Suppose 20*x = 1921526 + 643014. Is x a composite number?
True
Suppose 2*a - 60 = -28*a. Suppose 6*f + 22810 = 5*g + 3*f, -a*f = 4*g - 18248. Is g a prime number?
False
Suppose 0 = -4*x + 2*i + 10, -i = -2*i - 1. Let u be x/7 + (-1)/(-7)*-5203. Let z = 1489 + u. Is z prime?
False
Suppose 13*t - 7*t - 7*t + 251299 = 0. Is t composite?
True
Suppose -q = -p + 3, 2*p + 2*q + 1 = 3*p. Suppose 5 = -5*l, p*n + 3*l - 41 = -l. Suppose -n*y + 11*y - 1738 = 0. Is y a composite number?
True
Let p = 347995 + -97286. Is p prime?
True
Suppose t = 166371 + 91818 + 26698. Is t a composite number?
True
Let g = -37 + 19. Let m be 3 - 9/(g/(-1748)). Let w = m + 1352. Is w composite?
True
Suppose 2*q + 23 = -x, -3*q = 2*q + 10. Let f = x + 68. Is f composite?
True
Let v(i) = i**2 + 6*i + 5. Let r = 35 - 40. Let p be v(r). Suppose p = -q - 2 + 9. Is q prime?
True
Let m(q) = 70*q**3 - 5*q**2 + 17*q - 19. Let t(o) = -139*o**3 + 9*o**2 - 35*o + 38. Let j(x) = 5*m(x) + 2*t(x). Is j(5) a prime number?
False
Suppose 5*q + 19*c - 18*c = 525958, q - c - 105188 = 0. Is q composite?
True
Suppose -10186 = -29*m + 18*m. Suppose -3*f + 3031 = -m. Is f a prime number?
True
Suppose -2*p + 23587 = 3*k - 25224, 0 = 2*k - p - 32550. Is k composite?
False
Let j = 865081 - -126730. Is j a composite number?
False
Let p be (22166/6)/((-1)/(-3)). Let r = p + -3938. Is r a composite number?
True
Suppose 0 = 3*c - 7 + 28. Let h(q) = 58*q - 25. Let k(o) = -115*o + 51. Let v(x) = -13*h(x) - 6*k(x). Is v(c) prime?
True
Let q = -99 - -43. Let l = q + 64. Suppose -l*c + 2954 = -6*c. Is c composite?
True
Suppose 0 = 6549*b - 6544*b - 114755. Is b a composite number?
True
Suppose 39*y - 28*y = 539. Suppose -65*d = -y*d - 27296. Is d a composite number?
True
Suppose -8*h = 17 + 55. Let r = 3 + h. Is (33/r)/(3/(-138)) composite?
True
Let i(t) = 2*t**2 + 25*t + 14. Let o be i(-12). Suppose 4*z = c + 118 - 13, 4*z - o*c - 102 = 0. Is z/(-18)*(-2636)/6 a prime number?
True
Let m be (-24)/9*(-9)/12. Is (-699)/(-3)*(m + -1) prime?
True
Let y(v) = 49*v**3 - v**2 - 18*v + 21. Let h be y(6). Is (-5)/(-10)*(h - 7) prime?
True
Suppose -1 = -o + c + 1, -o - 5*c + 2 = 0. Let b(g) = -11*g + 1 + 32*g**2 + 180*g**o + 14 - 4. Is b(4) composite?
False
Let c(f) = 486*f**2 + 151*f - 774. Is c(5) composite?
True
Let g(d) = 2*d - 4. Let n be g(4). Let v = -16 + n. Is (-18)/v*(-15880)/(-12) a prime number?
False
Suppose 0 = 8*d - 22468 - 21468. Suppose -a + 3911 = -d. Is a composite?
False
Let v be (-21)/35 - 17/5 - -1437. Suppose 0 = -h - 3, -g + 7*h - 9*h + v = 0. Is g prime?
True
Let j be (4/4*39660)/(3/(-28)). Is (-2)/(-17) + j/(-272) a composite number?
False
Suppose 2*k - k + 241 = 0. Let v(q) = -287*q - 54. Let w be v(-4). Let r = k + w. Is r a prime number?
True
Suppose 0 = 37*z - 42*z + 303230. Suppose z + 64668 = 14*s. Is s prime?
True
Let d = -284 + 289. Suppose 15*m - d*m = 5590. Is m composite?
True
Let h(b) = -2*b**2 + 14*b - 15. Let n be h(5). Suppose 4*i - 13 = i - 2*o, 0 = -n*i + 4*o + 7. Suppose -p = -4*m - 0*m + 2953, 5*m = i*p + 3700. Is m composite?
True
Let k(t) = 2*t**3 + 53*t**2 - 14*t - 34. Is k(26) composite?
True
Let x(q) = 5*q - 22. Let j = 10 + -5. Let k be x(j). Suppose -3450 = -4*z + 2*l, -k*l = -0*z - z + 860. Is z composite?
False
Let w(o) = -27*o**3 - 17*o**2 - 14*o - 13. Is w(-10) prime?
False
Suppose -57*u + 3543414 = -16615035. Is u prime?
True
Let c(k) = -2608*k - 1099. Is c(-47) composite?
True
Let j = 73 + -69. Let z be (0*j/16)/(3 + -1). Suppose z = -w + 227 + 860. Is w a composite number?
False
Let j(d) = -159*d + 71. Suppose 0 = -5*r - 2*i - 82, r - 74 = 6*r + 4*i. Is j(r) a composite number?
True
Suppose 188*x - 4262501 = 61*x. Is x a composite number?
False
Suppose 0 = -m + 542 - 529. Suppose 5*k - 35630 = -5*i, -8*i + m*i + 14217 = 2*k. Is k a prime number?
True
Let a(o) = 22*o**2 - 156*o - 489. Is a(-47) a prime number?
True
Let t(z) = 3*z**2 - 3*z - 7. Let n(f) = -f**2 + 2*f + 4. Let b(v) = 5*n(v) + 2*t(v). Let d be b(-3). Is (d + 14)/((-4)/(-212)) a composite number?
True
Let y(m) be the second derivative of -1/3*m**3 + 0 + 1/12*m**4 + m**2 - 10*m + 39/5*m**5. Is y(1) composite?
False
Suppose 39810 = 482*y - 45696688. Is y a prime number?
True
Is ((374/33)/(-17))/(1/(-12)) + 29673 a prime number?
False
Let k(s) = -3*s + 15. Let y be k(13). Let r be (10/4)/((-30)/y). Suppose -r*n = n - 237. Is n a prime number?
True
Let a = -65658 + 174569. Is a composite?
True
Suppose 44*q - 4547240 = 2667572. Is q a prime number?
True
Let q(s) = -141078*s + 319. Is q(-1) composite?
False
Let l = -34 + 37. Suppose x - 5*s + 2*s - 9 = 0, -2*x = -l*s - 15. Suppose x*w - 4601 = 1201. Is w prime?
True
Let g = 29694 + -11925. Is g a prime number?
False
Let q be (-2)/(-8) - 33244/(-16). Let p be (-171)/36 + 1*4/(-16). Is (5/(p/q))/(-2) a composite number?
False
Let q = -21108 - -25169. Is q composite?
True
Suppose -5*c + 1504995 = -3*p, 601998 = 2*c - 86*p + 91*p. Is c prime?
False
Let q(x) = 2*x + 13. Let d be q(-4). Suppose -1914 = -3*s + 2*o - 280, -4*s = d*o - 2171. Suppose 4*g = 4*u - s, -11 - 14 = 5*g. Is u composite?
False
Let k be (14/4*1)/((-5)/(-580)). Suppose -40209 = -5*u + k. Is u prime?
True
Let c = 814270 - 529389. Is c composite?
False
Suppose 3*y + 4*i = 21499, 14332 = -0*y + 2*y + 2*i. Let s = y + -3722. Let r = s - 2349. Is r prime?
False
Let p(v) = -v**2 + v + 1. Let q(c) = 2*c + 5. Let b(n) = -4*p(n) + q(n). Let f be b(1). Suppose -2*h = -f*h + 1, -2*l - 3*h = -965. Is l composite?
True
Suppose j - 31 = 5*b + 28, 5*j = -3*b - 41. Is 276152/28 + b/(-28) composite?
True
Let u(d) = -509*d + 16. Suppose 5*a - 5*x = -8 - 2, 3*x = -3. Is u(a) prime?
True
Let p(o) = o**3 - 12*o**2 + 14*o - 23. Let y be p(12). Let g = 168 - y. Suppose g*l = 16*l + 17213. Is l a prime number?
True
Suppose 0 = -46*z + 1852567 - 548513. Is z prime?
True
Let n(m) = -m**3 + 8*m**2 + 4*m - 19. Let q be n(8). Suppose i - 5*u + q = 0, -2*i - 3*i + u = -7. Is (4 - 3002)/(i*-1) a prime number?
True
Let v = -44 + 42. Let j(n) = -n**3 - 2*n**2 + 5*n + 7. Let l be j(v). Is 660 + (-1 + l)/4 composite?
False
Is (7677/(-9))/((-3)/447) prime?
False
Is (-6 - -7)/((-44)/(-19529444)) a prime number?
True
Suppose 4*a - 64001 = 93490 - 35495. Is a a prime number?
False
Suppose 0 = 23*f - 41 - 5. Let k be (-3 + (-9)/(-3))/2. Suppose -f*y - 2 = 4, 2*u + 2*y - 460 = k. Is u prime?
True
Let d(m) = m**3 - 2*m**2 - 7*m - 11. Let x = 35 + -57. Let z(c) = c**2 + 23*c + 29. Let g be z(x). Is d(g) composite?
True
Let d(m) = 454*m - 4. Let p be d(1). Is ((-1085220)/p)/(1*(-4)/10) prime?
True
Suppose -3*x + 5*x - 6484 = -5*b, 4*b = 16. Suppose -2*s + x = 2*g, 3*s - 5*s = -4*g - 3262. Is s a composite number?
False
Let o(h) = 807*h - 4. Let s(n) = -555*n + 1 - 252*n + 4. Let b(i) = 3*o(i) + 4*s(i). Is b(-3) a prime number?
False
Let o = -41 + 163. Let q = 313 - o. Is q a composite number?
False
Suppose 4 = -2*c, f - c + 29936 = 2*f. Suppose -7*x + f = -5*x. Is x a prime number?
True
Suppose -20 + 60 = 5*a + 5*i, -4*i = -4*a - 8. Suppose -2*l - 4*x + 1066 = 0, -3*x + 481 = -a*l + 2116. Is l a prime number?
True
Let f be (-9)/2*816/(-9). Let l = 277 + -273. Suppose 1192 = l*q - 5*b, -4*q + 772 + f = -2*b. Is q prime?
True
Let x = -192184 + 334593. Is x a prime number?
False
Let m(q) = 5*q - 2. Let v be m(1). Let c(o) = 108*o**3 + 301*o**3 - 4*o + 431*o**v + 3. Is c(1) a composite number?
False
Let h = 16095 + -5799. Suppose 6868 = 4*f - h. Is f composite?
True
Let s(d) = 2*d + 14. Let g be s(-6). Suppose 6*v - 3*v + 70351 = 5*r, g*r - 3*v - 28144 = 0. Is r prime?
False
Let c(x) = -3*x**2 - 12*x - 23. Let z(g) = 16*g + 18*g + 5*g**2 + 47 - 9*g. Let o(f) = -9*c(f) - 4*z(f). Is o(10) a composite number?
True
Let v = -2520 - -4204. Suppose -2*w - 2*w - v = -4*l, 4*w