 -3*g(v) - 4*k(v). Is a(-7) composite?
False
Let y(p) be the first derivative of 29*p**2/2 + 4*p + 1. Let g(q) = -30*q - 5. Let w(x) = 3*g(x) + 4*y(x). Is w(3) a prime number?
True
Suppose 0 = -0*m - 4*m - 616. Let b = 237 + m. Is b a composite number?
False
Suppose -3*i - 2*i + 15 = 0. Suppose 0 = 3*r - 4*r + 32. Suppose 0 = -i*j + 4*j + 3*d - 2, 4*d = -4*j + r. Is j prime?
True
Let y be (25 - 0)*(-6)/(-15). Is 304/y - 3/(-5) a composite number?
False
Let q = 26 - 14. Suppose q = -3*u - 0. Is ((-97)/u)/((-2)/(-8)) prime?
True
Suppose 2*d + 5*t + 25 = 0, -3*d + 0*d = -3*t - 15. Suppose d = 2*q + q + 5*k - 175, -k = -2. Is q prime?
False
Let q = 1789 + -752. Is q a composite number?
True
Suppose 4*p = 3 + 1. Let r be ((-1)/4)/(p/(-4)). Is -12*((-14)/8 + r) composite?
True
Let q = 727 + -343. Suppose 2*u = 2*h + u - q, u - 953 = -5*h. Is h composite?
False
Suppose k - 118 - 64 = 3*d, -5*k - 3*d + 964 = 0. Is k a composite number?
False
Suppose l + 318 = 4*l. Is l composite?
True
Let a = -2 - -4. Suppose -a*u + 514 = 188. Is u composite?
False
Let g(c) = -c + 2. Suppose -l = 3*o - 16, 2*o + 4*l = l + 20. Let r be g(o). Is 11 - (-2 + 3)*r a composite number?
False
Suppose f = -5*w + 53, 0 = -f - f - 5*w + 86. Suppose 2*m - 60 = -m. Let h = f - m. Is h a prime number?
True
Suppose 0*z + 6 = 3*z. Let c(w) = -4*w + 2*w**2 + 6*w**2 - w**3 - 4*w**2 + z. Is c(2) prime?
True
Let l = 10 - 7. Let b be (-3)/l*-1*1. Suppose -b - 2 = -s. Is s a prime number?
True
Suppose 4*p - 7040 = -4*m, 2*p - 3517 = -0*m - m. Is p a composite number?
True
Let t be 1/(-1 - (-178)/177). Suppose 4*n = v + t, 0*v + 3*v + n = -466. Let y = v + 314. Is y composite?
False
Let d(g) = 14*g**2 + 1. Let b be 3/1*12/18. Suppose b*t + 9 = 5*t. Is d(t) composite?
False
Suppose -5*u = -u - 20. Suppose u*y - 280 = 165. Is y a prime number?
True
Let b(d) = -d**2 - 7*d - 3. Let f be b(-6). Suppose f*h = 136 + 113. Is h a composite number?
False
Let b(i) = -2*i + 7*i + 4 + 2*i + 32*i**2 - 6*i. Is b(3) a composite number?
True
Let h = -1021 - -1928. Is h composite?
False
Let v = 717 + -298. Is v a composite number?
False
Suppose -252 = -4*a + 2*a. Let r(o) = -11 + 10 + a*o + 149*o - 113*o. Is r(1) a composite number?
True
Let g(y) = 2*y**2 + 9*y - 14. Let d be g(-12). Suppose 0 = w + w - d. Suppose -p - 32 = -w. Is p prime?
False
Suppose 0 = 3*j - 1481 + 524. Is j a composite number?
True
Is ((-327)/4)/(12/(-16)) composite?
False
Suppose j - 6*c - 133 = -4*c, -4*c = 4. Is j a prime number?
True
Let a = -15 + 25. Suppose a = -4*l - l. Is (23/2)/(l/(-4)) composite?
False
Let v = 23 - -32. Is v composite?
True
Let a(p) = -p + 2. Let l be a(-2). Suppose -2*r - q + 1152 = 4*q, 2322 = l*r + q. Is r a prime number?
False
Let v = -323 - -753. Suppose 0 = -5*q + v + 25. Is q a composite number?
True
Let s be 5 + 3 + -1 + -2. Suppose 0 = h - 5*f + s, 2*h = -h - 3*f - 15. Is 54/8 - h/20 a composite number?
False
Let m be (-3 + (2 - 4))/1. Let d = 4 + m. Let w = 70 + d. Is w prime?
False
Let f(w) = 180*w - 5. Let o(v) = -120*v + 3. Let g(c) = 5*f(c) + 8*o(c). Is g(-1) a composite number?
False
Let f(m) be the second derivative of -m**7/840 - m**5/120 + 67*m**4/24 + m**3/6 + m. Let y(j) be the second derivative of f(j). Is y(0) prime?
True
Let h(a) be the second derivative of a**3/3 + 4*a**2 - 2*a. Let u(b) = -b**3 - 3*b**2 - 3*b - 2. Let r be u(-3). Is h(r) a composite number?
True
Let d(n) = -127*n - 1 + 1. Is d(-1) composite?
False
Let v be 28833/(-14) + (-1)/(-2). Let h = v + 4208. Is h a prime number?
False
Let z = 220 - 86. Is z composite?
True
Let d(j) = j**2 + j. Let t(r) = 4*r**2 + 16*r. Let l(p) = -7*p**2 - 33*p + 1. Let x(h) = -3*l(h) - 7*t(h). Let m(f) = 6*d(f) + x(f). Is m(-5) prime?
True
Suppose 180 = 2*i - 138. Is i composite?
True
Suppose -2*x + 5*x - 39 = 0. Suppose 0 = d + 36 - x. Let f = d + 58. Is f prime?
False
Let o = 0 + 3. Suppose -4 = -o*p + 53. Is p prime?
True
Suppose 1 - 9 = -4*l. Suppose 3*r - 155 = -l*r. Suppose -5*b - 130 = -4*v - r, b + 103 = 4*v. Is v a composite number?
True
Let h(y) = y**3 - 7*y**2 - 7*y - 2. Let x be h(8). Let k = 14 - x. Suppose 4*o + 25 = 4*g + 93, -2*g = k. Is o composite?
False
Suppose 5*d + 4*i + 812 = 0, -3*d + 2*i = 7*i + 482. Let m = -105 - d. Is m a composite number?
False
Suppose 5 + 0 = -j. Let r(i) = -2*i**3 - 3 + 6*i**2 + 4*i**3 - i**3. Is r(j) prime?
False
Suppose 4*p - 801 = p. Suppose -55 - p = -y. Suppose -2*j + y = 2*h, -h + 2*j = -0*j - 167. Is h a composite number?
False
Let u(n) = -n**2. Let k(j) = -j**3 - 3*j**2 + 5. Let q(s) = -k(s) + 4*u(s). Let t be q(4). Suppose 0 = g + 12 - t. Is g a prime number?
True
Is 5334/(-4)*(-2)/3 a composite number?
True
Let m(l) = -l**2 + 6*l - 1. Let s be m(4). Let d(b) = 3*b - 7. Let n(g) = -4*g + 7. Let x(c) = -2*d(c) - 3*n(c). Is x(s) a composite number?
True
Is (-31)/(-1) + (-2 - -4) prime?
False
Let u = -313 + 1368. Is u composite?
True
Let x(s) = -9*s + 1 - 2*s**3 - 3*s**3 + 4*s**3 - 9*s**2. Let k be 4/(6/4 - 2). Is x(k) prime?
False
Let t be -2 - (1 + (-6)/(-2)). Let x = t + 9. Suppose -x*z = 5*j - 195, j = 3*j. Is z prime?
False
Let g be 29/(-9) - (-4)/18. Let n be (g/(-6))/(2/4). Is 1/(n + 0)*55 a prime number?
False
Suppose -3060 = -5*k - 5*h, 5*k - 3054 = 3*h - 2*h. Is k composite?
True
Suppose -m - 2*m + 4*n + 436 = 0, -594 = -4*m - n. Is (m + -1)*(-2)/(-6) prime?
False
Let t(x) = x**3 - 4*x**2 + 5*x + 5. Let v be t(6). Suppose 338 = 5*c - v. Is c composite?
False
Let c be 3/3 - (-2 - 1). Let m be (c/2)/((-4)/(-8)). Suppose m*j = -3*q + 91 + 5, 4*q = -j + 37. Is j a composite number?
True
Suppose -5*i - 74 = -629. Is i a composite number?
True
Let q = 42 + 41. Is q composite?
False
Let m(j) = 3*j**2 - 10*j + 11. Is m(6) a prime number?
True
Let x(h) = -6 - 13*h + 75*h + 3. Is x(5) a prime number?
True
Let q be (-1 + 15)/(1/1). Suppose 0 = -3*o - 101 + q. Let w = o + 52. Is w a composite number?
False
Suppose -2*o + 4*s + 5 + 3 = 0, -5*s = -o + 4. Let c be 109 + o/2 - 0. Suppose -p - 2*p = -c. Is p a prime number?
True
Suppose 2*k + 2*k = 8. Suppose 0 = -2*d - 4, -2*h + k*d = -0*h - 8. Suppose -h*c = 2*c - 364. Is c prime?
False
Let b(f) = -2*f - 1. Let a be b(-3). Suppose -3*d = 0, -a*d + 634 = 3*j - j. Suppose 5*g + m + m - 787 = 0, -2*g = 3*m - j. Is g composite?
False
Suppose x + 7*t - 2*t - 120 = 0, 4*t = -3*x + 415. Is x composite?
True
Let o(z) be the third derivative of z**5/30 + 5*z**4/12 + z**3 + 3*z**2. Is o(-7) a prime number?
False
Suppose -k = 3*l - 133, 0 = 3*k + 2*l - 7*l - 371. Is k a prime number?
True
Let t = -20 + 62. Suppose -5*o = 12 - t. Suppose 3*y = o*y - 33. Is y a composite number?
False
Let a = 22 - 11. Suppose -2*z = -a - 63. Is z a prime number?
True
Suppose f - 756 = -0*f. Let m = -415 + f. Is m prime?
False
Let k be 3/(-2) - (-2)/(-4). Let o = 2 - k. Suppose -r + 4*v + 41 = -0*r, o*v = 3*r - 147. Is r composite?
False
Suppose -4*k = -2*k + 280. Let f = k + 223. Is f a composite number?
False
Let r = 138 + 11. Is r a composite number?
False
Suppose 0 = -0*m - 4*m + 16. Suppose -f = -3*f + m. Suppose -7*z + f*z = -230. Is z a prime number?
False
Suppose 3*h = -4*n + 944, h + 928 = 4*n - 0*h. Is n composite?
False
Let t = 63 - -7. Let y be t/(6/(-27)*3). Let h = y + 160. Is h prime?
False
Let z(d) = -d**3 - 13*d**2 - 19*d - 15. Is z(-12) composite?
True
Let b be 6/(-10) + 759/15. Suppose -g + b = -u, 74 = 4*g - 2*u - 128. Is g a prime number?
False
Let b(f) be the second derivative of f**4/2 - 5*f**3/6 - 4*f**2 + 2*f. Let y be b(-6). Suppose 177 = 5*q - y. Is q prime?
True
Let t = 83 + -2. Suppose 11 + t = 4*o. Is o a prime number?
True
Let l(d) = 84*d**2 + 6*d + 5. Is l(-3) prime?
True
Suppose 3*i = -2*i. Suppose -2*l + 1 + 3 = i. Suppose 3*o = v + 264, -4*v = l*o - v - 187. Is o prime?
True
Let g = 1460 - -1043. Is g prime?
True
Let p(y) = 5*y**2 + 4*y - 1 - 4*y - y. Is p(-10) a composite number?
False
Suppose k + 11 = -k - 5*y, 0 = -4*k + 5*y + 23. Is k/(-1) - 3*-43 composite?
False
Let w = 2 + 3. Let i be w/((-5)/2) + 129. Suppose 0*q + 3*v - i = -q, -3*q = v - 381. Is q prime?
True
Suppose 4*q - 12 = c, -5 = -5*c - 5*q + 35. Let v = c + 1. Let i = 14 + v. Is i a prime number?
True
Suppose 2*g + 5*g - 413 = 0. Is g a prime number?
True
Let h(a) = -a**