c) be the first derivative of -c**2/2 + 14*c + 3. Is m(0) composite?
True
Let x(t) = -6*t + 19*t**2 - 6*t**2 - 3 + 3*t + 1. Is x(3) a composite number?
True
Is (-13470)/(-18) + 2/3 composite?
True
Let g(k) be the second derivative of -34*k**5/5 + k**4/12 - k**2/2 - 4*k. Let n be g(1). Let b = -15 - n. Is b a composite number?
True
Let o(h) = -5*h - 6. Let d be o(-8). Suppose -75 = -s + d. Is s a prime number?
True
Suppose 0 = -s + 103 + 150. Is s a composite number?
True
Let r = -3751 - -5310. Is r composite?
False
Suppose -3*i - 854 = -b, 2*i + 1713 = 2*b - 3*i. Is b composite?
True
Let g(a) = a**3 + 7*a**2 + 6*a + 2. Let m be g(-6). Suppose -m*j - 77 = -j. Let l = 108 + j. Is l a composite number?
False
Is 792 + (2 - 7) + 4 a prime number?
False
Suppose 30*r = 35*r - 1115. Is r prime?
True
Let v(c) = 2*c**2 + 8*c - 17. Is v(-14) composite?
False
Let r(u) be the second derivative of -u**4/12 - 4*u**3/3 - 13*u**2/2 + 2*u. Let z be r(11). Let p = -133 - z. Is p a composite number?
False
Suppose 98 + 546 = 4*l. Is l prime?
False
Let g(f) be the first derivative of 4*f**3/3 - 3*f**2 - 3*f + 1. Is g(8) a composite number?
True
Let h be (-2)/4*17*2. Let b = -7 + h. Is 6/b - (-29)/4 composite?
False
Suppose 3*o - 40 - 2 = 0. Is o a prime number?
False
Let y be (-2)/(-1) + 8 + -6. Suppose -y*b + 94 + 234 = 0. Suppose 0 = -3*u + b + 140. Is u a composite number?
True
Suppose 0 = 2*d - b - 2297, 4*d + 402 - 4981 = 5*b. Is d composite?
False
Suppose 2546 = 4*u - 3*y, -4*u - 3*y = -y - 2536. Is u a prime number?
False
Suppose -3*b + 16 = 4*q, -5*q = 5*b - 11 - 14. Let p be (381/(-9))/(q/(-9)). Suppose y = 4*y - p. Is y composite?
False
Let h(l) = -2*l**3 - 4*l**2 - 6*l + 4 + 4*l**3 - 3*l**3. Is h(-5) a composite number?
False
Suppose -4*o - r + 12 = 0, 3*o + 2*r = -0*r + 9. Is 1/(o + 896/(-299)) composite?
True
Suppose -7*c = -3*c - 348. Suppose c = -5*v + 432. Is v a composite number?
True
Let k(n) = 2*n**3 + 2*n**2 + 3*n - 2. Is k(3) a prime number?
True
Suppose 2*r - 11 - 45 = 4*v, 0 = -5*r + 5*v + 120. Is 6/(-15) + 528/r composite?
True
Let h(o) = -o**2 - 6*o - 1. Let w be h(-4). Suppose -w = -3*q + 2. Suppose -2*a = -q*a + 145. Is a prime?
False
Let a be -7*(1 + -1 + -1). Let q(m) = m**3 - 5*m**2 - 5*m - 6. Let j be q(a). Suppose 0*w = 3*w - j. Is w a prime number?
True
Let z(n) = -n**2 + 8*n - 7. Let y be z(7). Suppose -3*i - 2*k + 21 = -k, y = 4*i + k - 28. Is i a composite number?
False
Let r(m) = -m + 1. Let a be r(4). Let y be ((-706)/6)/1*a. Let t = y - 154. Is t composite?
False
Let h(f) = 111*f**2 - f - 5. Is h(3) a composite number?
False
Let u = 1093 - 134. Is u a composite number?
True
Is ((-492)/(-4))/(0 - -1) composite?
True
Let b(d) = -10*d + 2. Let l be b(3). Let y = 90 - l. Let q = -39 + y. Is q a prime number?
True
Let o = 6 - 5. Is o/5 - 282/(-15) a composite number?
False
Is (3 + -1)/((-2)/(-3389)) a prime number?
True
Suppose 0 = 3*o - 4*x + 11, 5*x + 48 = -3*o + 1. Let c be 2/(-9) + 187/o. Is 2/(-6)*1*c composite?
False
Is (-1528)/12*-3 - 3 a composite number?
False
Suppose 0 = -5*w - 2 - 8. Suppose -3*d - 9 = -4*x, 2*d + x - 8 = -3. Is d/((-146)/74 - w) a prime number?
True
Let i(k) = k**2 - k + 5. Suppose 20 = -5*w + 4*j, 2*w + 0*j - j = -5. Let x be i(w). Suppose c - x = 4*y, 0 = 3*c - y + 3*y - 85. Is c prime?
False
Let f(k) = k**3 - 3*k**2 + 2*k + 2. Let a be f(2). Let t = 1 - a. Is (-3 - t) + 8*2 prime?
False
Let w be 12/4 + -1 + -4. Let b = 5 + w. Suppose -125 = b*d - 4*d + s, -3*d + 5*s = -371. Is d a prime number?
True
Let g be ((-236)/10)/((-9)/(-270)). Is g/(-20) - 4/10 a prime number?
False
Let c be 1 + 3/(12/28). Let j(n) = n**3 - 7*n**2 + 5*n - 10. Is j(c) a composite number?
True
Let p(t) = 29*t**2 - 2*t - 1. Suppose 10 = 4*j - 2*j. Suppose 4*o + x = 13, -j = 4*o + 5*x - 38. Is p(o) a composite number?
True
Suppose -t - 3*g + 2 = 0, 3*t + 4 = 5*t + g. Let x be (-15)/(-10)*(-4)/(-3). Suppose -3*r - t*i + 115 = x*i, i - 75 = -2*r. Is r a prime number?
True
Let c(r) = -21*r - 29. Is c(-12) composite?
False
Suppose 350 = -5*t + 940. Is t composite?
True
Let x be (0 + -43)/(4/(-4)). Suppose -4*l = -5*l + x. Is l a composite number?
False
Suppose -h - 2*z + 333 = 0, -3*z - 244 = -2*h + 387. Is h composite?
True
Let p(g) = -2*g - 1. Let j be p(-2). Let d = -185 - -313. Suppose n + 0*v - v = 41, 2*v = j*n - d. Is n a composite number?
True
Let u = -97 + 1184. Is u a composite number?
False
Let u be ((-5)/15)/((-2)/102). Let h = u - -36. Is h a prime number?
True
Let h be ((-5)/3)/(6/18). Let c = h + 5. Suppose r - j - 52 = 0, c*j = 5*r + 2*j - 281. Is r prime?
False
Is 2*(-2)/(4/(-239)) a prime number?
True
Let t be (5/10)/(2/24). Is 530/t + 4/6 composite?
False
Let t = 47 + -16. Is t prime?
True
Let p(w) = -w**3 - 6*w**2 - 6*w - 2. Suppose 2*o - j + 30 = -3*o, 4*j - 40 = 4*o. Let d be p(o). Is 1/((d/(-231))/(-1)) composite?
True
Let d = 10932 - 7103. Is d a prime number?
False
Let x = -589 + 854. Is x a prime number?
False
Is 264/5 - (-4)/20 prime?
True
Let l = 3 - 10. Let s be (l - -11)/(3 - 1). Suppose -2*d + s*j = -3*d + 211, -d + 2*j + 215 = 0. Is d prime?
False
Let u(g) = g**3 - 3*g**2 + 4*g - 1. Suppose 0 = -5*x + 12 + 8. Is u(x) composite?
False
Let s(j) = -j**2 + 9*j - 6. Let q be s(8). Suppose 3*v = y + 2*v, -y - q*v = -12. Suppose -y*d + 25 + 67 = 0. Is d a composite number?
False
Let n(a) = 6*a**3 - 4*a**2 + 3*a + 1. Let b be (-4)/(-14) - 80/(-14). Let i(c) = -7*c**3 + 4*c**2 - 3*c - 1. Let z(f) = b*n(f) + 5*i(f). Is z(4) a prime number?
True
Let a = 15 - 11. Suppose n + a = 5. Is -1*n + -5 + 44 a prime number?
False
Let f(l) = -7*l + 1. Let m(p) = -1. Let a(o) = -2*f(o) + 2*m(o). Let j be a(-4). Let h = -23 - j. Is h prime?
True
Let z(h) = h**3 + 7*h**2 - 10*h - 9. Let j be z(-8). Let p = -2 + j. Suppose -5*w - 5*g = -340, 3*w - 145 = w - p*g. Is w prime?
False
Let o = -8 + 13. Suppose -2*w = j - 2*j - 8, w - 4 = -o*j. Suppose 3*y + 189 = 3*g, 38 + 147 = 3*g - w*y. Is g prime?
True
Let i(o) = 33*o + 12. Let s(q) = -q + 1. Let l(t) = -i(t) - s(t). Is l(-7) a composite number?
False
Suppose 0 = 3*g - 12. Let b be 4/20 + (-3)/15. Suppose b = -s + g*x + 35, -3*x = -s - 4*x + 35. Is s composite?
True
Let g(x) = x**3 - x**2 + 6*x + 7. Let p(f) be the second derivative of f**4/12 - f**3/2 - 3*f**2/2 - 2*f. Let n(s) = -2*g(s) - 5*p(s). Is n(-4) composite?
True
Let t = -12 + 20. Suppose 5*y - 4*u - 358 = 366, -600 = -4*y - 2*u. Suppose -t*b = -4*b - y. Is b a prime number?
True
Suppose -3*n = -0*k - 3*k - 12, -2*n = 0. Let b be k/8 + 351/6. Suppose -b = -i - 1. Is i prime?
False
Suppose 55 = 2*j + 3*j. Let s be -8 + j - (0 - -1). Is (2 + -39)/(s - 3) a composite number?
False
Let a(p) = -p**3 - p**2 - p + 211. Is a(0) a prime number?
True
Let o(z) = 40*z - 49. Is o(6) prime?
True
Let t be -1*(-5)/((-15)/(-12)). Let y(c) = 4 + 1 + 3*c + t*c**2 + 3 - 2. Is y(5) composite?
True
Suppose -559 = -6*b + 959. Is b composite?
True
Suppose -1140 = -0*w - 3*w. Suppose -w = -6*f + 2*f. Is f a prime number?
False
Suppose -3*q - 791 = -4*q. Is q a composite number?
True
Let y(l) = -33*l**3 + 3*l + 1. Is y(-2) a prime number?
False
Let s be 2/8 - 30/(-8). Let y(l) = 2*l + 5. Is y(s) prime?
True
Let m be ((-60)/(-9))/((-2)/12). Let l = m + 74. Is l prime?
False
Let z be 3/((-12)/8)*-71. Suppose d - z = -d. Is d a prime number?
True
Let n = 58 + -12. Let a be 16/9 + 4/18. Suppose 0*f + n = 2*f + 4*b, a*f = b + 71. Is f composite?
True
Let b(o) = 66*o + 2. Let q be b(7). Let u = -277 + q. Is u composite?
True
Suppose -4*t + 16 = 2*i - 2*t, 2*i + t = 14. Let c(o) = 4*o**2 + 8*o - 1. Is c(i) prime?
True
Suppose -12 = -7*y + 4*y. Suppose 0*s + 51 = 2*k - 5*s, -3*k - y*s + 111 = 0. Is k a composite number?
True
Suppose -y = -4*y + 1338. Is y a prime number?
False
Let t = -48 - -26. Let s be t + ((-9)/(-3))/3. Is 4/1*s/(-12) composite?
False
Suppose 4*v + 4*n = -168, -v = n + 2*n + 48. Let q = -4 - v. Is q composite?
True
Suppose 150 + 0 = -2*o. Let p = 186 + o. Is p a prime number?
False
Let w(z) = 3*z**2 + 2*z + 3. Let q be w(-2). Let n = -7 + q. Suppose 2 = 3*s + n*t, 0 = 2*s - 3*t - 7. Is s a composite number?
False
Let d be 26/3 + (-10)/(-30). Suppose 0 = -d*k + 4*k + 4*o + 951, -k + 183 = o. Is k a prime number?
False
Suppose -3 