-9)/(126/(-4)) + 16768/14 prime?
False
Let z(t) = -15*t**2 + 2*t - 1. Let x be z(1). Is (-1782)/x + (-12)/42 a composite number?
False
Let h(x) = -x**2 + 8*x + 2. Let o be h(8). Let r(t) = 4*t**o - t**3 - 9 + 2*t + 2*t**2 + 0*t. Is r(6) a prime number?
True
Let x(l) = -l**3 - 4*l**2 + 6. Suppose -5*a - 23 = -0*a - t, 4*a + 4*t = -28. Is x(a) a prime number?
True
Let z = -43 - -122. Let p = z + -48. Is p a composite number?
False
Let z(b) = -867*b**3 - b**2 + 2*b + 1. Is z(-1) composite?
True
Let d(j) = -626*j + 1. Let t be d(-1). Suppose 5*v = t - 37. Is v composite?
True
Let f = 18 - -23. Suppose 5*m - f = 2*y, -y = -4*m + 2 + 29. Let w(d) = 4*d + 6. Is w(m) a composite number?
True
Suppose -2*m - 3*j = -18, 0*j + 14 = 2*m + 2*j. Let n(i) = -i + 234. Let l be n(0). Suppose -3*c = -5*r - 222, 2*r = -m*c + 3*r + l. Is c composite?
False
Let v(f) be the first derivative of -f**3/3 - 3*f**2/2 + 3*f + 2. Let n be v(-5). Let h = n - -90. Is h a prime number?
True
Suppose -2123 = -2*j + 2*d + 5, -5*j = -4*d - 5325. Is j a prime number?
True
Let k(r) = 3*r - 3. Let q be k(1). Suppose -v + f + 271 = q, -709 = -5*v + f + 630. Is v a prime number?
False
Let c(n) = n**2 + 2*n - 18. Is c(-17) a prime number?
False
Let g = -6 - -8. Suppose -3*l - 243 = c + g*l, -5*c = -2*l + 1161. Is (-4)/(-10) - c/5 prime?
True
Suppose -5*l - g = -15, 0 = -2*l - 0*g + 3*g - 11. Suppose 5*q = -l*w + w + 43, 4*w - 222 = 5*q. Is w prime?
True
Suppose 2*u + 3*u = 5. Is (-362)/8*-4*u prime?
True
Let u(h) = -43*h - 5. Let p be u(-2). Let s = 160 - p. Is s composite?
False
Suppose -3*r + 13 = 2*q, 3*r - 2 + 1 = 4*q. Suppose 0 = -w - r + 8. Suppose 75 = 2*m + w. Is m prime?
False
Let m(i) be the first derivative of -i**3/3 + 9*i**2 - 13*i - 1. Let o be m(9). Is ((-7)/4)/((-1)/o) a composite number?
True
Suppose -c = -4*c + 465. Is c prime?
False
Suppose 5*j + 3*z - 688 = -0*z, -413 = -3*j - 2*z. Let f = j + -61. Suppose 0*n + 4*n - f = 0. Is n composite?
False
Let s be 1 + (1 - 2) - -2. Is s/(-9) + (-3925)/(-45) a prime number?
False
Suppose -5*i - 3*r = 44, 0*r + 22 = -4*i + 2*r. Let s(j) = j**2 - 10. Is s(i) a composite number?
True
Let q = 330 + -111. Is q composite?
True
Suppose 6*l + 963 = 9*l. Is l prime?
False
Let k = 48 + -32. Suppose -3*o + 76 = r + 17, r + o = 63. Let f = r - k. Is f composite?
True
Is 371 - (4 - (-3 - -7)) composite?
True
Let h = 498 + 116. Is h prime?
False
Suppose 5*c = 4*l + 1715, -5*c - 6*l = -2*l - 1755. Is c composite?
False
Let b(c) = 20*c**2 + 3*c - 1. Is b(-6) composite?
False
Let w = 784 + -402. Is w a composite number?
True
Let l be 2/12 - (-34)/12. Suppose 9*z - 3*b - 81 = 4*z, -41 = -l*z - 2*b. Is (-6)/z - 267/(-5) composite?
False
Let u(j) = 4*j**3 - 4*j**2 - 11*j + 3. Let m(y) = y**3 - y. Let b(a) = 5*m(a) - u(a). Is b(4) composite?
False
Let j = 6 - 2. Suppose j = d + 2. Suppose -y = -4*p - 6*y + 94, -5*y = d*p - 52. Is p a prime number?
False
Suppose 4*l = -l - 2*x + 888, -4*l = -x - 700. Let b = l + -121. Is b prime?
False
Let t = 148 + 11. Is t composite?
True
Suppose -4*j - 5*x + 1398 = 0, 7*j - 4*j - 1043 = -x. Is j a prime number?
True
Let n(d) = -5*d**3 + 5*d**2 + 23*d. Let l(y) = 2*y**3 - 2*y**2 - 8*y. Let a(f) = -17*l(f) - 6*n(f). Let s be a(2). Let q = s + 75. Is q a prime number?
False
Let g be 0/4*(1 - 0). Suppose g = 6*v - 2*v - 2*o + 26, -4*o = -5*v - 25. Let s(a) = -8*a + 7. Is s(v) a prime number?
True
Let t = 4 + -3. Let s = t - -2. Suppose -5*q + k + 315 = s*k, -3*q = k - 190. Is q composite?
True
Let j(h) = -h - 7. Let x be j(-9). Let z be -1*x*1 + 11. Let r = z - -12. Is r a composite number?
True
Let v = -149 - -23. Let t = -87 - v. Is t a composite number?
True
Suppose 3*w - x = -4*x + 63, -w = 4*x - 30. Let f = w - 12. Is f composite?
True
Let y(v) be the second derivative of -7*v**3/2 + v. Let q be y(-5). Let f = 268 - q. Is f prime?
True
Suppose o = 2*y - 8642, -4*o = -2*y - 9*o + 8618. Is y composite?
True
Let v = 2 + 0. Suppose -2*a = 0, 0 = 7*b - v*b + 5*a. Suppose b*g + 39 = 3*g. Is g prime?
True
Let o(y) = 2*y**2 + 7*y + 1. Let i be o(-6). Let v = i + -11. Let a = -5 + v. Is a prime?
False
Suppose 4*d + 134 + 482 = 0. Let h = 540 + -295. Let k = d + h. Is k a prime number?
False
Suppose 4*z = 9 - 1. Let f(c) = -c**3 - 2*c**2 - 2*c + 1. Let j be f(z). Let p = j - -41. Is p prime?
False
Let u = -34 + 8. Let c = u + 46. Suppose c + 18 = 2*b. Is b composite?
False
Let w(p) = p - 1. Let l be (-2)/6 - (-10)/3. Suppose -l*z + z = -8. Is w(z) prime?
True
Suppose 0*m = -3*m - 6, 4*a - m = 1782. Suppose 0*t = -5*t + a. Is t composite?
False
Suppose -651 = -3*q + 300. Is q prime?
True
Let k be (-742)/(-21) + 2/3. Let v(y) = -y**2 - 10*y - 10. Let s be v(-9). Let i = k + s. Is i prime?
False
Suppose 0 = 4*j - 8. Suppose 0 = -i - j*i. Suppose i = -p - 5*v + 31, -2*v + 3*v = 4. Is p composite?
False
Let m(s) = 48*s**2 + 2*s + 3. Let t(i) = i + 6. Let f be t(-8). Is m(f) composite?
False
Let d = 1 + 5. Let u be (3/(-2))/(d/(-20)). Suppose -91 = 2*a - 4*a - u*k, 2*a = -4*k + 94. Is a prime?
True
Suppose 4*g = -g + 140. Suppose -5*a = -g - 47. Suppose -2*c + c + a = 0. Is c a prime number?
False
Let w be -3 + (181 - (1 + 2)). Suppose -4*k - 27 + w = 0. Is k a prime number?
True
Suppose 0 = 2*w - 4 - 0. Suppose -3*p - 343 = w*s - 1724, -442 = -p + 3*s. Is p a prime number?
True
Let d = 144 - 113. Is d prime?
True
Suppose -y + 4*m = 4*y - 4, 5*m + 5 = 0. Suppose 2*c - 6*c + 1636 = y. Is c a prime number?
True
Let l(j) = -17*j. Is l(-2) composite?
True
Let s(c) = c**3 - 8*c**2 - 2*c + 3. Let d be s(7). Suppose 198 + 267 = -5*y. Let w = d - y. Is w a prime number?
False
Is ((-517)/(-4))/((-3)/(-12)) prime?
False
Let x(o) = 2*o**2 - o - 2. Let j be x(14). Let t = 1053 - j. Is t a prime number?
True
Let r(d) = -2*d. Let j(n) = -n**2 - 9*n - 5. Let a be j(-9). Is r(a) a composite number?
True
Suppose 4*w - 904 = 3*l, -4*l = -5*w - 2*l + 1130. Is w a composite number?
True
Suppose -5*f = -x - 0*x - 6459, 3*x = -4*f + 5152. Is f composite?
False
Let m(f) = 51*f + 11. Is m(2) prime?
True
Suppose -4*c - w - w = -706, 5*w = -3*c + 526. Is c prime?
False
Suppose 0 = 9*t - 13*t + 5860. Is t a prime number?
False
Let a(l) = -l**3 - 6*l**2 - 4*l - 2. Let f be a(-2). Let g = f + 13. Suppose g*s - 60 = 135. Is s composite?
True
Suppose -5 = -4*d + v + 7, 0 = 2*v. Suppose -3*r + 5*a = 2 + 4, 5*r - a = 12. Suppose d*y = 4*g - 0*y - 523, 384 = r*g - 5*y. Is g a prime number?
False
Suppose -123 = -5*t + 2*j, 4*t - 2*j - 100 = -0*j. Is t composite?
False
Let a = 20 + -15. Suppose -n - 87 = -l, -4*n + 427 = a*l - 5*n. Is l a prime number?
False
Let u = 25 + 7. Suppose 0*s = -4*s + 4*v + u, 5*v = s - 24. Suppose s*n - 460 = -0*n. Is n prime?
False
Suppose 0 = 4*c - 3*l - 2*l - 5885, -5*l = 25. Is c prime?
False
Let w = 1 + 0. Suppose -g - 5*b - 3 = w, 4 = -4*b. Is (g - (-6)/(-4))*-14 prime?
True
Suppose g = -4*g + 510. Suppose o = 2*t - 104, 2*t - g = 3*o - o. Is t a prime number?
True
Let x be (-9)/(-6)*6*19. Suppose -x = 3*a + 201. Let j = a + 201. Is j a composite number?
True
Suppose 347 = 5*d + 3*u, -d + u - 6*u + 87 = 0. Is d prime?
True
Suppose -65 = -2*t - 2*f + 297, 2*t - f - 356 = 0. Is t prime?
True
Let g = 3331 + -1866. Is g composite?
True
Let z = 829 - 492. Let m = z + -231. Is m composite?
True
Let n(t) = t**3 - 17*t**2 + 15*t + 11. Is n(20) a prime number?
True
Suppose 3*n = 7 - 19. Let a be 178/((10/n)/(-5)). Suppose 0 = -2*z - 2*z + a. Is z a composite number?
False
Suppose 0 = -q + h + 2, -2*h + 5*h - 15 = 0. Let b = 5 - q. Is (b/(-3))/(6/225) a composite number?
True
Suppose -12 = 4*d - d. Let y = 6 + d. Is 12/y - 1/(-1) composite?
False
Let n be 2/(-6)*-3 - -968. Suppose -n = -3*p - 207. Is p a prime number?
False
Let w(t) = -145*t + 2. Is w(-21) prime?
False
Suppose 6*s = 2*s + 4, -b + s = 7. Let d = -2 - b. Suppose 0*f + 314 = 4*y + 3*f, y + d*f = 85. Is y a composite number?
True
Let c(s) = 41*s**2 - 3*s - 5. Let x(w) = -20*w**2 + w + 2. Suppose -g - g = 5*p + 5, 23 = -5*g - 2*p. Let y(a) = g*x(a) - 2*c(a). Is y(1) composite?
False
Let h(t) = t**2 + 5*t - 3. Let o = 1 - 7. Let a be h(o). Is a/(2 - 42/22) a prime number?
False
Suppose -14*i - 1122 = -20*i. Is i a composite number?
True
Let j(h) = 22*h**2 + 10*h + 17. Is 