osite?
False
Let v = -4256 + 7189. Is v a prime number?
False
Let j = 185 + 137. Suppose 7*y - 12285 + 574 = 0. Suppose j = o + 4*v, 7*o - v = 2*o + y. Is o a prime number?
False
Let g be -1 + 4 + (0 - -1). Suppose g*z + 3*t = 514, 0 = z - 3*z + 4*t + 246. Is z a composite number?
False
Is (-165470)/(-18) - 32/(-144) a composite number?
True
Let r = 68 + -50. Let t be ((-20)/30)/(4/6). Let d = r - t. Is d a prime number?
True
Suppose 5*f + 0*f = 25. Let t(y) = 16*y - 1. Let x be t(f). Suppose q + 4*p - x = 0, 0*q = -5*q - 5*p + 350. Is q a composite number?
False
Let w be 3/(4/8*3). Let m(q) = q + 2*q**w - 120*q**3 + 4*q + q - 5*q. Is m(-1) a composite number?
True
Let n(z) = -2*z**2 + 12*z + 7. Let a(r) = r**2 - 13*r - 7. Let p(w) = 3*a(w) + 2*n(w). Suppose -4*m - 28 + 0 = 0. Is p(m) prime?
False
Let q be (6/4 - 0)*28/(-21). Is 1338 + 14/2 + q a composite number?
True
Suppose -3*m = 4*f - 341 + 9, 2*m - 226 = -5*f. Suppose -6*p + 2*p + m = -4*b, -5*p - 4*b + 90 = 0. Is p a composite number?
True
Let x = -32 - 12. Is 2710/4 + 22/x a prime number?
True
Is (226068/(-18))/(1 + 20/(-12)) prime?
True
Suppose 2*q - 2*m = 2, 3*q + 0*q + 2 = -2*m. Suppose q = -5*f + 71 + 274. Is f prime?
False
Let n be 4/(-18) + -6*(-50)/135. Suppose -2*x + 0*x = -3*l - 1774, -3*x = -n*l - 2661. Is x prime?
True
Let b(k) = -k + 3. Let l be b(3). Suppose -2*n = 15*n - 51. Suppose -n*c + 7287 = -l*c. Is c a prime number?
False
Let g be 46/11 - (-8)/(-44). Suppose 0 = -0*k + g*k - 644. Let r = k + -108. Is r a composite number?
False
Suppose 33370 = 18*z - 10604. Is z prime?
False
Let o(i) = 5*i - 8. Let w(x) = 5*x - 9. Let r(z) = 4*o(z) - 3*w(z). Is r(14) a composite number?
True
Let h(u) = -2*u**2 + 5*u - 2. Let j be h(3). Let d(b) = 170*b + 8. Let n(p) = 87*p + 4. Let i(c) = 2*d(c) - 5*n(c). Is i(j) prime?
False
Suppose 21*l - 7582 = 3779. Is l a prime number?
True
Suppose 25*w = 7*w + 39006. Is w prime?
False
Let r(d) = -d - 7. Let n be r(-6). Is n - (-114 + 4)*1 prime?
True
Let b(m) = m + 1. Let l be b(-6). Let p(n) be the second derivative of 31*n**4/12 + 2*n**2 - 208*n. Is p(l) prime?
False
Let t(d) = -1 + 1 + 0 - d. Let j be t(-2). Suppose 5*v = -0*v - 2*p + 195, 89 = j*v + 3*p. Is v a composite number?
False
Let j = 576 - 311. Is j a composite number?
True
Suppose 5*z = 37*z - 159072. Is z a composite number?
True
Is 17028 - (1 - 4) - 8 a prime number?
False
Let y = 29725 - 20198. Is y composite?
True
Suppose -4*d = -14 - 6. Suppose -2 = -r + d*p, -p = 3*r - 22 + 96. Is (-2)/7 + r/(-7) composite?
False
Suppose 9*y + 270 + 414 = 0. Let b = -57 - y. Is b composite?
False
Suppose 118*s - 166236 = 106*s. Is s prime?
False
Suppose -13*f = -8*f - 47345. Is f a composite number?
True
Let t be ((-5)/(-5))/(3/177). Suppose -y - t = -1780. Is y a composite number?
False
Let y(s) = s**2 + 3*s - 14. Let t be y(-6). Suppose t + 4 = 2*g, -3*d - 2*g + 1130 = 0. Let z = d - 163. Is z prime?
True
Let l be (-64)/48*(-18)/8. Let k be 101 + l/3 + 2. Let v = k - 25. Is v prime?
True
Let p = 2718 - -12901. Is p a prime number?
True
Let u = -16 + 16. Suppose 2*y - 219 - 187 = u. Let j = y - -438. Is j prime?
True
Suppose 3*f + 0 = -2*v + 2, -4*v - 40 = -5*f. Suppose -3*w - 3*s - 31 = -109, -f*s = w - 14. Is 3/2*1480/w a prime number?
False
Let h(f) = -f**2 - 14*f + 19. Let q be h(-14). Suppose -v = q - 164. Is v prime?
False
Suppose o + 3*c = 2174, c + 8641 = 4*o + 2*c. Is o a composite number?
True
Let k be (-1 - 1740/(-2))*1. Suppose -2*i + 4*r + k = i, 291 = i - r. Is i a composite number?
True
Suppose -2*h + 1232 = -1356. Let v = 2549 - h. Is v a composite number?
True
Let o(v) = 376*v**2 + 5*v - 3. Suppose -15 = 4*j - 23. Is o(j) prime?
True
Let x(u) be the third derivative of -u**6/24 - 7*u**5/60 - 2*u**4/3 + 5*u**3/6 - 5*u**2. Is x(-5) a prime number?
False
Let a(x) be the second derivative of -89*x**3/6 - x**2 - 15*x. Is a(-3) a composite number?
True
Suppose -51*k + 57396 = -45*k. Is k prime?
False
Let w = -7 - -10. Suppose 6 = 3*k, -4*q = -0*k + w*k - 18. Suppose -q*x + 63 = -0*x. Is x a prime number?
False
Let p(y) = -y**3 - 6*y**2 - 6*y - 7. Let c be p(-5). Let k be (4 + c)*(-2)/4. Is (-2770)/(-25) + k/(-5) a composite number?
True
Let t(b) = -35*b**2 - b + 5. Let u(j) = -18*j**2 + 3. Let s(f) = 2*t(f) - 5*u(f). Is s(4) a prime number?
True
Suppose -14 = -9*z - 41. Is (-4332)/(-8) + z/6 a prime number?
True
Is 129*((-9)/(-18) - (-382)/12) a prime number?
False
Let r(y) = -y**3 + 57*y**2 + 17*y - 434. Is r(51) prime?
False
Suppose 4*g = -3*u + g + 41526, 0 = -2*u + 4*g + 27666. Suppose -6*r = r - u. Is r a composite number?
True
Let j(f) be the third derivative of -11*f**6/240 - 5*f**5/24 + 5*f**4/24 - 3*f**2. Let d(s) be the second derivative of j(s). Is d(-12) prime?
False
Let q = -532 + 659. Is q prime?
True
Let d(m) = -1077*m + 5. Let y be d(2). Let a = 3036 + y. Is a a prime number?
True
Is (-14)/(-6) + -2 + (-5980)/(-6) prime?
True
Suppose 0 = 4*q - 5*q. Suppose -l - 3 + 9 = q. Is (-662)/(-12) + l/(-36) composite?
True
Suppose 15 = -3*d, 22 = 4*c - 0*c - 2*d. Suppose -2152 = -c*h - 5*s - 154, 5*s - 2669 = -4*h. Is h a prime number?
False
Let g = -11 + 17. Let d(u) be the third derivative of -u**6/120 + 3*u**5/20 - 7*u**4/24 + u**3/2 + u**2. Is d(g) a composite number?
True
Suppose -c - 163 = -n + 6*n, -9 = 3*c. Let a = -50 - n. Is 2/(-3) + (-1758)/a a prime number?
True
Suppose -h + 15742 = 5*l, -62905 = -4*h - 75*l + 76*l. Is h a composite number?
False
Suppose 13*t = -5*t + 303786. Is t a prime number?
False
Let k be (-77)/(-33) - 1/3. Suppose k*j - 1233 = -j. Is j a prime number?
False
Let t be 1 - (1 - -1 - 15022). Let a be (-4)/(-6) + t/27. Suppose 303 = 4*o - a. Is o a composite number?
True
Let a(q) = q + 1. Let c be a(3). Suppose -5*w + w - 5*b = -2504, -3*b = c*w - 2512. Is w a prime number?
True
Suppose -4*u + 185828 = -5*r, -139371 = -3*u + 3*r + 2*r. Is u composite?
False
Let q(o) = 3*o - 4. Let i be q(0). Let k(u) = -80*u - 13. Is k(i) composite?
False
Let x(j) = 235*j + 96. Is x(13) a prime number?
False
Is (-2)/(15/10 + -2) - -2737 a prime number?
True
Suppose -o + 2 = o, 0 = 5*g + 4*o - 32519. Is g prime?
False
Suppose -2*j - 92 = 2*j. Let y = j + 13. Is (-2)/(-5) - 486/y prime?
False
Let i(x) = x**3 + 4. Let d = -4 + 4. Let k be i(d). Suppose -k*q = -q - 21. Is q a composite number?
False
Suppose 0 = -3*d - 5*p + 3208, -5280 = -4*d - d + 5*p. Is d composite?
False
Let j(z) be the second derivative of z**4/12 + 3*z**3/2 + 6*z**2 + 4*z. Let l be j(-8). Is -4*l/(-16) + 20 a prime number?
False
Let m(r) = r**2. Let i(x) = 2*x**2 - 6*x + 7. Let g(n) = i(n) + 4*m(n). Is g(7) a composite number?
True
Let w = -328 + 486. Is w a composite number?
True
Is (1637/4)/((-14)/(-56)) composite?
False
Suppose -3*h - 4*k + 159235 = 0, 217311 + 48073 = 5*h - k. Is h composite?
False
Let y be 1986/(-15)*(-10 + 0/2). Suppose -y = z - 5333. Is z prime?
False
Let z(q) = 4*q + 1588. Let m be z(0). Is (4 - 138/12)*m/(-6) composite?
True
Is (28/7 + -1046)/(2/(-5)) prime?
False
Let c(f) = -56*f**3 + 3*f**2 - f - 4. Is c(-2) a prime number?
False
Is 2/6 - (-1 - (-2686)/(-6)) prime?
True
Let c = -2552 + -4209. Is (2 - 3)*c/1 a composite number?
False
Suppose 5*u - 3*y - 29206 - 115587 = 0, -2*u + y + 57918 = 0. Is u prime?
True
Suppose q - 3*g + 7*g = 1379, -3*q = 3*g - 4182. Is q composite?
False
Let j be (-34)/(-6) + 14/(-21). Suppose 4*x + q = x + 1966, 5*x + j*q = 3270. Suppose -659 = -4*a - 2*f - f, 4*f - x = -4*a. Is a a composite number?
False
Let c = 36 - 36. Suppose 2*s = -5*x + 965, 3*x + c*s - 2*s - 563 = 0. Is x a prime number?
True
Let n = 12 - 10. Suppose -7*o = -2*o + 25, 0 = n*y + 3*o - 1627. Is y composite?
False
Let f(a) = 22560*a + 517. Is f(5) a prime number?
False
Let l(m) = -4*m**2 + 3*m + 2. Let g(s) = -5*s**2 + 4*s + 2. Let u(y) = 3*g(y) - 4*l(y). Suppose 0*i = r + 5*i - 16, -2*r + 2 = -5*i. Is u(r) composite?
True
Let k = -43 + 50. Suppose 3425 = k*w - 2*w. Is w a composite number?
True
Let r(o) = o**2 + 4*o + 2. Let z be r(-5). Is 24/56 - (-14690)/z a prime number?
True
Let n = 7114 + 6329. Is n composite?
True
Let d = 54 - 63. Let k = 10 - d. Is k prime?
True
Let x(m) be the second derivative of 5*m**4/12 - 5*m**3/6 - m**2/2 - m. Let u be ((-24)/(-