35 = -7*w - g. Let q = w - 3436. Is q composite?
False
Suppose -4*d = 26 + 26. Let h(x) = -x**3 - 6*x**2 + 10*x + 11. Let z be h(d). Let q = -727 + z. Is q a prime number?
True
Let y(i) = 2*i + 2. Let k be y(3). Let v(n) be the first derivative of 13*n**2/2 - 17*n - 3. Is v(k) composite?
True
Let c(u) = -16*u + 13 - u**2 - 30 + 9. Is c(-13) composite?
False
Let b = -4 - -7. Suppose -2*u + 2*z - 8 = 0, -b*u - 2*z - 3*z = -20. Suppose -1307 = -u*q - 2*q + 5*p, 3*q + 3*p - 1908 = 0. Is q a prime number?
True
Let q(g) be the third derivative of g**6/120 + g**5/10 + g**4/3 + g**3 - 8*g**2. Let l be q(-4). Let y = 133 - l. Is y a composite number?
False
Is (-34)/((-579)/573 - -1) composite?
True
Let g = 152 + -94. Suppose 5*r - 90 = 5*y, 3*y - g = -4*r - r. Is (-2763)/(-5) + r/35 a composite number?
True
Let h be 9515/(-9) - 10/(-45). Let d = 840 - h. Is d a composite number?
True
Suppose 7*i = 3*i + 12. Suppose -4*a - 2 = 2*m + 12, 0 = m + i*a + 12. Is 1/3*(m - -480) a composite number?
True
Suppose p + 0 - 9 = 0. Is (127/(-3))/(p/(-297)) composite?
True
Let r(s) = 117*s + 53. Let g be r(22). Let v = g + -1820. Is v a composite number?
True
Suppose 0 = 3*o + 4*v + v - 6624, -2*o = -v - 4403. Is o prime?
True
Is 1532916/68 - 12/(-102) a prime number?
True
Let t be (5/(-10))/((1 + -2)/25388). Suppose 9*a + 3307 - t = 0. Is a a prime number?
False
Let k = 40 - 18. Is ((-4276)/(-6))/(k/33) a prime number?
True
Suppose c + 4 - 10 = 0. Suppose -2*n - c = -3*v, v - 15 = 4*v + 5*n. Suppose 2*d - 6*d + 268 = v. Is d a composite number?
False
Let j(m) = -912*m + 8. Let c(x) = -x + 1. Let r(v) = -c(v) - j(v). Is r(4) composite?
False
Suppose 2*d + m = -1140, -475 - 2366 = 5*d - 2*m. Let q = 2253 - 797. Let j = q + d. Is j prime?
True
Is 1 - 11862/((-2)/2) composite?
False
Let p be 4/(-24) - 1378/12. Let a = p - -175. Let o = a - -17. Is o prime?
False
Let n(u) = -779*u**3 - u**2 - u - 3. Suppose 3*f - 4*i + 18 = -8, -3*i = 5*f - 5. Is n(f) a composite number?
True
Let n = 5484 + -2760. Suppose m - n - 19 = 0. Is m composite?
True
Let d = 122 + -120. Suppose 4*u - 5*t - 3546 = 0, -2*u - u + 2663 = -d*t. Is u a composite number?
True
Suppose -3*t = -4*q + 8503, 3*q + 6*t = 2*t + 6346. Is q prime?
False
Let r = 72465 - -23078. Is r a composite number?
True
Let d be 0/(1*(2 - 1)). Is -2 + (-3 - d - -313 - 3) prime?
False
Suppose -1050 = -17*s + 12*s. Let p = 629 + s. Is p composite?
False
Let g(s) = 7202 - 7206 - 7*s - 12*s**3 - 2*s**2 + 3*s. Suppose 5 + 7 = -4*u. Is g(u) a composite number?
True
Let j(h) = 96*h**3 - 4*h**2 - 10*h + 103. Is j(5) composite?
False
Let b be (1 - -29)*7/14. Suppose -2*l + 1 = -4*p + 27, -3*p - 3*l = -b. Is (-788)/(-12) + 8/p a composite number?
False
Suppose -y - 15 = -4*y. Suppose 0*q = -y*q + 30. Suppose -2*n - 3*r = -q*r - 739, 4*n - r = 1483. Is n a prime number?
False
Suppose -18 = 2*s + 3*j + 6, 4*s + 76 = j. Suppose 15*y = 16*y - 233. Let x = y - s. Is x a composite number?
False
Let c(n) = -n**3 - 6*n**2. Suppose -5*o = -3*o + 12. Let s be c(o). Suppose 3*t - 254 - 139 = s. Is t prime?
True
Let o = 42918 - 27689. Is o composite?
True
Let d(i) = i + 22. Let l be d(-24). Is 9 + -4 + (264 - l) a prime number?
True
Suppose -4*q = 2*q - 12. Suppose q*i - 3*i = -1069. Is i composite?
False
Suppose z + 4*a + 2 = -2*z, -2*a = z + 2. Suppose z*h + 5*g = 3*h - 3505, -4*h + 14020 = 2*g. Is h composite?
True
Suppose -4*o - 1 = -5. Is (7/(-21))/(o/(-633)) a prime number?
True
Let j = 6166 - 92. Is j a composite number?
True
Suppose 0 = -j - 3*q + 5263, -2*q - 30029 = -5*j - 3663. Is j*(-5)/(-45) + 2/9 composite?
True
Let i be 8/12 - (-39)/9. Suppose p - 294 = i. Is p a composite number?
True
Let t = -35212 + 65753. Is t a composite number?
True
Let b = -836 - -3157. Is b a composite number?
True
Let s(o) = -41*o + 9. Let h(l) = 20*l - 5. Let c(p) = -5*h(p) - 2*s(p). Is c(-7) a prime number?
False
Suppose 0 = 5*r - 0*a - 2*a, 4*r = -3*a. Suppose -3*o - 9 = 0, 2*l - 13 = -r*l + 3*o. Suppose -2*m = 3*m - j - 845, 0 = 4*m - l*j - 676. Is m prime?
False
Suppose -2*t + 11 = 9*t. Is 50*127 + (-3 + 7 - t) composite?
False
Let r = 74 + -68. Is (r/(-4) - -2)*586 a composite number?
False
Let p be ((-52)/39)/(1/(-81)). Suppose 281 + p = f. Is f a composite number?
False
Suppose -9*h = -4*h + 580. Let a = h - -195. Is a prime?
True
Suppose 0 = 5*z - 3*m - 18790, -m - 15 = -4*m. Is z a composite number?
False
Let u = 435 + 4388. Suppose -13*b - 832 = -u. Is b composite?
False
Suppose 0*w - 4*a - 6655 = -5*w, a - 5 = 0. Suppose -2*u = -10, -2*q + 4*u = -7*q + w. Is q a prime number?
True
Let d = -18 - -19. Let p(v) = 524*v - 3. Is p(d) a composite number?
False
Let j(z) = z**3 + 7*z**2 - 5*z + 5. Let u be j(-8). Let o = u + 37. Suppose 2*t = -t + o. Is t a prime number?
False
Suppose -359 = l + 700. Let n = l + 1978. Is n a composite number?
False
Suppose -s = -5*w + 4*s + 130, 3*s - 98 = -5*w. Suppose -3*v - w = 83. Let q = v - -72. Is q a composite number?
False
Let a(w) = -w**2 + 5*w - 19. Suppose -3*o = o - 40. Let r be a(o). Let d = 218 + r. Is d a prime number?
True
Let g(f) = 11*f**2 - 18*f - 38. Is g(25) a composite number?
True
Is (-5)/(2/(-5) + 159/435) a prime number?
False
Let b = -10 - -16. Suppose -3*q + b*q - 21 = d, 5*q + 5*d = 55. Let g = 7 + q. Is g a prime number?
False
Let i(r) = 44*r - 3*r**2 - 40*r + 3 - r**2 - 2*r**3. Let k(f) = 2*f + 5. Let v be k(-5). Is i(v) prime?
False
Is ((-157106)/4 + 2)/(45/(-30)) a prime number?
True
Suppose 0 = -16*o + 21*o - 62045. Is o prime?
True
Suppose o + 29185 = 4*j, -36455 = 3*j - 8*j - 4*o. Is j prime?
False
Let m(c) = -c**3 + 8*c**2 + 11*c - 10. Let b be m(9). Suppose 0 = -8*s + 4*s + b. Suppose -s*l = -4*l + 370. Is l composite?
True
Suppose -112 = q + 3*q. Let k be q/(-21)*582/(-2). Is (k/(-4))/((-2)/(-2)) a prime number?
True
Let v(y) = 2*y**2 - 6. Let f be v(-2). Suppose -f*w = -977 - 285. Is w a prime number?
True
Let a(o) = 8*o**2 - 13*o - 8. Is a(-13) a composite number?
True
Let q(u) = -3*u - 12. Let z be q(-5). Suppose 5*l - z*o = 512, 210 = 2*l - 3*o + 7*o. Is l prime?
True
Suppose h = -h. Suppose 3*w - 2*w = h. Suppose w*r + 5*r - 110 = 0. Is r prime?
False
Is -5*((-144221)/35 + 6) a composite number?
True
Suppose -a = -3*c + 5402, 6*c - 2*a - 9004 = c. Let y = -643 + c. Suppose 3*p + 8*d - 4*d = y, -d = 3*p - 1169. Is p a composite number?
True
Suppose -57*i + 7892 = -53*i. Is i composite?
False
Suppose t - 470 = 4*c, t - 3*c - 266 = 205. Let n = -248 + t. Is n a composite number?
True
Suppose -j - 2*k + 10 = 0, 0 = -3*j - 2*k + 6 + 8. Suppose 5*o = -3*s + 176, 0 = j*s + s + 9. Is o a composite number?
False
Let j(p) = -5*p**2 + 4*p - 1. Let u be j(4). Let m be 2/(-5) - (-2468)/20. Let b = u + m. Is b prime?
False
Let b(h) be the first derivative of h**2/2 - 5*h - 1. Let x be b(10). Suppose 8*d - x*d = 207. Is d composite?
True
Let l be (-7254)/4 + 42/28. Let h = -367 - l. Suppose 294 = -q + h. Is q composite?
False
Let s = 45 + -54. Is 3482*(s/(-12) - 6/24) composite?
False
Let w = 18 + -13. Let d be (-1)/w - 2/(-10). Suppose d*x = 5*x - 185. Is x prime?
True
Let m(a) = 15*a + 6 - 17*a + 3*a**2 + 3 + 2*a**2. Is m(10) a prime number?
False
Suppose -2*d + 3*d + 5 = 0, -d = 3*v - 19. Let g be 2028/v + 2/(-4). Suppose -3*z - k + 352 = 0, 2*z = -2*k + 5*k + g. Is z a composite number?
True
Suppose -2502 = -11*q + 2*q. Suppose 0 = 6*k - q - 4. Is k a composite number?
False
Suppose 0 = -2*y - 10, -22*j - 1257 = -23*j - 4*y. Is j a composite number?
False
Let t be 42/4*4/(-2). Let d = t - -29. Suppose 9*h - d*h - 239 = 0. Is h composite?
False
Let m(p) = -2*p**2 - 1. Let x be m(1). Let a be ((-3)/(-6))/(x/90). Is 9/15 + (-13416)/a a composite number?
True
Let x be (16/(-10))/((-1)/5). Suppose -s + 3*s - x = 0. Suppose 2*d = 5*u + 254, -d - s*u + 3*u = -127. Is d composite?
False
Let w be 2/6 - (-34)/6. Suppose w*l - 4*o - 156 = 4*l, 0 = -5*l + o + 372. Suppose 0 = 10*x - 12*x + l. Is x a prime number?
True
Suppose -4*d + 2018 = 5*i, -2*i + d + 824 = -3*d. Let k = i - 193. Is k a prime number?
False
Let w(u) = 3*u - 11 - u - u - 2*u. Let s be w(-13). Suppose 3*c + c = 5*x + 348, -s*c + x + 174 = 0. Is c a composite number?
True
Suppose 7*b - 10118 = -2*u + 2*b, 0 = 4*b. Is u prime?
T