 = 30*g + 41. Let z = -65 - -75. Is r(z) a composite number?
True
Suppose 0 = 3*j + 6 - 12. Suppose 4*q = j*q - 1024. Let x = 963 + q. Is x a composite number?
True
Let x(v) = -v**3 - 13*v**2 - 7*v - 43. Let z be x(-12). Suppose 124 = f - d, 0 = -3*f + d + d + 368. Let l = f - z. Is l a prime number?
True
Let n(h) = -h**3 - 13*h**2 - 12*h - 2. Let q be n(-12). Is q - -6 - -125 - -2 a composite number?
False
Suppose 2924 = 2*k + 910. Is k a prime number?
False
Let y(b) = -2*b**2 + 11*b - 3. Let n(a) = a**2 - 4*a + 1. Let g(d) = -8*n(d) - 3*y(d). Let h be g(2). Let r = h + 88. Is r a prime number?
True
Suppose 8*g + 16*g - 249720 = 0. Is g composite?
True
Let w be 3/12 - (-874773)/12. Is 4/(-6) - w/(-42) composite?
True
Suppose -4*i + 5*i = -1. Let b(o) = -809*o. Is b(i) a composite number?
False
Suppose -q - 5128 = -w, -8956 - 6388 = -3*w - 5*q. Is w a prime number?
False
Suppose 145*q - 150*q - 12290 = 0. Let s = 5687 + q. Is s composite?
False
Suppose -36*v + 383192 = -26956. Is v composite?
False
Suppose -158 = -4*k + 5*z, -5*k + z = -0*k - 208. Suppose 5*p = -2*l + 76, -2*l - 4*p - k = -114. Suppose -23*f = -l*f + 385. Is f a prime number?
False
Let k = -764 + 1113. Suppose -p - 109 = 83. Let s = k + p. Is s composite?
False
Let b(q) = -178*q - 3. Suppose 3*z - 16 = -5*m, 8 = -5*z - 5*m + 18. Let h be b(z). Is h/18*(1 - -1) prime?
True
Let d be ((-15)/10)/((-6)/8). Suppose 0 = d*f - f - 798. Suppose -4*u + 3*x = -f, -5*u + 2*x - 29 + 1030 = 0. Is u a composite number?
True
Suppose -457 = 3*z + 500. Let s = 726 + z. Is s a prime number?
False
Let f be 3/(0 - 6/(-8)). Let g = -68 - -71. Suppose 4*v = g*q - 429, 572 = f*q - 0*v + 2*v. Is q prime?
False
Let o be 29/6 + (-1)/(-6). Is 1791/o - (-1)/(-5) composite?
True
Let d(q) = -6*q - 12. Let m be d(-4). Let f(x) = -x**3 + 16*x**2 + 13*x + 17. Is f(m) a composite number?
True
Suppose f - 2*j + 7 = -4*j, 3*f + 15 = -4*j. Is (-3)/4 + -1991*f/4 composite?
True
Suppose 4*s - 5*x + 3*x = -118392, -2*s = -4*x + 59202. Is s/(-15) - (-2)/(-15) composite?
False
Suppose -334 + 74 = -2*l. Is 17*(l + 9/(-3)) prime?
False
Let f = -38 + 24. Let r = -12 - f. Suppose 5*z + 5*h = 380, 1 = -h - r. Is z prime?
True
Suppose -r - 8 = 3*z, 3*r - 5*z = -2*z - 24. Let c(f) = -f**3 + 8*f**2 + 3*f - 2. Is c(r) a prime number?
False
Suppose o + 1 = 2. Suppose 4*p = 3*p + o. Is 11 - -27 - (0 - p) a composite number?
True
Suppose 0 = -5*o + 2*o + 2163. Suppose -4*w + o = -171. Is w composite?
False
Let x(j) = -2*j - 38. Let h be x(-21). Suppose 5*a - 1316 = -4*f, -1356 = -h*f + 4*a + a. Is f a prime number?
False
Let j = 12 + -17. Let q = j + 10. Suppose 0 = -t - 6*x + x + 18, 0 = q*t - x - 220. Is t prime?
True
Let i(y) = 2571*y**2 + 12*y + 29. Is i(-2) prime?
True
Let x = 5968 - 2409. Suppose 3*z = 4*p + x, 4*p - 1700 = -2*z + 686. Is z prime?
False
Suppose 2*d + 281 = 5*o, 4*d = -d - 15. Let s = 129 + o. Let x = 311 - s. Is x prime?
True
Let s = 9 - 5. Suppose -i - 1095 = -s*i. Is i a composite number?
True
Let x = -12 + 17. Suppose 0 = 11*a - x*a - 762. Is a a composite number?
False
Let q = 2988 + -1251. Suppose -3*c + 6*c - 1753 = x, 3*c + 3*x = q. Is c composite?
True
Let g = 1216 + -798. Let i = g - 252. Suppose 4*s - 725 = -b + i, -889 = -4*s - 3*b. Is s a prime number?
True
Let x(p) = 87*p**2 + 4*p - 21. Is x(-12) a composite number?
True
Suppose -5*o + 2 = w, -3*w = -0*w + 4*o - 6. Suppose -w*s + 391 = -187. Is s composite?
True
Suppose 5*p - h = -143, 2*p - 4*p - 60 = h. Let u = p - -187. Is u prime?
False
Let a = 5021 + -3430. Let c = a - 782. Is c a composite number?
False
Let b = -1 - -2. Let c be (-1 - b) + 4 + 23. Is (-4)/10 - (-7985)/c a composite number?
True
Suppose 4566 = 4*b + 5*i, -3*b + 2498 = -3*i - 913. Is b composite?
True
Suppose -12*j + 16*j - 64 = 0. Let v be (12/j)/(1/4). Suppose -3*k + d = -d - 707, 0 = 5*k - v*d - 1177. Is k a composite number?
False
Suppose 0 = -6*w + w + 2680. Suppose 4*s - w = -4*s. Is s composite?
False
Suppose 0 = 11*y - 11806 - 70837. Is y a composite number?
True
Let v be 450/(-20)*188/(-5) + -2. Suppose 6*k = 2*k + v. Is k a composite number?
False
Suppose t + 2 = -3. Let o(z) = 18*z**2 - 7*z. Let c be o(t). Is c/10 + 6/(-4) composite?
False
Let m(a) = -121*a - 326. Is m(-37) composite?
True
Let b(g) = -g**3 - 6*g**2 - g + 7. Let v be b(-6). Let c = v + -11. Suppose f = c*f - 127. Is f composite?
False
Let u = 521 - 2642. Let l = u - -3272. Is l prime?
True
Let f(d) = 340*d**2 - 14*d - 105. Is f(-5) a prime number?
False
Let r(q) be the first derivative of -31/2*q**2 + 11 + 17*q. Is r(-6) a composite number?
True
Suppose -4*g = 5*t - 25, -3*g = 4*t - 2*g - 20. Suppose 8*d = -t*l + 3*d - 10, 2*d + 10 = 0. Suppose -4*z + l*f = -0*z - 256, 4 = f. Is z composite?
False
Let o = 1 + 4. Suppose o*j - j = 136. Is j composite?
True
Let k be -26 + 4*(-3)/(-6). Is k/16 + (-1037)/(-2) a composite number?
True
Let t be (3/(-9)*-6)/((-2)/59). Let n = t - -138. Is n a composite number?
False
Let v(j) = 282*j**2 - 2*j + 2. Let p be v(-2). Let u = p + -427. Is u prime?
False
Suppose -4*q = -4*x - 88, -46 = 2*x + 3*q + 13. Let z be (x/(-10))/((-1)/(-2)). Suppose 892 = z*p + 7. Is p composite?
True
Suppose 4*p = 3*p + 5. Let q = 9 - p. Suppose -u = q*u - 1255. Is u a prime number?
True
Let i(v) = -704*v - 25. Is i(-13) a prime number?
True
Suppose 4*h - 4 = 0, -37*p - 2*h = -33*p - 4606. Is p a prime number?
True
Suppose -4*w + 2*r - 9 = -23, -2*r - 18 = -5*w. Suppose -w*d + 2*d = 3128. Is d/(-16) + 3/(-4) a prime number?
True
Suppose 4*t = 5*t - 657. Suppose 787 = 4*c - t. Suppose -4*i + 3*u + 1363 = -c, 0 = -2*u. Is i a composite number?
False
Suppose 149*q = 145*q + 16. Is 5445/q + 13/(-52) prime?
True
Let j(l) be the third derivative of 3*l**2 + 0*l - 1/30*l**5 - 1/6*l**4 + 1/6*l**3 + 1/30*l**6 + 0. Is j(3) prime?
True
Let y = 19 + -7. Let m = y - 8. Suppose -m*z + 715 = z. Is z composite?
True
Let z be 1/(-1 - 1 - -3)*4. Is -2 + (1649/z - (-9)/12) prime?
False
Suppose -5*z = -7*z + 6. Suppose 349 = 4*m - 5*u, -2*m = -4*m + z*u + 173. Is m prime?
False
Let p be (2/(-3))/(6/(-45)). Suppose -3*u + 127 = r, 0 = -3*r - p*u + 126 + 255. Is r prime?
True
Let j(r) = 3*r + 72. Let o be j(-23). Suppose -16*l + 20059 = -o*l. Is l a prime number?
True
Let d(n) = n**3 + 7*n**2 + 4*n - 10. Let p be d(-6). Suppose p*y = -0*y + 10. Suppose y*b = -253 + 1308. Is b prime?
True
Is 50/(-80)*4 + 615708/8 a prime number?
True
Let t be 18/8 - 4/16. Is 1380/t - (11 - 10) a composite number?
True
Let p be (-6)/10 + 44/(-10). Let x(n) = -20*n**3 + 2*n**2 + 9*n - 2. Is x(p) composite?
False
Let j be ((-4)/6)/(36/108918). Let z = -1394 - j. Is z a prime number?
False
Let x(k) = -16*k - k**3 + 8*k + 8*k - 13*k**2 + 4. Let u be x(-13). Suppose -27 = a - n - 80, 0 = -u*a - 3*n + 247. Is a composite?
True
Let j(w) = 344*w + 1. Let i be j(-1). Let s = -142 - i. Is s prime?
False
Let o be (3 - 1)*(-60)/(-24). Suppose 0 = -5*t + 4*q - 154, 0 = o*t - 3*q + 158. Let h = t - -89. Is h a composite number?
True
Let u = -3 - -5. Suppose -631 = 5*a - 2891. Suppose -4*n + 6*l + 880 = 2*l, -2*n - u*l + a = 0. Is n composite?
False
Let g = 14949 - 8238. Is g a composite number?
True
Let m be (5 - 1)*55/44. Let g = 0 + m. Suppose -3*h + 0*y = -3*y - 240, -g*y + 338 = 4*h. Is h a composite number?
True
Suppose 2*r = 3*r + 4*g - 47229, 2*r - 5*g - 94432 = 0. Is r a composite number?
False
Let y(c) = -295*c**3 - 76*c**2 + c - 1 + 76*c**2. Is y(-2) prime?
True
Let p(b) = 2*b**2 - 6. Let o be p(2). Suppose -2*j + 1838 = 5*u, 482 + 1356 = o*j - 3*u. Is j a composite number?
False
Let z(d) = 3*d**2 - 8*d + d + 6*d + 3*d + d**3. Let y be z(-2). Suppose y = -4*m - 3*p + 127, p + 77 = 2*m + 16. Is m a prime number?
True
Suppose 0*i = -2*i + 526. Suppose 2*q = -5*m + 711 + 553, m - i = 3*q. Is m a composite number?
True
Let z = 4 - 3. Let u(r) = 8*r - 4. Let h be u(z). Is 15/30 + 2490/h a composite number?
True
Let z(b) = 426*b**2 - 9*b + 23. Suppose -5*t - j = -25, 0 = 4*t - j - 0*j - 11. Is z(t) composite?
False
Suppose 0 = 5*w + 4*c - 28, -2*w = -2*c + 7*c - 1. Let o(v) = 61*v**2 - 14*v - 5. Is o(w) a composite number?
True
Let g = -23528 + 59737. Is g composite?
False
Let l(i) = 10*i**2 + 13*i + 1. Let b be l(4). Suppose -2*h 