k - 1025 = -5*b. Let d be (-1 + 1)/(-2 + 3). Suppose d = -4*q - 4*f + b, -5*q + 7*f = 2*f - 275. Is q a composite number?
False
Let n = -917 - -431. Let j = n + 1159. Is j a composite number?
False
Let o(j) = -14*j + 95. Is o(-42) a composite number?
False
Suppose 2*m - 337 = 85. Is m a prime number?
True
Let b = -5602 + 21819. Is b composite?
False
Suppose -14*t + 9*t = n - 23377, 0 = -n + 5*t + 23337. Is n prime?
True
Let c = -34 + 33. Is c*(-1 + 15773)/(-4) a prime number?
True
Let p be 2/2 + 6 + -3. Is (14730/40)/(3/p) composite?
False
Suppose 1 = 3*q - 8. Let r = -2 + 4. Suppose s - q*t - 58 = 0, -r*s + 113 = -0*t - 5*t. Is s a composite number?
True
Let h = 76 + -84. Is 508/2*h/(-16) a composite number?
False
Suppose -8*w + 11227 = -7917. Is w composite?
False
Let b(p) = -p**2 - 3*p + 3. Let k be b(-3). Suppose -k*l - 3*l + 17418 = 0. Is l composite?
False
Suppose -15*v - 4019 = -64064. Is v a prime number?
True
Is 28975/8 + (-10)/(-80) prime?
False
Is (1/6)/((-4)/(-24072)) a composite number?
True
Suppose -134 = 2*h + 62. Let z = h - -469. Is z prime?
False
Is (-1778147)/(-77) - (-7)/(308/8) composite?
True
Let y = 18 + -13. Suppose w = -v - y + 12, 5*w + 3*v = 27. Suppose -3*b = w*a - 612, 2*b + 2*b = 4. Is a composite?
True
Let g = 11257 - 3506. Is g prime?
False
Suppose 4*k - 25931 = -3*h, 3*h - 32*k = -33*k + 25925. Is h composite?
False
Let y be (-2)/((-21)/(-15) + -1). Let s(r) = r**2 + 5*r + 2. Let u be s(y). Suppose c - 4*t = -u*c + 546, 0 = 4*c - t - 715. Is c a composite number?
True
Let c(n) = 17*n**3 + 4*n**2 + n - 1. Suppose -u = -5*y + 12, 4*u - 3 = 2*y + y. Is c(u) a composite number?
True
Let q(o) = 593*o + 212. Is q(25) prime?
False
Let v = -7 + 8. Suppose -5*d = 2*h + 2*h - v, -4*h - 2*d = 2. Is (h + -3)/(-2) - -309 a prime number?
True
Let u(k) = 6*k + 0*k - 8 + 58*k. Let l be u(-4). Let q = l - -451. Is q prime?
False
Suppose 0 = -21*c + 23231 + 52516. Is c composite?
False
Let d(b) = 7*b**2 - 10*b**2 + 2*b**2 + 14*b**2 + 4*b - 7. Is d(4) a prime number?
False
Suppose 0 = -16*m + 12*m + 9740. Suppose 2*c = 4*c - 8, 5*c + m = 5*p. Is p a prime number?
True
Let y(n) = -n + 2. Let t be y(1). Let s be -1*(t + -3 - -1). Is 54 - (3 - (s + 1)) prime?
True
Let y(m) = -1. Let s(g) = -g + 18. Let q(a) = -s(a) - 2*y(a). Let z be q(13). Let l(d) = -61*d + 2. Is l(z) a composite number?
True
Let i(d) = d. Let n = 22 - 18. Let f be i(n). Suppose k = -f*q + 183, 4*q - 4*k - 41 = 167. Is q prime?
True
Let n(o) = 35*o + 257. Is n(40) a prime number?
True
Suppose -a - 27 - 15 = 0. Let h be 11/((-55)/a)*-20. Let r = -94 - h. Is r composite?
True
Suppose -19893 = -5*n + 9172. Is n a prime number?
True
Let h = -6 - -4. Let r(v) = 17 - 284*v**3 + v + 54*v**3 - v - 16. Is r(h) composite?
True
Let p(r) = 6180*r**2 + 2*r + 1. Is p(-1) composite?
True
Let a(d) be the third derivative of d**5/15 - d**4/2 + 2*d**3 - 2*d**2. Let v be a(11). Suppose -25 = -w + v. Is w a prime number?
True
Let d = -21 + 34. Suppose -5541 = -d*s + 5418. Is s composite?
True
Suppose 2*s + 4322 = 12366. Is s composite?
True
Suppose -13*x = -368 - 1231. Let g = 230 + x. Is g a composite number?
False
Suppose 5*h - 2*b - 415887 = 0, 2*h = -19*b + 15*b + 166350. Is h composite?
False
Suppose 4*y - 4*s - 3276 = 0, 6*s - 7*s = -4*y + 3264. Is y prime?
False
Let u(z) be the second derivative of -7*z**2 + 0 - 10*z + 1/12*z**4 - 4/3*z**3. Is u(12) prime?
False
Let z(y) = y**2 + 6*y - 2. Let l be z(-6). Suppose 6*g + 30 = g. Is (-1)/(g/(-573))*l prime?
True
Suppose -15*v + 7656 = -3*v. Is (3 - 5 - -5) + v a composite number?
False
Suppose 4*o = -4*m + 11 + 29, 5*m - 15 = 2*o. Suppose o*i = -p + 959 - 239, 2*i + 8 = 0. Let x = -423 + p. Is x a prime number?
True
Let c = 729 - -45362. Is c a prime number?
True
Suppose 49*j - 1924275 = -26*j. Is j prime?
True
Let d = -13 + 19. Suppose -2 = 2*s - d. Suppose -2*r + j + 38 = 3*j, r + s*j = 16. Is r prime?
False
Suppose 6*u = 2*u + 4088. Suppose 2*o - 2130 = u. Let s = o + -1019. Is s composite?
False
Let i be 140/(-16) + 1/(-4). Let j be 0 + (-5)/((-5)/i). Is (j/(-12))/((-2)/(-56)) prime?
False
Suppose 0 = -5*i - 31 - 19. Let o be (-2015)/i - (-2)/(-4). Suppose -c + 2*c - o = 0. Is c composite?
True
Let s(t) = -2*t**2 + 18*t + 7. Let m be s(8). Is (-537)/(-1) + (19 - m) prime?
False
Let o = 822 + -265. Is o composite?
False
Let q(d) = -4*d**3 - d**2 + 3*d + 2. Let r be q(3). Is r/(4 - (-120)/(-28)) a composite number?
True
Let j(a) = -13*a**2 + 4*a - 7. Let d be j(2). Let x = -2 - d. Is x a prime number?
False
Let s = 115 + 15. Let m = 226 - s. Suppose o + z - 3*z = 27, 5*o - m = -3*z. Is o a composite number?
True
Let w(m) = -25 - 56*m - 21 + 35. Is w(-9) composite?
True
Let o be 7/(21/9) + 0. Suppose 7510 = 2*r + 2*p, 2*r + 2*p = o*p + 7510. Is r prime?
False
Let y(i) = i**2 - 31*i + 5. Let o(m) = -2*m**2 + 61*m - 10. Let n(d) = 6*o(d) + 11*y(d). Is n(16) a prime number?
True
Suppose 2*k - 3*k = -4, 0 = -5*m - k + 4. Let p be 67 - m - (-1 - -2). Suppose 2*h = -2*j + 38, 0 = 5*j - 4*h + 7 - p. Is j prime?
False
Let x(s) = s. Let b be x(0). Suppose p + 2*p + 36 = b. Let a = 135 + p. Is a prime?
False
Suppose -5*g = -3*g - 104. Suppose -o + g = -17. Is o prime?
False
Let v(w) = w**2 - 4*w - 3. Let z be v(5). Suppose -r + 754 = 3*m - 2*r, 0 = 4*m + z*r - 992. Let s = 749 - m. Is s a composite number?
False
Is 29993628/171 + 14/(-6) a prime number?
False
Let u(y) = -11*y**2 + 10*y - 5. Let q(a) = -22*a**2 + 21*a - 11. Let c(m) = 6*q(m) - 13*u(m). Is c(6) a prime number?
False
Let m(v) = -v - 6. Let h be m(-9). Suppose -h*s + 5*s = 446. Is s composite?
False
Is 9 - (-9)/(-3) - (-20117 + -18) a prime number?
False
Suppose -3*f + 30121 - 1588 = 0. Is f a prime number?
True
Suppose 0 = -5*a + 2*z + 52649, -57*z - 42112 = -4*a - 59*z. Is a composite?
False
Let r be (-81 - -2)*(0 - 1). Suppose -68 = -3*x + r. Is x prime?
False
Suppose -11 = n - 5. Is (-2637)/n*(-4)/(-6) a prime number?
True
Suppose 3652 = 2*p - p. Let x = -2441 + p. Is x composite?
True
Let h(l) = -2*l + 203. Let f be 2 - ((3 - 6) + 2). Suppose -2*y - 5 = f, 0 = 4*w + y + 4. Is h(w) composite?
True
Let o(l) = 149 + 224*l - 73 - 75. Is o(3) prime?
True
Let l(h) = h - 3. Let p be l(5). Suppose 4 = 2*k + u - 7, 3*k - 16 = -p*u. Suppose -k*w + 49 = -5*w. Is w prime?
False
Suppose 1059 = 10*o - 18671. Is o prime?
True
Let x be 2/3 - (-30)/(-45). Suppose -14*d + 10*d + 8 = x. Let p(n) = 10*n**3 - 2*n**2 - 1. Is p(d) prime?
True
Suppose -1972 = -3*d + 1445. Is d a composite number?
True
Let d(h) = -h**3 - 3*h**2 + 5*h - 12. Let b be d(-5). Suppose b*r + 1814 = 15*r. Is r composite?
False
Suppose 4*y - 1566 = 3*t - 8*t, 0 = 2*t - y - 616. Suppose k - 1051 = -5*i, -4*i = -k - t - 538. Is i a prime number?
True
Let t = 11113 + -5746. Is t composite?
True
Let c = 24 + -18. Suppose -5*q + 4*q + c = 0. Is (-4)/q*(-2745)/6 prime?
False
Let g be ((-4)/1)/(-2) - -25. Let q be ((-6)/(-9))/(6/g). Suppose q*b + 4*j - 80 = 50, 3*j = 4*b - 140. Is b a prime number?
False
Let m = 4 - 2. Suppose m*o = q + 262, -3*o - 2*q + 93 = -286. Suppose 0 = -22*u + 19*u + o. Is u prime?
True
Let n(j) = 19*j**2 + 5*j**2 + 13*j**2 - 24*j**2 + 6. Is n(5) composite?
False
Let t(z) = -453*z**2 + z + 8. Let o(m) = 905*m**2 - 2*m - 17. Suppose 0 = 3*x + 51 - 12. Let l(b) = x*t(b) - 6*o(b). Is l(-1) composite?
True
Let l(w) = -6*w**2 + 18*w**2 - 3 - 9*w**2 + 2*w. Let z(c) = c**2 + 4*c. Let u be z(-2). Is l(u) composite?
False
Let g = -62321 + 91684. Is g prime?
True
Suppose 3*u - 25928 = -m, -10*u + 34569 = -6*u + m. Is u a prime number?
True
Let c(r) = 15*r**2 + 2*r - 12*r**2 - 19 + 11 + 14*r**2. Let g be c(4). Suppose 3*j + g - 2171 = 0. Is j a composite number?
True
Suppose -4*l = 4*v - 11385 + 2941, -8443 = -4*v - 3*l. Let t = v - 1292. Is t a prime number?
False
Suppose 415 = 5*g - 1260. Suppose -2*l = 3*l - g. Is l a composite number?
False
Let p(a) = a**3 - 5*a**2 + 7*a - 4. Let v be p(4). Suppose v*x + 740 = 6*x. Let g = -243 - x. Is g prime?
True
Suppose g + 5*o + 24 = 77, 3*o = 3*g - 105. Is g prime?
False
Suppose 188*d + 101350 = 198*d. Is d a prime number?
False
Let p = -7818 + 12895. Is p prime?
True
Suppose 1 = -4*z + 9. Suppose -z*h = -4*h + 3778. Is h prime?
True
Is ((-3)/(-6) + -2)/(3/(-55938))