
True
Suppose 3234 = 4*a - 1738. Is a a prime number?
False
Suppose 0 = -16*n + 728372 - 181060. Is n a composite number?
True
Let g(l) = 201 + 2*l**2 - l**2 + 466 + 10 - l. Is g(0) a composite number?
False
Let a(i) = 186*i**2 + 5*i + 9. Let j be a(4). Suppose 5*t - 3*h + 6*h = 10190, h = 5*t - 10190. Let q = j - t. Is q a prime number?
True
Is 1 + (-36676)/(-16) + (-2)/8 a prime number?
True
Let u be -3 - ((-5 - (-4 - -2)) + 1). Let f(w) = 1038*w**2 - 3*w - 2. Is f(u) a prime number?
True
Let f(b) = -2371*b - 1. Is f(-2) composite?
True
Suppose 52*l = 47*l. Suppose t - 2837 - 1572 = l. Is t a prime number?
True
Suppose 2258448 = -30*g + 78*g. Is g composite?
False
Let q = 12389 - 2838. Is q prime?
True
Suppose 3*m - 11 = -4*r - 2*m, 5*m - 20 = 5*r. Let v = 3 + r. Suppose -v*k = k - 102. Is k a composite number?
True
Let a = -10 + 1471. Suppose 5*h - 2*h = a. Is h composite?
False
Let c(o) = -13 + 7 + 14 + 133*o**2 + 2*o. Is c(3) a prime number?
False
Let h(y) = -y - 12. Let z be h(-10). Is 5031/52 - z/8 a composite number?
False
Let t(s) = s**2 - 4*s - 4 + 3 + 3*s**2. Let p be (-13 + 23)*2/4. Is t(p) a composite number?
False
Let m(h) be the first derivative of h**3 - 4*h**2 - 5*h + 1. Let l be m(-11). Let y = l - 307. Is y prime?
True
Let b(u) = 4*u**3 - 4*u**2 + 3*u - 1. Let w(l) = 3*l - 20. Let y be w(6). Let v be ((-56)/70)/(y/10). Is b(v) a prime number?
False
Let i(k) = 2*k**2 + 6*k + 1361. Is i(0) prime?
True
Suppose -10*w = -38*w + 5908. Is w prime?
True
Let g(b) = b - 12. Let d be g(12). Suppose d*u + 1165 = 5*u. Is u composite?
False
Let l(j) = j**2 + 1. Let a(z) = 5*z**2 - 9*z - 1. Let r(u) = a(u) + 2*l(u). Let g(m) = -m**2 + m - 2. Let q be g(2). Is r(q) prime?
True
Suppose 5023 = -4*n + 48083. Suppose -7*j + n = -2*j. Is j a composite number?
False
Suppose -4*d - 1 = -5*o, 4*o + 4 = 5*d + 3*o. Suppose 2*z - 9 = d. Suppose -c - c = z*l - 381, -4*c - 4*l + 732 = 0. Is c composite?
True
Suppose 5*k + 2*r - 67619 = 0, k + 4*r = 4*k - 40561. Is k composite?
False
Suppose -24*x = -26*x + 2. Let m be (1 - x*-3295) + -3. Suppose -m = -3*d - 470. Is d a prime number?
True
Suppose 0 = z - 5*m + 2*m - 14822, 5*z = -5*m + 74050. Is z composite?
False
Suppose -6*o + 4*o + 8328 = 0. Is (o/(-6))/(1 + -3) composite?
False
Suppose -16538 = -4*q - 3*i - 6622, -q + 2479 = 2*i. Is q composite?
True
Suppose 4*c + 8522 + 602 = 0. Let k = c + 4226. Is k a prime number?
False
Let z(k) = -2*k**3 + 18*k**2 - 9*k + 18. Let t be z(8). Let f = t + 599. Is f composite?
False
Suppose -8027 = -u + 4*h, -3*h + h - 16060 = -2*u. Suppose -3*g + u = -1566. Is g composite?
True
Let z(n) = -n. Let o be z(-6). Suppose 0 = 4*f + 3*b + 23 + 1, -5*f - 3*b - 27 = 0. Let c = f + o. Is c prime?
True
Let w(n) = -n**3 - 13*n**2 - 3*n + 11. Let c be w(-12). Let b = c - -840. Is b a prime number?
True
Suppose -l = 3*z - 312, l + 100 = z - 0*l. Let t be 1/(-3) + (-13)/(-3). Suppose -4*w + z = 2*a - 89, -t*a = 5*w - 237. Is w composite?
True
Suppose -8*t + 3*t + 410 = 0. Suppose t = -2*z + 1184. Is z composite?
True
Suppose -1609 - 9937 = -2*h. Is h a composite number?
True
Let i(j) = 4*j**3 - 5*j**2 + 4*j - 2. Let t(x) = -4*x**3 + 5*x**2 - 5*x + 1. Let u(g) = -6*i(g) - 5*t(g). Let f be u(-5). Is f/18 + 1/6 a prime number?
False
Let m = 7 - 2. Suppose -2*j + 65 = m*a, 5*j - 204 - 46 = 5*a. Let n = j - -113. Is n composite?
True
Suppose -5*d - 53670 = -4*f, -2*d + 7957 - 61621 = -4*f. Is f a prime number?
False
Suppose 0 = 4*w - 4*d - 3140, 0 = -4*w + 3*w - 4*d + 795. Is w composite?
False
Let x be 8/(-24) - 48/(-9). Suppose 0*b = -x*b - 10, -4*k + 1082 = b. Is k composite?
False
Let m(g) = 266*g**2 + 5*g - 7*g + 0*g + 0 + 1. Is m(2) a prime number?
True
Suppose 726 = -y - 4*w, y - w = 2*y + 726. Is ((-7)/(-21))/((-2)/y) a composite number?
True
Let k be 170/(-4)*(-1 - -3). Let x be (-4)/(-4) + (2 - k). Is (4 - (-9)/(-3)) + x a composite number?
False
Is 16 - 22 - -53*7 prime?
False
Let i = 769 - 134. Is i prime?
False
Let h = -4787 + 10984. Is h composite?
False
Let s(j) = -26 + 16*j - 40*j + 11*j + 2*j**2. Is s(13) prime?
False
Let n(y) = 5*y + 10. Let d be n(-5). Let z be (-27)/d - (-4)/20. Suppose v + z + 2 = 0, -5*r = 5*v - 14675. Is r prime?
True
Let k(m) = m**2 + 14*m - 12. Let s be k(-15). Let d be s/(-6) - (-27)/6. Suppose -2485 = -d*q - 321. Is q a prime number?
True
Suppose 12 = -6*j + 9*j. Suppose j*o + 215 = 5*o. Is o composite?
True
Suppose -5*g + d - 11067 = -2*d, 8840 = -4*g - d. Let r = 3128 + g. Is r prime?
False
Suppose 13*b + 3*k = 8*b + 48029, -9599 = -b - 4*k. Is b composite?
True
Let x(z) = -75*z + 2. Let k(w) = 151*w - 3. Let n(g) = -4*k(g) - 7*x(g). Let s be n(-2). Suppose 4*f + s = 1328. Is f prime?
True
Suppose 6*p - 4*p = 0. Suppose p = -3*y - c + 3507 - 79, -2*c = y - 1146. Let j = y - 379. Is j a composite number?
True
Let s be 10/(-9 + 4)*-1279. Suppose -2206 - s = -4*a. Is a composite?
True
Is ((-5)/(30/(-4372)))/(22/165) composite?
True
Let m = -1973 + 2184. Is m a prime number?
True
Let j = 145 - 179. Let m = 80 - 3. Let p = m + j. Is p composite?
False
Suppose 8*j + 8900 - 34612 = 0. Is j composite?
True
Let o = 158 - -237. Is o a composite number?
True
Is (-4 + 14/4)*-29342 a prime number?
False
Suppose 5*p - 13*p - 21080 = 0. Is (-14)/(-63) - p/9 a prime number?
True
Suppose -h = -3*j + 95010, 3*j - 354*h - 95013 = -352*h. Is j prime?
False
Let q = 21395 + -9094. Is q composite?
False
Let i = 1442 - 2259. Let n = -338 - i. Is n a prime number?
True
Let r(m) = 26*m**2 - 8*m - 27. Let i be r(20). Suppose -4*c = 2*j - 4402, 5*j - 5*c - 807 - i = 0. Is j a prime number?
True
Suppose 4*f - 1377 = -233. Suppose -m + 1833 = -f. Is m a prime number?
False
Suppose 2*i = -3*b + 1123, b + 558 = i - b. Suppose y - 990 = -3*v - 2*y, -5*y = v - 322. Suppose -v = -4*w + i. Is w a prime number?
True
Let g(u) = u**3 + 2*u**2 - 10*u + 12. Let a be g(-5). Let t be (-4)/(-6) - (-155)/(-3). Let l = a - t. Is l composite?
True
Suppose -k + 1273 - 381 = 0. Suppose -4*d - 5*a + k = -357, 0 = 4*d + 4*a - 1244. Suppose -2*n = d - 1616. Is n a prime number?
False
Let c = -108 + 344. Let q = c + 99. Is q a prime number?
False
Let w = -23 + 31. Let c(u) = 292*u - 19. Is c(w) a composite number?
True
Suppose 28*n - 1142223 = -29*n. Is n prime?
False
Suppose 3*t - 125 - 2443 = 0. Suppose 1490 = 6*m - t. Is m a prime number?
False
Let m = -89 + 89. Suppose 11*j - 9*j - 1958 = m. Is j composite?
True
Let s = 1924 - 1194. Let k = s + 533. Is k composite?
True
Suppose 5*c = 12867 - 3012. Suppose x - 5*x + c = -5*h, -15 = 5*h. Is x a composite number?
True
Let j(l) = -258*l**2 + 3*l + 5. Let a(r) = 129*r**2 - 2*r - 2. Let s(t) = 13*a(t) + 6*j(t). Is s(3) a composite number?
True
Suppose 3*b - 2149 = -139. Suppose -2*h + 170 = -q - b, -2*h = 2*q - 834. Is h prime?
True
Suppose -4*a + 3*l = 535 - 56, 4*l - 20 = 0. Let f = 193 + a. Is f prime?
False
Suppose 51 = 5*z - 14. Let a = -8 + z. Suppose -3*c = 3, -230 = -a*u + 5*c + 220. Is u a prime number?
True
Let v = -156 + 156. Suppose -7*t + 20*t - 18863 = v. Is t prime?
True
Suppose n = 4*c - 13008, -c - 2*n + 1102 = -2141. Is c a composite number?
False
Suppose u + 4*j - 399 = 305, -5*u = 3*j - 3588. Suppose -5*k + 1427 = 2*q + 515, 4*k = -4*q + u. Let g = k + -87. Is g composite?
False
Let t be (-1)/((-2)/(-7))*40/70. Is (-699 + t)/(-3 + 2) prime?
True
Is -1 - (16*-552)/6 a prime number?
True
Let s(g) = 7*g**2 + 29*g - 93. Is s(-27) a composite number?
True
Suppose -205595 = -80*i + 67*i. Is i composite?
True
Suppose 45*i = 7*i + 525502. Is i a prime number?
True
Let z = 402 + 620. Let j = 2692 - z. Let s = j + -997. Is s a composite number?
False
Let s(b) = -10*b - 5*b - 249 + 200. Is s(-20) a prime number?
True
Let q(z) = -43*z**3 + 10*z + 7. Is q(-4) composite?
False
Let z be 2*-194*(-3)/12. Suppose 545 + z = 3*i. Is i a composite number?
True
Let z(v) be the third derivative of -v**6/120 - 3*v**5/20 + v**4/6 + 11*v**3/6 - 3*v**2. Suppose -18*q + 15*q - 30 = 0. Is z(q) a prime number?
True
Is 2*(-3)/4*6532/(-6) a prime number?
False
Let q(x) = -1. Let a(d) = 32*d**2 - d + 1. Let s(h) = a(h) - 4*q(h). Is s(6) prime?
True
Suppose -22*f + 12*f = -294670. Is f a composite number?
True
Suppose -4*f = -10*f + 24. Let b(t) = 4 + 