e -790 - 755 = -5*g. Is g a composite number?
True
Let q = -403 + 272. Let a = 240 - q. Is a a prime number?
False
Let m = -121 + 80. Let y = 104 - m. Suppose 0*l = -l + y. Is l composite?
True
Let l(k) = 6*k**2 - 4*k - 6. Let d be l(-5). Suppose 2*g + 2 = 0, 4*x - 5*g - d = x. Is x prime?
True
Let x(j) = j**2 + 3*j - 1. Let k be x(-4). Is 3 - (-43*k - -3) composite?
True
Suppose -42 = -3*f + f. Suppose -4*c + 290 = -606. Suppose c - f = w. Is w composite?
True
Let s(f) = 16*f - 3. Let z = 1 - -4. Let r = z + 0. Is s(r) a composite number?
True
Suppose -12 = -5*d + 8. Suppose d*g = -5*o + 2829, -2*g + 7*g + 2255 = 4*o. Is o a composite number?
True
Suppose -3*w - 3*t + 2070 = 0, -t - t = w - 691. Is w a composite number?
True
Suppose j + 3 = -3*c - 1, 0 = 3*c - 5*j + 34. Let v = 1 - c. Suppose 3*q = -q - 3*p + 323, 0 = -3*q + v*p + 211. Is q a composite number?
True
Suppose 70 + 268 = k - 4*p, 0 = -4*k + 2*p + 1310. Is (k/2*-1)/(-1) a composite number?
False
Let h be (-15)/25 - 124/10. Let s = 0 - h. Is s prime?
True
Is 2 + -5 + 6 - -230 a composite number?
False
Let g = 55 + 264. Is g a composite number?
True
Suppose -410 = -5*z + 395. Is z a prime number?
False
Suppose 0 = -z + 4*v + 25, 2*z + 0*v + v = 5. Suppose 0*q = z*q - 105. Is q a prime number?
False
Let r = -360 - -551. Is r composite?
False
Suppose -1012 = -3*i - 61. Is i composite?
False
Let j(d) = -390*d + 5. Is j(-1) a composite number?
True
Let o(b) = b**3 - 10*b**2 + 14*b - 10. Is o(13) composite?
True
Let l(h) be the third derivative of -5*h**4/24 + h**3 + h**2. Let a be l(-6). Is 1 + 1*-2 + a prime?
False
Suppose 3*x = -h + 611, 2*x + x - 2*h = 623. Is x prime?
False
Let i(p) = 3*p**2 + 0*p**2 - 2*p**2 + 250*p**3. Is i(1) a prime number?
True
Suppose -5*z + 153 = -2. Suppose z = 2*b - b. Is b composite?
False
Let j(u) = 6*u**2 - 14*u + 19. Is j(9) a prime number?
True
Let g(m) = -m**3 + 2*m**2 + m + 2. Let z be g(2). Suppose -o + z*o = 0. Suppose -5*w + w + 556 = o. Is w composite?
False
Suppose g = 2 + 1, 5*k = g + 137. Let i be 768/7 + 8/k. Suppose 4*j - 91 = 3*m, -5*j - 3*m + i = -6*m. Is j a prime number?
True
Let j = -92 - -101. Is j a prime number?
False
Suppose k = -203 + 839. Suppose 0 = 4*b + 2*t - k, b - 155 = -4*t + 18. Is b a composite number?
False
Is 11297/55 + (-2)/5 a prime number?
False
Let w = -320 - -466. Is w prime?
False
Suppose 2*l = -t - 1 + 5, -5*t - 5*l - 5 = 0. Is 1*309/t*-4 a prime number?
False
Let b be 1314/2 - 0/3. Suppose 216 = 2*v - 324. Suppose 2*j = 2*o + 2*o + v, 4*o = 5*j - b. Is j composite?
True
Let n = 7 + -5. Suppose -4*t = -2*t + 2*j - 94, -n*j = -4*t + 218. Suppose 5 = 3*f - t. Is f a composite number?
False
Suppose -q - 11 = -v + 4*v, 2*v = -3*q + 2. Suppose -q*x - 3*a + 8*a + 1057 = 0, x = 3*a + 266. Is x prime?
True
Suppose -3*r = -8*r + 295. Is r a prime number?
True
Let q be (3/2)/(11/132). Let t = -20 - -13. Let o = t + q. Is o a composite number?
False
Suppose -2*c = 2*h - 16, -5*h - 4 = -c + 4. Let d = c + -34. Let p = d + 65. Is p a prime number?
False
Let o(u) = u**2 - 4. Let v be o(8). Let k = -39 + v. Let h = k - -94. Is h a prime number?
False
Let d be ((-6)/15)/((-3)/15). Suppose 2*x - d*v - 148 = -0*x, 0 = 4*x - 5*v - 293. Is x a composite number?
True
Suppose 4 = 4*c - 0*c. Let x be c + 1 + (-1 - -4). Suppose x*v + 5*r - 76 - 4 = 0, -3*v - r = -54. Is v a prime number?
True
Let q(p) = p**2 - 5*p - 2. Let v be q(4). Let j be ((-9)/(-6))/(v/(-28)). Suppose 2*o - 117 = -j. Is o a prime number?
False
Is (3/3 - (3 - 2)) + 673 composite?
False
Let b(g) = -3*g**3 - 26*g**2 - 20*g - 12. Is b(-11) composite?
True
Suppose -h + 4*u = -u - 7, 0 = -5*h + 5*u + 15. Let n(i) = h*i - 4 + 46*i**2 - 14*i**2 + 3. Is n(2) a composite number?
False
Suppose -5*w = -6*w - 6. Let k be (-16)/w*(-3)/(-2). Suppose -5*c = 3*a - 2*c - 369, 3*c = -k*a + 488. Is a prime?
False
Suppose 3*h - 4*n = -6*n + 9321, 3*n = -4*h + 12427. Is h a prime number?
True
Suppose 590 = 2*m - 868. Let v = m - 363. Is v/12 + (-1)/(-2) composite?
False
Let p = -2172 - -3391. Is p composite?
True
Let h(l) = -l + 465. Let n be h(0). Suppose n = 2*i + 3*i. Suppose -4*x = -3*v - i, -5 = -x - 3*v + 7. Is x composite?
True
Let h = 9 + -7. Is (-1)/(h*(-2)/188) composite?
False
Let f be 9/27 + 10/6. Suppose 2*y - 17 = r, 27 = 2*y - r + f*r. Is y a prime number?
True
Let i(t) = -t**2 - 8*t + 7. Is i(-7) composite?
True
Let r(t) = 12*t**2 - 4*t - 1. Is r(-3) a composite number?
True
Let c(v) = -6*v**2 - 1 + 5*v**2 + 3*v**2 + 5. Is c(3) a prime number?
False
Suppose 4*z + 144 - 428 = 0. Is z a composite number?
False
Let g = -31 + 78. Suppose 4*f - 35 = -0*u - 3*u, 0 = 4*u - 4*f - 28. Suppose u = -2*o + g. Is o a composite number?
False
Let m(g) = -g**2 + 8*g + 4. Let p be m(9). Is ((-37)/p)/((-3)/(-15)) composite?
False
Suppose 3*n = -12, 4*n = -5*d + n - 2. Suppose -500 = -d*k + 2*s, 3*s = k - 0*k - 244. Is k a prime number?
False
Let s(c) = -10*c + 2. Let n(h) = h + 1. Let l(z) = 3*n(z) - s(z). Is l(6) composite?
False
Let d = 6 - -5. Is d prime?
True
Suppose 4*c + c - 70 = 5*a, 74 = 5*c - 4*a. Suppose 4*r - c = r. Is r a composite number?
True
Let u(n) = -2*n**3 + 19*n**2 + 12*n - 20. Let p(f) = -3*f**3 + 20*f**2 + 13*f - 21. Let z(y) = -3*p(y) + 4*u(y). Is z(-12) a composite number?
True
Let c be (10 - 2)*(-134)/(-8). Suppose -f - c = -3*f. Is f a prime number?
True
Let g(r) = 2*r**2 + 2*r + 2. Let c be g(-1). Suppose 0 = -c*l + 6*l - 88. Is l prime?
False
Let l = 2007 + 1030. Is l prime?
True
Let i(a) = -3*a**3 + 6*a**2 - 8*a - 8. Is i(-5) prime?
True
Let l(p) = -43*p + 5. Let y(t) = -4*t**2. Let u be y(-1). Let r be l(u). Suppose 78 = 5*k - r. Is k a composite number?
True
Suppose 4*k = 4*r - 16 - 20, -4*r - 3*k = -1. Suppose 0 = -0*c - r*c - 16, 4*f - 896 = c. Is f prime?
True
Let z be (-65)/(-7) + (-4)/14. Let y be 1/(-3) + (-15)/z. Is (-1)/y - (-10)/4 a composite number?
False
Is (-34)/(-1)*87/6 composite?
True
Suppose 3*i + 2*k - 1635 = -2*k, 5*i + k = 2708. Is i composite?
False
Let y = -60 - -137. Is y prime?
False
Suppose 4*n - 1170 = -r, -2*r = n - 162 - 127. Is n prime?
True
Let b(p) = -p**3 - 7*p**2 + p + 9. Let y be b(-7). Suppose -1 + 15 = y*k. Suppose -3*f + 2*u + 144 = k*u, 0 = 5*f - 5*u - 280. Is f a prime number?
True
Suppose 4*t - 995 = 1753. Is t composite?
True
Let z(f) = -f**3 - 11*f**2 - 8*f + 11. Is z(-12) prime?
True
Suppose -4*g + 4 = -4. Suppose -g*y - h - h = 6, 4*h = -3*y - 14. Let t = 85 - y. Is t prime?
True
Suppose -3*s = -2*v + 4, 1 = -3*s + v + 2. Suppose -s*z - r = 3*z + 139, z + 4*r = -24. Let w = z - -47. Is w a prime number?
True
Let y(o) = -19*o + 1. Suppose 2*v + 0 + 4 = 0. Is y(v) a composite number?
True
Let c = 7652 + -3451. Is c a prime number?
True
Suppose 0*r = -5*r + 15. Suppose -5 = r*s + 2*q, -19 = 2*s + s - 5*q. Is (-335)/s + 2/(-3) a prime number?
False
Is (3 - 272/6)*-3 a prime number?
True
Suppose -x = -2*s + 27, 3*x + s = -0*x - 102. Let p = 110 + x. Is p a composite number?
True
Suppose 4579 = 4*j - 5*x, -5*j - 3*x + 7247 = 1477. Is j a prime number?
True
Suppose 7*f - 7826 = 861. Is f prime?
False
Is (9459/2 - 3/(-6)) + 3 composite?
False
Let w(y) = 11*y**2 + y - 1. Is w(-6) a composite number?
False
Is (4442/4)/(75/(-10) - -8) a composite number?
False
Let m be (-47)/3 + 1/(-3). Is (212/m)/(2/(-8)) composite?
False
Let a(j) = j**3 + 8*j**2 + j + 7. Let c be a(-8). Let n(k) = -10*k**3 - k - 1. Let o be n(c). Is ((-4)/2)/(o/(-635)) a prime number?
True
Suppose -2*o - 2*q = 2*o - 24, -3*o - q = -19. Is o a prime number?
True
Let d(u) = 20*u**2 + 4*u - 2. Is d(9) a prime number?
False
Let t(b) = 149*b + 10. Is t(5) composite?
True
Let m(u) = 80*u**2 + 3*u - 1. Let q be m(-3). Suppose -r = -6*r + q. Is r a prime number?
False
Let t(n) = n**3 - 11*n**2 - 12*n - 4. Let w be t(12). Is (-570)/(-4) + w/(-8) prime?
False
Let u(f) = -f**2 - 4*f - 1. Suppose q + 2 = -3*q + 2*k, 2*k = -10. Let t be u(q). Is (69/t)/(9/12) composite?
True
Let r be (-4 - -2*1) + 97. Let k = 41 - r. Let s = k - -107. Is s composite?
False
Let b be (-9079)/35 - (-2)/5. Let g = 450 + b. Is g composite?
False
Suppose v + 6 - 4 = 0. Let s be (-87 - v)*2/2. Is (s/15)/((-2)/18) a prime number?
False
Is (3016/(-12) - -3)*-3 a prime number?
False
Suppose d 