 - w. Is v a composite number?
True
Let b = 17 - 23. Let w(g) = 3*g**2 - 14*g - 7. Let k be w(b). Suppose -q + k - 70 = 0. Is q a composite number?
True
Is (-561)/2057 - 196840/(-22) a prime number?
False
Suppose u = 5*c - 9, c - 3*u = 2 - 3. Is ((-2)/c)/((-1)/953) a prime number?
True
Let x(u) be the third derivative of -29*u**4/12 - 43*u**3/6 - 30*u**2. Is x(-9) prime?
True
Suppose -6*a + 5269 = 5*a. Is a prime?
True
Let x(w) = -w**2 - 2*w + 6. Let c be x(-5). Let h(b) = b**2 + 10*b + 12. Let l be h(c). Suppose 2*s = -t + 361, -t - 2*t - l = 0. Is s prime?
True
Let v(f) = -7*f**3 + f**2 + 1. Let p be v(-1). Suppose 2324 = p*x - 475. Is x composite?
False
Let m = -5173 + 8592. Is m a prime number?
False
Suppose 119 + 356 = g. Let c = 798 - g. Is c a composite number?
True
Suppose 3*x + 3*y = 31536, -3*x + 7*y = 4*y - 31542. Is x a prime number?
True
Suppose 5*g + 3*g - 161960 = 0. Is g composite?
True
Let m(i) be the second derivative of i**4 + 1/2*i**3 + 0 - 1/20*i**5 + 3/2*i**2 - i. Is m(12) composite?
True
Suppose -7 = 5*z - 2. Is (-1672 - z)*(-11)/33 prime?
True
Suppose -34*n = -24*n - 124810. Is n a prime number?
False
Suppose 18 = 5*d + 3. Is d/(-4)*2180/(-5) prime?
False
Suppose 111*k = 101*k + 4270. Is k a composite number?
True
Let g be ((-48)/20)/(3/(-10)). Is g/28 + 4485/7 prime?
True
Suppose p - 19 = -5*s, -3*p = 3*s - 0*s - 9. Let u be -1*(-109 + p + 1). Is 0/(-3) + -3 + u prime?
False
Is ((-519)/6)/(14/(-1036)) prime?
False
Let b = 30 - 28. Suppose 0 = i + b*i - 6681. Is i composite?
True
Suppose -z = -2*d + 14, 0 = 4*d + d + 3*z - 24. Suppose b - d*b = -2035. Is b a prime number?
False
Let m(w) be the first derivative of -w**4/4 + 14*w**3/3 + 7*w**2/2 - 3*w - 22. Is m(11) a composite number?
True
Let p(k) = -3*k**3 - 10*k**2 - 39*k - 35. Is p(-9) prime?
True
Suppose 2*v + 12 = -2*v, 2*v = o - 4589. Is o composite?
False
Let n be -2 - 2 - (-18)/2. Suppose 0 = -2*p - 4*g + 2730, -4 = n*g - 14. Is p a composite number?
False
Let b(c) = 6*c**2 - 2*c - 6. Let a be b(-2). Let p = a - -1. Is p composite?
False
Let g(r) = 3*r**2 + 4 + 8*r + 2*r**3 - 4 + 3*r**3 + 1. Is g(13) prime?
True
Let z(i) = 39*i**3 + 5*i**2 + 7*i + 1. Is z(4) a prime number?
False
Let z(g) be the second derivative of 5*g**4/12 - 19*g**3/6 + 33*g**2/2 + 5*g - 6. Is z(16) a prime number?
True
Let l(a) = -a**3 + 10*a**2 - 9*a + 6. Let d be l(6). Let n = -71 + d. Is n a composite number?
True
Let c = -95 - -100. Suppose 7*z + c*j - 2590 = 2*z, 0 = 4*z + 2*j - 2078. Is z a composite number?
False
Let y be (1 - -40) + 1/(-1). Suppose -3*f = -s + 53, y - 15 = 5*s. Is 587 - 0*4/f prime?
True
Let r = 6 - 3. Suppose -4*o - 3*z = -590, -2*o + 749 = r*o - 2*z. Suppose 5*u - o = 221. Is u composite?
True
Let i(g) = g**3 + 10*g**2 + 11*g + 5. Let m be i(-8). Let k be (-2)/(-15) + (-6)/m. Suppose 4*j = -4*o + 8*j + 568, 3*o + 5*j - 418 = k. Is o composite?
True
Suppose -4*d + 6*d - 6 = 0. Suppose -d*c = -c + 3*f - 243, 0 = -3*c - f + 368. Suppose 0 = -0*p - 2*p - 5*v + c, 0 = p + 2*v - 63. Is p a prime number?
False
Suppose -5*d + 3*w + 38 = w, -5*w + 45 = 5*d. Suppose -s + d = -5*s, -5*h + 5303 = s. Suppose -h = 4*m - 5*m. Is m a composite number?
False
Suppose v = 5*w + 9, 4*w - v = 5*w - 3. Suppose -s + 2 = s. Is (89 - 0/w)/s composite?
False
Suppose 15 + 1 = 2*l. Is (-6)/10*(-557 - l) composite?
True
Let h(z) = 16*z**2 - 10*z + 15. Suppose -3*m + 12 = -c - 7*m, 2*c = 3*m - 13. Is h(c) a prime number?
False
Suppose 2*j = 3*j - 6. Is (j/12)/((-1 + 3)/11108) a prime number?
True
Let l be -1123 + (4 + -1 - 2). Let p = 690 + l. Is (-6)/30 - p/10 prime?
True
Let v(o) = 17*o**2 - 55*o + 65. Let z(i) = 6*i**2 - 18*i + 22. Let h(p) = 3*v(p) - 8*z(p). Is h(-16) a composite number?
False
Let y = 9 + -4. Let m(r) = 145*r + 14. Is m(y) a prime number?
True
Suppose f = -z + 43, -2*f = 3*z - 29 - 58. Is (4530/(-45))/((-4)/f) a prime number?
False
Suppose 0 = -10*l + l + 819. Let x = 352 + l. Is x composite?
False
Let l(i) be the third derivative of -1/6*i**3 + 0*i + 0 - 3/4*i**4 - 7*i**2. Is l(-16) a composite number?
True
Suppose 96057 = 15*s - 204153. Is s a prime number?
False
Let h(g) be the second derivative of -67/3*g**3 - 3/2*g**2 + 0 + 3*g. Is h(-2) composite?
True
Suppose 6*h = 2*h + 16. Suppose -i = 4*l - 1625, -2*l + h*l = 3*i - 4847. Is ((-4)/(-6))/(14/i) composite?
True
Suppose 60*m - 848615 = 756205. Is m a prime number?
False
Let v = 551 - 546. Let c = 1606 + -824. Let t = c + v. Is t a composite number?
False
Let h(a) = -2270*a - 131. Is h(-2) composite?
False
Let m be (4/(-6))/(5/180). Let s be 16/m*4062/2. Let d = -683 - s. Is d composite?
True
Let w be (1 + 20)*16/(-24). Let v be (-16)/(-24) + (-32)/(-6). Is (-516)/(-21) - v/w a composite number?
True
Suppose 70 = 4*d - 2*c, 2*d + 4*c - c - 39 = 0. Suppose -7*a - d - 10 = 0. Is a/(-14) - 9933/(-49) composite?
True
Let z(n) = n**2 - 9*n + 12. Let w be z(8). Let f be (19 - 1)*((-15)/(-9) + -1). Suppose 5*q = 4*c + 4523, 0 = -0*c + w*c - f. Is q a composite number?
False
Suppose j = 3*j - 1680. Suppose 13*z = 8*z + j. Suppose 0 = -w + 41 + z. Is w composite?
True
Let q(k) = 331*k - 438. Is q(41) composite?
True
Let h(y) = y**2 - 2*y - 1. Let o be h(-12). Let w(a) = -3*a**2 + a - 6. Let n be w(5). Let r = o + n. Is r prime?
False
Let d(a) = 31*a**2 - 8*a + 28. Let n be d(-9). Suppose -n = 10*v - 17*v. Is v composite?
False
Let c(m) = 5982*m**2 + 5*m + 4. Is c(-1) a prime number?
True
Let b be 16/88 + (-134)/11. Is (-464)/b*3/2 a prime number?
False
Let q(u) = 7*u**3 + u**2 - 3*u + 25. Let w be (-1)/(1 + (-35)/30). Is q(w) composite?
True
Suppose -30*z - 240877 = -43*z. Is z a composite number?
True
Let f be -10*3/(-6) - 2. Let n be 2/(f - 51/15). Is n/20 - (-282)/8 composite?
True
Suppose 380 + 340 = 3*s. Suppose -6*g + s = -3*g. Suppose 3*h + g = -2*q + 385, 0 = 3*q - 3*h - 420. Is q a prime number?
False
Let y be 3/36*3 + 145/(-20). Let f(v) = -93*v + 34. Is f(y) prime?
False
Let q = 10411 - 6530. Is q prime?
True
Suppose -39*d + 164470 = -34*d + 5*q, -2*d = -q - 65788. Is d composite?
True
Let a = 2326 - -10891. Is a a composite number?
False
Let o(u) = u**3 + 3*u**2 - 9*u + 1. Let g be o(-4). Is (-7)/g - (-8168)/6 prime?
True
Let r(n) = -2704*n + 157. Is r(-4) composite?
False
Suppose r - 2517 = 4*a, 5448 = -4*r + 5*a + 15560. Is r a composite number?
True
Let d(v) = 3*v**2 - 3*v - 5. Let l be d(-2). Suppose 4*g + 8001 = l*g. Is g composite?
True
Let i = 4779 + 832. Is i composite?
True
Suppose 2*b + 0*g = g + 3, -9 = 3*g. Let t be (b/(-5))/(0 - -2). Is 7 + -7 + 31 + t composite?
False
Let k(v) = -v**3 - 4*v**2 - 3*v + 7961. Is k(0) composite?
True
Let j(t) = 2*t + 28. Let y be j(-9). Is (2 + 0)/(y/2955) a composite number?
True
Let l(a) = -a + 12. Let x be l(9). Suppose c = x - 7. Is -3 + 2 + 148 + c prime?
False
Let s = 4382 - 1251. Is s composite?
True
Suppose -4*z - 13441 = 3*r - 51944, 4*r = -4*z + 51344. Is r composite?
False
Suppose 4*s - 2*w = 17547 + 8111, -32071 = -5*s + 4*w. Is s a prime number?
False
Let k(w) = 38*w + 1 - 10 - 157*w + 0. Is k(-4) a prime number?
True
Suppose 0 = 6*h + 549 - 147. Let x = 406 + h. Is x composite?
True
Let z = 20588 - 5775. Is z prime?
True
Let p(n) = -2*n - 1. Let u be ((-3)/(-3))/((-2)/4). Let r be p(u). Suppose 3*c = 6*z - r*z + 258, -2*z + 437 = 5*c. Is c composite?
True
Suppose -t + 3 = 0, 0 = 3*w - t + 2 + 1. Suppose w = 5*f + 3*g - 1580, 0 = 2*f - 4*g + 74 - 732. Is f a composite number?
True
Suppose 0 = z + 5*y - 37438, -y = 23*z - 28*z + 187320. Is z a composite number?
False
Suppose -5*b + y + 40170 = 0, b + 1422 - 9450 = -y. Is b composite?
True
Let j(z) = -28*z + 51. Let d be j(16). Let n = d + 1336. Is n prime?
False
Let q = 4766 + -3036. Suppose 0 = -2*v + 2*c + q, -v + 0*c = -3*c - 857. Is v prime?
False
Let d(h) = 10 - 2*h - 4*h + 3*h**2 - 4*h**2 + 3*h + 5*h**3. Is d(3) a prime number?
True
Let u be 30/7 + 12/(-42). Let r = 164 + -161. Suppose -r*w - 5*b + 60 = 0, w + u*b = 6*w - 63. Is w a composite number?
True
Suppose -3*v - 4*m - 26 = -6*v, -2*v - 3*m - 11 = 0. Let h(d) be the third derivative of 73*d**4/24 - d**3/2 - 4*d**2. Is h(v) a prime number?
False
Let y(f) = -28*f**3 - 18*f**2 + f - 11. Is y(-9) prime?
False
Suppose -5*l = -19 - 26. Let i = 17 -