Let d = -137 + 112. Let w = n + d. Is w prime?
True
Let l = 19371 - 6920. Is l composite?
False
Let g be 0 - 4/(-14) - (-1317)/21. Let y = 84 - g. Is y prime?
False
Suppose 5*f + 3*v - 993 = 0, -3*f - 5*v + 465 + 118 = 0. Let q = 466 - f. Is q prime?
False
Let b = -1186 - -7785. Is b prime?
True
Suppose -449*v = -445*v - 14348. Is v a composite number?
True
Suppose 6*j - 4413 - 1449 = 0. Is j composite?
False
Suppose 5*m + 11 = 26. Suppose 2*l - 3 = w, -4*w + m = 3*l - 7. Suppose 3*d - 59 = t, l*d + 0*t + 3*t = 54. Is d composite?
True
Suppose 4*t = -o + 8813, -14 = o - 15. Is t composite?
False
Let b = -56 - -165. Suppose 4*w = -4*z + 292, 0 = -3*w - w - z + 289. Let h = b - w. Is h composite?
False
Suppose -204*r + 207*r = 367743. Is r a composite number?
True
Let s = -9596 - -13707. Is s composite?
False
Let k = 35 + -29. Is (-3)/9 - (-1844)/k a prime number?
True
Let l = 5 + 0. Suppose -6 = u - t, -3*u + l*t = 4*t + 14. Is u/6*(-6111)/14 a composite number?
True
Let i = 87208 - -91435. Is i a composite number?
False
Suppose 3*s - 2438 = 5*i, -s = -2*i - 57 - 918. Let j be (-4)/(-3)*(-9)/6. Is -1*(3 + j)*i composite?
False
Let m = -1253 + 2292. Is m a prime number?
True
Let v(j) = 2*j. Suppose 0 - 5 = -5*w. Let b be v(w). Suppose -57 + 719 = b*k. Is k a composite number?
False
Suppose -5*z + 87848 = -s, -2*z + 6*z - 3*s = 70285. Is z composite?
False
Let u(w) = 2*w - 13. Let b be u(9). Suppose -b*p + 11 = 2*z, -4*p + 4*z + 1 = 9. Is 1 + 79 + (0 - p) composite?
False
Is (-3 - -11117) + 8 + -9 composite?
False
Suppose 5*q - 31018 = 17047. Is q a prime number?
True
Let w = 34 - 29. Suppose 6*o - 89 = w*o. Is o prime?
True
Let b(k) = -93*k + 8. Let o = 29 - 32. Is b(o) prime?
False
Suppose -7*f - 9 = 5. Is (-2 + 3433/(-2))*f prime?
False
Let i(x) = x**2 - 5*x - 9. Suppose 4*l - l - 2*s = 11, s + 9 = 2*l. Let p be i(l). Suppose 0 = 2*h - 6*h + 5*w + 148, -3*w - 185 = -p*h. Is h composite?
False
Suppose 2*i = 22524 - 4186. Is i prime?
False
Let l(r) = 2428*r + 29. Is l(2) composite?
True
Let w be 1/(1/3 - 0). Let c(b) = 11*b**2 + 5 - w*b + 0*b**2 - b**3 + b**2. Is c(9) a prime number?
False
Let m(o) = -133*o + 10. Let f be m(-5). Let k = -381 + f. Let g = k - 131. Is g a composite number?
False
Suppose -7*z + 20 - 48 = 0. Is -4*1 - (z - 379) a prime number?
True
Suppose -2*k - 2*d + 6546 = 0, 2*k - 3*d + 6*d - 6542 = 0. Suppose 4*r + k = 3*h, 2*r = -7 - 1. Is h a prime number?
True
Suppose v = -2*v + 4*z - 3, 4*z - 18 = -2*v. Let m be 4/(v/618*4). Let k = m - -111. Is k prime?
True
Let z(d) = 5667*d - 3. Let f be z(1). Is f/9 - -5 - (-4)/6 composite?
True
Suppose -3*d + 224 = 5*d. Let s = 357 - d. Is s prime?
False
Let j be 8/3*21/14. Suppose -2*r - j*q = q - 27, 0 = r - 4*q + 19. Suppose 0 = 4*t - 2*u - 1586, -4*u = 11 + r. Is t a composite number?
True
Let r(p) = 68*p - 47. Is r(15) a composite number?
True
Let m = 150303 - 64004. Is m a composite number?
True
Suppose -2*t + 4*t = 4. Is 4*(16 - -2) + t a prime number?
False
Let q(l) = 18*l**2 - 2*l + 5. Let z(i) = 53*i**2 - 6*i + 16. Let r(v) = 7*q(v) - 2*z(v). Is r(-4) a prime number?
True
Suppose -2*x + 4*g = -1698, 2*x - 6*g - 1704 = -8*g. Is x a composite number?
True
Let q = 40 + -35. Suppose 5*j = q*l + 12275, -7667 = -2*j + 5*l - 2751. Is j a composite number?
True
Let v be (1 + 8)/3 - 10. Let s(n) = -175*n - 12. Is s(v) composite?
False
Is (-160)/(-20)*1/(-8)*-16333 prime?
True
Is (-11)/((-231)/213930) + 7/(-49) a composite number?
True
Let r = -4 - -9. Suppose -r*q + 333 = -782. Is q prime?
True
Let r be 2/(-4)*(-63 - -1). Let w = r - 13. Let t = 80 - w. Is t a prime number?
False
Suppose -k = -5*n - 7265, -k + n - 3853 = -11110. Is k composite?
True
Suppose 0 = -2*v + 2*a + 4856, 0 = -2*v + 4*a + 4619 + 233. Let n be (-12286)/8 + (-12)/(-16). Let q = v + n. Is q a prime number?
False
Is (-175236)/(0 + -12) + 11 composite?
True
Let t = 38338 - 26015. Is t prime?
True
Suppose 3*c = -4*l - c - 16, 2 = -5*l + c. Let w be l*(-2)/(0 - -2). Is (w + 0)/((-5)/(-465)) a prime number?
False
Let x(f) = -11*f**3 + 17*f + 43. Is x(-6) prime?
False
Let r = 8 - 4. Suppose -r*v + 36 = -5*n, -n - 16 = -v - 2*v. Suppose -2*k + v = -2, 3*k = 3*q - 1134. Is q a composite number?
True
Suppose 0*w - 2232 = -3*v + 5*w, w = 4*v - 2976. Suppose 0 = -4*p - 28 + v. Is p prime?
True
Suppose 3 = 5*a - 2*a. Is 1 + a - (1 + 14*-3) composite?
False
Let w(x) = 4*x**2 - 14. Let y(r) = -12*r**2 - r + 42. Let j(z) = -8*w(z) - 3*y(z). Is j(7) a composite number?
True
Let c be 3*-19*(-8)/(-6). Let m(z) = z**2 - 17*z - 134. Let y be m(21). Let a = y - c. Is a a prime number?
False
Suppose 0*j - 4*j = 0. Suppose j = z + 2*o - 351, 2*z + 4*o + 1073 = 5*z. Is z composite?
True
Suppose 5*h = -3*d + 20, -8 = -2*h - 0*h + d. Let s(b) = b + 1. Let f(g) = 14*g - 3. Let u(m) = f(m) + 6*s(m). Is u(h) composite?
False
Suppose 4*n = -q + 5845 + 10008, 0 = 4*n - q - 15843. Let h = n + -2815. Is h prime?
False
Suppose 128*q - 127*q - 5 = 0. Suppose -5 = -x, 31 + 496 = 2*i + q*x. Is i a composite number?
False
Let y = 19841 + -12558. Is y composite?
False
Suppose -4*s + 15*s = 976151. Is s composite?
False
Suppose -5*o - 49773 = -178438. Is o a prime number?
True
Let r(i) = -32 - 2*i + 0*i + 35. Suppose 4*u - 2*m + 58 = -0*u, -3*m = 3*u + 57. Is r(u) a prime number?
False
Suppose 4*d + 0*f = 4*f - 5044, 2*d - 4*f = -2530. Is (d/(-12))/(2/8) prime?
True
Let k(q) = q**3 - 4*q**2 - 5*q - 5. Let a = -57 - -127. Let s be (4/5)/(7/a). Is k(s) composite?
False
Suppose -3 = 4*z - 5*w + 38, w + 3 = -2*z. Let s = 695 + z. Is s composite?
False
Suppose 0 = 2*b + 19 - 27, 114 = 2*z + 5*b. Is z a composite number?
False
Let p = 7807 + -4844. Is p a composite number?
False
Suppose 2*g + 6729 + 481 = 0. Let q = -2290 - g. Is q composite?
True
Let i be (45/60)/((-1)/(-4)). Suppose 11*z = 2*n + 8*z - 2399, -3*n = -i*z - 3600. Is n prime?
True
Let y(f) = 18*f**2 + 20*f - 36. Let p be y(12). Let m = 41 + p. Is m prime?
True
Suppose -2*r + h + 2612 = 0, -7*r - h = -2*r - 6530. Is r prime?
False
Let r(s) = -s**2. Let b be r(1). Let o(w) be the first derivative of 12*w**3 - w**2/2 + 59. Is o(b) prime?
True
Suppose -3*i - 14 = -2. Let r be (-63)/(-12) + (-3)/i. Suppose 1520 - 4082 = -r*h. Is h a prime number?
False
Let p(l) be the third derivative of 0*l - 17/6*l**3 + 0 - 3*l**2 + 1/6*l**4. Is p(13) a composite number?
True
Let m = -386 + 381. Let s(b) = 88*b + 1. Let w(y) = 89*y + 1. Let v(z) = 5*s(z) - 6*w(z). Is v(m) a composite number?
True
Suppose i - 4*k = 1869, k - 3 = 4*k. Suppose 0 = 5*r - 3*o + 4*o - i, -5*r = 5*o - 1865. Is r composite?
False
Suppose 15 = 2*t + 3. Suppose 0 + t = 2*i. Suppose d - i*x = 112, d - 3*x - 102 = 2*x. Is d a composite number?
False
Suppose -3*h + 5*k = -27, 5*h - 8 + 3 = -5*k. Suppose -y - 12 = 3*y, 0 = -4*m + h*y + 988. Let x = m + -57. Is x a prime number?
False
Let f(a) = 21*a**2 + 3*a - 7. Is f(8) composite?
False
Suppose -5*i = -2*o + 850, 2*o + 3*i - 1752 = -2*o. Suppose -u - c - 51 = -o, 364 = u + 5*c. Is u composite?
False
Let n be -1*2*41/(-2)*-1. Is (n/2)/(25/(-950)) composite?
True
Let t = -706 + -407. Is t/(-12)*(4 + 0) a prime number?
False
Let q = 62 - 59. Suppose 5*l + 2*n - 21255 = -0*l, -2*n = -q*l + 12769. Is l a prime number?
True
Let s = 1345 + 1132. Is s composite?
False
Let k = 76 - 53. Suppose -19*x = -k*x + 6604. Is x prime?
False
Let q = 84 + -81. Is -141*((-1)/q - 2) composite?
True
Suppose -2*q - 2*q - 48 = 0. Let z be (-22)/6 + (-8)/q. Is (21/(-12) - z)*8 composite?
True
Suppose j + 2*s - 4 = -j, 10 = 2*j - s. Suppose 0 = -j*y - q + 11, -4*q - 2 = y - 1. Suppose 0 = 2*k, y*k = -5*l - k + 215. Is l a prime number?
True
Let l(j) = 10*j**2 - 5*j - 1. Let h = -40 - -70. Suppose 0*n = 5*n - h. Is l(n) a prime number?
False
Let f = 17592 - 12059. Is f prime?
False
Suppose 0 = -3*i - i + 80. Let x be (-9)/(-5) + 4/i. Suppose 0*c - 814 = -x*c. Is c a composite number?
True
Suppose s - f + 6*f + 610 = 0, s + 637 = 4*f. Let y = -89 + -323. Let l = y - s. Is l a composite number?
True
Suppose 4*d - 5*p - 11 = 0, -4*d + 2*p = -2 - 0. Let n(y) = y**2 - y + 1. Let f(l) = -2*l**2 - 3*l + 6. Let v(b) = d*f(b) + 2*n(b). Is v(3) a composite number?
True
Let a(j) = j**2 + 14*j - 2. Let m be a(-13). Let k(t) = 