-7*x. Suppose 2*u = 4*r - 3*r + 255, -3*r = -5*u + 764. Let l = x - r. Is l a composite number?
True
Suppose 2*t = -4*p - 1378, -p + 4*p + 4*t = -1031. Let y = p - -490. Let r = y - 39. Is r a prime number?
False
Is 2*(5527951/174 + 2/3) prime?
True
Suppose a = 3*k - 23, 3*k - 2*k - 2*a - 6 = 0. Suppose -k*b = b - 2151. Is b prime?
True
Let b(c) be the third derivative of -5/6*c**3 - 1/3*c**4 + 0*c + 3*c**2 + 0. Is b(-5) composite?
True
Let h = -8 - -31. Suppose 2*y - 4*t - h = t, -2*y = 2*t - 2. Suppose -4 = j, j + 3 + 765 = y*o. Is o prime?
True
Suppose -23*f + 54331 = -16716. Is f a prime number?
True
Let g(d) = d**2 - 16*d - 71. Is g(-32) composite?
True
Is (-69731)/(-7) - 76/133 a prime number?
False
Let i(b) = b**2 + 8*b + 4. Let s be i(-6). Is (-3514)/(-8) - (-2)/s a prime number?
True
Suppose 0 = 4*w + 2 - 22. Suppose 0 = 3*l + w*k - 4*k - 6, 3*k + 9 = 0. Suppose o + l*o = 596. Is o composite?
False
Let w = 67 + -65. Suppose w*i - 504 = 158. Is i a prime number?
True
Let b(o) = 100*o - 13. Suppose -4*y = -4*n + 6 - 22, -4*y + 25 = 5*n. Is b(y) a prime number?
True
Suppose 5440 = 2*w - 4*a, -2*w + a = -4*a - 5439. Is 3/(-6)*(0 - w) composite?
False
Let o(j) = -118*j**3 + 2*j**2 - j - 1. Let s be o(1). Is 4*(s/(-4) - 3) a prime number?
False
Let f(i) = -7*i**3 - 11*i**2 + 3*i + 1. Let s(y) = -13*y**3 - 21*y**2 + 7*y + 1. Let c(a) = 5*f(a) - 2*s(a). Is c(-6) a prime number?
False
Let m be 991/(-1 - (-12)/10). Suppose n - 2*n = -m. Suppose -5*q = -4*u - n, 0*q - q - 2*u = -991. Is q a prime number?
True
Let b be -7*(3 - 6) + -3. Let a(n) = 30*n + 23. Is a(b) a prime number?
True
Suppose 57*z = 65*z - 15784. Is z composite?
False
Let x = 630 - -703. Is x composite?
True
Let n(l) = 5*l + 1 + 2*l - 2*l - 3*l - l**2. Let o be n(2). Is (-9444)/(-24)*(o - -1) prime?
True
Let q(w) = -w**3 - 15*w**2 + 32*w + 271. Is q(-35) composite?
True
Let u(a) be the second derivative of 161/6*a**3 + 0 - a + 0*a**2. Is u(1) a composite number?
True
Let w be 57/12 - 1/(-4). Suppose w*i - i = -552. Let p = i - -1017. Is p a composite number?
True
Let y = -231 + 438. Suppose 0*b + 104 = 2*b. Suppose 4*t - 2*d - 3*d = y, t - b = d. Is t a composite number?
False
Suppose -l + 2*l = -23. Let w = l + 26. Suppose x = 2*x + w*y - 2396, -3*x - y = -7180. Is x a prime number?
True
Let y be (37 + -23)/((-3)/((-27)/(-2))). Let l = y - -370. Is l a composite number?
False
Let q = 1 + -1. Let c = 3 - q. Suppose -2*a = 2*p - 384, -a - c*p = -139 - 55. Is a a prime number?
True
Is 1/2 - (-567849)/58 prime?
True
Suppose 0 = 4*f + 3*k - 11863 + 581, -5*f + k = -14093. Is f a composite number?
False
Suppose 132*u - 136*u + 15172 = 0. Is u composite?
False
Suppose 5*y + 0*t = -4*t + 29, -5*t - 20 = -5*y. Suppose y*b - 56 + 1 = 0. Is b a prime number?
True
Let p = -23 + 25. Suppose 4*g - 1037 = -p*j + 5*g, -5*j = -g - 2594. Is j composite?
True
Is (-930498)/(-58) - 2/29 composite?
True
Suppose t + 1 = 5. Suppose -t*a - d + 1180 = 3*d, 4*a - 1204 = 2*d. Is a a composite number?
True
Suppose 22*w = -12*w + 326026. Is w a prime number?
False
Let d(q) = q**3 + 21*q**2 + 4*q - 15. Is d(-11) a composite number?
False
Let h be (1 - 3)/(2/(-4)). Let r(m) = m**2 - 4*m + 2. Let j be r(h). Suppose 3*g - j*t - 493 = 0, -g - 4 = 2*t - 179. Is g a composite number?
False
Let k be ((-20)/6 - -4) + (-2)/3. Suppose k = -4*g - v + 267, 2*g - 4*v + 20 = 158. Is g composite?
False
Suppose -5*x - 7*d + 14 = -3*d, 2*x - 3 = d. Suppose 2*i + 2*r - 660 = 0, -x*r - 661 = -2*i - 3*r. Is i a composite number?
False
Let y = -7 + 11. Suppose m - y = 1. Suppose 0 = m*k - 221 - 174. Is k prime?
True
Let t = -25 - -29. Suppose t*o - 314 = s, 128 = 4*o - 3*s - 182. Is o prime?
True
Let r be (5/(10/(-4)))/(-2). Suppose 4*w - 3*y = -r + 4, -1 = -w + y. Let k = w + 19. Is k a composite number?
False
Let i be (3 - 2 - 1) + -1. Let z be (i - 4/(-8))*-28. Suppose 9*w = z*w - 325. Is w a prime number?
False
Suppose 12*u = -17*u + 153091. Is u a prime number?
True
Let w(r) be the second derivative of r**5/20 + r**4/6 + r**3 + 8*r**2 + 2*r. Is w(7) composite?
False
Let q = 18 + -39. Let w = 26 + q. Suppose -w*x + 181 = -204. Is x composite?
True
Let o(y) = 18*y - 1. Let r = 17 + 7. Suppose 4*l = -8*z + 4*z + r, 0 = -5*l - 3*z + 28. Is o(l) a prime number?
True
Suppose -4*b + 3 = -5. Let c(r) = -22*r**2 - 4*r + 2 + 27*r**b + 5*r**3 - r. Is c(4) prime?
False
Suppose -5*k - 5*r = -5, -2*k + 0*r + r + 11 = 0. Suppose -1013 = -k*a + 4*h - h, -3*h = 9. Is a prime?
True
Let b be (-32)/8 - (-6 - -2). Suppose 4*y - 5*i + 1000 = b, 3*y = -3*i - 517 - 233. Let x = -159 - y. Is x a composite number?
True
Let x = 18376 - 10883. Is x composite?
True
Is (5 + -6)/((-7)/31577) prime?
False
Suppose 0*t = 6*t - 0*t. Suppose 4*b - 16 + 4 = t, 4*b = -l + 1303. Is l composite?
False
Suppose -4*j + 3025 = -5*j. Let v = j - -4938. Is v a composite number?
False
Let n(c) = -2*c**3 + c**2 - 6. Suppose 3*b = -5*i + 44, -2*i + 5 = -3. Let f be n(b). Let k = 1411 + f. Is k a prime number?
False
Suppose -2*l - 3*u - 3 = -l, 0 = l - 5*u - 13. Suppose 4*x - 5*b = 4431, 2*b + 1104 = -2*x + l*x. Is (x/4)/(1/2) prime?
True
Suppose 121 = -2*f - 51. Let i = f + 204. Is i a composite number?
True
Suppose 3*g = y + y - 56008, 3*g = 5*y - 140011. Is y a prime number?
True
Let s(l) = l**2 - 10*l - 7. Let r be s(9). Let p = -11 - r. Suppose -96 = -o - p*j - 30, 2*j + 10 = 0. Is o composite?
True
Let v = -14 - -12. Let w be 299/(-2)*v/1. Let h = w - 97. Is h prime?
False
Let f be -3 - (-30 - (-3)/3). Let s = -16 + f. Let d = 19 - s. Is d prime?
False
Let k(r) = 2*r**2 + r - 4. Let c be k(-2). Let y be (1/c)/((-4)/24). Is (46/y)/((-2)/3) prime?
True
Let d = 29 - 24. Suppose -3855 = -d*y - 5*i, 2*y - 4*i = -2*i + 1558. Suppose 3*p - 4*m = y, 4*p - 3*m - 1032 = 2*m. Is p prime?
False
Suppose -20*j = -11271 - 6389. Is j composite?
False
Suppose 25 = -2*j + 19, 0 = 4*c - 4*j - 17048. Is c prime?
True
Let g = 19 + -15. Suppose g*t - 5 = 3. Suppose -30 = 3*y - h - 1013, -t*h + 1324 = 4*y. Is y composite?
True
Let j be 4*(8/4)/8*3. Is (-224)/(-3) + j + 4/(-6) a prime number?
False
Let t(p) = 2*p**2 + p + 2. Let a(k) = -8*k**2 - 4*k - 9. Let i(g) = 2*a(g) + 9*t(g). Suppose -4*v = -8*v - 12. Is i(v) prime?
False
Suppose 2*s - 22 = -0*s. Let v = s + -6. Suppose -2*b + 1891 = v*q, 0 = -3*b + q - 0*q + 2862. Is b a prime number?
True
Suppose -34735 = -h + w, -4*h + w + 93332 = -45608. Is h a prime number?
False
Suppose 5*l + g = -89, -g + 1 = -l - 18. Let b(c) = -42*c - 43. Is b(l) a composite number?
True
Is 7283*(4 + 15/(-5))*1 a prime number?
True
Let v be 56/14*6/8. Suppose 10 = -v*q + 8*q. Is (1*q)/((-16)/(-1016)) prime?
True
Let d(u) = -u**3 + 7*u**2 + u - 2. Let x be d(7). Let q(i) = 4*i**2 + 6. Let r be q(5). Suppose -r + 636 = x*w. Is w composite?
True
Suppose 0 = -8*i - 10065 + 91817. Is i prime?
False
Let a be 105/(-2)*(-1 - 1). Let k be (-60)/8*(-4)/6. Suppose k = 2*y - a. Is y composite?
True
Let i(j) = -12*j**2 + 7*j. Let w(y) = -6*y**2 + 4*y. Let q(p) = 3*i(p) - 5*w(p). Let v be q(1). Is (-1)/v - 1902/(-15) prime?
True
Suppose -12597 = 5*d - 353902. Is d composite?
False
Suppose -5*p + 14 + 11 = 0. Suppose 0 = p*i - 4*b - 24, i - 13 = -i + 5*b. Suppose -i*y = -0*w - w - 15, -y = -4*w - 15. Is y a prime number?
True
Let y(o) = 44*o**2 + 2*o - 11. Suppose 0 = x - 2*d + 14 + 14, 140 = -5*x - 4*d. Let h = x + 22. Is y(h) a composite number?
True
Suppose -7*x + 4686 = -1901. Is x a composite number?
False
Let p(y) = 1246*y**2 + 11*y - 21. Is p(4) prime?
False
Let t(a) be the third derivative of -3/2*a**3 - 2*a**2 - 1/60*a**5 + 0 + 7/24*a**4 + 0*a. Is t(4) prime?
True
Let f be (1 - 4)*(26 - -342). Let j = -583 - f. Is j a prime number?
True
Suppose -116*w + 90*w = -188994. Is w composite?
True
Suppose -3*s + 28793 = -o, 5*o + 5403 - 34220 = -3*s. Is s prime?
False
Let k be (-5)/((3 - 0)/(-3)). Suppose k*j = 2448 - 908. Let l = j - 117. Is l composite?
False
Suppose -3*y + 24 + 30 = 0. Let w = y - 13. Suppose -w*g - l = -234, -73 = -2*g + 2*l + 23. Is g a prime number?
True
Suppose -3*n + 3*b + 3558 + 1311 = 0, 0 = 5*n - 2*b - 8115. Is n composite?
True
Let c(y) = -179*y + 16. Let b(g) = -60*g + 5. Suppose -3*h + h = -3*p + 31, -3*h = -4*p + 43. Let j(w) = p*b(w) -