g a composite number?
False
Suppose 596 = 7*b - 3*b. Is b a composite number?
False
Let c = -3 + 1. Let g be 1/1 + c + 0. Is 85 - g*(-1 - -1) prime?
False
Suppose 5*h = -3*i + 13, -6*i + 2*i = 5*h - 14. Suppose 6 = -2*x + 2*q, -h*x - 4*q = -3*x - 18. Is x prime?
True
Let o = 1 - 4. Let a be ((-6)/o - 2) + 122. Is a/4 - (-4)/8 a prime number?
True
Let h(s) = -2*s - 1. Let a be h(-1). Let n be 1 + -2 + a + -34. Let v = n - -60. Is v a prime number?
False
Let o be (-2)/(3/3) - -221. Suppose 5*w - 10 = 0, w = 4*h + 65 - o. Is h composite?
True
Let w(p) = -p**3 - 6*p**2 + 12*p + 2. Is w(-8) prime?
False
Suppose -u = -129 - 253. Is u a prime number?
False
Suppose 5*v - 1255 = -0*v. Is v a composite number?
False
Suppose 0 = 2*k - 6*k, -j - 4*k = -562. Is j a composite number?
True
Suppose -16*g = 7*g - 92. Suppose 14 = 2*c - 4*o, c + 5*o = -c + 5. Suppose g*n = 2*u - 158, 3*u = -u + c*n + 316. Is u a prime number?
True
Let s = -2 - -2. Suppose s*q + 2*q + 102 = 0. Is ((-20)/15)/(2/q) prime?
False
Let n(g) = 55*g**2 + 3*g + 2. Let x be n(3). Let q = -349 + x. Is q composite?
False
Let a = 7 - 5. Suppose 4*l = 5*t - 26, -5*l - 12 = 2*t + a*t. Suppose 4*z - t*x + 7*x = 71, 4*x = z - 23. Is z a prime number?
True
Suppose -23296 = -9*r + 13055. Is r prime?
False
Let g(a) be the first derivative of 11*a**2/2 - a + 2. Is g(4) composite?
False
Let z(d) be the first derivative of 5*d**3/3 + 5*d**2/2 + 5*d - 4. Is z(-4) a composite number?
True
Suppose 340 = -3*u + 1219. Is u a prime number?
True
Let d(i) be the third derivative of -i**6/180 + i**5/24 + i**4/8 + 3*i**2. Let y(k) be the second derivative of d(k). Is y(-5) composite?
True
Let l = -219 + 380. Is l a composite number?
True
Let o(c) = 8*c**3 + c**2 + c - 1. Let d be o(1). Suppose -75 + d = -3*g. Suppose -4*u - g = -106. Is u composite?
True
Is -1 - (-467 - 1/1) composite?
False
Let t = -103 - -180. Let i = 278 + t. Is i prime?
False
Let x(q) = -q**3 + 8*q**2 - q + 17. Is x(7) a prime number?
True
Let a(f) = 8*f**2 + 12*f - 7. Is a(-9) a composite number?
True
Suppose 300 = 2*z + 2*z. Let o = z + -44. Is o composite?
False
Let a be 3*(-134)/(-10)*5. Suppose 6*l - 3*l - a = 0. Is l a composite number?
False
Let x(y) be the first derivative of -y**2/2 - 4*y + 2. Let q be x(-4). Suppose -2*r + 3*r + 5*m = 86, -3*r - m + 272 = q. Is r composite?
True
Let l = -230 - -441. Is l composite?
False
Let i = 1 + -1. Suppose 4*v = i, -2*c + 0*c - 2*v = -4. Suppose c*a - 50 = -3*a. Is a composite?
True
Let s(d) = -3*d**3 - 13*d**2 - 12*d + 2. Let i(q) = q**3 + q**2 + q - 1. Let g(n) = -4*i(n) - s(n). Is g(9) a prime number?
False
Let q = -1 + 3. Suppose 15 + 69 = 4*z + q*a, 107 = 5*z + 2*a. Is z a prime number?
True
Let b(v) = -47*v + 1. Let l be b(-1). Suppose -3*d = d - l. Is (88/d)/((-2)/(-15)) a composite number?
True
Let w(k) = 2*k + 14*k**2 - 3*k**2 + 3 + 10*k**2. Is w(4) a prime number?
True
Let x(i) = 5 + 5 - 5 - 2*i - 1. Is x(-9) composite?
True
Suppose 5*q - 1653 = -598. Is q a prime number?
True
Let a = -810 - -1218. Let c = 789 - a. Is c a prime number?
False
Let m(v) = -126*v - 7. Is m(-5) prime?
False
Let t be (-9504)/(-10) + (-6)/15. Suppose -t = -4*l - l. Let q = -77 + l. Is q a prime number?
True
Let k(y) = 9*y - 1. Let f be k(5). Suppose 0 = 4*d - 6*d + f. Is d composite?
True
Suppose -16*l + 18070 = -6*l. Is l a composite number?
True
Let l = 34 + 63. Suppose 4*m = 4*x - 164, 0 = 4*x - 2*x - 5*m - l. Let c = -14 + x. Is c prime?
False
Let b be ((-15)/12 + 1)*-8. Suppose 2*h + b*s - 39 = 7*s, 15 = 5*h + 4*s. Is h a prime number?
True
Suppose -3*n + l = -6*n + 1919, -2*n = l - 1278. Is n prime?
True
Let c = 11 + -8. Suppose c*l - 105 = -0*l. Is l composite?
True
Let w be 6 - (-1)/(2/(-4)). Suppose w*h - 8 + 0 = 0. Suppose -4*n + 115 = s + 26, h*n - 31 = -5*s. Is n a prime number?
True
Suppose -3*w + 7*w - c - 139 = 0, -101 = -3*w + 4*c. Let o = w - -42. Is o composite?
True
Let t = 9 - 6. Suppose 0 = t*p - 16 - 41. Is p a prime number?
True
Let u(w) = w**3 - w**2 + 2*w - 1. Let k be u(1). Is k - -1*(-1 - -83) a composite number?
False
Suppose -3*j - j + 14 = -z, -4*z = -5*j + 23. Suppose 0 = -f + 2 + j. Suppose -5*c = -f*n + 135, -n + 11 = 2*c - 4. Is n composite?
False
Suppose -r = -4*q + 13, -2*r + 4*r = 6. Suppose 7*o = 2*o - 2*t + 386, -164 = -2*o + q*t. Suppose -3*g + o = -303. Is g a composite number?
False
Suppose 2*y - 652 + 186 = 0. Is y composite?
False
Suppose 0 = 13*m - 18955 - 2794. Is m a prime number?
False
Let r = -7 + 9. Suppose -61 = -o + r*x + 84, -5*o = -4*x - 707. Is o a composite number?
False
Suppose -1672 = -5*o - f - 0*f, -3*o + 2*f + 1011 = 0. Is o composite?
True
Suppose -9 - 3 = -3*a. Let h(g) = 6*g**2 + 6*g - 4*g**2 + g + a. Is h(-5) composite?
False
Is 2/11 + 4154/22 + 2 composite?
False
Let n = 9477 - 4816. Is n composite?
True
Let m be 3 + (-3)/(-3)*0. Suppose -7 - m = -2*x, -2*k - 2*x = -54. Is k prime?
False
Suppose -2*y + 656 = 4*c, 0 = 4*y - c + 3*c - 1312. Let r = -173 + y. Is r prime?
False
Is 2/3 - 1/3*-5077 a composite number?
False
Suppose -g + 25 = -89. Let y = g - 81. Is y a composite number?
True
Let n be (-14 + 11)/((-3)/(-8)). Is n/(-44) + (-5518)/(-22) prime?
True
Let r(l) = 2*l + 635. Is r(0) a composite number?
True
Let b(m) = -m**3 - 4*m**2 - 2*m - 4. Let l be b(-4). Suppose 123 = l*g - 173. Suppose 4*x = -4*h + 84, h = 4*x - 0*h - g. Is x a composite number?
False
Let s(m) = -27*m + 12. Let c be s(-10). Suppose -c = g - 4*g. Is g a composite number?
True
Let i(q) = q**3 + 7*q**2 + 7*q + 7. Let d be i(-6). Suppose -2*b = 13 - d. Is (74/(-3))/(b/9) composite?
False
Suppose -3*r = 2*r - 15. Is (-6)/9 + 653/r a prime number?
False
Let j = 507 - 341. Is j a prime number?
False
Let j(n) = -n**3 + n**2 + n + 820. Let u be j(0). Suppose 4745 - u = 5*m. Is m prime?
False
Suppose -2*h + 2 = 2*f, 4*f + 7*h - 3 = 4*h. Is -1*(1 - (32 + f)) composite?
False
Suppose 1 - 13 = -4*v. Suppose 2049 = 3*k + 4*h, 0 = 4*k - 3*k - v*h - 670. Is k prime?
False
Let q be 1*111/9*-3. Is (q/3)/(1/(-3)) prime?
True
Suppose -4*o + 1 = r - 4, 0 = r + 5*o - 8. Let y = r - -11. Suppose y*p = -5*c + 282 + 177, 2*c - 179 = 3*p. Is c composite?
True
Suppose 0 - 10 = 5*i. Is 12/2 + 4/i composite?
True
Let y(x) = -x**3 - 4*x**2 + 3. Let k be y(-4). Let v = 17 - k. Let b = v - 4. Is b a composite number?
True
Let z(l) = -9*l + 27. Let a(y) = -5*y + 14. Let d(m) = 5*a(m) - 3*z(m). Let q be d(9). Let r(t) = -t**3 + 7*t**2 + 9*t - 8. Is r(q) a prime number?
False
Let j(g) = -2*g**3 - 5*g**2 + 7*g + 6. Let i be j(-5). Suppose 5*a = -2*s + i, 4*a + a = -4*s + 172. Is (s/8)/(-1)*-4 a prime number?
True
Suppose -15 = 3*x + 2*x, -60 = -3*s + x. Suppose -2*z + o = s, 6*z - o = z - 55. Let k = 45 + z. Is k a composite number?
True
Let a = -1 + 8. Suppose -8 = -f + a. Is f composite?
True
Is 205 - (-1 + 0 - 3) prime?
False
Suppose -2*j + 497 = -651. Suppose -3*u = -u - j. Is u a composite number?
True
Suppose -2*g - 3*p + 1 = -1, -5*p - 4 = -4*g. Let b be (2 + 2/1)*g. Suppose o = -b*d + 279, -5*o = -3*d - d + 261. Is d composite?
True
Let l(s) = s**2 - 3*s + 2. Let w be l(2). Suppose -3*m + 0*m + 117 = w. Is m composite?
True
Let d(n) = n**2 - 9*n - 10. Let p be d(10). Suppose -1372 = 2*m - p*m + 4*v, 4*m = 4*v - 2696. Let k = -475 - m. Is k a prime number?
False
Let q(w) = 130*w**2 + 2*w + 5. Is q(-3) a prime number?
False
Is 2763/(-27)*6/(-4)*2 composite?
False
Suppose -4*b + h = -33199, -4*h + 4040 + 29184 = 4*b. Is b a composite number?
True
Suppose -2*a - 188 = -3*i + 220, 0 = 4*i + a - 533. Is i a prime number?
False
Let k be (-2)/((3/37)/(-3)). Suppose z - k = -5. Suppose 0*c = c - 3, 3*o - z = 2*c. Is o a prime number?
False
Let d be 92 - (3 - (2 - 1)). Let o = 9 - 7. Suppose 2*b - o*k - 39 = 9, -2*k - d = -4*b. Is b a composite number?
True
Let j = 8367 + -4076. Is j a composite number?
True
Suppose 2*d + 104 = -5*c + 539, -5*c + 425 = 4*d. Suppose 155 + c = h. Suppose 3*m - g = 383, 2*m + 9*g - 4*g = h. Is m prime?
True
Suppose -4*a = -2*a + 8, -2*g = 4*a - 4770. Is g composite?
False
Suppose 4*q + 16 = -2*j, 5*q - 5*j + 27 = -4*j. Let b be 14/q*(-50)/5. Is b/3*12/8 a prime number?
False
Let f be 14 - 11 - 2/2. Suppose f*b - 12 - 137 = -t, b + 468 = 3*t. Is t a prime number?
False