be 8 - 2 - (7 - 4). Let x be 1*3 - (-3 + i). Suppose -3*s = 15, x*r - 551 = s + 3*s. Is r a composite number?
True
Let q(f) = -f**3 - 7*f**2 + 8*f - 8. Let o be q(-8). Is (3 - -1)*(-6310)/o composite?
True
Let u = 14 - 9. Suppose -489 = u*p + 2*g, -p - 2*g = -2*p - 105. Let l = p - -176. Is l composite?
True
Suppose -720 = -2*a + 5*y - 98, 5*a - 5*y = 1540. Let o = a + 1061. Is o prime?
True
Let l(m) = -m + 1. Let j be l(-6). Suppose 0 = a - j + 2. Suppose a*r - 3*r - 70 = 0. Is r composite?
True
Let o(k) = 391*k - 28. Let n = -71 + 80. Is o(n) prime?
True
Suppose -9*n + 3*c = -4*n - 7, 2*n - 6 = -2*c. Suppose -n*q - 508 = -4*q - 2*f, 2*q = 3*f + 493. Is q a composite number?
False
Suppose 0 = -5*a - 3*c, 0*a + 5*c = -2*a. Suppose a*h - 20 = -5*h. Suppose 2*j + j + 3*v = 873, -h*j + 2*v + 1176 = 0. Is j a prime number?
True
Let s = -33813 + 51470. Is s prime?
True
Let t(j) = 5*j**2 + 2*j - 5. Let q = 7 - 9. Let u = q - -10. Is t(u) a composite number?
False
Let t(d) be the first derivative of 2*d**3/3 + 9*d**2/2 + 8*d + 1. Is t(-7) composite?
False
Suppose 0 = n - 3*n + 8. Suppose -n*u + u = -24. Is (582/(-24))/((-1)/u) a prime number?
False
Let p = 1 + 2. Let d(u) = 8*u**2 - 3*u - 10. Let g be d(-2). Suppose -p*j = -g - 230. Is j a composite number?
True
Let k be 23695/21 + 6/9. Suppose 3*s - 494 = k. Is s prime?
True
Let p = -2 + 12. Let z be p/3 - 4/(-6). Suppose -a = z*q - 432, -5*q + 533 = -a + 4*a. Is q composite?
False
Let p(s) = -9*s**2 + 3*s - 3. Let y be p(1). Let d(o) = -10*o + 25. Is d(y) composite?
True
Suppose 41439 = 4*u - 64717. Is u a composite number?
False
Is (-3002064)/(-144) - (-4)/3 composite?
False
Suppose -w - 7 = 5*m, 5*w - 3*m - 4 = 17. Suppose -3*f = -f - 4*b + 32, 5*b + 59 = -w*f. Is (-268)/(-7) + f/63 composite?
True
Is (-489)/(8/(-32)*4) a prime number?
False
Is -2 + 9*1052/12 a composite number?
False
Is 132602/11 - (-222)/814 prime?
False
Let w be (-20)/(-6) + 4/6. Suppose -m = m - w. Suppose -5*c + 176 = z + 6, -2*z = m*c - 68. Is c a composite number?
True
Suppose -20 = -3*h - 5. Suppose 0 = -d + 2*d - 5, -h*n - 2*d = -20. Suppose 3*w - 101 = n*x, x + 0*x - 42 = -w. Is w a prime number?
True
Let t = -3 + 4. Let s be 1/(t - 0)*3. Suppose s*x - 1196 = -185. Is x a prime number?
True
Let j(u) = -200*u**3 - 7*u**2 + 6*u - 5. Is j(-4) a prime number?
True
Suppose 12815 + 22877 = 4*d. Is d a composite number?
False
Suppose 5*s - 5*c = -170, -5*c + 4*c - 4 = 0. Let h = 67 + s. Is (18 - h)/(1/(-11)) a composite number?
True
Suppose -3*h - 4*a + 28 = 0, 2*h + 0*a - 12 = -a. Suppose h*l + 1057 - 3789 = 0. Is l a composite number?
False
Let r(m) = -m**3 - 25*m**2 - 22*m + 47. Let d be r(-24). Let g(z) = 943*z**2 + 2*z. Is g(d) a composite number?
False
Let k be 0 + (-15)/5*-1. Suppose 0*r - k*r - 3*j + 681 = 0, -3*j + 225 = r. Suppose 0 = -p - 5*q + r, 3*q + 702 = -p + 4*p. Is p a composite number?
False
Let c be (-3)/((-12)/20) + -3. Suppose -3*k + 3106 = k + 2*x, -1549 = -c*k + 3*x. Suppose 5*i - k = 539. Is i composite?
False
Let f(s) = 20*s**3 + 0*s + 4 + s - 96*s**2 + 94*s**2. Let g be f(3). Suppose -10*q + 9*q + g = 0. Is q a prime number?
False
Let i(l) = l + 1. Let s(z) = -5*z - 13. Let y(u) = 2*i(u) + s(u). Let r be y(-5). Is (133/14)/(2/r) prime?
True
Suppose 6*y = 8*y + 142. Is y/(-2) + (21/2)/7 prime?
True
Let t(d) = d**2 - d. Let u(p) be the first derivative of p**4/4 + 11*p**2/2 - 8*p + 6. Let w(m) = -4*t(m) - u(m). Is w(-6) prime?
False
Let i(y) = y**2 + y - 1. Let r(g) = -99*g**2 + 4*g - 1. Let c(u) = 2*i(u) - r(u). Is c(-2) a composite number?
True
Let x = 11478 + -961. Suppose 3*w - 7289 = 4*b - 17788, 0 = -4*b - 3*w + x. Is b a composite number?
True
Let t be 38/12*698 + 3/(-9). Suppose 0 = -3*z + 1357 + t. Is z prime?
False
Suppose -4*u - 3*w = -1249 - 1705, u + 2*w = 741. Is u a composite number?
True
Is 10/25 - 28899/(-15) prime?
False
Is -851*(-3)/(-3 + 6) prime?
False
Suppose -18*i = -10*i. Is 1 - -3149 - (-5 + (6 - i)) prime?
False
Let n(y) = -y + 12. Let w be n(10). Suppose 0 = -w*i - f + 1871, 0 = 2*i - 3*i - 5*f + 958. Is i prime?
False
Let g be (10/3)/(-5)*-15. Let v = -7 + g. Suppose 5*w = -4*y + 267, w + v*y = -2*w + 162. Is w prime?
False
Let c(h) = h**3 + 15*h**2 - h - 14. Let m be c(-15). Let n be 0 + m + 2 + -1. Is (329/(2/n))/1 a composite number?
True
Is (10/6 - (-12)/(-18))*9901 a prime number?
True
Suppose d - 3*d + 10 = 0. Suppose -18 = -4*x + d*t, -5*t = 2*x - 4*t - 2. Suppose -x*k + 99 - 33 = 0. Is k composite?
True
Suppose -u + 20010 = 2227. Is u prime?
True
Suppose -5*r - 28 = g - 3*g, -2*r = 5*g - 12. Let z(k) = 11*k**2 + 3. Is z(g) a composite number?
False
Let d(c) = c - 8. Let l be d(10). Let b(t) = -4 + 1 + 97*t**2 + 2*t - 75*t**2. Is b(l) prime?
True
Suppose u + 92 = -3*u. Is (-18 - u)*(-1502)/(-10)*1 prime?
True
Let a(k) = 15*k**3 + 37*k**2 + 53*k**3 - 5 - 40*k**2 - 2*k. Is a(4) composite?
True
Suppose -5767 = -2*h - 3*h - 4*i, 0 = -h - 5*i + 1166. Is h a prime number?
True
Let s(k) = -9*k**3 + 35*k**2 - 17*k - 7. Let a(q) = 6*q**3 - 23*q**2 + 11*q + 5. Let f(v) = 8*a(v) + 5*s(v). Suppose -i = -2*i + 6. Is f(i) a composite number?
False
Let d = 20 - 17. Let j be -5*(51/(-15) + d). Suppose j*k - 388 = -2*k. Is k composite?
False
Suppose y - 4*c + c = 598, 3*y = -c + 1754. Suppose -y = -2*u - 0*u. Is u a composite number?
False
Let r(s) = 66*s - 8. Let l be r(-7). Let a = 743 + l. Let g = -22 + a. Is g composite?
False
Let m = 4446 - 2509. Is m a prime number?
False
Let y = 3607 - -1698. Is y composite?
True
Suppose 0 = -4*z - 2*h, 2*z - 2*h - 2 = 10. Let g(v) = 0*v**2 - v**3 - 9*v**2 + 0*v**z + 5 - 4*v**2 - 6*v. Is g(-13) a prime number?
True
Let a(p) = -2*p - 2. Let u be a(-3). Suppose -5*t + 1726 = 3*h, -3*h - 1397 = -8*t + u*t. Suppose -3*o + 879 = -k, o - k - t = -54. Is o prime?
True
Let d = -4244 + 7315. Is d prime?
False
Let z(d) = -7*d - 1740. Let m(i) = -i + 1. Let p(n) = 5*m(n) - z(n). Is p(0) a prime number?
False
Let f(y) = 4*y**2 - 4*y + 59. Is f(-13) a composite number?
False
Suppose k - y - 5558 = 0, 0 = 3*k - 5*y - 20494 + 3830. Is k a prime number?
True
Let t(o) be the first derivative of 2*o + 7*o**2 - 4*o + 1 + 3*o. Is t(6) prime?
False
Let u(p) be the second derivative of -11*p**3/6 + 47*p**2 - 3*p. Let j(o) = -5*o + 47. Let n(a) = 9*j(a) - 4*u(a). Is n(0) prime?
True
Let n = -38 - -42. Suppose 0*h = -5*h - 2*i + 2137, -5*i - 1703 = -n*h. Is h prime?
False
Is 16054/7 - (-93)/(-217) prime?
True
Let y = -16504 - -49582. Suppose -949 - y = -7*s. Is s prime?
True
Suppose -20 = 5*u, -2*c - 10*u + 13*u + 42130 = 0. Is c a prime number?
True
Let r = -18 + 27. Let n(t) = t**3 - 9*t**2 + 17*t - 10. Let w(p) = -2*p**3 + 19*p**2 - 33*p + 19. Let g(i) = 7*n(i) + 4*w(i). Is g(r) a composite number?
True
Let v(u) = 608*u**3 - 11*u**2 + 16*u - 17. Is v(4) a composite number?
False
Let u = 2003 - 82. Is u prime?
False
Let c = 1 + 1. Suppose -4*h + 11205 = 5*d - 0*h, -c*h = -3*d + 6701. Is d a composite number?
False
Suppose -4*a = -a - 1542. Let i = a + -251. Is i prime?
True
Let i = -49 + 39. Is (i/12 + (-2)/(-6))*-1516 a prime number?
False
Let d(m) = -40*m**3 - 5*m**2 + 7*m - 5. Let v be d(-5). Suppose 0*c = -5*c + v. Is c composite?
False
Suppose -11303 = -2*f - 5*z + 12696, -5*f = -z - 60038. Is f composite?
False
Suppose 24*f - 18572 = 20*f. Is f composite?
False
Suppose -1209547 = -16*v - 12411. Is v composite?
False
Suppose -4*l - 3*p = -10, 2*l + l - 5*p = 22. Suppose -3*n = 5*i + 1733, n + 343 = -i + l*n. Let m = i - -609. Is m a prime number?
True
Let b(k) = -k**2 - 2*k. Let r be b(-2). Suppose s + r*s - 3 = 0. Is (-65)/(-2)*6/s composite?
True
Suppose -3*f + 15 - 9 = 0. Suppose 0 = f*g + 3*g. Suppose 3*q - 5*j - 498 - 1171 = g, 3*q = -2*j + 1697. Is q prime?
True
Let w = 1 - -44. Let s = w + 262. Is s composite?
False
Let b(f) be the first derivative of -9*f - 5/3*f**3 + 2*f**4 + 2 - 1/2*f**2. Is b(4) a composite number?
False
Let g be (26/(-4))/((-3)/(-318)). Let q = -116 - g. Is q a composite number?
True
Let w be ((-18)/(-3))/((-6)/16). Let t be (-645)/(w/(-4) + -5). Suppose -7*i = -4*i + 4*c - t, 5*i - 4*c = 1043. Is i a prime number?
True
Let a be 1790/4*24/(-15). Let s = -421 - a. Is s a composite number?
True
Suppose 0 = -6*z + 2*z + 1000. Let 