*i + 48*i = 0. Suppose i = 6*y - 604 + 70. Is y a composite number?
False
Suppose -2*s + 3685 = 1051. Is s composite?
True
Suppose -5*y + 39085 = -3*u + 6*u, y + u - 7817 = 0. Is y prime?
True
Let m = 371 - 221. Suppose -55 = -3*v - 4*i, m = 5*v + 3*i - 8*i. Is v prime?
False
Suppose n + n - 12 = 0. Let j be (-3)/n*4 + 7. Suppose j*v + 4*t = 9*t + 120, 5*t + 25 = 0. Is v a prime number?
True
Let g(z) = 86*z - 15. Let q(i) = -87*i + 16. Let n(o) = -6*g(o) - 7*q(o). Is n(17) a composite number?
False
Let d(x) = 589*x**2 - 57*x - 377. Is d(-6) prime?
True
Suppose -76*z + 77*z + 3*t - 142 = 0, 0 = 2*z + 5*t - 279. Is z prime?
True
Suppose -13*m + 116641 - 15878 = 0. Is m a composite number?
True
Let l(y) = -2*y**3 + 6*y**2 + 14*y + 13. Is l(-11) composite?
True
Let v = -2816 + 4958. Suppose 1806 + v = 2*u + 5*k, 0 = -4*u - 3*k + 7868. Suppose -4*i + s + s + u = 0, 4*s = 2*i - 994. Is i composite?
True
Let u = 2 - -7. Suppose 5*r + 1940 = u*r. Suppose -2*d + r = -177. Is d a prime number?
True
Let c = -3022 + 5737. Suppose -2*z = 3*x - 2715, 2*x + x - c = 4*z. Is x prime?
False
Let o(y) = -y**3 - 33*y**2 + 28*y - 19. Is o(-34) prime?
False
Let f(o) = -o**2 + 2. Let g be f(0). Let u(i) be the second derivative of 127*i**3/6 - 5*i**2/2 - 200*i. Is u(g) composite?
True
Let f = -15 - -9. Let v(m) = m + 1. Let w(n) = -n - 13. Let r(l) = f*v(l) - w(l). Is r(-10) a composite number?
True
Let r = -663 - -1534. Let k = r + 568. Is k prime?
True
Let q(r) = -4567*r**3 + 4*r**2 + 10*r + 10. Is q(-1) composite?
True
Let q = 66 + -31. Suppose 5*m + q = 4*p, -7*p + 3*p - 4*m = -8. Suppose 3*f = -4*g + 2*g + 103, 0 = p*f - 2*g - 193. Is f a prime number?
True
Let t be (-7)/(7/(-144)) + 2. Let z = 224 - t. Is ((-6)/(-9))/(4/z) a prime number?
True
Let v(r) be the first derivative of -32*r**2 - 7*r + 2. Let b be v(8). Is 1 - (b - -3)/2 composite?
True
Let w(g) = g**3 + 17*g**2 + 17*g + 20. Let v(d) = 6*d - 4. Let z be v(-2). Let j be w(z). Suppose a - 1685 = -j*a. Is a composite?
False
Suppose 7*n - 11*n + 12 = 0. Let y be (-3)/(n - 36/8). Suppose 0*g + 138 = 3*k + 5*g, 2*k - 92 = -y*g. Is k a prime number?
False
Let d(v) = -2*v + 38. Let j be d(18). Let m(y) = 68*y**2 - 3*y - 3. Is m(j) composite?
False
Let p(s) = -s**2 - 92*s + 34. Is p(-14) composite?
True
Let a be (-64)/14 + 12/(-28). Is -3 - ((-16)/a)/(18/(-2655)) a composite number?
True
Let z = 21 + -29. Let n(y) = 14*y - 9. Let w(j) = -27*j + 18. Let s(c) = 7*n(c) + 4*w(c). Is s(z) composite?
False
Let v = 1718 - 669. Is v prime?
True
Suppose 0 = -2*l - 3*l + 20. Suppose 0 = -4*n + 2*o + 1350, 0 = 2*n - 6*n + l*o + 1352. Is n composite?
False
Suppose -3*k - 2*k + 15 = 0, -k = -2*r + 5. Is (3 + 311)/(r - (-3 - -5)) prime?
True
Let a(w) = -w**3 - 14*w**2 - 7*w - 6. Let m be a(-14). Let j = 11 + m. Is j a prime number?
True
Suppose -8*h + 128516 = 15932. Is h prime?
False
Suppose 5*f = -3*l + 4*l + 64, 2*f - 4*l = 40. Is (11838/f)/((-2)/(-4)) a prime number?
True
Suppose -7540 + 2306 = -2*u. Is u a prime number?
True
Suppose 0 = -9*t + 3*t - 510. Let v = t + 54. Is v/(-1)*(-1 - -2) prime?
True
Suppose 5338 = 8*i + 682. Suppose -6*v + 1752 = -i. Is v a composite number?
False
Is (-146)/1241 + (-1813987)/(-17) a prime number?
False
Suppose 4*z = -o + 26, -o + 0*o + z + 1 = 0. Suppose 0 = 6*x - 8*x + o. Is x + (-4 + 923 - 3) a prime number?
True
Suppose 0 = -11*f + 122523 + 3614. Is f a composite number?
False
Let b(c) = 4*c**3 - 7*c**2 + c + 29. Is b(8) a composite number?
False
Let s(l) = 38*l**2 - 15*l + 44. Is s(5) a prime number?
True
Suppose -2*d - 3 = 7, -n + 4*d + 2403 = 0. Is n composite?
False
Let g = -15 - -17. Suppose 12 = -4*m, -g*x - 3*x = -5*m - 350. Is x prime?
True
Let a(t) = -34 + 4*t**3 + 2*t**2 - 38 + 73. Is a(3) a composite number?
False
Suppose -980 = -4*w - n + 737, -1282 = -3*w + 5*n. Let v(y) = y + 9. Let m be v(-5). Suppose q - m*q + w = 0. Is q prime?
False
Let d = -56 - -46. Is 533400/392 + 1 + d/14 prime?
True
Let l(w) = w**3 - 20*w**2 - 41*w + 57. Is l(23) composite?
False
Suppose 3*p - 16 = -4. Let l be (-110)/(-4) + 6/p. Let d = l - 15. Is d prime?
False
Is 3*(4/5 - (-23903)/15) prime?
True
Let a be (2510/(-1))/(2/(5 - 6)). Suppose 7*p + a = 12*p. Is p a prime number?
True
Suppose -6*i + i = 5*o, 4*o - 24 = 2*i. Is (-1)/(-1*i/(-2764)) prime?
True
Let f(t) = 3*t**3 + t**2 - 2*t + 1. Suppose 0 = 5*a - 7 - 8. Suppose -a*l + 2 + 4 = 0. Is f(l) a prime number?
False
Suppose -17*s = -12*s - 33935. Is s composite?
True
Let z(a) be the third derivative of a**4/6 + 109*a**3/6 - 32*a**2. Is z(0) a prime number?
True
Suppose -4*k + x = -11, -2*k = x - 4*x + 7. Suppose -834 - 3338 = -k*s. Is s a prime number?
False
Let m(t) = -t**2 - 7*t - 6. Let d be m(-6). Suppose d = -3*a, u + 4*u - 410 = -4*a. Is u a prime number?
False
Let m(i) = -i**3 - 6*i**2 + 6*i - 8. Let q be m(-7). Let v be (q/3)/((-10)/(-60)). Let a(x) = 198*x**2 - 1. Is a(v) a prime number?
False
Let l = 10 + -8. Let y(b) = 228*b**2 - 3 - 43*b**l - b + 2. Is y(-1) composite?
True
Suppose 4*k - o = -22, 2*k + o = -o - 6. Is (-5569)/k - (-5)/25 a composite number?
True
Let q = 10 - 1. Let m be ((-15)/q - -1)*-1200. Suppose -3*w = 5*b - m, -5*w - 446 = -3*b - 0*w. Is b prime?
True
Let d = -2 - -1. Is (-378 + -1 + 0/(-2))*d prime?
True
Let d(u) = 10*u**2 - 6*u + 5. Suppose -4*c + 48 = 4*y, -5*y + 51 = 5*c - 3*y. Let x = c + -6. Is d(x) a prime number?
False
Suppose -7*y - 27195 = -12*y + 4*u, 2*y - 10865 = -u. Is y composite?
True
Let a(m) = -m**3 + 7*m**2 - 13*m + 32. Let v be a(6). Is (v/40)/(2/(-3352)) a prime number?
True
Let u(s) = -9*s**3 - 2*s**2 + 3*s - 3. Let y = -22 - -9. Let k = y - -10. Is u(k) a prime number?
False
Let b be 0 + 138/3 + -3. Let d = b + 12. Is d a composite number?
True
Let d(i) = -15*i**3 - 2*i**2 - 3. Let w(g) = g**2 - 5*g + 1. Let t be w(4). Let z be d(t). Suppose 195 = 2*s - 5*n + 4*n, 4*n = -4*s + z. Is s prime?
True
Suppose -a - 2*c + 128 = -23, 0 = -3*a + c + 488. Let r = a + -79. Is r composite?
True
Suppose r + 1266 = -3*l - r, 1668 = -4*l + 4*r. Let d = l - -1229. Is d composite?
False
Let g = -80 + 92. Let y(o) = o**3 + 13*o**2 + 16*o + 29. Is y(g) a prime number?
True
Let v(x) = 2*x**2 - 9*x - 10. Let p be v(5). Let r(d) = d**3 + 4*d**2 - 4*d + 2. Let j be r(p). Let o(b) = -24*b**3 - 5*b**2 - 5*b - 4. Is o(j) prime?
False
Suppose -59153 - 247571 = -4*a. Is a prime?
False
Suppose -5*r = -j - 515, -723 + 181 = j + 4*r. Let m = -193 - j. Is m prime?
True
Let a = 23800 + -5549. Is a a composite number?
False
Let j(b) = b**2 + 21*b + 41. Is j(16) prime?
False
Is (15/(-2))/(-15) + (-39321)/(-2) prime?
True
Suppose -5*p = -4*u - 73453, 0*u = -3*p + 4*u + 44075. Is p a prime number?
False
Let t(d) = 202*d + 11. Let m(q) = 201*q + 13. Let a(g) = -3*m(g) + 2*t(g). Is a(-10) prime?
True
Let c(b) = 119*b**2 - b. Let i be c(-1). Suppose i = s - 71. Is s a composite number?
False
Let g(p) = -p**2 + 8*p + 4. Let m be g(8). Suppose 0 = m*o - 5*v - 11234, 3*o + v + 974 = 9409. Is o prime?
False
Let a(m) = -26*m - 12. Let h be a(-6). Suppose -8 - 2 = k + 4*j, -j + 5 = 4*k. Suppose -k*c + h = -118. Is c a prime number?
True
Suppose -4*k = -4*x + 20 - 0, -5*k - 5*x = 15. Let r be (k - 0)/1 + 9. Suppose -166 = -r*s + 64. Is s a composite number?
True
Let y = 8110 - 4893. Is y a composite number?
False
Suppose -7*w = -5*x - 5*w + 171345, -2*x + 5*w + 68538 = 0. Is x a prime number?
False
Suppose 0 = 2*g + 4*o - 14, 3*o - 8 = -g + 1. Suppose -g*m = 9, 4*m = j - 1538 - 627. Is j composite?
False
Suppose 3*h + 3 = 4*o + 1, -2 = h - o. Let t be ((-15)/h)/(-1)*-22. Is (-10)/t - 2217/(-33) a prime number?
True
Suppose 2*d = -2*c + 3546, -3*c + 3 + 9 = 0. Is d composite?
True
Let j(t) = 177*t + 2. Suppose 2*d - 8 = 2. Is j(d) a composite number?
False
Suppose 37 = 5*a + 12. Suppose 31099 - 384 = a*m. Is m a composite number?
False
Let k(z) = 54*z**2 - 2*z. Let d(x) = -107*x**2 + 5*x. Let f(i) = 3*d(i) + 7*k(i). Let g = -9 + 10. Is f(g) a composite number?
True
Suppose -4 = -f + 5*w - 10, 0 = -3*f - w - 34. Let q(l) = -5*l**2 + 9*l + 13. Let y(i) = -25*i**2 + 45*i + 64. Let z(h) = f*q(h) + 2*y(h). Is z(-7) composite?
False
Let t(m) = 4*m**3 - 1. Let d be t(1). Let n = -16 - -21. Suppose -d*g + n*g = 498. Is g a prime num