e -6*c = -z*c + 4718. Is c prime?
True
Let i = -24505 - 12612. Let v = i + 56566. Suppose -n - v = -10*n. Is n prime?
True
Suppose -143 = 5*v - 4*w, -2*v + w = -w + 58. Is -1 + v/(-21) + 304487/119 composite?
True
Let j(h) = -h**3 + 61*h**2 - 163*h - 133. Is j(52) prime?
True
Suppose 21*w - 6084 - 3471 = 0. Let b(z) = -z + 10. Let s be b(7). Suppose 4*v = 2*c + 250 + 342, -w = -s*v - 4*c. Is v a prime number?
True
Let l(y) be the first derivative of -339*y**4/2 - y**3/3 - y**2 + 5. Suppose 2*c + 14 = -12*c. Is l(c) a composite number?
True
Suppose 0*w + 11 = 4*z + 3*w, -z + 11 = -2*w. Suppose 7*a - 4322 = z*a. Is a a prime number?
True
Let m = -1740 + 1800. Let d(u) = 11*u**3 - 6*u**2 + 6*u. Let c be d(5). Suppose a = c - m. Is a composite?
True
Let t = -605 - -605. Suppose -19*l + 37*l - 504198 = t. Is l prime?
False
Let p(q) = 217*q**2 - 16*q + 8. Let o be p(10). Suppose 0*h = -3*h + 5*w + 16169, 4*w + o = 4*h. Is h a prime number?
False
Let u(s) = 59*s + 37. Let n be u(13). Let x = 2425 - n. Is x prime?
True
Let d(y) = -2*y - 43. Let k be d(-20). Let p(c) = -348*c**3 - c**2 + 3*c - 1. Is p(k) a composite number?
False
Is (-10947302)/(-18) - (3145/(-153) + 21) a composite number?
True
Suppose 173 = 2*n - 3*r, 39 = 4*n + 2*r - 283. Suppose n*o - 48447 = 73*o. Is o a composite number?
True
Let s(p) = p**3 + 27*p**2 + 6*p + 21. Suppose 5*a + x - 65 = 0, 2*a - 3*x + 39 = 4*a. Suppose -260 = -2*k + a*k. Is s(k) a composite number?
False
Let p(w) = 1383*w**3 - 3*w**2 - 3*w + 4. Let n = 57 + -56. Is p(n) prime?
True
Suppose 0 = 39*q - 2211364 - 1087529. Is q a composite number?
True
Suppose 4*j + o - 2469274 = 0, -3*j - 33*o + 1851921 = -38*o. Is j a composite number?
True
Let z be ((-70)/(-15))/(-7) - (-4082)/(-6). Let i = z + 1075. Is i a prime number?
False
Is (16 + -19)*2541410/(-30) prime?
True
Let j be ((-32)/(-10))/((-2)/26945). Let d = -16381 - j. Is d composite?
False
Is (16/24)/((-6905113)/2301717 + 3/1) prime?
False
Let o(l) = -l**2 + 5*l - 6. Let u be o(5). Let m be (11/(-2))/(u/(-732)). Is m*(3 - (8 + -4)) a prime number?
False
Let n be (-640 - 0)*(-2)/5. Let r be 3 + -7 + -3 + n. Is (r*(-3)/(-18))/(3/66) a composite number?
True
Suppose -5*l - 3*r - 26 = -l, 3*r = 5*l + 19. Let q(j) = 125*j**2 - 43*j + 9. Is q(l) a composite number?
True
Let i = 71 - 67. Let q(r) = r - 4. Let w be q(i). Suppose -2*k + 10 = w, 0*k + k + 664 = 3*p. Is p composite?
False
Suppose -4*j + 154 = 5*q + 43, -3*q + 9 = 0. Suppose -2*c = -4*p + j, 4*c - 6 + 22 = 0. Is ((-3828)/18)/(p/(-6)) a prime number?
False
Let r = 23 + -50. Let u = -22 - r. Suppose -u*c + 437 = -288. Is c composite?
True
Suppose -2*p + 166*t - 161*t = -1013941, 2534800 = 5*p + 5*t. Is p prime?
True
Suppose 4*c = 3*m - 90996, -3*c = -3*m - 2*c + 90987. Let s = -45493 + m. Is (2/6)/((-5)/(s/3)) a prime number?
True
Suppose -d - 4 = 0, 28 = -f - 14*d + 16*d. Is 157/(-2)*(f - -26) prime?
False
Let n(t) be the second derivative of -1/6*t**3 - 2*t**2 - 13*t + 0 + 5/6*t**4. Is n(-5) a prime number?
True
Suppose 0 = -y - 2762 + 15559. Suppose -p + y = 2*b - 29382, b = p + 21088. Is b a prime number?
True
Let i be (10 + 510/(-45))*(7 + -1). Let q(d) = 125*d + 54. Let x(w) = 25*w + 11. Let b(r) = 2*q(r) - 11*x(r). Is b(i) a composite number?
True
Let l = 16700 + -10021. Is l prime?
True
Let s = -18875 + 33082. Is s a prime number?
True
Let l(z) = 91*z**3 - 8*z**2 + 2*z + 12. Is l(5) a composite number?
False
Let s be 396/(-72) + 14/4. Suppose 2*i - k - 12 = 0, 6*k + 40 = 5*i + k. Is (s/1 + i)/((-10)/(-725)) a composite number?
True
Let w(y) = -9*y**3 - 6*y**2 + 9*y + 13. Let k(v) = -19*v**3 - 11*v**2 + 18*v + 27. Let i(s) = -2*k(s) + 5*w(s). Is i(-8) a prime number?
True
Let l(r) = -581*r - 85. Let q be l(10). Let m = q + 11168. Is m composite?
False
Let s be 526/18 - 2/9. Suppose p - 7*q - s = -2*q, 2*q + 14 = p. Suppose -2 = -2*h + p, 2*g - 4*h = 970. Is g a composite number?
False
Let x(r) = -196*r**2 - 13*r - 4. Let f be x(3). Let g = -816 - f. Is g composite?
False
Let z(u) be the third derivative of u**5/60 - u**4/3 + 11*u**3/6 - 18*u**2. Let m be z(7). Suppose -4*l + x = -900, -2*l = m*x - 302 - 166. Is l prime?
False
Let u(i) = -3*i + 49. Let k(s) = s**3 - 23*s**2 - 26*s + 26. Let t be k(24). Is u(t) a prime number?
False
Let u(t) = 6*t**3 + 22*t**2 + 21*t - 5. Let x(z) = 268 - 7*z**3 - 264 + 2*z**2 - 22*z - 24*z**2. Let q(h) = 6*u(h) + 5*x(h). Is q(-17) composite?
False
Let f be 27/33 + -1 - (-1551116)/154. Let x = -5981 + f. Is x a prime number?
True
Let k be (1 - 4) + (-120)/(-15). Suppose 0*f - 3*f + 3975 = k*x, 5*f = 4*x - 3180. Suppose -u + x = 2*u. Is u a composite number?
True
Is (-24274068)/(-65) + (288/(-40) - -7) prime?
True
Suppose -2*z + 10 = 0, 0 = -5*r + 3*z - 9*z + 3315. Let q be -4*(19510/(-4))/5. Suppose -q + r = -5*x. Is x a composite number?
True
Let q(t) = t**3 - 33*t**2 - 90*t + 25. Let l = -96 + 132. Is q(l) prime?
True
Let c(n) = -80*n + 33. Let u = 19 - 27. Is c(u) a composite number?
False
Let q = -167072 - -365773. Is q prime?
True
Let k(o) = -5*o**3 + 4*o**3 + 10 + 11*o**2 + 4 - o. Let s be k(11). Suppose -s*a + 806 = -1687. Is a prime?
False
Is -5 - (-141615 + (-27)/(-3)) a prime number?
True
Let o = -830 + 1541. Let t(i) = 55*i**2 - 62*i - 5. Let a be t(8). Suppose o = 10*q - a. Is q composite?
False
Let s = 86037 - 30236. Is s a prime number?
False
Let j be 0 - (-6 + 8) - (-90)/2. Let q = j + -38. Suppose q*i - 789 = o, -3*i + 483 = -o - 2*o. Is i composite?
False
Let c(q) = 33*q + 15 + 14 + 53*q. Suppose -g - 4*h - 44 = -6*g, -5*g + 72 = 3*h. Is c(g) composite?
False
Let v(f) = -f + 5. Let p be v(5). Suppose -3*i + 1566 = 5*o - 0*o, p = 3*i - o - 1566. Let j = i + -215. Is j composite?
False
Let h(o) = 827*o**2 + 8*o - 7. Is h(-6) a composite number?
False
Suppose r = -5*t - 3474, -3*r + 5*r - 2 = 0. Let z = t + 1080. Suppose z = w + 5*q - q, -q - 1988 = -5*w. Is w prime?
True
Let u(m) be the third derivative of -m**5/60 - 2*m**4/3 + 10*m**3/3 - 14*m**2. Let y be u(-17). Is -4 - (-933)/y*1 prime?
True
Suppose 2*m + 1502 = 2*o, -4*m - 745 = -0*o - o. Suppose 213 = 3*c - o. Suppose 1787 - c = 5*l. Is l composite?
False
Let d(l) = 78*l**2 + 6312*l - 11. Is d(-109) prime?
False
Let l(m) = -m + 8. Let b be l(-8). Suppose -2*u + 14498 = 2*j, 0 = -3*j + 18*u - b*u + 21737. Is j a prime number?
True
Let j = 49 - 54. Let f be -3 + 106/12 - j/30. Suppose 4524 = 6*t + f*t. Is t prime?
False
Let u(r) = 20*r + 108. Let h be u(-10). Let t = 345 + h. Is t a prime number?
False
Let n(z) be the first derivative of -3*z**2 - z + 2/3*z**3 + 16. Is n(14) composite?
False
Suppose 2*j = 3*d + 30, 3*j - 23 = 3*d + 19. Suppose h - 4*h - j = 0, 0 = -t + 5*h + 2465. Let r = -1154 + t. Is r prime?
True
Let r(l) = -l**3 + 4*l**2 + 8*l - 24. Let w be r(5). Let h(o) = -o**3 - 5*o**2 - 11*o - 12. Is h(w) composite?
True
Let o = 8346 + -5286. Let s = 10853 + o. Is s a prime number?
True
Suppose -7*s + 2 = -6*s. Suppose s*i - 1902 - 2650 = 0. Suppose 2*c + 3*t = 4*t + 910, 5*c = 3*t + i. Is c prime?
False
Let s = 141 + -148. Let a(m) = 69*m**2 - 2*m - 58. Is a(s) prime?
False
Suppose 126 = 2*a + 5*i - 0*i, 5*i = a - 33. Suppose 57*j - a*j = 2400. Suppose j + 1060 = 10*f. Is f composite?
True
Let d(g) be the second derivative of 12*g - 3*g**2 + 0 + 127/6*g**3. Is d(5) a prime number?
False
Let l = -33 - -39. Let f(h) = -2*h - 4. Let n be f(-4). Is (-36808)/(-258)*(0 + l/n) a prime number?
False
Suppose 3*o - 53*c = -54*c + 1093742, -5*c + 729131 = 2*o. Is o a prime number?
True
Let r(x) = -x**2 - 12*x + 2. Let w be r(-12). Suppose -g + 6*g = w*l + 4981, 3*l - 1003 = -g. Is g composite?
False
Is (-2369588)/(-6) + -1 + ((-87)/(-9) - 9) a composite number?
False
Let g = 159 + -152. Suppose -5843 = -g*c + 12840. Is c a composite number?
True
Let w = 873875 + -615486. Is w a composite number?
False
Is 7*8/(-224)*-186092 composite?
False
Suppose 2*y - 3071 = -5*l + 20150, l - 11606 = -y. Is y composite?
True
Suppose -792124 = 46*g - 2297575 - 755771. Is g composite?
False
Let d = 17159 - -19212. Is d a composite number?
True
Let p be (-1755)/(-78)*(-233 + 1). Let d = 11011 + p. Is d a prime number?
True
Suppose -118540 - 252956 = -23*g. Let k = -4183 + g. Is k prime?
True
Suppose -133 = -12*o - 