**2 - 13. Is d(9) prime?
True
Suppose -17*y + 15489 = -337414. Is y composite?
False
Let q = -1731 - -2465. Is q prime?
False
Suppose -2*d = 3*d - 10. Suppose d*h - 3*h = -655. Is h a composite number?
True
Suppose 4*d + 8 = 88. Let t = d - 17. Suppose -t*i + 4835 = 2*i. Is i prime?
True
Suppose 103 - 106 = -3*l. Let y = -7 - -9. Suppose 3*f - y = l, -2*f = -m + 85. Is m a prime number?
False
Suppose 4*a - 2931 = -m + 4720, 0 = 5*a + 3*m - 9569. Suppose 3*c + c = -a. Let b = 887 + c. Is b a prime number?
True
Let h = -4 - -6. Suppose 0 = 3*n + 4 - 13. Suppose n*b - 23 = h*b. Is b a prime number?
True
Let f be (-704)/(-10) + (-14)/35. Let h(y) = -9*y**2 - 4*y - 3. Let o be h(-6). Let b = f - o. Is b composite?
False
Let w = 511 - 897. Let f = w - -1071. Is f composite?
True
Let w(g) = g**3 + 6*g**2 - 47*g - 13. Is w(19) a prime number?
False
Let s(g) = -398*g - 29. Is s(-8) composite?
True
Suppose v - 55833 = -2*m, 32*m - 111664 = 28*m - 4*v. Is m a composite number?
False
Suppose -4 = 3*j - 4*j. Suppose -h - 1 = j. Is (h/10)/(1/(-106)) prime?
True
Let r = -20 + 35. Let a = r - 11. Suppose -12 = a*d, 4*m + 0*d - 1501 = -5*d. Is m a composite number?
False
Suppose -5*q - 15935 = 5*g, -3*g + g - 15938 = 5*q. Is (-57)/(-38)*q/(-6) composite?
False
Suppose 3*s = -2*v + 3, -15 = 2*v - 4*v + s. Suppose -5*z - v - 4 = 0. Is z/8 + 3565/20 a prime number?
False
Let k = -5245 + 8572. Let u = 5896 - k. Is u composite?
True
Let g(x) = 29 - 25 + x**2 - 2*x**2 + 16*x. Is g(5) composite?
False
Let l = -17 + 15. Let a be (l/2)/((-1)/(-75)). Let s = a - -164. Is s a prime number?
True
Let o be 3*(-1 + (-39)/(-9)). Suppose 5*v = -o, 2*g = -v + 6*v + 308. Is g a prime number?
True
Let m = 9128 + -5307. Is m composite?
False
Let c be -2 + 3 - 1 - -4. Suppose -3*o - 2*o - 219 = -c*y, -3*y - 5*o = -138. Is y prime?
False
Let l = -267 + 3428. Is l a prime number?
False
Let x = 49583 + -26844. Is x prime?
True
Let g = -22 - -24. Let c(y) = 112*y**2 - 2*y + 2. Is c(g) composite?
True
Let w = -2456 + 1741. Let q = w - -1327. Let y = -231 + q. Is y prime?
False
Let t(s) = -s**2 + s + 1. Let r(z) = 2*z**2 - 2*z + 56. Let a(i) = r(i) + 3*t(i). Is a(0) prime?
True
Suppose -2*z = 4*z + 342. Let a be -12*(-4 + z/(-12)). Is 3/a + (-5480)/(-15) composite?
True
Let r be (-3 - -6) + (5 - 1). Is 1 - (-27 - (r - 2)) a prime number?
False
Let k(d) = 33*d**3 + 8*d**2 - 11*d + 6. Let u be k(4). Suppose -9*v + 6*v = -u. Is v a composite number?
True
Suppose -14674 - 807 = -5*v + j, -5*v = 4*j - 15501. Is v a prime number?
False
Suppose 0 = b - 3*b + 22. Suppose t + 3 = -b. Let x = 55 - t. Is x prime?
False
Is ((28/70)/(2/221090))/2 a prime number?
True
Suppose -5*t + 3 + 12 = 0. Let s = -18 - -30. Suppose -t*x = k + 2*k - 192, 0 = 4*k + s. Is x a composite number?
False
Let h(f) = 33*f**3 - 4*f**2 + 35*f + 13. Is h(9) a prime number?
True
Suppose -5*j = -0*j + 9140. Let p = 3058 + j. Suppose -5*u = -5*t + p, 3*u - 507 = -3*t + t. Is t a composite number?
True
Let m(s) = -s**2 - 10*s + 9. Let d be m(-11). Let f(z) = 16*z**2 + 5*z + 5. Is f(d) prime?
True
Suppose 6 + 9 = 5*l. Suppose 10*t - 1099 = l*t. Is t a composite number?
False
Let z(b) = -7*b**3 - 2*b**2 - 2. Let d be z(2). Let s = -119 - d. Is (s/(-3))/((-3)/(-9)) a prime number?
True
Is (-10 + 2)*(-56572)/16 prime?
False
Let a = -20 + 24. Suppose -p + t + 519 = -3277, -a*t = 4*p - 15200. Is ((-1)/3)/((-6)/p) a prime number?
True
Let c(v) = 0*v**2 + 10*v**2 - 8 + 20*v**2 - 5*v + 4. Is c(-5) a prime number?
False
Let r = 2 + -81. Let t = -15 - r. Suppose -25 - t = -j. Is j a composite number?
False
Let m(p) = -23*p**3 + 3*p**2 + 8*p + 9. Let o = 72 - 75. Is m(o) a composite number?
True
Let m = -129 - -193. Suppose -64 = -h - 3*p, -2*p = -2*h + m + 48. Let w = h + -35. Is w composite?
False
Let m = -63 + 35. Is (-1117)/(-2)*8/m*-7 a composite number?
False
Suppose -494*s - 3941 = -495*s. Is s a prime number?
False
Is (-521942)/(-145)*(-3)/((-6)/10) a composite number?
True
Suppose 4*a + 33 = 5*d, 2 = 2*d - 2*a - 12. Suppose 0 = d*y - 4 - 11. Suppose y*s - 1194 = -3*m, 2*m + 56 = -3*s + 1245. Is s prime?
False
Let d(v) = v**3 + v**2 - 4*v + 200. Let s be d(0). Suppose -5*p + z + 1232 = -s, 2*z - 6 = 0. Is p a composite number?
True
Let r(c) = 70*c**3 + 6*c**2 - 7*c + 11. Let x be r(6). Suppose -5641 - x = -6*o. Is o prime?
True
Let n be (1229/(-3))/((3/9)/(-1)). Suppose -6*t - n = -17903. Is t composite?
True
Let b be ((-4)/(-6))/((-1)/6). Let o be (b - (-11)/(-1))/(-1). Suppose o = 2*p - 5. Is p prime?
False
Let k = -1 - -2. Suppose -p + 12 + k = 4*m, p - m + 12 = 0. Let c(x) = 2*x**2 - 7*x - 4. Is c(p) composite?
True
Let y = 133233 + -38836. Is y a prime number?
True
Let k(f) = 862*f - 121. Is k(5) prime?
False
Let x = -6386 + 9427. Is x composite?
False
Let y be 1 - 3/5 - (-29340)/(-225). Let o = 1269 - y. Is o a prime number?
True
Let l(k) = 1387*k + 13. Let w be l(5). Let m = -4681 + w. Is m a composite number?
False
Let i(d) = 25*d**2 - 16*d - 20. Let r(z) = 5*z**2 - 3*z - 4. Let n(y) = 2*i(y) - 11*r(y). Let c be n(-2). Is 2/9 + (-23666)/c a prime number?
False
Let u be (5058/15)/(3/(-15)). Let v = u + 3023. Is v a composite number?
True
Suppose -30 = 5*v + 3*h + 5, 0 = -v + 3*h - 7. Is 6/(-63)*v*(-3021)/(-2) composite?
True
Suppose 5*k + 125 = r, -364 = -3*r + k + 3*k. Suppose -3*g = 6 - r. Suppose 0 = -h + g + 44. Is h composite?
True
Let l be (2/6)/((-1)/(-18)). Let t = 12 - l. Suppose -267 = -t*q + 3*q. Is q composite?
False
Let m(c) = 2*c - 5. Let s(l) = l + 5. Let d be s(-1). Let t be m(d). Suppose -8*k - 5*q + 185 = -3*k, k - 37 = t*q. Is k composite?
False
Suppose h = 5*h - 632. Let k = 89 + h. Suppose -5*y - k = -3*q, -4*q + y = -177 - 141. Is q a prime number?
True
Suppose 5*u = 4*l - 70, 0*u + 21 = l - 3*u. Suppose -2*z + 3*y - 5 = -7*z, -3*y = l. Suppose 2*o + 5*w - 408 = 254, -1324 = -4*o + z*w. Is o a prime number?
True
Let g = -12 - -38. Let t be (-8 + 5)*g/(-6). Suppose p - t = 280. Is p a composite number?
False
Suppose 443 = 3*d - 232. Suppose s - 3866 = d. Is s a prime number?
True
Let j = 1656 + 395. Is j composite?
True
Suppose d = 2*d + m - 34, -5*m = 3*d - 106. Let p be 2/(-2 + d/12). Suppose -4*k = -2*k - h - 47, k + p*h - 34 = 0. Is k a prime number?
False
Is 10007*(4 + 6/8*-4) a prime number?
True
Suppose 0*x - 5*x = r - 21, -11 = -3*x - r. Suppose -12 - 8 = -x*s. Suppose -n + 244 = 2*o + s*n, 4*o - 506 = -n. Is o prime?
True
Suppose -3*u - 1367 = -4*u. Is u a prime number?
True
Suppose 0*k - 4 = -2*k. Suppose -k*x - 263 = -2*v - 5*x, x - 257 = -2*v. Is v prime?
True
Let u = -44 - -48. Let s be (87*-1)/((-18)/204). Suppose u*w = s + 794. Is w prime?
False
Let d = 21 + -16. Suppose -d*l + 94 + 81 = 0. Is l a composite number?
True
Suppose -2*v + 6*v = 4*k - 648, 2*v = 3*k - 491. Suppose 874 = 2*g + 26. Suppose t + k = 2*r - g, 2*t = -5*r + 1455. Is r composite?
False
Let r(z) be the third derivative of -z**7/840 + 7*z**6/360 - z**5/24 - z**4/8 + 5*z**3/6 + 5*z**2. Let q(t) be the first derivative of r(t). Is q(4) composite?
True
Let u = 471 - -2982. Is u prime?
False
Suppose 0 = 2*b - 5*b + 672. Suppose 12 = -0*j - 6*j. Is 1/2*(b - j) prime?
True
Let j = 120 + -112. Let p(m) = -m**2 - 13*m + 4. Let w(d) = -d + 1. Let a(b) = -p(b) + w(b). Is a(j) composite?
False
Suppose 6 + 19 = 5*c. Suppose -257 = -6*n + c*n. Is n composite?
False
Let p(q) = 112*q**2 + 2*q + 29. Is p(10) a composite number?
True
Let i be 20/(-9) - 10/(-45). Let v be 4/((0 - 2)/i). Suppose -3*t + 5*l = -132, 0 = -t - v*t + l + 198. Is t composite?
True
Suppose -4*o + 5 + 3 = 0. Suppose -5*v = -o*v - 9. Suppose w = v*w - 62. Is w a composite number?
False
Suppose 5*h - 20 = -0*h. Let f be (-2 - 6)/h + 283. Let g = -122 + f. Is g composite?
True
Suppose 24*d - 344217 - 1714287 = 0. Is d prime?
False
Suppose -170*k + 166*k - c = -24400, 30509 = 5*k - c. Is k composite?
False
Let j = 6 + 51. Let u = j - -1342. Is u prime?
True
Suppose w - 13234 = -w. Is w a composite number?
True
Let a(t) = 53*t**2 + 17*t - 387. Is a(-30) prime?
False
Let q be 2 - (-945)/(6 + -1). Suppose 5*a - 5*r + 30 = -0*r, -2*a - 3*r - 2 = 0. Is q - (1 + a + 7) composite?
True
Let x(p) be the third derivative of -173*p**4/24 + p**3/3 + 5*p**2 - 6. Let l = -2 + -