ime?
False
Let m = 129 - 122. Suppose 5*q - 3967 = -m*a + 4*a, a = -q + 1321. Is a a composite number?
False
Suppose 0 = 69*b + 401 - 125. Let y(w) = -w - 1. Let z(k) = -173*k + 3. Let p(t) = -6*y(t) + z(t). Is p(b) prime?
True
Suppose 26*a - 2*a - 176520 = 0. Is a a composite number?
True
Let z(s) = 18*s**3 - 10*s**2 - 51*s + 17. Is z(8) a composite number?
True
Suppose -9*r = -5*r - 4320. Suppose 0 = -5*f + 2661 - 856. Let g = r - f. Is g a prime number?
True
Let n = -540 + -7. Let y = -384 - n. Is y a composite number?
False
Suppose 3*o - 4*x = 142789, -220*o = -222*o - x + 95200. Is o a composite number?
False
Suppose -y + 0*y - 10 = 0. Let x = 10 + y. Suppose x = -5*k + 63 + 42. Is k a composite number?
True
Suppose -3*t - 8 = r, 3*r + 4*t - 1 = -15. Let u be -1474*(1/r)/1. Let v = u + -248. Is v prime?
False
Let o be (-13 - -15)*3770/4. Suppose o = z + 4*z. Is z a prime number?
False
Let r = -3577 - -5038. Is r composite?
True
Let d(q) = -13*q - 11*q + 0*q - 8*q - 5. Let n be d(-9). Is 4 + (-2)/((-2)/n) composite?
True
Suppose 9*b - 3*b = 34248. Suppose 6345 = 5*k + m + 639, b = 5*k + 3*m. Is k a prime number?
False
Suppose -2*j - 11*j - 26 = 0. Let m(o) = -15*o**3 + 4*o**2 - 2*o + 2. Let g(q) = -8*q**3 + 2*q**2 - q + 1. Let p(b) = -5*g(b) + 3*m(b). Is p(j) composite?
True
Let p = -86 + -58. Let z = 479 + p. Suppose -c = 5*x - z, -29 = x + 2*c - 96. Is x composite?
False
Is 2475 + (4/(-14))/((-1)/7) a composite number?
False
Let g(a) = -28*a**3 - 4*a**2 - a - 3. Let c be g(-3). Suppose b - 2*b + 4 = -l, 2*b = 4*l + 8. Suppose -b*q = -c - 1612. Is q prime?
False
Suppose -3*v + 869 = -2*y, 4*y + 1445 = 5*v - 0*y. Is v composite?
False
Let g be (2/(-6))/(7/(-273)). Let y be (4 + -5)*-64*1. Let r = y + g. Is r a prime number?
False
Suppose 18*m - 46*m = -2121924. Is m a prime number?
False
Let o = -1341 - -7408. Is o a prime number?
True
Let v be 1/4 + 402/24. Suppose 5*t - 2*y = 255, -t = -5*y - 11 - v. Let c = -15 + t. Is c prime?
False
Let n(r) = 3 + 586*r**3 - 4 - 3*r + 3 + 1514*r**3. Is n(1) prime?
True
Suppose 5*l + 30364 = 5*q - 10576, 0 = 3*l - 9. Is q prime?
True
Let f(c) = c. Suppose 0 = 5*w + 3 - 13. Let u be f(w). Is ((-14)/(-6) - u)*159 a prime number?
True
Let d(w) = 1333*w**2 + 3*w - 3. Let g be d(2). Suppose 0 = 4*t, 5*l - g = -t + 4*t. Is l prime?
False
Let m(s) = 29*s**2 + 5*s + 3. Let a(u) = 14 - 12*u**3 + u - 16*u**3 + 10*u**2 + 29*u**3. Let z be a(-10). Is m(z) a prime number?
True
Let j(t) = -2*t**2 - 6*t + 20. Let r be j(-5). Suppose 0 = 5*y - 3*a - 865 - 1141, r = -2*y + 3*a + 797. Is y a composite number?
True
Is (12/(-6) - (0 - 5)) + 5596 composite?
True
Let n be -4 - (-112)/12*-3. Is (6704/n*2*-1)/1 composite?
False
Let n = 49 - -109. Is n composite?
True
Let r(c) = -28*c - 1. Let u be r(-2). Suppose -u = f - 0*f. Let k = 86 + f. Is k prime?
True
Suppose -6342 + 16982 = 8*g. Let s = 1979 - g. Is s a composite number?
True
Let c be -2 - (4 - 1681 - 3 - 4). Suppose 3*f - v = 8*f - 2097, -4*f + c = 3*v. Is f a prime number?
True
Let i(s) = -s**3 - 7*s**2 + 8*s. Let t be i(-8). Suppose -w = 3*d + 18, -2*w + 4*w = t. Let n(f) = f + 10. Is n(d) a prime number?
False
Let i(x) = 2 - 16 + 3 + 894*x. Is i(2) composite?
False
Let q(p) = -p + 2. Let g be q(-2). Suppose 0 = -g*d - 3*u + 11377, 3*u + 5918 = 2*d + 225. Is d prime?
False
Let n(g) = -23*g + 2. Suppose i = -13*i - 98. Is n(i) composite?
False
Suppose 31*z - 5*k = 29*z + 15714, -3*k = -6. Is z prime?
False
Let t = -59 - -250. Is t a prime number?
True
Let i = -26 - -32. Let h(j) = j**3 - 7*j**2 + 5*j + 3. Let v be h(i). Is (-879)/(-6)*(-1 - v) composite?
False
Is (-40598 - -4)*(-1 + 4/8) prime?
True
Suppose -3*h = 2*u - 2, 2*h = -3*u - 2 - 0. Suppose -4*s - 30 = -h*y, 3*y = y + s + 39. Is y prime?
False
Let u be (6*(-4)/(-48))/((-2)/(-1352)). Let l = u + -171. Is l composite?
False
Let k(z) = -z**3 - 7*z**2 - z - 9. Let w be k(-7). Let d(x) = x. Let b(u) = -5*u**2 - 12*u - 1. Let g(o) = w*b(o) - 22*d(o). Is g(-2) a composite number?
True
Let y(k) = -69*k - 6. Suppose -5*u + 8 = -r - 3*u, -r = -4*u + 12. Let n be y(r). Let o = n + -185. Is o composite?
True
Suppose -r = 4*o - 7 - 1, 0 = 2*r. Suppose 0 = -4*b - v + 615, -o*b + 7*b - 2*v = 772. Suppose 5*p - 41 = b. Is p a prime number?
False
Suppose -5*i = -3*f + 16844, 5*f - 12*i - 28090 = -7*i. Is f a composite number?
False
Let u(q) = 1543*q**3 - q**2 + 11*q - 10. Is u(1) prime?
True
Suppose 13 = 3*c + 4. Let r(u) = -3*u**2 + 2*u**2 + 59 - u**3 - u**c + u**3. Is r(0) composite?
False
Let x(n) = -1310*n + 73. Is x(-10) composite?
True
Suppose -121098 = -f + 5*w, -32*f - 363359 = -35*f + 2*w. Is f composite?
False
Suppose 4*f - 5*f + 2*t + 293 = 0, 5*f - 1470 = 5*t. Let c = f + -41. Is c a composite number?
True
Let n be (5/15 + 2/(-6))/(-2). Suppose 2*i - q - 498 = 0, n = -14*i + 10*i + q + 1000. Is i composite?
False
Is (-2)/6*((-2755074)/(-7))/(-14) composite?
False
Suppose 5*j - 13 = 2*z + 34, 34 = 2*j + 3*z. Let u = -742 - -1130. Suppose -u = 7*y - j*y. Is y composite?
False
Let l = -10 + 22. Let d be ((-15)/l)/(3/12). Is (3 - 86)*(d - -4) composite?
False
Let u = -2 - 10. Is -2 + 487 + 8 + u a prime number?
False
Let u = -5 - -9. Suppose -2*g + 1092 = 3*w, u*g + 3*w - 1740 = 444. Is (g/9)/((-2)/(-3)) a prime number?
False
Suppose -15*b + 17*b = -5*d + 5225, -3 = -d. Is b a prime number?
False
Suppose 2*d + 53 - 411 = 0. Is d prime?
True
Let m be -4 - (-1 + -10 + 0). Is (-3 - ((-1799)/(-2))/m)*-2 a composite number?
False
Suppose 10*s - 69742 = 115108. Is s a prime number?
False
Suppose 2*o + 2*m = 1 - 3, o - 3*m - 3 = 0. Suppose o = -0*z + 7*z - 294. Is (-929)/(-6) + 7/z prime?
False
Suppose 12*k - 253879 + 46795 = 0. Is k a composite number?
False
Suppose b - 2*k + 25 = -2*b, -4*b - 5 = 3*k. Is (0 + 2/(-8))/(b/42580) prime?
True
Suppose 0 = -q - 2122 + 10115. Is q a prime number?
True
Let l = 261 + -151. Let j = l - 23. Let c = j - 20. Is c a prime number?
True
Let h(o) = 196*o**2 + o - 2. Is h(-3) prime?
True
Suppose -4*r + 2 = t, t + 8 = 5*t + 2*r. Suppose g - 357 = 4*z, t*z = 4*g - 617 - 741. Is g composite?
False
Suppose k - 64040 = -5*c, -2*k + 19714 = 4*c - 31512. Is c prime?
True
Suppose -1 = 3*v - 5*t - 8, v = 5*t - 1. Let s(k) = 36*k + 19. Is s(v) a prime number?
True
Suppose 4*k = 6*q - q - 10495, -2099 = -q + 5*k. Is q prime?
True
Suppose 0 = -5*k - 0*k + 40. Let w(c) be the first derivative of c**3/3 + c**2 - 3*c - 2. Is w(k) a composite number?
True
Let s(k) = -224*k - 23. Let w be s(-7). Suppose 5*y = 2*m + w, 0 = 2*y + m + 341 - 968. Is y composite?
False
Let k be ((-2)/1 - -6) + -4. Let n(d) = -d**2 + d. Let p be n(k). Suppose -20 = 4*g, -4*g + 121 = 3*z - p*g. Is z composite?
False
Let o(r) = 1182*r**2 + r + 3. Is o(-2) a prime number?
True
Suppose -5*k + 7*k = 11720. Suppose -5*n + 9*n = k. Is n composite?
True
Suppose -3657 + 79 = -4*t - 3*p, 4*t - 3*p - 3566 = 0. Is t a composite number?
True
Suppose -14*p = -87*p + 1486499. Is p prime?
False
Let b = -14939 - -28336. Is b a prime number?
True
Let h(k) = 15 + 3*k**3 + 7*k**2 + 24*k**2 - 14*k**2 - 13*k. Let x(c) = -2*c**3 - 9*c**2 + 7*c - 8. Let w(y) = 3*h(y) + 5*x(y). Is w(5) a prime number?
False
Let a(u) = -u - 4. Let n be a(-10). Suppose -185 = -n*f + 169. Is f a composite number?
False
Let d(m) = 1 + 0*m**2 + 11*m + 3 + 2*m**2. Suppose 0 = 4*r + l + 28, 3*r + 21 = l - 3*l. Is d(r) prime?
False
Suppose -20*z + 12*z = -23864. Is z a prime number?
False
Let d = -5 - 40. Let p = -7 + d. Let v = 171 + p. Is v prime?
False
Let n be (-26 - -25) + (-3258)/1. Let r = n - -4658. Is r composite?
False
Suppose 2*b - 14*b + 3876 = 0. Let g = b - -30. Is g prime?
True
Let z = -1229 + 686. Let w = 920 + z. Is w a composite number?
True
Let j = 9 - 17. Let l = -6 - j. Suppose 5*n = l*i - 5*i + 2167, 0 = 3*i - 12. Is n a prime number?
True
Let v(j) = 5*j - 14. Let g be v(4). Suppose g*y - 8254 = 956. Is y a prime number?
False
Let f(g) = -2*g + 2857. Let r be f(0). Let b = 548 + r. Suppose -7*q + b = -2*q. Is q a composite number?
True
Suppose -5*t = -7*t. Suppose t = -5*k + 2*o + 36, o = k + 3*o. Let g(a) = 24*a - 11. Is g(k) composite?
True
Let k = 7673 + -5092. Is k prime?
False
Let f(c) = 377*c - 5. Let g be f(3). Let d be ((-3)/6)/((-1)/g). Supp