True
Let p be (4/(-5))/((-4)/1790). Let d = p + -198. Is (-2)/2 + 1*d composite?
True
Let m(g) = -2*g - 10. Let i be m(-7). Let s = -1 + i. Suppose 0 = k + s*k - 92. Is k prime?
True
Let s(y) = 2*y**2 + 10*y + 9. Suppose -2 = o + 4. Is s(o) a composite number?
True
Let x = -2221 - -3626. Is x composite?
True
Let x = 6 - -24. Let q = 79 - x. Is q a prime number?
False
Suppose 3273 - 117 = 4*u. Is u a prime number?
False
Let b(p) = -2*p**2 + 4. Let g be b(-4). Let i = g + 79. Is i a prime number?
False
Let u be -12*((-61)/(-4) - 1). Suppose 0 = -5*b + d - 351 - 15, 5*d - 128 = 2*b. Let z = b - u. Is z prime?
True
Let x(q) = -q**2 - 8*q + 5. Let t be x(-5). Let i = 27 + t. Is i a composite number?
False
Let r be 40/(-6)*(-42)/35. Let t(i) = 13*i - 2. Let u be t(r). Suppose j = -2*k - 10 + 35, -3*j + 3*k + u = 0. Is j composite?
False
Suppose q + 2*f - 8 - 1 = 0, -2*q - 3*f = -14. Is 0 - (q + 144/(-1)) a composite number?
True
Suppose b - 2*b - 25 = -5*m, 20 = 2*b + 4*m. Suppose b*g = -3*g. Suppose 5*j + 3*i = 607, g = 4*j - 4*i - 105 - 355. Is j composite?
True
Let v(h) = -h**2 - 26*h - 14. Is v(-24) prime?
False
Let b(a) = 3*a**3 - 5*a**2 - 5*a - 8. Let g(v) = -2*v**3 + 3*v**2 + 3*v + 4. Let y(w) = 3*b(w) + 5*g(w). Is y(-3) a composite number?
False
Let b(k) be the third derivative of k**7/840 + 7*k**6/360 + k**4/8 - k**3/6 - k**2. Let f(g) be the first derivative of b(g). Is f(-7) composite?
False
Let n(x) = 94*x + 2. Let c be n(7). Suppose 0 = -5*u - 2*p + c, -u + 125 = -p - 0*p. Suppose 2*b + 3*b = u. Is b prime?
False
Suppose 1 = p - 0. Let r(t) = 1 + 14*t - p + 1. Is r(1) a prime number?
False
Let w(n) = -21*n**3 + 3*n**2 - 3. Is w(-2) a prime number?
False
Suppose -55 = -3*v + 53. Suppose 3*q - 19 = i, 4*i + 4*q = -81 - 11. Let d = i + v. Is d prime?
False
Is (331/(-2))/(8/(-16)) a prime number?
True
Suppose 2*l - 4*a = 66, 2*a + 4 = 2. Is l prime?
True
Let v = -104 + 267. Is v a composite number?
False
Let p(j) = -105*j + 140. Let i(w) = -4*w - 2. Let l(x) = 7*x + 3. Let a(h) = -5*i(h) - 3*l(h). Let m(d) = -140*a(d) + p(d). Is m(1) a composite number?
True
Suppose 0 = 3*p - 25 + 10. Suppose 5*o - 80 = p. Let d = 54 - o. Is d a composite number?
False
Suppose 5*h - 7 = 13. Suppose x - i = 595, -2*i - 2*i = h. Suppose 0 = -q + 5*q + 2*w - x, 3*q = w + 448. Is q prime?
True
Is (-4011)/(-6) - (-1)/2 a composite number?
True
Suppose -4*s + 18 = 3*c - 5*c, 0 = -5*s + 2*c + 21. Suppose 3*y = -3*l + 222, 2*l - 3 = s*l. Is y prime?
False
Let k(v) = -2 + v**3 - v + 2 - 3 - 5*v**2 - 4. Let q be k(7). Is (1/(-2))/((-7)/q) prime?
False
Let l(y) = 32*y - 1. Let s = 21 - 14. Is l(s) a prime number?
True
Let y be (-3)/(-2)*(-12)/(-9). Suppose 3*b + 6 = 0, y*m - 377 = m - b. Is m a prime number?
True
Suppose -2 + 72 = -5*b. Let z = 33 + b. Suppose 4*o - 129 - z = 0. Is o prime?
True
Let n(c) = c - 1. Let p be n(5). Is p/18 + (-1230)/(-54) composite?
False
Let u = 12 + -6. Suppose 0 = -4*l - 2*s + 18, s = u*s - 5. Suppose g + 75 = l*g. Is g a composite number?
True
Let i(k) = 11*k**2 + k + 1. Let q(m) = -m**3 + 11*m**2 + 12*m - 1. Let r = 24 - 12. Let u be q(r). Is i(u) composite?
False
Suppose 2*l - y = -114, -288 = 3*l + 2*l - 4*y. Let f = l - -78. Is f a composite number?
True
Let l = 10 - 8. Let k be 175/(-2) - 1/l. Let n = -45 - k. Is n a composite number?
False
Suppose -4*u + 222 = -g, 3*u - 4*u - g = -53. Is u composite?
True
Let z(a) = -a**2 - 9*a + 2. Let b be z(-9). Is (53/2 - -2)*b a prime number?
False
Let x = -328 - -228. Let q = 69 - x. Is q a prime number?
False
Let a be (-3 + 2)*(-2)/(-1). Let y(r) = 39*r**2 - 2*r + 1. Is y(a) composite?
True
Let l = 2 + 44. Is l a composite number?
True
Let x be (-3 + -1)*(-3)/4. Let z = 3 + x. Suppose 5*l - 145 = -5*c, -5*c + 3*l - z*l = -149. Is c a prime number?
True
Suppose -4*i + 20 = -a, 19 = 3*a + 4*i - 1. Suppose 10 = -4*r - k, -2*k = -2*r - a*k. Let c(b) = 2*b**2 + 3*b + 1. Is c(r) prime?
True
Let h = 176 - 114. Let t = h - -65. Is t prime?
True
Let n(t) = -t + 3. Let d = -4 + 7. Let k be n(d). Suppose j + 3*j - 572 = k. Is j prime?
False
Suppose 898 + 898 = 4*t. Is t composite?
False
Let z(u) = 59*u**2 + 14*u - 14. Is z(9) a composite number?
True
Let p = 104 + 119. Is p prime?
True
Let v be (1 + (-1)/2)*-34. Suppose 0 = -4*p + 4*a + 136, 4*p - 81 = -a + 75. Let q = p - v. Is q a prime number?
False
Suppose o + o = -4*j - 22, 0 = -2*o - 2*j - 14. Let v be -3*((-10)/o)/5. Is (-46*3/3)/v composite?
False
Suppose -5*j + 3 = 8. Let f be (16 - (1 - 3)) + j. Let c = f + -10. Is c a prime number?
True
Suppose l = -2*g - 6, 4*l + 3 = 3*g + 1. Let u be (3/(-6) - l)*14. Let i = u - -10. Is i prime?
True
Suppose -4*k + 183 = -229. Is k a prime number?
True
Let w(l) = -l**3 - 9*l**2 + 9*l + 15. Let b be w(-10). Suppose -5*q = 3*c + b, -q + 0*q = c + 7. Let h(k) = -28*k - 3. Is h(q) prime?
True
Let j = 1679 - 714. Is j composite?
True
Let a = 5 - -2. Let f(n) = n**3 - 6*n**2 - 6*n - 1. Let g be f(a). Is 44/3 - g/9 a composite number?
True
Is (14/(-4) - -2)/(3/(-5878)) prime?
True
Suppose i + 14 = 3*i - 4*z, -4*i - 2*z = -18. Suppose -i*n - 165 = -8*n. Is n composite?
True
Let d(i) = 13*i + 4. Suppose 4*w = -o + 25, 0 = 2*w - o - 6 - 5. Let m be d(w). Let p = m + -27. Is p composite?
True
Suppose 5*x - 3*n = 2*n + 65, -x - 3*n - 3 = 0. Let j = -6 + x. Suppose 4*u = -3*s + 621, j*s - 758 + 140 = -5*u. Is s prime?
True
Let a(m) = -7*m + 55. Is a(-12) prime?
True
Let f(w) = -7*w**3 - 3*w**2 - w - 7. Is f(-3) a composite number?
True
Suppose -26 = -4*y - 5*z, 2*y + 5*z = 3*z + 12. Suppose -3*r + 13 = y. Suppose -3*g = 2*w - 95, -g = 7*w - r*w - 25. Is g composite?
True
Let x = 392 - 99. Is x prime?
True
Suppose 5*k + u = 591, -28 = -k - 2*u + 83. Is k a composite number?
True
Let q = 39 + -19. Suppose p - q = 9. Let b = p - 18. Is b a composite number?
False
Let w be 5/(1/(-4)*2). Let j = w + 14. Is j composite?
True
Is 2213/4 + (-18)/72 a composite number?
True
Let i(c) = 424*c**2 - c - 5. Is i(-2) prime?
True
Let c(g) = g**3 - 4*g**2 + 2*g + 3. Let j be c(3). Suppose j = -o + 3 - 1. Is o/(1 + 32/(-34)) a composite number?
True
Let k = 0 - 0. Suppose -n + 2*n - 145 = k. Suppose 5*q - 90 = n. Is q a composite number?
False
Suppose m + 4*y = 9, -2*y + 0*y - 18 = -4*m. Suppose 0 = -2*j - 3*t - 3, 0 = 2*j + m*t + 4 + 5. Is j/(3/11)*7 prime?
False
Suppose 1770 = 4*q + 2*c - 922, 3365 = 5*q + 5*c. Is q a composite number?
False
Let k be (-8)/(-3)*399/14. Suppose 8*l - 4*l - k = 0. Is l prime?
True
Let o(y) = 0 - 3 - 8*y - y**2 - y. Let w be o(-6). Is (3 - 0)*170/w composite?
True
Let d = 81 - -42. Is d prime?
False
Let a(r) be the third derivative of -r**5/60 - r**4/24 + 79*r**3/6 + 2*r**2. Is a(0) a prime number?
True
Let w = 785 + -513. Suppose 0*d + w = 3*d - 4*o, -5*o - 10 = 0. Suppose v - d = -4*l, -3*l - v + 81 = -4*v. Is l composite?
False
Let n(p) = -p**3 + 6*p**2 - 4*p + 2. Suppose 12 + 19 = 5*v - 2*h, -3*v = h - 12. Is n(v) a composite number?
False
Is (-2226)/(-15) + (-18)/(-30) prime?
True
Is -5*(-558 + -9 + 4) prime?
False
Let j(c) = c - 2. Let q be j(4). Suppose 0 = -q*l - l + 3*a + 495, -3*l = -4*a - 499. Is l a prime number?
False
Let x = -1651 + 828. Let o = x - -1160. Is o a prime number?
True
Suppose -w + 3*h + 0*h = -158, 0 = w - 4*h - 159. Is w prime?
False
Suppose 4*n - 23 = -3*i, -19 + 7 = 4*i. Suppose 0 = 5*a - 3*v - 14, 3*v - v - n = -a. Suppose a*q - 85 - 63 = 0. Is q a prime number?
True
Let y(h) = -15*h + 7. Let p = -11 - -5. Is y(p) a composite number?
False
Suppose 4*t = 4*o - 2*o + 6, 4*t = -4*o + 24. Suppose -4 = 2*w - 3*a - 107, -o*w + 157 = -4*a. Is w a composite number?
False
Let p be (3 + -2 + -1)/(-1). Is 1/(p - (-1)/767) a prime number?
False
Let d(n) = 9*n**3 - n**2 + n - 1. Let i be d(1). Let u = i + -5. Suppose -k - u*k = -5*l + 163, -2*l + 2*k + 64 = 0. Is l a prime number?
False
Let j = -14 + 16. Suppose 2*y + 240 = 6*y - 4*m, 4*y - 228 = -j*m. Is y prime?
False
Let n(c) = c**2 + 2*c - 5. Suppose 4*i = 6*i - 26. Suppose -5*g + i = 58. Is n(g) prime?
False
Let t(r) = -100*r + r**3 + 97*r - 1 - 4 + 14*r**2. Is t(-8) prime?
False
Suppose -3*d + 8 = -4*d. Is ((-46)/d + 0)*4 a prime number?
True
Let m be (-8)/(-6) - 2/(-3). Suppose 4*l = 4*p - m*p - 332, -2*l = 3*p - 498. Is p