 m(l) = -l**3 + 9*l**2 + 12*l - 15. Let d be m(10). Suppose 0 = f - d*v - 31, -f + 2*f + 2*v - 52 = 0. Is f a composite number?
True
Let d = 3 + 1. Suppose -4*g + 4*k - 4 = 0, -g - 2*k = -d*k + 3. Is g + 0 + 147/7 a prime number?
False
Let x = -351 - -186. Let d be x/6 - 1/(-2). Is (-7 - d) + 1*-1 prime?
True
Let z = 6 + -9. Is z/(-3)*(0 - -37) prime?
True
Suppose 4 = -2*o + 10. Suppose 0 = o*w + 57 - 1032. Suppose w = 5*m - 2*j - j, 5*j = -3*m + 195. Is m a prime number?
False
Suppose -4*l + l + 15 = 0. Let n(o) = 2*o**3 + 5*o**2 - 5*o + 5. Let w be n(l). Suppose -2*c - f = -225 - 7, -3*c + w = 5*f. Is c a prime number?
False
Let b(o) = -o**3 - 10*o**2 - 11*o - 3. Is b(-9) a prime number?
False
Let f(w) = 6*w - 5. Let y(v) = 13*v - 9. Suppose -3*z + 0 = 9. Let o(u) = z*y(u) + 5*f(u). Is o(-5) a prime number?
True
Let o(k) be the second derivative of -k**5/20 + 3*k**4/4 + 7*k**3/6 + 7*k**2/2 + 2*k. Let v be o(9). Suppose -v = 3*h - 8*h. Is h prime?
False
Is ((-5)/2)/(3/(-30)) a prime number?
False
Let q(g) = g**3 - 6*g**2 - 4*g - 1. Let n be q(6). Let h = -5 - n. Is (-3)/(2*(-2)/h) a composite number?
True
Suppose 4*a + 5*q = 36, -2*a - q - 4 = -4*a. Suppose -3*y = -5*m - 160, -a*m = y - 3*y + 106. Is y a prime number?
False
Suppose -2*u + 166 = -56. Is u composite?
True
Let y = 183 + 32. Let a = y - 148. Is a a prime number?
True
Is 0 + (117 - (1 + 1)) a composite number?
True
Let t(n) be the third derivative of n**5/60 - 7*n**4/24 - 7*n**3/6 - 2*n**2. Let s be t(-5). Suppose -q + 0*q + s = 0. Is q composite?
False
Let g(n) = -2*n - 10. Let r be g(-8). Let w(p) = p**3 - 4*p**2 - 9*p + 3. Is w(r) composite?
True
Let s(l) = 8*l**2 + 9*l + 14. Is s(7) prime?
False
Suppose 0 = 5*o - 13 - 2. Suppose -2*c = -5*l, -5*l + 19 = -3*l + o*c. Is l/3 + (-384)/(-18) a composite number?
True
Let f(k) = -3*k**3 - 3*k**2 - 3*k - 7. Let v(p) = -2*p**3 - p**2 - 2*p - 4. Let y(h) = 3*f(h) - 5*v(h). Is y(6) prime?
False
Let f be (485/4)/((-2)/8). Let v = 100 - f. Suppose -192 = -3*l + v. Is l a prime number?
False
Let p(t) = t**2 + t + 1. Let r(l) = -6*l**2 - 18. Let v(c) = -5*p(c) - r(c). Let s be v(9). Let d = s + 60. Is d a composite number?
False
Let f be 27/21 + 6/(-21). Is 121/f - (4 + -2) composite?
True
Suppose 3*y = -3, 3*t + 3*y - 4 = -13. Let b = 3 - -1. Let j = t + b. Is j composite?
False
Let o be (-4 - (-4 - 473))*1. Suppose -4*c - 3*t + 581 = -o, -3*t = -5*c + 1331. Is c a prime number?
False
Suppose -312 = -3*o + 3*n, -220 = -2*o + 5*n - 0*n. Let c = 31 + o. Is c composite?
False
Let s = 75 + -393. Let k = 575 + s. Is k composite?
False
Let n(g) = g**3 + 6*g**2 - 2*g - 8. Let r be n(-6). Let f be 1/((-2)/r) - -4. Is (f/4)/((-4)/(-104)) prime?
True
Suppose 0 = -2*u + 6*u - 5*a - 1012, 4*u = 2*a + 1012. Is u composite?
True
Suppose -2*s + 1805 - 27 = 0. Is s prime?
False
Let r(b) = -b**2 + 6*b - 6. Let l be r(6). Let t = l - -57. Is t a prime number?
False
Let n(s) = -5*s. Let h be n(-3). Let z be 11*(0 + 1/(-1)). Let d = z + h. Is d prime?
False
Suppose -y - 2*q + 637 = 0, -3*q + 149 = -2*y + 1402. Is y composite?
False
Let c = 1 - 2. Let r be -58*c/1 + 2. Suppose 297 - 27 = 3*g + 3*m, 5*m + r = g. Is g prime?
False
Suppose -2*t + 18 = -3*l, 5*t - 5*l = -2 + 37. Let j(i) = -2*i**t + i - i**3 - i + 5 + 3*i. Is j(-4) prime?
False
Suppose 25*v = 20*v + 2245. Is v composite?
False
Let d(q) = 105*q**2 - 8*q - 7. Is d(-1) a composite number?
True
Suppose -4*g + 2*s + 2008 = 0, 2*g - 4*g + 3*s + 1004 = 0. Suppose 0 = 5*b - z + 4*z - 1276, 2*b + 4*z = g. Is b a prime number?
True
Suppose -o = j - 1, 4*j = -o - 16 + 5. Let r be o - (-3)/(-6)*-2. Let n(b) = 7*b + 5. Is n(r) composite?
False
Suppose 10*u - 36690 + 9080 = 0. Is u composite?
True
Let w = -5 - -7. Let q be 11/w - (-1)/(-2). Suppose q*r - 11 = 84. Is r a composite number?
False
Is (-516)/(-6) + (-3 - -2) composite?
True
Suppose 2*j = p + 3647, 4*j + 5*p + 4230 - 11503 = 0. Is j composite?
True
Is (-3)/(-9)*69*1 a prime number?
True
Suppose 5*z - 2*k - 1887 = 0, 3*z - k - 2*k - 1134 = 0. Is z a composite number?
True
Let m(i) = i**2 - 5*i + 12. Let o be m(8). Suppose 4*q = -12, -a + q - 10 = -o. Is a composite?
False
Let o = -5 + 3. Let l(g) = -8*g**2 + g - 1. Let q be l(o). Let h = -21 - q. Is h composite?
True
Let r(x) be the second derivative of x**5/4 - x**4/6 + 2*x**3/3 - 5*x**2/2 + 5*x. Is r(4) a composite number?
True
Let y = -8 + 9. Let j = 8 - y. Is j a composite number?
False
Let r = -442 - -889. Is r a prime number?
False
Let d(k) = 24*k**2 + 5*k + 4. Is d(5) prime?
False
Let f(q) = -2*q**3 - 3*q**2 + 4*q - 7. Let h be f(-5). Suppose -2*p = -6*p + h. Suppose x - 20 - p = 0. Is x prime?
False
Let t = 15 - 0. Suppose -p + 3*a - 2*a = -t, 0 = 2*a. Suppose 0 = x - p. Is x a composite number?
True
Suppose -m + 12 = 3*m. Suppose -5 = m*l - 14. Suppose l + 8 = f. Is f prime?
True
Let m(g) = g - 4. Let v be m(6). Suppose 0 = -v*t - 4*t + 3030. Is t prime?
False
Suppose 5*c = 10*c + 4*f - 12774, 2*c - 5124 = 2*f. Is c composite?
True
Let w(f) = -f - f**2 + 0*f - 3*f - 2*f. Let k be w(-6). Suppose k = 5*z - 50 + 15. Is z a composite number?
False
Let h = 573 - 281. Suppose 4*g - h - 64 = 0. Is g a prime number?
True
Let s = -31 + 282. Is s composite?
False
Let n = 196 + -78. Is n prime?
False
Suppose -9*o + 6*o = -549. Is o composite?
True
Let w(p) be the first derivative of -2*p - 2 - 3/2*p**2. Is w(-3) prime?
True
Let c = 1342 - 207. Is c a prime number?
False
Suppose 5 = -5*n, -5*y + 5*n = -25 + 5. Suppose 3*q + 8 = y*v + q, 0 = -v - q + 6. Suppose 0 = -4*w + 5*j + 75, -v*w + 80 + 35 = 3*j. Is w a prime number?
False
Suppose -4*b = 3*v - 5808, -5*b - 2*v + 6525 + 742 = 0. Suppose -b = -c - 2*c. Is c composite?
True
Suppose -4*b - 2*o + 51570 = 0, 3*o + 12896 = 6*b - 5*b. Is b prime?
True
Suppose 3*w + 3*j - 9 = 0, 3*w - 3*j = -2*j + 21. Suppose -3*r - w = -5*r. Suppose -r*k + 2*d + 85 = 6*d, -5 = d. Is k a composite number?
True
Let l(d) = -2*d + 0*d**2 - 7*d**2 + 0*d**3 - d**3 + 10 + 1. Is l(-8) a prime number?
False
Suppose 5*q - 5*y - 660 = 0, -q - y + 39 = -97. Is q a composite number?
True
Let w(y) = 40*y**2 - y + 4. Let j be w(-4). Suppose 2*n = -3*m - m + j, -2*m + 330 = -2*n. Is m prime?
True
Let i be 0 + 2*(-4)/(-2). Suppose -5*n - i*l = -3*n - 28, 5*l = 4*n - 108. Let s = -1 + n. Is s a composite number?
True
Let w = 21 + -11. Let h(p) = p - 3. Is h(w) a prime number?
True
Let x = 6 - 14. Let j = x + -7. Let f = j + 34. Is f a prime number?
True
Let t(o) = -o**3 - 6*o**2 - 6*o - 5. Suppose 0*b + 4*s - 97 = -3*b, 0 = -4*b - s + 138. Let g be (-41)/7 - 5/b. Is t(g) a prime number?
True
Let y(w) = w**3 + 6*w**2 - 6*w + 9. Let g be y(-7). Suppose -v - g = 3. Let f(b) = 8*b**2 - 4*b + 1. Is f(v) a prime number?
False
Let s be (7*4)/(6/(-57)). Let g = 430 + s. Suppose -5*h + 0*h - 4*c = -387, -2*h + 3*c + g = 0. Is h a composite number?
False
Let m(c) = 1 + 8*c + 2 - 13*c + 2*c**2. Is m(-4) a composite number?
True
Let p(i) = 5*i + 2*i - 3 + 4 - 2. Is p(5) prime?
False
Let x = 672 - 167. Is x a prime number?
False
Suppose 23 + 37 = 4*g. Is g a composite number?
True
Let g be 2/10 + (-45)/(-25). Suppose -20 = 5*n, -g*y - 2*n + 264 = -4*y. Let j = -69 - y. Is j composite?
False
Let s = 17 - 412. Let r = -204 - s. Is r a composite number?
False
Let v(a) = a - 4. Let n be v(5). Suppose 0 = -x + 4*k + 53, 13 = 3*k + n. Is x a composite number?
True
Let b(j) = 26*j**3 - j**2 - j + 1. Is b(2) composite?
True
Let f(c) be the first derivative of c**4/4 + 5*c**3 + 15*c**2/2 + 7*c - 6. Is f(-12) a prime number?
False
Let h(m) = 3*m**2 + 5*m - 3. Let o(g) = -10*g**2 - 14*g + 8. Let z(k) = -7*h(k) - 2*o(k). Is z(-5) prime?
False
Let u(r) = -33*r**3 + r**2 - 2. Let z be u(-3). Suppose -10*h - z = -12*h. Is h a prime number?
True
Let v = 13 + -8. Suppose -v*m - 4*f = -317, -4*f - 2 = 6. Is m a composite number?
True
Suppose 0 = 3*h - 9. Suppose -213 = 2*p - 2*j - j, -4*p - h*j - 435 = 0. Let a = p + 173. Is a a prime number?
False
Let h be ((-2)/4)/(4/544). Let t = h - -145. Suppose -m + t = 10. Is m a composite number?
False
Suppose 3*f - 242 = -5*b, 3*b + b = 2*f - 198. Is f a composite number?
False
Let y = 283 + -80. Let g = -7 - -47. Let p = y - g. Is p a composite number?
False
Let c = 767 - 2