?
True
Let q = -4 + 57. Is q composite?
False
Let j = -9313 - -14882. Is j prime?
True
Suppose z - 1633 = -3*r + 337, -5*z + 9860 = 5*r. Is z composite?
False
Let l = -9 - -9. Let h = l - -2. Suppose 6 = 3*n, -g - h*n + 25 = -2. Is g a prime number?
True
Let d(v) = -4*v**3 + 15*v**2 - 19*v + 21. Is d(-14) composite?
True
Let r(x) = 6*x + 2*x - 13 + 2*x**2 + 2*x. Is r(9) a composite number?
False
Let u(r) be the third derivative of -r**6/120 - 7*r**5/30 - 7*r**4/12 + r**3/3 + r**2. Let h = -1 + -12. Is u(h) a composite number?
True
Let f(h) be the second derivative of -95*h**3/6 + h**2 - 3*h. Let d(i) = -143*i + 3. Let c(y) = -5*d(y) + 7*f(y). Is c(3) a prime number?
True
Suppose -4*q = 4*i + 4, 5*i + 0*i + 45 = 5*q. Suppose -2*h - 5*p = 15, 5*p + 45 = -q*h + 8*h. Suppose 0*a + 3*a = f - 289, h*f - 1481 = -3*a. Is f composite?
True
Is -12 + 729/63 - (-478960)/14 prime?
True
Is (-1)/(-1) - (-2052 - (4 + -4)) a prime number?
True
Let h(n) be the third derivative of 49*n**4/24 + 8*n**3/3 + 14*n**2. Is h(3) a composite number?
False
Let u = -269 - -166. Suppose 0 = 3*c + 3*b + 1035, -c + 3*b - 336 = b. Let h = u - c. Is h a prime number?
True
Let l = 1483 + -264. Is l prime?
False
Let x = 70862 - 47847. Is x composite?
True
Suppose -5*m - 2394 - 106 = 0. Let o = 701 + m. Is o a composite number?
True
Suppose 201 + 219 = 3*w. Suppose 0 = -28*a - 28*a + 14952. Let b = a - w. Is b a composite number?
False
Let t = 3163 + -726. Is t composite?
False
Let m(x) = 7471*x + 12. Let y be m(1). Suppose 93*r = 86*r + y. Is r a prime number?
True
Suppose 3*s = -4*u + 4427, -2954 = -2*s + 4*u - 6*u. Is s a prime number?
True
Let u(p) be the second derivative of 19*p**4/12 + p**3/6 - 17*p**2/2 - 8*p. Is u(-7) composite?
False
Let v be (4 - -20)*(-550)/(-8). Let p = v + 3101. Is p composite?
False
Let u = 984 + -613. Let s = 2253 - -1674. Suppose 4*z = s - u. Is z prime?
False
Let s(m) = -2*m**2 + 17*m + 13. Suppose 0 = -4*r + 12, 0 = 5*d + 5*r + 2 - 27. Let k(n) = -n**2 + 6*n + 4. Let y(h) = d*s(h) - 7*k(h). Is y(7) prime?
True
Suppose 5*u = -5*z + 4287 + 253, 2*z - 4*u = 1810. Is z a composite number?
False
Let l(u) = 73*u**2 + 3*u - 2. Let f(t) = 74*t**2 + 2*t - 1. Let d(y) = 3*f(y) - 2*l(y). Let q be d(1). Let w = q - 24. Is w composite?
False
Suppose 5*m + 6 = -p + 2*p, -4*m + p = 5. Is 4 + -2 + (2 - (-858 + m)) a prime number?
True
Suppose 5*z - 3*f + 4*f = 28, -3*z - 4*f + 27 = 0. Suppose z*p = 4*a - 1974, -p + 1962 = 4*a - 0*p. Is a a prime number?
True
Let m(q) = 4*q**2 - 4*q - 6. Suppose i + i - 8 = 0. Suppose 4*t - 20 = -c, 2*t = c + i*c + 10. Is m(t) composite?
True
Suppose 9*j - 23238 + 92844 = 0. Let b = -5401 - j. Is b a composite number?
False
Let q = -993 + 2536. Is q composite?
False
Let m be (-2)/(-4) + 330/12. Suppose 0 = g + 3*z - m, 0*z + 4*z - 12 = 0. Is g a prime number?
True
Let l(d) = 11*d**2 - 25*d + 23. Is l(9) composite?
True
Let t be (1/2 - 0)*-20. Let v = t - -9. Is v*(4 - 3)*-163 a composite number?
False
Let c(k) = -16*k**3 + 3*k**2 - 2*k - 4. Let g(q) = -1. Let x(l) = -1. Let f(s) = 3*g(s) - 4*x(s). Let z(d) = -c(d) - 5*f(d). Is z(2) composite?
True
Let r(o) = -6 + 3*o**2 + o**2 + 4*o**2 + 4*o - 6*o. Let u be r(-6). Suppose -4*q - k = -2*q - u, -k - 4 = 0. Is q prime?
True
Is (1423480/15)/8 + (-12)/(-18) a composite number?
False
Suppose 0 = -5*d - v - 1245, d - v + 235 = -4*v. Let u = -33 - d. Is u a prime number?
False
Let n be 5*((-2)/30 + 4/6). Let b(h) = 3*h**3 - 3*h**2 + 2*h - 1. Is b(n) a composite number?
False
Suppose 5*s = k + 80180, -5*s - 6*k + 80160 = -3*k. Let o(t) = -t**3 + 3*t**2 + 3*t. Let f be o(4). Is f/10 - s/(-25) prime?
True
Let h(r) = 4*r - 1. Let j(p) = 3*p + 10. Let f be j(-5). Let d be 14/(-4)*20/f. Is h(d) composite?
True
Suppose -k - 2*k + 3465 = 0. Let i = -562 + k. Is i prime?
True
Let a = -7434 - -39655. Is a composite?
True
Suppose c + 21 = 4*d, 5 = -2*d - 3*c + 26. Is (d*829)/3 - (3 + -2) a composite number?
False
Suppose 37*c = 32*c + 20. Suppose 5*t - 4269 = -4*w, -c*w + 3*t = -2519 - 1710. Is w composite?
False
Let b be 10 - (-1)/(1/3*-1). Let a(n) = n**3 + 5*n**2 - 15*n - 4. Is a(b) a prime number?
True
Let x(j) = 102*j**3 - 4*j**2 + 19*j. Is x(5) a composite number?
True
Suppose j + r - 568 = 0, 2*r + 2836 = 5*j + 6*r. Suppose 0 = 4*m + s - j, -s = m + 2*s - 141. Is m composite?
True
Suppose 3*t + 19613 = 4*q, 5*t = -5*q + 3*q + 9839. Is q a composite number?
True
Let i be (2 - -13)*16/20. Is (2 + 9/i)*116 a composite number?
True
Let t be 17/4 - (-3)/(-12). Let h = -192 - -407. Suppose h = d + t*d. Is d composite?
False
Let c(f) = 4 + 34*f - 8*f**2 + 5 - f**3 - 39*f + 3. Is c(-10) a prime number?
False
Suppose o = j + 4, 3*j = 3*o - 7*o + 16. Suppose -372 = -4*z + h + 3, j = 5*z + 3*h - 490. Is z prime?
False
Let o = 28432 - -28411. Is o prime?
True
Let b(h) = 142*h - 2. Let x be b(2). Suppose x + 859 = -7*a. Is (a/2)/((-2)/4) composite?
False
Let t(l) = 776*l - 15. Is t(10) prime?
False
Let f(o) = 4*o**3 + 9*o - 8. Is f(17) composite?
True
Let r be ((-1)/(-3))/((-2)/(-18)). Suppose 9 = r*p, -3*z - z = 5*p - 23. Is (37 - (z + -5)) + -2 a prime number?
False
Let q be (-1)/((-8)/36)*6. Is (-454)/(-18) + (-6)/q a prime number?
False
Suppose v - 56177 = -10*v. Is v a prime number?
True
Let t(n) = -9*n**2 - 1. Let c be t(-1). Let f(b) be the first derivative of b**4/4 + 10*b**3/3 - 3*b**2/2 - 8*b - 7. Is f(c) a composite number?
True
Let g = -158 + 359. Let d = g - 114. Is d a composite number?
True
Suppose -4*y + 4202 = -17522. Is y composite?
False
Suppose -3*l = p - 26351, 4*p - 2*l - 105404 = -7*l. Is p a prime number?
False
Let j(m) = 3*m**2 - 11*m + 6. Let o be j(9). Let g be (54/(-15))/((-9)/o). Let h = g + -39. Is h a prime number?
False
Let u be 37943/38 + (-1)/(-2). Let k = u + -458. Is k composite?
False
Let n(u) = -3712*u**3 + 3*u**2 + 20*u + 18. Is n(-1) a prime number?
False
Suppose 0 = -22*h + 11*h + 25487. Is h composite?
True
Let b(l) = -7*l**3 - 15*l**2 + 4*l - 109. Is b(-16) a prime number?
True
Suppose -27*m - 16*m + 2465491 = 0. Is m a composite number?
True
Let n = -13062 + 42529. Is n prime?
False
Suppose 23667 = 7*n - 3220. Is n prime?
False
Let u be ((-223)/(-2))/(4/24). Suppose -2*x + u = -x. Suppose 8*l = 5*l + x. Is l a composite number?
False
Suppose i + 2*r - 3 = 0, 2*i - 23 + 7 = r. Let b(c) = -11*c + 18*c - 6*c - 7 + i*c**2. Is b(4) prime?
True
Let b be 1/((-1)/(-2) + 0). Let v be (40/30)/(b/3). Suppose v*k - 4*o = 146, 2*o - 4*o = 4*k - 342. Is k prime?
True
Suppose 34 = -b - 12. Let g = 113 + b. Is g a composite number?
False
Suppose -143*u + 139*u + 11692 = 0. Is u a prime number?
False
Suppose -5*m = -15*m + 19730. Is m prime?
True
Let r(w) = -7*w + 4*w + w + 7 + 53*w**2 + 3*w. Is r(3) a composite number?
False
Let h be 4*1*42/24. Suppose -t = -h*t + 2346. Suppose -3*a - t = -2*c, 0*a = -3*c - 5*a + 558. Is c a prime number?
True
Let c be (3/6*-10)/(-1). Suppose -2*o + c*g - 648 = -6*o, -5*g + 177 = o. Is o a prime number?
True
Suppose 2*r + 6*y = y - 16, y - 2 = -3*r. Let n(b) = -5 + 36*b**r + 4 + 1 + b. Is n(1) composite?
False
Suppose l - 4*l = -3. Let w be (l + -35)/(1/(-7)). Suppose -5*f + w = -3*f. Is f a prime number?
False
Let w = 9832 - 6483. Is w prime?
False
Let n(w) be the first derivative of w**6/120 + w**5/40 - 5*w**4/24 - 4*w**3/3 - 6. Let p(h) be the third derivative of n(h). Is p(-4) a prime number?
True
Suppose 9*m = -4*n + 4*m + 18217, 2*m - 4555 = -n. Is n prime?
False
Suppose -13*o + 14*o - 5 = 0. Suppose o*z + z = 2388. Is z composite?
True
Suppose 2*c = -r + 4 - 74, 161 = -2*r + 3*c. Suppose 2*v - 20*a - 20 = -15*a, 0 = -5*v + 3*a + 50. Is v/4*r/(-10) a prime number?
True
Let q be (-6)/15 - 17/(-5). Let w(f) = -40*f + 7. Let y(j) = -20*j + 3. Let d(p) = 2*w(p) - 5*y(p). Is d(q) composite?
False
Let i(l) = 330*l + 7. Suppose 0 = -2*g - p + 13, -4 = 4*g + p - 27. Is i(g) a composite number?
False
Suppose x + 4*b = -367, -556 = 4*x - 2*b + 912. Let z = -237 - x. Let h = z - 21. Is h a composite number?
False
Suppose -4*t - 40 = 2*n - 0*n, 3*t + 30 = 3*n. Let z = t - -14. Suppose m = -2*m, -u + 82 = -z*m. Is u a composite number?
True
Suppose -47010 = -4*k - 6*k. Is k a prime number?
False
Let t be (3 - (0 - -2))/(3/9). Suppose -5764 = -n