24, p = s + 1469. Is p prime?
True
Suppose 111*i = 103*i + 26392. Is i a prime number?
True
Suppose 6 = -3*c + 6*c. Let p(i) = 16*i**2 + 0*i + 2*i - i**3 - 22*i**c. Is p(-7) composite?
True
Let n be (39/12 + -4)*-4. Suppose n*c + 3*u = 18, 0 = -3*c - u + 3*u + 8. Suppose 3*r - c*g = -r + 132, -3*r = 4*g - 85. Is r prime?
True
Suppose 2*w - 5*w = 0. Let d be 0/1*-1 - -185. Suppose w = 4*b - 131 - d. Is b a composite number?
False
Let m be -3 + (1 - 2) + 7. Suppose 0 = m*o - 293 - 742. Let z = o + -179. Is z composite?
True
Suppose 0 = 16*a - 27*a + 115489. Is a composite?
False
Let u(j) = -j**2 + 3*j + 3. Let d be u(3). Suppose -m = -d*m + 140. Suppose 14 = 4*v - m. Is v a prime number?
False
Let m = 50 + -25. Is (38715/m - 5) + 3/(-5) a composite number?
False
Suppose 3*z + 2*z - 5*x - 5 = 0, 0 = z + 4*x - 26. Suppose z*p - 4*p = 502. Is p a composite number?
False
Let c be 3/2 - (-238496)/64. Suppose -c = -q - 805. Is q a composite number?
True
Let z(p) = -9*p**3 + 2*p + 1. Let i be z(-1). Let d = i - 6. Is 91 - (2 + -4 + d) a prime number?
False
Let g = 21 - 18. Let r be 4/((-8)/(-630)) + 2. Suppose 2*m = g*m - r. Is m a composite number?
False
Let u be 3/(-12) - (-39)/(-4). Let i = u - -105. Is i composite?
True
Let x(u) = 31*u - 8. Let z(q) = -30*q + 7. Let r(m) = -4*x(m) - 5*z(m). Is r(2) a prime number?
False
Suppose 2*o = o. Suppose -y + 6*y - 325 = o. Is y a prime number?
False
Let d be (-7)/((-28)/(-8)) + 202. Let v = d + -121. Let z = v + 238. Is z composite?
False
Is 1163/((-54)/(-297) - 10/(-66)) composite?
True
Let j = -4025 - -30564. Is j a prime number?
True
Let h(q) = 22*q - 32. Let y be h(13). Suppose 4*l - 974 = y. Is l a prime number?
True
Let f = 323 - -118. Suppose -f = 3*a - 2040. Is a composite?
True
Let s = 422 - 250. Suppose s = -3*q + 769. Is q a composite number?
False
Suppose 2*w - 13 = 3*h, -2*w - 3*h = h - 6. Is -278*(5/w)/(-2) composite?
False
Let d be 92/(-4) - (0 - 3). Let x = 459 + d. Is x composite?
False
Suppose 4*x + 2*x = -3678. Let f = 1024 - x. Is f prime?
True
Let u(s) = 10*s + 863. Is u(0) prime?
True
Suppose 60*f + 4 = 61*f. Suppose -f*c + 861 = -c. Is c a prime number?
False
Suppose 28*m - 87*m + 66434 = 0. Is m a composite number?
True
Suppose 0 = 4*h - 5*k - 57436, 0 = 3*h - 4*k - 32527 - 10550. Is h composite?
True
Let o(b) be the third derivative of 16*b**4/3 + 5*b**3/6 + 8*b**2. Is o(4) prime?
False
Let j = 1438 + 247. Is j composite?
True
Let s = 24 - 14. Let j(k) = 55*k + 3. Is j(s) a prime number?
False
Suppose -5*d = 5*h - 40, -3*d + 4 = -2*h - 5. Suppose 0 = -d*x + 404 + 661. Is x composite?
True
Suppose -13*i + 11*i = -410. Suppose -5*c + i = -5*j, 3*j - 97 = -2*c - 30. Is c a composite number?
True
Let s(b) = -b**3 + 16*b**2 - b + 15. Let n = 50 + -34. Let p be s(n). Is -143*(2 - (2 - p)) a composite number?
True
Let d be (0 - -371 - 0) + 22 + -22. Let c = 772 - d. Is c prime?
True
Let h = 1376 + -432. Is 6/(-2) - -1*h prime?
True
Let i(x) = 12*x - 44. Let g be i(4). Suppose 0 = g*t - 292 - 3592. Is t composite?
False
Suppose 4*j = 9*j. Suppose j = 3*o - 162 - 75. Is o prime?
True
Let w = 88 + -98. Let i(l) = -112*l - 26. Is i(w) a prime number?
False
Is ((-6223)/14)/((-4)/8) composite?
True
Suppose -3513 = -v + 446. Is v prime?
False
Suppose -5*u = 2*c + 2402, -2*u = 3*c + 3368 + 224. Let p = -141 - c. Is p a composite number?
True
Let q(b) = b**2 - 8*b. Let c be q(8). Suppose c*s = -3*s - 12, -y + 97 = -2*s. Is y composite?
False
Suppose 12*k = 19*k - 13783. Is k prime?
False
Suppose -5 = -0*d - 5*d. Let u(j) = -46*j**2 - 6*j + 5. Let v(c) = -47*c**2 - 7*c + 6. Let x(b) = -5*u(b) + 4*v(b). Is x(d) a composite number?
False
Let w be 4/8 + 1940/(-8). Let q = w - -515. Suppose -2*c + q = c. Is c composite?
True
Suppose 0 = 10*k - 5*k - 3735. Suppose -a = 5*b - k, -b - 2*b + 451 = 2*a. Is b a composite number?
False
Let t = 548 + -928. Let s = t + 1357. Is s composite?
False
Suppose 56*j - 222893 = 192123. Is j a prime number?
True
Let t(n) = -3*n**3 - 17*n**2 - 20*n - 14. Let y be t(-8). Let j = y - -655. Is j prime?
True
Suppose 5*s = 4*s. Suppose 2*x - 204 + 10 = s. Suppose 3 = j - 5*c - x, -2*j + 179 = -3*c. Is j a composite number?
True
Suppose 41*y - 4 = 40*y. Let v(u) = 133*u**2 - 11*u + 15. Is v(y) a composite number?
False
Let s = 11 - 8. Suppose 0 = -s*c - 4*j - 0 - 14, -3*c + 5*j + 31 = 0. Suppose -r = -4*g + r + 446, -2*g = -c*r - 220. Is g a composite number?
False
Let b(h) = 4*h**2 + 2*h + 13. Let s = -4 + 11. Is b(s) prime?
True
Suppose -1254 - 165 = 3*j. Let p = 0 - j. Is p composite?
True
Let u(x) = 3*x - 2. Let k be u(2). Is ((-4)/(-3))/k - (-7116)/9 composite?
True
Suppose 0 = 2*f - 26 - 68. Let s = 27 - f. Is (s/7)/((-8)/28) a prime number?
False
Is (-14408)/(-2)*((-2)/2)/(-4) prime?
True
Is 22236 - (6 + -4)*5/(-2) composite?
True
Suppose -2*z = 5*q - 43, -8 = -q - 2*z + z. Suppose 1085 = -2*j + q*j. Is j prime?
False
Let j(n) be the third derivative of 11*n**5/60 - n**4/8 - n**3/6 + 4*n**2. Let f be j(3). Suppose -5*d + 6*d = f. Is d prime?
True
Suppose -2*j = 6, 0 = 3*o - 2*j - 1210 - 1193. Is o a composite number?
True
Suppose 0 = 2*o - 1 + 5. Let p(w) = 1 + 2 - 2 - 372*w. Is p(o) a prime number?
False
Suppose 2*j + 3*j = -4*x - 2147, 1051 = -2*x + 5*j. Let i = x + 1084. Is i a composite number?
True
Suppose 405*o - 15039 = 378*o. Is o composite?
False
Suppose -n + 5*t + 180 = 0, -4*n + 7*t = 3*t - 672. Suppose -27*u + n = -24*u. Is u a composite number?
True
Suppose -18*d - 19*d = -589669. Is d composite?
False
Let j = -71 - -107. Let u = j + -42. Is (-1 - (-15)/u)*-458 prime?
False
Suppose -16*b + 18*b = -2*c + 86620, 5*c + b = 216562. Is c prime?
True
Let s = -5703 + 3715. Is (-3)/9 - s/6 prime?
True
Let u(s) = -5 + 15*s**2 - 26 - 3*s + 12*s. Is u(6) a composite number?
False
Let q be (-1*1)/(1/(-1)). Is q/(((-12)/(-12108))/(0 - -1)) a composite number?
False
Suppose b - 3*b + 5*v = -3, 0 = 4*b - 5*v - 1. Is (b + 0)/((-1)/1) - -210 composite?
False
Let l(w) be the first derivative of -w**4/4 + 11*w**3/3 + 7*w**2/2 - 11*w + 42. Let z be 1 - (1 - (-6)/(-1)). Is l(z) composite?
False
Let a = -18 - -29. Let m be a*-3*(-78)/18. Suppose -m = -2*p + p. Is p a prime number?
False
Let r = -8 + 11. Suppose 5*g = r*g + 10. Suppose 4*l - 4*c + 417 = 1221, 4*l + g*c - 822 = 0. Is l composite?
True
Let g(f) be the second derivative of 7*f**4/4 + 11*f**3/6 + 9*f**2/2 - 26*f. Is g(7) composite?
True
Let m(g) = 32*g**2 + 49*g + 25. Is m(-16) prime?
True
Suppose 13 = 2*v - z - 2, 0 = 2*v - 5*z + 5. Let w(r) = 38 - v*r**2 + 9*r + r**3 - 31 + 2*r**2. Is w(7) a composite number?
True
Suppose -2*k = -20*k + 50634. Is k prime?
False
Suppose 21*h + 23512 = 29*h. Is h prime?
True
Let l(a) = 2944*a**2 - 2. Is l(1) a prime number?
False
Let f = -26420 - -47797. Is f prime?
True
Let a = 0 - -7. Let r(i) = 7 - 13 + 4 + 3*i + 12. Is r(a) prime?
True
Let k(z) = -z**3 + z**2 + 10*z + 13. Let r be k(-13). Suppose 2*j + d = 713 + 785, 3*j + d = r. Is j a composite number?
False
Let t(y) = 2847*y**2 - 208*y - 1. Is t(-8) a composite number?
False
Let h = -924 - -5421. Let t = h + 1102. Is t prime?
False
Let s be 5*2 - (-10 + 10). Suppose 9*q - 4*q = s. Suppose 0 = q*v - 4*v + 46. Is v a composite number?
False
Suppose -4*u + 12*u = 112. Is (u*(-3)/(-12))/((-3)/(-1842)) prime?
False
Let y = -67 + 2. Let m = y + 199. Is m a composite number?
True
Let s(z) be the first derivative of -z**4/4 + 2*z**3 - 2*z**2 - 7*z + 2. Let m be s(5). Is 2/(5*m/(-635)) a prime number?
True
Suppose 0 = -10*u - 169800 + 476110. Is u composite?
False
Suppose -54 = 4*a - 6. Let i(n) = -n**2 - 13*n - 7. Let w be i(a). Let m(v) = 7*v - 9. Is m(w) composite?
True
Let l(j) = -3*j + 2. Let n(v) = v - 1. Let h(z) = -4*l(z) - 11*n(z). Let x be h(-5). Is -37*3/6*x composite?
False
Let c(j) = -8 + 11*j - 192*j - 14*j. Is c(-7) a composite number?
True
Let o = 5 - 2. Suppose w - o + 0 = 0. Suppose -w*l - 402 = -1359. Is l prime?
False
Let h(g) = 17*g**2 - 13*g + 2. Let q be h(-21). Suppose 46*w = 50*w - q. Is w a prime number?
False
Let j = -3670 + 5213. Is j a composite number?
False
Let f(j) be the first derivative of -j**5/20 + j**4/2 + 2*j**2 - 7*j + 2. Let v(s) be the first derivative of f(s). Is v(3) composite?
False
Suppo