False
Let t = -3007 - -4521. Let d be t/10 - (-4)/(-10). Suppose 2*y = k - 4*k + 118, -2*k - d = -3*y. Is y prime?
True
Is (-3 + (-364)/(-8))*2 prime?
False
Let u = 8 + -6. Is (u/4)/((-6)/(-4908)) prime?
True
Let j(r) = r**2 - 4*r - 5. Let x be j(5). Suppose 0 = -c + 3*u + 12, 2*c + 3*u + 3 = -x*u. Is (c + (-3 - -1))*143 a prime number?
False
Let p(i) = 4*i**2 + 7*i - 8. Is p(-6) composite?
True
Let c(v) = 16 + v**3 - 4*v - 6 + 0*v**2 + 8*v**2. Is c(-7) a prime number?
False
Let f = -40 - -721. Is f prime?
False
Let z = 6483 + -2300. Is z composite?
True
Suppose 5*m + 5*d = -414 - 56, 5*d = m + 106. Let c = -67 - m. Suppose 0 = -2*p - 7 + c. Is p composite?
False
Suppose -5*y - 3*b + 3293 = 0, 0*y - 4*y - 2*b + 2634 = 0. Let f = 7 - 4. Is y/5 + f/(-5) composite?
False
Is (-1)/(-2*6/4452) a prime number?
False
Suppose -4*q + 1 = 5. Let b be (q - -3)*(-17 + 5). Let d = 137 - b. Is d a prime number?
False
Let w(m) = 2*m**2 + m - 41. Is w(-20) prime?
True
Suppose m + 4*x + 4 = -0*m, 4*m - 2*x - 20 = 0. Suppose -2*c = m*j + 5 - 13, 5*j = -5*c + 15. Suppose -c*k = 2*k - 276. Is k prime?
False
Suppose -4 = -2*g + 4. Suppose -2*o + 3*b + 199 = -2*b, -3*o = g*b - 241. Is o a composite number?
True
Let o = -6948 + 4764. Let z = -973 - o. Is z a composite number?
True
Suppose m + 444 = -3*m. Let x be 0 - 1 - 10 - 1. Is (0 - -4)*m/x prime?
True
Suppose 0 = 4*b - 5*m - 43 - 1442, -3*b + 2*m + 1105 = 0. Is b prime?
False
Let x be 6 + -2*2/4. Suppose -x*y + 889 = -3*o, -5*y + 134 + 769 = 4*o. Is y composite?
False
Let g(n) = 13*n + 4. Let r = 33 - 72. Let l be (-2)/(-4) - r/6. Is g(l) prime?
False
Let b(l) be the first derivative of -5*l - 2 + 3*l**2 + 2/3*l**3. Is b(-6) a prime number?
True
Suppose -3*z = -0*z - 651. Is z prime?
False
Let n = -157 + 792. Is n composite?
True
Let j = 653 - 355. Is j a prime number?
False
Suppose 0*r = -3*r - 18. Let y(g) = -2*g - 9. Let t be y(r). Suppose -x + t*x - 242 = 0. Is x composite?
True
Let x(p) = -10*p + 7. Let o = -14 - -4. Let d be x(o). Let v = d - 60. Is v a prime number?
True
Let i = -3 + 5. Let x(k) = -2 + k**2 + 2*k**2 + 0*k**i. Is x(-2) composite?
True
Is 0 - 1 - 780/(-4) prime?
False
Suppose 2 - 26 = 3*n. Let c(v) = v**3 + 9*v**2 + 8*v + 3. Let j be c(n). Is 44/j + 3/9 composite?
True
Let k = -111 - -63. Let p = k + 91. Is p composite?
False
Let m = 3333 + -1024. Is m prime?
True
Let u = 16 - 13. Suppose -834 = -u*a - 225. Is a a prime number?
False
Suppose 4*k = 3*k - 266. Let g = -181 - k. Is g a prime number?
False
Let x(u) = -2*u + 3. Let z(q) = q**2 - 2*q + 2. Let m be (-112)/(-49) - (-4)/(-14). Let l(b) = m*z(b) - 3*x(b). Is l(-4) composite?
False
Let i(n) = n**3 - 5*n**2 - 3*n + 2. Suppose 0*h + 2*h = 8. Let a be i(h). Let p = -15 - a. Is p prime?
True
Let p(l) = 2*l + 6. Let a be p(-6). Let u(v) = -4*v + v + 0*v + 1. Is u(a) prime?
True
Suppose -q + 440 = 4*q. Suppose 3*u + 280 = 2*b, b + 4*u = 63 + q. Is b a composite number?
True
Let v(d) = 13*d**2 - 3*d - 11. Is v(10) a composite number?
False
Let s(k) = -10*k**3 - 2*k**2 + 3*k + 2. Let r be s(-3). Suppose 0 = -2*z + 4*v - 10 + 492, r = z - 4*v. Is z prime?
False
Suppose -2*g - a + 3 = 0, 4*a = -g + 5*g - 24. Suppose 0 = 2*t + m + 153 + 126, -t = 2*m + 135. Is -2*g/(18/t) a composite number?
False
Let f = -94 + 221. Is f a prime number?
True
Is (-7)/(-35) + 888/10 a prime number?
True
Is 383/2 + (-1)/2 composite?
False
Let p(t) = 4*t - 3. Let h be p(3). Let w be (-5 + 1)/(-19 + 17). Let x = h - w. Is x composite?
False
Suppose m + 3203 = -0*q + 5*q, -2*q - 4*m = -1290. Is q composite?
False
Suppose 2*j - 663 = o + 635, 0 = -j - 5*o + 649. Is j prime?
False
Let i be (-52)/(-5)*5*2. Let v(m) = 488*m**2 - 2*m - 1. Let s be v(-1). Suppose -5*q + s - i = 0. Is q a composite number?
True
Suppose x = -3*x + 740. Is x a composite number?
True
Is -6 - -4 - ((-5 - -3) + -635) composite?
True
Suppose -144 = 4*s - 1148. Is s a prime number?
True
Let q = -514 + 737. Is q prime?
True
Suppose 4*x - s = 10, -2*x - 2*s + 8 = -2. Suppose 5*q - 457 = 3*j, -x*q + j = -4*j - 287. Is q composite?
False
Suppose -3*p + 1177 + 899 = 3*i, 4*p = -5*i + 2769. Is p prime?
True
Let x = 5699 + -2556. Is x a prime number?
False
Is 360 - (-2 + 0 - (-12 - -9)) a composite number?
False
Suppose 0 = 4*s + u + 9 + 2, 3*s + 22 = 2*u. Is (s/6)/((-2)/195) a composite number?
True
Suppose 9 = -3*s - 0. Is 1166*((-9)/6)/s a prime number?
False
Let y = 11 + -4. Let b = -3 + y. Suppose 0 = b*f - 12 - 24. Is f composite?
True
Let u(s) = 2*s**3 - s**2 - 3*s + 1. Let f be u(2). Suppose -f*c + 1828 = -3*c. Suppose 3*j - 8*j + c = -2*l, -3*l - 3 = 0. Is j composite?
True
Let a = -1017 + 1555. Is a prime?
False
Let l(k) = 7*k + 1. Let g be l(9). Suppose -z = -3*z + g. Suppose z = 2*x - 74. Is x a prime number?
True
Let k(n) = 732*n - 13. Is k(3) composite?
True
Let i(a) = 12*a**2 + 4*a + 3. Suppose 4*u + 2 = 18. Is i(u) composite?
False
Let w be -1 + -5 - (3 + -4). Let r = w + 10. Suppose 3*x + x = -16, 4*x = -r*u + 79. Is u a composite number?
False
Let c(i) = -8*i + 1 - 14*i - 5 + 1. Suppose 5*r - g + 23 = 0, 4*r + 3*g = 3*r + 5. Is c(r) composite?
True
Let n(l) = 3*l - 1. Let j(m) = -6*m + 3. Let r(v) = 4*j(v) + 9*n(v). Is r(10) a composite number?
True
Suppose 11*g - 1550 = g. Is g composite?
True
Let x(l) = 5*l**3 - 11*l**2 + 3*l + 2. Let a(m) = m**3 - m**2 - m - 1. Let n(u) = -3*a(u) + x(u). Is n(5) prime?
False
Suppose 0 = 9*k - 5*k - 8. Is -3 + (152 - 0/k) a composite number?
False
Let d(u) = -u**2 - 7*u + 3. Let y be d(-4). Is 1/3 - (-40)/y a prime number?
True
Let h = 0 + 4. Is 809/h + 6/8 a composite number?
True
Let p(w) = w**3 + 3*w**2 - 1. Is p(2) a prime number?
True
Let d(f) = 2*f**2 + f + 2. Let w be d(-1). Suppose -215 = -4*h + w*g + 282, -h + g + 125 = 0. Is h prime?
False
Let d be (-92)/(-5) - (-27)/45. Let y = d + 4. Is y composite?
False
Suppose 0 = -0*y + 5*y + 635. Let r = y - -390. Is r prime?
True
Let g(m) be the second derivative of m**5/20 - m**4/12 + m**3/6 + 115*m**2 + 3*m. Let o be g(0). Suppose 6*s + o = 2*b + s, 3*s = 0. Is b a composite number?
True
Suppose -4*m = -c + 370 - 71, -604 = -2*c + 5*m. Is c a prime number?
True
Let g(r) = r**3 - 4*r**2 - r - 3. Let y be g(5). Let k = y + 20. Is k a prime number?
True
Let z(t) be the third derivative of -t**5/60 + 5*t**4/12 - 3*t**3/2 - 2*t**2. Let j be z(7). Suppose j = -4*c + 6*c. Is c prime?
False
Let l be (-510)/25 - (-4)/10. Let x be (-48)/l*(-35)/(-2). Suppose 4*h - 34 = x. Is h a composite number?
False
Suppose -3*n = 5*z - 3590, 1787 = 5*z - 3*n - 1833. Is z prime?
False
Is 15 - (-4 - -5)*-4 composite?
False
Let v(o) = o**3 + 4*o**2 - o - 3. Let h be v(-4). Is ((-2)/6)/(h/(-33)) prime?
True
Let o = 2 + 2. Suppose 0 = 3*x - x - o. Is (1 - x) + 32/1 prime?
True
Let v(k) = -k**3 + k**2 - k. Let y be v(0). Suppose y = 3*f + 2*a + 10, 0 = -4*f - 2*a - 10. Suppose f + 33 = o. Is o prime?
False
Suppose 5*z + 3*a + 6 + 23 = 0, 2*z = 4*a + 4. Let n(p) = 11*p**2 + 5. Let k be n(z). Suppose 2*h = k + 293. Is h a prime number?
False
Suppose 0*f = f - 40. Let d be (4 - 8)*1/(-2). Suppose 2*j - f = -d*j. Is j composite?
True
Let s(z) = -4*z**3 - 1 + 0 + 2*z**3 + 3*z**2 - 2*z + 0*z. Is s(-4) a prime number?
False
Let y(o) = -3*o**3 + 2*o**2 + o - 31. Is y(-9) a prime number?
True
Is 2*278 - (3 - 6) a prime number?
False
Suppose -3*l + 4*r + 65 = -6, -4*l = -3*r - 90. Is 6/l - (-375)/35 composite?
False
Let h = 4236 - 2154. Is (2/(-3))/((-4)/h) composite?
False
Suppose -3*i = -2*i - 2. Let a = 35 - i. Is a a prime number?
False
Suppose -1 = -3*w + 2, -4*y = 4*w - 7352. Is y prime?
False
Suppose 0 = -4*h + 5*j + 1239, 1015 = 4*h + j - 230. Is h a prime number?
True
Let q(z) = 134*z + 10. Let g be q(6). Let t = g + -299. Is t a prime number?
False
Let u(c) = c**2 + c + 21. Let i be u(0). Suppose 0 = -5*s - 6 + i. Suppose s*y + y = 132. Is y a composite number?
True
Suppose 2*i = 5*i - 531. Is i a composite number?
True
Suppose 4*x = 413 + 87. Suppose -2 = -k + 3. Suppose -6*o = -o - 3*p - x, -k*o + 120 = -2*p. Is o prime?
False
Is (-1702)/(-8) + (-9)/(-4) + -2 a composite number?
True
Let b(n) = 13*n**2 - 2*n + 1. Let t be b(4). Let v = t - 112. Is v a prime number?
True
Let g(u) be the second derivative of -u**4/4 + u**3