 Suppose 566 = 4*s - h. Is s a prime number?
True
Suppose -2*n + 35 = -5*t, -4 + 19 = -5*t. Suppose s - n = -4*a + 1, 4*a + 2*s = 10. Suppose -a*z + z = -2194. Is z a prime number?
True
Let y = 55 + -59. Let s = -10 - y. Let j(i) = -204*i + 33. Is j(s) prime?
False
Suppose 2*v = 4*b + 255650, -3*v - 9*b + 8*b + 383517 = 0. Is v a prime number?
True
Let v = 65 + -57. Let i be ((-780)/16)/13*v*2. Let j = 387 - i. Is j composite?
True
Let o(t) = 27066*t**3 - 2*t**2 + 5*t + 3. Is o(2) prime?
False
Let j be -1 + 0 - (-60)/20. Suppose 0 = -2*d + 5*l + 9442, -20*d - 4721 = -21*d - j*l. Is d a prime number?
True
Let r = -8 + 3. Let i be (1478 - r) + (4 - 3). Suppose -i = -7*s + 3*s. Is s prime?
False
Let i(q) = -1806*q**3 - q**2 - 7*q - 5. Let y(t) = -t**2 - t - 1. Let p(z) = -i(z) + 4*y(z). Let f be p(1). Let c = f - -96. Is c a composite number?
True
Let p(i) = 51730*i - 1401. Is p(23) a prime number?
True
Suppose 0 = 236*a - 123*a - 7761179. Is a a prime number?
True
Let i(s) = -4*s - 31. Let m be i(-10). Suppose m*f - 4603 = 10*f. Let n = -3138 - f. Is n composite?
True
Let i = 1000 + -997. Let g(o) = -o**3 - o**2 + o - 1. Let d(j) = -12*j**3 - 5*j**2 + 4*j - 10. Let k(y) = -d(y) + 6*g(y). Is k(i) prime?
True
Let m = 141 - 127. Suppose -42 + m = -7*t. Suppose -s - s + 3054 = t*w, 0 = 4*s + 3*w - 6128. Is s a prime number?
False
Suppose 5655*x + 4513811 = 5674*x. Is x composite?
True
Suppose 0 = n + i + 1795, 2*n - 5*i = -4*i - 3602. Let k be 2/(-4) - n/2. Let x = k - 22. Is x composite?
False
Is -9*(-12)/(-432)*(-104685 + 1) a composite number?
False
Let u be ((-36)/(-90))/((-1)/(-5)). Suppose 10*q - 5*q - 2*g - 64068 = 0, -q + u*g = -12820. Suppose 2*n + 9609 = 3*o, -4*o + 0*n = n - q. Is o prime?
True
Let c(p) = -17*p**2 - 4*p - 17. Let w be c(-4). Let l = -159 - w. Suppose 3*x = 1737 - l. Is x prime?
True
Let p = -27 - -35. Suppose -p*q + 5*q = -2040. Let a = -285 + q. Is a prime?
False
Let j = -81392 + 129729. Is j prime?
True
Let z(n) be the third derivative of 11*n**4/24 + n**3/2 + 2*n**2. Suppose 25*b = 44*b - 266. Is z(b) a prime number?
True
Let a(k) be the second derivative of -67*k**3/3 + 33*k**2/2 - 116*k. Is a(-19) a composite number?
False
Suppose -2*w + 142 = -4*c, 10*c + 56 = w + 5*c. Let p = w - 15. Is (-212)/(-10)*p - 2/10 a composite number?
False
Let p = -88 - -90. Suppose 3*x + o - 307 = 0, 2*x - p*o + 7*o = 196. Is x a composite number?
False
Suppose 0 = 8*t - 3412 - 53116. Suppose 0 = 2*w - 4*n - 23110, -w + t + 4486 = -n. Is w a prime number?
True
Let c be (0 + 2)/(-4 + (-98)/(-21)). Let y be 2/10 - (-1)/(-5). Suppose -7893 = -y*u - c*u. Is u composite?
True
Suppose 0 = -88*i + 75*i - 42*i + 10277465. Is i prime?
False
Let d(n) = -16703*n - 1522. Is d(-7) a prime number?
True
Let f(m) = 37*m**3 - m**2 + 2*m - 3. Suppose 4*y = -4*a + 51 - 27, y = 4. Is f(a) composite?
False
Let u be (-2)/(-7) - (-79)/(-7). Let a(y) = 17*y**2 + 7*y + 7. Let s(n) = -155*n**2 - 65*n - 65. Let h(d) = 55*a(d) + 6*s(d). Is h(u) prime?
False
Suppose 0 = -4*r + l + 4113215, 10*r + 2*l = 13*r - 3084915. Is r a composite number?
False
Suppose f = 5*f + 19620. Let g be f/(-25) + (-1)/5. Let d = g - 107. Is d composite?
False
Suppose -11*h + 18 + 59 = 0. Suppose h*k = 4*k + 16080. Let t = k + -3165. Is t prime?
False
Let g(x) = 3*x**2 + 5*x - 1. Let b be g(-2). Suppose 5 = -5*c + 5*a, -4*a - a - b = c. Is (c - (-10)/5)*737 prime?
False
Let p(h) = 5*h + 190. Let b be p(39). Let a = 4206 + b. Is a prime?
True
Let z(r) = r**3 - 11*r**2 - 14*r + 29. Let k be z(12). Let h be 34/1 + (3 - 6) + k. Suppose -h = -3*j + 165. Is j a prime number?
True
Let g = 6715 - 2271. Suppose 0 = -5*w - 1184 + g. Suppose -w = -9*s + 5*s. Is s composite?
False
Is (-36)/(-144) - (-245793)/12 a composite number?
False
Suppose -53 = -8*w - 5. Suppose -w*d = -7*d + 2. Suppose d*y - 456 = -5*v - 0*v, 3*y + v - 671 = 0. Is y composite?
False
Suppose 4*n + 11967367 = 13*s, -15*s + 17*s = 4*n + 1841130. Is s prime?
False
Suppose 0 = -p - 2*x + 10, 0 = -2*p - p + 5*x + 8. Suppose -r - 3 + p = -2*y, 4*y = -4*r. Let h(c) = -638*c - 7. Is h(y) prime?
True
Let w(c) = 7*c**2 - 4*c - 1. Let n be w(13). Suppose 2*z - z - 4*h = -272, 4*z = 2*h - n. Let p = 143 - z. Is p a prime number?
False
Suppose -4*y - 4*x = -113128, 0 = -26*y + 21*y + x + 141380. Is y composite?
False
Suppose 2*i + 8 = 0, b + 4*i + 3 = -10. Let q be b + (-3 + 7)*(-1)/2. Is q*(1 + -1) + 14660/4 composite?
True
Let j(g) = 1010649*g - 752. Is j(1) a prime number?
False
Let f(z) = z**3 + 7*z**2 - 14*z - 37. Let c be f(-8). Suppose -7 = 10*n - c*n - q, -10 = -5*q. Is ((-5514)/4)/(n/(-10)) a prime number?
False
Is (50/(-45) + 4/(-18))*(-2513766)/8 a prime number?
True
Let w = -20188 + 58433. Is w composite?
True
Let r(g) = -g**3 + 19*g**2 - 9. Let o be (-1)/(7/(-135)) - 14/49. Let d be r(o). Let u(w) = 12*w**2 + 30*w - 1. Is u(d) prime?
True
Suppose -4*d - 1842 = -0*b - b, -3705 = -2*b + d. Suppose -8*c + b = -6*c. Suppose -9*k + c = -900. Is k a prime number?
False
Let q(g) = 0*g + 675 + 4*g + 368. Let j = 3 - 3. Is q(j) a prime number?
False
Suppose 75*o = 1289194 + 1873331. Is o a composite number?
True
Suppose -4*w = -y - 18, 4*w = w - y + 17. Suppose r = -w*u + 10500, -2*u + 5471 - 1264 = -r. Is u prime?
False
Let n = -126 + 130. Suppose n*y + 129 - 1013 = 0. Is y a composite number?
True
Let m be (-5)/((-38)/(-12) - 4). Suppose 0 = -m*h + 2045 + 2359. Suppose 2*o - h = 4*u, 2 + 2 = 2*u. Is o prime?
False
Let b(n) = -449*n**3 + 6*n**2 - 3*n - 7. Let k be b(-3). Let p = k - 4438. Is p a composite number?
False
Suppose 0 = 2*f + u - 426494, 35750 = -f - 2*u + 248997. Is f composite?
False
Suppose -5*b + 597724 = 18*j - 6*b, 4*j - b = 132826. Is j prime?
False
Let h = 436 + -261. Let w = h + 198. Is w a composite number?
False
Let t(b) = -5*b**3 - 64*b**2 - 166*b + 632. Is t(-69) a prime number?
True
Suppose -32*r - 10297139 = -56*r - 2352971. Is r composite?
True
Let m(q) = q**3 + 16*q**2 + 12*q + 10. Let j be m(-14). Suppose 949 = 5*t + j. Suppose 2*i + 3*x - t = i, 0 = -3*i + 4*x + 481. Is i composite?
True
Suppose 2*s = 7*s - 185. Let k(h) = s + 76*h - 26 - 266*h - 258*h. Is k(-2) composite?
False
Suppose 32*p = 60*p + 112. Let c(t) = -335*t**3 + t**2 + 3*t - 5. Is c(p) prime?
False
Let q(f) = 2*f + 65. Let u be 822/(-14) + (-18)/63. Let b = u - -81. Is q(b) a prime number?
True
Suppose -n + 3*s + 262457 = 0, n + 2*s - 173163 - 89254 = 0. Is n a prime number?
True
Is (-42)/28 + 357476/8 composite?
False
Suppose 10*b + 46 = -14. Let v(j) = 110*j**2 + 3*j - 7. Let n(p) = -330*p**2 - 8*p + 20. Let l(g) = b*n(g) - 17*v(g). Is l(-2) prime?
False
Is (-3 + (-2)/(-1))*(-47652 - 59) a prime number?
True
Let a(u) = -3*u**3 - 15*u**2 - 5*u + 20. Let p be a(-11). Suppose -4*j - 1616 = -4*y, 2*j + 295 + 919 = 3*y. Let m = p - y. Is m composite?
False
Let j be (-40)/(-16)*(-92)/(-10). Suppose 3*n - 284 = -j. Suppose 0 = 6*f - 1437 - n. Is f a prime number?
False
Let s = -53 - -37. Let w be 1/(28/s + 2 - 0). Suppose 0 = -w*a + 19 - 7, 4*l - a = 2977. Is l composite?
True
Let p(w) be the third derivative of -10311*w**4/8 + 5*w**3/6 - 5*w**2 - 5. Is p(-2) a composite number?
False
Let b(m) = -3*m + 12. Let v be b(4). Suppose v = f + 1, f = 2*d - 384 - 19. Is d prime?
False
Let b(d) = 15*d - 126. Let p be b(-14). Let t = p + 733. Is t composite?
False
Suppose 90*w + 170467601 = 306*w - 257702071. Is w a composite number?
True
Let b = 116463 + -166493. Is (-52)/(-130)*2*b/(-8) a composite number?
False
Let p be 13/(3 - (-1000)/(-332)). Let q = p + 1629. Suppose -v - 777 - q = -4*k, 4*k - 1330 = 2*v. Is k composite?
False
Let z be ((-17)/17)/(4/(-7412)). Suppose -642 = 4*k + 2*q, -k - 4*k - 797 = -3*q. Let y = z + k. Is y a prime number?
True
Let g(k) = -6 + 12*k - 12*k - 19*k. Let r be g(21). Is (1 - (-2 + r)) + -1 a prime number?
False
Let z be (2/(-5) - 64/40)*1. Let p be (-1)/z*(2 + 9 - 3). Suppose -4*h + 2142 = -2*y, 4*h + p*y + 525 = 5*h. Is h a prime number?
False
Let p(j) be the third derivative of 71*j**4/12 - 21*j**3/2 + j**2 - 45*j + 16. Suppose 8 - 36 = -3*z + u, 2*u = 2*z - 12. Is p(z) composite?
False
Let k be (-18)/(-225) - (-155885)/(-125). Let r = 14180 - k. Is r prime?
True
Let z(y) = -2*y - 38. Let f be z(-14). Let t be