e number?
False
Let v(i) = -i**3 - 7*i**2 - 10*i - 7. Let t be v(-6). Let q = 10 - t. Let u(k) = -k**2 - 10*k - 2. Is u(q) a composite number?
False
Suppose 5*p = 7*p - 608. Let z = p - 15. Is z composite?
True
Suppose -3 = 5*f - 18. Is 160/f - (-2)/(-6) a prime number?
True
Let n(v) = -15*v - 11. Is n(-14) a prime number?
True
Let p(z) = -12*z - 14. Let q(b) = 6*b + 7. Let k(j) = 6*p(j) + 13*q(j). Is k(7) prime?
False
Let m = 3238 - -6769. Is m composite?
False
Let c(l) = -l + 6. Let b be c(3). Suppose -b*v - v = -24. Is v a prime number?
False
Suppose 5*s = 3*t - 75, 4*t = s - 0*t + 15. Suppose g = 4 + 6. Is 9/(-2)*g/s composite?
False
Is 28*(-2)/(-4) - (4 + -4) a prime number?
False
Suppose 4*m - 2*g = g + 349, -5*m = g - 422. Is m composite?
True
Suppose 2 - 3 = -p. Is p - (2 + (-2 - 96)) prime?
True
Let s be ((-3)/1)/((-1)/1). Is ((-3)/(-3))/(s/249) prime?
True
Suppose o = 3*p - 109, 5*p - 75 - 101 = -4*o. Let a = -21 + p. Is a a composite number?
True
Suppose -4*q + 0*a + 3*a + 602 = 0, -a = -4*q + 598. Is q a prime number?
True
Let z(b) = -27*b - 5. Let l(m) = 13*m + 3. Let s(f) = 5*l(f) + 2*z(f). Is s(4) a composite number?
True
Let d(k) = k**3 - 2*k**2 - 17*k + 5. Is d(8) a composite number?
True
Is ((-10)/15)/((-35014)/11670 - -3) a prime number?
False
Let l(u) = 41*u**2 - 39*u + 3. Is l(-8) composite?
False
Let z = -51 - -106. Let v = -33 + z. Is v a prime number?
False
Let j = 132 - -249. Is j composite?
True
Suppose 2*i - 210 = -4*c, c - 111 = -i - 3*c. Suppose 2*y - y = i. Suppose -2*h + 5*h = y. Is h a composite number?
True
Let t(i) = -i - 5. Let a be t(-5). Suppose a = 3*p, 0*c - 2*c = 4*p - 20. Is c prime?
False
Let t = -14 + 19. Suppose t*r - 25 = 0, -2*r + 5*r = y - 152. Is y a composite number?
False
Let w be (0 - -4)/(8/(-740)). Let o = w + 621. Is o prime?
True
Let r = -282 - -199. Let a be 1/((-4)/(-18))*36. Let b = a + r. Is b prime?
True
Let x(q) = 224*q + 1. Is x(3) a prime number?
True
Let t(u) = 88*u + 6. Let d be t(-7). Let i = -423 - d. Is i composite?
True
Suppose 0 = -3*s - 2*s - p + 99, p = s - 21. Suppose -2*j = -0*j - s. Suppose -j = -2*b + 68. Is b a composite number?
True
Suppose -9 = 3*o - 6*o. Let p(b) = 3 + 3*b**2 + b + b**3 - 8*b**2 - 3*b**o. Is p(-4) a prime number?
True
Let m(u) = -29*u**2 - 3*u + 3. Let i(l) = 30*l**2 + 3*l - 3. Let q(t) = -2*i(t) - 3*m(t). Is q(2) a prime number?
False
Let q(i) = 5*i**3 + i - 1. Suppose 0 = 5*k + 3*w - 8 - 0, 0 = -2*w + 2. Let b be q(k). Suppose -b*s + 35 = d - s, 2*d + 5*s - 61 = 0. Is d a prime number?
True
Suppose 4*j + 5*i = 2, -3*i = 5*j - 5*i - 19. Suppose -j*d = -4*o - 38, 4*d - 3*d = 3*o + 16. Is d a prime number?
False
Let z = -4 + 7. Suppose 3*h + 480 = z*j, j + h = 3*j - 321. Is j composite?
True
Suppose -2*k = -5*u - 5*k + 7892, 0 = 3*u + 5*k - 4732. Is u composite?
False
Let g(a) = -21*a - 8. Let r = 12 - 23. Is g(r) composite?
False
Suppose -2*k - 2*k = -72. Is -1 - (-9)/(k/40) composite?
False
Suppose 4*o = 3 + 9. Is ((-9)/3)/o - -22 a prime number?
False
Let a = 44 + -25. Is a a composite number?
False
Let q be (-2)/(-3 + 2) - 2. Suppose q = -3*n + 11 + 1. Suppose c - 4*c + 299 = -n*l, -c + l = -99. Is c a prime number?
True
Let v(y) = 12*y**2 - 4*y - 7. Is v(-6) composite?
False
Suppose -4*w + 2*w + 1034 = 0. Is w prime?
False
Suppose 0 = -2*k + 4224 + 1570. Is k composite?
False
Suppose 2*b - 4*n = 0, -5*n = -5*b - 0*n + 10. Is (14/b)/((-5)/(-590)) prime?
False
Let f(v) = v**3 - 15*v**2 - 17*v + 22. Let n be f(16). Let t(s) = 37*s - 11. Is t(n) prime?
True
Suppose 0*l - 3*l = 69. Is -1 + 2 - (1 + l) composite?
False
Let s = -135 - -62. Let j = 364 + s. Is j composite?
True
Let c be -3*((-6)/(-9))/1. Let j be (c + -553)/((-3)/2). Suppose j = m + 4*m. Is m a composite number?
True
Let s = 1 + -6. Let z(b) = 7*b**2 + 5*b + 7. Is z(s) composite?
False
Suppose -3*o = 3*w - 0*w - 15, -4*w = 2*o - 14. Suppose 352 = w*c + 68. Suppose c = 5*v - 53. Is v composite?
True
Let h be (28/6)/((-6)/(-9)). Let g be 2/7 + 453/h. Suppose -270 = -5*n + g. Is n composite?
False
Let d(o) = 6*o**3 - 4*o**2 + 6*o - 1. Let x(t) = -13*t**3 + 9*t**2 - 13*t + 1. Let q(z) = 7*d(z) + 3*x(z). Is q(3) prime?
False
Let s(q) = q + 9. Is s(10) prime?
True
Let d(y) = -3*y**3 + y**2 - y + 3. Is d(-4) prime?
False
Suppose 52 + 1 = c. Is c prime?
True
Suppose 490 - 52 = 3*p. Is p composite?
True
Let z be (0/3)/(-1 + -1). Suppose 0*f - f + 4 = z. Suppose 2*q + 0*s + 4*s - 162 = 0, 377 = 5*q - f*s. Is q composite?
True
Suppose 5*p - 3*w + 119 = 0, -5*p - 3*w - 111 = 20. Let h be (-4*3)/1*1. Let g = h - p. Is g a composite number?
False
Suppose 5*t + 2*p - 185 = -p, 0 = 4*t - 2*p - 170. Suppose -u - u + 54 = 0. Let n = t - u. Is n a composite number?
False
Let l(p) be the third derivative of -p**4/24 + 133*p**3/6 - p**2. Is l(0) a composite number?
True
Let s(y) be the third derivative of -y**8/6720 - y**7/840 - y**6/240 + y**5/30 - y**4/24 - 2*y**2. Let d(u) be the second derivative of s(u). Is d(-3) prime?
True
Let z(y) = -y**3 - 2*y**2 - 3*y. Let a be z(-2). Let i be (4/(-6))/((-2)/a). Suppose -2*b + 8 = i*f - 6, -5*b + 14 = 2*f. Is f composite?
False
Let b be 1/(1*(-2)/4). Is b + 15/6*42 composite?
False
Let l(y) = -85*y - 5. Is l(-4) prime?
False
Suppose -4*u - 4 = -4*v, 0 = -2*v - 2*v - 5*u + 22. Suppose 424 = y + v*y. Is (-2 - -3)*y/2 a composite number?
False
Let l = 0 + 3. Suppose 2*i + l = 3*i. Is i prime?
True
Suppose 5*f - 4*v + 4 = 4*f, v = -4*f + 18. Let o be (2 - 2)*(-2)/f. Suppose o = 2*l - 1 - 61. Is l prime?
True
Let p(f) = 6*f**2 - 9*f - 1. Let b(x) = 13*x**2 - 17*x - 3. Let r(v) = 3*b(v) - 5*p(v). Is r(-5) a prime number?
True
Let h be 75/(-6) - (-6)/(-4). Let v(a) = -a + 5. Is v(h) a prime number?
True
Let z = 7 + -4. Suppose 4*s + z = 5*s. Is (13/s)/(1/3) composite?
False
Let r = 133 - 33. Suppose 2*z - r = 10. Is z a prime number?
False
Suppose m = 77 + 13. Suppose 0 = -6*l + l + m. Is ((-42)/9)/((-4)/l) a composite number?
True
Let t be (-1)/4 - (-12717)/(-12). Is t/5*(-3)/4 a prime number?
False
Let n = 9 + -5. Let w(l) = l**3 - 4*l**2 + 4*l - 5. Is w(n) prime?
True
Suppose -y + r - 496 = y, -y + 5*r - 248 = 0. Let p = -117 - y. Is p a composite number?
False
Suppose 5*u - 2*u - 522 = 0. Suppose -3*x - u = -507. Is x a prime number?
False
Suppose -35 = -2*d - 5*c, 2*d + 15 = 4*d + c. Suppose -5*b = -d*i + 445, -4*b + 54 = i - 15. Is i prime?
False
Let a(c) = 5*c**3 + 41*c**2 - 18*c - 13. Let m(j) = -3*j**3 - 27*j**2 + 12*j + 9. Let u(f) = -5*a(f) - 8*m(f). Is u(10) prime?
False
Suppose -2*p = 5*q + p - 326, 4*q + p = 265. Is q prime?
True
Let a(u) = 1382*u**3 - 2*u**2 + u. Is a(1) composite?
False
Let p = -10 + 17. Suppose 4*a = 47 - p. Is a prime?
False
Suppose 7 + 8 = -5*g - 4*n, -24 = g + 5*n. Is 3/g*20/6 a composite number?
True
Let g = -42 + 146. Suppose -a = 3, 0*d = -d - 5*a + g. Is d prime?
False
Let h(c) = -4*c - 2*c + 6 + 0*c + c**2. Is h(6) composite?
True
Let w(u) = -u**2 + 8*u - 2. Let j be w(7). Let p = 24 - j. Is p prime?
True
Let b(a) = 20*a + 10. Let g be b(7). Let m = g - 23. Is m composite?
False
Let b = 18 - 14. Suppose 3*s + 20 = -2*s, -b*r = -s - 1488. Is r prime?
False
Let g(r) = -r**2 + 5*r + 4. Let d be g(6). Is d + (2 - (0 + -19)) a prime number?
True
Let r be (-3 - 1/(-1)) + 117. Suppose -5*c + 233 = l, l - r + 23 = -2*c. Is c a prime number?
True
Suppose 2*k + 5*b = 5*k - 55, -2*k = -4*b - 38. Suppose 18 = g - k. Is g composite?
True
Let v(p) = -p**3 + 8*p**2 + p - 5. Let w be v(8). Suppose -3*q - b = -372, w*q + 4*b = -q + 504. Is q composite?
True
Suppose -3*t + 48 = -0*t. Suppose -x + 15 + t = 0. Is x a composite number?
False
Let w(c) = -71*c - 53. Let s(q) = -18*q - 13. Let n(h) = 9*s(h) - 2*w(h). Is n(-8) composite?
False
Suppose 2*q + q + 3*v - 867 = 0, q = 3*v + 281. Is q a composite number?
True
Let w = 5 + -5. Is 65 + 0 + (2 - w) a composite number?
False
Let x(a) = a - 16. Let t be x(12). Is (-318)/t*10/5 a prime number?
False
Suppose 3*t - 8*t = -140. Let s = -2 + t. Is s a prime number?
False
Let x be (2/5)/(8/120). Let w be 4/(-18) - 141/(-27). Suppose -w*a - 245 = -5*n, n + x*a - a = 73. Is n composite?
False
Suppose 3*d = 5*b + 10, 4*d + 4 = -3*b + b. Let s(p) = -40*p - 1. Is s(b) a composite number?
False
Let g(d) =