 = x - u. Is x composite?
True
Suppose 3*p - 40 = -2*p. Let q be -2*(p/2)/1. Is q/28 + (-88)/(-14) composite?
True
Suppose 2*w - 3*p - 33 = 85, 0 = 4*w + 5*p - 192. Is w prime?
True
Suppose 1 - 2 = -q, 678 = 2*j - 4*q. Is j a composite number?
True
Suppose 134 + 301 = 3*j. Let r = 260 - j. Is r composite?
True
Suppose -2*m - 3 = -7, -2*m - 65 = -3*d. Is d composite?
False
Let p = -8 - -1. Let h = p - -14. Is h a composite number?
False
Let x(p) = p**3 + 7*p**2 + 3*p - 16. Is x(11) prime?
False
Let z = -8 - -48. Suppose -2*g = -214 + z. Is g a composite number?
True
Let m = -15 + 22. Let j be 4/(-14) - (-373)/m. Let s = j - 34. Is s composite?
False
Suppose 204 = 2*k - 34. Is k composite?
True
Let f = 14 - 8. Let v be f/8 + 385/(-44). Is 4/v*(-74)/1 a composite number?
False
Suppose 92 + 165 = t. Is t prime?
True
Suppose 5*a - x + 3*x = 1733, 3*x = a - 333. Suppose -a = 2*j + j. Let r = j + 410. Is r prime?
False
Let r = 2265 - 1168. Is r prime?
True
Suppose 445 = 5*p - 5*w, 0 = 2*p - 3*p + 3*w + 79. Is p prime?
False
Let x = -14 - -6. Let w be 1/((-2)/(x + -2)). Suppose w*c + 0*c = 70. Is c a prime number?
False
Let h(m) = -11*m + 1. Suppose 5*j + 10 + 20 = 0. Is h(j) a prime number?
True
Suppose 6*c - c - 2*x - 298 = 0, -2*c = -5*x - 136. Suppose 82 = 2*b - c. Suppose 0*n = 2*n - b. Is n composite?
True
Let f = 9 - 5. Suppose -r = -33 - 136. Suppose -u - r = -s + u, 3*u = -f*s + 632. Is s prime?
False
Let p(d) = -d**2 + d. Let v(l) = 5*l**2 + 4*l + 7. Let c(y) = -4*p(y) - v(y). Let q be c(-7). Let r(a) = -a**2 + a + 33. Is r(q) a prime number?
False
Is (-4)/(-6) + (3640/12 - 1) prime?
False
Is 5*2*3/((-24)/(-452)) composite?
True
Let s(u) = 82*u - 7. Is s(8) prime?
False
Suppose 3*p - 52 = -5*d + p, -4*p + 4 = 0. Suppose 8 + 4 = -3*y + 3*n, 13 = 3*y + 2*n. Suppose -x + y = -d. Is x a prime number?
True
Is 97*(-6)/(-4)*2 prime?
False
Suppose -3*d - 3*l + 36 = -4*l, -2*l + 24 = 2*d. Let i = 115 + d. Is i a composite number?
False
Is 1761*(3 + 16/(-6)) a prime number?
True
Let v(p) = 13*p**3 + 2*p**2 + p + p - 6*p + 3. Let n be v(2). Suppose -5*a = -5*o - 250, 3*a + 5*o = a + n. Is a composite?
True
Suppose 3*y + 5*l - 39 = -127, -4*l = 8. Let w = y + 43. Suppose -2*f + w = 2*v - 23, -4*f - v = -65. Is f a prime number?
False
Let g be (-1 + -1)/1 + 6. Let d(x) = -6*x + g*x - x**2 - 2*x + 55 + 3*x. Is d(0) a composite number?
True
Suppose -a + 24 = -5*k, k + 0 + 12 = 2*a. Suppose 7*o - a*o - 93 = 0. Is o a prime number?
True
Let w = -39 - -19. Let m = w + 75. Is m composite?
True
Suppose 2*k = 5*p - 4 - 5, 2*k = 6. Suppose -p*y + a + a + 923 = 0, 3*a = -2*y + 611. Is y a prime number?
True
Suppose -3*m + 0*v = -4*v + 18, 5*m - 5*v + 30 = 0. Let t be ((-6)/4)/(3/m). Let o(d) = d**3 + 2*d**2 - d - 4. Is o(t) a composite number?
True
Suppose -4*a - 383 = -4*d + 5*d, 5*a + 510 = 5*d. Let r = -5 - -7. Is r/(-5) + a/(-5) composite?
False
Let z = -117 + 213. Let w be -1*((-6)/1)/2. Suppose 63 = w*l - z. Is l a prime number?
True
Suppose -4*r = -r - 105. Suppose 175 = 4*i + r. Suppose -5*n + 114 = 4*b, -b + 6 + i = -5*n. Is b a composite number?
False
Let x(v) = v**2 - 3*v - 2. Let z be x(5). Let m(c) be the third derivative of 17*c**4/24 - 3*c**3/2 - 3*c**2. Is m(z) composite?
False
Let r(x) = x**2 - 2*x + 1. Let f be r(1). Suppose f = i - 7. Let q = 4 + i. Is q a prime number?
True
Suppose -2*u = -3*x - 3*u + 785, 4*u - 1313 = -5*x. Suppose 5*l - x = 814. Is l composite?
True
Suppose 3*j = 5*j - 10. Suppose -j = 3*w - 29. Is (-2 - 2)*(-254)/w prime?
True
Let o = -114 + 496. Is o a prime number?
False
Let q(u) = -u**3 - u + 47. Is q(0) a prime number?
True
Is (7934/8)/((-6)/(-24)) a composite number?
False
Let b = 205 - 113. Suppose k + 3 = -i + b, -5*i = 4*k - 351. Is k a prime number?
False
Let p(u) = -u**3 - 8*u**2 + u + 6. Let r be p(-8). Let s be (r + 6/2)*1. Is (3 - 94)*(0 - s) a composite number?
True
Let z(h) = -h**2 - 20*h - 74. Is z(-8) a prime number?
False
Let j(r) = -r**3 + 13*r**2 - 12*r + 13. Is j(11) a prime number?
False
Let b = 1529 - 860. Is b composite?
True
Let r(w) = 21*w**3 + w**2 - 7*w + 8. Is r(3) a prime number?
True
Let o(b) = -b**2 + 2*b. Let d be o(4). Is ((-12)/d)/(6/40) prime?
False
Let t(v) = -v**3 - 2*v**2 + 4*v + 3. Let q be t(-3). Suppose q = 5*x - 135 - 930. Is x a composite number?
True
Let p be 0 - (-3 + (0 - -23)). Let z = p - -1. Let j = z - -41. Is j composite?
True
Is -1*5/((-15)/753) prime?
True
Suppose m = -4*y + 2*m - 13, -5*m = 15. Is (-765)/(-4) + y/16 a composite number?
False
Let o be 6052/6 - 5/(-15). Suppose -3 = 3*i, 3*k - 5*i - o = -k. Is k a prime number?
True
Suppose -7*p + 752 = -1299. Is p a prime number?
True
Let t(f) = -f**3 + 22*f**2 - 9*f - 17. Is t(21) prime?
False
Suppose -3*o = o - 220. Suppose 5*d = -0*f + 2*f - o, -74 = -3*f - d. Is f composite?
True
Suppose 0 = -6*k - k + 3409. Is k a prime number?
True
Is 4166/8 + (-2)/(-8) prime?
True
Let m(l) = l**2 + 10*l - 8. Let j be (-4)/1 + 6 + -9. Let h = 16 + j. Is m(h) a prime number?
True
Let u(n) be the third derivative of 7*n**4/24 - 2*n**3/3 - 2*n**2. Let q be u(3). Suppose 5*y - q = 58. Is y a composite number?
True
Let f(s) = -s**2 - 7*s - 6. Let d be f(-4). Is (391/3)/(d/18) a composite number?
True
Let l(r) = -r + 1. Let j(m) = -7*m. Let z(b) = -j(b) - 2*l(b). Is z(3) composite?
True
Suppose 0 = -0*n - 4*n + 2460. Suppose 5*i - 369 = 2*i - 4*u, n = 5*i - u. Is i a composite number?
True
Suppose -3*c - 23747 = -4*v, -2*v + 2*c = 4*c - 11884. Is v composite?
False
Let i = 9 + -6. Suppose -4*l + 1324 = i*m, -4*l + 2*m + 2030 - 706 = 0. Is l composite?
False
Suppose -2*r - 3*a = -25, -1 + 6 = -3*r + 4*a. Let b(m) = 2*m - 6. Let s be b(r). Suppose 169 = 3*x + 5*h, x - 2*h = s*x - 163. Is x a prime number?
True
Is -2*(-2)/(-4) + (179 - 1) prime?
False
Suppose -2*y - 16 = -4*y. Suppose 1 = -3*p - 4*c + y, 4*p - 14 = -3*c. Let g = p - 2. Is g prime?
True
Let p = 5 - 4. Let k be (-1)/p*(-458)/2. Is (-14)/(-49) - k/(-7) prime?
False
Suppose 114 = k - 4*g, -166 = 4*k + 3*g - 698. Let p = k - 36. Is p composite?
True
Let d(k) = 692*k**2. Let f be d(-1). Is f/10 - (-11)/(-55) a composite number?
True
Suppose 0*g - 387 = 3*g. Let d = g - -224. Suppose d = 4*c - 53. Is c a composite number?
False
Suppose b + 4*w = 6, 4*b - 3*b - 5*w = -12. Is b/4*(-3012)/6 a composite number?
False
Suppose -v + 3*v - 4 = 0. Is (v + 125)/(1 + 0) composite?
False
Let q = 80 - -3. Is q a composite number?
False
Suppose -2*k = 4*z - 11 + 5, -4*k + 5*z = 27. Let a(g) = -g**3 - g**2 + g - 2. Let m be a(-2). Is (3 - m) + 20 - k a prime number?
False
Let x(c) = 4*c + 203. Is x(0) a composite number?
True
Let d(n) = -53*n**2 - n. Let y = -1 + 0. Let m be d(y). Let j = m - -73. Is j a composite number?
True
Suppose -2*o - 2*u - 2 = 0, 2*o + 3*o + 9 = -3*u. Let d = 2 + o. Is ((-3)/(-2) + d)*12 a prime number?
False
Let g(s) = 3*s**2 - 4*s - 5. Let u = -7 + 1. Is g(u) prime?
True
Suppose -9 = 2*q - 1. Let r(p) = 7*p**2 + 6*p - 5. Is r(q) a prime number?
True
Suppose 5*b = -0*b + 25. Suppose 0 = b*d - 3*d - 50. Is d/2 + 1/2 a prime number?
True
Let q(n) = n - 1. Let m(i) = 7*i - 71. Let s(p) = -m(p) + 6*q(p). Suppose 4*t - 6*t = 0. Is s(t) prime?
False
Suppose 8*t - 14 = t. Suppose -t*g = -4*g + 1486. Is g a composite number?
False
Let h be (4/(-7))/(8/(-28)). Let l be (-3)/(1 + h) + 3. Suppose -l*s - 26 = -3*s. Is s a composite number?
True
Suppose 19 = 2*h - 27. Suppose -24*t - h = -25*t. Is t prime?
True
Suppose -8*v + 6*v + 5*i = -106, 0 = -4*i - 16. Is v a prime number?
True
Suppose -5*v - 4 = -34. Suppose 0 = l - v*l + 2825. Suppose x = 6*x - l. Is x composite?
False
Let c(j) = 4*j**2 - 27*j + 17. Let u be c(12). Let x be 2/(-4) - (-7)/2. Suppose -20 = -5*q, -x*t + u = q + 4*q. Is t a composite number?
False
Let s(b) = 6*b - 6 - 1 - 5*b**2 + b**2. Let w(d) = d**2 - d + 1. Let c(n) = s(n) + 5*w(n). Is c(-4) composite?
True
Is 76/95 + 23342/10 prime?
False
Let j(v) = 2*v**3 + 5*v**2 + 5*v - 6. Suppose 2*l + 6 = 5*y - 26, 4*l + 4 = 0. Let d be j(y). Is d/18*3/2 a prime number?
True
Let q = 16 - 13. Suppose o = -k - 2*k + 488, q*k + 5*o - 508 = 0. Is k a prime number?
False
Let v be (2 - -2)/1 - 1. Suppose 0 = -v*p + p + 118. Suppose q - p = -0*q. Is q a prime number?
True