g) = -7*g**2 - 1 - 4*g + 2*g**l + 7*g**2. Is k(4) composite?
True
Let a(h) = 9*h + 12. Let q be a(-9). Let f = 20 + q. Let c = f - -82. Is c a prime number?
False
Let a be (-23)/(-2) - 2/4. Suppose -4*o - 4*t - 16 = 0, t + 0*t - a = 4*o. Let r(y) = 10*y**2 + 3*y - 2. Is r(o) prime?
True
Let b = 300 + -50. Suppose 0 = 2*s - 2*n - 0*n - b, -3*s + 369 = -n. Suppose 146 = 4*c - s. Is c a prime number?
True
Let s(b) = -b**3 - 6*b**2 - 5*b + 3. Let m be s(-5). Suppose m*k + 11 - 29 = -5*a, 2*k = a + 12. Is ((-18)/12)/(k/(-28)) prime?
True
Let n = 26 + -22. Is (n + 22)/(2/5) prime?
False
Let x = 13 + -5. Is 618/x - (-2)/(-8) a prime number?
False
Suppose 2*z - 4*z = 4*c - 16154, -3*c + 12113 = -z. Let g be c/54 - (-4)/18. Suppose -5*u - 17 + 77 = -2*d, 5*u - g = -d. Is u prime?
False
Let h(l) = l**3 + l**2 - 3*l - 2. Let r(q) be the first derivative of 2*q**3 + q**2/2 - 2. Let j be r(-1). Is h(j) a composite number?
True
Let w(r) = r**3 + 7*r**2 - 5*r - 3. Let s be w(-7). Suppose -618 = -2*h + 3*g, 5*g = 2*h - s - 594. Is h prime?
False
Let z(m) = m**3 - 7*m**2 - m + 5. Let c be z(7). Let h be c/(-3)*(-36)/(-8). Is 5 - h - (2 - 119) prime?
False
Let u = -12 - -3. Is (-209)/u - (-4)/(-18) composite?
False
Suppose 2*b - 11 = 11. Suppose -3*a + b + 1 = 0. Suppose -10 = -5*d, -3*v + 4*v + a*d - 97 = 0. Is v a composite number?
False
Let y(b) = 52*b**2 + 3*b - 3. Suppose -5*t + 2*t = -6. Is y(t) composite?
False
Suppose 0 = -3*m + 15, -4*m = 5*i - 20 - 10. Suppose -2*a + 4 = -4*a, -5*j + i*a = 231. Let g = -10 - j. Is g composite?
False
Suppose 3*t - v = 1, -5*t + 11 = v - 4. Let y be (-1)/t - (-66)/12. Suppose 2*n + 171 = y*h, 0 = -0*h - h - 4*n + 21. Is h a composite number?
True
Suppose 5*w - w - 2652 = -4*b, 0 = 4*b - 2*w - 2646. Suppose -b = -5*n + 83. Is n composite?
False
Let o = 11 - 15. Let h be (-6 - o)/(4/(-6)). Suppose -f + 140 = h*d, 26 = -4*d + 3*f + 217. Is d composite?
False
Let n be 2/(-7) + 1038/7. Suppose g + 3*g = n. Is g a composite number?
False
Suppose 3*q - 4*u = -5, q + 0*q - 30 = -5*u. Suppose 4 = z - 1, q*z = -f + 48. Is f a prime number?
True
Let u(m) = -m**3 + 4*m**2 + 4. Let r be u(4). Suppose 0 = -3*c + 2*o + o + 120, -120 = -r*c - 4*o. Is c a composite number?
True
Suppose 0 = -2*u + 8. Let z be (10/4)/5*u. Is (3/2)/(z/12) prime?
False
Let q be 20/6 - (-14)/21. Suppose q = -3*k - 2. Is 68 + (1*k - -3) a composite number?
True
Suppose 6 = 3*v + 4*i, 0 = 4*v - 5*i + 9 + 14. Is 2 + (v - -1) - -36 prime?
True
Let d(z) = z**3 + 25*z**2 - 12*z + 35. Is d(-11) a composite number?
False
Suppose -c - 33 = -4*c. Let d(i) = -i**3 + 13*i**2 - 15*i + 12. Is d(c) prime?
True
Let v(x) = 8*x + 1. Let r be v(-1). Let z(q) = -2*q - 10. Let o be z(r). Suppose 20 = -5*p, o*c = c - 4*p + 50. Is c a prime number?
False
Let m(v) = -3*v**3 - 9*v**2 - 5*v + 8. Let g be (-3)/2*22/3. Let p(o) = 8*o**3 + 26*o**2 + 16*o - 24. Let l(t) = g*m(t) - 4*p(t). Is l(7) prime?
True
Let t(x) = 5*x**2 - 5*x + 10. Let g be t(-7). Let p = -181 + g. Is p composite?
False
Suppose 4*d - 4 - 12 = 0. Let m(j) = 4*j**2 + 5*j - 5. Is m(d) a prime number?
True
Suppose k = -3*k + 196. Let r = 6 - 1. Suppose r*l + k = 114. Is l prime?
True
Is 30/12*(-1996)/(-10) a composite number?
False
Suppose 3*y + 2*v = 52, -v + 66 = 4*y + v. Suppose 3*d = y + 31. Is d prime?
False
Let b = -23 - -6. Suppose -2*p + 198 = 4*t, -p = t + 3*p - 39. Let h = t + b. Is h composite?
True
Let p = 7 - 4. Suppose -p*c + 93 = 2*k - 164, 3*c - 3 = 0. Is k a composite number?
False
Let d be (27/(-2))/(9/12). Let i = 10 + d. Let o(j) = -j**3 - 7*j**2 + 3*j - 7. Is o(i) composite?
True
Let t(o) = o**3 - o**2 + o + 260. Let h be t(0). Suppose -4*c + 2*c = -h. Suppose -5*u + 5*z + c = 0, 4*z = 4*u + 6*z - 74. Is u a composite number?
True
Let v be (2 - (-2 - -13))*-2. Suppose v = -5*k + 203. Is k a prime number?
True
Let q(c) = -4*c + 83. Is q(-20) a prime number?
True
Let p = -77 + 516. Is p a composite number?
False
Let z = 269 - -180. Suppose -5*h + 730 = -2*y, -3*h - 3*y + z = -2*y. Suppose -o + 2*o - 144 = 5*f, f = o - h. Is o composite?
False
Suppose -7*f + 3*f = 2*k - 430, -5*k + 1057 = f. Is k a composite number?
False
Suppose 0*v - 4*v - 1273 = -o, -5*o + 6290 = -5*v. Is o a prime number?
False
Suppose 21 = -4*n + n. Is (-2)/n - (-929)/7 a prime number?
False
Suppose 0*m - 16 = -3*m + 2*y, 4*m - y = 18. Suppose -4*k = -12 - m. Is (1 - -6)/(k/28) prime?
False
Let j(v) = 8*v**3 - 3*v**2 + 2*v - 2. Let q be j(2). Is (-4)/(-18) - (-13866)/q prime?
True
Suppose 4*x = 2*k - 166, 2*k = 2*x - 4*x + 184. Is k*-2*1/(-2) composite?
False
Suppose -5*f = -3*h - 47, 3*f - 6*h = -2*h + 26. Suppose 50 = 5*q + 4*a, -4*q = q - 4*a - f. Suppose x = q*x - 50. Is x a composite number?
True
Let h = 21 + -11. Let q be 18/8 - h/40. Is -3 - (q - 36/1) a composite number?
False
Is (22/3)/(5/15) a prime number?
False
Suppose 4*k + 1032 - 3549 = -5*b, -3*k = 3*b - 1890. Is k prime?
False
Suppose -2*b + 4*z + 7 = -5, -3*z - 9 = 0. Suppose 0*h - 3*h = -5*l + 1127, b = 2*l + 5*h - 426. Is l a composite number?
False
Suppose -3*z + 10 + 5 = 0. Suppose -3*c + 107 = 2*n, 0*c - 138 = -4*c - z*n. Is c a prime number?
True
Suppose u - 28 - 26 = 0. Let i = u - 25. Let z = i + -8. Is z a composite number?
True
Let o = -10 + 12. Suppose -o*i + 555 = i. Is i composite?
True
Suppose 0 = -2*c - 5*j + 537, 2*c + 3*j - 268 = c. Is c a prime number?
True
Is 15 - -1400 - 4*1 prime?
False
Let b(g) be the second derivative of -2*g**5/5 - g**4/3 - g**3/6 - 2*g**2 + g. Is b(-3) prime?
True
Suppose q + f - 5*f - 1051 = 0, -5*q - 5*f + 5205 = 0. Is q a composite number?
True
Is (-2)/(-12) - (42474/(-36) + 3) a prime number?
False
Let u = 552 + -331. Is u - (2 - (3 - -1)) composite?
False
Suppose -2*x + 3 = 1. Is x/(-2) + 23/2 a composite number?
False
Suppose 2*r = -2*x + 1342, -1679 - 1688 = -5*x + r. Is x a prime number?
True
Let i = -455 + 797. Let h = i - 201. Is -1*(0 - h/3) a composite number?
False
Suppose 0 = v - 21 + 6. Suppose -3*g = 2*g - v. Suppose -2*y - 215 = -g*h + 3*y, 2*y = 3*h - 203. Is h composite?
True
Suppose -5*c - 17 = 4*b + 10, b - 2*c = -23. Let u(w) = -w**3 - 12*w**2 - 6*w + 12. Is u(b) a composite number?
True
Let b = -13 - -15. Suppose -3*y + 76 = -b. Is y a prime number?
False
Let t(z) = z - 3. Let r be t(7). Suppose r*w - 535 = 285. Is w a composite number?
True
Suppose -2*p = -p. Suppose -3*d + 683 + 238 = p. Is d a composite number?
False
Suppose 0 = z + 2*z + 4*o - 1245, -413 = -z - 2*o. Is z a composite number?
False
Let j be -2*1/2 + -1. Let n = 75 - j. Is n composite?
True
Let t = 531 + 5990. Is t prime?
True
Let g(l) be the second derivative of l**5/20 - l**4/4 - 4*l**3/3 + 7*l**2/2 + 2*l. Let w be g(5). Let y = w - 7. Is y a composite number?
True
Suppose 4*v = 3*s - 5684 - 8397, -v = -s + 4695. Is s a prime number?
False
Let d(g) = -164*g - 234*g + 114*g - 1 - 54*g. Is d(-1) a composite number?
False
Let r = -655 + -647. Is r/(-9)*6/4 prime?
False
Suppose 5*x = 2 - 7. Is (-1 - 3*74)/x prime?
True
Is (-2)/(0 - 6/69) a composite number?
False
Let q = -155 - -243. Let l = 245 - q. Is l a composite number?
False
Is (2/(-6))/(3/(-2979)) prime?
True
Suppose -5*f - 15 = 105. Let v = -5 - f. Is v composite?
False
Let x(j) = -45*j - 4. Let a be x(-4). Let f = -118 + a. Is f a prime number?
False
Let f = -1351 - -2032. Is f composite?
True
Suppose -u - 12 = -5*u. Suppose 2*a = -2*n + 174, -n - u*n + 356 = 2*a. Suppose 2*x - n = 3*r, 0 = -r + 2 - 1. Is x composite?
False
Let z(c) = c**3 - 6*c**2 - 4*c + 4. Let o be z(8). Suppose -5*p - 2*s + 990 = s, 4*p + s = 785. Let g = p - o. Is g a prime number?
False
Let h = 2021 + -1278. Is h a prime number?
True
Let d = -20 + 14. Let t(h) = 2*h**2 + 7*h + 1. Is t(d) prime?
True
Let n be 91/(-2) - (-3)/6. Let j = n - -92. Is j prime?
True
Is 12/18 - 1952/(-6) prime?
False
Let f = 231 + -35. Is (f/(-12))/(2/(-6)) prime?
False
Let r(l) be the first derivative of 5*l**3/3 - l + 3. Is r(2) a prime number?
True
Let u be (-6)/(-4) - 3/6. Let s be (u - (1 - -1))*-3. Suppose -j - s*j + 196 = 0. Is j a prime number?
False
Is (8/12)/(2/7311) a prime number?
True
Suppose 23 + 13 = 4*p. Let h = 2 - p. Is 2/7 - 40/h a composite number?
True
Suppose 61 - 213 = -4*w. Is w a composite number?