s(a) = -a**3 + 3*a**2 + 3*a + 4. Let i be s(4). Let r = 83 - i. Is r a prime number?
True
Let r(n) = -n - 7. Let b be r(-6). Let h be b + (1 - -2 - 2). Suppose 0 = -h*y + 3*y - 99. Is y a composite number?
True
Let w = -7 - -11. Suppose -2*p = k - p - w, 2*k - 5*p - 1 = 0. Suppose -3*r = 2*r - y - 128, 0 = -5*r + k*y + 134. Is r a composite number?
True
Suppose 67 = -2*u + 657. Is u a prime number?
False
Let h = 104 - 22. Is h composite?
True
Let w = 6 + 0. Suppose -3*x = w, -d - x + 3*x + 59 = 0. Is d composite?
True
Suppose 0 = 6*i - 9*i + 2859. Is i a prime number?
True
Let g(q) = q**3 - 9*q**2 + 12*q - 6. Let y be ((-3)/(-9))/(2/48). Is g(y) a prime number?
False
Suppose 0 = 4*t + 2*q - 4756, 0*t + 2*t + 4*q = 2378. Let o = -818 + t. Is o a prime number?
False
Suppose 3*s + 5*w = 5, -2*s = -0*w + 5*w + 5. Is s prime?
False
Let f(t) = -t**2 + 7*t. Let k be f(7). Suppose -5*x - 498 = -4*v, -2*v + k*x + 252 = -x. Is v a composite number?
False
Let v = 5 + -1. Suppose v*s + 31514 = -11462. Is s/(-72) - 2/9 a prime number?
True
Let x be (-5 - -2)*(-280)/6. Suppose -4*a + 6*a = x. Let c = a + -45. Is c a prime number?
False
Suppose 5*v - 4710 = -v. Suppose z = 6*z - v. Is z prime?
True
Let b be (-1 - -1)*8/(-16). Let y = b - -45. Suppose 27 = 3*o + 3*s - y, -3*o + 3*s = -42. Is o a prime number?
True
Let y = -40 + 6. Let d = y + 53. Is d a composite number?
False
Let r(x) = 5*x + 4. Is r(13) composite?
True
Suppose -3*i + i + 2818 = b, -b = 0. Is i prime?
True
Let u = -106 + 311. Is u prime?
False
Suppose -749 = -2*s - 5*c, 4*s = -0*s + 5*c + 1543. Is s a composite number?
True
Let w be (-2314)/10 + (-4)/(-10). Is 2*(w/2)/(-7) a prime number?
False
Let x = 541 + -252. Is x a prime number?
False
Let b(a) = -9*a**3 + 3*a**2 - 2*a - 2. Let c(l) = 10*l**3 - 4*l**2 + 2*l + 2. Let g(z) = -5*b(z) - 4*c(z). Let j be g(-2). Let n = j - -59. Is n composite?
True
Let s(d) = d**3 + 7*d**2 + 6*d + 9. Let t be s(-6). Suppose t*v - 801 = 6*v. Is v prime?
False
Let s(i) = i**2 - i - 14. Let r be s(0). Let d be 8/14*r/(-4). Suppose 0*t - 14 = -d*t. Is t a composite number?
False
Let t be 28/10 + 5/25. Suppose 0 = -k + 2, t*m - 2*k + 1 = 3*k. Let b(f) = 7*f. Is b(m) prime?
False
Suppose -5*g = 2*y - g - 14, -25 = -5*g. Let n be 474 + -2 - y - 0. Suppose 4*m = -2*l + 1494, -3*l = 3*m - 653 - n. Is m a composite number?
True
Let j(l) = l**2 + 3*l + 2. Let b be j(-3). Is -19*b*(-3)/6 a prime number?
True
Let l(m) = 5*m + m + 14*m**2 - 4*m + 1. Is l(-1) prime?
True
Suppose -2*n + 574 = 5*l - n, -117 = -l + 2*n. Is l prime?
False
Suppose -h - 7800 = -5*v, -6224 = v - 5*v + 4*h. Is v composite?
True
Let g = 6828 + -12200. Is g/(-36) - 2/9 composite?
False
Suppose 3*f - 7*f + 1012 = 0. Is f a prime number?
False
Suppose 0 = 5*v - 10677 + 1912. Is v composite?
False
Let j(t) = -1. Let b(v) = -v**2 + 5*v - 11. Let l(h) = -b(h) + 2*j(h). Let q be 12/(-9)*(-2 - 4). Is l(q) a prime number?
False
Let k = 6 + -4. Let q(v) = -v**3 + v**2 + 2*v. Let r be q(2). Suppose r*l = -k*l + 30. Is l a prime number?
False
Let k = 1219 + -343. Suppose c - k = -3*c. Is c a composite number?
True
Suppose -3907 + 388 = -2*f + 3*d, 4*f = -3*d + 7047. Is f a prime number?
False
Let z = 31 + -11. Suppose 4*q = 2*q + z. Suppose 0 = -2*l - 2*r + 6*r + q, -3*l + r = -35. Is l prime?
True
Let f(i) be the second derivative of -7*i**3/3 + i**2/2 - 2*i. Suppose 7 = -5*h + 2*a, 0 = 5*h + 2*a + 1 + 2. Is f(h) composite?
True
Let u(q) = 4*q + 4. Let k(p) = 3. Let r(f) = 2. Let z(y) = -5*k(y) + 8*r(y). Let g(m) = -u(m) - 3*z(m). Is g(-5) prime?
True
Let i = 464 - 247. Is i a prime number?
False
Suppose -2*p - 69 = -1. Let n = -34 - 31. Let q = p - n. Is q a composite number?
False
Let x(t) = -t**2 + 7*t + 11. Let o be x(9). Let p(h) = -30*h - 8. Is p(o) composite?
True
Suppose 4*j - 7 = -5*a + 955, j = 2*a - 390. Let k = 294 - a. Suppose -v - 11 + k = 0. Is v prime?
True
Suppose -3*m - 3*i = -15, -m - m = i - 8. Suppose -m*r = -3 - 6. Suppose 0 = k + r*k - 124. Is k a prime number?
True
Is 288 + 5 - (1 - 1) composite?
False
Let s(z) = 2*z**2 + 0*z**3 + 4*z + 3*z - 6 - 8*z**2 + z**3. Let m be s(4). Is (2 + -1)/(-1)*m prime?
False
Is 1 + 545 + (1 - (-4)/(-1)) prime?
False
Let d(s) = -s**3 + 3*s**2 - 3*s - 4. Let c(i) = -i**3 + 3*i**2 - 4*i - 4. Let o(z) = 5*c(z) - 6*d(z). Let l be o(3). Is l/6 + (-258)/(-18) composite?
True
Suppose -o + 4 = 0, -3*u + 2*o = -4*u + 3171. Is u a composite number?
False
Suppose 0 = 5*o - 5*y - 1440, o - 4*o = 5*y - 904. Is o a composite number?
False
Suppose -13*f + 23*f = 16570. Is f a composite number?
False
Suppose 428 - 1648 = -4*i. Is i prime?
False
Suppose -9*c - 25 = -14*c, -4*d + 5*c = -5571. Is d a composite number?
False
Let b = 513 - 262. Is b composite?
False
Suppose -6*d + d - 1995 = -4*l, l - d = 500. Is l a composite number?
True
Let w(v) = 22*v**2 - v. Let u be (-4)/6 + 3/(-9). Let s be w(u). Suppose -z = -2*z + s. Is z prime?
True
Suppose 0*j = -4*j. Let k(n) = n**3 + n**2 + n + 17. Let z be k(j). Let t = z - -2. Is t prime?
True
Let i(s) = -s**2 - 9*s - 1. Let w be i(-9). Let k be w/3 + (-2)/(-6). Suppose l - 19 - 18 = k. Is l prime?
True
Let y(a) = -a**3 - 10*a**2 - 7*a + 17*a - 10 - 3. Let l be y(-11). Is -3 + 102/((-6)/l) composite?
False
Is (3*(-2540)/(-6))/2 prime?
False
Is (2*(-37)/(-3))/(8/156) a composite number?
True
Let r(u) = -41*u - 3. Is r(-2) composite?
False
Suppose -h - 2*z + 172 = 0, 0*z = -2*h - 3*z + 339. Suppose -h = -2*t - 4*d, -t + 5*d = 3*t - 259. Is t prime?
True
Let h = 6 + -4. Let w = 2 + h. Suppose -2*u + 438 = 4*b + 66, -w*u + 380 = 4*b. Is b prime?
False
Let y(h) = h + 14. Is y(0) composite?
True
Suppose -31*z + 33*z - 4502 = 0. Is z composite?
False
Let q(t) = -73*t - 1. Let c(k) = -k - 8. Let j(m) = -m**2 - 2. Let l be j(2). Let b be c(l). Is q(b) composite?
True
Suppose 0*a = -a + 691. Suppose -5*f - u - u = -a, 2*f - 3*u - 284 = 0. Is f prime?
True
Let d(a) = 233*a - 17. Is d(6) a composite number?
False
Let v(w) = w + 6. Let z be v(-5). Let t(h) = 67*h**3 + h**2 - 1. Let f be t(z). Suppose -12 = c - f. Is c composite?
True
Let q = -197 - -79. Let a = q - -339. Is a prime?
False
Let r = 1 + 10. Is r prime?
True
Let k = 1 + 2. Suppose -2*w = k*w - 370. Is w a prime number?
False
Let h = 8 - -49. Let w = -145 + 265. Is 2/(w/h + -2) a composite number?
False
Let h(f) = -144*f**3 - 1. Is h(-1) a composite number?
True
Let y(k) = -9*k**2 + k + 3. Let f(o) = -46*o**2 + 5*o + 16. Let n(l) = 2*f(l) - 11*y(l). Suppose 0 = z + g - 2*g + 5, 0 = z + g - 3. Is n(z) prime?
True
Suppose 2*b - 5*c - 948 = -0*b, -1447 = -3*b - 5*c. Is b a prime number?
True
Let b = 2734 - 63. Is b a composite number?
False
Is (-1100)/(-6) + 3/18*-2 composite?
True
Let b(x) = -220*x + 1. Let u be b(-1). Suppose 0 = -5*j - 0*s + 4*s + 366, u = 3*j - s. Is j a prime number?
False
Let d = 1 + 1. Let g(i) = -4 - 7*i**d - 4 - 3*i + i**3 + 6*i. Is g(7) a composite number?
False
Let s(x) = 8*x**2 - 3*x - 19. Is s(6) a prime number?
True
Let q = 1774 + -725. Is q a composite number?
False
Let a be (-3 + -9)/(3/20). Let h = a + 127. Is h a prime number?
True
Let c(z) = -11*z**2 - 2*z - 4. Let d(r) = -22*r**2 - 4*r - 9. Let y(g) = -13*c(g) + 6*d(g). Is y(2) a composite number?
True
Suppose -3*t + 4*r + 39 = 12, 5*r = -5*t + 45. Is 81*1 + -8 + t a prime number?
False
Suppose 0 = 2*y - 4*h + 3*h - 1, -h = -3*y + 2. Suppose o - y = 0, s - 4*o - 1426 + 441 = 0. Is s composite?
True
Suppose 0 = -15*z + 21*z - 1410. Is z prime?
False
Is 6/3*(1011/6 - -2) composite?
True
Let n = 2 - 2. Is 2/4*(n + 742) a prime number?
False
Let r = 16 - 11. Suppose -3*s + 5*c - 5 = -4*s, -4*s + r*c = -120. Is s prime?
False
Let s = -3 - -8. Suppose -4*b + s = 1. Suppose -b + 36 = 5*p. Is p a prime number?
True
Let i = 187 + -69. Is i prime?
False
Suppose -2 = n - 4, -y = -3*n - 3. Suppose -114 = -5*h - y. Is h prime?
False
Suppose -6*l - 111 = -2643. Is l a composite number?
True
Suppose 0*w + 15 = 5*w. Let x(z) = 7*z**3 - 4*z**2 + 3*z - 3. Let g be x(w). Suppose -4*d - g = -7*d. Is d a composite number?
False
Is 2/(-6) + (-14056)/(-12) composite?
False
Suppose -35 + 118 = -q. Let u = 244 + q. Is u a composite number?
True
Suppose 0 = 3*w, -2*u + 138 = w + 2*w. Is u a prime number?
False
Let 