 = -2*t. Is a prime?
True
Let n(a) = 8*a**2 - 2*a - 2. Let t be n(4). Suppose -1197 = -4*x - 5*q, 3*x = -q + t + 766. Is x a prime number?
True
Let m = 155 - -105. Suppose 3*o + m = v, 3*v + v - 1001 = -o. Is v a composite number?
False
Suppose x + 4*z - 249 = 0, -z = -3*x - 5*z + 779. Is x composite?
True
Suppose -2*y = 6*y - 3656. Is y a prime number?
True
Suppose -5*x = 2*w + 6, 7 = -5*w - 8. Let l be 16/(-1 - -2) - x. Let q = 6 + l. Is q composite?
True
Suppose 2*l = -p + 1802, -4*p + 1227 = l + 326. Is l a prime number?
False
Let k = 11 + -9. Suppose 0 = k*u - 31 + 175. Let p = -21 - u. Is p prime?
False
Let x = -342 + 969. Suppose 0 = -4*n + 137 + x. Is n a prime number?
True
Let p be -8 - 2*(-2)/(-2). Let h be (-4)/p - 309/(-15). Suppose 2*n - h = n. Is n a composite number?
True
Let v(p) = -4*p**3 + 4*p + 3. Let g be v(-3). Let h = g - 145. Let c = 99 + h. Is c a composite number?
False
Let g(y) = 2*y**3 - 13*y**2 + 8*y + 1. Is g(8) prime?
True
Suppose 0 = 5*a - 83 - 17. Is a/(-130) - (-2890)/26 a prime number?
False
Suppose -762 = -2*r + 1552. Suppose -r - 519 = -4*x. Is x prime?
True
Is (-1)/(5/(-2))*415 composite?
True
Suppose 4*j - 1569 = 2*j - 3*b, -j + 782 = 4*b. Suppose c + 3*d - 901 = 0, 5*c = -4*d + j + 3664. Is c/18 + (-4)/18 composite?
True
Let i = -14 + 25. Let f(q) = 6*q - 15. Is f(i) composite?
True
Suppose -4*j = 0, -4*c + 1588 = 5*j - 0*j. Is c a prime number?
True
Let m(n) = n**2 - 4. Let g be m(3). Let k = 11 - 4. Suppose -k = g*c - 117. Is c prime?
False
Let q be 0/(2 + 0/(-3)). Suppose q*h + 4*h = 8. Suppose -j + 39 - h = 0. Is j a prime number?
True
Let w be 6 + 2 + -5 - -612. Suppose 0 = -4*j - u + 807, -3*j = 3*u + u - w. Is j prime?
False
Suppose -y + 0 + 3 = 0. Suppose y*u - 739 = 266. Is u a composite number?
True
Let k = -24 + 15. Let r(p) = -p**3 - 7*p**2 - 6*p - 7. Is r(k) a composite number?
True
Is 571/3 - (-16)/24 a composite number?
False
Let p(k) = 36*k - 1. Let d be p(-5). Let n = -36 - d. Is n a composite number?
True
Suppose m = -4*m + 410. Is m composite?
True
Let y = 417 - 94. Is y composite?
True
Let r = 61 - 70. Let a(o) = 4 - 3*o + 2*o - 4*o. Is a(r) composite?
True
Let s = 5 - 3. Suppose -7*g + s*g = -235. Is g composite?
False
Suppose -2*j + 568 = v, 3*j + v = -v + 850. Let g = 525 - j. Is g a prime number?
True
Suppose -g + 248 = 3*g. Is (98/28)/(1/g) composite?
True
Let x(y) = 3*y**3 + 17*y**2 + y + 10. Let t(a) = -a**3 - 9*a**2 - 5. Let o(s) = -5*t(s) - 2*x(s). Is o(7) a composite number?
True
Let v be (-76)/12 - (-6)/(-9). Is 9 + v - 88/(-2) a prime number?
False
Let r(g) = 2*g**2 - g - 6. Let i(f) = 2*f + 7. Let u be i(-7). Let l = u - -2. Is r(l) composite?
True
Is 340/3 - 2/6 a composite number?
False
Suppose 0 = -u - 2 + 4. Suppose -3*v = -v - u*m - 174, m = 2*v - 170. Is v a composite number?
False
Let j = 0 - -2. Suppose 0*d = j*d - 4. Suppose b + 24 = d*v, 0*v + 4*b = v - 5. Is v prime?
True
Suppose 0 = 5*u - 8*u + 2919. Is u composite?
True
Suppose -p - 3*p = 0. Suppose -8 = -2*s - 0. Suppose p*n + 97 = 5*g + 2*n, -s*g = -4*n - 100. Is g prime?
False
Suppose 20*h = 17*h + 10059. Is h composite?
True
Let c be -6*(1 + (-11)/3). Let y = -5 + c. Suppose y = 2*k - 51. Is k a composite number?
False
Let k = -2 + 1. Let w be (6/18)/(k/(-15)). Is 132/5 + (-2)/w composite?
True
Let a(y) = y**3 - 5*y**2 - y + 4. Let o be a(5). Let v = 4 + o. Is v composite?
False
Is 3 + (-2 - (-1 - -4)) + 747 a prime number?
False
Suppose 6*s = s + 8015. Is s a composite number?
True
Is (6/(-4))/(12/(-424)) a composite number?
False
Let y = -13 + 13. Is 2 + (35 - y)*1 a composite number?
False
Let r(k) be the second derivative of 5*k**4/12 - k**3/6 - 3*k**2/2 - 2*k. Is r(-6) a prime number?
False
Let r(k) = 4*k**2 + 25*k + 26. Is r(21) prime?
False
Let u = 19 + -9. Suppose -2*f + 56 + u = 0. Is f a prime number?
False
Let v be 3 + -2 + 2*2. Suppose -w + 14 = -h, -4*w = v*h - 19 - 46. Is w a prime number?
False
Let a be 10*2/4 - 1. Suppose 5*m = 5*t - 175, -2*t - a*m + 2*m + 54 = 0. Is t a prime number?
True
Let s(x) = 3*x + 12. Let k(l) = 2*l + 6. Let z(n) = -5*k(n) + 3*s(n). Is z(-5) a composite number?
False
Suppose 4*m - 2*m - 8 = 0. Suppose m*q - 3*q = 31. Is q a prime number?
True
Let s(w) = w - 7. Let a be s(4). Let o(y) be the third derivative of -y**6/120 + y**5/30 + y**4/12 - 2*y**3/3 + 18*y**2. Is o(a) a prime number?
False
Let i = -276 - -439. Is i composite?
False
Suppose 0 = 6*l - 5775 - 1215. Is l composite?
True
Suppose 0 = 5*w + 353 + 42. Let g = w - -134. Is g composite?
True
Let f = 7 + 1. Suppose -2*b = -3*r - 0*b + f, 16 = -4*b. Is r/(-2) + 476/4 prime?
False
Suppose 0 = -5*r - 2*t + 1893, -3*r - 4*t - 1869 = -8*r. Is r prime?
False
Let b(n) = 6*n + 7. Suppose 5*j = -3*w + 22, -2*j - 4*w = -0*j - 6. Is b(j) a composite number?
False
Suppose -v = -2 - 2. Let d(a) = a**3 - 2*a**2 + 2*a + 3. Is d(v) a composite number?
False
Let l(j) = j - 5. Let g be l(7). Suppose -4*f - 4*a + 1314 - 330 = 0, 0 = 4*f - g*a - 1014. Is f composite?
False
Suppose 2*c + 3*f - 52 = -168, -2*c - 4*f = 118. Let o be (c/(-15))/(2/(-30)). Let d = 98 + o. Is d a composite number?
False
Suppose -131 + 1396 = 2*p + 3*f, -2*p + f + 1261 = 0. Is p a composite number?
False
Suppose -4*i + 5 + 3 = 0. Let b = 0 - 2. Is b + i + 2 + 45 a prime number?
True
Suppose -y = -4*y + 6. Let f be (-1)/(2 - 3) + y. Suppose -b - f*o = -2*b + 37, b + 4*o - 37 = 0. Is b a composite number?
False
Let m(x) = 90*x - 7. Let q be (1 - -1) + 1 - 0. Is m(q) composite?
False
Suppose 2*g + 2 = 8. Suppose 4*a = 2*d + 632, g*a + 2*d - 799 = -2*a. Is a composite?
True
Let d = 524 - -107. Is d a prime number?
True
Suppose 17554 - 45008 = -14*p. Is p a prime number?
False
Let o = 4 - 4. Let s = -9 - -13. Suppose o*f - 268 = -s*f. Is f a prime number?
True
Suppose 5*h + f - 333 = 0, -9*h + 3*f + 341 = -4*h. Is h a composite number?
False
Let h = 8 + -6. Suppose -4*k + 33 = -h*j + k, -2*j - 2*k = -2. Let l(o) = -o**3 - 3*o**2 - 2*o - 5. Is l(j) a composite number?
False
Is 4/18 + 12171/27 prime?
False
Let d(a) = -10*a**2 + 5*a + 6. Let s be d(-4). Let i = 5 - s. Is i a prime number?
True
Is (2 - 809)*2/(-6) a prime number?
True
Let s = 816 + -537. Suppose 3*y = 2*r - s, -y - 2*y - 282 = -r. Let x = -62 - y. Is x prime?
False
Let p be 14 - -1*(2 + -3). Let d = 0 + p. Is d composite?
False
Let z = -116 + 169. Is z a composite number?
False
Suppose -1 = -b + 5*f + 1, 4*b + 5*f = -17. Let t be 1/b*(-18)/6. Is t/(1/((-34)/(-1))) a prime number?
False
Suppose 10*k - 16330 = -0*k. Is k prime?
False
Suppose -41 - 23 = 2*k - 4*z, 4*k - 3*z + 118 = 0. Let c = k + 47. Is c a composite number?
False
Let i(r) = -r**3 + 4*r**2 - 9. Is i(-4) prime?
False
Let w be 1 - -13 - (0 - 1). Let c be (32/(-48))/(1/198). Is c/(-10) + (-3)/w a composite number?
False
Suppose l = 5*l - 8. Suppose t - 1 = -2, 0 = l*j - 5*t - 415. Is j prime?
False
Suppose 10 - 30 = -4*w. Suppose -25 = -2*y - w*p, 20 = -2*y + 6*p - 2*p. Suppose 5*g - 69 = -v, y*v + 67 = 5*g + 3*v. Is g composite?
True
Suppose -25 = -3*y + 5*g, 0 = -3*y - 0*g - 5*g - 25. Suppose -2*q - 5*c + 18 = y, 5*c - 17 = -3*q + 5. Suppose -5 = m, -s - 2*m = -q*s + 277. Is s composite?
False
Let o(j) = 2010*j - 13. Is o(2) a composite number?
False
Let w = 17 + -14. Is w/2*(-74)/(-3) a prime number?
True
Let s(g) = 354*g**3 - g. Is s(1) prime?
True
Let r(s) = -s**2 + 3*s - 1. Let v be r(1). Let i(b) = 18*b**2 - 3*b - 1 - b + 6*b. Is i(v) composite?
False
Let p(c) = 26*c**3 - 2*c**2 - 5*c - 20. Is p(5) a prime number?
False
Suppose -4*b = -6*b - 18. Let i = b - -19. Suppose 5*y - 4*y = -5*r + 20, 2*y - i = 5*r. Is y a composite number?
True
Suppose 0 = -5*h - 0*h + 1435. Is h a composite number?
True
Suppose -2*m - 4*p + p = -926, -5*p + 2305 = 5*m. Is m composite?
False
Let g = 55 - 9. Is g a prime number?
False
Let l = -14 + 8. Let z = l + 0. Is -6*(-51)/z*-1 composite?
True
Let z(d) = -14*d - 11. Let k(n) = -n. Let g(q) = -4*k(q) - z(q). Is g(10) prime?
True
Let a(j) = 21*j + 3. Let v be a(5). Let p = 50 - 101. Let d = p + v. Is d prime?
False
Let o = 19 + -34. Is (-681)/o - (-3)/5 a composite number?
True
Let a be (-4 + 7)*2/(-3). Is 2 + 1 - 164/a a composite number?
True
Suppose -12 = 3*u - 6*u. Is -6 + 157 + 1*u compos