) = 4*y**2 - 7*y + 13. Is z(-12) a prime number?
True
Suppose 3*k = -2*k + 8465. Is k prime?
True
Let y(q) = -216*q + 53. Is y(-14) a prime number?
False
Suppose -3*i + 5*w = -73, -i + 19 + 8 = -3*w. Let d(b) = b**3 + 9*b**2 - 2*b - 12. Let o be d(-8). Let q = o - i. Is q a composite number?
False
Is 78690/78 + 2/13 a prime number?
True
Let v be -4*(-2)/((-12)/345). Let x = -97 - v. Is x a composite number?
True
Let b be (4/10)/(3/45). Is -1 - (2 - b) - -106 prime?
True
Let m = -450 - -889. Is m a prime number?
True
Suppose 2*t - 251 = -p, 5*t = 6*p - 2*p - 1056. Is p prime?
False
Suppose c = -j + 3453, 5*j - 6916 = 3*j + 3*c. Is j composite?
True
Let s = -59 + 170. Is s composite?
True
Let s = 90 - 54. Suppose 2*i + s = 2*u, -4*u + 79 = 5*i - 2. Is u prime?
True
Let d(k) = k**2 - 5*k + 9. Let w be d(4). Suppose 0 = w*o - 0*o + 2*i - 3813, o - i - 764 = 0. Is o a composite number?
True
Let l = -15 - -9. Let q = l + 28. Is q composite?
True
Suppose -8*m - 8455 = -13*m. Is m a prime number?
False
Let f = 24 - 18. Is (-177)/(-9) + (-4)/f a composite number?
False
Let p(h) = -7 + 3*h**2 - 10*h - 2*h**2 + 4*h**2. Is p(-6) a composite number?
False
Suppose 3*f + 357 = 87. Let y = f - -63. Is (-357)/y - (-2)/(-9) a composite number?
False
Suppose -l - 5*h = -558 - 64, -h + 5 = 0. Is l composite?
True
Let q = 449 - 207. Suppose m - k = 125, 2*k + q = 2*m - 2*k. Suppose 46 = 5*n - m. Is n prime?
False
Suppose -3*x + 2*x = 0. Suppose x = -2*q - q + 327. Is q composite?
False
Suppose 4*l - 5*s - 1005 = 0, 2*l - 354 = s + 147. Suppose -i - l = -n, -n = -0*n + i - 256. Is n a composite number?
True
Suppose 5*y - 63 = 12. Suppose 4*k = 105 + 51. Suppose 4*l + 3*h - 128 = 0, 4*h - y = -2*l + k. Is l composite?
True
Is (2 - (-15)/(-6)) + (-357)/(-6) composite?
False
Is (-3)/18 + (-2035)/(-6) prime?
False
Let g(q) = 17*q - 13. Let t(a) = -33*a + 25. Let l(i) = -11*g(i) - 6*t(i). Let y be l(-5). Let o = -25 - y. Is o a prime number?
True
Let a(z) = -53*z**3 - z - 1. Suppose -4*o + 2*h = -2, -2*o + 10 = -h - 3*h. Let f be (0 - o - 3) + 1. Is a(f) a prime number?
True
Let o = 273 + 26. Is o a prime number?
False
Let q = 3 - 2. Let i(n) = 50*n**3 + n**2. Is i(q) a composite number?
True
Let s(l) = l**2 - 6*l + 3. Let j be s(6). Suppose -4*x + 5*q = -2584, 0 = -2*x - j*x + 3*q + 3217. Is x a prime number?
True
Suppose -4*t = -2*x + t + 158, t - 422 = -5*x. Suppose -388 = -4*c - x. Let d = 233 - c. Is d composite?
False
Suppose 0 = h - 0*h + 5, -9 = -4*y - 3*h. Let v be -3 + -2 + y/3. Is (-87)/(-4 - v) - -2 prime?
True
Let a(x) be the first derivative of x**4/4 - 2*x**3/3 + 2*x + 1. Let j = -23 + 28. Is a(j) a composite number?
True
Let x = 1228 - 857. Is x a composite number?
True
Let s(m) = 5*m - 17. Let k be s(12). Let i = 3 + 6. Suppose i = -y + k. Is y prime?
False
Let i(p) = 5*p**2 + 2*p - 11. Is i(-8) a prime number?
True
Let g = 10 - 6. Let z be (g/(-6))/((-1)/45). Is (-18)/z + (-316)/(-10) composite?
False
Let k(y) = 2*y**3 - 33*y**2 - 16*y + 17. Is k(17) composite?
True
Suppose 4*c - 2*c - 8 = 0. Let b(m) = m**3 - 4*m**2 + 6*m - 3. Is b(c) a prime number?
False
Let q be 97/(-3) - 14/21. Let c = -21 - q. Is 291/(-2)*(-8)/c a prime number?
True
Suppose -4*t + 0*d = -d - 1949, 3*d + 3 = 0. Is t composite?
False
Suppose 2*r + 2*r = n + 57, -2*r + 51 = -n. Let s = -24 - n. Let u = 58 + s. Is u prime?
True
Let s = -472 - -695. Is s prime?
True
Let c be (-3)/(6/4) - -2. Suppose c = -5*p + 276 + 169. Is p a prime number?
True
Let h(j) = -665*j - 10. Is h(-3) a composite number?
True
Is (-46)/(106/(-34) - (-30)/10) a composite number?
True
Let y(q) = -6*q + 2*q**2 + 6*q - 5*q - 7*q + 5. Is y(8) prime?
True
Suppose 5*x + 15 = 0, -2*x - 15 = -3*v + x. Suppose 0 = 3*m + 2*h + 19, -21 = v*m - 0*m + 3*h. Let u(g) = -17*g - 2. Is u(m) prime?
False
Suppose -4*p - 2 + 6 = 0. Is 6/(-2) + 38/p a composite number?
True
Let c = 398 - -576. Is c prime?
False
Suppose 2*l + 3*x + 0*x - 781 = 0, 2*l - 4*x = 802. Is l a composite number?
True
Let s(n) be the first derivative of n**3/3 - 5*n**2/2 - 5*n - 1. Let i be ((-10)/15)/((-2)/21). Is s(i) a prime number?
False
Let o(u) = -u**3 - 6*u**2 + 10*u. Let w be o(-7). Let d = 54 + w. Is d a composite number?
True
Let x = 135 + -61. Is x a prime number?
False
Let x(w) = -w**3 - w**2 - 2*w + 12. Let q be x(0). Is ((-123)/q)/((-2)/56) a composite number?
True
Let y = 21 - 9. Suppose 0*r + y = -4*r, r - 47 = 5*z. Is (-144)/(-15) + (-4)/z prime?
False
Let x(i) = 488*i**2 + i. Is x(-1) a prime number?
True
Suppose 2*n - 4*n = -6. Suppose -4*d - 10 = 5*r, -n*r - r + 8 = 0. Let y(k) = k**3 + 6*k**2 - 4*k + 4. Is y(d) prime?
False
Let y(t) = 31*t**2 - 2*t - 2. Is y(-1) composite?
False
Let c(p) = 5*p**2 - p + 5. Suppose -4*r - 17 - 7 = 0. Is c(r) a composite number?
False
Suppose h - 440 = -4*o, -2*h - h + 330 = 3*o. Let j = o - 21. Is j a composite number?
False
Let s = 14 - 10. Suppose 268 = s*m - 40. Is m composite?
True
Let g(x) = -47*x - 4. Let q be g(4). Let z = 323 + q. Is z a composite number?
False
Let q(z) = -19*z + 1. Let u be (2/4)/((-2)/(-20)). Suppose -5*m = -3*t + u, 2*t - 10 = -2*m + 7*m. Is q(m) a composite number?
True
Suppose 4*x + 2*l = 15290, 0*x - 3*l = -4*x + 15275. Is x composite?
False
Let b = -25 - -25. Suppose 0 = -2*m + 5*i + 367, 3 = i - b. Is m a prime number?
True
Suppose 0 = 3*y + 2 - 8. Suppose y*t + 0*t = 754. Is t composite?
True
Is (-21 + 594)*(8/6 - -1) composite?
True
Let t be -1 + -262*(-1)/2. Suppose -2*b = -0*b - t. Is b prime?
False
Let y be 6/(-18) + (-52)/6. Let w = 6 - y. Is w prime?
False
Let z(v) = -v**2 + 5*v + 7. Suppose 4*a + 2*b - 9 = 3*b, -a + 5*b = -7. Let h be 0/2 - (-10)/a. Is z(h) composite?
False
Suppose 2*c = f + 1, 3*f + 28 = -4*c - f. Let m be c + -51 + 0 - 3. Let h = m - -78. Is h a prime number?
False
Let f(b) = -2*b**3 - 14*b**2 - 10*b - 3. Is f(-9) a composite number?
True
Suppose -4*s + a + 39 = 0, -6*a = -4*s - 3*a + 37. Suppose 0 = 4*b + x - 476, s*x + 216 = 2*b + 5*x. Is b a prime number?
False
Suppose -2*d - 2*d - b = -1638, 0 = 3*d - b - 1225. Is d prime?
True
Suppose 6*z = -7 - 11. Is z/(-5)*(4 - -11) prime?
False
Is ((-34)/(-4))/(7/1358) a prime number?
False
Suppose 0*r = -3*a + 4*r + 1029, 2*a - 4*r = 690. Is a a composite number?
True
Suppose -84 = -z - 5*x, 5*x + 360 = 4*z + z. Suppose -2*j + z = -0*j. Is j composite?
False
Suppose 4 = -6*l + 4*l. Is (0 - 2 - -333) + l a composite number?
True
Let i(g) = 77*g**2 - 3*g + 23. Is i(8) a prime number?
False
Let h = -58 - 27. Let r = 152 + h. Is r prime?
True
Let u(d) = d - 218. Let w(y) = -2*y + 217. Let a(x) = -3*u(x) - 2*w(x). Let q be a(0). Suppose 0 = -3*j - j + q. Is j a prime number?
False
Suppose -4*x + 14 = 6. Let d = 2 - -1. Suppose 0 = -d*o, q - x*o + 470 = 6*q. Is q prime?
False
Suppose 478 = 3*r + 2*m - m, -5*r - 5*m = -800. Is r a prime number?
False
Suppose 5*j = 3*j + 10. Suppose 4*w = 3*w - 3*k + 354, 2*w + j*k - 703 = 0. Is w a prime number?
False
Let i be ((-6)/9)/(2/3). Is i + 1/(3/336) prime?
False
Let f(m) = m - 4. Let q be f(3). Let x be ((-4)/(-6))/(q/(-168)). Let t = x + -57. Is t a composite number?
True
Let o = -90 - -463. Is o composite?
False
Is 1186 + 3/(3 - 0) prime?
True
Suppose -2*u = -6 - 2. Let f(n) = 12*n**3 - 2*n**2 - n - 1. Let v(k) = -k**3 - k**2. Let z(m) = u*v(m) - f(m). Is z(-2) a prime number?
False
Suppose -4*y - 4*s + 860 = 0, -2*s - 553 = -5*y + 494. Is y a composite number?
False
Is (1/2)/(354263/44282 - 8) a composite number?
False
Suppose 5*d - p - 113 = 305, -3*d + 3*p + 246 = 0. Suppose b = -s + d - 23, 4*b + 276 = 4*s. Is s a composite number?
True
Let p = -15 + 10. Let z(n) = 7*n**2 + 12*n - 6. Let g(d) = d**2 + d - 1. Let o(k) = -5*g(k) + z(k). Is o(p) prime?
False
Suppose -13 + 176 = h. Is h a composite number?
False
Suppose 3*w = -10 - 14. Is w/12 + (-269)/(-3) prime?
True
Let b(n) = -n**2 + 8*n + 7. Let v be b(9). Is v/7 + (-135)/(-7) a prime number?
True
Suppose 13*d - 4*d = 207. Is d prime?
True
Let h(z) = -40*z + 13. Let g be h(-5). Suppose -3*f - 544 = f. Let v = g + f. Is v a composite number?
True
Let r = 35 + -7. Let w be (-16)/56 + (-928)/(-14). Let k = w - r. Is k a prime number?
False
Let v be 4*(2 + -1)*-1. Let n be 3/(-1 - v) - 44. Let t = n + 77. Is 