 + d = 2*y - 616. Is l a composite number?
True
Let g be 420 - ((0 - 3) + 0). Let u = 716 - g. Is u prime?
True
Let v be 9*(-2 - (1 - 2)). Let d be (-1)/(-2)*(-5 - v). Let y(k) = 19*k**2 + 3*k - 3. Is y(d) composite?
False
Suppose -4*h + 12 = -0*h, -z + 40 = -4*h. Suppose 0 = g + 3*d - 135, z = -2*g - d + 302. Is g a composite number?
True
Suppose 3 = 3*x - 3. Is (-2 + -1 - -7) + x a composite number?
True
Let v(c) = -c**2 + 7*c - 6. Let m be v(4). Let z(s) = s**3 - 3*s**2 - 5*s + 7. Is z(m) composite?
True
Let v(o) = -36*o + 11. Let r be (-10)/3*(-2 - -5). Is v(r) composite?
True
Let y(r) = 8*r**2 + 3*r + 3. Suppose -z - 2*j = 2*j - 13, 7 = 4*z + j. Let w(g) = 1. Let l(f) = z*y(f) - 6*w(f). Is l(2) prime?
False
Suppose 0 = -5*d + 4314 - 1379. Is d prime?
True
Let m(s) = -s**3 + s**2 + 2*s + 3. Suppose 2*i = -5*l - 6, 12 = -2*l - 3*i - i. Suppose -2*w - 8 = 0, -2*w = -4*j - l*w - 4. Is m(j) a prime number?
False
Let f = -298 + 879. Is f a composite number?
True
Suppose 2*r + 0*r = 5*x + 245, -20 = 4*x. Suppose -w + 6*w = -r. Is w/3*(-30)/4 a composite number?
True
Suppose p + 0*w + 5*w + 293 = 0, 2*p - 2*w = -598. Is ((-2)/(-4))/((-1)/p) composite?
False
Let p = 616 + -342. Is p a composite number?
True
Suppose -5*y = 4*c - 621, 2*c - 299 = 5*y - 896. Let x = -2 + y. Is x composite?
True
Let g = -746 - -1137. Is g prime?
False
Let f(q) = -q - 5. Let w(t) = t + 6. Let u(p) = -5*f(p) - 4*w(p). Let s be u(3). Suppose -s*m + 9 + 19 = 0. Is m a composite number?
False
Let k = -5 + 15. Let h = 57 + k. Is h prime?
True
Let i = 242 + -165. Is i a composite number?
True
Suppose -1200 + 112 = -4*r. Let d = r + -123. Is d prime?
True
Let t(y) be the second derivative of -10*y**3 - y**2/2 - 5*y. Is t(-2) a prime number?
False
Suppose 0*h = -6*h + 948. Is h a composite number?
True
Suppose 2*n = -4*k + 206, 0*k - 167 = -3*k - 4*n. Is k a composite number?
True
Let b(n) = 105*n**3 + 7*n**2 - 4*n - 7. Is b(3) a prime number?
True
Suppose 3*h - 5 - 8 = -2*t, 3*h - 19 = -5*t. Suppose t*d - 41 - 33 = 0. Is d a composite number?
False
Let w(c) = 39*c - 1. Is w(2) prime?
False
Let q(s) = -181*s + 2. Is q(-1) a composite number?
True
Suppose -55 = -4*z - z. Let o(q) = 3*q**2 - 4*q + 10. Is o(z) prime?
False
Let m(a) = a**3 - a - 1 - a**2 - a - 2. Is m(4) a prime number?
True
Let c be 12/(-10)*110/(-3). Suppose -2*v - c + 140 = 0. Suppose -q + 37 + v = 0. Is q prime?
False
Let o(m) = 2*m - 8. Let u be o(6). Suppose 2 = -5*b - u*y, -4*y - 21 = -2*b - 5. Suppose b*w + 0*w - 28 = 0. Is w prime?
False
Let q be (-2)/6 + (-154)/(-21). Is 3 + q/((-21)/(-318)) a composite number?
False
Suppose p - 5*o + 3 = -4, 2*p + 2*o = 10. Suppose -253 = -3*z - 4*a, p*z - 2*a = 7*z - 324. Suppose -3*b = -8*b + 2*v + z, -b = -4*v - 23. Is b a prime number?
False
Let k = -1081 - -431. Let j = 147 - k. Is j a composite number?
False
Let s be (6/8)/(5/(-440)). Let k = 275 + s. Is k composite?
True
Let q = 7 - 2. Let i = 8 - q. Let b(u) = 15*u**2 - 4. Is b(i) a composite number?
False
Suppose 598 = 49*p - 47*p. Is p prime?
False
Suppose -d = d - 5*y - 15, -d = -4*y - 9. Suppose 2*g - 4*g = 2*n - 106, 265 = d*g + n. Is g prime?
True
Suppose 4*w - 5377 = -341. Is w a composite number?
False
Let p(n) = -n + 32. Let f be p(0). Let h = 8 + -5. Suppose 0 = -t + h*t - 5*j - f, t - 3*j = 17. Is t a composite number?
False
Suppose 0 = 3*r + b - 27, -2*r + 2*b = -0*r - 26. Is r prime?
False
Suppose 4*b = 3*v - 13, 3*v - 5*v + 11 = -5*b. Suppose -34 - 23 = -v*t. Is t prime?
True
Let g(d) = d**2 + 3*d - 1. Let s be 2/(-7) - (-130)/(-35). Let l be g(s). Suppose -107 = -4*m + 5*q - 22, 16 = m - l*q. Is m composite?
True
Let y(m) be the second derivative of 1/2*m**2 - 2/3*m**3 + 1/4*m**4 + m + 0. Is y(-6) a composite number?
True
Let k(g) = -g**3 + 6*g**2 - 4*g - 1. Let n be k(5). Let f = -1326 + 1935. Suppose l - n*l + f = 0. Is l a composite number?
True
Let f(v) = -247*v**3 - 11*v + 5. Let d(j) = -82*j**3 - 4*j + 2. Suppose b - 4*y = y + 3, 3*y = -5*b + 15. Let n(z) = b*f(z) - 8*d(z). Is n(-1) prime?
False
Is 2/(-13) + (-5052)/(-52) a composite number?
False
Let r(c) = -2*c**3 - 10*c**2 - 7*c + 7. Suppose -4*q - 4*m - 1 = 3, -4*q - 1 = m. Suppose q = -a - 4 - 2. Is r(a) composite?
True
Let w(c) = -2 - c**2 + 3 + 21*c**2. Let g = 2 + -3. Is w(g) a prime number?
False
Suppose -t + 2*t - 685 = -k, 2*t = 5*k - 3397. Is k prime?
False
Suppose 3*s + 3 = 0, 2*g - 5*s - 176 = -g. Is g prime?
False
Is (-71)/(-3) + (-38)/57 a composite number?
False
Let h(z) = 49 - 2*z**2 + 45 + z**2 + 2*z. Is h(0) prime?
False
Let l = 581 + -274. Is l composite?
False
Let u(k) be the second derivative of -k**6/120 - k**5/30 + k**4/4 - k. Let m(s) be the third derivative of u(s). Is m(-3) composite?
True
Let l be -45*(-2 - (-156)/(-9)). Suppose 4*t + l - 2666 = 0. Is t composite?
False
Let c(a) be the first derivative of -21*a**2/2 - 7*a - 7. Is c(-6) a prime number?
False
Let d = -17 - -1978. Is d a composite number?
True
Suppose -3 = -2*p + 1. Let r(o) = 3*o**2 - 3*o + 3. Is r(p) a composite number?
True
Let k(s) = 3*s**3 + 1. Let z be k(1). Suppose z*b = 4*i + 360, b = -3*i + 2*i + 80. Is b a composite number?
True
Suppose -3*f + 1488 = f. Suppose 0 = -u + 5*u - f. Let n = u - 4. Is n prime?
True
Let u = 217 + -541. Let g = -123 - u. Is g a composite number?
True
Suppose -5*m = -6*u + 3*u - 16, u + 9 = -2*m. Let t = u + 1. Let i(y) = -2*y - 1. Is i(t) a composite number?
False
Is (-4)/(-22) + 5373/33 composite?
False
Suppose 3*d - 3*y = d + 90, 2*d = -3*y + 90. Let o be (-1 + 241)*(-54)/d. Let u = o - -499. Is u composite?
False
Suppose 7*d = -3*s + 2*d + 1207, 0 = -4*s + 4*d + 1652. Is s composite?
False
Suppose -s - 2*i + 7 = -4*s, 5*i - 6 = -4*s. Let d be (s + -1)/((-4)/16). Is (2 + -6)*(-66)/d a composite number?
True
Let p(x) = 19*x**2 + 2*x - 3. Is p(2) composite?
True
Let s = -19 + 25. Is s prime?
False
Suppose -5*u - 3 - 42 = 0. Let m = -5 - u. Suppose -2*g - 3*g - 10 = 0, -m*g + 186 = 2*t. Is t prime?
True
Let a = -685 - -1020. Is a prime?
False
Suppose 2*u = -0*u - 12. Let k be 2 - (-15)/(-3) - u. Let n = k + 64. Is n prime?
True
Is (0 - -2)*967/(-6)*-3 prime?
True
Let a = -2 - -6. Let k(p) = 6*p**2 - 6 + a - 3*p**2. Is k(-2) prime?
False
Suppose 5 - 1 = 4*v. Suppose 144 = 4*m + 2*g, 3*m + 2*g - 108 = -0*g. Let s = v + m. Is s prime?
True
Let t be ((-67)/1 + -1)/1. Let x = -22 - t. Is x a prime number?
False
Let l(u) = -u**2 + 6*u - 1. Let j be l(6). Let n be (-196)/(-4) + 3*j. Suppose -2*a + 4*a + 55 = 3*k, -n = -2*k - a. Is k prime?
False
Let n(p) = 5*p**3 - p**2. Let r be n(1). Suppose -m - 105 = -r*m. Is m a prime number?
False
Suppose 0*d = -3*d - 2*k + 167, 3*d - 5*k - 139 = 0. Is d a composite number?
False
Let v = -3246 + 4931. Is v prime?
False
Let i be 2 + (4 - (-1 - -2)). Suppose -i*u + 275 = -275. Suppose -3*s = -1 - u. Is s prime?
True
Let s(q) = -46*q**3 + 7*q**2 + 7*q + 9. Is s(-4) prime?
True
Let x = 894 + -508. Is x/8 - (-6)/8 a composite number?
True
Suppose -6*w + 9*w = 8787. Is w a composite number?
True
Let j(c) = 3439*c - 2. Is j(1) a prime number?
False
Suppose -l = 5*l - 210. Is l a composite number?
True
Suppose -3*u + 419 = -28. Let h = u - -14. Is h a composite number?
False
Suppose 6*s - 14399 = -2597. Is s a prime number?
False
Suppose -1 - 2 = -t. Suppose -2*j + t*c = -102, -4*j - 5*c + c + 204 = 0. Suppose -j = -4*m + w, -3 = -3*w - 0. Is m a composite number?
False
Suppose -135 = -a - 0*a. Let z be (a/(-6))/(-5)*16. Suppose 4*k = z + 148. Is k a composite number?
True
Suppose 2*k = -3*k + 4990. Is k a prime number?
False
Suppose g = 4*q + 90, 2*q + 16 = -2*q. Is g a prime number?
False
Suppose -4*o - 2*p = -1222, 3*o - p + 2*p = 918. Is o a prime number?
True
Suppose m + 0*m = -3*d + 32, -m = -d + 8. Suppose d = 3*x - x. Suppose -2*y + 283 = -0*v + x*v, 2*v - 98 = 3*y. Is v composite?
True
Let w(u) = 3*u**2 - 11*u + 9. Let n = 7 + 1. Is w(n) prime?
True
Suppose -t + 210 = 6*c - 2*c, c - 44 = 4*t. Is c - -3 - (-2 + -1) a prime number?
False
Suppose -4*q - 5*i = 36 - 11, 0 = -5*q - 3*i - 15. Suppose q*o + o + 6 = 0. Let m = 10 + o. Is m prime?
False
Let a(r) be the third derivative of 11*r**4/8 + 5*r**3/6 + 2*r**2. Is a(6) prime?
False
Let z = 699 + -392. Is z a prime number?
True
