= -213 - y. Is g composite?
True
Let v be (-112)/(-35)*1*5. Is v/40 + (-293)/(-5) a prime number?
True
Let x(s) = -40*s - 41. Is x(-3) a prime number?
True
Suppose 2*t - 2505 = -3*s - 2*s, 4*s = -4*t + 5016. Is t composite?
True
Suppose -d - 15 = 2*d, -3*d = x + 12. Suppose -2*w + 518 = -2*n, 0 = x*w + 5*n - 0*n - 761. Is w a prime number?
True
Suppose n = -5*t + 28, -t = -n - 2*n + 20. Let r = n - 6. Suppose -r*m = -m - 23. Is m composite?
False
Let d(o) = o. Let v(y) = 40*y**2 - 2*y - 3. Let x(h) = 4*d(h) + v(h). Is x(2) prime?
False
Let v = 16 - 6. Let i(j) = 2*j**2 - 4*j - 5. Is i(v) prime?
False
Let o(i) = -8*i**3 - i + 4. Is o(-3) a composite number?
False
Suppose 1122 = -5*w + 3*p - 2*p, 0 = -3*w + p - 674. Let z be -3*(-2)/12*-282. Let x = z - w. Is x composite?
False
Let n = -9 + 11. Is n/3 + 1173/9 prime?
True
Let h be (-4)/(-14) + (-2152)/(-14). Let u = -65 + h. Is u a composite number?
False
Suppose 4*o - o = -213. Let s = -34 - o. Is s prime?
True
Suppose 3*q = -i + 6, -4*q - 4 = 2*i - 10. Is 36 - (-1 + -1 + q) prime?
False
Let w(v) = 13*v + 17. Let o be w(14). Let f = 60 + o. Is f composite?
True
Suppose -3*b = -5*b + 646. Suppose 5*u + 5*d + 15 = 0, d - 2 = 5*u + 1. Is (b - 1)*u/(-2) a prime number?
False
Let w = 4 - 6. Let h(r) = 2*r**2 + 4*r + 3. Let q be h(w). Suppose 0 = f + t - 163, -q*f + 0*f - 4*t = -489. Is f a composite number?
False
Let u(f) = f**2 + 10*f + 18. Let h be u(-8). Suppose 2*b - 415 = -2*t + 313, h*t - 1452 = -4*b. Is b prime?
False
Suppose 0*b - 3*i = -4*b - 19, -20 = 4*b - 4*i. Let f be 0 + 1 + 88 + 0. Let o = b + f. Is o prime?
False
Let x(o) = 33*o. Let i be x(6). Let u = i + -77. Is u prime?
False
Suppose 3*g = -4*u - g + 388, 5*u - 500 = -2*g. Is u/(-10)*(-2 + -3) prime?
False
Let h = -862 + 1491. Is h a composite number?
True
Let b be -1 - (2 - 2) - -60. Let s = -28 + b. Is s prime?
True
Let l = -92 + 164. Suppose -m + 12 = -w, -2*w = -5*m - 3*w + l. Is m prime?
False
Let b(n) be the first derivative of -29*n**2/2 + n + 4. Let l be b(-1). Let x = l - 17. Is x a composite number?
False
Suppose 4*c + 3*n - 660 = 676, 1320 = 4*c - n. Is c a composite number?
False
Let f(h) = 3*h**2 + h + 2. Is f(5) composite?
True
Suppose m = 518 - 39. Is m a prime number?
True
Suppose -2*a - 28 = -6*a. Let g = -3 + a. Suppose 485 = t + g*t. Is t a composite number?
False
Let p be 2/(6/(-3))*46. Let g = 89 - p. Let m = -70 + g. Is m prime?
False
Let m = 114 - -429. Is m prime?
False
Suppose -2*d + 74 = 3*f - 7*d, -4*f + 127 = -d. Let p = 3 + -3. Let g = f + p. Is g a prime number?
False
Let a(j) = 34*j + 19. Is a(7) prime?
True
Suppose -5*p - 5*h = -145, h = -4*p + 4*h + 151. Let i = p - -51. Is i prime?
False
Let f(h) = h**2 + 276. Let l be f(0). Let u = l + -187. Is u a composite number?
False
Let q be (2 + -3)*(-4 - 741). Suppose -125 = 4*p - q. Is p prime?
False
Let i(p) be the third derivative of -p**6/120 - 3*p**5/20 + 17*p**4/24 + 5*p**3/3 - 3*p**2. Is i(-11) a prime number?
False
Let h(i) = 25*i**2 + i + 1. Let b be h(2). Suppose -5*c + 338 = b. Is c a prime number?
True
Suppose 5*t - 3*q - 308 = 0, -5*t = -4*q - 316 + 7. Suppose t = 2*f - 41. Is f a prime number?
False
Let u(f) = -11*f**2 - 2*f + 2. Let g be u(4). Let b = 75 - g. Is b a composite number?
False
Suppose -5*i + 1229 = 324. Let s = 69 + i. Let c = 399 - s. Is c composite?
False
Suppose 2*h = 3*h. Suppose 0 = -f + 2*x - 13 + 35, h = 2*x. Is f a prime number?
False
Let x = -400 + 819. Is x composite?
False
Let j(g) = -g**3 - 10. Is j(-9) composite?
False
Let z(q) = -5*q**3 - 8*q**2 - 7*q + 2. Let h be z(-6). Suppose -300 + h = 4*b. Is b a composite number?
True
Let o(z) = -11*z**3 + z**2 + 1. Is o(-3) a composite number?
False
Let z(i) = 31*i - 21. Is z(5) a prime number?
False
Let s(q) be the first derivative of -q**2/2 - q + 1. Let d be s(-3). Suppose -423 = -5*r - 4*g, 2*g = g + d. Is r a composite number?
False
Let b = 1970 + -753. Is b composite?
False
Let g = 0 - -6. Is 6164/24 - (-1)/g a composite number?
False
Suppose 5*p - 5706 - 2489 = 0. Is p prime?
False
Let g(t) = -6*t - 1. Let c be g(-5). Suppose -4*a + 11 = 3*q - 3*a, 0 = -2*q - 5*a + c. Suppose 0 = 5*l - q*h - 28, -3*h = 2 - 5. Is l composite?
True
Suppose 5*j + 10 = 0, -5*s - 6 = -3*j + 6*j. Let o(i) = 20 - 13*i**2 + 25*i**2 - 11*i**2 + 3 - i**3. Is o(s) a composite number?
False
Suppose 6*q = q + 25. Suppose 5*l = 2*z + 11, -20 = q*z - l - 4. Is -38*((-15)/(-2))/z a prime number?
False
Let f(r) = 10*r**2 - 9*r - 13. Is f(-6) a composite number?
False
Let y(p) = 15*p - 14. Let r be y(-6). Let j(v) = v**3 - 2*v**2 + 2*v - 6. Let h be j(6). Let i = r + h. Is i composite?
True
Let z(w) = -26*w**2 - 26*w - 4. Let p(x) = 9*x**2 + 9*x + 1. Let d(s) = -17*p(s) - 6*z(s). Is d(5) prime?
True
Let n(u) = -2*u - 2. Let b be 2/(-5) - (-13)/(-5). Let r be n(b). Suppose -r*i - i + 235 = 0. Is i a composite number?
False
Is (-2)/(2/(-889*1 + 2)) prime?
True
Let s = -81 + 53. Let y = 23 - s. Is y a composite number?
True
Let u = 31 + -56. Let g = 63 + u. Is g a prime number?
False
Let b(y) = 445*y**2 + y - 1. Suppose -z = 4*h - 21, h + 0*h = z + 4. Is b(z) a composite number?
True
Let o(g) be the first derivative of 8*g**3/3 + g**2/2 - g - 1. Let l be 12/9 - (-4)/6. Is o(l) composite?
True
Let z(d) = 3*d**3 - d**2 + d + 1. Let x be z(-1). Let u = 30 + x. Is u composite?
True
Let u be (-5 + 6/2)*-1. Suppose -76 = -u*g + 98. Is g a prime number?
False
Suppose 2*f + 21 = 191. Is f a composite number?
True
Let p(w) be the first derivative of 191*w**4/4 - w**3/3 + w - 1. Is p(1) composite?
False
Suppose 6*d - 2*d - 1052 = -4*m, d = m - 263. Is m prime?
True
Let n(d) = 10*d + 19. Is n(6) prime?
True
Let w = 381 + 406. Is w composite?
False
Suppose -o - 2*d + 191 = 0, 20 + 143 = o - 5*d. Let r = 2 + o. Is r composite?
True
Let l = 1192 + -705. Is l a composite number?
False
Suppose 4*k + 2*r = -2*r + 1456, 2*r = -2. Suppose k = 3*i - 2*o, i = -i + 3*o + 250. Is i composite?
True
Suppose 0*v + 162 = 3*b - 3*v, -211 = -4*b + 5*v. Is b a composite number?
False
Let s be (-2 + (-1 - -3))/(-2). Let z(o) = o**3 + o**2 - o + 3. Let x be z(s). Suppose -2*f - 68 = -4*f - 2*v, 0 = -x*f - 2*v + 99. Is f a prime number?
True
Suppose -s + 4*g = s - 94, -4*s + 210 = 3*g. Is s composite?
True
Let w be (-1 - 0) + (1 - -2). Suppose -2*y + 3*h = -4, -w*y + 4 = 3*h + h. Suppose -r + 312 = 4*i, -4*i - y*r - r + 320 = 0. Is i composite?
True
Let r be (-9)/(-6)*(-44)/(-3). Suppose -2*u + 8 = 4*k, -r = -3*u - 2*k - 6. Is u composite?
True
Let a(k) = -34*k - 11. Is a(-12) composite?
False
Suppose -5*a = -10*d + 14*d - 1955, 5*a - 5*d - 1955 = 0. Is a composite?
True
Let f be 14 + 0/(-3 - -1). Suppose 2*v = v + f. Is ((-3)/1)/((-2)/v) composite?
True
Suppose 0*a = 5*v + 3*a - 5203, -3*v + 4*a + 3145 = 0. Is v prime?
False
Let r(b) = -b - 1. Let m be r(-1). Suppose m = -5*x - 15 + 50. Is x prime?
True
Let a(r) = r**3 - r**2 - r + 1. Let d(h) = -5*h**3 + 3*h**2 + 4*h - 3. Let v(n) = -4*a(n) - d(n). Let p = 16 - 11. Is v(p) composite?
False
Let a = 790 + 99. Is a prime?
False
Let c(k) = k**3 + 22*k**2 - 17*k - 43. Is c(-22) a prime number?
True
Suppose -6*l - r = -5*l - 909, 3626 = 4*l - r. Is l a prime number?
True
Let q = 1029 + -420. Let s = -406 + q. Is s a composite number?
True
Suppose 0 = -2*k - j + 24, 0 = -k - 0*k - j + 14. Let q = 171 - k. Is q composite?
True
Suppose 3*z = -4*x + 5*z + 2, -3*z + 12 = -x. Suppose 5*p - 5*j = -15, -3 + 18 = x*j. Is p - 5 - (-20 - 2) a composite number?
False
Let l = 2 + 4. Let p be (-13)/(-3 + l/3). Suppose -3*g + 4*g - p = 0. Is g prime?
True
Let j(s) = -s**3 - s**2 + s + 6. Let h be j(0). Is (-3)/h*(4 - 122) prime?
True
Let y(p) = -p**2 - 10*p - 15. Let v be y(-7). Suppose -2*d - 844 = -v*d. Is d prime?
True
Let f = -156 + 319. Is f a composite number?
False
Suppose o = 5*o - 40. Suppose -2*d - o = 0, a - 5*a = -4*d - 224. Is a a composite number?
True
Let n(m) = -105*m**2 + 2. Let u be n(-2). Let a = u - -629. Is a prime?
True
Let q(b) = -b**3 + 8*b**2 + 8*b + 12. Is q(9) a composite number?
False
Let s(r) = 9 - 3 + 3*r - 8. Let f(w) = 2*w - 1. Let q(u) = 6*f(u) - 5*s(u). Is q(-6) a composite number?
True
Suppose 6 = 2*c - 6. Let y be (1796/c)/((-2)/(-3)). Suppose -2*k = o + 2*o - y, 