s n/(-42) + (-635)/(-7) a composite number?
True
Let y(s) = 13*s**3 - s**2 + 2*s - 1. Let p = 1 + 0. Suppose p + 4 = 5*o. Is y(o) composite?
False
Suppose 0 = 3*y - 5*y - 272. Let f = y + 483. Is f composite?
False
Let i(o) = o - 3. Suppose 2*m - 3*m = 4*z - 20, -4*m = 4*z - 8. Let c be i(z). Suppose -p + 124 = c*p. Is p a prime number?
True
Let l(v) = v**2 - v - 1. Let k(f) = 7*f**2 - 14*f - 19. Let n(s) = -k(s) + 6*l(s). Let w be n(10). Let d = w + 13. Is d prime?
False
Let r(a) = -a**2 + 8*a + 6. Let z(w) = -w**3 + 3*w**2 + 5*w + 3. Let k be z(4). Is r(k) composite?
False
Let q(s) be the first derivative of s**3/3 - s**2/2 + s - 2. Let m be q(2). Suppose -4*l = -2*l + m*d - 127, 67 = l - 2*d. Is l a composite number?
True
Suppose 3*j - 340 = -j. Suppose 2*n - j = -v + 3*n, -4*n = 12. Is v a prime number?
False
Let d be 6/4*3728/6. Suppose d = 4*x - 0*x. Is x a prime number?
True
Let q be 2 - 4*(-1)/(-2). Suppose -j + 9 + 12 = q. Is j a prime number?
False
Let a(g) = 9*g + 5. Let t be a(-5). Let r = -2 - t. Suppose -2*h + 4*q = -r, -5*q - 2 = 2*h - 4. Is h composite?
False
Let s = -94 - 101. Is (1/(-3))/(1/s) prime?
False
Let i = 246 - 94. Let r = i + -101. Is r a composite number?
True
Let c(z) = z**3 - 10*z**2 + 14*z - 10. Is c(13) a prime number?
False
Let a(u) = -6*u + 5. Let n(m) = 2 + 5*m + 4 + m**2 - 5. Let q be n(-2). Is a(q) prime?
False
Let w = -1465 + 2078. Is w a composite number?
False
Let c be 4/(-10) + 6/15. Suppose -9 + c = 3*v. Is 43 + 2 - (-6)/v a prime number?
True
Suppose 4*w = w + 6. Suppose 16 = 4*d, -2*d - 2*d = w*b - 20. Suppose -76 = -b*c - 2*c. Is c a prime number?
True
Is 799 + 0 + 0 + -2 a composite number?
False
Let y be (4/(-5))/(5/(-125)). Suppose -4*t + 2*t = -y. Is t a prime number?
False
Let g = 224 + -77. Suppose 188 = 5*a - g. Let n = 98 - a. Is n a prime number?
True
Suppose 2*h - 5227 = 3659. Is h a prime number?
False
Let s(i) = -i**3 - 5*i**2 - i - 1. Let p be 2/(-9) - (-172)/(-36). Let h be s(p). Suppose -3 = o + 3*y - h, -25 = -o + 5*y. Is o prime?
False
Suppose 0 = -3*x - 3*x + 1266. Is x a prime number?
True
Suppose 1 - 63 = 2*c. Let p(l) = -l**3 + 3*l**2 - 3*l + 6. Let t be p(6). Let y = c - t. Is y composite?
False
Let i = -1323 - -1952. Is i a prime number?
False
Suppose 4*n = 12 - 0. Suppose 5*i - 250 = r - 44, 0 = -n*i + r + 122. Suppose 5*k - 3*k = -5*x + i, 4*x = 4*k - 140. Is k a composite number?
False
Let k(u) = -31*u + 3. Is k(-4) composite?
False
Let o(n) = 9*n**3 + n**2 - 2. Is o(2) prime?
False
Let q be (-4)/5*25/(-10). Suppose q*x - n = 5, x + 2*n + 1 = 6. Suppose 6 = x*t - 225. Is t a prime number?
False
Let m(r) = -r**2 - 6*r + 5. Let p be m(-5). Let c(g) be the first derivative of -g**4/4 + 10*g**3/3 + 3*g**2/2 - 5*g + 5. Is c(p) a composite number?
True
Let g(r) = r**3 + 2*r**2 - 5*r - 4. Let i be g(-3). Suppose 0 = -0*t - i*t. Suppose -2*l - 8 = t, -72 = -4*f - 2*l + l. Is f a prime number?
True
Let u = -167 + 546. Is u composite?
False
Let a(d) = 11*d - 13. Is a(6) composite?
False
Let t be 15*(-2 - 21/(-9)). Suppose t*g = 2*g + 99. Is g composite?
True
Let c(a) = -2*a - 1. Let p be c(1). Let g(r) = -6*r**3 - r**2 + 2*r + 2. Is g(p) a composite number?
False
Let u(t) = -t**3 + 9*t**2 + t - 8. Is u(7) a composite number?
False
Suppose 2 = -2*x, 5*t - x = -5*x + 741. Is t prime?
True
Let j be (1 - 2) + 5 - 0. Suppose -3*l = -1227 - 330. Is j/(-18) - l/(-27) a prime number?
True
Let v(a) be the third derivative of 0 + 25/12*a**4 - 1/6*a**3 + 3*a**2 + 0*a. Is v(1) prime?
False
Let o(z) = -z**2 - 6*z + 7. Suppose 2*s - 5*g = -29, -21 = s - 4*g - 2. Let p be o(s). Let b = 6 - p. Is b a composite number?
True
Suppose 3*w = 4*t + 1139, 3*w - 3*t - 1431 = -291. Is w a composite number?
True
Let a(c) be the first derivative of -c**2 - 11*c + 4/3*c**3 + 2. Is a(-9) a prime number?
True
Suppose 0 = 5*s + 46 + 104. Let u = s - -52. Is u composite?
True
Suppose 106 + 349 = 5*g. Let z = g + 0. Is z a prime number?
False
Let y(b) = b**2 - 1. Let d be y(3). Let u be (2/4)/(2/d). Suppose -165 = -3*l - u*l. Is l prime?
False
Let c(l) be the first derivative of 2*l**3 + l**2 + l - 1. Suppose 9 = -s - 2*s. Is c(s) composite?
True
Let g(a) = 7*a + 19. Is g(9) composite?
True
Suppose -3*b - 7 = -8*b - 2*k, -3*b + 1 = -2*k. Let x = 2 - b. Is 0 + (1*20 - x) prime?
True
Let c = -41 + 228. Is c prime?
False
Suppose 2*a - 2*t - 8412 = 0, 9323 = 3*a - 2*t - 3290. Is a prime?
True
Suppose -4 - 5 = -3*q. Suppose -q*g = -4*h + 50, -g + 31 = h + 2*h. Is h a prime number?
True
Suppose -5*f - 227 = -3*v, v - 232 = 5*f + 3*v. Let h = 51 - f. Is h a prime number?
True
Suppose -4*n + 777 = -691. Is n a prime number?
True
Let r(j) = 21*j - 3. Let y be (-6 + 0)*1/(-3). Let f be r(y). Let p = f - 5. Is p a composite number?
True
Suppose 0 = -5*o + 5*t + 30 + 10, -4*o - 5*t = -5. Suppose -2*n = -o*c - 243, -4*n + 7*c - 4*c + 451 = 0. Suppose -n - 2 = -3*q. Is q a prime number?
True
Suppose -o = 3*o + 12. Is ((-2)/4)/(o/222) a prime number?
True
Let c = -20 + 11. Let w be 3/c - (-2)/(-3). Is 7*1/w*-11 prime?
False
Suppose u + 107 = 416. Suppose -4*k = 2*g - 804, -280 - u = -3*k - 5*g. Is k a composite number?
True
Let j be (-140)/(-30) + (-2)/(-6). Suppose j*o = -3*p + 1121, -5*o + 1141 = 4*p + 18. Is o composite?
False
Let q(z) be the third derivative of -z**6/120 + 2*z**5/15 - z**4/4 - z**3/6 - 2*z**2. Is q(6) a composite number?
True
Suppose -2*y + 3*y + 2 = -x, -3*x + y + 10 = 0. Let v(m) = 27*m + 1. Let j be v(x). Suppose 2*o - j = -3*h, 4*h + 4*o = -0*h + 80. Is h prime?
False
Suppose -4*h + 0*i + 90 = -3*i, h - 3*i - 18 = 0. Suppose 7 = t - h. Is t a prime number?
True
Suppose 261 = s + 50. Is s prime?
True
Suppose 4*z - 3541 = -5*n, 4*n - 740 = 2*z - 2530. Is z a composite number?
True
Suppose 5385 = 73*h - 68*h. Is h a prime number?
False
Let i = -18 + 13. Let y(u) = -3*u**3 - 11*u**2 + 2*u - 9. Let z(x) = 5*x**3 + 16*x**2 - 3*x + 14. Let l(j) = i*z(j) - 8*y(j). Is l(4) prime?
False
Let v = 14 - 21. Let r(t) = -8*t - 1. Let q be r(v). Let m = q + -2. Is m a prime number?
True
Let f be 2/(-3) - (-10)/6. Is 1*((-596)/(-4))/f a composite number?
False
Suppose -3*n + 4661 - 1220 = 0. Is n composite?
True
Suppose -g + 1 + 1 = 0. Suppose -4*m + 245 = -j, -g*m - j + 51 + 76 = 0. Is m prime?
False
Let z be (3/(-5))/((-1)/5). Let p = 3 - z. Is 10/(3 - (2 - p)) prime?
False
Suppose z - 26 = 44. Let s = 105 - z. Is s a composite number?
True
Suppose -4*f + 3112 - 116 = 0. Is f a composite number?
True
Let l = 282 + 199. Is l prime?
False
Let c be 2/(-2)*1*8. Let x = 34 + c. Is x prime?
False
Let v(t) be the second derivative of t**3/6 + 4*t**2 - 3*t. Is v(6) a composite number?
True
Suppose 8 = 4*p - 5*q, -4*p + 5 = -4*q - 3. Suppose 0 = p*z + 6, 4*b - 2*z - 2141 = -b. Is b prime?
False
Let y = 526 + -294. Let i = y + -143. Is i prime?
True
Suppose -5*y = -4*r - 15605, -y + 0*r + 2*r + 3127 = 0. Is y a prime number?
False
Suppose -3*p + 0*p + 8687 = -5*t, 2*t + 8693 = 3*p. Is p a composite number?
True
Let o be 957/22*(-2)/(-3). Suppose -n = -4*r - o, 3*n = 2*r + 145 - 8. Is n prime?
False
Let l = 834 - 41. Is l a composite number?
True
Let c = 17 - 25. Let l be (2 + 1)*c/3. Let j = l - -43. Is j a composite number?
True
Suppose 0 = -6*q + 6 + 30. Is 7/((-14)/q) - -16 a composite number?
False
Suppose 2*g + 0*r = -5*r - 6, -9 = 3*g + 4*r. Is 4*59*g/(-6) composite?
True
Let s(o) = o**3 + 20*o**2 - 10*o + 10. Is s(-9) a prime number?
True
Suppose 3*m + 5*o = 553 + 244, -2*m + 2*o = -510. Is m a composite number?
True
Let k(s) = 2*s**3 - 4*s**2 + 2*s + 7. Is k(6) composite?
False
Suppose 3*j - 4*g = 4*j - 11, 4*j = -3*g + 18. Suppose 0 = 5*f + j*u - 1449, f = -5*u + 368 - 87. Is f composite?
True
Suppose 3*h - 1225 = -t, t = -3*h - 2*t + 1221. Is h composite?
False
Let t(k) = 4*k**2 + 5*k + 1. Is t(-12) a composite number?
True
Suppose 3618 = -5*v + 14873. Is v a composite number?
False
Suppose 5*v = -3 - 12. Let g be (-2)/(-1) + (-984)/v. Suppose -4*x - m - m + g = 0, x - 100 = 3*m. Is x composite?
True
Suppose -p = -o - 1354, p = 4*p + 2*o - 4047. Suppose 0 = -2*b - 4*z + 934, -3*b + 2*z + p = -2*z. Is b composite?
False
Let z(d) = -d**2 - 6*d + 7. Let i be z(-7). Suppose i = -4*b + 10548 - 868. Is b/36 - 4/18 prime?
