, -4*g - 2*u + 5874 = 0. Is g a prime number?
True
Suppose 4 = 5*q - 6, 5*x + q = 872. Suppose 0*c - 313 = -4*c - v, -4*v = 2*c - x. Is c a composite number?
True
Let i = -286 - -579. Is i prime?
True
Let i(k) = k + 1. Let o(x) = -45*x - 4. Let j be (-13)/11 + 2/11. Let p(m) = j*o(m) - 5*i(m). Is p(1) prime?
False
Let r be 1*(-1 + -7)*-2. Let a(l) = -1 - 7*l**2 + r*l**3 + 7*l**2. Is a(1) a composite number?
True
Is 1/(2/(-6)) - -617 composite?
True
Is 2054 - (-2 - -3)/(4/12) a composite number?
True
Suppose 5*o + 1 - 121 = 0. Suppose -6*y = -2*y - o. Let k = y + 1. Is k a composite number?
False
Suppose -4*j + 2*j + p + 586 = 0, 4*j + 4*p - 1172 = 0. Is j prime?
True
Suppose 3*y + 11 = 2. Let q = 2 - y. Suppose r + 18 = 4*k - 70, 110 = q*k - 3*r. Is k composite?
True
Let d be (-11)/(-7) - (-3)/7. Is d*(1 - (-756)/8) a composite number?
False
Let l be (247 - (-2)/(-2)) + 0. Suppose 5*o - l = 139. Is o composite?
True
Let p(i) = 49*i**2 + 2*i - 1. Let x be p(1). Suppose -4*h = 12, -5*h - x = -6*o + o. Is o composite?
False
Is (-2679)/19*(-2)/2 a prime number?
False
Let m be -13 + -2 - (5 + -4). Let v = 16 - m. Suppose 2*l - v = 74. Is l prime?
True
Suppose -5*r + 2*r - c = 69, -3*r + 4*c - 54 = 0. Is (-4)/(32/r)*68 a composite number?
True
Let n(m) = 9*m**2 - 1. Is n(-6) a prime number?
False
Let l(u) = -2*u - 1. Let x(r) = -r**2 + 2*r + 1. Let p(g) = 3*l(g) + 2*x(g). Let n(m) be the first derivative of p(m). Is n(-3) prime?
False
Suppose d = 5*v + 290, 27 = d - v - 243. Is d a prime number?
False
Suppose -469 - 7 = -4*w. Is w prime?
False
Let o = -2 - -4. Suppose -5*x - 4 - 11 = 4*r, o*r + 6 = -4*x. Let y = 9 - r. Is y a prime number?
False
Suppose w + 131 = 3*c, 3*c = -2*c - 2*w + 200. Let q = 79 - c. Is q a composite number?
False
Let p = 224 + -126. Let o = p - 39. Let a = o + 26. Is a prime?
False
Let d = -3292 + 5809. Is d a composite number?
True
Suppose -4*w + 3*u - 5 = 13, 5*w + 24 = 3*u. Let s(v) = 2*v**2 + 2*v + 7. Is s(w) a composite number?
False
Let y be 1/(-1) + (-324)/(-6). Let v = 50 + y. Is v a prime number?
True
Suppose -3719 = -3*j + 4*g, -5*j + 3*g + 8210 = 2008. Is j a prime number?
False
Let t = 242 + -93. Is t prime?
True
Suppose -2*u = i - 1025, 0*i = 3*i + 9. Is u prime?
False
Let u be (36/(-24))/((-3)/4). Suppose 1412 = u*x + 2*x. Is x a prime number?
True
Suppose -w - 4*w + q + 16 = 0, -3*w + 14 = -5*q. Suppose 2*d + 4*h = 12, h = -4*d - d + w. Let u(o) = o**3 + o + 7. Is u(d) prime?
True
Let h(l) = l - 1. Suppose 0*t + t - 3 = 0. Let a be h(t). Suppose -35 = -a*o + o. Is o prime?
False
Suppose -3*f - 4*g + 20 = 0, 4*f + 5 = -0*f + g. Suppose f*n - 3*n + 45 = 0. Is n a composite number?
True
Suppose 0 = 4*f + f. Suppose -3*s - s + 1012 = f. Is s composite?
True
Let m = -118 - -71. Let z = 81 + m. Is z prime?
False
Let m be 10*15 + 0 - -1. Suppose 2*i - m = 39. Is i prime?
False
Let s = 129 + 31. Suppose 3*g + 1 - s = 0. Is g a prime number?
True
Let q(j) = 10*j - 7. Let h(s) be the third derivative of s**5/30 - s**4/8 - s**3/2 + 3*s**2. Let n be h(3). Is q(n) a composite number?
False
Let s(x) = 2*x**2 + 20*x + 23. Is s(-10) composite?
False
Suppose 0 = -15*b + 13*b + 50. Is b a composite number?
True
Is ((-3)/6)/((-1)/794) prime?
True
Suppose -257 - 568 = -2*v + 5*c, 5*v + 4*c - 2079 = 0. Is v a prime number?
False
Suppose 5*q + 27 = -3. Let o = q - -12. Let i(x) = 4*x**2 - 8*x + 1. Is i(o) a prime number?
True
Suppose 222 = -2*u - u. Let j = u - -307. Is j prime?
True
Suppose 0 = 3*d - 3*p - 15, 3*p - 14 = -3*d + 5*p. Let k = -4 + d. Suppose -3*z + 1449 - 456 = k. Is z composite?
False
Suppose 39 = 5*u - 36. Is u a prime number?
False
Let f(v) = 5*v**2 + 4*v + 4. Suppose b - 7*u + 2*u + 3 = 0, 2*b + 4*u + 6 = 0. Is f(b) a prime number?
True
Suppose 4*l + 138 = 6*l. Is l prime?
False
Suppose 4*u + 3*r = 4, 3*r - r + 4 = 4*u. Let i(t) = 78*t + 3. Let n(k) = -k - 1. Let h(g) = i(g) + 2*n(g). Is h(u) prime?
False
Let l = -463 - -1782. Is l a prime number?
True
Suppose -4267 - 2579 = -6*t. Is t a prime number?
False
Let p(w) = -2*w**2 - 15*w + 1. Let h(n) = -n**2 - 8*n. Let g(b) = 5*h(b) - 2*p(b). Is g(-7) prime?
True
Let f(w) = 3*w**2 + 2*w. Suppose -1 = 2*u + m + 4, m + 5 = 4*u. Let o = u - -3. Is f(o) a composite number?
True
Let r be (-2640)/(-27) - (-4)/18. Suppose 157 = 3*f - r. Is f composite?
True
Suppose 3*g - g - t - 1 = 0, 4*g - 5*t = 5. Suppose -5*h + g*h - 4*x = -306, -3*h - 5*x = -194. Is h prime?
False
Let z be (-2)/7 + 9/7. Let g be 42/18 + z/(-3). Suppose g*q + 42 = 5*q. Is q prime?
False
Let l(v) be the second derivative of -v**5/60 + v**4/24 + 11*v**3/3 + v**2/2 + v. Let f(t) be the first derivative of l(t). Is f(0) prime?
False
Suppose v = -4*w + 12, -w = -2*v + 4*w - 28. Let l(b) = -b**3 - b**2 - 5*b + 2. Let m be l(v). Suppose 0 = 6*a - a - m. Is a prime?
False
Let a(b) = 18*b**2 - b + 2. Let w be a(-2). Suppose 0 = -3*j + 5*o + 203, 2*j - w - 64 = o. Suppose 5*d + 2*z = 381, -d + 0*z - 3*z = -j. Is d composite?
True
Suppose -3093 + 9649 = 4*p. Is p a prime number?
False
Let v(j) = 13*j**2 - 3*j - 3. Suppose 4*m + 9 = g - 7, 2*m = -g - 2. Is v(m) prime?
False
Suppose -2*q + 5*i - 18 = 0, -3*i = 5*q + 7 + 7. Let p = 11 + q. Is p composite?
False
Let d = 281 + -113. Let i = d - -19. Is i prime?
False
Let o = -166 - -293. Is o composite?
False
Let q(w) = w**3 - 6*w**2 - 3. Let f be q(6). Is f/7 - 1812/(-14) a prime number?
False
Let x(h) = -3*h**3 + 2*h**2 + 2*h + 1. Let n be x(-1). Suppose -3*l + n = -71. Is l a composite number?
True
Let u be 12/(-2)*(-422)/4. Is (u/9)/((-2)/(-6)) prime?
True
Suppose 5*h - 9 = 2*h. Let f(c) = -3*c**3 + c**2 - c + 2. Let s(x) = -x**3 + 1. Let w(y) = -3*f(y) + 8*s(y). Is w(h) composite?
False
Let d(x) = -2*x**3 + 2*x**2 + 6*x + 9. Is d(-7) prime?
True
Let l(b) = 54*b**2 - b. Let h(f) = -f**2 - f - 1. Let w = 6 - 7. Let x be h(w). Is l(x) a prime number?
False
Let t be (2 - 4)*555/6. Let r = -130 - t. Is r a prime number?
False
Let g = -7 - -9. Suppose -4*y = -q + 60, -q + y + 213 = g*q. Suppose 0 = -a + 4*n + 102, -a - 2*n = -0*a - q. Is a composite?
True
Suppose -2 = 2*z + 2*q, 0*z + 4*z - 17 = 3*q. Let t = 1 + 61. Suppose -z*x + 4*g + t = 0, 2*x - g = 30 + 17. Is x composite?
True
Let y(n) = -n**2 - 11*n + 1. Let f = 6 + -14. Let p be y(f). Let v = p - 4. Is v a composite number?
True
Suppose -3*j + d + 8 = -d, 2*j - d - 5 = 0. Let h(t) be the first derivative of 4*t**3/3 - 3*t**2/2 + t + 1. Is h(j) a prime number?
True
Suppose -22*m + 12*m = -4430. Is m a composite number?
False
Let y(t) be the second derivative of -47*t**5/20 - t**4/12 + 4*t. Is y(-1) a composite number?
True
Suppose v - 38 = -v. Let c = v - 35. Is 0 + (-3)/3 - c composite?
True
Let k = -7 + 9. Let u = -4 + 7. Is -469*(k + u/(-1)) composite?
True
Let s be 21/(-2)*(-4)/6. Suppose 4*x = 4*n + 4, -2*n - 4 = -5*x + s. Is (25/2)/(n/4) prime?
False
Let j = -4 + 18. Let v be (-4)/14 + 32/j. Is (76/v)/(6/3) a composite number?
False
Suppose -2*q = -4, -o + 81 = 4*o + 3*q. Suppose 0 = -0*v + 3*v - o. Suppose v*u = 471 + 344. Is u a composite number?
False
Suppose -25 = 5*c, 6*c - c = o - 30. Suppose o*r - 39 = 16. Is r prime?
True
Suppose -i = 6*i - 483. Is i prime?
False
Let s = -9 + 9. Suppose -237 = -s*n - 3*n. Is n prime?
True
Let c(g) = 8*g - 6. Let s be ((-7)/(-3) - 2)*12. Let k = 9 - s. Is c(k) composite?
True
Suppose -j + 4 = 0, 70 = 3*x - x - j. Is -2*(0 - x/2) prime?
True
Suppose 3*c + 4 = 4*c. Suppose -2*i = -c*i + 92. Suppose i - 2 = 4*b. Is b a composite number?
False
Let t be 3 - 1 - (-2 + -2). Let z(n) = 10*n - 7. Is z(t) prime?
True
Let d be ((-4)/(-10))/(2/(-290)). Let s = d - -124. Suppose 0*v + 2*v = s. Is v composite?
True
Is 23742/30 - ((-24)/15 - -2) a prime number?
False
Suppose m = -1, -2*h = -0*h + 3*m - 99. Let s = 113 - h. Is s a prime number?
False
Let c = 39 + -100. Let p(i) = i**3 - 7*i**2 + 9*i + 2. Let g be p(8). Let o = c + g. Is o prime?
False
Let n be (-9)/(-4) - 39/(-52). Let a(v) = 19*v**3 - v**2 - 3. Is a(n) a prime number?
False
Suppose 5 = w, 0*w = -5*j + 3*w + 1645. Is (-2)/(-6)*(1 + j) composite?
True
Let t = 22 + -20. Is 3 - (t + (1 - 9)) a composite number?
True
Let z = -138 - -545. Is z a composite number?
True
Suppose 3*d + 227 = 980. Is d a composite numbe