 g a composite number?
True
Let x(z) be the third derivative of 0*z + 0 - 1/12*z**4 + 379/6*z**3 + 1/60*z**5 - 13*z**2. Is x(0) a prime number?
True
Let z be (-2*6/10)/((-4)/23480). Suppose -38*f = -34*f - z. Suppose 2*j - f = -j. Is j a composite number?
False
Is (4955888/(-96))/((-4)/24) composite?
True
Let w = -21 - -46. Let u = w - 17. Is ((-1402)/4)/((-4)/u) a composite number?
False
Let u(i) = -3*i**3 + 6*i**2 - 32*i - 1. Let q be u(12). Let l = -2474 - q. Is l composite?
True
Suppose -64*t - 43*t + 18269501 = 0. Is t a composite number?
True
Suppose -45*q - 21*q = 330. Let l(d) = -d**3 - 3*d**2 - d - 52. Is l(q) prime?
True
Let v be (-56)/12 + (-2)/6. Let a = -26 - v. Is 1*(-2536)/(-7) - (-6)/a prime?
False
Let q = 115151 + -79869. Suppose w = -2*g + 70559, -2*w - w = g - q. Is g prime?
True
Is -8 - ((3 - 287173) + -11) composite?
False
Let v be -5*4/(-16) + 27276/16. Suppose -7*w - v = -9*w. Is w composite?
False
Let f(s) = -2334*s**3 + 19*s**2 + 8*s - 6. Is f(-4) a composite number?
True
Let y = -43 + 49. Suppose 0 = -y*h + h + 1775. Suppose b - 1674 + h = -4*c, 5*b + 1680 = 5*c. Is c a composite number?
False
Let s be (-160)/60*3/2. Let j be (s/6)/(6/(-225)). Suppose -j = -5*c, -3*k + 3234 + 3233 = 4*c. Is k composite?
True
Let w(d) = 5*d + 56. Let m be w(-18). Let x be (-60)/(-68) + (-4)/m. Suppose -2*n = -67 + x. Is n composite?
True
Suppose 5*c - 4*m - 111721 = -5*m, 44716 = 2*c + 5*m. Is c a composite number?
False
Suppose -39*x + 21*x = -211986. Is x prime?
True
Suppose -1293 = 14*w - 229. Is 10778 - (w/24 + (-2)/(-12)) a composite number?
False
Suppose 5*k = 19*k. Suppose k = 3*h + b - 7415, 2*h - 4934 = -0*h - 3*b. Is h composite?
False
Let f(z) = 3*z**3 - 3*z**2 + 14*z - 53. Suppose -2*v = -6*v, 2*v = -3*w + 36. Is f(w) a prime number?
False
Suppose 3*d - 16 = -4*r, -2*d + 3*d = -5*r + 20. Suppose 2*w + s = 14501, 20 = r*s + 8. Is w composite?
True
Let l(w) = 2*w - 23. Let x be l(19). Suppose x*j - 17427 = 11178. Is j a composite number?
False
Let b(p) = -686*p + 145. Let n be b(-28). Let z = n - 13346. Is z composite?
False
Let l be (-12 - -6)*(-4)/6. Suppose d + 6805 = 6*d + 2*z, d - 1361 = -l*z. Is d a composite number?
False
Let s(f) = -6473*f**3 - 2*f**2 + 2*f + 3. Let o be s(-1). Suppose 0 = -y + 5, 5*z + 3*y + o = 44192. Is z a composite number?
False
Let q(r) = -r**2 - 10*r - 22. Let h be q(-6). Suppose 10544 - 234 = 2*x. Suppose -w - x = -h*a, a - 5*w + 894 = 3458. Is a prime?
True
Let q(v) = v**3 - 4*v**2 - 5*v + 5. Let o = 12 + -25. Let g = o + 19. Is q(g) a composite number?
False
Let d = 10 - 16. Is 14/((-9)/(25731/d)) a composite number?
True
Let s(g) = 341*g**2 - 2*g + 5. Let k(j) = 1365*j**2 - 10*j + 18. Let c(b) = -2*k(b) + 9*s(b). Is c(-2) a prime number?
True
Let q = 1334 + -573. Let l = -454 + q. Is l a composite number?
False
Suppose 0 = -10*f + 7*f. Suppose f*g - 3*g = -2382. Let w = 1137 + g. Is w composite?
False
Suppose 1270*u - 1306*u + 6580692 = 0. Is u a prime number?
False
Let j be ((-4)/6)/(3 + (-329)/105). Is (242/3)/(4/24) - j a composite number?
False
Let f(a) = 2*a**2 - 3*a + 1. Suppose -7*v + 5 = -9. Let t be f(v). Suppose -2*s - 1257 = -t*s. Is s composite?
True
Suppose -2*b - 5*f - 6 = -2*f, 4*b - 5*f = -34. Let v be ((-8)/(-12))/(b/(-45)). Suppose y = c - 147, -v*c + c + 5*y = -586. Is c a prime number?
True
Suppose 2*y = y - 522. Let q = 2311 + -1392. Let k = q + y. Is k prime?
True
Suppose 0 = -23*k + 66288 + 89652. Let i = -1117 + -3270. Let x = i + k. Is x composite?
False
Let q(l) = 2552*l - 49. Let u be q(3). Suppose -2*o + 5058 = -2*x, 3*o - u = 5*x - 7*x. Is o a composite number?
True
Let z be 16131/209 - (13/11 + -1). Suppose -13*a + 2*a - z = 0. Is 1277/4 + a/28 a prime number?
False
Suppose -y + 7*z - 1494837 = 10*z, -4484499 = 3*y + 5*z. Is (y/(-8))/9*10/15 a composite number?
False
Let b be (-1)/(2*(-1)/(-2)) - -13. Let d(a) = 18 - b - 33 - 17*a. Is d(-5) a composite number?
True
Let m(k) = -204429*k + 288. Is m(-1) a prime number?
False
Is 9483 + (-182)/(-13) + -6 prime?
True
Suppose 232167 = 3*t - 3*g, -83 = -5*g - 113. Is t prime?
True
Let c(g) be the second derivative of 554*g**3/3 + 49*g**2/2 - g - 33. Is c(6) composite?
True
Suppose -3*f + 4*m + 37359 = 0, 16*f = 20*f + 2*m - 49790. Is f prime?
False
Let q = -398 - -1486. Let x = 2285 + -566. Let k = x - q. Is k a prime number?
True
Suppose -3*t + 0*t = 8124. Let o(j) = j**3 + 5*j**2 - 5*j - 12. Let m be o(-4). Is 1/(-3) + t*(-4)/m prime?
False
Let q(c) = 39*c**2 + 2*c - 8. Let z be 20*-1*(12/(-8))/3. Let m(h) = -h**3 + 10*h**2 - h + 15. Let n be m(z). Is q(n) a prime number?
True
Let y = 743 + -740. Is (2/y - (-141)/45)*635 a composite number?
True
Let q(g) be the second derivative of 176*g**4/3 - g**2/2 + 4*g. Let z(b) = -b - 22. Let h be z(-20). Is q(h) a prime number?
False
Suppose -145*u + 12488368 - 9475364 = -26303531. Is u prime?
True
Let x(w) be the first derivative of 69*w**4/4 - 7*w**3/3 - 5*w**2 - 5*w - 136. Is x(4) a composite number?
False
Let i = -27 - -32. Suppose -i*c = 4*m - 6899, 5*m - 8620 = -0*c - 5*c. Is m prime?
True
Let f = 133795 + 31242. Is f a composite number?
False
Let x = 30405 + -7792. Is x a prime number?
True
Suppose 19*i - 3412340 = -3160213 + 4424970. Is i composite?
True
Let x = -259 - -384. Let c = -130 + x. Is c + (-124)/(-24) + 13810/12 composite?
False
Let u = 8 - 11. Let w(l) be the third derivative of -5*l**4/8 + l**3/6 + 121*l**2. Is w(u) a composite number?
True
Let u(j) be the second derivative of 1/2*j**2 + 0 - 1/2*j**3 - j - 1/12*j**4 - 19/10*j**5. Is u(-3) composite?
True
Let v(k) be the first derivative of -2497*k**2/2 + 264*k - 162. Is v(-11) a prime number?
False
Let a = 969 + 2140. Is a composite?
False
Let v = 1463553 - 862426. Is v prime?
True
Suppose -3*l = -5*c + 165, -4*c - 56 = -5*c - 4*l. Let z(a) = -111*a + 3 + c*a - 2. Is z(-10) a prime number?
True
Suppose -4*n + 3*n + 522 = 0. Let g be 9*9/(-27) + (-4 - (0 + -222)). Let r = n - g. Is r a composite number?
False
Let p = -14 + 18. Suppose -p*n = -6220 - 1804. Suppose -1238 = -3*u + 3*t + 1780, -4*t = -2*u + n. Is u a prime number?
True
Let l = -442838 - -1130867. Is l a composite number?
True
Let z = -17 + 13. Let r be -2 - 16/z*-5. Is ((-30)/(-2))/(-4 + r/(-4)) prime?
False
Let k(x) = 8*x**3 - 4*x**2 + x + 5. Let p be k(3). Let q = -100 + p. Is (4 - 4) + 0 + 1 + q prime?
True
Let i(z) = 219*z**2 + 23*z - 117. Is i(-20) prime?
False
Let r = 3668 + -2141. Let q(s) = -2*s - 1. Let v be q(-4). Suppose r = -4*k + v*k. Is k a prime number?
True
Is ((-1488475)/50)/(1/(-2)) a composite number?
False
Let s(v) be the second derivative of 565*v**4/24 - v**3 + 20*v**2 - 27*v. Let i(u) be the first derivative of s(u). Is i(5) composite?
False
Let l = 32800 - 32775. Is l a composite number?
True
Suppose -4*c = 3*r - 3*c - 37, 3*r - 5*c = 67. Let d be (-7)/r*(1 - 1)/2. Suppose d = 31*g - 35*g + 7796. Is g a composite number?
False
Suppose 4*m = -10 + 50. Suppose 0 = m*b - 50342 - 51458. Suppose 12*y = 8*y + b. Is y a composite number?
True
Let r(y) = 26*y**3 + 3*y**2 - 64*y + 221. Is r(24) prime?
True
Let q = -53 - -53. Suppose 2*n + 6*n - 4928 = q. Suppose o - 3*w - 124 = -2*w, -5*o + n = -w. Is o prime?
False
Is (1 + 34896)/(76/76) a prime number?
True
Let w be (24/(-20))/((-5)/(50/3)). Suppose -63 - 9 = w*r. Let g(j) = j**2 + 11*j + 5. Is g(r) a prime number?
True
Let z(y) = 400*y**2 + 89*y + 581. Is z(-6) a composite number?
False
Let n = 1135 + -2745. Let i = -944 - -4395. Let d = i + n. Is d a composite number?
True
Let r(g) = 2*g + 4. Let o(i) = i + 2. Let q(d) = -11*o(d) + 6*r(d). Let v be q(10). Suppose 1251 = u + 2*k - 4*k, -v = -3*k. Is u composite?
False
Let v be (-5)/2*(5 - (-9)/(-3)). Is (v - 0)/(4/(-10916)) a composite number?
True
Suppose -6*n = -199579 - 212471. Suppose 2*d - 27470 = -2*w - 2*d, n = 5*w + 3*d. Suppose -6*i + w = -623. Is i composite?
False
Is ((-69038)/4)/(((-285)/(-38))/(-15)) a prime number?
True
Let f(p) = -111*p - 87. Let n be f(-7). Suppose -n = -2*d + 1112. Is d prime?
False
Let k be -1 + -1090 + -2 + (2 - 0). Let v = -462 - k. Is v a prime number?
False
Suppose -17*p + 62*p - 6692445 = 0. Is p composite?
False
Suppose 3*r = 6*r + 6, 0 = 2*l + 2*r. Suppose 0 = -c - 4*w + 277, 4*w