ite?
True
Suppose 6 = 4*s - 6. Suppose s*t - 8*t - 3*c = -11, 3*t + 5*c = 13. Is (-4 - 42)*t/(-2) a prime number?
True
Suppose 67 = -u + 236. Is u composite?
True
Let f(i) = 53*i + 1. Let q be f(4). Let s be 1/(-2 + q/105). Suppose s = l - 5*g, -3*l = -8*l + 2*g + 175. Is l a composite number?
True
Let h be ((-18)/21)/((-2)/14). Suppose h*f - 102 = 3*f. Is f a prime number?
False
Suppose -3*q + 2*f - f + 1333 = 0, -1768 = -4*q - f. Is q composite?
False
Let b = 132 + 25. Is b composite?
False
Let t be ((-6)/(-1))/(3/(-2)). Let i(o) = 3. Let g(p) = p - 2. Let x(m) = -2*g(m) - 3*i(m). Is x(t) composite?
False
Let c be (-12)/((-16)/(-4)) - -11. Suppose -5*i + 3*k + 100 = 7*k, 3*i - 87 = 3*k. Is (c + 1)/(i/16) prime?
False
Is 2905 - (-2 - (0 + -6)*1) prime?
False
Suppose -15*y + 17*y - 4 = 0. Suppose 2*d = s + 2*s + 133, -123 = -y*d + 5*s. Is d composite?
True
Suppose -4*l = -x - 16, 4*l + l + 4*x = -1. Suppose -3*u + l*a + 80 = -2*a, -40 = -u - a. Is u prime?
False
Let g(t) = t - 1. Let r be g(3). Suppose 5*m - p - 5 = p, r*m = -2*p + 16. Is m composite?
False
Suppose -5*c - 3 = 2*y - 4*c, 9 = -2*y - 3*c. Suppose y = -4*o + 5*o - 82. Is o composite?
True
Let n be (5/10)/(2/204). Let u(i) = -i**3 - 5*i**2 + 6*i + 5. Let k be u(-6). Suppose -n = -k*r + 19. Is r composite?
True
Suppose 2*o - q + 11 = -2*o, -2*o + q = 5. Let p = 21 + -15. Is (1 + (-164)/p)*o a prime number?
True
Let x(k) = k**3 - 12*k**2 + 10*k + 16. Let g be x(11). Let l be 0/g - (-4 - -2). Suppose 4*m - 251 = 5*t, -4*t = l*m - 5*m + 187. Is m a prime number?
False
Let n(q) = 0 + 6 + 0*q**2 + 11*q + q**2 - 3. Is n(8) prime?
False
Let l(x) = x - 3. Let k be l(0). Let y be (-37)/k + 4/(-12). Let i = y + 47. Is i a composite number?
False
Let l = 590 - 339. Is l composite?
False
Is (-3034)/(-8) + 1/(-4) composite?
False
Suppose -4*k = -k + 12. Let i be 210*k*2/(-20). Suppose 0*u + i = 4*u. Is u composite?
True
Let w = -15 + 4. Let p = w - -13. Is p a prime number?
True
Suppose 0 = 3*v + 3*s - 6, 0*v = v + 4*s - 11. Is (15/6)/(v/(-86)) composite?
True
Suppose 0*w = -5*b - 2*w + 2235, 0 = -5*w. Is b a prime number?
False
Let b(u) be the first derivative of -5*u - 1/3*u**3 + 11/2*u**2 + 1. Is b(7) a composite number?
False
Let g be (-12 - -18)*(-27)/(-2). Suppose 16 = -5*v + g. Is v a prime number?
True
Suppose -4*m + 4*w + 2036 = 2*w, -2545 = -5*m - w. Is m composite?
False
Suppose 9*p - 11364 = 3*p. Is p composite?
True
Let o = 10 - 35. Let u = 12 - o. Is u composite?
False
Suppose 18*f = 16*f + 138. Is f prime?
False
Let r(p) = -p + 12 + p**2 - 4*p - 6*p. Let y be r(11). Suppose 0 = -v + y + 10. Is v prime?
False
Suppose 0 - 10 = -5*b. Suppose -3*d - 3*t = -21, -3*d + 3*t = b*d - 3. Is (2 - d) + 1 + 87 a prime number?
False
Suppose 4*m = -g - 37, m - 5 = 2*g - 7*g. Let b be -5*-2*(-2)/m. Suppose 4*c = -3*l + 149, -b*l + 2*c + 0*c = -104. Is l a composite number?
True
Let r be -3*4/6 - -5. Let m = 6 + -1. Suppose v + 4*v - 4*n = 118, m*n = -r*v + 56. Is v prime?
False
Let b(q) = 4*q**2 - 4*q + 556. Let o(j) = -j**2 + j - 139. Let n(m) = -2*b(m) - 9*o(m). Is n(0) a composite number?
False
Let q(l) = -l - 7. Let o be q(-5). Is o*(0 + 127/(-2)) composite?
False
Let z(b) = b**3 - 2*b**2 - b + 10. Let j be z(8). Suppose 2*x - 4*o - j = 0, 0 = x - 0*x + 3*o - 173. Is x prime?
False
Suppose 5*x = -5*d + 355, 2*x - 5*d - 89 = x. Is x prime?
False
Let v = 1432 + -177. Is v a composite number?
True
Let i(c) = -c**3 + 6*c + 4. Is i(-3) a prime number?
True
Is ((-106)/(-10))/(1/5) composite?
False
Is -2*1 + 9/((-36)/(-6304)) prime?
False
Let o = -1854 + 3131. Is o composite?
False
Let c be (-6 + 3 + 1)*-6. Suppose -c = -3*s - s. Suppose -3*f = -2*z + 3 + 29, 0 = -3*z + s*f + 51. Is z a prime number?
True
Suppose -3*u + 313 = -0*h + 4*h, -5*h = 3*u - 392. Is h composite?
False
Let l be 35/14 + (-6)/(-4). Suppose l*f - 88 - 48 = b, 0 = 2*f + 2*b - 68. Is f prime?
False
Let t = -5 - -6. Let c be (-4 + t + 3)/1. Let d = 23 - c. Is d a prime number?
True
Suppose 5*j - 5 = -4*d + 7, 3 = d - 4*j. Suppose 3*g - 69 + 15 = d*z, -3*g - 5*z + 22 = 0. Is (g - 0) + (2 - 3) a prime number?
True
Suppose -2*f + 5 = 5*a, 5*f = -0*a + 4*a + 29. Let j be 0/(2 + -2 + a). Suppose 2*n + n - 249 = j. Is n composite?
False
Let v(t) = t**2 - t + 1. Let b(j) = 9*j**2 - 8*j + 6. Let k(a) = b(a) - 5*v(a). Is k(4) a prime number?
True
Let m(x) = 6*x**2 - 2*x + 5. Is m(5) prime?
False
Let w = 25 + -4. Is w prime?
False
Let q be 55*-1*3/(-3). Suppose 2*x + 169 - q = 0. Is 2/1*x/(-6) prime?
True
Suppose -3*b + 4*t + 483 = -2*b, -2*b - 4*t = -918. Is b a composite number?
False
Let t be 72/8 + 1 + 0. Let a = 25 + t. Is a prime?
False
Let q be 1/((6/(-141))/(-2)). Let h = q + 44. Is h a composite number?
True
Suppose -44*v + 38*v = -15654. Is v composite?
False
Suppose 4*u + 0*u = j + 4, -2*u + 2 = -5*j. Let t be 4/8*j/(-2). Suppose t = b + b - 28. Is b a composite number?
True
Is (-9)/(54/(-1996))*15 - 1 a prime number?
False
Is (-10554)/(-8) + (-3)/12 composite?
False
Let w = -333 - -1076. Is w prime?
True
Let y be ((-2)/6)/((-3)/27). Suppose -y*f + 70 = 2*f. Is f prime?
False
Let d(x) = 8*x**3 - 7*x**2 + 4*x + 11. Is d(6) composite?
False
Suppose -795 = h - 4*h. Is h prime?
False
Is ((-88)/(-20) - 4)*(-2230)/(-2) a prime number?
False
Suppose -w - x = -2*x - 6398, -25587 = -4*w + 5*x. Is w a composite number?
True
Let q(m) = m**3 - 3*m**2 - 3*m + 1. Let o be q(4). Let b = o - -8. Let h = b - -114. Is h a composite number?
False
Let f(t) = -18*t + 4. Let j be f(-3). Let q be j/(-8) + (-3)/(-12). Is (2 + q)/(2/(-4)) prime?
False
Let t = -4 - -6. Suppose -3*v = -2*r - 273, -r + 455 = 5*v - t*r. Is v a prime number?
False
Let z(u) = 5*u**2 + 12*u - 11. Let r(b) = -6*b**2 - 11*b + 10. Let k(o) = 6*r(o) + 7*z(o). Is k(12) prime?
False
Suppose 195 = 9*c - 6*c. Is c a prime number?
False
Is (-6 - -7) + (-42)/(-2) a composite number?
True
Let v(g) = 10*g + 3. Let u = 14 + -10. Is v(u) a prime number?
True
Let h be (-3)/(-1*(-6)/(-832)). Suppose -95 = -l + 3*i, 4*l + i + 49 = h. Suppose 0*k - k + 3*n = -l, 351 = 4*k + 5*n. Is k composite?
False
Suppose -4*p + v + 0 = 5, -3*p = -5*v + 25. Suppose 5*r + p = 15. Suppose 3*g + 4*f = 2*f + 267, -3*g + r*f = -282. Is g a prime number?
False
Suppose 0 = -0*x + x - 65. Is x a prime number?
False
Is 4 + (-44)/10 + 10184/10 a composite number?
True
Let t(h) = -h**2 + h + 102. Let l be t(0). Let m = -53 + l. Is m a prime number?
False
Let l(a) = 411*a**2 - 2*a. Is l(-1) a composite number?
True
Let v be 3/2*2/3. Suppose -4 - v = 5*o. Is (-267)/6*(o - 1) composite?
False
Let m = 9 + -5. Let r(x) = -x**3 + 3*x**2 + 6*x - 4. Let h be r(m). Suppose 2*j + 3*j + h*o = 185, -148 = -4*j - 4*o. Is j a prime number?
True
Let g be (-21)/35 + 1146/10. Suppose 4*j = 5*h - 287, -2*h + g = j - 3*j. Is h prime?
True
Suppose y - 110 = 278. Suppose -2*o = -0*o - y. Is o/18 - 2/(-9) a prime number?
True
Let p = 328 + -156. Suppose -427 + p = -3*w. Is w composite?
True
Suppose 3*s + 4 = -2*h - 1, 4*h = 3*s + 17. Suppose 3*q - 108 = -3*g, h*g + q - 106 = -g. Is g prime?
False
Suppose 0 = 3*l + 2*l - 5*z - 340, -4*l = -z - 287. Suppose 22 = 5*d - 5*b - l, 5*d = -5*b + 55. Is d composite?
True
Let m be 1031/2 + (-4)/8. Let w = -346 + m. Is w a prime number?
False
Let o(i) = -i**2 + 4*i + 8. Let l be o(6). Let j = l - -25. Is j composite?
True
Let v(s) = 223*s - 4. Let z be v(4). Suppose 3*c = -4*l + 2229, -z = -4*l + c + 1329. Suppose 5*d = 5*b - l, 123 = b - 4*d + 6. Is b a prime number?
True
Let k(d) = -d**3 + 6*d**2 - 4*d - 5. Let y be k(5). Let z be (-1)/(-3)*y/2. Suppose -q + z*q = -69. Is q a composite number?
True
Let o(i) = 918*i**3 + 2*i**2 - 2*i + 1. Is o(1) composite?
False
Let a(r) = r**2 - 5*r + 6. Let v be a(4). Is ((-3)/v)/((-2)/92) prime?
False
Suppose 4*p - 2*p - 382 = 0. Is p composite?
False
Let w(i) = 47*i**2 - 4*i - 5. Is w(-2) a composite number?
False
Let q(g) = g**3 + 13*g**2 - 19*g - 17. Let w be q(-14). Let a = 18 + w. Is a composite?
False
Let z be (-1735)/(-9) + 10/45. Suppose -r + 2*r = 5*b - 484, 2*b - r = z. Is b composite?
False
Suppose 0 = -a - a. Suppose a = -5*z - 82 - 248. Let q = z - -92. Is q a prime number?
False
Let h = -22 - -36. Suppose -1 - h = -5*a. Is a composite?
False
Sup