*g - 83. Is a(-2) a prime number?
True
Let w = 276744 + -7443. Is w prime?
False
Let n(j) = 983*j + 3669. Is n(62) a composite number?
True
Let v(i) = -2*i**3 + 7*i**2 + 14*i + 26. Let g(r) = 8*r**3 - 28*r**2 - 57*r - 104. Let f(h) = 2*g(h) + 9*v(h). Is f(-7) a prime number?
True
Let s = -412603 - -581862. Is s prime?
True
Suppose 0*o = 5*o - 122545. Suppose -2778 = -13*z + o. Is z prime?
True
Suppose 0 = -5*r + w + 278941, -r - 140*w + 144*w = -55773. Is r a prime number?
False
Let a = 517 + -502. Let x(c) = 160*c**2 + 63*c + 22. Is x(a) prime?
False
Let k(h) = 191*h**2 - h - 6. Let f be k(-7). Suppose -o = 4*y - 5793 - f, 20 = 4*o. Is y a composite number?
True
Is (-172)/(-6)*11906/3*819/364 prime?
False
Is (62819/(-3))/((-152)/456) composite?
False
Suppose -78 - 37 = -23*k. Suppose 0 = k*s, 5*s - 17601 = -2*c - 3935. Is c composite?
False
Suppose -16 = -2*z + 12. Let c be 141 - 141 - (2 + -2 + -717). Suppose a = c - z. Is a prime?
False
Let z(f) be the third derivative of -473*f**4/24 - 2*f**3/3 - 11*f**2 - 4*f. Is z(-1) a composite number?
True
Suppose -5*z + 31740 = -5*p, 55*z + 19050 = 58*z + 3*p. Is z a prime number?
False
Let z(r) = 5405*r + 757. Is z(14) a prime number?
False
Is 1 + 5 - 5*381882/(-30) a prime number?
False
Let u = -23 + 48. Let i(o) = 197*o + 16 + 201*o - 373*o. Is i(u) composite?
False
Suppose -3*d + 26 = 26. Suppose 3*w + d*w - r = -1013, -3*w = 3*r + 1029. Let n = 736 + w. Is n prime?
True
Suppose -2*s = -4*q - 13554, -6789 = -s + 58*q - 53*q. Is s composite?
True
Let h(p) be the third derivative of -p**5/60 - p**4/3 + p**3/2 - 5*p**2. Let l be h(-7). Is 202/(-3)*(-45)/l a prime number?
False
Let u(a) = a**2 - 11*a + 32. Let p be u(6). Let x be -12*(175/p)/(-1). Is x - (3/2 + (-4)/8) prime?
True
Let a = -33 - -40. Suppose -12 = -4*v + a*v. Is 1/(-1*v/5036) prime?
True
Let h(w) = -w**3 - 70*w**2 - 63*w - 23. Is h(-71) a prime number?
True
Let c = 37 - 35. Let w(v) = -c + 3 + 28*v + 14 + 16. Is w(16) prime?
True
Is -10 + 6/24*15213432/26 prime?
True
Let w = -27 + 30. Let j(v) = v**2 + 1. Let q(u) = -52*u**3 - 5*u**2 - 3*u - 8. Let o(p) = w*j(p) + q(p). Is o(-2) a composite number?
False
Suppose 10*w = 20 + 30. Suppose -4*r + 1 + 6 = -3*m, w*r - 8 = 4*m. Suppose 4*n - 763 = -q, -m*n - 196 = -4*n + 5*q. Is n composite?
False
Suppose 4*q - 9*q = -60. Is -6*q/8 + 2446 prime?
True
Let z(w) = 40*w - 82*w - 64*w - 3. Let j = 64 + -71. Is z(j) composite?
False
Let t be -6 - 0 - (2 - 4). Suppose -423 = r - 2*g + 983, 5*g = 5*r + 7015. Is -3 + (-4*t/8 - r) a composite number?
False
Let p = 132833 - 66430. Is p a composite number?
False
Let b(a) = -9*a + 73. Let f be b(6). Let d = 0 - f. Is 1 + 4698 + (-19 - d) a composite number?
True
Let u be (-4)/10 + (-24)/40 + 6. Suppose -5*f + 1360 = -0*g + u*g, -5*f + 1362 = 4*g. Is f a composite number?
True
Let r = 32 - 28. Suppose 4*d + 0*y + 4 = -r*y, -3*d = -3*y - 27. Suppose d*z - 14014 = 2*m, 0 = 5*m - 15. Is z a prime number?
False
Let x = 89222 - 44764. Is x prime?
False
Suppose 74*x + 310539 = 88*x - 118295. Is x a prime number?
True
Let v = 525 - 270. Let q = v + -76. Let l = q + -102. Is l composite?
True
Suppose 2*u + h = 423230, 0 = 5*h - 14 + 54. Is u a composite number?
False
Let y(v) = -4*v**3 + 8*v**2 - v - 5. Suppose i - 2*s = -5, 0 = i + 2*s - 3. Let k(f) = -f**3 + f**2 - f. Let a(m) = i*y(m) + 3*k(m). Is a(7) composite?
False
Let y(i) = -7131*i + 11501. Is y(-80) prime?
True
Suppose -106*z - 3852299 = -173*z. Is z composite?
True
Is 1364419*(-26)/(-1183) - (-18)/(-78) composite?
True
Let s = 54 - 63. Is (-53)/(-2)*(s + 367) a prime number?
False
Let x(f) = f**2 + f - 17. Let y be x(4). Suppose y*g + 20709 = 3*i, 16*g + 6911 = i + 17*g. Is i a composite number?
False
Let i(l) = -l**3 - l**2 + l + 1. Let p = 5 - 3. Let w be i(p). Is (-1177)/w + (-8)/(-36) composite?
False
Let u(b) = 2*b**3 + 30*b**2 + 62*b - 57. Let t be u(-12). Let f be (1/2)/((-3)/318). Let p = f + t. Is p prime?
False
Let p = 13 + 40. Suppose -n + 5*j = p, -5*j - 69 = 3*n - 2*j. Is (2738/8)/((-7)/n) prime?
False
Suppose -658*y + 667*y = 256833. Is y a prime number?
True
Suppose 0 = 8*g + 2*g - 30. Let y(j) = -34*j**3 + 35*j**g + 12*j - 2 - 15 + 21*j**2 - 2. Is y(-16) a prime number?
True
Let v(u) = -4*u + 3*u - 11 - 2*u. Let k be v(-5). Suppose d = -k*d + 185. Is d a prime number?
True
Is (-22605)/(-13) + (-64)/(-416) a prime number?
False
Suppose 4*t - 29226 = -3*y - 5573, 0 = -2*t + 2. Is y composite?
False
Let d(h) = 11*h - 28. Suppose 0 = -b + 3 - 0. Suppose 3*u = -n + 22, 3*u = n - b*n + 35. Is d(n) prime?
False
Let r(c) = 3*c**3 - 10*c**2 - c + 2. Suppose 4*k + 2*q = 30, -5*k - 5*q = -4*q - 39. Let b be r(k). Let j = -436 + b. Is j a prime number?
False
Let b(j) = 58398*j - 3019. Is b(12) composite?
False
Let o(h) be the third derivative of h**5/10 + h**4/6 - 11*h**3/2 - 26*h**2 + 3*h. Is o(-8) a composite number?
True
Let r be (14*2976 - 0) + 2. Let m be 2/15 - r/(-30). Let w = 2431 - m. Is w a composite number?
True
Let q(a) = 7675*a - 1262. Is q(7) prime?
False
Let b be ((-15)/6 - 1)/((-5)/60). Let u be b/4 - 5/10. Suppose 2*p - 6036 = -u*p. Is p a composite number?
False
Let l(i) = -i**3 - 6*i**2 - 7*i - 10. Let c be l(-5). Suppose c = 3*h + 5*w - 18, -2*h + 5 = -3*h + 2*w. Is 12*(-26)/(-4) - h prime?
False
Let c(s) = 9*s**3 - 2*s**2 + 23*s + 80. Let b be c(-10). Let o = 14196 + b. Is o composite?
True
Suppose -2*b - d + 94 = 2*b, b - 2*d = 19. Suppose b*p - 20388 = 19*p. Suppose 10*g - p - 773 = 0. Is g prime?
True
Let v = 72 + -64. Let p(m) = m**3 - 10*m**2 + 15*m + 10. Let y be p(v). Let w(f) = 253*f**2 - 6*f + 3. Is w(y) a prime number?
False
Let y(n) = 3*n**3 - 2*n**2 + 9*n + 87. Let r = -347 + 358. Is y(r) a prime number?
False
Let i be (-5)/((-60)/(-8)) - 231959/(-21). Let m = i + 744. Is m composite?
False
Suppose 494*m = 492*m + 30070. Suppose 1250 + m = 3*u - b, 0 = 2*u + b - 10860. Is u a prime number?
False
Let x(b) = 3*b**3 - 11*b**2 + 19*b + 12. Let v = 290 + -271. Is x(v) a composite number?
False
Let v(u) = -7*u + 33. Let m be v(4). Suppose m*f + 515 = 5*z, -2*f - 209 = -2*z + z. Let j = 435 - f. Is j a prime number?
True
Let c be 0/(-6 - (-8)/2). Let b(j) = -j**3 + 9*j**2 + 11*j - 8. Let n be b(10). Is 963/3 + (c - n) prime?
False
Let j = 431579 - 290497. Suppose 45*x + x = j. Is x a prime number?
True
Let l(c) = -c - 29. Let b be l(0). Let y(m) = -54*m + 138. Let o be y(4). Let g = b - o. Is g composite?
True
Let p be 0/4 + -5 + 7. Suppose -x + 6*b - 8*b + 1101 = 0, -p*x + 2194 = -4*b. Is x a prime number?
False
Let f = -2417 - -1062. Let q = f + 3048. Is q a prime number?
True
Let n(h) = 7411*h**2 - 608*h + 17. Is n(8) composite?
False
Let r(k) be the second derivative of -k**5/20 - k**3/6 + 2*k**2 + 37*k. Let h be r(0). Is 1759*(-3 + h/1 + 0) a composite number?
False
Let f(d) = 6*d**2 + 54*d + 291. Is f(-15) a composite number?
True
Let j(z) = -30438*z - 10682. Is j(-10) composite?
True
Let b(f) = f**3 + 32*f**2 + 64*f + 132. Let v be b(-30). Let y(j) = j. Let g be y(0). Is (v + -461)/(g/(-1) + -1) a composite number?
False
Let f be (-3407375)/(-10)*24/15 - -4. Is 3/5 + 0 + f/135 prime?
False
Suppose -3*z + 215815 + 789074 = 0. Is z composite?
False
Let k be 1/6 + (-2 - (-1316)/24). Let s = k - -92. Is s composite?
True
Is 45007*6/(-36)*(-18)/3 prime?
True
Let y = -156862 + 400095. Is y a prime number?
True
Let x(d) = 124*d - 31. Let y = 4 + 0. Suppose -y*q + 0 - 6 = -3*n, -4*q = n - 18. Is x(n) a composite number?
True
Suppose 0 = -0*k - k - 6. Let l(u) = -2*u**2 - 12*u + 3. Let x be l(k). Suppose 0 = x*y - 2877 + 543. Is y a composite number?
True
Let l(k) = 7169*k - 1838. Is l(9) prime?
True
Let w be (-9)/(-27) - 8302/(-6). Suppose -11*d = -4*m - 7*d + w, 3*d = 3. Is m composite?
False
Let o = 23 - 18. Suppose -o*x + 5 = 5*r, -2*r + 5*r + 5*x = 7. Is (822/(-21))/(r/7) a composite number?
True
Let u(h) = -37319*h - 4. Let p be u(-7). Suppose 108761 + p = 5*d. Suppose -3*t - 15*t = -d. Is t a prime number?
True
Let o(w) = 1562*w - 1171. Is o(19) prime?
False
Let d(y) = 46*y - 141. Let x be d(-15). Let a = -568 - x. Is a composite?
False
Let m be -1708 + 0 + 0 - (-7 + 11). Let t = -791 - m. Is t composite?
True
Suppose -80*s - 59*s = 17*s - 102678108. Is s a prime