t c be n(-5). Suppose 5*z - c = 3*z. Is z prime?
False
Let j(c) = -c + 8. Let p be j(5). Let r be p - (3 - 5 - -3). Suppose -r*k + 66 = -72. Is k a prime number?
False
Let r(h) = -h**3 + 22*h**2 + 21*h - 136. Is r(19) a composite number?
True
Let t be (2/3)/((-14)/(-18291)). Suppose -2*h = -4*a - h + 668, 4*h = -a + 150. Suppose -k - 2*d + t = -a, k - d - 1040 = 0. Is k a prime number?
True
Suppose 0 = 6*v - 5*v - 8. Suppose -r = -4*n + 36, 7*n - v = 4*n - 4*r. Suppose -170 = -2*s + 2*w, -4*w + n = -2*w. Is s prime?
True
Let f(l) = 14*l**3 - 6*l**2 + 14*l - 23. Is f(7) a composite number?
False
Suppose 3*l - 2*f + 1 = 0, -20 = -5*l - f - 0*f. Suppose 5*g = g + 2*s, l*g - 4*s + 10 = 0. Suppose -x = -1, 0 = 4*r + 4*x - g*x - 574. Is r composite?
True
Let n = 5814 - 2411. Is n a composite number?
True
Suppose 2*v = 4*w, -v = w - 2*w. Is 371 - (v - 2) - 2 a composite number?
True
Let p(v) = -64*v**3 - 9*v**2 - 37*v + 5. Is p(-8) composite?
True
Suppose -180*l + 182*l = 20. Is l composite?
True
Let d(j) = -114*j - 13. Let x(s) = -57*s - 7. Let q(l) = -6*d(l) + 11*x(l). Suppose -4*y + 8 = -0*y. Is q(y) prime?
False
Let a(z) = z**3 + 8*z**2 + 8*z + 5. Let x be a(-7). Is (-2 - 977/(-5))*(-10)/x composite?
False
Let p be -4 + (-6)/8*-4. Let c be -3 - (-1 + 1 + p). Is 48 + 1 + 4/c a prime number?
True
Suppose y + 210 - 2987 = 0. Is y composite?
False
Suppose -4*m - 6 = y + y, 4*y - 10 = 3*m. Is (-5172)/(-24) - (-1)/m a composite number?
True
Let c(w) = 15*w**3 - 4*w**2 - 3. Let u be c(3). Let p = 577 - u. Is p a composite number?
False
Suppose 9 = -2*m + 21. Let z = m - 4. Suppose 2*o = -z*o + 284. Is o a prime number?
True
Let m = 11 - 9. Suppose -3*k - 2*n = -0*k - 4599, -m*n = 2*k - 3064. Suppose k = w + 4*w. Is w a prime number?
True
Suppose 0 = 5*d - 5, -11286 = -3*f - 3*d + 2316. Is f a composite number?
True
Suppose 11*u = 6*u - 55. Let o = -12 - u. Is 114 + (-5 - 2/o) a prime number?
False
Suppose 231*n = 76*n + 17277385. Is n a composite number?
False
Suppose -2*s + 14 = 4*z, -5*s = -z + 2*z + 10. Let i(g) = -36*g**3 - 1. Let f be i(-1). Suppose -5*x + f = n, z*n + x - 105 = 2*n. Is n composite?
True
Suppose -5 = -u + 2*q - 0, -q + 3 = 5*u. Is (u/(-1))/(1/(-1543)) prime?
True
Suppose 4*g - 7 = -5*l, 0 = -4*l + 2*g - 6*g + 4. Suppose -w + 490 = l*i, 3*w - i - 119 = 1381. Is w a composite number?
False
Let i(k) = -2137*k + 86. Is i(-3) a prime number?
False
Suppose -2*k - 4*t = 2*k + 36, 4*t = 5*k + 45. Let a be ((-6)/4)/(k/444). Suppose 6*i = 5*i + a. Is i prime?
False
Is (-3 + 4/(120/20855))*6 a prime number?
True
Let b(q) = -16*q - 122. Let y(j) = -5*j - 41. Let l(w) = -4*b(w) + 11*y(w). Is l(10) a prime number?
True
Suppose 61793 = 11*j - 17814. Is j a composite number?
False
Let t = 1782 - 419. Is t prime?
False
Suppose -504 = c - 3*d, 3*c - 2*d = -c - 2016. Let a = c - -863. Is a a prime number?
True
Let g = -751 + 1153. Let b = 211 + g. Is b composite?
False
Let i(a) be the second derivative of 5*a**4/3 - a**3/6 + 3*a**2/2 + a. Is i(4) prime?
False
Let z(f) = -4*f**3 - 5*f**2 - 4*f - 38. Is z(-7) a prime number?
True
Let n = 20423 + -3504. Is n composite?
True
Suppose -9 = -w - 2*w. Suppose -f + 4*z + 633 = 0, z + 1931 = w*f + 5*z. Is f a composite number?
False
Suppose -48 = 4*j + 4*s, 3*s - 4 = j + 6*s. Is 21982/10 - j/20 prime?
False
Suppose -12 = 2*p + p. Let h be 3/p + (-3)/(-4). Suppose h = 4*u - 21 - 55. Is u composite?
False
Let u = 1 + -6. Let h be (1/(-2))/(u/40). Is (-9852)/18*(-6)/h a composite number?
False
Let q = 981 + -621. Let u = 217 - q. Let b = 345 + u. Is b a prime number?
False
Is ((-2 - 0)*95802/84)/(-1) composite?
False
Suppose -n + 14 + 2 = 0. Is 1293*-2*(-4)/n*2 composite?
True
Let x = -237 - -128. Let q = 8 + 310. Let g = x + q. Is g composite?
True
Let m(x) = x**2 - 8*x - 13. Let c be m(9). Let s(t) = -10*t**3 + 2*t**2 + 8*t - 5. Is s(c) prime?
False
Is 1069*((-140)/(-40) + 2/(-4)) prime?
False
Let b(x) = x**2 + 5*x - 8. Let s be b(-7). Suppose -1 - s = v. Is (-3 - v)/8*314 prime?
True
Suppose -2*v + 288 = -2*s, -3*v = 3*s - 4*s - 434. Suppose v = w + 2*y - 295, 0 = 3*y + 9. Is w composite?
True
Let f(l) = -2*l**3 - 11*l**2 + 2*l - 87. Is f(-14) a prime number?
True
Let t = -25 - -27. Suppose -6*y + t*y = -9340. Let i = y + -1380. Is i composite?
True
Let s(u) = u**3 - 4*u**2 + 2*u - 5. Let d be s(5). Suppose 5*b = -5*q - d, 5*q + 37 = 3*b + 7. Is -266*(-3)/q*-1 a prime number?
False
Let s = -62 + 66. Suppose 2*z = s*o - 714, -3*z + 176 = o - z. Is o a composite number?
True
Let s(u) be the second derivative of -5*u**3/6 - 3*u**2/2 - u. Suppose 7 = -h + 2. Is s(h) composite?
True
Suppose 0 = -2*l + 3*d + d - 32, 4 = -4*l - 4*d. Let a be (27/l - -4)*-2. Is (a/(-4))/((-2)/5384) a composite number?
False
Let i(b) = -b**2 - 6*b + 10. Let y be i(-7). Suppose 6*t - t - 697 = 2*f, y*f = -3. Is t composite?
False
Suppose 0 = j, 2*d - 3*j = -224 + 1170. Is d a prime number?
False
Suppose -3*n - 41323 = -4*z, 4*z - 40696 - 592 = -4*n. Is z a composite number?
True
Suppose 0 = -k + 4*a + 11 + 7, 0 = 2*k + 3*a - 3. Let f(j) = 24*j**3 - 11*j**2 + 9*j + 19. Is f(k) prime?
True
Suppose -14 = -4*d + 2*t, 2*d - 17 = 5*t + 10. Is 4 + -8*d + 563 composite?
True
Let a be 6/9*(7 + -1). Suppose -a*v - 290 = v. Let c = -5 - v. Is c a composite number?
False
Suppose -3*w = -3*s - 10782, 4*w = 5*w + 5*s - 3600. Is w prime?
False
Let x(r) = 6*r - 11. Let b(h) = -93*h + 177. Let i(o) = 2*b(o) + 33*x(o). Suppose 3*a - 2*p - 50 = -2*a, -5*a + 50 = 5*p. Is i(a) composite?
True
Suppose 2*f + 2 = 2*z, -5*f + 4*z - 7 = 1. Is (28/42)/(f/(-3138)) a composite number?
False
Let q(v) = v**2 - 5*v + 11. Let p be q(5). Let k = p + -7. Suppose 0 = -5*u + 3*d - 2*d + 153, 0 = -k*d + 8. Is u composite?
False
Let w(u) = -3*u**2 + 14*u**2 + 215 - 11*u**2 - u**3. Suppose m = 3*m. Is w(m) a composite number?
True
Let n(i) = i + 26. Let p be n(-10). Is (-2)/(-8) - (-1740)/p a composite number?
False
Let g(j) be the third derivative of 4*j**5/15 + 17*j**4/24 + 2*j**3/3 + 19*j**2. Is g(7) a prime number?
True
Let q(r) = 13*r**2 + 11*r - 10. Let f(h) = 3*h**2 - 2*h + 7. Let y(b) = b**2 - b + 3. Let m(s) = -2*f(s) + 5*y(s). Let g(i) = m(i) + q(i). Is g(-8) composite?
True
Let t be 59/5 + (-18)/(-90). Let x be t*(4 + (-21)/6). Is -44*(x/4)/(-3) composite?
True
Let f be (2 - 1) + 0 + 1. Suppose 0 = -0*n - f*n + 8. Suppose 0 = -3*g - 2*x + 629, 389 = -n*g - 3*x + 1227. Is g prime?
True
Let h(i) = -i**3 - i**2 + i - 11. Let b(g) = -1. Let y(z) = 4*b(z) - h(z). Let q be y(0). Let p(n) = 49*n - 24. Is p(q) prime?
False
Let f(m) = -3*m**3 - m**2 - 2*m - 40. Let u be f(13). Let o = -2977 - u. Is o a composite number?
True
Suppose -3718 = -2*u + 38*o - 35*o, 3*o + 12 = 0. Is u a composite number?
True
Suppose -21*d + 15 = -16*d. Let n(v) = v - 6. Let b be n(4). Is b/(8/(-5844)*d) prime?
True
Let q = -7 + 16. Suppose -4 - q = -x + 2*a, 0 = -3*x - 4*a - 11. Suppose -m - 206 = -x*m. Is m composite?
False
Let l be -3 - -8 - (-421 - -2). Let c = l - -307. Is c prime?
False
Let k(b) = -4972*b - 47. Is k(-21) a composite number?
True
Suppose 137158 = 18*m - 16544. Is m composite?
False
Let s be (-2)/((-20)/(-15) + -1 + -1). Suppose -h + 4327 = -4*z, -s*h = -8*h + z + 21597. Is h a composite number?
True
Let g(m) = -12*m - 9. Let t(y) = -2*y + 9. Let p be t(7). Is g(p) composite?
True
Suppose -861 = -r + 5*z, -2*r + 3*z + 433 + 1261 = 0. Is r a prime number?
False
Let r be (-6740)/50*(-3 - 2). Is 1/(-1 - (-676)/r) prime?
True
Suppose 0 = 4*y - 2*c - 6762, -y - 3*c + 1926 = 232. Is y a prime number?
False
Let r be 140/2*6/15. Let x be (-90)/27*(-12)/5. Is 26/(0 + x/r) composite?
True
Is (-138)/(-4)*17910/135 a prime number?
False
Let t be (17 - 12/4) + 0. Suppose r = u + t, 2*u + 2*r = 3*r - 24. Is (0 - -158)/(u - -12) prime?
True
Suppose 8*s = 6*s + 10. Suppose s*z - 3447 = 5788. Is z a prime number?
True
Let z(p) = 2*p**3 - 11*p**2 - 20*p - 4. Is z(19) a composite number?
True
Suppose 0 = -2*d + 4*d - 10. Suppose 5*n + 19 = 3*u, -n = -u - 5*n + 12. Suppose u*h - 633 = d*h. Is h prime?
True
Let p = 1562 + -888. Suppose 2*h + 5*j = 658, -2*h - 2*j = -j - p. Is h a composite number?
True
Suppose -24*a + 29*a - 35 = 0. Suppose 0 = a*r + 1962 - 4615. Is r composite?
False
Let s 