3*p - 3*o + 339. Is p composite?
False
Is 2387725/125 - (-8)/(-10) prime?
False
Let a(s) = 8*s**2 - 21*s + 40. Is a(27) prime?
False
Let l(i) = -11*i**2 - 2*i + 7. Let b be l(-4). Let f = 480 + b. Is f prime?
False
Let j(x) = 67*x**3 - 3*x**2 + 5*x + 4. Is j(3) composite?
False
Let f(g) = 2*g**3 + 6*g**2 - 3*g - 2. Let q be f(11). Suppose 14*u - 7*u = q. Is u composite?
False
Let l be 5086/(-4) - 12/(-8). Let n = 1838 + l. Suppose y = 4*d - 592, 4*d - n - 20 = 2*y. Is d composite?
False
Is 29/(-261) + 16328/18 a prime number?
True
Let b(a) = 144*a**3 - 6*a**2 - 3*a - 4. Is b(3) a prime number?
True
Let i(f) = -29*f**3 - 8*f**2 + 7*f - 17. Is i(-7) prime?
False
Let f(j) = -2*j**3 - 2*j**2 - 6*j - 13. Is f(-10) composite?
False
Suppose -w = -n - 1814, -2*n = 2*n. Is w a prime number?
False
Let d = 160 + -88. Let v = 98 + d. Suppose 7*c - v = 2*c. Is c prime?
False
Let d = 8327 + 138. Is d a composite number?
True
Let b(g) = -8 + 14 - 5*g + 210*g**2 - 10. Is b(-3) a composite number?
False
Let r(s) = s**3 - 8*s**2 + 10*s - 17. Let h be r(7). Is (-292)/8*(-2 + h + -16) a composite number?
True
Let p be 1937 + 2 - 2 - -1. Suppose -j - p = j. Is ((-4)/(-4))/((-3)/j) a composite number?
True
Let m = 22683 + -14890. Is m composite?
False
Suppose 32*c - 45266 = 6*c. Is c composite?
False
Let t = 48 - 34. Suppose -2*m = -t + 4. Suppose -2*w = m*x - 539, 0*x - 1295 = -5*w + 5*x. Is w prime?
False
Let r = 26194 - 18438. Suppose 4*n = 3*o - 4027, -5*o + r = -n + 1016. Is o prime?
False
Let h(f) = 370*f - 3. Let x be h(9). Let m = x - 748. Is m prime?
True
Let i(g) = 12*g**3 - 22*g**3 + 1 + 11*g**3 - g**2 - g. Let p be i(2). Suppose h + p*j = 18, -3*j + 31 = 2*h - 2*j. Is h prime?
False
Suppose -d + 0*l = -2*l + 4, -3*l + 9 = 0. Let s(v) = -v**2 + 1796. Let b be s(0). Is (d/2)/(4/b) a composite number?
False
Suppose 10 = 4*o - 2*o. Suppose 2*h + 3*h + 38 = -3*c, h + o*c = -12. Is (h/2)/(-7)*38 a prime number?
True
Let n = -49 - 5. Let i = n + 104. Suppose -5*t = -i - 215. Is t a composite number?
False
Let k = 4734 - -1619. Is k prime?
True
Let j be (-98)/8 + (-16)/(-64). Is -2 + -3*716/j composite?
True
Let q(p) = 3*p**2 - 8*p - 3. Suppose 7*s - 2*s = -w + 34, -3*s + 25 = -4*w. Let f = -15 + s. Is q(f) a prime number?
False
Let p be (-6)/21 - 1/7*-3215. Suppose 4*i = m + p, 3*i - 342 = 2*m + m. Is i a composite number?
True
Suppose -26597 - 8956 = -7*k. Is k a prime number?
False
Let o = 319 - -150. Let s(g) = 5*g - 37. Let v be s(-19). Let h = v + o. Is h composite?
False
Suppose 0 = h + 4*h - 135. Suppose 5*n + 23 = 4*l, n = -2*n - 2*l - h. Let q(d) = -d**3 - 5*d**2 + 6*d - 9. Is q(n) a prime number?
True
Is ((-44827)/(-46))/((-1)/(-2)) a composite number?
False
Let r be ((-2)/4)/((-3)/60). Suppose -r*o = -5*o - 1655. Is o composite?
False
Let p = -8 - -13. Let x be 1 + 73 + 7/(42/24). Suppose -x = p*n - 1943. Is n composite?
False
Let c = 12 + -10. Suppose 8 = c*i, 4*r - 5*r + i = 4. Suppose r = 5*h - 42 + 7. Is h composite?
False
Let f = 11294 - 5271. Is f a composite number?
True
Suppose -6464 = -3*n + c, 4*c = -n + 2793 - 660. Is n prime?
True
Let k(i) = 85*i - 4. Let y(m) = -170*m + 7. Let u(s) = -5*k(s) - 3*y(s). Is u(2) composite?
True
Let u(t) = 3*t**3 + 15*t**2 + 4*t - 23. Is u(13) prime?
False
Is 1518 - (-6)/((-30)/35) prime?
True
Let k(s) be the second derivative of -3*s**5/5 - 2*s**4/3 + 2*s**3/3 - s**2 + 3*s - 4. Is k(-7) prime?
False
Is (10/(-4))/((24/(-6))/6056) prime?
False
Let j be 88/20 - (-2)/(-5). Let h be (-3 + j)/((-3)/(-3)). Is 6/h*7/2 a prime number?
False
Let l(u) = u**2 + 5*u - 10. Let b be l(-7). Suppose q = b*m + 547 - 158, -4*q + 5*m + 1578 = 0. Is q prime?
True
Let s = -58395 + 85426. Is s a prime number?
True
Let n be (-1540)/42 - (-4)/6. Let p = n + 139. Is p composite?
False
Let z(q) = q**3 - 7*q**2 + 7*q - 20. Is z(11) prime?
True
Let w(m) be the third derivative of m**6/120 + m**4/24 + m**3/3 - 10*m**2. Suppose o - 15 = 3*q, o + 0*q - 5 = q. Is w(o) a composite number?
False
Suppose 0 = -2*o - 8 + 12. Is (1*o/(-2))/((-1)/1109) a composite number?
False
Suppose 5*m = -4*q + 3*q + 10670, 2*q + 4*m = 21340. Suppose -2*y + q = 4*x, 0 = 3*x + y - 6373 - 1631. Is x a composite number?
True
Suppose 3*p - 490 = p + 5*y, p - 4*y - 251 = 0. Suppose -2*q + 583 = p. Suppose -13*d + 15*d = q. Is d a prime number?
False
Let t be (-9)/6 - 33/(-6). Suppose 5*l + 3*d - 1784 = -0*d, t*d + 698 = 2*l. Is l prime?
False
Suppose 2*b + 322 = 4*y, -3*b = -5*y + b + 395. Suppose x + 225 = -5*h, 5*h + 73 = -5*x - 132. Let u = y - h. Is u prime?
False
Suppose -6*u = -3*u, 32815 = 5*g - u. Is g prime?
True
Let s(u) = -u**3 + 17008. Let r be s(0). Suppose -7*j + 3*j + p - 17024 = 0, 3*p + r = -4*j. Let z = -2918 - j. Is z a prime number?
False
Let q be 1 + (-10)/15*-129. Let f = 6 - 1. Suppose -f*u + 4*u = -q. Is u a prime number?
False
Suppose -81*o = -66*o - 63015. Is o composite?
False
Suppose -4*d - 123 = -7*d. Let m = d + 8. Is m composite?
True
Let j = -16098 - -24239. Is j composite?
True
Is -2 + 4 - (-8 - 41)*11 prime?
True
Suppose -5*i + 38 = 3. Suppose 0 = -4*p - 4*d - 8, -2*d + i*d + 3 = 2*p. Is 3/(6/(-614))*p prime?
True
Let z(q) be the first derivative of 11/2*q**2 + 7 - 10*q + 4/3*q**3. Is z(-9) a prime number?
False
Let g be 13*(-5 + -3 + 7). Let c(f) = -2*f**2 - 20*f - 9. Let z(o) = -6*o**2 - 61*o - 27. Let k(b) = -7*c(b) + 2*z(b). Is k(g) a prime number?
True
Let t(p) = -335*p + 252. Is t(-26) composite?
True
Is (27/(-9) - -8)/((-2)/(-2234)) prime?
False
Let s(g) = 13*g**2 + 10*g - 49. Is s(-30) composite?
False
Let h(i) = 11*i**3 + 3*i**2 + 7*i. Let j(v) = -23*v**3 - 6*v**2 - 15*v - 1. Let l(u) = 7*h(u) + 3*j(u). Let p be l(4). Suppose 3*c = 6*c - p. Is c prime?
True
Let h = 4354 + -2405. Is h a prime number?
True
Let p = -41507 - -87964. Is p composite?
False
Let f be 1*-2*(-15)/10. Suppose 4*b - 2024 = 4*l, -2054 = -f*b - b - 2*l. Is b prime?
False
Let h(i) = -10*i - 1059. Let a(o) = 3*o + 353. Let k(q) = 7*a(q) + 2*h(q). Let y = -9 + 9. Is k(y) a prime number?
True
Suppose 11*q - 324048 = 1266937. Is q composite?
True
Let j = 84 - 86. Is (978/3)/(-3 + 3 - j) a composite number?
False
Let s = 8437 + 10510. Is s a composite number?
False
Let k(m) = -m**3 + 2*m**2 - 3*m + 8. Let l be k(0). Suppose -5*t + l*t = 6147. Is t composite?
True
Suppose 11*l - 33536 = 77135. Is l a prime number?
True
Suppose -38 - 18 = -7*s. Suppose 0 = 5*l - s + 28. Is (l + (301 - 4))/1 composite?
False
Suppose 0*o = 3*o. Suppose 2*x = -4*g + 234, o*x - g + 228 = 2*x. Is x prime?
True
Let d(h) = 16*h + 41. Is d(27) a composite number?
True
Suppose 0 = -3*a + 4*a - 4. Suppose a*d - 24 = 2*p - d, -p - 22 = -5*d. Let z(w) = -246*w - 1. Is z(p) a composite number?
False
Suppose -5*g + 4*d + 34 = 0, 3*g + 6*d - d - 13 = 0. Suppose -g*u + 511 = -5*u. Is u a prime number?
False
Suppose 5*y + 0 = -5*s - 10, -2 = -5*y - 2*s. Let c(b) be the second derivative of b**4/2 - b**3/6 + b**2/2 - b. Is c(y) prime?
True
Let l(t) = t**2 - 6*t - 7. Let p be l(-1). Suppose -5*u + p*u + 5045 = 0. Is u composite?
False
Let j(i) = 25819*i**2 - 14*i - 14. Is j(-1) composite?
False
Let v(b) = -b**3 + 18*b**2 + b + 13. Let k = -14 - -30. Is v(k) a composite number?
False
Suppose z - 3*z = -1492. Let j = -459 + 912. Let l = z - j. Is l prime?
True
Let u be 1 - -2 - (-3 - 233 - -5). Suppose -u = -w + 4*f + f, 2*w = -4*f + 538. Is w a composite number?
True
Let q(a) = a + 8. Let t be q(-6). Let d be t/(-3)*(4 - 7). Suppose -d*s + 148 = -46. Is s prime?
True
Let b = 33 + -33. Suppose b*u = -u + 453. Is u composite?
True
Suppose 0 = -5*j + 622 - 52. Let f = 293 - j. Is f a prime number?
True
Suppose 0 = -r - 1, 5*r - 7*r + 461114 = 4*j. Is j prime?
True
Suppose 5*h - 44620 = -5*a, -5*a - h + 44610 = -6*h. Is a prime?
True
Let q(o) = o**2 - 2*o + 2. Let l be q(2). Suppose 0 = -7*u + u + 210. Let v = u + l. Is v a composite number?
False
Suppose -1 = -5*h - 6, 0 = 3*c + 3*h + 18. Let n(f) = -f**2 - 288. Let m(i) = i**2 + 287. Let q(v) = c*m(v) - 6*n(v). Is q(0) a composite number?
False
Suppose -7*n + 9 = -4*n. Suppose 0 = n*v - 2*v. Let r = 37 - v. Is r a composite number?
False
Let m be 0 - (0 - 1 - 0). Suppose -h - 7 = -2*q, 3*h + 2 + m = 0. Is (-4)/(q + -11)*614 composite?
False
L