 = -3*m - p*r + 7*r + 575. Is m prime?
True
Suppose -65 = -2*x - 3*x. Let k(z) = 14*z + x*z - 11 - 37*z. Is k(-10) a composite number?
False
Suppose 0 = 90*a - 89*a + 196. Suppose -2 = -2*g + 4*g, -5*s = -3*g + 47. Is (-42)/70 + a/s a prime number?
True
Let d = 16 - 11. Suppose -4*w - 2*k + 7047 = -d*k, -3*w - 3*k + 5259 = 0. Is (w/(-6))/(-2 + 1) composite?
False
Suppose -5*g + 1307 + 203 = 0. Is g composite?
True
Let y = -11 + 14. Suppose -v - v = -y*n + 204, -2*n = v - 136. Suppose m - j = n, -5*m + 0*m + j = -336. Is m composite?
False
Let d = -54 + -136. Let q be 2/(-6) + (-5766)/9. Let x = d - q. Is x a prime number?
False
Suppose 5*f - 5*w = 30, 0 = f - 2*f - 3*w + 2. Suppose -6*m = -9*m - p + 27, -5*m + 34 = -2*p. Suppose -a = -f*a + m. Is a a composite number?
False
Suppose -5 = -s - 3, 3*k - 4*s = 12322. Suppose -2*x = v - k, -7*v + 4122 = 2*x - 3*v. Is x composite?
False
Let g(h) = -2782*h + 37. Is g(-3) a prime number?
False
Let v(c) = 3*c**3 + 14*c**2 + 12*c + 4. Let m be v(-9). Let u = m - -1647. Suppose 0 = -l + 5*p + 218, 4*l - p - u - 439 = 0. Is l a prime number?
True
Let x = 27 - 81. Let w = -34 - x. Suppose 0 = m - v - v - 79, 4*v - w = 0. Is m composite?
False
Let z = -8807 + 12568. Is z prime?
True
Suppose 0*c - 68 = -4*c. Let r(y) = 10*y + 31. Is r(c) composite?
True
Let y(x) = 2*x**2 - 6*x - 9. Let i be y(5). Let j = i - 142. Let v = -62 - j. Is v composite?
True
Let i be (10/8 - 1) + (-39)/12. Suppose -2*q - q - 144 = 0. Is 1/i + (-10720)/q a composite number?
False
Suppose 23*o = -8*o + 623131. Is o composite?
False
Suppose 30*o = 13*o + 238. Suppose -19*q + o*q + 1325 = 0. Is q a prime number?
False
Let n(k) = -2*k**2 - 11*k + 23. Let s be n(-10). Let z = s - -102. Is z prime?
False
Suppose -7*j = -4*j - 84. Suppose -3*s - j = -3613. Is s a prime number?
False
Suppose 0 = 7*b - 3 + 10. Is 13 - 8 - 336/b composite?
True
Let i be (-2)/3 - 2450/(-21). Suppose 36 = 4*g - i. Suppose -92 = -5*v + g. Is v a prime number?
False
Let s(u) = u**2 + 2*u + 11. Let o be 105/(-45)*(1 - 0)*-3. Is s(o) a composite number?
True
Suppose -87 - 3 = -y. Let q(n) = -3*n**2 + 50*n + 14. Let t be q(15). Suppose y = s - t. Is s a prime number?
True
Let h be (3/3 - 1) + -5. Let m be -1 + 40 + (-8 - h). Let y = m + 1. Is y prime?
True
Let b(s) = 227*s**3 - 3*s**2 + 3*s + 18. Is b(7) a composite number?
True
Let i = 44 + -22. Let m be i/6 - 12/18. Suppose -m*f - 5*j = -420 - 197, 667 = 3*f - 5*j. Is f a composite number?
True
Suppose -12343 = -9*s + 9734. Is s prime?
False
Suppose 30*h + 9368 = 38*h. Is h prime?
True
Let w = 10281 + -4138. Is w prime?
True
Let v = -493 + 1881. Suppose 0 = -13*t + 17*t - v. Is t a prime number?
True
Suppose f - 2*d = 547, -2*f - 2*d + 1081 = -19. Let x = f - 22. Suppose x = 2*l + 19. Is l prime?
False
Let f = -16 + 20. Suppose -f*j = -379 - 9. Is j a composite number?
False
Let f(c) = 2*c**2 + 6*c + 2. Let j be f(-5). Suppose w - j = 2*z, -w + z + 10 = -7. Is 9014/w - (-1)/(-6) composite?
False
Let b = 940 - 531. Suppose 7*j - 900 - b = 0. Is j prime?
False
Let g(r) = 15*r**2 + 55*r + 11. Is g(-21) prime?
True
Let c(a) = a**3 + 9*a**2 + 4. Let u be c(-9). Let g be -8*u/(-12)*3. Suppose -x + g = -q, -3*x = x - 3*q - 35. Is x a composite number?
False
Suppose 113 = 2*c - 49. Is (c - 80)/(2*2/4604) prime?
True
Let a be (-52)/(-6)*9/(-6). Let t = a + 12. Is 212 + (-2 + t)/3 a prime number?
True
Let z = -28 - -28. Suppose -5*o + 2*o + 15285 = z. Is o prime?
False
Let f = 9 + -13. Let c(p) = -p**3 - 3*p**2 - 2*p + 5. Let b(t) = t**3 - t. Let s(w) = -2*b(w) + c(w). Is s(f) a composite number?
False
Let k(w) be the first derivative of -5*w**3/3 - 7*w**2/2 - 8*w + 2. Let v be k(-6). Let d = 11 - v. Is d prime?
True
Let u = -71 + 81. Let v(f) = 121*f - 29. Is v(u) composite?
False
Suppose 47*q - 334698 = 5*q. Is q prime?
False
Let f(m) = m**3 + 5*m**2 - 2*m - 4. Let r be f(-5). Let a = 1 + r. Is a a prime number?
True
Suppose 4*n - 16 = 6*i - 4*i, -2*n + 8 = 2*i. Suppose -3*r + 335 = 5*s, 4*r - 4*s + 5 = 409. Suppose n*t - 203 = r. Is t composite?
True
Suppose i - 2*i + 6 = 5*s, s - 3*i - 14 = 0. Suppose -3522 = -8*g + s*g. Is g composite?
False
Suppose 5*y - 15232 = 5678. Suppose -4*f - 626 = -y. Is f prime?
False
Let o(t) = 417*t + 2. Let j be o(5). Suppose 2*d - 1557 = -3*m, -9*m + d = -5*m - j. Is m a composite number?
False
Suppose -36 = -2*v - 0*v. Suppose r = 4*l - r - 388, 291 = 3*l - 3*r. Suppose l - v = y. Is y a prime number?
True
Let j(k) = 1096*k**2 + 17*k + 14. Is j(-5) composite?
False
Let u be 3/6*6 - 3. Suppose g - 1 + u = 0. Let q(i) = 22*i + 1. Is q(g) composite?
False
Is (-30948)/(-9)*(-12)/(-16) prime?
True
Suppose -4*w + 3*v + 12 = 0, -v = -2*w - 3*v + 6. Suppose 0 = 5*k - i - 1051, -w*i = 2*k + i - 438. Is k a prime number?
True
Let w(s) = -s**3 - 7*s**2 - 5*s - 8. Let n be w(-6). Is (-8603)/n + (-1)/2 prime?
False
Let a be 1*(-1 + 3 + 2). Suppose -3*k - n = 2*n - 483, -a*k + 660 = -4*n. Let g = k + 94. Is g prime?
True
Suppose 3*x - 19 - 35 = 0. Suppose 204 = 22*c - x*c. Suppose -c = -4*g + 305. Is g a composite number?
False
Let d(m) = 5*m**2 + m. Let z be d(-1). Suppose -z*r + 5*r = 115. Is r a composite number?
True
Suppose 10 = 5*s - 10. Suppose s*v = 2*v + 10, -2*n = v + 1. Is (-502)/n*(-9)/(-6) a composite number?
False
Let s(b) = 6*b**2. Let z be s(1). Let j(h) = 79*h - 2. Let p be j(z). Is p/18 - 2/9 a prime number?
False
Suppose 16*g - 8 = 14*g. Is (-831)/(-6) - (-2)/g a composite number?
False
Suppose 388 = -19*p + 21*p. Suppose p = -2*i + 3*i. Suppose -3*g + 2*g = -3*y + i, -257 = -4*y + 3*g. Is y a composite number?
True
Let n be 0 - (-4)/10 - (-39)/15. Suppose 0 = n*k + p - 2*p - 5956, 3*k - 5952 = -3*p. Is k a prime number?
False
Let j(k) = -2*k + 8 - 5 + 3*k**2 + k - 6. Is j(2) prime?
True
Let w(o) = o**3 + 2*o**2 + o + 46. Let n be w(0). Let v = n - -139. Is v a composite number?
True
Let v(q) = -3*q**3 - 12*q**2 - 6*q - 12. Let l(g) = 5*g**3 + 24*g**2 + 11*g + 24. Let h(i) = 4*l(i) + 7*v(i). Is h(7) a composite number?
False
Suppose 3*n - 2*a = 6*n - 4603, -a - 6152 = -4*n. Is n prime?
False
Let z(v) = 2*v**2 - v - 1. Suppose 2*a = 5 - 1. Let y be z(a). Suppose 0 = -4*u + y*t + 316, 186 = 3*u + 3*t - 24. Is u composite?
True
Let l(h) = -8*h**3 - 5*h**2 - h + 9. Let g(q) = -q**3 + 3*q**2 - 4. Let v be g(3). Is l(v) composite?
True
Suppose -14 = 48*v - 55*v. Suppose v*t - o = -6*o + 319, 0 = -o + 1. Is t composite?
False
Suppose 16*f - 31325 = 14*f - g, -12 = -4*g. Is f a composite number?
False
Let o(b) = 5704*b + 981. Is o(17) composite?
True
Let a = 1739 - 40. Let t = a + -978. Is t a composite number?
True
Let x(q) = 33*q**3 + 2*q**2 - 12*q + 12. Is x(5) a prime number?
True
Let w(s) = s**3 + 8*s**2 + 3*s + 7. Suppose -3*c - 3 = 0, -2*c = -2*y + 3*c - 9. Is w(y) composite?
True
Let o(u) = -12627*u - 89. Is o(-4) a composite number?
True
Let c(g) = -g**2 - 6*g + 8. Let w be c(-7). Let r be 3*(w + 8/(-6)). Is 1016/(-8)*(-2 - r) a prime number?
True
Suppose 9072 = 23*a - 220537. Is a prime?
False
Let v be (3 - -1627) + 2*1. Suppose -a = -6*a - 4705. Let j = a + v. Is j a composite number?
False
Suppose -17*p + 27*p = 155140. Is p a composite number?
True
Let p = 15 - 15. Suppose 2688 = 3*r - 3*x, 4*r + p*x = 2*x + 3588. Is r/6 + 4/(-6) a composite number?
False
Let b be (-18)/(-12)*(-824)/3. Let f = b - -611. Is f a prime number?
True
Is ((-2)/(-10))/(6/83010) a prime number?
True
Let d be -1 - -1 - (-12)/1. Suppose -4*w = d, -z - z + 1 = 3*w. Suppose -p = -5*c - 50, -z*c + 225 = p + 3*p. Is p prime?
False
Let b = 5 - 1. Suppose -2*v + 2 = 6, -b*p + v = -562. Suppose 4*q - p = -4*g + 200, 3*g - 4*q = 283. Is g a prime number?
True
Let t(k) = -k**2 + 74*k + 342. Is t(35) a composite number?
True
Let a = -7813 + 18044. Is a a composite number?
True
Suppose -5*d + 3*o - 5*o - 34 = 0, -3*o = 3*d + 15. Let p(r) = -r**3 - 4*r**2 + 6*r - 17. Is p(d) composite?
False
Suppose -3*p = 12 - 3. Is p/(-5) - (-34151)/65 composite?
True
Suppose 0 = 3*c - 1759 - 6563. Is (c/11 - 1) + (-4)/22 a composite number?
False
Suppose -4293 - 3389 = -2*u - 4*z, 0 = -u + 5*z + 3841. Is u composite?
True
Let g(h) = 46*h**2 - h + 12. Let s be g(-5). Suppose 4*v - 7*v + s = 0. Is v composite?
False
Let k(b) = 