2) a prime number?
False
Let u = 41 + -41. Suppose -v - 5*j + 79 = u, 0 = -3*v - 0*v + 5*j + 277. Is v prime?
True
Is 4/22 - (6 - (-4431)/(-11)) a composite number?
False
Suppose -i = -3*f - 660 + 100, 0 = i + 4*f - 553. Is i prime?
True
Suppose 4*k + 6476 = -1700. Is k/(-36) - (-2 + (-16)/(-9)) prime?
False
Let k be 2 - (5 + -5 + 3). Suppose -r - 2 = -1. Is -3 + r*(-73 - k) a composite number?
True
Let r(o) = 1755*o - 77. Is r(2) composite?
False
Let p(u) = -62*u**3 + 8*u**2 + 12*u + 3. Let c be p(-4). Let m = -1808 + c. Is m composite?
False
Let a be 2 + (4 + -2 - 3)*1. Let d be 3*(1 + 2/6). Is a - (-132 - (-16)/d) a composite number?
True
Let d = -1028 + 1477. Is d a prime number?
True
Let q = -1461 - -2416. Is q composite?
True
Suppose 3*h + 4*z = 59229, -3*z + 4*z + 19736 = h. Is h prime?
True
Let i = -4 - -6. Suppose i*l = l + 509. Suppose -1267 + l = -2*d. Is d a composite number?
False
Let h = 0 + 0. Suppose 0 = 2*c - c - 4*a - 17, 0 = -a - 3. Suppose h = -c*n + 251 + 344. Is n a composite number?
True
Suppose -258 = 5*o + 317. Let j(r) = -47*r - 57. Let x be j(5). Let h = o - x. Is h prime?
False
Let w be 5 - ((-1)/1 + 0). Let l be w + 4 + -5 - 1. Suppose 2*t = 5*z - 1005, -3*z + 877 = l*t + 248. Is z a composite number?
True
Suppose 86 - 22 = 4*g. Let m = g - 13. Suppose -c - b + 21 = m*b, 54 = 2*c + 5*b. Is c a prime number?
True
Let u(j) = j**3 - j**2 - 1. Let o(c) = 5*c**3 + 5*c**2 + 8*c - 5. Let q(f) = -o(f) + 4*u(f). Let p be q(-8). Is -2*((-1034)/4)/p a composite number?
True
Is 12110/14 + (4 - 0) a composite number?
True
Suppose -1578 = -8*v + 4334. Is v a composite number?
False
Let o(x) = 7*x**2 + 16*x + 38. Suppose -3*j - 6*j - 189 = 0. Is o(j) a prime number?
True
Is (-9)/((-36)/(-16)) - -3167 a prime number?
True
Suppose 2*p - p + 7 = -i, -2*p - 18 = 4*i. Suppose 28 = -y - 3. Is 1 - (3 + i) - y prime?
True
Suppose -4*w + 10*w + 12 = 0. Is (-2332)/12*6/w prime?
False
Let d(h) = h**3 - 2*h**2 - 2*h - 3. Let r be d(3). Suppose 4*f = -r*f + 20. Suppose 2*u + u - 481 = -5*a, u = -f*a + 167. Is u prime?
True
Suppose -101*w + 6117 = -98*w. Is w prime?
True
Let g(t) = 12*t - t - 5 + t**3 + 0*t + 4*t**2. Is g(8) composite?
True
Let c(s) = -7*s + 13. Let b be c(-6). Suppose -5*u = 94 + 266. Let k = b - u. Is k a composite number?
False
Is 1/((-1)/11539)*(-3)/3 prime?
False
Let t(y) = -10*y - 46. Let u be t(-5). Suppose q - 2*d = 1157, 0 = -7*q + 3*q + u*d + 4640. Is q prime?
True
Suppose 0*f = -3*f + 12. Let w be 2/3 - 21070/(-21). Suppose f*u = 0, u = y - 5*y + w. Is y prime?
True
Let t = -83 - -41. Is ((-701)/(-3) - 14/t) + -1 a composite number?
False
Suppose -4*t + 2*n - 20 = -3*n, 5*n = -5*t - 25. Let o(k) = -67*k + 20. Is o(t) composite?
True
Let m(k) = -5*k**3 - 6*k**2 + 13*k + 9. Is m(-8) prime?
True
Suppose 2*t = 10*t - 64520. Is t composite?
True
Let d = -192 - -954. Let l = d - 389. Is l composite?
False
Suppose 0 = -5*u - 15, 4*s + u = -3183. Let w = s - -1844. Is w prime?
True
Let w = 1061 + -720. Is w a composite number?
True
Let v be (-24)/(-5)*75/6. Suppose -5*x + 10*x - 475 = 0. Suppose -3*k = -2*p - x - v, 148 = 3*k + 5*p. Is k a prime number?
False
Suppose -5*t = 2*j - 47, -2*t = j + 3*t - 36. Is j/2*(249 - -5) prime?
False
Suppose 7 = 3*t - 2. Suppose t*y + 44 = 182. Suppose n - y = 9. Is n composite?
True
Let c = 69350 + -35437. Is c composite?
True
Let g(r) be the third derivative of -1/6*r**5 - 13/6*r**3 + 1/120*r**6 + 0 + 0*r - 7/24*r**4 + 4*r**2. Is g(11) prime?
True
Let u = -54 - -109. Suppose 12 = i + 2*i. Suppose -i*g = k - u - 60, g + 257 = 2*k. Is k a composite number?
False
Let n = -2645 + 3841. Let h = n + -583. Is h prime?
True
Let g(x) = -4*x**3 - 37*x**2 + 26*x + 145. Is g(-22) prime?
False
Let g = -2815 + 1995. Let s = 1157 + g. Is s prime?
True
Suppose 5*k + 3*n + n - 45 = 0, 5*n - 10 = 3*k. Suppose -2*a + k*y - 7*y + 574 = 0, 3*a - 889 = 4*y. Is a prime?
False
Let g = -59 - -62. Suppose -3*x = -8*x - g*l + 10504, 0 = -2*x + l + 4195. Is x a prime number?
True
Suppose -4*n + 3*s = -5*n + 676, 0 = n + s - 674. Suppose 3*f + a + n = 0, a = 3*f + 131 + 546. Let d = f - -322. Is d a composite number?
False
Let o = 526 + -2. Suppose 15 = 11*b - o. Is b composite?
True
Suppose -3*b - 5*c - 927 = -219, -244 = b - c. Let h = -470 + 30. Let w = b - h. Is w a composite number?
False
Let z(f) = -41*f**2 - 4. Let q(s) = 41*s**2 + 5. Let t(n) = -5*q(n) - 6*z(n). Is t(-2) a prime number?
True
Is (-16806)/(-8) - 141/(-564) a composite number?
True
Let x(s) = s**3 - 7*s**2 - s - 6. Let c(g) be the second derivative of g**5/20 - 7*g**4/12 - 7*g**2/2 - 2*g. Let j(o) = -5*c(o) + 6*x(o). Is j(8) composite?
True
Let y = -17542 + 24663. Is y a composite number?
False
Suppose b + 2*b = -12. Let m = b - -73. Is m prime?
False
Let r(j) = 4*j + 5. Let n(b) = -b. Let q(v) = 3*n(v) + r(v). Is q(8) prime?
True
Let t = -5133 + 18634. Is t a prime number?
False
Is (11 - 5) + (1655 - 4) composite?
False
Let m(c) = 1088*c**2 - 6*c + 9. Is m(2) a prime number?
True
Suppose -r = 2*m - 7 - 6, 2*r - 18 = -2*m. Let t(g) = 5*g**2 - 6*g + 30. Let s be t(9). Suppose -2*o + r*o = s. Is o a composite number?
False
Suppose 833086 = 42*o - 622928. Is o prime?
True
Let p = -9968 + 14971. Is p a prime number?
True
Suppose 5*f - 3*u - 44663 = 0, -6*f - u = -2*f - 35744. Is f prime?
False
Let b(d) = -d**3 + d - 4. Let k be b(2). Is (-13902)/4*k/45*3 a prime number?
False
Is (-13820)/30*(315/(-10))/3 a prime number?
False
Let h be 8/(-12) - (-2387)/3. Is (h/6 + -4)*2 a composite number?
False
Let o(z) = 2*z + z - 5 + 76*z - 1. Is o(11) prime?
True
Let n = -4 - 6. Let q(p) = p + 14. Let y be q(n). Suppose d + 775 = 5*s, -3*d = -y*s + 2*d + 620. Is s a composite number?
True
Let a be (14/(-6))/((-5)/75). Suppose -a*p = -31*p - 7468. Is p a composite number?
False
Suppose -42015 = -28*b + 5221. Is b a composite number?
True
Suppose y - 48135 = -2*h, 4*h + 43*y - 96264 = 47*y. Is h a composite number?
True
Suppose 2*o - 10 = 4*u, -4*u + 65 = -2*o + 5*o. Is o/10*(-1516)/(-6) prime?
True
Let d(i) = 2*i**3 - 16*i**2 + 3*i - 21. Is d(10) a composite number?
False
Let z be ((-16)/10)/(6/(-1200)). Let c = z + 12. Let n = -133 + c. Is n composite?
False
Suppose -i - 3*x = -x - 1437, 2*i - x = 2869. Suppose i = 2*v + 3*v. Is v a composite number?
True
Let o be 8 + 0 + (4 - 2)/2. Is (-3)/o*113*-3 a prime number?
True
Let y(j) = -136*j + 13. Let w be y(-6). Suppose 0 = 7*l + 290 - w. Is l a composite number?
True
Is 12/(-30) + (-1690481)/(-65) a composite number?
True
Suppose -z + 16 - 2 = 0. Is (z/4)/((-3)/(-534)) a composite number?
True
Suppose -k - 23 = 5*m, 2*m - 7*m - 35 = 5*k. Is (0 - -149)*(-3 + (3 - k)) a composite number?
True
Let s = -26 + 28. Let l(j) = -j**3 + 4*j**2 - j - 4. Let r be l(s). Suppose -5*q - 888 = -4*v, r*q + 4 = q. Is v composite?
True
Let s = -2 + 5. Suppose 0*j + 3*j - s*p = 1764, 2*p + 4 = 0. Is j prime?
False
Suppose 0 = -27*m + 80725 + 75308. Is m a composite number?
False
Let x(j) = 631*j**2 - 19*j - 47. Is x(7) a prime number?
False
Suppose 8*y - 26022 = 31298. Is y a prime number?
False
Suppose n - 4*p + 2163 = 0, 2*n + n - 4*p + 6481 = 0. Let g = 101 - n. Suppose 0*b + 4*b - g = 0. Is b a composite number?
True
Let p = 2984 - -563. Suppose p = a - 147. Is a a composite number?
True
Suppose 11*l = 18*l + 7. Is l/2*(1 - (1219 - -4)) prime?
False
Let m(b) = b**3 - 14*b**2 + 12*b + 13. Let r be m(13). Suppose r = v + v - t - 45, 4*v + 2*t = 78. Is v a composite number?
True
Let w(x) be the first derivative of -x**7/280 - x**6/72 - x**5/30 - 5*x**4/24 + x**3 - 3. Let q(r) be the third derivative of w(r). Is q(-4) a prime number?
False
Suppose 2*q + 0*o = -5*o + 47, -51 = -3*q - o. Let h be (-4)/(q/(-708)) + -3. Suppose -y + h = 2*y. Is y a composite number?
True
Let q be ((-248)/10)/(8/(-1060)). Suppose -5*m = -q + 571. Is m a composite number?
True
Let o(y) = 115*y**2 - 17*y + 49. Is o(4) prime?
False
Suppose -4*l - g + 130828 = 0, l - 3*g = 3*l - 65414. Is l prime?
True
Suppose 888 - 5950 = -k - 5*n, 4*k + 2*n = 20302. Is k prime?
True
Let t(w) = -1639*w + 6. Let n(a) = 3277*a - 11. Let j(v) = -4*n(v) - 7*t(v). Is j(-1) a composite number?
False
Suppose -26*t + 3*a = -28*t + 9058, 2*t + 5*a - 9050 = 0. Is t prime?
False