d(m) = m + 7. Let w be d(-6). Let p(x) = 70*x**2 - x. Let r be p(w). Let a = r + -16. Is a composite?
False
Suppose -2*o - 3*o = -360. Suppose -2*c + 2*p + o + 48 = 0, -64 = -c + 5*p. Is c prime?
True
Let w be 120/(-16) + (-1)/2. Is (-1138)/w + (-3)/(-4) composite?
True
Let p(n) = -11*n**3 + n**2 - 2*n - 2. Is p(-2) a composite number?
True
Let t(r) = 2*r**3 - 6*r**2 + 5*r - 6. Suppose 3*u = -4*n + 5, -2*u + 0*u = 2*n. Is t(n) a prime number?
False
Suppose 0 = -5*u + 5*l + 16870, u - 2*l - 13502 = -3*u. Is u composite?
True
Let h(b) = 3*b**2 + 22*b - 1. Is h(-16) composite?
True
Let m be 2 - -5*(-3 - -70). Let g = m + -160. Is g a composite number?
True
Suppose 0 = 5*q - 77 - 613. Suppose -56 = -2*p + q. Is p composite?
False
Let g(d) = 15*d + 7. Is g(5) prime?
False
Suppose -5*v + 5 + 10 = 0. Suppose -v - 112 = -5*z. Is z a composite number?
False
Suppose -3*g - 11 = -k - k, 5*g + 5 = 0. Let o be 340 + -2 - (0 - 1). Suppose -2*s + 2*n - 3*n + o = 0, -k*s + 658 = -2*n. Is s prime?
True
Let h(b) be the second derivative of 0 + b - 5/6*b**3 - 2*b**2. Is h(-10) composite?
True
Let l(t) be the first derivative of -3*t**4/4 - t**3/3 - t**2/2 - 4. Is l(-2) a composite number?
True
Let d(v) = -16*v**2 + 12*v + 15 + 8 - 2 + 6*v**3. Let p(i) = -4*i**3 + 11*i**2 - 8*i - 14. Let m(a) = -5*d(a) - 8*p(a). Is m(5) a prime number?
False
Suppose 2*m - 5*r - 159 = 0, -2*r - 6 - 4 = 0. Suppose 5*u - 28 = m. Is u a prime number?
True
Suppose -w - 14 = 5. Let r be ((-4)/10)/(3/(-30)). Let l = r - w. Is l a prime number?
True
Let r be -5 - -3 - -1*42. Let h = r + -21. Is h a composite number?
False
Suppose 3*a - 1778 = a. Is a a prime number?
False
Suppose 3*l + 1581 = 6*l. Is l a composite number?
True
Let r = -139 - -316. Is r prime?
False
Is (-53018)/(-35) + 8/(-10) prime?
False
Suppose -5*y + 4 = -21, 0 = -5*b + 4*y + 90. Let w(t) = -t**3 - 5*t**2 + 9*t - 5. Let f be w(-7). Suppose -4*h + b = -f. Is h composite?
False
Let v = -220 + 363. Is v a prime number?
False
Let d be (-45)/(-6) + 2/(-4). Let q(y) = 2*y + 2. Let s be q(d). Let a = 5 + s. Is a composite?
True
Let m = 12 - -1. Is m prime?
True
Is 78 - ((-4)/2 + 1) a composite number?
False
Suppose 1276 = -a + 5*a. Is a composite?
True
Let q(r) = -114*r**3 + r**2 - 2*r + 1. Is q(-2) prime?
False
Let m(w) be the third derivative of w**6/60 + w**5/30 + w**4/6 - w**3/6 + 3*w**2. Is m(3) a composite number?
False
Let z be ((-6)/9)/(2/(-9)). Let f(o) = 69*o + 4. Is f(z) composite?
False
Let q be (-129)/(-6) - 6/(-4). Let b(h) = -5 + 5 + q*h. Is b(3) prime?
False
Let d be 3/(-6) - 27/(-6). Let a be (-3)/(-4)*(4 - 0). Suppose -c + 29 = c - 3*w, d*w - 35 = -a*c. Is c prime?
True
Let q = -1177 + 1894. Is q composite?
True
Let q(g) = -g**3 + 2*g**2 - 3*g - 1. Is q(-3) a prime number?
True
Let u(d) = d + 15. Let r be u(-10). Suppose -3*y - f = 7, y + r = -2*f + 3*f. Is 33/(-9)*1*y a prime number?
True
Is (-1510)/(1/(-1) - 0 - 1) prime?
False
Suppose 0 + 2 = -2*w. Let u(y) = 78*y**2 - 1. Is u(w) a composite number?
True
Let m = 3940 + -1549. Is m prime?
False
Let l(i) = i**3 + 7*i**2 + 4*i - 1. Is l(-4) prime?
True
Let g(s) = 2*s**2 + 2*s - 5. Suppose -4*i - 23 = -2*z + 1, -3*i - 31 = 5*z. Is g(i) composite?
False
Let d = 136 - 82. Suppose -686 - d = -4*b. Suppose 0 = 8*y - 3*y - b. Is y a prime number?
True
Let b be 2 + -2 - 0/(-5). Suppose -5*p + 0 + 15 = b. Suppose -4*y = y - p*l - 235, -3*l - 94 = -2*y. Is y composite?
False
Let q(u) = -u**3 + 0*u**2 + 10*u + 2*u**2 - 11*u**2. Let r be q(-10). Is 13 - 1*(-1 + r) composite?
True
Suppose -2*z - 5*a = 101 - 399, 2*a = -5*z + 745. Is z prime?
True
Suppose 13 = -t + 4*f, -2*t = -2*f - 2*f + 14. Is 1 - -2 - 142/t prime?
False
Suppose -22*d + 17*d + 5185 = 0. Is d a composite number?
True
Let s = 152 - 373. Suppose -4*w = 4*u + 173 + 387, 5*w - 3*u + 732 = 0. Let l = w - s. Is l composite?
True
Let t(n) = 26*n + 1. Let r be t(-6). Let o = r + 567. Let q = o - 281. Is q a composite number?
False
Let h(q) = 6*q**2 + 16*q - 47. Is h(15) a prime number?
True
Let a = 294 - -319. Is a prime?
True
Let s(m) = 105*m + 5. Is s(6) a prime number?
False
Suppose -4*k + 1 + 7 = 0. Suppose -3*t - 133 = -w + 92, w - k*t = 229. Is w composite?
True
Let d(k) = -2*k**2 + 4*k**2 - 4 - k**2 - 3*k. Let b be d(4). Suppose -4*v - r + 41 = b, 0 = v - r - 13 - 1. Is v a prime number?
True
Suppose 0 = 3*c - 0*c - 9489. Is c a composite number?
False
Is 2/(-18) + (-6032)/(-18) a prime number?
False
Let z(i) = 19*i - 1. Let v(g) = 2*g**3 - g + 1. Let l be v(1). Let j = 0 + l. Is z(j) a prime number?
True
Suppose -4*a - 4 = 0, -5*l - 3*a + 1 = 4. Let o(w) = w**2 - 10*w + 21. Let n be o(14). Suppose l*t = -t + n. Is t prime?
False
Is (-1)/4 + 24520/32 prime?
False
Let l(o) = 1 + 21*o + 0*o - 2*o + 0*o. Is l(10) prime?
True
Suppose 2*v + 6*w - 2*w = 2926, -1464 = -v - w. Is v prime?
False
Let x(c) = c**2 - 7*c + 4. Let r be x(6). Let d = r - -1. Is d*1/(3/(-39)) a prime number?
True
Is ((-18)/(-27))/((-4)/(-1614)) a prime number?
True
Let t(a) = -98*a - 7. Is t(-3) a prime number?
False
Let j = 23 - 9. Is j composite?
True
Suppose 2*r - 1052 = -2*l - r, 0 = -3*r + 6. Is l a composite number?
False
Suppose 4*h - n - 8 = 0, 5*h + 4*n - 10 = -n. Suppose 6 = -h*s + 3*y + 33, 3*y - 15 = -5*s. Suppose 0 = -s*u + u + 175. Is u composite?
True
Let d(j) = 6*j**3 - 4*j**2 - 3. Is d(4) prime?
True
Is (-4)/10 + 35862/30 a prime number?
False
Let y(h) = 2*h + 3*h**2 - h**2 + 2*h + 0*h + 1. Is y(4) a composite number?
True
Let v(d) = 11*d. Is v(5) prime?
False
Suppose -1765 = -13*t + 8*t. Is t a composite number?
False
Let k(t) be the third derivative of 5*t**5/4 - t**3/6 + 2*t**2. Is k(-1) a composite number?
True
Let n(l) be the first derivative of -198*l**2 - 2*l + 6. Is n(-1) composite?
True
Suppose -d + 2 = 1. Let s(b) = -87*b**3 + b**2 - b. Let a be s(d). Let u = a + 140. Is u prime?
True
Let u(g) = g + 2. Let o be u(-8). Let s be 2/(-3) + (-22)/o. Suppose 3*p - 4*m - 1 = m, -s*m = -12. Is p composite?
False
Let v(s) = s**2 - 3*s. Let c be v(3). Let q(r) = 33 + 79 - 3 - r - r**2. Is q(c) a composite number?
False
Is -3 - (-7)/((-7)/(-382)) composite?
False
Let y = -1471 - -2454. Is y a composite number?
False
Let s(y) = y**2 - 15*y + 15. Let d be s(14). Is (5/10)/(d/186) prime?
False
Suppose -768 = -5*h + 3*h. Suppose -124 - 185 = 4*y + 3*g, -h = 5*y + 3*g. Is y/(-3) + (0 - 0) a composite number?
True
Suppose 0 = m - 5*m, -3*a + 4*m + 1011 = 0. Is a prime?
True
Suppose 3*f + f = 80. Suppose 2*m = -5*u - f, -2*u + 5*m - 9 = -30. Is (-1 - -3)/(u/(-19)) a prime number?
True
Suppose 4*s - 6 = -2. Let i be (-1)/2*(-22)/s. Let a = i + 8. Is a composite?
False
Let c(k) = k**2 + 2*k - 2. Let z(a) = -a - 10. Let h be z(-6). Let n be c(h). Suppose -5*v - n + 31 = 0, -5*g + 100 = -3*v. Is g prime?
True
Let o(v) = -41*v + 6. Let y(q) = -q - 7. Let b be y(0). Is o(b) composite?
False
Let b(k) = k**3 - 8*k**2 - 10*k + 9. Let s be b(9). Suppose s*z + 3*z - 30 = 0. Is z a prime number?
False
Let y(u) = 6*u - 5. Let h be y(-8). Let c = h - -109. Suppose -4*n = 2*s - c, -s - 148 = -5*s + 4*n. Is s composite?
True
Suppose 4*u - 34 = 18. Suppose 3*m = 5*o - u, -5*m + 3 = -2*o - 7. Suppose -m*p + 5*d + 194 = 0, 3 = -d + 5. Is p composite?
True
Suppose -4*d + 306 = -y, d + 2*y - 8 - 73 = 0. Is d composite?
True
Suppose 0 = 3*i + o - 7058, -o = -i + 1628 + 718. Is i a composite number?
False
Is 4388/8*10/5 prime?
True
Suppose p + 1157 = -q + 4*p, -3*q - 3485 = 5*p. Let y = -611 - q. Suppose -135 = -j + 4*o, -42 = -5*j - o + y. Is j composite?
True
Let y = 9 + -15. Let l be (2/y)/(4/(-24)). Suppose 3*p - 5*h - 480 = -l*p, 4*p + 5*h = 339. Is p a composite number?
True
Suppose 0*u = u - 112. Let n = -29 + u. Is n composite?
False
Suppose l - 2*l + 2 = 0. Suppose b + 2*z + 0*z = 12, 5*b = l*z + 12. Suppose j - 49 = b. Is j prime?
True
Let g(l) = 29*l + 9. Let f(a) = -28*a - 10. Let b(c) = -4*f(c) - 5*g(c). Is b(-4) a prime number?
True
Suppose 0 = -3*q + 3*r + 486, 3*q - r - 319 = q. Is q prime?
True
Let y = -15 + 24. Let z = -2 + y. Is z prime?
True
Let s = 12 - 8. Suppose b + h = -2*h + 200, -2*h + 830 = s*b. Is b prime?
False
Let g(p) be the first derivative of -1/4*p**4 + 5/2*p**2 - 7*p + 2*p**3 - 1. Is g(5) composite?
False
Let