8*n. Is j(-20) prime?
False
Suppose 0 = -81*d + 25*d + 1400728. Is d a prime number?
True
Suppose 0 = -5*w + 1239 + 3466. Suppose -n + 917 = m - 2*n, -m - 5*n = -w. Suppose 3*z - 700 - m = -4*p, -2663 = -5*z + 3*p. Is z a composite number?
True
Suppose 6*b - 21143 = 547. Suppose 9*o = 12*o - b. Is o a prime number?
False
Let q(a) = -a**3 - 3*a**2 - a - 1. Let k be q(-3). Suppose -x + r + 8 = x, -12 = k*x + 4*r. Suppose -3*b + x*m = -b - 1496, m = 5. Is b a prime number?
False
Suppose -9*o - 4*d + 23499 = -6*o, -2*d + 7835 = o. Is o a prime number?
True
Let d(k) be the second derivative of 79*k**3/6 - 3*k**2/2 + k. Let l = 167 - 165. Is d(l) composite?
True
Let l = -648 - -1301. Is l composite?
False
Suppose -22*r + 16*r = -51210. Let g = r - 6088. Is g a prime number?
True
Let z = 35 + -25. Let f be (-8)/z*(-60)/(-24). Is 434/4 + (-1)/f composite?
False
Suppose -5*j + 42*u = 46*u - 75665, j - 2*u - 15133 = 0. Is j a composite number?
True
Let f(v) = 7*v**3 + 4*v**2 - 4*v - 6. Let h be f(-4). Let n = -247 - h. Is n composite?
False
Suppose 574*o - 570*o - 271052 = 0. Is o a prime number?
True
Let a(p) = -3*p**3 + 2*p**2 - 1. Let s be a(-1). Let h(f) = f + 1. Let j be h(s). Suppose j*i - 556 = i. Is i a prime number?
True
Let p = -56 + 8. Let m = -34 - p. Suppose 0 = -4*d + 3*d + m. Is d composite?
True
Suppose -3*n = -4*o - 3, -5*o + 0*n - 3 = -3*n. Suppose 0 = -4*g + 3*d + 52, o = 5*g - 0*d + 5*d - 30. Let z = g - -23. Is z prime?
False
Suppose -2*c + 10 = 2. Suppose -h - 1965 = -c*h. Is h a prime number?
False
Is (-7 - (-120)/16)/((-2)/(-1052)) a prime number?
True
Let b = -98920 + 179991. Is b a composite number?
False
Suppose 0*i - 16 = -2*i. Let l be ((-2236)/i)/(2/(-4)). Let o = -242 + l. Is o a prime number?
True
Let s(i) = -191*i - 16. Let t be s(-7). Let b = t + -828. Is b a prime number?
False
Is ((-6)/(-4) - -1)/(94/300236) composite?
True
Let f(p) = -467*p - 1. Let i(v) = -v**2 - 2*v - 2. Suppose 7*m + 4 = 3*m. Let o be i(m). Is f(o) a composite number?
True
Is -25 + 27 + 45037*1 a composite number?
True
Suppose 4*z + 8585 = 3*s, -4*z = -4*s + 5071 + 6369. Is s composite?
True
Let n = 171166 - 98449. Is n a prime number?
False
Suppose 2*p - 4*p = -3*i, i - 17 = -5*p. Let g be p + 2/(2/(-25)). Is -3 + 1 - (1 + g) composite?
False
Let i(p) = p**2 - 2*p + 1. Let h(x) = -x**2 + 1. Suppose 5*z - 5 = -2*k - 29, -5*z = 3*k + 26. Let n(c) = k*h(c) + i(c). Is n(2) prime?
True
Suppose -14*n + 11*n + 33 = 0. Suppose n*w = 13*w - 2954. Is w prime?
False
Suppose 11*r = -6461 + 32344. Is r a prime number?
False
Let h(y) = 2 - 5*y + y**2 + y**2 - 11. Let f be h(-6). Suppose -3*q + f = -174. Is q a composite number?
False
Let z(m) = 56*m**2 + 23*m - 4. Is z(-7) composite?
False
Suppose -4*m + 2*m = -1464. Let d = -293 + m. Is d a composite number?
False
Let q = -6 - -1. Let j(l) = 38*l + 13. Let n(m) = 75*m + 25. Let s(h) = 7*j(h) - 4*n(h). Is s(q) a composite number?
True
Let o(v) = -2*v**2 - 6 + 7*v**2 + 2 + 6*v + 2. Let d be (6/(-4))/(21/98). Is o(d) composite?
True
Suppose 4*s - 786 - 291 = 5*u, 3*s - 779 = -2*u. Is s prime?
True
Let r = -462 + 753. Suppose -j - 2*j + r = -5*a, 5*j = -3*a + 485. Is j composite?
False
Let p = -1968 - -4568. Suppose p = 3*g + g + 4*n, -5*g + 2*n + 3271 = 0. Is g prime?
True
Suppose -5*o - 15 = 0, -f = -3*o - 620 - 606. Is f a prime number?
True
Suppose 59*r = 83*r - 280104. Is r composite?
True
Let n be (-27982)/(-8) + 5*3/60. Suppose 3*v - 2*a = 1681, -5*a + n - 1295 = 4*v. Is v a prime number?
True
Suppose -3*x = -x - 6. Let c(t) = -7*t**2 + 4 - 8*t**2 + 48*t**2. Is c(x) prime?
False
Suppose 138 = 3*y + 2*s - 670, s + 541 = 2*y. Let a = y - 56. Is a prime?
False
Suppose 109500 = 18*l - 129594. Is l composite?
True
Let i(m) = 12*m + 60. Let p be i(-5). Suppose p = -5*b - 231 + 1036. Is b prime?
False
Let p(n) = 1671*n + 4. Let k be p(1). Suppose g = 1264 + k. Is g prime?
True
Suppose 0 = -6*j + 5*j + 2815. Is j prime?
False
Let u(x) = 74*x**2 + 5*x + 7. Let l(a) = -a**3 + 7*a**2 - a + 5. Let g be l(7). Is u(g) composite?
False
Suppose -2*c + 6604 + 7194 = 0. Is c composite?
False
Suppose 3*g - g - 2 = 0. Let l(s) = 156*s**3 - 1. Is l(g) prime?
False
Suppose -4*u - 5925 = 3*z - u, 0 = -4*z - 3*u - 7900. Let o = 3030 + z. Is o a composite number?
True
Suppose -5*o + 6419 = 1114. Let u(y) = o + y + y - 3*y + 3*y. Is u(0) a prime number?
True
Let j be (6/7)/(2/42). Suppose f = 3*f - 4*r - j, 2*f + r - 3 = 0. Suppose 0 = -5*s + 2*q - 0*q + 374, 4*s - 302 = f*q. Is s a prime number?
False
Is 82096/84*6/4 a prime number?
False
Let g be 40/22 + 12/66. Let y = g + 5. Is y/4*(2 - -66) prime?
False
Let t = 2 - 2. Suppose -k - 2 - 1 = t, -5*k = 2*u + 5. Suppose -2*v = -3*l - 30, 5*l + 45 = -2*v + u*v. Is v prime?
False
Let p = -4 - -7. Let d = 7 - p. Is (-7)/28*d*-211 composite?
False
Let n be (-14)/(-7) + (-2 - 0). Suppose n = -3*h - 5 - 13. Let i(c) = -6*c - 3. Is i(h) prime?
False
Let v(k) = -3 - k + 51*k**2 + 108*k**2 + 2*k. Is v(2) prime?
False
Let l(j) be the third derivative of j**7/315 + j**6/720 - j**5/24 + 3*j**4/8 + 3*j**2. Let z(b) be the second derivative of l(b). Is z(4) a prime number?
True
Let h(m) = -7*m**3 + 4*m**2 + m + 7. Let u(l) = -l**2 + 8*l + 3. Let x be u(8). Let v(k) = -2*k**2 + 3*k + 4. Let g be v(x). Is h(g) prime?
True
Let p be (6/5)/(((-28)/(-10115))/2). Suppose 3*z + 4*v = p, 3*z + 270 - 1137 = 4*v. Is z prime?
False
Is 11644 + 6/(-1) + 13 + -8 composite?
True
Suppose p + 2*x = 2*p - 2, 4*p = 2*x + 20. Suppose 0 = -p*w + 3*w + 804. Let h = -125 + w. Is h a prime number?
False
Let v(w) = 5*w**3 + 5*w**2 - 20*w - 37. Is v(7) composite?
False
Let r(z) = 43*z**2 + 7*z - 1. Let q = -12 - -14. Let d = q - -1. Is r(d) prime?
False
Let u(p) = p + 1. Let q(r) = 20*r**2 + 14*r - 5. Let i(k) = q(k) - 2*u(k). Is i(-6) composite?
False
Let v = -1201 + 2038. Let z = -586 + v. Is z composite?
False
Suppose -5*o - 204 = -2*c - 31, -4*c + 307 = 3*o. Is c composite?
False
Let t = 35 + -32. Is 1*t*623/21 composite?
False
Suppose -4*d - 34791 = -5*b + 29725, 0 = -5*b + d + 64519. Let g = b - 9191. Is g prime?
False
Let m be (0 + 3)/((-2)/14). Let r(f) = -f**3 - 21*f**2 - 18*f + 29. Is r(m) prime?
False
Let i be 14144/119 - (-2)/14. Let y be -5*1/(15/(-6)). Suppose r = y*r - i. Is r prime?
False
Suppose 4*c = -8*c + 35292. Is c prime?
False
Suppose 4*a - 42 = -3*z, -3*z - 5*a = -0*a - 45. Is (2395/z)/(-3*(-2)/12) prime?
True
Let b(i) = -i**3 - i**2 - 5*i - 5. Let y be b(-3). Suppose -y*s = -31*s - 483. Let z = 410 - s. Is z composite?
False
Suppose 5*f + 0*p + 4*p - 16 = 0, -p = 3*f - 11. Let c be (-4)/(-6)*-3 + 4. Suppose c*k - 193 = -5*j, -f*k - 90 = -2*j - 32. Is j composite?
False
Let s = -45366 - -81403. Is s composite?
False
Let s(r) = r**2 - 3*r + 5. Let g be s(0). Suppose j - 3206 + 438 = -2*i, 5*i = g*j + 6935. Is i composite?
True
Suppose 14 = -2*b - 16. Let r be (126/b)/(4/(-610)). Suppose -3*x = 5*c - 7*x - 1293, 5*c - r = -2*x. Is c a composite number?
False
Let x(h) = -h**2 + 42*h - 22. Is x(29) composite?
True
Let k = 12 + -7. Let y be -1 + k + -3 + -1. Suppose y = 3*d + 4*f - 116 - 289, 686 = 5*d + 3*f. Is d a prime number?
True
Let i(l) = -65*l**3 + 6*l**2 - 3*l - 1. Let c be 1 + (10/(-5) - 2). Is i(c) a composite number?
True
Suppose 3*u - 3*p = 2*p - 1803, 2*u + 5*p + 1202 = 0. Let l = u - -1012. Is l composite?
True
Let f be (-24)/36 - (28/3)/(-2). Suppose -5*j - f*k + 12471 = 0, -2*j + 0*j + 5*k + 4995 = 0. Is j prime?
False
Let r = 8118 + 2335. Is r a prime number?
True
Let n(b) = -238*b + 2. Let s be n(-2). Suppose 0 = -5*j + 97 + s. Is j prime?
False
Let y = 3243 - 404. Is y a prime number?
False
Let c be (10 + -5)*(-3)/(-5). Let a(s) be the first derivative of 10*s**3/3 + s**2/2 + 4*s - 2. Is a(c) a composite number?
False
Let l = -3781 + 5336. Suppose -9*i = -l - 2126. Is i a prime number?
True
Let x(m) = 2*m - 45. Let v be x(24). Suppose 3*f - 6243 = -v*a, 3*f = 4*a - 2*a - 4162. Is a a composite number?
False
Let l(h) = 297*h**2 + 16*h + 63. Is l(-4) composite?
False
Let r(k) = k**2 - 3*k - 7. Let t be r(7). Let n be (2 + t/(-3))*20. Let q = 303 + n. Is q a composite number?
True
Let m(w) = w**2 + 4*w**2 + 9*w**2 + 10 - 3*w - 30. Is m(9) prime?
True
Suppose 3*q = -q + b + 219, 2*q 