1584. Let g = h + 34. Is g a prime number?
True
Let z(o) = -47*o**2 + 5*o - 15. Let y(w) = 1. Let q(v) = 2*y(v) - z(v). Let t(r) = r**2 - 4*r - 1. Let h be t(5). Is q(h) a prime number?
False
Let j(g) = 182*g**2 + 41*g - 48. Let c(n) = 61*n**2 + 14*n - 16. Let y(o) = -17*c(o) + 6*j(o). Is y(7) composite?
True
Is 9100854/5 - (4/(-18))/(330/297) a composite number?
False
Suppose 0 = 12*u - 3*u. Let n be u - ((-1 - -3) + -2). Suppose 0 = -6*c - n*c + 1602. Is c a prime number?
False
Let j(y) = -443*y - 3 + 445*y + 24*y**3 + 138*y**3. Is j(1) composite?
True
Suppose 4*y - 1416339 = -20*d + 15*d, 0 = 4*d + 2*y - 1133070. Is d prime?
True
Let c = -7 + 16. Suppose l + 4 = -c. Let a = l + 110. Is a composite?
False
Suppose b - 2 - 3 = 0. Suppose 5*j - 3513 = -4*x, 2*j - 7*j - b*x = -3515. Suppose 5*a - t - j = 2*a, -2*a = -t - 468. Is a a composite number?
False
Let d(f) = 176*f**2 + 3. Let i(s) = -19*s - 91. Let j be i(-5). Is d(j) composite?
False
Let v = -175 - -175. Suppose 5*n - 4385 - 5840 = v. Is n prime?
False
Let r(a) = -7*a**2 + 21*a - 1. Let m be r(10). Suppose 4*v - 4125 = -v + 5*i, i = -4*v + 3305. Let k = v + m. Is k prime?
False
Let o(b) = 6*b + 38. Let x be o(-5). Suppose -m - x*v = -6*v - 1949, -m + 1949 = -4*v. Is m composite?
False
Let z(g) = 2*g + 15. Let c be z(-6). Let l(v) = 63*v - 5. Let y be l(c). Let a = y + 2251. Is a prime?
False
Is (33/(-12))/((-38)/423928) a prime number?
False
Let j(z) = 2*z**3 - 18*z**2 - 10*z + 8. Let f be j(14). Let g be -2 + (f - -1 - 2). Let o = g - 1140. Is o a composite number?
True
Let g(h) = 23*h**2 + 75*h - 99. Is g(-47) a composite number?
True
Suppose 63*z = 65*z. Suppose -4*f - 3*q + 56 = z, f + 5*q - 19 + 5 = 0. Suppose -6045 = -r - f*r. Is r prime?
False
Is 218141 + 6/(-8 + (-104)/(-16)) composite?
False
Suppose -4*g + 5 = -3*g, -5 = 5*t - 4*g. Suppose -4*c + 1087 = t*m - 1536, -m = c - 875. Is m composite?
False
Let y = 30738 + -16167. Suppose 4*f - 6*f + 29127 = -q, y = f + q. Is f a composite number?
True
Let k(i) = i**2 - 23*i + 261. Suppose -4*b + 0*x = -3*x - 79, 3*b = -x + 56. Is k(b) a prime number?
False
Suppose 10*w - 11*w + 2483 = 0. Suppose w - 434 = 3*j. Is j prime?
True
Suppose -m + 2*o + 0*o = -111197, -5*m + o + 555967 = 0. Is m a prime number?
False
Let s be (270/35)/(10/35). Suppose -2*m + 29599 = -i, -4*m + s*i + 59193 = 26*i. Is m prime?
True
Is -2*13/((-104)/322444) prime?
True
Let b(z) = 205*z**2 + 29*z - 79. Is b(10) composite?
True
Let x = 11185 + -3860. Suppose 3*h - x + 22787 = 0. Let f = -1367 - h. Is f prime?
False
Suppose -8053331 = 110*h + 38*h - 31537527. Is h prime?
False
Let x(u) = 8*u - 20. Let g be x(15). Let h be g/6*69*-1. Let b = -809 - h. Is b prime?
False
Let u = 95251 - -112900. Is u composite?
True
Let h = -249 - -135. Suppose 37*a + 20*a = -4*a + 9760. Let s = a + h. Is s composite?
True
Let t(y) = -14*y**2 - 3*y + 24. Let b be t(8). Let i = 576 - b. Suppose -1150 = -6*d + i. Is d a prime number?
False
Let y = 59400 - -93317. Is y a composite number?
False
Suppose -12 = 2*p + 68. Is (-58089)/(-57) - (p/95)/(-4) a prime number?
True
Suppose -2*k + 6 = 0, -1538 - 10298 = -j + 5*k. Suppose 1635 = -8*f + j. Is f composite?
False
Let j = -71869 + 180185. Suppose 5*y - j = 2*y + d, 4*y - 2*d - 144418 = 0. Suppose -21641 = 2*m - 5*m + 4*n, -y = -5*m - 3*n. Is m composite?
False
Suppose -2*i - 11557 = -1919. Let p = -6851 - i. Let s = 489 - p. Is s a prime number?
True
Let b = -2058763 + 3907230. Is b prime?
True
Let t = -40 - -43. Suppose 4*b + 107 = t*u - 0*b, 3*u - 3*b = 105. Suppose 0 = 36*m - u*m - 8301. Is m a prime number?
True
Suppose -88449 = -3*g + x, g + 5*x - 32363 = -2848. Is g a prime number?
False
Let d = 573 - 587. Is (-6)/d + -1 - (-96807)/7 prime?
True
Let b(w) be the first derivative of -422*w**2 - 45*w - 21. Is b(-2) composite?
True
Let s = 145 + -140. Suppose 2*c = c + 5*k + 3418, -15 = s*k. Suppose -3*o + c = -1550. Is o a prime number?
False
Let v(c) = -c + 9. Let t be v(7). Suppose -2*l - t*l = 12, -2*x - l = -2875. Is x a prime number?
True
Suppose -u = -7*u + u. Let l(h) = -2*h**2 - h + 1157. Is l(u) a prime number?
False
Suppose 221 = 4*p + v, 6*v = -4*p + v + 241. Suppose z + 50 = p. Suppose h - z = -0*h, -3*s = -3*h - 4401. Is s a prime number?
True
Let c(i) = -2*i**3 + 78*i**2 + 40*i - 80. Let x be c(43). Let h = -6731 - x. Is h a prime number?
True
Let w(l) = -l**2 + 5*l + 3. Let z be w(4). Let f(t) = 6*t**2 + 15*t + 8. Let h(o) = -o**2 + o. Let s(r) = f(r) - 2*h(r). Is s(z) prime?
True
Let g be (17/(-4))/((-5)/20). Suppose -g*o = 9*o - 10582. Is o prime?
False
Suppose 32 = 4*b + 5*w, 0 = -5*b - 4*w + 74 - 43. Let g = 2 - -3. Suppose -b = -h, -4*x + g*h + 0*h = -1157. Is x prime?
True
Suppose 4*h + 16938 = 3*f - 284033, -5*h - 100353 = -f. Is f prime?
True
Suppose -6*d - n + 94 = -d, 0 = d - n - 14. Is ((-4668)/d)/(-3 - 115/(-39)) composite?
True
Suppose 4*t + 16 = -4*z, 0*t + 20 = -2*z + t. Let x be (1 - 1) + -2 + z + 17. Suppose -3*o + 15 = 0, -3*a + 5*o + 3037 = x*o. Is a prime?
True
Suppose 5*f = 2*u + 857, 0*f + 2*u = f - 165. Suppose 61 = -8*r + f. Suppose -2*c = -162 + r. Is c composite?
True
Suppose 153 = i + y, -4*i + 296 = -2*i + 4*y. Let c = i - 148. Is c a prime number?
False
Suppose -4*n + 7*q = 4*q - 124, -5*n = 4*q - 155. Suppose 27*k - n*k = -892. Is k prime?
True
Suppose -189*j + 128132709 + 63193314 = 0. Is j a composite number?
False
Suppose -g - 4*o + 11 = 0, 3*g - 4*o + 0 + 15 = 0. Is (g/2)/((-10)/3580) a prime number?
True
Let m = 27 + -25. Suppose 0 = -t - 3*k + 11 - 0, 0 = -t + m*k - 4. Suppose -4*w + 2*q + 1291 = -309, t*w = 3*q + 796. Is w a composite number?
False
Let s = -248917 - -472974. Is s a composite number?
False
Let i(c) = -4*c - 2. Let f be i(-2). Suppose 8080 = f*z - 4196. Suppose -z = -3*l + 5*a, -2*l + 2*a + 141 = -1219. Is l composite?
False
Suppose -4*g + 18*g = 529102. Is g a prime number?
False
Let c(a) be the first derivative of -29*a**4/2 + 2*a**3/3 - 7*a - 7. Let v be c(-3). Suppose p - 6*p = 3*s - 2376, 2*s = -p + v. Is s a prime number?
True
Is ((-426)/(-568))/((-3)/(-2453020)) a composite number?
True
Let v(z) = z - 12. Let f be v(4). Let y(j) = -14*j - 12. Let r be y(f). Suppose -w + r = -193. Is w prime?
True
Suppose 83345 + 205143 = 5*d - 32267. Is d a prime number?
True
Let g be (-660024)/(-21) + 16/56. Suppose 0 = 7*y - 17*y + g. Is y a prime number?
False
Suppose -11*x - 20 = -6*x. Let k(h) = h**2 + h + 1. Let y(v) = 4*v**3 - 2*v - 8. Let t(c) = -5*k(c) - y(c). Is t(x) prime?
True
Suppose 5*z - 34 = -w, 2*z + 0*z - 16 = -w. Suppose 5*v + 7609 = z*v. Is v prime?
False
Let f be (212/(-2))/(-2 - (-201)/102). Suppose 9285 = m - f. Is m a composite number?
False
Suppose -3*q - 4*p + 163186 = 0, 4*q - 22963 = -3*p + 194609. Suppose -4*k = 5*b - 9*k - q, 0 = -3*k + 15. Is b a composite number?
False
Let t = 293 - 178. Let r = -77 + t. Is r prime?
False
Let j(m) = 4*m**2 + 18*m + 163. Let y = 139 + -170. Is j(y) composite?
False
Let a(u) = 1617*u - 19. Suppose 3*m = 3*p + 18, -3*m + 0 + 8 = 2*p. Is a(m) prime?
True
Let h(p) = -p**2 - 5*p - 4. Let c = 97 + -101. Let g be h(c). Suppose -3*a = 4*b - 761, 759 = 4*b - g*b + 5*a. Is b a prime number?
True
Let o(l) = -17 + l + 45*l - 2*l. Let w(t) = -t**3 + 4*t**2 + 7*t - 2. Let b be w(5). Is o(b) a prime number?
False
Let w(t) = 6*t**2 + 6*t + 7. Let a(n) = n + 21. Let h be a(-11). Let u(x) = x**2 - 10*x - 6. Let c be u(h). Is w(c) a prime number?
False
Let h be 9/(-15) + 72068/(-20) + -3. Is (-11)/(-88) + h/(-8) a composite number?
True
Let o = -735797 + 1142278. Is o prime?
True
Suppose 343*h - 12567456 = 332*h - 1982123. Is h prime?
True
Suppose 133925 = 2*m - 2*x - 29295, 6*m + 3*x = 489669. Is m composite?
False
Suppose -207 = -10*q - 7. Suppose -4*f - 2*s = q, -2 + 11 = f - 3*s. Is ((-28)/(-8))/(f/(-894)) a composite number?
True
Let y(x) = 2*x**3 - 24*x**2 + 2*x - 17. Let k be y(12). Suppose -9*v + 13884 = -k*v + 5*s, -3*v = -5*s - 20851. Is v a composite number?
False
Let b(c) = -62 - 98 + 59*c + 93 - 150. Is b(36) a composite number?
False
Is ((-2)/((-140)/266))/(-2 - 708284/(-354140)) prime?
False
Let i(l) = -19396*l**3 + 2*l**2 - 10*l - 5. Is i(-2) prime?
True
Suppose -13*b + 800233 = -9*b - g, 3*g - 600156 = -3*b. Su