osite number?
True
Suppose -5*y = -b, -y = 2*b - 4*y - 7. Suppose -3*a - b = -23. Suppose 2*f + 2*r + 68 = a*f, 2*f - 42 = -r. Is f composite?
False
Let y be -272 - 2 - (-8)/(-4). Let a = y + 542. Suppose 5*r - 3*r - a = 0. Is r prime?
False
Let y(a) = 6220*a + 41. Is y(2) a composite number?
True
Let n = 62 - 64. Let r(c) be the first derivative of -33*c**2/2 - c + 1. Is r(n) a composite number?
True
Suppose -a + 0*a + l - 1 = 0, -2*a + 4*l = 10. Suppose 3*b + 3*y = y + 351, -2*y = -a*b + 339. Is b prime?
False
Let l(p) = p**2 + 8*p + 18. Let s be l(-6). Is (-28)/(-21)*63/s a prime number?
False
Suppose -17*p = -16*p - 2159. Is p composite?
True
Suppose -3*z + 112 = -29. Let j = -128 + z. Let k = j + 290. Is k prime?
False
Let u(o) = 19*o**2 + o - 1. Let d be u(8). Let v = d + -142. Is v composite?
True
Let a be 30/4 + (-14)/4 + 3. Is (-54142)/(-230) + (1 - a/5) prime?
False
Let o(w) = -5*w - 8. Let s be o(5). Let y be (-4)/(-22) + (-93)/s. Suppose 6 = y*a - 12. Is a a composite number?
True
Suppose 2289510 = -108*n + 126*n. Is n a composite number?
True
Suppose 8*s = 100 - 28. Let g(a) be the second derivative of -a**5/20 + 3*a**4/4 + 5*a**3/6 + 5*a**2 + a. Is g(s) prime?
False
Let h = 58 - 18. Suppose w - h = 77. Let q = -28 + w. Is q prime?
True
Suppose 0 = o + f - 61495, -34*o = -31*o - 2*f - 184505. Is o prime?
False
Is (-36)/(-162) + (-386305)/(-9) composite?
False
Suppose 0 = 5*o - v - 14, -8*v + 4*v = -3*o + 22. Suppose -o*n = d - n + 4, d + 2*n = -6. Is (4417/2)/(-7)*d prime?
True
Is (1 - (-4731)/(-2))/((-14)/84) a prime number?
False
Let l(o) = -2*o - 2. Let c be l(-5). Suppose -c*k = -4*k - 32. Is (4/(-6))/(k/(-1068)) a composite number?
False
Let l = -104 - -108. Suppose 4*u = -l*p + 1024, -2*p + u = -4*p + 510. Is p prime?
False
Let p(c) = -c**3 + 3*c**2 + c - 3. Let d be p(3). Let w = 55 - -9. Suppose -2*o - w + 218 = d. Is o a prime number?
False
Let w = 17 - 19. Suppose 4*z - 3*z = -2. Is -2*(63/z + w) composite?
False
Suppose -5*r + 26 = -2*s, -5*r - 5*s + 1 + 4 = 0. Suppose -240 = -r*z - 5*y, 5*z + 4*y - 334 + 43 = 0. Is z composite?
True
Suppose 3*j + 7*j - 30 = 0. Suppose j*x = 2*m - 325, 0 = 4*m - 3*m - 3*x - 170. Is m composite?
True
Let h = -967 - -1450. Let m = h + -338. Is m prime?
False
Let m be 37*((-16)/(-24))/(2/9). Let r(p) = 37*p + 4. Let o be r(6). Let t = o + m. Is t a composite number?
False
Suppose 0 = -5*y + h - 3*h + 21, 5*h = -2*y. Suppose y*i - 1840 = -3*g, 3*g + g = 5*i - 1875. Is i a composite number?
True
Let p = 177 - 309. Let m(f) = f**3 - 10*f**2 + 7*f + 14. Let s be m(9). Is (p/(-6))/(s/(-38)) prime?
False
Let x(b) = -5*b**3 - 10*b**2 - 13*b + 2. Let l be x(-6). Suppose 145 = -5*p + l. Is p prime?
True
Let z(o) = -115*o - 436. Is z(-35) prime?
False
Let g(c) be the third derivative of 5*c**6/24 + c**5/60 - 5*c**4/24 + 2*c**3/3 + 11*c**2. Is g(3) composite?
False
Let l(p) = p. Let i(c) = c + 1. Let r(w) = 2*i(w) - l(w). Let x be r(3). Suppose x*d = 2*z + 1730 - 215, -5*d = 4*z - 1545. Is d a prime number?
False
Suppose 2*o - 5*o = -6. Suppose 231 = 4*s + k, o*s + 113 = 4*s + k. Is s a prime number?
True
Suppose -n + 4 = 0, 2*l - 7*l = 2*n + 5637. Let b = -792 - l. Is b prime?
True
Suppose 0 = 5*o + 4*a - 140385, -199*a + 84234 = 3*o - 196*a. Is o a prime number?
False
Let i be -34 + (3*(-20)/12 - -3). Let s = i + 91. Is s prime?
False
Suppose 2*u - 5*r = 13503, -4*u - 5*r + 27001 = -10*r. Is u prime?
False
Let g be 12/(-16)*(-1 + -166 + -1). Let v = g - -425. Is v composite?
True
Is (1369 + -2)/((-1)/(-3)) a prime number?
False
Let b(u) = 83*u**2 - 2*u - 1. Let s be b(-2). Suppose -s = -3*m + 46. Is m composite?
False
Let l = 36 - 34. Let h = l + 1097. Is h a prime number?
False
Let r be (-3)/(-2)*220/6. Let z = r + -85. Let n = z - -149. Is n a composite number?
True
Let m(a) = -1219*a**3 + a**2 + 6*a + 5. Is m(-1) a composite number?
True
Suppose -10*g - 495 = -10285. Is g a prime number?
False
Let m(n) = -n**2 - 7*n + 3. Let p be m(-8). Let y(x) = -14*x**3 - 5*x**2 - 3*x + 3. Is y(p) a prime number?
False
Suppose -3*a - 5*k + 8110 = 0, -61*k + 65*k = 4*a - 10824. Is a prime?
False
Let d(p) = 9*p**2 + p - 2. Let u be d(1). Suppose 3*q + 2*f - u = 0, 5*q + f - 18 = -0*q. Suppose -708 - 808 = -q*m. Is m composite?
False
Let o = -2560 + 3633. Is o a prime number?
False
Let y be 2/15 - (-49114)/195. Let p = 409 - y. Is p composite?
False
Suppose -2*b - 4 = -4*t + t, -5*b + 20 = 0. Suppose -i - r + 2922 = 0, t*i + 2*r = r + 11685. Is i prime?
False
Suppose 3*w + 5*b - 30 = 0, 0 = 2*w - 7*w - 2*b + 31. Suppose 2*q - 78 = -q - w*d, 5*q = -4*d + 143. Is q prime?
True
Suppose -f + 10802 = 3*t, 2*t = 2*f - 1701 + 8913. Is t a composite number?
True
Suppose -23*v - 62653 = -154400. Is v a composite number?
False
Suppose 0*a - 4*a - 84 = 0. Let s = 43 + a. Is s a composite number?
True
Let l = -158735 + 237514. Is l prime?
True
Suppose -93 = -4*h + 3*y + 102, 0 = -2*h - 2*y + 80. Suppose -22 = -o + j, -2*j + 44 = 5*o - h. Is o composite?
False
Let h be ((-1347)/6)/((-7)/14). Suppose 5*b + 897 = 2*z + 2*z, -2*z + 3*b + h = 0. Is z prime?
True
Suppose -10*g + 26 = 6. Is -422*g/((-4)/7) composite?
True
Let z(i) = -34*i**3 - 18*i**2 + 15*i + 1. Is z(-6) a prime number?
True
Let n(i) = i**3 + i. Let g be n(0). Let k(h) = h**2 + 1399. Is k(g) a prime number?
True
Let r = 5867 - 1102. Is r a composite number?
True
Suppose p + 31 = -g, 2*g - g = 2*p + 47. Let r = -23 - p. Is r composite?
False
Let i(w) = 4*w**3 - 6*w**2 - 6*w + 7. Suppose 4 = -5*v + 19, 3*d - 3*v = 33. Let o be (-3)/(2*(-3)/d). Is i(o) composite?
True
Suppose 2*l + 0*f - 45 = -f, -20 = 4*f. Let a be (-5)/l - (-24)/20. Is (a - -2)*(-57)/(-9) a prime number?
True
Suppose 507 = -u + 26. Let n = u + 772. Suppose n + 239 = 5*c. Is c a prime number?
False
Suppose -4*l + 1 + 3 = 0, 2*p = 3*l + 65. Let b = 61 - p. Is 4/(-18) + 897/b prime?
False
Let g be 533/(-1) + -5 + 4. Let q = -277 - g. Is q prime?
True
Let v(s) = -s**3 + 6*s**2 + 3*s - 20. Let k be v(6). Is k/(-6) + (-4524)/(-9) prime?
True
Is (-532)/(-42) + -13 - 554828/(-6) a composite number?
True
Suppose 2*a = 3*a + 13. Let w = a - -10. Is 1 - (-147 - 9/w) a composite number?
True
Suppose y + 243 = 446. Is y a prime number?
False
Let c(l) = -6*l - 1. Let r be c(-1). Let i(a) = a**2 + 11*a - 10. Let q be i(-12). Is 0 + 92 - (q - r) a composite number?
True
Let a(x) = 144*x + 43. Is a(6) composite?
False
Suppose -4235 = 109*l - 74*l. Suppose -3*r - 301 + 1606 = 0. Let p = l + r. Is p a composite number?
True
Let i(a) = 65*a**3 - 2*a**2 + 2. Let x be i(2). Suppose -x = -0*c - 2*c. Is c prime?
True
Is 10/15 + 638855/15 composite?
True
Suppose 0 = -3*i + 4*o + 3855 - 184, -1227 = -i + 2*o. Suppose 4*k = -5*l + 2339 + 2529, -2*l - i = -k. Is k composite?
False
Let u be (-13944)/22 + (-10)/55. Let z = u - -453. Let a = z + 255. Is a a prime number?
False
Let p = -10038 + 16567. Is p prime?
True
Let w(d) be the third derivative of d**6/40 + d**5/60 - 7*d**4/24 - d**3/2 + 14*d**2. Is w(4) composite?
True
Suppose -5*s + m + 3*m - 11710 = 0, 0 = 4*s - 4*m + 9364. Is 3/6 - s/4 a composite number?
False
Suppose -12*f - 6*f = -38754. Is f composite?
False
Suppose 4*t = 5*t - l - 439, -4*t + 1749 = 3*l. Suppose 8977 + t = 5*v. Is v a composite number?
True
Is 8*(-5)/60 - (-231209)/3 composite?
False
Let w = 37 - 13. Is -6*(-8637)/w - (-6)/(-24) prime?
False
Suppose -2*t + 4*w = 3*t - 13899, 2*t = -4*w + 5554. Is t prime?
False
Suppose -46*j + 44*j - k = -11760, 0 = -3*j - 5*k + 17647. Is j composite?
False
Let k = -16 - -21. Let f = k - 1. Suppose 488 = f*b + 100. Is b prime?
True
Suppose -15 + 21 = 2*b. Let z(d) = -d + 7 - b - 23*d + 1. Is z(-6) prime?
True
Suppose -s - 293 = -2*y + 70, 5*s + 723 = 4*y. Let o = y - -29. Is o a composite number?
False
Let m be -4 - (-8)/6*1845/(-10). Let x = m + 771. Is x a composite number?
False
Suppose 15*y - 14*y = 9005. Is y a prime number?
False
Let x be (1 + -3)/(1/(-2)). Suppose -4*v + 7 = v - x*g, -3*v - 5*g - 18 = 0. Is (-4 + -369)/(-2 - v) composite?
False
Suppose -7*d + 4884 + 2417 = 0. Is d composite?
True
Let h(i) = i**2 - 12*i**3 + 0*i - 86*i**3 + i. Let g be h(-1). Suppose 10*z - 3*z = g. Is z prime?
False
Let c(t) = 2*t**3 + 5*t**2 - 8*t - 5. Let k be c(-3).