-v + 3353 = -450. Let r(t) = -7*t + 38. Let f be r(5). Suppose -4*p = -f*o - v, -2*o - 4759 = -5*p - 0*p. Is p prime?
True
Let y(s) = 20 - 13 + 17 + 6 + 4*s. Let t be y(-7). Is t*-3*905/(-30) a composite number?
False
Suppose -4*z + 0*z - 8 = 0, o + 5*z = 48151. Is o composite?
True
Let r(t) be the first derivative of t**2/2 - 6*t + 6. Let c be r(9). Suppose 0 = -3*f + 3*w - 2 + 35, c*f - 33 = w. Is f prime?
True
Let d(t) = 6*t**2 - 16*t - 107. Is d(21) composite?
False
Let z = -1559 + 2235. Let f = -157 + z. Is f composite?
True
Let o = -57 - -65. Suppose 0 = -o*p + 3*p + 25. Suppose p*q = -10, 5*i = -3*q + q + 711. Is i a composite number?
True
Let a = -130182 - -225293. Is a prime?
True
Suppose -15*t - 3 = -16*t. Suppose -d + t*c - 1 = 0, c - 8 = -6. Suppose -3*y - 3 = 0, -3*m + 108 = d*y - 2*y. Is m a prime number?
True
Suppose 0 = -k - 4, -61122 = -2*h - k + 570664. Is h composite?
True
Is (-13 + 0/12)*-137 a prime number?
False
Suppose -3*z + 14*i - 18*i + 21 = 0, 4*z - 9 = i. Suppose -q = 2*t - 2209, -z*q - 714 = 2*t - 7325. Is q a composite number?
True
Is (((-3670)/4)/5)/(3/(-18)) a composite number?
True
Let q be (-13 + 10)*30/(-18). Suppose 0 = 3*u - 4*b + 6*b - 52401, -69868 = -4*u + q*b. Is u prime?
True
Let u = 1111 - -155. Suppose u = 133*q - 127*q. Is q composite?
False
Let l(f) = 23*f**2 - 114*f - 1. Let y be l(5). Suppose -107696 = -y*g - 4*o, 3*g = -2*g + 5*o + 134670. Is g a composite number?
True
Let s be ((-17)/(-51) + 4/6)*67. Suppose -s*m + 65*m = -3586. Is m a composite number?
True
Let t(i) = 1009*i**3 + 2*i**2 - 7*i + 8. Let b be t(2). Suppose -4*m + 28291 = 3*g, 3*g - b - 6079 = -2*m. Is m a prime number?
True
Let c(p) = 596*p - 195. Let z be c(18). Suppose -187*i + 190*i - z = 0. Is i composite?
False
Let x = -21 + 26. Let q be x - 4 - (1 - -7). Is (-3)/(-3) + (q - -124) a composite number?
True
Suppose a + 34 = 29, 3*a + 428070 = 3*g. Is g prime?
False
Let w = -1011040 + 1518693. Is w composite?
True
Let m(y) = -y**3 - 5*y**2 - 2*y - 2. Let h be m(-5). Let f = 26 - h. Is (-8)/(-36) - (2 + (-3218)/f) a composite number?
True
Let j(u) = 437*u**2 - 45*u - 943. Is j(-30) prime?
False
Let z(o) = 17128*o - 333. Is z(13) a composite number?
True
Suppose -4*s = 8, -c + 6*c - 3*s - 777941 = 0. Is c a composite number?
True
Let t(k) = -1737*k - 13. Let w be t(-3). Suppose -w = -5*q - 803. Is q composite?
True
Let b(h) = -3*h**3 - 15*h**2 + 60*h - 46. Let k(u) = -u**3 - 6*u**2 + 20*u - 15. Let p(t) = -6*b(t) + 17*k(t). Is p(22) prime?
True
Suppose -2184 = c - 5*c. Suppose -451*l + 1112 = 105*l. Suppose -y + c = x + 179, l*y = 4. Is x a composite number?
True
Let a(d) = 30 + 165 - 627*d - 29. Is a(-43) composite?
False
Suppose 6 = k + 4. Is (2/(-3))/(95830/(-47910) + k) prime?
False
Let t be 7 + 0 + 61284/(-6). Let r = 41514 + t. Is r prime?
True
Let i(b) be the third derivative of b**6/120 - 2*b**5/15 + 5*b**4/24 + 10*b**3/3 - 24*b**2. Let t be i(8). Is (2127/12)/(-5*(-1)/t) a prime number?
False
Let f(r) = 62*r - 53. Suppose -5*h + 10*h - 25 = 0. Let z(d) = 124*d - 106. Let y(s) = h*f(s) - 3*z(s). Is y(-12) prime?
True
Suppose 13*b + 30778 = 24*b. Suppose -4*t = -2*t - b. Is t a composite number?
False
Let u(i) = -i + 11. Let k be u(13). Let f be (4 + -3)/(k/(558/3)). Let p = f + 146. Is p a prime number?
True
Let w(i) = -181*i**3 + 2*i**2 - 12*i + 91. Is w(-8) composite?
False
Let j(d) = 8*d + 56. Let n be j(-7). Suppose 3*k - u - 57 = n, k + 5*u - 19 = u. Suppose -3815 = 14*v - k*v. Is v prime?
False
Let l(m) = -122*m + 15. Let i(d) = -5*d - 6*d + 4*d**2 + 14*d**3 + 12*d - 3*d**2 + 1. Let c be i(-1). Is l(c) composite?
False
Let c = -162 - 314. Let b be c/(-85) - (-3)/(-5). Suppose b*l - 4*p - 1895 = 0, -538 = -3*l - 2*p + 599. Is l prime?
True
Suppose 0 = 21*k + 3717 + 2541. Let l = 16 + -103. Let a = l - k. Is a a composite number?
False
Let d = -7 - -14. Suppose -v = 4*x - 9, 5*v + 22 - d = 0. Is x/(-6)*-318 - 0 a prime number?
False
Let j(t) = 35*t**2 - 5*t - 5. Let x be j(-6). Is (1/(-1))/(-1)*(x + -26) composite?
False
Let w(u) = -2*u**2 - 18*u - 36. Let z be w(-5). Is 110077/44 + 5/z composite?
False
Suppose 4*i = 5*w - 2002651, -322637 = -2*w - i + 478439. Is w composite?
True
Let a = 41057 - -108444. Is a a prime number?
False
Suppose 35*v - 2036 = 31*v. Suppose 0 = -u - u + 5*l + v, 1290 = 5*u + 5*l. Is u a prime number?
True
Suppose -5*l = -8*l + 18. Suppose -t = -l*x + 2*x + 224, -t = -x + 53. Let y = 256 - x. Is y a prime number?
True
Let v be 24/44 - 45886/(-11). Suppose -3*r - v = 5*x - 105043, 2*x = 2*r + 40342. Is x a composite number?
False
Let d(h) = 3*h**3 - 30*h**2 - 20*h - 43. Is d(30) a prime number?
False
Suppose 0 = -c + 3*z - 7454, c + 5910 + 1546 = 2*z. Let f = c - -15961. Is f composite?
False
Let l(q) = -308*q + 26 + 800*q + 31 - 91 + 27. Suppose -4*f = -2*b + 2, -4*b + 17 = -2*f + 7*f. Is l(b) a composite number?
True
Suppose n + 9*y = 2*y + 2*y + 34631, y = 0. Is n a composite number?
False
Let r = 112 + -112. Suppose 3*c + z - 607 - 402 = r, -5*z = -c + 315. Is c composite?
True
Suppose -5*d + 6*d = 2*d - 85411. Is d a prime number?
True
Let l(q) be the second derivative of -199*q**3/6 - 16*q**2 + 108*q. Is l(-9) composite?
False
Suppose 5*y + 270 = 5*h, 3*h + 2*y = 172 - 10. Let z = h + -51. Suppose z*o - 3018 = o. Is o a prime number?
False
Let a(r) = -31044*r - 6151. Is a(-3) a composite number?
False
Suppose -6*v + 9934226 = 32*v. Is v a prime number?
True
Let r(v) = 2427*v**2 + 14*v - 6. Let j be r(-10). Suppose -j + 76401 = -13*o. Is o a prime number?
True
Suppose -m - 2*s = -61431, 28 - 23 = -5*s. Is m a prime number?
False
Let h = 39 + -19. Suppose 2*r - h = -10. Is 0 + -3 + r + 1253 a prime number?
False
Let j(l) be the first derivative of 2*l**6/15 - l**5/20 - l**4/24 + l**3/3 + 27. Let f(s) be the third derivative of j(s). Is f(-4) prime?
False
Let h(p) be the second derivative of -198*p**5/5 - p**4/12 + 8*p**3 + 73*p**2 + 2*p - 78. Is h(-3) prime?
True
Let o = 274 + -300. Is (-85046)/o + 0/2 a composite number?
False
Suppose 8*j + 5319 = -j. Is -3 + 0 + j*(-8)/6 a prime number?
False
Suppose 1468 = -15*c + 3733. Is 60/15 - c*-7 a prime number?
True
Suppose -833 = -4*j - 5*s - 0*s, -5*j = -4*s - 990. Suppose 3*l = -r + j, -920 = -5*r + 3*l - 0*l. Let o = r - -82. Is o composite?
False
Suppose 0 = -10*g - 4*g. Suppose -s - 4*s = 3*v - 13495, s + 3*v - 2699 = g. Is s a prime number?
True
Suppose 0 = -4*n - n + 4*j + 20, -n = 2*j - 4. Suppose 5*s = 4*m + 5690, 0 = -n*m + 25 - 5. Let g = s + -637. Is g a composite number?
True
Suppose 4*j - 28 = -3*r + 61, -5*r - 2*j = -153. Suppose -r = -2*u - 37. Is ((-526)/u)/((-2)/(-39)) - 4 composite?
True
Let r be 70/(-6)*42/(-2). Suppose 0 = 5*a - 2*a - 5*u - 330, 2*a - r = -5*u. Is a composite?
True
Suppose -126*v = 204*v - 345250290. Is v a prime number?
False
Is (467/3)/((-44)/(-48620)) - 4/(-3) a composite number?
True
Is ((-3)/6)/(2*(-10)/2934040) composite?
False
Suppose 6038729 = 294*a - 99*a + 374564. Is a a composite number?
True
Let y(d) = -2*d**2 - 24*d + 9. Let n be y(-12). Suppose 4*j - 3 = n. Suppose 0 = 4*r - 5*x - 19805, j*r - 14927 = 5*x - 77. Is r prime?
False
Let r(f) = -f**3 + 32*f**2 - 9*f + 284. Let l be r(32). Suppose -5*c - 121 - 56 = x, 0 = -5*c + 2*x - 186. Is c/30*((-90)/l)/(-3) composite?
True
Suppose 0 = -5*l - 370 + 995. Suppose -4*d = -3*g - g + 156, -3*g + d + l = 0. Let c = g - -16. Is c prime?
True
Let b = 92 - 78. Let q be 2/b + 14628/14. Let a = 1564 - q. Is a composite?
True
Let v(q) = -q**2 - 2*q - 2. Let l be v(-2). Let m be (2 + -1)*(-4)/l + 33. Suppose m*y - 4358 = 33*y. Is y prime?
True
Let b be (23106/(-4))/(2 + (-38)/16). Suppose 10*k + b = 61534. Is k prime?
False
Suppose -3*m = -4*s - 642411, -5*m + 178851 + 891782 = 2*s. Is m prime?
True
Let m(f) = f**2 + 8*f - 7. Let a be m(-10). Suppose -48170 - 92295 = -a*p. Is p a prime number?
False
Let u be 310488/24 - (0 - (1 + 0)). Suppose u = -21*a + 23*a. Is a composite?
False
Suppose 2*c - 6*o + 11*o - 3 = 0, -2*o = 2*c - 12. Suppose 26724 = c*z - 15333. Is z a composite number?
False
Suppose 51877 - 344848 = -49*a. Is a a composite number?
True
Let b(y) = -y**3 - 21*y**2 - 123*y - 3. Is b(-10) a composite number?
False
Let i(r) = -r**3 - 2*r**2 + 