rime?
False
Suppose 0 = 5*l - j - 4355 - 14956, l - 3*j - 3865 = 0. Is l composite?
True
Let j(y) = -23*y - 5. Let k(i) = -11*i - 2. Let l(n) = -3*j(n) + 7*k(n). Suppose -2*a = 2*a + 4. Is l(a) a composite number?
True
Is 2 + (734 - -1) + -4 prime?
True
Let g(q) = -q**2 - 2*q - 3*q - q**2 + q**2 + 2. Let y be g(-5). Suppose -y*r = -2*p - 246, -r + 3*r = -3*p + 226. Is r a composite number?
True
Let j(f) be the second derivative of -f**5/10 - f**4/3 - f**3/3 + f**2/2 + f. Is j(-3) a composite number?
True
Suppose 5*k = 1651 + 89. Let n = 511 - k. Is n a composite number?
False
Let f(b) = 3*b**2 - 5*b - 4. Let k be f(5). Suppose 0 = -p - p + k. Is (1 + -2)*0 + p prime?
True
Suppose -2*b - 12 = -4*d, 0*d - 5*d + 15 = b. Suppose -z = -d, 4*u - 8 = 3*u - 2*z. Suppose 0 = -u*c + c + 31. Is c composite?
False
Suppose -3*s + 88 + 137 = 0. Suppose 7*z - 2*z - s = 0. Is z prime?
False
Let r = 324 + 53. Is r prime?
False
Let b(a) = -3*a**2 + 3*a - 11. Let s(u) = -4*u**2 + 4*u - 11. Let h(d) = 5*b(d) - 4*s(d). Is h(6) a composite number?
False
Suppose -2*z = 9*z - 4037. Is z prime?
True
Let o = -6 - -3. Is (25/4 - o)*4 a prime number?
True
Suppose 9 = -2*t + 3*t. Suppose 3 = -c + t. Suppose -489 = 3*k - c*k. Is k prime?
True
Let a be 1/2*(-24)/(-3). Suppose a*v = 273 + 35. Suppose -s + 2*f + 21 = 3*f, 0 = -3*s + 4*f + v. Is s prime?
True
Suppose -3*b - m = -21, 0 = b + 3*m - 22 + 7. Suppose b*p - 3*p - 1233 = 0. Is p a prime number?
False
Let a(c) = -c + 9. Let k be a(6). Suppose v = -k*v + 12. Is v a composite number?
False
Let l be 767 + (2 - -1)/(-3). Suppose 4*z + 1880 = 5*p, 1089 + l = 5*p + z. Is (2 - p)*(-3)/6 prime?
False
Let f = 921 + -195. Suppose -2*l - 558 - 140 = o, -o + 5*l = f. Is (-3)/(-4) - o/8 a prime number?
True
Suppose 0 = i + 3*p - 6 - 2, 5*i + 32 = 3*p. Let s = i + 3. Is s/(-4) + 182/8 composite?
False
Let o be (5/7 - -1) + 18/63. Suppose 2*q + 2*q = 8. Suppose 4*w + 180 = 4*y, o*y + q*w = 83 - 1. Is y a prime number?
True
Let s(y) = y**3 + 5*y**2 - y - 2. Suppose -2 = 4*c + 18. Let b be s(c). Suppose b*a - 30 = 237. Is a a composite number?
False
Suppose 0 = 4*x + 4*f + 51 + 9, -4*f = -4*x - 20. Is ((-56)/40)/(2/x) a composite number?
False
Suppose 5*u + 470 = 4*f, -72 - 164 = -2*f + 3*u. Let y = 31 - f. Is 6/(-4)*y/9 prime?
False
Suppose 0 = -3*c + 71 + 688. Is c composite?
True
Suppose -6*b = -3*b - 12. Suppose -b*m = -72 - 4. Is m prime?
True
Suppose 0 = 3*p - 2*t - 9771, -4*t - 2941 = -p + 306. Is p composite?
False
Suppose o + 8 = 5*o, -113 = -k + o. Is k composite?
True
Let x = -8 + 4. Let h(d) = -3*d**3 - d**2 - 3*d + 3. Is h(x) prime?
True
Let o(d) = 25*d - 17. Is o(7) composite?
True
Let k(q) = q**3 - 3*q**2 + 4. Let t be k(6). Let p = 14 + t. Suppose -20 = -5*w, -2*z + p = -w - w. Is z a composite number?
False
Suppose -4*q = q - h - 7797, 0 = 5*q + 2*h - 7791. Is q a prime number?
True
Suppose 3*u + 3*o - 7063 = -2*u, -5*u + 7059 = 4*o. Is u prime?
False
Suppose c - 4*i + 3 = 0, 2 = c - 0*c + i. Suppose 0 = -p + 2 + c. Is 38 + 1 + -5 + p prime?
True
Let n be 1/(-1 - -2) + 2. Suppose -n*i = i - 156. Is i a prime number?
False
Suppose i - d + 0*d - 55 = 0, 0 = -2*i - 2*d + 102. Is i composite?
False
Suppose 112*r = 109*r + 2739. Is r composite?
True
Suppose -3*k = -3*l + 18, -3*k - l = 4*l + 10. Let z = 24 + k. Is z - (-1 + 2)*0 composite?
False
Let f(c) = -11*c - 9. Let o(a) = a - 3. Let t be o(-5). Is f(t) composite?
False
Suppose -1100 = c - 6*c. Suppose 5*z - c = z. Is z a prime number?
False
Let c be ((-4)/2 - -1)*-5. Suppose x - 3*f = 7, -16 = -3*x + c*f + 1. Is 376/x*2/4 composite?
False
Let w(l) = 1 - 6 + 2 + 3*l. Let c be w(2). Suppose -45 = -c*d + 57. Is d a prime number?
False
Let a(r) = 5*r**2 - 2*r - 5. Let k be a(-4). Suppose -4*j = -5*j + k. Is j a prime number?
True
Let q(o) = -o**3 + 16*o**2 - 3*o - 7. Let g(d) = 3*d**3 - 47*d**2 + 9*d + 21. Let u(w) = -6*g(w) - 17*q(w). Is u(8) composite?
False
Let p(r) = -r**3 + 5*r**2 + r + 5. Is p(4) prime?
False
Let d(a) be the first derivative of -a**4/4 - 5*a**3/3 + 3*a**2/2 + 10*a - 2. Is d(-7) prime?
False
Let t(o) = -3*o**3 - 5*o**2 - 4*o - 1. Is t(-4) a composite number?
False
Let n = 4001 - 2364. Is n a composite number?
False
Let x(t) = -t**2 + 3*t + 2. Let s be x(4). Let y be -5 + 2 + s - -2. Is 19/3*y/(-1) composite?
False
Is 2*(2989/2)/7 composite?
True
Suppose 0 = 3*u - u. Suppose u = -4*r + s + 137, 2*s = s - 1. Is r a composite number?
True
Let o(z) = -58*z**3 + 2*z**2 - 1. Let w be o(-1). Suppose -2*c - 11 = -5*u + 52, 5*u - c - w = 0. Is u a composite number?
False
Suppose g - 4*g = 0. Suppose -k + g + 2 = 0. Is ((-66)/(-10))/(k/10) a prime number?
False
Let c(j) = j + 7. Let p be -1 - (4 + 1 + -3). Let i be c(p). Suppose -i*n = 8, 0*y = -3*y - n + 19. Is y a composite number?
False
Let l(w) = w**2 - 5*w + 1. Let r(d) = -d + 3. Let k be r(-5). Is l(k) a composite number?
True
Suppose m + 8 = -q - 0*q, 3*q - 3 = 0. Let a = 4 - m. Is a prime?
True
Let i be (-54)/45 + 1/5. Is (0 + (-79)/1)/i a composite number?
False
Let d = 58 - -165. Is d prime?
True
Let y = -1040 + 1581. Is y composite?
False
Let j(i) = -i**2 - 7*i + 8. Let n be j(-8). Suppose -4*m + 0*m + 140 = n. Is m a composite number?
True
Suppose -l = 5*b - 533, -221 = -2*b + 4*l - 7*l. Suppose a = -a + b. Is a composite?
False
Suppose 89 = 5*b - 1016. Is b prime?
False
Suppose 0 = m + 4*z - 11967, 4*m + 25419 = -5*z + 73276. Is m composite?
True
Let l(h) = -21*h - 34. Is l(-7) a prime number?
True
Let u(f) be the second derivative of f**5/20 - f**4/3 - 5*f**3/6 + f. Let g be u(5). Suppose g = -2*k - 3*k + 95. Is k a composite number?
False
Suppose 4*h = -0*v - 4*v + 16, -2*h + 8 = 4*v. Suppose -4*n - 2*q + q = -27, 4*q - 12 = v. Is n a composite number?
True
Let a = 1850 - 1217. Is a a prime number?
False
Suppose 0 = 3*x - 4*x + 1397. Is x a prime number?
False
Let w = -3556 + 5033. Is w composite?
True
Suppose -2*m + 5 = -1. Suppose -3*j + 12 = -m. Is (j/2 + -2)*28 prime?
False
Suppose -2*l + 253 = -1209. Is l a composite number?
True
Let y(r) = 705*r + 40. Is y(3) prime?
False
Suppose -135 = -5*o - 5. Suppose -2*c = -c - o. Is c a prime number?
False
Let s be (-7659)/(-36) - 2/(-8). Suppose -o = -1348 + s. Is o a composite number?
True
Suppose -1 = -x, x = 5*h - x - 1218. Is h + (-2 + 0 - -5) a prime number?
False
Suppose -3*n - 18 + 0 = 0. Let g be (1 + n/3)*-2. Is ((-45)/(-12))/(g/8) a prime number?
False
Suppose -2*g = -5*g. Suppose c - 96 = -4*z, -2*z = 4*c - g - 62. Is z + (0 - (2 - 2)) composite?
False
Suppose 5*h - 37 = 13. Let i = -6 + h. Suppose -i*w = -3*j - 202, 0*w + 3*j + 55 = w. Is w a composite number?
True
Let i(r) = -r**2 + 3*r + 5. Let d be i(-6). Let p = 66 - d. Is p composite?
True
Let h be (0 - -2)*(-5 + 4). Is (4 - 5)/(h/8) prime?
False
Suppose 5*u = -n - 0*n + 97, -3*u + 595 = 5*n. Suppose 2*h - 124 = -3*t, h - 2*t + n = 3*h. Is h composite?
False
Let f(j) = 5*j + 1. Let c be f(1). Let p = c - 3. Is p a composite number?
False
Suppose 5*m - 5*p = 420, 0 = m + 5*p - 50 - 28. Is m a composite number?
False
Let d = -103 - 108. Let y = -124 - d. Is y prime?
False
Let c(u) = -18*u - 17. Is c(-3) composite?
False
Let d = 623 + -330. Is d a composite number?
False
Let c(z) = 5*z - 2. Let m be c(-6). Let w = m + 89. Suppose 0 = -l - 0*l + w. Is l a prime number?
False
Suppose 3*f + 4*z - 3019 = 0, -2*z - 1015 = -f + z. Is f a composite number?
False
Let z = 18 + -14. Suppose 5*x - 48 = 3*x + 3*f, z*f = -x + 13. Is x a composite number?
True
Let l = 1092 - 114. Is (l/4)/3*2 a prime number?
True
Suppose 5578 = y - 3807. Is y a prime number?
False
Let b = -2 + 0. Let z be ((-6)/b)/3*-6. Let q(m) = -10*m - 7. Is q(z) a composite number?
False
Let r be 2 + (-3 - -1 - -2). Suppose -w + r*w = 2. Is (1 + 93)*1/w a composite number?
False
Suppose -1 = -2*f + 5. Let p = 8 + 3. Suppose 2*y + p = f*j, -2*y + 20 = 2*y. Is j a prime number?
True
Suppose -q = y - 68, -q + 0*q = -y + 64. Let n = -2 + 4. Is y*((-1)/n)/(-1) a prime number?
False
Is (0 - -8*52) + -1 composite?
True
Let b(r) = -9*r + 5. Let i(f) = -10*f + 6. Let m(u) = -4*b(u) + 3*i(u). Suppose y = 5*t + 22, -2*y + t = -0*t - 8. Is m(y) prime?
False
Suppose -8 = -3*k + 3*t + 16, -5*k + 3*t + 40 = 0. Let p(d) = d - 3. Let h be 