-2*w - 4168 + 41034 = 0. Is w prime?
True
Let f(a) = 869*a**2 + 10*a + 19. Is f(4) a composite number?
False
Let i(f) = -f**2 - 6*f - 5. Let q be i(-4). Let l(d) = d**3 + 0*d**3 + 1 - 5*d**3 - d + q*d**3 - 4*d**2. Is l(-5) a composite number?
False
Suppose 5*m - 4*q = -4, 2*m + 3*q - 2 = q. Suppose -4*d - d + 25 = m. Let i = 9 + d. Is i composite?
True
Let v(m) = 495*m**3 - 2*m**2 + m - 5. Is v(2) composite?
True
Let p(d) = 5*d**2 - 8*d - 1 + 0 + 2*d**2. Let q be 1 - 3/(9/(-15)). Is p(q) composite?
True
Let p(b) = -b**3 - 12*b**2 + 13*b + 2. Let m be p(-13). Let v = m + 11. Let d = 1 + v. Is d prime?
False
Let y be ((-13)/(-2) + (-8)/4)*-2. Let q(g) = 10*g**2 - 13*g + 12. Is q(y) a composite number?
True
Let h = 4009 - -37632. Is h a composite number?
False
Suppose -u + 26 = -2*y, 3*y = 4*u + 28 - 77. Let x = y + 10. Is 1*(19 + 3) - x a composite number?
False
Suppose -3*a + 415 + 176 = 0. Let c = -20 + a. Suppose 3*x - x = -3*u + 334, 4*u - c = -x. Is x a prime number?
False
Let y(c) = 2*c**2 - 15*c + 8. Let x(g) = -3*g - 9. Let p be x(-7). Let k be y(p). Suppose -j + k = -95. Is j a prime number?
True
Let u(j) = 186*j**3 - j. Suppose 4*m = 1 + 7. Suppose -h = -2*h + 3*z + 13, -4*h = -m*z - 12. Is u(h) composite?
True
Suppose 532378 = -7*y + 29*y. Is y prime?
False
Let z = 112 - 36. Suppose z = -3*r + 22. Let a = -5 - r. Is a a prime number?
True
Let r(p) = -18*p + 7. Suppose 54 = -4*l - 2*f - 0*f, -4*l - 58 = -2*f. Is r(l) a prime number?
False
Suppose 3*v - 20 = -v. Suppose v*g + a - 5343 = -a, -a - 3197 = -3*g. Is g composite?
True
Let u(v) = v**3 - v**2 - v + 191. Suppose -7*j + 5*j = 0. Is u(j) a composite number?
False
Let g = -3503 - -8356. Is g a prime number?
False
Let s(u) = -18478*u**3 - 4*u**2 - 9*u - 5. Is s(-1) a prime number?
False
Let a(j) = j**3 + 20*j**2 + 17*j + 57. Is a(-16) a composite number?
False
Let q be 12 + -3 + -1 + 1. Suppose 5*r - q = 2*r + 4*h, 4*r + 3*h = 12. Suppose 0 = r*a + o - 342, 2*o = -2*a - o + 221. Is a a prime number?
False
Suppose 6*w = 7*w - 2. Suppose 5*c - 7663 = -w*z + 14, 3*c = 5*z + 4600. Is c prime?
False
Let k(w) = -3121*w + 774. Is k(-5) composite?
True
Let i = -28 - -30. Suppose -3*w = -i*w - 487. Is w a prime number?
True
Suppose -218*a = -215*a - 79671. Is a a composite number?
False
Let f be ((-382)/4)/(2/(-4)). Suppose 3*t = 2*p - 543, 783 = 2*p - 4*t + 239. Let m = p - f. Is m a composite number?
False
Let a be 132/(4 + 0)*(-1)/(-3). Let g(q) = 8*q**2 + 5*q - 20. Is g(a) a composite number?
True
Is 4 - (-69)/(-18) - (-447236)/24 a composite number?
True
Let l = -4955 - -9444. Is l a prime number?
False
Let i(b) = 41*b**2 + 13*b - 19. Is i(-18) prime?
False
Let k be ((-4432)/40)/((-2)/(-10)). Is 3 + -4 - 2 - k a prime number?
False
Suppose -66 = 11*j - 14*j. Let t = 41 - j. Is t a prime number?
True
Let z be 53550/374 - 4/22. Let p = -33 + -64. Let c = p + z. Is c prime?
False
Let k(a) = 39*a**2 + 2*a - 13. Is k(10) prime?
True
Suppose -40 = 98*d - 93*d. Let p(g) = 3*g**3 + 5*g**2 - 12*g - 1. Let y(h) = h**3 + 2*h**2 - 6*h - 1. Let v(j) = -2*p(j) + 5*y(j). Is v(d) prime?
True
Suppose 0 = -p + 5*l + 2463, 0 = -2*p + p + 4*l + 2465. Is p composite?
False
Let g(b) = -b + 1. Let c(r) = 36*r + 3. Let k(w) = c(w) + 6*g(w). Is k(5) a composite number?
True
Let r = -15572 - -34209. Is r a composite number?
False
Let s = -395 - -598. Let m = 365 - 148. Suppose s = 3*j - x - x, 5*x = -3*j + m. Is j prime?
False
Let u be ((-88)/16)/((-2)/376). Let k = u - 353. Is k composite?
True
Suppose 25030 = w + 5*c, -108*c + 110*c = 5*w - 125231. Is w prime?
False
Let z(q) = 7*q - 6. Let w be z(6). Let h be (-4)/(-6) - (-156)/w. Suppose 3*m + 316 = h*m. Is m composite?
True
Let o be -10*(-4 - 72/(-20)). Suppose -5*i + 4*w = -3525, i + 167 = -o*w + 896. Is i composite?
False
Let u = 2930 + 1689. Is u composite?
True
Let q(p) = -4*p**2 + 2*p - 23. Let w(l) = 19*l**2 - 10*l + 115. Let j(u) = -11*q(u) - 2*w(u). Is j(-6) a prime number?
True
Let i(v) be the second derivative of 38*v**4/3 - 2*v**3/3 + 5*v**2/2 - 3*v. Is i(3) a composite number?
False
Suppose -5*p = -2*u - 231639, p - 7250 = -4*u + 39069. Is p a composite number?
False
Let g = -342 + 1315. Is 6/2*g/21 prime?
True
Let b be (-12)/16*2*-2. Let a(o) = -o - b - 2*o + 2*o**2 - 5 + 6*o. Is a(-7) a composite number?
True
Let i = 215 - 66. Suppose 5*b = 906 + i. Is b a composite number?
False
Let i be (-2)/3 - 4/(-6). Suppose -3*m + 25 + i = -5*h, 4*h + 47 = -3*m. Let v = 15 + h. Is v composite?
False
Suppose 4*z + 5*t - 79 = 0, -z - t = 7 - 26. Suppose -z*r - 231 = -19*r. Is r composite?
True
Suppose 4*j + 1 = -k + 13, 0 = k - j + 8. Let o be 132*1 + (-5 - k). Suppose -6*d + 1135 = -o. Is d a composite number?
False
Let s = 41 + -35. Let m(o) = 57*o**2 - 11*o + 12. Let x be m(s). Is x/22 + 10/55 composite?
True
Let m be -10*(1*-6 + 3 + -2). Suppose -2*y + 682 = -4*p, -p + m + 285 = y. Is y prime?
True
Suppose 65*a - 64*a + 1 = 0. Is ((1 - 4) + 2)*a*781 prime?
False
Let i = 2131 - 4589. Let f = i + 4407. Is f a prime number?
True
Let b = 128293 + 10146. Is b prime?
False
Suppose 0 = -20*v + 19*v + 673. Is v a prime number?
True
Suppose 0 = -5*a - 8330 + 43240. Suppose -2881 - a = -7*o. Is o composite?
False
Let u = 51 - 53. Let s = 65 - u. Is s a composite number?
False
Is 6841/(2/(-3)*27/(-126)) a composite number?
True
Let u be (64/56)/((-6)/(-21)). Suppose 5*s + 198 = l, -2*s - 731 = -u*l + 115. Is -1*(-4)/(12/l) a composite number?
False
Let r(g) = g**3 + 16*g**2 - 17*g - 31. Let q be (1 - 0)*(1 - -2 - 16). Is r(q) a composite number?
True
Suppose g - 3*i - 27485 = 0, -i - 362 = 4*g - 110328. Is g a prime number?
False
Let t(s) = s**2 + 16*s - 5. Is t(-24) prime?
False
Let p(f) = -f + 12. Let q be p(14). Let j be 1/((-69)/(-36) + q). Is 2/j - 1338/(-36) composite?
False
Suppose -2*u + 4*t + 0*t = 76, 0 = -u + 4*t - 34. Let k(y) = -22*y - 18. Let p be k(0). Is p/u - 3392/(-7) a composite number?
True
Suppose 4*r = -2*j + 12946, 3*r + 2*j = 6*r - 9699. Is r a prime number?
False
Suppose -13*n + 9*n = -8. Let x be (-14 - -16)*(-4)/n. Let m(i) = 15*i**2 + 5*i + 3. Is m(x) a prime number?
True
Let i be (-1206)/4*(-20)/5. Let s = -830 + i. Suppose 4*n - 308 = -4*m, 2*n - 7*n - 2*m = -s. Is n composite?
True
Suppose 0 = -j + 5 - 0. Let w = j - 3. Is w + (-4)/(-4) + 0 prime?
True
Let j = -79 - -84. Suppose 4*n - 834 = j*t - 6273, 1091 = t - 4*n. Is t a composite number?
False
Let s(v) = -18*v**3 - 4*v**2 - 3*v + 21. Is s(-4) composite?
True
Suppose -5*n - 19 = 2*y, 0*y - 4*y + 5*n - 23 = 0. Let s(x) = 19*x - 2 - 27*x - 29*x. Is s(y) a composite number?
False
Suppose 2*q - 3*q + 815 = -5*x, -3*q = -4*x - 641. Let r(a) = -58*a - 5. Let k be r(-5). Let u = x + k. Is u a prime number?
False
Suppose 21 + 54 = 5*u. Suppose 4*a = u + 1045. Is a a prime number?
False
Suppose -2*i + 2 = 2*z + i, -3*i - 6 = 0. Let q be (-30)/(-5) + z + -1. Suppose -q*y - 737 = -10*y. Is y a prime number?
False
Suppose 0 = -4*k - 2*q + 10, 5*k - 5*q + q - 6 = 0. Suppose 0*j - u - 159 = -k*j, u = -1. Is j composite?
False
Suppose 0 = -3*u + 5*u + d - 20639, 3*d = 2*u - 20635. Is u prime?
False
Suppose -3*w = 0, 4*w - 8*w - 74954 = -2*d. Is d prime?
False
Suppose -36203 = -7*w + 4*w - 5*f, 3*w - 36219 = 3*f. Is w prime?
True
Suppose -2*y + 26 + 22 = 0. Let r = y - -25. Is r a composite number?
True
Let g(s) = 15*s**3 + 9*s**2 + 5*s - 40. Is g(7) prime?
True
Let g(j) be the first derivative of -j**4/4 + 2*j**3/3 + 2*j**2 - 2. Let p be g(3). Suppose 0 = -p*w + 2*w + 95. Is w prime?
False
Suppose n - g = 5, -4*g = -2*g + 10. Suppose -w + 4*x = -9, w + n = -3*x + 2. Suppose 4*h - w*h + 91 = 0. Is h a prime number?
False
Let k(g) = -8*g**2 + g - 1. Let j be k(1). Is ((-34)/(-40) - j/20)*12 a composite number?
True
Suppose -17*s - 14915 + 82762 = 0. Is s composite?
True
Suppose -3*q - 1 = -4*q. Let f be (q - -1) + (0 - 5). Is 1 - (f - (2 - -139)) a prime number?
False
Let r = 78292 + -52351. Is r prime?
False
Let o = -798 - -6305. Is o a prime number?
True
Let h = -55 - -58. Suppose h*c = 5*n + 6*c - 6562, -2*n + 2630 = -4*c. Is n a composite number?
True
Suppose 15*x - 1185 = 10*x. Is x prime?
False
Let g(y) = -65*y - 16. Let p be g(-6). Let j be (-2)/5 + (-913)/5. Let q = j + p. Is q prime