z)/(w/(-21324)) a prime number?
True
Let i(w) = 1398*w**2 + w. Let g(z) = -1. Let n(t) = 2*g(t) + i(t). Is n(1) prime?
False
Suppose -2*g = 4*k - 532598, 216445 = 4*g - 4*k - 848835. Is g prime?
False
Let f = -656882 + 2722893. Is f prime?
False
Suppose 2*p = 5*l - 216931, -994*l = -998*l + p + 173543. Is l a composite number?
True
Let x(w) = -w**2 + 7*w - 6. Let j be x(4). Let n be 2062/1*3/j. Suppose 2*v = v + n. Is v prime?
True
Let x be (7 + -1)*(-5)/(-10). Suppose x*d = 4 + 134. Is d composite?
True
Let k(m) = m**2 + 12*m + 19. Let f be k(-11). Let h(u) = 9*u**3 + 21*u**2 + 13. Is h(f) a prime number?
False
Suppose 15*d - 2108 = 11*d. Suppose -12*b = 5*b - d. Is b composite?
False
Let o(c) = 541*c - 40. Suppose 0 = 4*v + 7 - 43. Is o(v) a prime number?
False
Let w(i) = 11*i - 13*i + 8 + 22. Let g be w(14). Let r(b) = 7*b + 17. Is r(g) a prime number?
True
Let y(c) = -2*c**2 - 60*c - 31. Suppose 5*b - q = 2 + 3, -q - 1 = -3*b. Suppose b*r - 57 = -107. Is y(r) prime?
False
Let a = 117135 - 35734. Is a composite?
False
Suppose 0 = -3*z + 2*i - 2, 3*i - 6 + 2 = 4*z. Is (8 + 13)*((-425)/(-3) + z) prime?
False
Suppose 0 = 8*y + 17 - 57. Is (26 - 1)/y - 1908*-2 prime?
True
Let z(s) = 5*s**2 - 9*s + 14. Suppose 5*v = 5*x + 55, v - 2*v + 5*x = -11. Let b be z(v). Suppose 1499 = 3*a - b. Is a a prime number?
True
Suppose -4*z + 64855 = 3*a + 11524, 2*a + 3*z = 35556. Is a composite?
True
Let a(y) = -3*y**3 - 52*y**2 + 15*y + 23. Suppose -5*l - 64 = 46. Is a(l) composite?
False
Suppose 4*s + 8 = 0, -3*c = -2*c + 4*s - 2. Suppose -5*x - 4*h - 14 + 6 = 0, -4*x = 5*h + c. Suppose x = 4*l - 594 - 1402. Is l a prime number?
True
Let t(q) = 862*q**2 + 240*q - 1233. Is t(5) a composite number?
False
Let i(h) = 4*h**2 - 12*h - 33. Suppose v + j - 1 = -0, -2*j = 5*v + 10. Is i(v) a prime number?
True
Suppose 5*a = a + 4, y = -5*a + 683. Let u = 157 + y. Is u prime?
False
Let w(y) = 1179*y**3 - 6*y**2 + 4*y + 5. Is w(4) prime?
False
Suppose 0 = -5*d + 4*a + 41, 3*d + 3*a + 2 = d. Let i(t) = -4*t**2 - 6*t - 3. Let r be i(d). Let h = r + 251. Is h a composite number?
True
Suppose 2*u = -2*u + 8. Let x be (3 - u)*4/1. Suppose 2*i - 3*c = 1757, x*i + 4*c - 1714 = 1790. Is i a prime number?
True
Let a be 5*((-4 - (-56)/20) + 2). Suppose -5 - 3 = -a*m. Suppose -4*g + 897 = -g - 4*r, -r - 598 = -m*g. Is g a composite number?
True
Let k be 1 + 5 + -5 + -3 + 8. Suppose 34992 = -3*d + k*d - 3*b, -4*b + 58329 = 5*d. Is d prime?
False
Is ((-138063)/(-6))/((-36)/(-72)) composite?
False
Let c(k) = 14*k**2 - 10*k - 5. Let m = 46 + 9. Suppose -m = 6*u - 13. Is c(u) a prime number?
True
Let j = 480866 + -213831. Is j composite?
True
Let u be (-2 - 42/9 - 0)*-3. Is 1442*6 + u + -17 + 2 prime?
False
Let d(k) be the second derivative of 2*k**5/5 + 8*k**3/3 + 5*k**2/2 + 4*k - 12. Is d(6) a composite number?
True
Suppose -11*r + 538045 = 11*r - 128401. Is r a prime number?
True
Let y = 3359 - -1020. Suppose 0 = -a - 3*q + y, -a = -4*a - 5*q + 13153. Is a a composite number?
False
Is -7 - (6 - (-3 - -35235)) a composite number?
True
Suppose 13*x = x + 1368. Suppose 43 = b - 2*a, -3*b - a - x = -6*b. Is b composite?
False
Is (-8)/(-16)*-1*-22*104513 a composite number?
True
Let l = 889587 + -628654. Is l prime?
False
Let x(b) = 3*b + 84. Let m be x(-30). Is (-2)/(m - 96/(-15)) - -1800 a composite number?
True
Let o(u) = 144026*u**2 - 114*u - 465. Is o(-4) composite?
True
Suppose 0 = -202*l - 229*l + 32359049. Is l prime?
True
Let v(d) = 52*d**2 - 35*d + 6. Suppose -4*z + 0*t + 24 = -4*t, 5*z - 34 = t. Is v(z) a composite number?
False
Let l = -296834 - -692417. Is l a composite number?
True
Suppose 12170 = 3*s + 4*x, 932*s = 928*s - 2*x + 16220. Is s composite?
True
Let s(w) = -82*w - 3. Let b(z) = z + 1. Let y be (-10)/(-8)*1/5*4. Let l(t) = y*s(t) - 4*b(t). Is l(-6) composite?
False
Let n = -790705 - -1162968. Is n composite?
False
Is 35175 - ((-1)/(-7))/(10/35)*-4 a composite number?
True
Suppose 0 = z + 1449 + 21. Let t = 2516 + z. Suppose -x = 2*o - t, -1050 = -3*o + o - 2*x. Is o prime?
True
Let t be (101 - 102)/(1*(2 + 1)/3). Let a(q) = 23*q - 1. Let l be a(-1). Is l/(-24)*(t + 5582) prime?
True
Suppose -18224620 = -420*d + 1743440. Is d prime?
True
Suppose 98*q + 213114 = 92*q. Is 130/(-26) - (q + -1) prime?
False
Let q be (9 - 6)/(10/(-8) - -2). Suppose -3*g - 9 = -j - 2*j, q*j + 12 = -4*g. Suppose -15*t + 19*t - 1784 = j. Is t a prime number?
False
Suppose -7*v - 2*v + 324 = 0. Suppose -38*k = -v*k + 318. Let i = k - -428. Is i a prime number?
True
Is (3 + (-6846905)/25)/((-58)/145) prime?
True
Let n(v) = v**3 - v + 8. Let y be n(0). Suppose 302 = y*m - 2. Suppose -42*r + 3748 = -m*r. Is r a composite number?
False
Let w = 365322 - 184049. Is w a prime number?
True
Is (1 - 10) + 1 - -69057 a prime number?
False
Is (-2*(-2)/(-4))/((-291)/(-291)) + 75822 a composite number?
False
Let o(z) = 1927*z + 1. Let l be o(1). Suppose -4*x = 3*f + l, 0 = -x - 3*f + 7*f - 463. Let g = 678 - x. Is g a composite number?
True
Let k(s) = s**2 - 21*s + 2. Let i(q) = 2*q**2 - 7*q + 17. Let c be i(4). Let u be k(c). Suppose z + 751 = 5*t - 2*z, 5*t + u*z = 741. Is t composite?
False
Let t(s) = 4*s**3 + 0*s**3 - 9 - 2*s**2 - s**3 - 7*s + 0*s**3. Let x be t(10). Suppose 60*d - 63*d = -x. Is d prime?
True
Let m = 2040 + -2916. Let u = -697 - m. Is u prime?
True
Suppose 4*h - 212 = -2*a, 2*h - 191 - 11 = -2*a. Suppose 0 = 13*j - 11*j + a. Is j/(-32) - 511/(-2) composite?
False
Let s(y) = -1015*y**3 + 4*y**2 + 19*y - 63. Is s(-5) a prime number?
False
Suppose -2*b + 44381 = 5*m + 2678, -2*b - 4*m = -41704. Is b a composite number?
True
Suppose -22*w = 12*w + 15*w - 10871581. Is w prime?
False
Let d be 4/(5/2*(-32)/200). Let o = d - -29. Let l(k) = 4*k**2 - 24*k + 15. Is l(o) a composite number?
True
Suppose 0*u + 10889 = 2*u - g, 3*u - 4*g = 16336. Suppose u = 5*c - 6431. Let f = c + -858. Is f prime?
False
Suppose 0 = 2*a - 6*a + 5*i + 293, -2*i + 191 = 3*a. Suppose 80*j - a*j - 27989 = 0. Is j a prime number?
True
Let t(u) = 105*u - 25. Let d be t(4). Let j = d + -97. Is j prime?
False
Let a(m) = 293*m + 126. Let v be a(7). Suppose 7*b + 2*f + v = 8*b, -2*b - 5*f = -4372. Is b a composite number?
True
Let b(s) = -61*s**2 - 3*s - 5. Let r be b(-5). Let d = -1058 - r. Is d prime?
True
Let d(o) = o**2 + 2*o - 27. Let q be d(-7). Suppose w + q = 2*w. Suppose -w*z = -6*z - 1814. Is z prime?
True
Let x(f) = 206*f**2 - 106*f + 613. Is x(6) prime?
True
Let d(q) = 40*q**2 + 62*q - 77. Is d(49) prime?
False
Let z be 2/3 - 1742656/96. Let c = -9691 - z. Is c a prime number?
True
Suppose 3*p = -2*s + 7*s + 254284, -9*s + 9 = 0. Is p a composite number?
True
Let g = -155 + 95. Let a be (-3)/(g/(-128)) - 2/(-5). Is (a - -1)/(0 + (-4)/188) prime?
False
Let y(s) = 34*s**2 + 502*s - 71. Is y(29) a composite number?
True
Let c be (-6)/(-4) - (2 + 279/(-18)). Let v(t) = t**2 + 16*t - 2. Is v(c) a prime number?
True
Suppose 0 = 2*m + 4*w + 11 - 37, -2*m = -2*w - 50. Suppose m = -16*a - 155. Is (-33)/a + (-2702)/(-1) a composite number?
True
Suppose -g + 5 = -2*g + d, 22 = -5*g + 2*d. Let l be g/((-16)/(-12)) + 337. Suppose -t = -p - l, 0 = -3*t - 4*p + 747 + 255. Is t prime?
False
Let i = 65247 - 36268. Is i a prime number?
True
Let k(c) = 47*c**2 - 179*c - 11. Is k(-24) prime?
True
Let a(z) = -z**2 + 12*z - 33. Let f be a(5). Suppose 3*h = 3*d + 6783, -d - 6783 = -3*h - f*d. Suppose -4 = 2*v - 3*v, 3*x + 2*v = h. Is x composite?
False
Suppose 5*c - 7*f + 5*f - 248761 = 0, 0 = -2*c + 3*f + 99500. Is c a prime number?
False
Let q = -20 - -20. Let f be (-4)/(3 + q + -2). Is 4 + 0/f + 331 a composite number?
True
Suppose 2*o = 3*k + 683, 533 + 608 = -5*k + 4*o. Let s = k - -390. Suppose -3*q - s + 798 = 0. Is q prime?
True
Is (3*5/120)/(1 - (-2265144)/(-2265152)) a composite number?
False
Let x(p) = 5*p**3 + 2*p**2 - 4*p - 5. Let r(y) be the second derivative of y**5/20 - y**4/3 + y**3/3 + 7*y**2/2 - 8*y. Let f be r(3). Is x(f) a prime number?
True
Is 76354 + (-18)/12*(-70)/21 composite?
True
Suppose -1281*z + 977173 = 3*r - 1283*z, 3*z - 1628590 = -5*r. Is r a composite number?
True
Let f(j) = -j**2 + 18*j - 23. Let t be f(15). Suppose t*x + 3*x - 11975 = 0. Is x composite?
False
Suppose -5*m + 1481 + 999 = 0. S