v - 4788 = s, 4*v + s = 2697 + 6873. Is v composite?
False
Let f(i) = -91*i**3 - 5*i**2 - 1 + i**2 + 2*i**2 + 3*i**2. Is f(-1) prime?
False
Let w = 2 + -6. Let h be w/10 - 189/15. Let b = -7 - h. Is b prime?
False
Let p = -31 - -63. Suppose 0 = i - 339 + p. Is i composite?
False
Suppose -2*l - 1513 = -3*x, -x + 3*l = -l - 501. Is x prime?
False
Let v(x) = x**3 - 5*x**2 + 5*x - 2. Let d be v(4). Suppose d*y + 0 - 4 = 0. Suppose -4*s + o + 5 + 91 = 0, 5*s - y*o - 123 = 0. Is s a composite number?
False
Suppose 0 = -9*k + 2580 + 399. Is k prime?
True
Suppose 5*t + 5*x - 12700 = 0, 3*t - 5*x - 7641 = 19. Is t composite?
True
Let q(b) = 3*b**3 - 17*b**2 + 5*b + 4. Is q(13) prime?
False
Let m = 1 + 2. Suppose -1 = -2*b - h, -h + 2 = m*b + 1. Suppose 3*t + 2*l - 209 = b, 4*t + 3*l = 5*l + 274. Is t a composite number?
True
Is 2/4*(-11 + 129) a composite number?
False
Let s(n) = n**2 - n + 191. Suppose -5*o - 5 = 3*g, 3*o + 1 = g - 2. Is s(g) composite?
False
Suppose 52*y - 1348 = 48*y. Is y prime?
True
Suppose 2*n + 6 = -n. Let u be ((-82)/n + -2)/1. Suppose 3 = 4*f + 15, -3*h - 2*f + u = 0. Is h prime?
False
Is ((-1)/(5/(-5)))/(2/1910) composite?
True
Let h(g) = -2*g + 2. Let t be h(-2). Suppose t*i = 222 + 792. Is i a prime number?
False
Suppose -3*o = 4*w - 35, -3*w + 15 = -2*o + 2*w. Suppose o*f = 3*f + 160. Let a = f - 25. Is a composite?
True
Let o(m) = -m**2 - 29*m - 13. Is o(-12) a composite number?
False
Is (-5)/(-10)*149*2 a prime number?
True
Let s = -5 + 16. Suppose -q - s = -42. Is q a composite number?
False
Let g be (-3)/(-1)*28/6. Suppose g = 4*u + h, u - 11 = -4*h - 0. Suppose a - u*a + 254 = 0. Is a prime?
True
Is ((-830)/15)/((-4)/6) prime?
True
Is (-2 - -1)*(-897 - -5 - -5) composite?
False
Let y be 1/2 - 25/(-2). Suppose 3*i = 58 - y. Is i prime?
False
Let h = -22 + 34. Let j be (5/(-15))/((-2)/h). Suppose 4*z = -j*q + 298, 3*z - 5*q - 102 = 2*z. Is z prime?
False
Suppose 5*u - 773 = -2*a + 1613, -3579 = -3*a - 2*u. Is a prime?
True
Let b = 43 + 573. Let h = b - 405. Is h prime?
True
Let c = -9 + 153. Let y = c - 91. Is y a composite number?
False
Let l(q) = -q - 7. Let u be l(-7). Suppose -2*v + 258 + 262 = u. Suppose -v - 96 = -4*p. Is p a composite number?
False
Let l(c) = 3*c + 179. Let r(g) = g + 89. Let q = 9 - 4. Let b(o) = q*r(o) - 2*l(o). Is b(0) prime?
False
Let q = -16 + 197. Is q a prime number?
True
Suppose 0 = -2*y + 1 + 3. Suppose -b - 3 = -y*b. Let a(q) = 19*q - 4. Is a(b) composite?
False
Let n = 11 - 16. Let d be (-6)/2 - n - 3. Let f = 20 - d. Is f a prime number?
False
Suppose -t + 3*t = 2*h - 290, 5*t + 5 = 0. Suppose -3*g - g = -h. Suppose -4*o + 4 = -g. Is o a composite number?
True
Suppose 162 + 833 = 5*d. Is d a composite number?
False
Let p(x) = -2*x + 3. Let j be p(2). Is 1*((-174)/(-3) - j) a prime number?
True
Let g(r) be the third derivative of -r**5/60 - 7*r**4/24 - r**3/3 + 3*r**2. Let h be g(-6). Suppose -c + 64 = -5*x, h*c - 5*x - 170 = 11. Is c prime?
False
Let b = -1725 + 2984. Is b prime?
True
Suppose 434 = 3*c - 3*d - 2*d, -d = -c + 148. Suppose c = -t + 4*t. Is t a prime number?
False
Let m = -140 - -282. Is m composite?
True
Let w = -4 + 4. Let y = w + 3. Suppose -b = -o + y*o - 89, 3*b - 5*o = 234. Is b a composite number?
False
Let f = 10 - 8. Is (-1 + 3)/f*163 composite?
False
Let o = 24 + -13. Let j(s) be the third derivative of -s**5/60 + 19*s**4/24 + 3*s**3/2 + s**2. Is j(o) a composite number?
False
Let s = 82 - -549. Suppose -4*r = 4*h - 852, 0 = 2*h + h + 5*r - s. Is h composite?
True
Let j(i) be the third derivative of -i**4/12 + 5*i**3/6 - 2*i**2. Let r(d) = -3*d + 9. Let n(h) = -9*j(h) + 4*r(h). Is n(7) prime?
False
Suppose -5*h = 5*a - 15080, -h + 0*h = 3*a - 3026. Is h prime?
True
Let b(j) = 208*j**2 + 11*j - 2. Is b(-3) composite?
True
Suppose 6*r - 142 = -i + r, -5*i + r + 788 = 0. Is i a prime number?
True
Is (8/(-12))/(59440/19815 + -3) prime?
False
Let d(f) = -f + 9. Let w be d(8). Is (1784/(-32))/(w/(-4)) composite?
False
Let a be ((-1)/2)/(1/(-8)). Suppose o - 18 = -4*r - 2*o, -o = -3*r + 20. Is (-231)/(-9) - a/r a composite number?
True
Let g = -3 + 9. Suppose g*o - 20 = 2*o. Suppose -2*k - 63 = -o*k. Is k a prime number?
False
Let o(x) = 51*x**3 + 2*x - 3. Suppose -2*g = -5*g + 6. Is o(g) a composite number?
False
Suppose 4*f = -0*f + 1524. Suppose 0 = 5*c, -5*p - 46 = 4*c - f. Is p a prime number?
True
Let o(y) = -y**2 - 2*y + 35. Is o(0) composite?
True
Is 38/(-171) - (-236)/9 a composite number?
True
Let j(x) = -x**3 - 8*x**2 - 9*x - 7. Is j(-7) a composite number?
False
Suppose -2*t - 215 + 681 = 0. Is t a prime number?
True
Suppose -47 + 129 = 2*i. Let q = i - 217. Let a = q - -295. Is a a prime number?
False
Let g(f) = -f**3 + f - 75. Let l be g(0). Let j(t) = 145*t**3 - t**2. Let d be j(1). Let b = l + d. Is b prime?
False
Suppose -4*f + 1656 = -5*x, -2*x - 2805 = -5*f - 752. Is f a composite number?
False
Is (-223884)/(-72) + 1/(-2) a composite number?
False
Let y(x) = 2*x**2 - 7*x + 16. Is y(-7) composite?
False
Suppose 4*w = 3*w - 5, -5*l - 5*w = -1150. Is l composite?
True
Let s(q) = -3*q**3 - 4*q**2 - q - 4. Let k be s(-4). Let z = k - 69. Is z prime?
True
Let l(v) = -v + 1. Let x be l(-4). Let g = x - 8. Let d(y) = -3*y + 1. Is d(g) prime?
False
Let k(c) = -c**3 + 2*c**2 - 5*c + 3. Let q be k(3). Suppose 0 = y, y - 222 = b + 2*b. Let g = q - b. Is g a prime number?
True
Suppose 0 = -4*w + 5*y + 3007, -2*w = w + 4*y - 2263. Is w composite?
True
Let q = -119 + 298. Is q composite?
False
Is (-44)/(-3) + 6/18 a prime number?
False
Suppose 1 = q - 0, -3*q - 3162 = -5*f. Is f prime?
False
Suppose -14 = -2*v + 2. Let r(y) = 6*y**3 + 8*y**2 - 2*y**3 + v + 5*y - 3*y**3. Is r(-7) a composite number?
True
Let u(i) = 10*i - 1. Let n be (-30)/(-9)*(-18)/(-10). Is u(n) a prime number?
True
Is (3 + 0 - 3) + 89 prime?
True
Suppose -5*v - 5*c + 525 = 0, 2*v + 417 = 6*v + c. Suppose 0 = -3*k - k + v. Is k a prime number?
False
Let v be 56/6*(-120)/(-16). Suppose -4 - v = -w. Is w a composite number?
True
Let t(w) = w**2 + 5*w + 4. Let k be t(-5). Suppose -r = -5*r + k. Suppose -47 - 1 = -4*l + 5*b, r = -l - 2*b. Is l a prime number?
True
Suppose -5*b = -b - 2116. Suppose -b = -2*s + 309. Is s a composite number?
False
Suppose z + 2*w = -1, -3*z = -w + 4 - 1. Let u be (4/10)/z*5. Is u/5 - (-532)/5 composite?
True
Suppose -5*d + 2*m = -2125, -5*d - 2*m + 905 = -1240. Suppose -5*q = -318 - d. Is q a composite number?
False
Suppose 51 = 2*t - 135. Suppose 2*b = 5*v + t, 3*b - 2*b = -2*v + 42. Suppose 5*a - 4*u = a + 84, -u = -2*a + b. Is a a prime number?
True
Let i(d) = d**2 - 3*d - 1. Let o(t) = t**2 - t + 4. Let s be o(0). Let m be i(s). Suppose -m*z = z - 40. Is z prime?
False
Let w be ((-4)/(-4))/(2/10). Suppose 63 = w*x - 52. Is x prime?
True
Suppose 5*f = 2*z - 2072 - 421, 4*f - 6315 = -5*z. Is z a composite number?
False
Let h be -10 + (-3)/(-2)*2. Let a(t) = t**2 - 3*t - 1. Is a(h) a composite number?
True
Let v = 18 + -12. Is (-184)/v*6/(-4) composite?
True
Let m = -2 - -5. Suppose -6*k + m*k + 6 = 0. Is 14 + (k - 0)/2 a prime number?
False
Let r(q) be the third derivative of 19*q**4/24 - q**3/3 - 2*q**2. Is r(3) a prime number?
False
Let g be (-296)/(-20) - (-1)/5. Is ((-28)/10)/((-3)/g) a prime number?
False
Suppose m = 4*m. Suppose -6*x - 8 = -4*x. Is 19 + 2/x*m a prime number?
True
Suppose -1313 = 2*b - 3*b. Is b a composite number?
True
Let x be (-12)/(-18) - 10/(-3). Suppose -5*p + 10 = 0, -x*j - 3*p = -4*p - 1410. Is j a composite number?
False
Suppose 0*u + 3*u = 57. Is u a composite number?
False
Let d(z) = -z**2 - 11*z - 10. Let q be d(-8). Suppose 5*i - q = -4. Suppose i*s = -2*s + 140. Is s a prime number?
False
Let v = 9 - 4. Let t = -1 + v. Suppose 0 = -t*u, -312 = -5*y - 2*u - 37. Is y prime?
False
Let a = -21 + 9. Is ((-28)/a)/((-2)/(-138)) a prime number?
False
Let a = -82 + 156. Is a a composite number?
True
Let i(v) = v**3 - 2*v**2 - 7*v - 1. Let h be i(7). Suppose 9*f - 6*f + h = 0. Let d = f + 112. Is d a prime number?
True
Let m = -248 + 499. Is m a composite number?
False
Let m = -4 + 3. Is (20/6)/(m/(-3)) composite?
True
Let l = -2 - -5. Suppose -l*j + 483 = -1158. Is j a composite number?
False
Let y(u) = 5*u + 8. Let h(d) = -d + 1. Let 