rime number?
True
Let p = -185 + 292. Suppose 2*c + p = 375. Is (4 - 7) + c*2 a prime number?
False
Is 18/9 + (-63)/(-6)*2594 prime?
True
Let g(a) be the first derivative of a**3 - 7*a**2/2 - 1. Let w be g(-5). Suppose w = 5*h - 15. Is h a prime number?
False
Is (3452/(-20))/(2/(-20)) a composite number?
True
Suppose -23 = -g + 9. Let f be (g/40)/((-2)/(-185)). Suppose f = 5*w - 3*w. Is w prime?
True
Suppose c + 1 = -5*b - 15, 4*c - 28 = 3*b. Suppose 5*g = r + 2, -r = c*g - 7*g. Is ((-6)/(-9) - r)*-33 composite?
True
Suppose y + 76 = -3*y. Let f(d) = d**3 + 22*d**2 - 9*d - 5. Is f(y) a prime number?
True
Is 9489/2*(-10)/(-15) a prime number?
True
Let r be ((-12)/8 + 1)*-6. Suppose o - r*g - 113 - 20 = 0, 8 = -4*g. Is o composite?
False
Let m be (-21)/((-228)/75 + 3). Let b = m + -238. Is b composite?
True
Let k be 2*4/((-16)/(-22)). Is 2/k - (-8334)/22 a prime number?
True
Let p be ((-72)/40)/((-9)/(-30)*-1). Suppose p*j - 2312 - 274 = 0. Is j prime?
True
Let r(h) = -2*h**3 + 13*h**2 + 11*h + 9. Let x be r(10). Let d = -330 - x. Is d composite?
False
Suppose 242 = -2*g - 238. Let f = -82 - g. Is f a prime number?
False
Let b = -1 - -5. Let g(r) = 5*r + 143 + 10*r**3 - 142 - 6*r**2 - 2*r. Is g(b) a composite number?
False
Let d(n) = 440*n**2 + 14*n - 39. Is d(4) prime?
True
Let c(i) = 36*i**2 + 2*i + 1. Suppose -w + 4 = -1. Suppose w = 4*r - 3. Is c(r) composite?
False
Let z = -10467 + 16764. Is z a prime number?
False
Suppose -3*n + 933 = 3*x + 15, -4*x - 5*n + 1223 = 0. Is x a composite number?
False
Suppose -7*d + 9520 = -3*d. Let r = -1427 + d. Suppose 5*h - 1312 = -3*v + 1547, v - r = 4*h. Is v a composite number?
False
Let m = 239 + -374. Is (-365193)/m - (-4)/(-30) prime?
False
Suppose -t + 17*t - 47024 = 0. Is t composite?
False
Let g(d) = -d. Let p be g(-5). Suppose 5*q = 5, 4*a + a - 5 = p*q. Is (-1)/((-1989)/993 + a) a prime number?
True
Suppose 3*d = 5*d + 8. Let r(w) = -34*w - 17. Let x(g) = 34*g + 16. Let k(n) = d*x(n) - 3*r(n). Is k(-6) prime?
True
Is (-16 - -6)*1317/(-6) a prime number?
False
Let y be (52/(-3))/2*(-132)/(-8). Let u = -32 - y. Is u composite?
True
Suppose 5*x + 4*m - 261307 = 0, -10*x = -12*x + 4*m + 104506. Is x a composite number?
False
Suppose -5*l + 900 - 75 = 0. Let f = l - 112. Let w = 244 - f. Is w prime?
True
Let u(p) = -9*p + 17. Let q be u(2). Is ((-9)/(-27))/(q/(-3081)) prime?
False
Suppose 3*i - 2*o + 2 - 4 = 0, 3 = -3*i + 3*o. Suppose d - i*s - 399 = 0, -2*s = -4*d - 402 + 2068. Is d a composite number?
False
Let r = 22 - 9. Let i = r - 11. Suppose i*m - n = -3*m + 35, -49 = -4*m + 5*n. Is m prime?
False
Suppose -2*o - o + 19563 = 0. Is o a prime number?
True
Suppose -3 - 2 = 5*z, 2 = -y - 2*z. Suppose 3*r - u - 3641 = 0, -6057 = -y*r - 5*r - 4*u. Is r a prime number?
True
Suppose 4*o - 3*y = 6676, -2*o + 4*y - 6676 = -6*o. Is o composite?
False
Suppose -3*z + 215642 = -89782. Is z/49 - (-2)/7 composite?
True
Suppose 621 - 3707 = -w. Is w prime?
False
Suppose 0 = -6*x + 232649 - 57275. Is x a prime number?
False
Let c(o) = -o**2 - o. Let d(x) = -x**2 - 13*x - 11. Let h(n) = -5*c(n) - d(n). Is h(13) prime?
True
Let a be 3 + 1 + 2 + -2. Suppose a*d + d - 20 = 0. Suppose 0*c - 3*c = -i + 65, d*i + 2*c = 232. Is i a prime number?
True
Suppose -1147 = x - 3270. Suppose 2*l - 4*d - x = l, -3*l + 5*d = -6348. Is l a prime number?
True
Suppose 2*k - 7*k - 42 = -4*h, 5*h = 4*k + 30. Let r = 14 + k. Suppose 520 = 6*f - r*f - 2*x, -4*x = -3*f + 783. Is f composite?
False
Suppose 26*g - 46797 = 622313. Is g a prime number?
False
Let v be -27*((-25)/30 + 3/6). Let z(g) = 3*g**3 + 13*g**2 - 27*g + 4. Let m(l) = -5*l**3 - 19*l**2 + 41*l - 6. Let y(f) = -5*m(f) - 8*z(f). Is y(v) composite?
False
Let q(p) = -812*p - 187. Is q(-18) prime?
False
Let t(n) = -n**3 - 8*n**2 - 6*n + 6. Let d be t(-7). Let o(q) = 30*q - 1 - 49*q**3 - 60*q + 31*q + 2. Is o(d) a prime number?
False
Is 6 - (-1 + 5 - 489) a composite number?
False
Let t = -1701 + 6442. Is t composite?
True
Let n = -953 - -1658. Suppose 4*u - n = -v - 0*v, 5*u - v = 888. Is u prime?
False
Let j(s) = -10*s**2 + 88*s**2 + 265*s**2 + 5 + 16*s**2. Is j(-2) composite?
True
Let p = 600 - 325. Suppose -5*y = -10*y - 810. Let l = p + y. Is l prime?
True
Is (44/(-44))/(2/(-5158)) a composite number?
False
Suppose 6*s - 2*s - 16 = 0. Suppose k - 461 = -2*c, s*k - c = 1585 + 304. Is k a prime number?
False
Suppose 4*w = 12, 2*w + 2*w = -4*a - 1796. Let c(x) = 39*x + 12. Let g be c(-7). Let r = g - a. Is r prime?
True
Let p be 56/12 - 1/(-6)*2. Let d(f) = 3*f**3 - 6*f**2 + f - 12. Is d(p) a prime number?
False
Let t = 8362 - -10929. Is t prime?
False
Suppose 2*n + 5*d = 43, -5*d + 2*d + 65 = 4*n. Let r be 29/9 - n/63. Suppose 9 = r*p - 6*p, 3*p = 5*z - 614. Is z prime?
False
Suppose -3*u = -3*i + 3, -3*u - i + 11 = -6. Suppose 3*a - 1259 = u*z, 0*a + 2*a = 4*z + 846. Is a prime?
False
Let z(i) = -i**3 - i**2 + i - 3. Let x(b) = b**3. Let u be x(0). Let j be z(u). Is j*8/12 - -349 a composite number?
False
Let f(i) = 6*i**3 - 2*i**2 - 6*i + 6. Suppose 0 = 4*u + d - 15, 10*u - 5*d - 50 = 5*u. Let m be f(u). Is m/12 - 12/9 a composite number?
True
Suppose 0*q = -3*q + 19026. Suppose s - 7*s = -q. Is s composite?
True
Suppose -4*n = -3*z + 79 - 8, n + 19 = 2*z. Let q = n + 25. Suppose -g - 4*g + 803 = 3*m, 0 = -4*g - q. Is m prime?
True
Is (-8)/5 - (17 - (-1143162)/(-45)) a prime number?
False
Suppose 2*s - 4*k - 32 - 1986 = 0, 0 = -5*s - 4*k + 5031. Is s a composite number?
True
Suppose -6*b + 63240 = 18642. Is b a composite number?
False
Let t be 11/((-22)/24) - -3. Let s(b) = -27*b - 3. Let q be s(t). Suppose q = v - 115. Is v a composite number?
True
Suppose 2*v - 5*z = 3*v + 1, -4*v + 4*z = -44. Let i = v + -7. Suppose -w - 2*k = k - 463, k = -i*w + 906. Is w composite?
True
Let p(w) = w**3 - 54*w**2 + 8*w + 155. Is p(60) prime?
False
Let b(i) = 3*i**3 + 12*i**2 + 11*i + 3. Let f be b(10). Suppose 5*v - 8*a = -3*a + 7195, -3*v + f = -5*a. Is v prime?
False
Suppose -4*a + 47270 = 6*a. Is a composite?
True
Let l(t) be the third derivative of -13*t**4/24 - 11*t**3/6 - 3*t**2. Let s be (-3 + -1)*(-9)/(-6). Is l(s) prime?
True
Let s = -23 + 19. Let v be (-12899)/s - 1/(-4). Is 2/(1 - v/3235) prime?
True
Let i(y) = 8*y**2 + 251*y + 44. Is i(-49) composite?
True
Suppose 32180 = 9*j + 2741. Is j composite?
False
Suppose -3*k - 2*o + 30920 = 0, 2*o + 51516 = 5*k + o. Suppose -14*r = -30898 + k. Is r prime?
True
Let s(z) = -z**3 + 10*z**2 - 9*z + 4. Let x be s(9). Suppose -c = x*c + 195. Is (20/(-6))/(2/c) a composite number?
True
Is (48942 + -4)/(12/6)*1 a prime number?
True
Suppose -2*r = r - 15. Suppose 3*g + 3*w - 21 = 0, -g - r*w = 2*g - 27. Suppose -g*y = 4, -335 = 5*a - 7*a - 3*y. Is a composite?
True
Let t(k) = -k**2 - 2*k + 251. Is t(0) a composite number?
False
Let d(c) = -2*c - 4. Let s be d(9). Let r = -8 - s. Suppose 2*u + r = 3*u. Is u a prime number?
False
Let r(p) = -94*p - 13. Is r(-15) composite?
True
Let f = -7122 - -10613. Is f composite?
False
Suppose -163410 - 133164 = -6*w. Is w a composite number?
False
Suppose -14486*y + 14493*y - 220717 = 0. Is y a composite number?
False
Suppose 0 = 4*u - 2 - 6. Suppose 3*d - u = 2*d. Is d/10 - (-696)/20 a prime number?
False
Suppose 0 = 23*m - 26*m + 6. Suppose 0 = -4*b - m*a + 26094, -2*b + b + 6527 = 4*a. Is b a composite number?
True
Let y(q) = 108*q**3 + q**2 + q - 5. Is y(2) a prime number?
False
Let j = -34 + 36. Is -5 - (j + -1 + -2509) a composite number?
False
Let o = 29 - -6. Suppose 0*t = 5*t + o. Let c = t - -90. Is c a composite number?
False
Suppose -6*s - 2127 + 13479 = 0. Is (-2)/(-12) + s/24 composite?
False
Suppose -5*c - 5406 + 182290 = 4*i, 4*i - 5*c = 176884. Is i a composite number?
False
Suppose 39 - 53 = -7*w. Suppose 8976 + 10958 = w*i. Is i composite?
False
Suppose 10 = -5*u + 2*o, -3*u + o - 2*o - 17 = 0. Is (-23810)/(-30) + u/6 a prime number?
False
Let i(w) = -2*w**3 - w + 5. Let h be i(-5). Suppose 0 = -t + 6*t. Suppose t = 4*c - 9*c - 5*b + h, c - 50 = b. Is c composite?
True
Let p = -135 - -2086. Is p composite?
False
Let g(k) = 889*k + 621. Is g(10) prime?
True
Suppose 5 = 2*v + u, -2*u = v - 0*u + 5. Let a = -2 + v. Suppose 2*i - 2065 = -a*i. Is i a prime number?
False
Suppose 2*n + 