= w - j. Is t a composite number?
True
Let w(h) = h**2 + h - 51. Let a be w(23). Let m = a - -2852. Is m a composite number?
True
Let u = 7 + -4. Suppose -x + 32 = 4*v, 5 + u = -4*v. Is (-6)/2 - (3 - x) prime?
False
Let d be 5/3 - (-9)/27. Suppose -d*t = -3*t + 91. Suppose 0 = -2*g + 4*k + 142, 2*g - 3*g + t = 3*k. Is g composite?
False
Let r be 39/65 - (-32)/5. Let k be r*(-1 + 0)*-1. Suppose 6*g + 7 = k*g. Is g prime?
True
Let i(n) = -185*n**3 + 15*n**2 + 5. Is i(-4) composite?
True
Let c be -5*(2 + 2 - 2). Let n be ((-8)/c)/((-14)/17185). Let a = n + 1449. Is a prime?
True
Let s be (0 - (-6)/5)/(4/10). Let f = 304 + 2354. Suppose 4*a - 4432 = -a - s*q, 0 = 3*a + 3*q - f. Is a prime?
True
Suppose 5*u = -4*w + 238, 5*u - 5*w + 3*w - 226 = 0. Let x = 26 + u. Suppose x = -f + 229. Is f composite?
False
Let y(b) = -8*b**2 + 2*b**3 - 4*b**3 - 7*b - 1 - 3 - b. Let n be y(-5). Let u = 75 + n. Is u a composite number?
True
Suppose -709 = -r - 4*g, 4*g = -4*r + r + 2111. Is r composite?
False
Suppose -43*i = -49*i + 15114. Is i a prime number?
False
Let p(l) = 23*l**2 - 2 - 1 - 12*l - 5. Let v be p(-8). Suppose -5*j = 4*d - 486 - 2107, d - v = -3*j. Is j a prime number?
True
Suppose -4*x + p + 10 = 0, -2*x + p - 2*p = -2. Suppose w = x*o, -4*o - 2*w = -o. Let i(d) = d**2 + d + 623. Is i(o) composite?
True
Let g(v) = 17*v. Suppose 9*b = 3*b + 18. Is g(b) a prime number?
False
Is (0 - -1)/(-11*12/(-1025508)) a prime number?
False
Let t be 1/(0 - 1/7). Let i be (-9 - t)*2054/(-4). Suppose -106 = 3*u - i. Is u a composite number?
False
Let j = 14 + -14. Let d be (j + (-4)/(-6))*255. Suppose d + 137 = a. Is a prime?
True
Suppose -15177 = -4*y - n + 6*n, n - 3792 = -y. Is y composite?
False
Let d(t) = 337*t**2 - 16*t - 13. Let y be d(12). Suppose 0 = -5*i + 16*i - y. Is i a composite number?
True
Let l = 40604 - 23743. Is l prime?
False
Suppose -3*p + 2*g = 1 + 3, -4*g = -p - 18. Suppose 3 = 2*x - x, 2*f - 108 = p*x. Suppose -f = -3*n - 0*n. Is n prime?
True
Let l(n) = 3*n**2 + 2*n. Suppose -q = j + j + 15, 5*q + 45 = -5*j. Let k = j - -3. Is l(k) composite?
True
Let o(r) = r + 11. Let k be o(-5). Let z(x) = -x**2 + 7*x - 2. Let l be z(k). Is 4608/80 + l/10 a prime number?
False
Let g(m) = -2*m - 7. Let q be g(-6). Suppose -q*u - 3*w + 1165 = 0, u - 233 = -5*w + w. Is u a composite number?
False
Suppose 5*p + t = -16, 4 = t - 0*t. Suppose -f = -6*f + 115. Let x = f + p. Is x prime?
True
Let w(o) = -o**3 + 12*o**2 - 17*o + 47. Is w(-17) composite?
True
Let w = -27 + 48. Suppose 238 = m - w. Is m prime?
False
Let p(d) = -84*d - 2. Let j be p(-2). Let y = -83 + j. Is y a composite number?
False
Let w be -2 - 1/((-2)/6). Let b be (-8 + (1 - -2))*w. Let x = b - -19. Is x prime?
False
Is 88328/20 + (-6)/(-10) a prime number?
False
Let v(y) = y**2 + 2*y - 4. Let a be v(-6). Suppose -3*m + 12 = 2*s, -s - s = m - a. Suppose -11*u - 485 = -s*u. Is u a composite number?
True
Suppose -50 = 5*l + 35. Let c = -13 - l. Let r(n) = 15*n - 3. Is r(c) a prime number?
False
Let u(g) = 804*g**2 + 14*g - 27. Is u(2) composite?
False
Let k(a) = -180*a - 14. Is k(-22) a prime number?
False
Let y = 14 + -12. Suppose -5*x + y*u = 0, -2*u = -x - u - 3. Suppose d + x*d - 129 = 0. Is d a composite number?
False
Suppose -4*g + 5*b = 2*b - 26, 0 = 4*g - b - 22. Suppose -4*p - 22 = 5*n, g*n - 3*n + 7 = -p. Is (118/4)/(p/(-42)) composite?
True
Let t be 5/(-10) - 17/(-2). Suppose t = -l - 0*l. Is (l/(-6))/((-6)/(-369)) composite?
True
Let b be 2*3 + (4 + -3 - 0). Suppose -b*c + 16219 = -0*c. Is c a prime number?
False
Suppose -7*f - 4*c - 186200 = -11*f, f - 46568 = -5*c. Is f composite?
True
Suppose 57207 = 5*m - h, 5*m + 3*h = 8*m - 34329. Is m composite?
True
Suppose 16 = 4*t, -5*n - 3*t + 2404 = -1103. Let s = n + -1397. Is 12/(2 + 2) - s a prime number?
True
Let k(a) = 550*a - 27. Let j be k(-6). Let z = -1000 - j. Is z a prime number?
False
Suppose 0 = 4*c - 5*b - 10843, 2*b = 2*c - 3*c + 2701. Is c a composite number?
False
Is -1 + 0 + 13826 + 4 a prime number?
True
Suppose 0 = 5*c - y + 488, -200 = -2*c + 4*c - 2*y. Let n = 144 + c. Is n prime?
True
Let d be (-1 + 2435)/(0/(-2) + 2). Suppose 4227 = 4*a - d. Is a a composite number?
False
Let n(y) = y**3 + 17*y**2 - 19*y - 16. Let x be n(-18). Let w(j) = 85*j - 102*j - 104*j - 1 + x. Is w(-1) a prime number?
False
Suppose -440 - 82 = -q. Let t be (q/6)/(1 + 0). Suppose 3*s - 51 = t. Is s prime?
False
Let r = -420 + 265. Let u = -89 - r. Let k = u - -47. Is k a prime number?
True
Let y = -970 - -2121. Is y prime?
True
Suppose 25 = 5*m - 5*r, 0 = 4*m - 3*r - 11 - 9. Suppose 2*y + 1335 = 2*w + w, -m*y = -w + 458. Let b = w - 294. Is b a composite number?
False
Let f = -1695 - -4592. Is f a composite number?
False
Suppose 3*k = 8*k + 23205. Let b = -2572 - k. Is b prime?
True
Let m be (-3)/21 - (-3)/21. Suppose 59 = 5*y - 3*c, m*c - 22 = -y + 4*c. Suppose 4*i = -2*x + 111 + 105, y = -5*x. Is i a composite number?
True
Suppose -4*n + 560 + 3696 = 4*o, -2*n = 4*o - 2118. Is n composite?
False
Let g(d) = -57*d + 2*d + 5 - 12*d. Is g(-8) prime?
True
Let c = 67 + -62. Is 22*c/((-50)/(-295)) composite?
True
Let z(g) = 10*g + 5. Suppose -c = -2*c + 8. Suppose -5*m + 2*f = -21, m = -m + f + c. Is z(m) a prime number?
False
Let z(d) be the first derivative of 11*d**4/2 - 3*d**3 + d**2/2 - 9*d + 9. Is z(4) composite?
False
Suppose 2*j + 5*r - 120 = 0, 104*j = 103*j - 5*r + 65. Is j a prime number?
False
Let p(a) = a**2 - a. Let s be p(0). Suppose s = -5*z - f + 6 + 7, 1 = z + f. Suppose -5*y + 148 = -z*y. Is y a prime number?
False
Let t(g) = -108*g - 13. Let r be t(-7). Is r*(20/4 - 4) a composite number?
False
Let m be 21135/10*(-20)/(-6). Suppose 9*h = 14*h - m. Is h a prime number?
True
Let i be 0/1 + -1 + 1. Suppose i = -3*q - 2*q + 295. Is q a prime number?
True
Let c = 9 - 6. Suppose -3548 = -c*g + 175. Is g prime?
False
Suppose 5*h + 4*b + 157 = 0, 3*b = 4*h + 6*b + 125. Let l = 32 + h. Suppose -4 = j + j, 2419 = l*t + 4*j. Is t a prime number?
True
Let a = 14 - -2. Suppose -4*s - a = 0, -18 = 4*l + l + 2*s. Is (-1835 - 7)*1/l a composite number?
True
Suppose -4*w + 13 = -3. Suppose 0*l - 524 = -w*l. Suppose l = n - 2*r, -2*n + 3*r + 267 = -2*r. Is n a prime number?
False
Let m(n) = -47180*n - 53. Is m(-2) a prime number?
True
Suppose y - 201 = -4*o, -1250 = -4*y - 3*o - 394. Is y a composite number?
True
Suppose -2*t + z + 2*z + 2038 = 0, -4120 = -4*t - 5*z. Suppose -s - t = -6*s. Is s prime?
False
Suppose 6*v - 10860 = 5568. Suppose -7*a = -v + 589. Is a composite?
False
Suppose 3*j + 20 = 7*j. Is (-1030)/(-4)*10/j prime?
False
Let a be (-666)/90 - 3/5. Is ((-5)/2)/(a/368) prime?
False
Let o = 5542 - 3209. Is o prime?
True
Let k(m) = 0*m**2 - m**2 + 0*m**3 + 3*m**3 - 2*m**3 + m. Let c be k(0). Suppose c = -2*n - n + 2037. Is n a composite number?
True
Let u(f) = -f**3 + 47*f**2 - 100*f - 3. Is u(44) a prime number?
False
Suppose 33*v - 424952 + 145607 = 0. Is v prime?
False
Let j be (-422)/3*(-15)/(-10). Suppose -5*s = b + 721, -3*b + 134 + 295 = -3*s. Let q = s - j. Is q a composite number?
False
Let u = 880 - 626. Is u a prime number?
False
Let h be (1 + -1)*(1 + 0). Let s(k) be the third derivative of -k**6/120 + k**5/60 + 139*k**3/6 - 147*k**2 - 1. Is s(h) composite?
False
Let g(s) be the second derivative of s**6/360 - 7*s**5/120 - 11*s**4/24 + 5*s**3/6 - 4*s. Let c(b) be the second derivative of g(b). Is c(9) composite?
False
Let i(z) = 2774*z**2 - 20*z + 19. Is i(1) a prime number?
False
Let w(n) = -n**3 + 4*n**2 + 3*n - 7. Let c be w(4). Suppose -c*z + 1708 = -z. Is z a prime number?
False
Let m(n) = n**2 - 6*n - 10. Let a(z) = 4*z**2 - 17*z - 29. Let s(u) = 3*a(u) - 8*m(u). Let f = 70 + -64. Is s(f) a prime number?
False
Suppose 121*z + 35347 = 134*z. Is z a composite number?
False
Let i(s) = s**3 + 35*s**2 - 37*s + 78. Is i(-35) a prime number?
True
Let i(h) = -h**2 + 4*h. Let g be i(3). Is 3/2*(112/g - 2) a prime number?
True
Let c(d) = -21*d**2 + 29*d + 3. Let v(y) = -7*y**2 + 10*y + 1. Let s(u) = -6*c(u) + 17*v(u). Suppose 14*g + 23 + 19 = 0. Is s(g) prime?
False
Let z = -27 - -38. Suppose -9*u = -z*u + 38. Suppose -u = -r + 4. Is r prime?
True
Let z = -48 + 50. Let t(w) = 25*w**2 - 2*w + 1. Is t(z) a prime number?
Tru