e number?
True
Is (-3389)/(-6) + ((-21)/18)/(-7) a composite number?
True
Suppose -5*c + 20 = 3*z + 2*z, -2*z - 4*c + 4 = 0. Suppose b + i + 26 = 0, z = 3*b + 4*i + 85. Let f = 9 - b. Is f prime?
False
Let f be (-1)/(1/(2 - 1)). Let m be (10/(-15))/(4/(-6)*1). Is 0 - (m + 58)*f a composite number?
False
Suppose -3*x + 4*q + 9 = -16, 4*x = -2*q + 26. Suppose -4*i - 193 = 2*r - x*r, 4*r = 4*i + 156. Is r a prime number?
True
Suppose 3 = -2*p + 7. Let h(q) = q**2 + 3*q - 16. Let m be h(-6). Suppose -c - m*x + 95 = -104, 5*c = p*x + 1019. Is c prime?
False
Let k(q) = 3*q + 1. Is k(3) a prime number?
False
Suppose -4 = -2*f - 2*y, -4*f - 2*y = -5*y - 8. Suppose -w = q - 10, -4*w + q - 5 + 20 = 0. Suppose 0 = -f*v + w*t + 6 + 23, -v - t = -4. Is v prime?
True
Let i(u) = u**3 + 7*u**2 - 5*u - 4. Let d be i(5). Let n = d - 104. Is n prime?
True
Let y = -2 - -1. Let o be y/(-2 - (-63)/33). Is o - 0/(2 - -1) composite?
False
Is (-2 + (-26)/4)*-74 a composite number?
True
Suppose -9*h + 96 = -7*h - 4*z, 0 = 5*h + 4*z - 170. Is h a prime number?
False
Let b = 249 + 386. Is b a prime number?
False
Let a be (-84)/(-20) + 1/(-5). Suppose 0*g - 583 = -5*j - a*g, 226 = 2*j - 2*g. Is j a composite number?
True
Let r = 131 + 306. Is r a composite number?
True
Let i(h) = -h**3 + 3*h - 5*h**2 - 1 + h + 7 + 11*h**2. Is i(5) composite?
True
Let f be 3/((1 - 3)/2). Is (-1)/f - (-232)/6 a composite number?
True
Let c(u) = 2*u**2 - 14*u + 9. Let w be 3*3*30/27. Is c(w) prime?
False
Suppose 7*z = 6*z + 277. Is z a prime number?
True
Let u be (0 + 2/6)*9. Suppose -18 = -2*b - b + a, -29 = -4*b + u*a. Let d = b - 2. Is d a prime number?
True
Suppose -3*b + 2*r + 6511 = 0, -b + 1471 = -4*r - 686. Is b a prime number?
False
Suppose 2*m - 4*c - 6424 = 0, -570 = -m + 4*c + 2640. Is m a composite number?
True
Is (-189)/(-2) - 5/10 prime?
False
Suppose 4*v = -5*h + 725, 4*v - 702 = -4*h - 118. Suppose 3*c + y - 21 - h = 0, -281 = -5*c + 2*y. Is c a prime number?
False
Let h be -4*((-3)/2 - 3). Let q = 33 - h. Is q a prime number?
False
Let j = 576 + -194. Suppose 0*x - j = -2*x. Is x composite?
False
Suppose h + 3*h = 0, -5*j = 2*h - 10. Suppose 5*q = j*k - 7*k + 935, k - 2*q - 199 = 0. Is k composite?
False
Let c(o) = o**2 - 10*o + 12. Let k be c(8). Is (-752)/(-22) + k/22 composite?
True
Suppose -5*t - 2*b - 25 = 0, -2*b - 3 = -2*t + 1. Let i(l) = 22*l**2 - 4*l - 4. Is i(t) a prime number?
False
Let k be (-1)/((-1)/2) + 2. Suppose -3*s = -5*i + 336 - 1084, 2*i = k*s - 1002. Is s a prime number?
True
Let x(d) = -d + 5. Let v be x(0). Suppose 335 = v*o - 4*o. Is o a prime number?
False
Let x(v) be the third derivative of v**6/120 + 2*v**5/15 - v**4/8 + 5*v**3/3 - v**2. Is x(-8) a composite number?
True
Suppose b + 1 = -2*x, -3*x - 8 = -2*b - 2*x. Let a be b/(-21) + 108/21. Let p(o) = 2*o**3 - 6*o**2 - 3*o - 2. Is p(a) prime?
True
Let x be 71 - (3 + -5 + 1). Suppose -28 = -4*d + x. Suppose 3*j - 17 = d. Is j a composite number?
True
Let b(l) = -l**2 + 2*l - 1. Let g(m) = m**2 - 4 + 1 + m**3 + 0 + 2. Let x(d) = -b(d) + g(d). Is x(3) a composite number?
True
Suppose -d = 4*n - 53 - 110, 0 = d - 5*n - 118. Is d a prime number?
False
Let t be (-1)/((9/3)/(-12)). Let n = t - -117. Is n composite?
True
Let y be (2/(-5))/(1/20). Let m be 3 + -4 + 1 - y. Let o(d) = 27*d - 5. Is o(m) a composite number?
False
Is 1/(-4*(-3)/1524) prime?
True
Let o = 273 - 181. Let j = 295 - o. Is j a composite number?
True
Suppose -5*r + 2*i = -187, 4*r - 2*i - 112 = 36. Let g be r - (-6)/(2 - -1). Suppose -3*k - l = -g, 0 = k - 5*k + 5*l + 61. Is k composite?
True
Let s = -35 + 70. Is s prime?
False
Let k(d) = d**2 - 4*d - 43. Is k(13) a composite number?
True
Let h = -43 + 9. Is (h/(-3))/((-3)/(-9)) a composite number?
True
Suppose c + c - 6 = 0. Suppose 8*j - c*j - 255 = 0. Is j a composite number?
True
Suppose -5*n - b = 828, -b - 159 = n + 9. Let j = n + 250. Is j a composite number?
True
Is 92710/25 + (-3)/(-5) composite?
False
Let w(a) = 7*a**3 - 5*a**2 + 6*a + 1. Is w(3) prime?
True
Suppose -16*s + 12*s = -17948. Is s prime?
False
Let t(x) be the second derivative of x**4/12 + x**3/2 + 3*x**2/2 + x. Let q be t(-3). Suppose -4*a = -5*o + q*o + 58, 3*o = -4*a + 47. Is o a prime number?
False
Let o(a) = 2*a**3 - a**2 - 3*a - 4. Let l be o(4). Is (-2)/2 + (l - -2) a composite number?
False
Let z(s) = 21*s + 9. Is z(8) prime?
False
Suppose 3*i = -3*n + 1704, 3*i = -n + 839 + 863. Suppose 0 = 3*z - 3*y - i, 0 = -4*z + z + y + 559. Is z prime?
False
Suppose 3*x + 3*y = 645, -x - 3*y + 72 + 151 = 0. Is x prime?
True
Let q(a) = a**2 + a + 180. Let n be q(0). Suppose 2*w + n - 818 = 0. Is w composite?
True
Let c(g) = g**2 - 11*g + 11. Let q be c(11). Let m = q + -5. Is m composite?
True
Let b be -1*-1*(2 + 3). Suppose -3*d + 7 = -z + 3*z, -20 = -b*d + 5*z. Suppose -3*v = 2*j - 269, 132 = j - d*v + 20. Is j a composite number?
False
Suppose -1655 = 3*n + 2*n. Let p = -96 - n. Suppose -4*m - m = -p. Is m a prime number?
True
Is 4 + (125 - (5 - 3)) a composite number?
False
Suppose k + 1255 = 5*h, -2*k - 240 = 5*h - 1495. Is h a prime number?
True
Let o = 1082 + -699. Let b = o - 242. Is b prime?
False
Let f(l) = 5*l**2 + 3*l + 13. Let z(b) = 2*b**2 + b + 4. Let a(w) = -3*f(w) + 8*z(w). Is a(8) composite?
True
Suppose t - 219 = -0*t. Let s = t - 156. Suppose -2*b = -s + 25. Is b composite?
False
Let a(w) = 0*w**3 - w**3 + 7*w + 5*w + 11. Is a(-8) composite?
True
Suppose 5*o = -3*g + 2*g + 131, 5*o = -4*g + 449. Is g a composite number?
True
Let a be (2 + -2 + -1)/(-1). Let o(v) = 2 - 3*v - a - 2*v**2 + 3*v**2 + v**2. Is o(4) prime?
False
Let c = -6 - -4. Let x = c - -2. Suppose x = -4*z + z + 21. Is z a prime number?
True
Let b(l) = -l**2 + 48. Let u be b(0). Let t = -25 + u. Is t a composite number?
False
Suppose 0 = m + 4*z + 14, 10 + 4 = -3*m - 5*z. Let r(g) = -559*g - 4. Let a(i) = -140*i - 1. Let p(y) = m*r(y) - 9*a(y). Is p(1) a composite number?
True
Suppose 0 = -10*u + 5*u + 1955. Suppose 0 = 3*i - 59 - u. Suppose -4*n = -2*v - i, v = -3*v + 4. Is n a composite number?
True
Suppose 0 = h + 2*p - 578, 4*h + 4*p - 2272 = 6*p. Let x be (-2)/(2/2*-2). Suppose -x = 5*k + 24, h = 5*b + k. Is b a prime number?
False
Suppose -5*y = 3*p - 1193, 2*p + 3*y - 537 - 259 = 0. Is p composite?
False
Let a(d) = -3 + 56*d - 1 + 3. Suppose -5*j + 0*j = -5. Is a(j) prime?
False
Let x be 18/(-99) + (-114)/(-22). Suppose 3*d = k - 3*k + 112, x*k + 4*d = 287. Is k prime?
True
Let z = 3 + 0. Suppose 4*c - 4 = 2*y, -4*y - 2*c + 6 = -z*y. Is (-15)/y*(-38)/3 prime?
False
Let p be 2 - (1 - 2)*1. Let r = -4 + 9. Suppose r*u - 30 = p*u + 3*k, 2*u - 30 = 5*k. Is u a prime number?
False
Suppose 8*c + 75 = -4*v + 3*c, -4*v + c = 105. Let y be (10/v)/((-1)/(-5)). Is 26/4*(y - -16) a prime number?
False
Suppose -697 = -s + 4*y, -684 + 2033 = 2*s + y. Suppose -68 - s = -5*u. Is u a prime number?
True
Let z = 7 + -5. Suppose z*f = 3*f. Suppose 37 = 2*d + m, f = d + 5*m - 11 - 3. Is d composite?
False
Let p be 2*7/((-14)/(-760)). Suppose d = -3, d = 5*y + 6*d - p. Suppose -75 - y = -5*g. Is g prime?
False
Let v(c) = -35*c. Let p = -2 - -2. Let g(n) = -n**2 + n - 1. Let z be g(p). Is v(z) prime?
False
Suppose -2*t + 2*l = -1003 - 1069, 0 = l - 3. Is t composite?
False
Suppose 0 = x - 2*j + 2, -2*j + 1 = 4*x - 1. Suppose -2*n = 4*v - 1038, -v - 2*v - 4*n + 791 = x. Is v a composite number?
False
Let y(n) = n**2 + 1. Let k be y(2). Suppose -4*i + k*o + 533 = 0, -i + o + 111 = -21. Is i composite?
False
Suppose 2*w + 5*b - 20 = 0, -w + 3*b + 1 = b. Suppose 15 = -3*v, 4*r - v - 1627 = 558. Suppose -2 = 2*k, -w*m + k + r = -1101. Is m composite?
True
Let a = 380 - 171. Is a composite?
True
Let r(x) = x**2 + 43. Let j be r(0). Suppose 0 = -i + j + 12. Is i a prime number?
False
Suppose 2*p + 3 = p. Let r be 2 - ((p - 0) + 2). Is 0/3 - -18 - r prime?
False
Let w(j) = j**2 + 3*j - 6. Let q be w(-5). Suppose -b + q*b - 645 = 0. Suppose -5*y + 3*i + 220 = 0, 2*i + 2*i + b = 5*y. Is y prime?
True
Suppose -5*q + q = 0. Let f = q + -2. Is (f - 3)/(3/(-9)) prime?
False
Suppose 3*g + h = 1 + 8, -4*h = -4*g + 28. Suppose -3*s = -g*n - 0*s - 4, 4*n - 20 = -3*s. Is n prime?
True
Suppose -7*l + 0*l = -602. Let x(b) = -b**3 - 3*b**2 - 3*b - 4. Let k be x(