**3 - 6*u**2 + u - 3. Let f be c(5). Let x be 12/(-2) + 669 + 5. Let p = x - f. Is p prime?
True
Let m be (1358 - 0) + -3 - -1. Let h = -949 + m. Let x = 874 - h. Is x prime?
True
Suppose 0*g - 2*g + 10 = 0. Suppose -5*x = 5*m - 8305, g*m = 5*x + 2*m - 8273. Is x a composite number?
False
Suppose -3*n = -3*s - 2 - 1, 6 = -s + 2*n. Suppose 5*f = s*f + 32. Suppose -4*w - f = -2*j - 2*w, 3*j - 4*w - 51 = 0. Is j prime?
True
Suppose -5*i - 831 = -4*n + 1425, -3*i - 1357 = n. Let d = i - -783. Is d a composite number?
False
Let w(f) = 5*f**2 - 6*f**2 + 4*f + 1 + 4*f**2 + 4*f. Is w(-16) a composite number?
False
Let p be ((-8)/5)/(6/15). Let a be 56/p*(-278)/(-4). Let k = 126 - a. Is k a prime number?
False
Let m = -21 + 24. Suppose 0 = -4*i - 2*w + 610, 5*i + m*w - 780 = 4*w. Is i a prime number?
False
Suppose 0 = -4*c - 4*s + 4348, 1204 = c + 2*s + 112. Is c composite?
True
Is 9/(-81) - (-673588)/9 a composite number?
False
Suppose 4*u - 2*v - 40 = 0, -5*v - 10 = -2*u + 18. Let s(w) = 17*w**2 - 8*w + 14. Is s(u) prime?
True
Suppose 5*n = 2*j - 234 - 204, -5*n = 0. Let a = 470 - j. Is a a composite number?
False
Suppose -4*s + 1077 + 1931 = 0. Let o = s - 247. Is o a composite number?
True
Let n be 1/((-6)/4)*(-18)/4. Is ((-1)/n)/((-3)/3519) a composite number?
True
Let g = -7 + 13. Suppose -5*p = -g*p + 1099. Is p prime?
False
Let u be (-61 + 3)/(-2 - 0). Let p = u + 90. Is p prime?
False
Suppose 517 + 555 = 4*d. Suppose 0 = 4*g, -4*r = -6*g + g - d. Is r a prime number?
True
Suppose 18357 + 775 = 4*k. Is k composite?
False
Let j = -5424 - -7757. Is j a composite number?
False
Suppose 0 = 4*m - 8*m + 12. Suppose -3*k = -5*x + 168, m*x - 27 = k + 25. Let v = -26 - k. Is v prime?
False
Let v(f) = -f**3 - 2*f**2 - 2*f - 1. Let t be v(-1). Suppose t = -5*k + 286 + 4759. Is k a prime number?
True
Let f(q) = 14*q**3 + 3*q**2 + 13*q - 1. Let h(p) = 42*p**3 + 8*p**2 + 38*p - 3. Let i(o) = 11*f(o) - 4*h(o). Is i(-4) a composite number?
True
Let t(g) = 8*g**3 - 5*g + 9. Let a be t(4). Suppose 603 + 648 = 5*o + 4*b, 2*o - a = -b. Is o composite?
False
Let u = 4 - 1. Suppose -2*y - 25 = u*y. Is (-1 - (3 + y))*394 a composite number?
True
Let x be 3/(-2) - 1/(-2). Let r be 0/x - (7 + -11). Suppose r*y = 2659 - 783. Is y prime?
False
Suppose -3*a + 12 = -a. Let l be a/21 + 38/14. Is 21/l*23 + 0 a composite number?
True
Let b be 2*(177/3 - -3). Let k(a) = -a. Let i be k(1). Is b + i + (5 - 1) a composite number?
False
Let i(y) = -2*y + 11*y**2 + 15*y**2 - 6*y + 15 - 4*y + y**3. Is i(-22) prime?
False
Let h = 267 - 182. Is h a composite number?
True
Is (-8)/2 + (47 - -5574) - -6 a prime number?
True
Let l = 428 + -140. Let h be 4/10 - 4/10. Suppose -2*n + 294 = 4*a, -2*a = 2*n - h*a - l. Is n prime?
False
Let t(w) = 2*w**2 + 23*w - 10. Let q be t(-14). Is q/(-8)*2696/(-12) a prime number?
False
Suppose 9 = 11*h - 8*h. Suppose h*t + 634 = 5*t. Is t composite?
False
Let s(v) = v**2 + 8*v - 7. Let f(a) = -a - 4. Let x be f(5). Let b be s(x). Suppose b*g = 0, -4*o = 2*g + 153 - 781. Is o a prime number?
True
Let h(x) = 2*x - 10. Let a be h(5). Let w be a*(1 + 2)/6. Suppose 4*z = 4*t + 436, t - 2*t + 2 = w. Is z a prime number?
False
Suppose 0 = 7*o - 17 - 18. Suppose 3*m + m = -5*q + 5429, -o*m - 4*q + 6793 = 0. Is m a composite number?
False
Let j(g) = -g**3 + 9*g**2 + 9*g + 13. Let p be j(10). Suppose -5 = -p*z - 2*z. Suppose 3*d = 7 - z, 278 = 4*f + 5*d. Is f composite?
False
Let v = 2217 + -1534. Is v prime?
True
Let k(x) = 560*x**2 + 22*x + 55. Is k(-3) composite?
True
Let s(b) = -129*b - 277. Is s(-34) composite?
True
Suppose 2*i + 134 - 10220 = 0. Suppose -l - 3*t + i = 3*l, 3*l + 3*t - 3786 = 0. Is l a prime number?
False
Let m be (-308)/(-55) - (-4)/10. Let w be 16/m + 1/3. Suppose -w*f = -t - 1493, -2*f + 3*t - 1509 = -5*f. Is f composite?
False
Let z(q) = q**3 - 3. Let m(x) = -x**3 + 9*x**2 + x - 6. Let v be m(9). Let f be z(v). Is 19/(1 + f/(-28)) a prime number?
False
Suppose -18441 + 2938 = -37*p. Is p a prime number?
True
Suppose 0 = -15*k + 13 + 2. Suppose -5*x = -3*c - 3380, -c - 4 - k = 0. Is x a composite number?
False
Let j = 18744 + 1309. Is j a composite number?
True
Let v(h) = 11*h - 1. Let r be v(6). Is (r*-1)/(-2 - -1) a prime number?
False
Let w(n) = 17*n + 13. Suppose -r + 5 = 4*g + 3, 2*r = 5*g - 35. Let c be w(r). Is (-6*c/2)/3 prime?
True
Let h = 69 - 69. Suppose h = -3*k + 629 + 2614. Is k a composite number?
True
Let z = -17 - -9. Is ((-196)/(-2))/(z/(-44)) + -1 prime?
False
Suppose 0 = 2*c + 10, -i + 2*i - 3390 = 5*c. Is i a composite number?
True
Let w(d) = -d**3 + 16*d**2 - 16*d + 15. Let a be w(15). Suppose 3*p - 4*x - 1339 = 1755, a = -2*p + 3*x + 2064. Let n = p - 653. Is n composite?
False
Let c = 25 + -17. Suppose c*h - 6*h - 1726 = 0. Is h prime?
True
Suppose -l - 3*n + 1039 = 0, 0 = -2*l - n + 5*n + 2078. Is l prime?
True
Is 18 + 5203 - (-1 + 1) prime?
False
Let v = 43 + -39. Let a(c) = 3*c**3 - 4*c**2 - c + 3. Is a(v) a composite number?
False
Let j = -541 + 938. Is j prime?
True
Let q(j) = 2*j**2 + 17*j + 13. Let a be q(-15). Let d = a - -85. Is d composite?
False
Let j(v) = 2*v**3 - 6*v**2 - 10*v + 3. Suppose 3*w = -3*l + 45, w - 27 = -2*l - 2*l. Is j(w) a composite number?
True
Let b = -12 + 23. Let h(u) = u**3 - 4*u**2 + 3*u - 2. Let s be h(3). Is (-6)/2 - b*s a prime number?
True
Let o be (0 - (-1 - -3)) + 23. Suppose 3*y - o = 3*n, 0*y + 3*n = 4*y - 23. Suppose 4*r - 3*r = -y*b + 110, 4 = -r. Is b a composite number?
True
Suppose -3*x = -2*x + 10. Let d(l) = -l**3 - 11*l**2 - 11*l - 8. Let q be d(x). Suppose -4*g = -j + 107, -22 + 266 = q*j + 2*g. Is j a prime number?
False
Suppose j - 5 + 2 = 0. Suppose 0 = j*i + 2*i - 3*n + 28, n = 1. Let h(s) = -30*s - 7. Is h(i) composite?
True
Is 8624 + 0 - (12 + -5) composite?
True
Let z(t) = -752*t + 31. Is z(-5) composite?
True
Let r(l) = l**2 + 8*l + 10. Let f be r(-4). Is (-2)/f*-1 + 34500/9 composite?
False
Let s(c) be the first derivative of 2*c**3/3 - 8*c**2 - 19*c + 1. Let g(o) = o**2 - 19*o + 34. Let l be g(18). Is s(l) prime?
False
Let b(s) = 2*s**3 - 9*s**2 + 12*s - 16. Suppose -r = 2*l - 19, -2*r + 4*l - 4 + 2 = 0. Is b(r) prime?
True
Suppose 0 = 4*t + r - 628, -t + 4*t - r = 471. Is t a prime number?
True
Let i(z) = 1535*z**2 + 40*z + 4. Is i(5) a prime number?
False
Let n = 6385 + -2594. Is n prime?
False
Suppose m - 2*t + 4*t - 6 = 0, 24 = 5*m + 4*t. Let x = m + -4. Suppose x = -o - 65 + 152. Is o a prime number?
False
Suppose -3*t = t - 20. Suppose -3599 = -t*s + 2*o, 0 = -3*s - 5*o + 680 + 1467. Is s prime?
True
Suppose -5*i = -3*d - 2204, -219 = -2*i - 5*d + 644. Suppose 3*h + i = 5*h - b, 5*h - 1105 = 4*b. Let t = -76 + h. Is t composite?
True
Is ((108/8)/27)/((-1)/(-3518)) composite?
False
Let q(o) = -o**3 + 2*o**2 + 5*o - 5. Let j be q(3). Is ((-4)/16*-587)/(j/4) composite?
False
Let n = -40735 - -59990. Is n a prime number?
False
Suppose 3*t - 12 = 3. Suppose -h = -4*h, -t*u = -2*h - 3415. Is u composite?
False
Suppose 0 = -16*s + 22*s + 18. Is ((-4342)/12 + 5/(-10))*s a composite number?
False
Suppose z + 0*z + 2*i = -8, 3*z + 30 = -4*i. Let g = z + 9. Let a = 144 - g. Is a prime?
True
Let u(n) = -n**3 - 13*n**2 - 8*n + 15. Let h be u(-11). Let y = 1486 + h. Is y a composite number?
True
Suppose 6 = -o + 5*y - 3, 4*y = -2*o + 10. Is (2/6)/(o/5199) composite?
False
Let k = -313 + 770. Is k composite?
False
Let g(i) = -24*i**3 - 22*i**2 + 25*i + 85. Is g(-12) composite?
True
Let v(t) = -3*t**3 + 5*t**2 + 5*t - 1. Let o(x) = -x**2 - 4*x + 8. Let d = -6 - 0. Let p be o(d). Is v(p) prime?
True
Let y be (-2 + (-580)/(-15))*3. Let d = 645 - y. Is d prime?
False
Let t(a) = 18*a**2 + 21*a + 106. Is t(-11) prime?
True
Suppose 2*c - 7172 - 1502 = 0. Is c prime?
True
Let d be (-6)/4 + 3/2. Suppose 3*i - 2*u - 3301 = d, i = -i + 2*u + 2202. Is i a prime number?
False
Suppose -8*y + 552 + 2096 = 0. Is y a composite number?
False
Let p(d) = d**3 - 3*d**2 - 4*d + 10. Let g be p(8). Let v(n) = n**2 + 5*n - 5. Let z be v(-7). Suppose -7*r = -z*r + g. Is r composite?
False
Suppose 10*d = 13*d - 498. Is d/(5/((-20)/(-8))) a composite number?
False
Let a(c) = -c**2 - c + 219. Let f be a(0). Suppose 268 = -3*t - r - 129, 4*t = -4*r - 532. Let o = f + t. Is o prime?
False
Le