posite number?
False
Let j = 1424 + -351. Is j a composite number?
True
Suppose 2*o - 582 = 890. Let u = o - 47. Is u a composite number?
True
Suppose -5*v + 89281 = 14*v. Is v prime?
False
Suppose j - 7 - 2 = 0. Is 8764/21 + 15/j composite?
False
Let f = -3 + 2. Let y be f/2*2 + 229. Let u = y - 105. Is u a composite number?
True
Let b(l) = 121*l - 7. Let h be b(3). Let n = -15 + h. Is n composite?
True
Is 394596/14 + 3 + 4/7 composite?
True
Let o(i) = -i**2 - 10*i + 12. Let c be o(-11). Suppose 3*x - 559 = -2*r, 0 = -5*r - 3*x + 1394 - c. Suppose -y + r = y. Is y a composite number?
False
Let r = 60 + -63. Is 2614/4*1 - r/(-6) a prime number?
True
Let g = -1745 + 1218. Let l = g - -355. Let f = 295 + l. Is f composite?
True
Let x(j) = 11*j**2 + 9*j + 13. Let r be x(6). Let a = -269 + r. Is a prime?
False
Let f be 40/12 - (-1)/(-3). Suppose 2*i = 3*i - f. Is 88 + (i - 1) + -1 a prime number?
True
Let g = -3 + 8. Suppose 0 = -6*r - 13 + 43. Suppose g*d - 2*a + r*a = 1074, 5*a = 5*d - 1050. Is d a composite number?
True
Let h = 35 + -31. Let v be 0*(1 - 0)*-1. Suppose h*f + 3*t + t - 200 = 0, -5*f + t + 226 = v. Is f composite?
True
Suppose 2*t - 22 = 4*t. Let w = 14 + t. Is ((-62)/w)/(24/(-36)) composite?
False
Let n(o) = -1352*o - 8. Let g be n(5). Is 1/7 - g/7 a prime number?
True
Suppose 2*q - 5 = -5*i - 3*q, -4*q + 4 = -3*i. Suppose 17*l - 14*l - 1173 = i. Is l prime?
False
Let j be (-1 - -263)*13/2. Let l = -1192 + j. Is l composite?
True
Let t(b) = -277*b + 35. Let a(n) = -555*n + 71. Let l(w) = 4*a(w) - 9*t(w). Is l(24) composite?
False
Let w(l) = -10*l + 92. Let a be w(9). Suppose 0*n - 5*n + 165 = 0. Is 249/a*242/n composite?
True
Let p be -1*1*(26 + -28). Suppose 4*g = -5*c + 124, -g + p*c + 0*c + 31 = 0. Is g composite?
False
Suppose 3*l - 6*l + 39 = 0. Let u(v) = 8*v - 8. Let r be u(l). Let f = r + 31. Is f prime?
True
Is 17392305/490*(-1)/(3/(-2)) composite?
False
Let t(y) = -616*y - 43. Is t(-5) a prime number?
True
Let j = 1 + 0. Let d be 0 + 3 + j*-6. Is (-400)/d + (-4)/12 prime?
False
Let x(m) = -33*m**3 + 7*m**2 + 4*m + 37. Is x(-7) composite?
True
Suppose -5*a = -4*h - 6713, 2*a - 2081 = 5*h + 594. Is a composite?
True
Suppose 0 = -26*b + 683055 + 72947. Is b prime?
True
Let n be 24/(-3)*(-4)/8*-44. Let o = n + 1215. Is o prime?
True
Let q(k) be the second derivative of k**5/20 + 11*k**4/12 + 2*k**3 + k**2/2 - 7*k. Is q(-8) composite?
False
Suppose -3*l - 1637 = 5*c, -1633 = 5*c - 3*l - 20. Let q = -228 - c. Is q prime?
True
Let z(b) = -b**3 - 8*b**2 - 8*b - 18. Let a be z(-9). Suppose 3*v - 66 - a = 0. Is v a prime number?
True
Is (-51720)/(-14) - (-10)/(-35) composite?
True
Let a(g) = -5*g + 50. Let b be a(10). Suppose 5*t - 5*r - 1363 - 317 = b, r = -5. Is t prime?
True
Let l(c) = -3*c + 7. Let z be l(7). Is (-26)/91 + (-11022)/z a composite number?
False
Let n be 36/8 - (-4)/8. Suppose 2*r = n*r - 15. Suppose -4*x + r*g = -207, 0*g = 4*x - g - 211. Is x composite?
False
Suppose -116 - 360 = 2*r. Suppose -3*k - 520 = k - 2*j, -2*j - 8 = 0. Let n = k - r. Is n prime?
False
Let s = 31 + -37. Let u(w) = -6*w + 2. Is u(s) a prime number?
False
Let r = 6571 - 2978. Is r a prime number?
True
Let s(m) = 118*m - 1. Let f be s(1). Suppose 0 = -v + 2*v - f. Suppose -v = -2*o + 709. Is o composite?
True
Let m(o) = 6*o**2 + 10*o + 14. Let b be 4/(-20) + 54/(-5). Let p be m(b). Suppose r = 3*r - 2*s - p, -r = 5*s - 327. Is r a prime number?
True
Let b(x) = -1 - 9*x + 9*x - 2*x - x. Let l be b(-15). Is 11/(l/640) + 3 composite?
False
Suppose -2*q + 3*o = -6989, q - 2*o = -q + 6992. Is q a prime number?
True
Let w(u) = 5*u**3 - 36*u**2 - 12*u - 51. Is w(16) a composite number?
True
Let r(c) = c**2 - 6*c + 11. Let h be r(4). Let m be h*1/((-12)/(-376)). Suppose j - 293 = -m. Is j prime?
True
Let g(f) be the first derivative of 112*f**3/3 - f**2/2 + 1. Is g(-1) prime?
True
Let w be ((-2)/(-4))/((-3)/(-378)). Is 15962/18 - (-14)/w prime?
True
Let a(r) = r**3 - 2*r**2 - r + 5. Let v be a(0). Suppose -5*p + 20 = 0, v*s - 3301 - 2648 = -p. Is s a prime number?
False
Suppose 3*s + 2*s = 3115. Let v = s - 258. Let d = 524 - v. Is d composite?
True
Let o(b) = -b**3 - 12*b**2 - 5*b - 5. Let d be o(-11). Let l = 132 - d. Is l prime?
False
Let d be 3 + -7 - (3 - -691). Let n = 5691 - d. Is n prime?
True
Let n = -6301 + 37988. Is n composite?
False
Let p be 2/12 - 161/(-42). Is (-3300)/(-48) + 1/p a composite number?
True
Let j(k) = k**3 - 5*k**2 - 2*k + 4. Let l be j(6). Suppose 31*q = l*q + 10779. Is q a prime number?
True
Let n = -947 + 2308. Is n a prime number?
True
Suppose -x + 7*x = 0. Suppose 0*f - 2*u = f - 2521, -f + 4*u + 2497 = x. Is f a composite number?
True
Let a(u) = -151*u**2 + 9*u - 18. Let s be a(3). Let y = -473 - s. Is y a prime number?
True
Let a = 7106 + 9497. Is a prime?
True
Is (-4)/22 - (7 - 103428/33) composite?
True
Suppose 82 = 2*t - 70. Suppose 5*s = 1531 - t. Is s a prime number?
False
Let a(j) = 74*j**2 + 4*j - 3. Let t be a(-4). Suppose 0 = 6*r - 173 - t. Is r prime?
True
Suppose -1303 + 132 = -r. Suppose 6*i - r = 839. Is i composite?
True
Suppose 11630 = 4*k + 4*a + 3022, -3*k = -4*a - 6477. Is k composite?
True
Suppose 2*h + 15069 = x, 5*x - 75352 = 54*h - 51*h. Is x composite?
True
Is (-5646)/4*-7*16/168 composite?
False
Suppose 6*v = v - 20. Let g = 0 - v. Let x = g - -11. Is x composite?
True
Suppose 0 = 5*f - 20 - 10. Is 7184/40 - f/10 prime?
True
Suppose 3*i - 1 = -2*h - 4, -1 = i + 3*h. Is 4640/56 - (i + 6/7) a composite number?
False
Let f be 2*(-31)/(-2) + -2. Let h = f + 24. Is h prime?
True
Let m(q) = q**3 - 6*q**2 + q - 2. Let g be m(6). Let o = g + -2. Suppose o*w + 2*w = 508. Is w a prime number?
True
Suppose 5*i - 22 = 3*m - 1, -4*m + 7 = 5*i. Let u be (-3 - i)*2/3. Is 2/u - (-108)/8 composite?
False
Let g(l) = 2*l + 3. Let t be g(1). Let b(f) be the first derivative of f**4/4 - 2*f**3 + 3*f**2 + f - 1. Is b(t) composite?
True
Suppose -29*v + 25 = -24*v. Is v + 5248/20 - 4/10 a composite number?
True
Suppose -63*s + 356630 = -408757. Is s a composite number?
False
Let i(q) = q**2 - 4*q + 3. Let v be i(6). Let d(j) = -j**2 + 15*j + 19. Is d(v) composite?
False
Let d(t) = -t**3 - 6*t**2 + 9. Let j be d(-6). Suppose -1804 = j*o - 13*o. Is o a composite number?
True
Suppose 33*w + 1162643 - 3702026 = 0. Is w a composite number?
True
Let o be 2/(-11) - (-159)/(-33). Is (-1467)/o + 40/(-100) prime?
True
Suppose 2 + 4 = 3*n. Suppose 0*j - 19 = 2*m + 5*j, n*m - 4*j = 26. Suppose 0 = -m*t - 5*h + 2437, 4*t - 4*h = -0*t + 3228. Is t prime?
True
Let a(d) = d**2 + 2*d + 3. Let u be a(-3). Suppose 11*j - u*j = 415. Is j composite?
False
Let d(q) be the second derivative of q**4/3 - 5*q**3/3 + 37*q**2/2 + 6*q. Is d(-15) a prime number?
True
Let m(k) = 24*k. Let j(v) = v**2 - 4*v - 3. Let q be j(5). Let f be m(q). Let w = f + 31. Is w a composite number?
False
Let d be (3/9)/(2/(-30)*1). Is 5 - ((-410 - -1) + d) a prime number?
True
Let q be (6/(-4))/(2*(-6)/48). Suppose 0 = -4*b - 12, -q*u + 2*u = 2*b - 1630. Is u composite?
False
Let k = -15401 + 29704. Is k composite?
False
Let w = 2504 - -129. Is w a prime number?
True
Let c(f) = 268*f**2 - 4*f + 2. Let s be c(2). Suppose 2*t = -5*r + 1101, -5*r + 33 + s = 3*t. Is r composite?
True
Suppose -3*q - 4*q + 4109 = 0. Is q a prime number?
True
Is 84/126 + (-255783)/(-9) a composite number?
True
Suppose -289597 = -280*j + 269*j. Is j prime?
False
Let g = 1406 - -1127. Is g composite?
True
Let c be (-18 + 3)*((-416)/12)/4. Suppose z = 3*p + c - 1333, 2*z + 1604 = 4*p. Is p prime?
True
Suppose 192 + 306 = 2*a. Let w be (-574)/22 + 15/495*3. Let r = a + w. Is r a prime number?
True
Let v(a) = 1 - 124*a + 1 - 3 + 0. Is v(-6) a prime number?
True
Let i(g) = -6*g - 17. Suppose 4*l + 145 = 5*o - l, 3*o = -l + 91. Let p be ((-8)/(-10))/(-2)*o. Is i(p) prime?
False
Suppose -9*g - 18 = -3*g. Let d(f) be the first derivative of 6*f**3 + 5*f**2/2 + 2*f + 1. Is d(g) a prime number?
True
Is -3*(30/20 + (-173644)/24) a prime number?
True
Suppose -3*q + 5*l - 28305 = 0, 5*q + 4*l = -13401 - 33774. Let s = -5450 - q. Is s a composite number?
True
Let h(z) = 3*z**2 - 1. Let j be h(-1). Let r(m) = 14*m**2 - 2*m + 1. Is r(j) a prime number?
True
Let j = 307 + 3514. Is j a prime numb