781, 5*g - 5*a - 4400 = -7*a. Is g a composite number?
True
Let p(d) = d**2 - 12*d - 25. Let g be p(14). Let k be (-20244)/(-36) - 1/g. Let h = k + 405. Is h composite?
False
Suppose -6114 = -2*x + 4*l, 15313 = 5*x + 7*l - 10*l. Is x a prime number?
False
Suppose -j + 0*j + w = -6, -5*j + 24 = -3*w. Suppose -3*v + j*o = -378, v + v + o - 255 = 0. Is v prime?
True
Suppose 2*s + 6 = 0, 4*s + 25 = 2*l - s. Suppose 4 + 1 = -l*f. Is 103/(1/(2 + f)) composite?
False
Let y = -3083 + 5802. Is y composite?
False
Suppose 15*q - 66235 = 32750. Is q prime?
True
Suppose -221*j = -233*j + 93828. Is j a composite number?
True
Is ((-1)/1)/3 + 7664/6 prime?
True
Let h(x) = -x**3 - 13*x**2 - 21*x + 15. Let i be h(-11). Suppose 0 = f - 2*f + i, 9861 = 5*y - f. Is y a composite number?
False
Let u(k) = k**2 - k - 2442. Let b be u(0). Is (22/33)/((-4)/b) prime?
False
Let o be -3*(-35)/84*4. Let i(u) = u**2 - 2*u - 3. Let w be i(-2). Suppose 0 = -n - o, -2*t + w*n + 274 = n. Is t composite?
False
Let a = -6 - -11. Suppose -2*x + 5 - 1 = 4*n, 0 = 2*n - x - 6. Suppose -d - 2*p + 61 = n*p, 323 = a*d + 2*p. Is d a prime number?
False
Let i = 6123 + -1500. Let c = 11002 - i. Is c a composite number?
False
Let v = -11 - -20. Let b be ((-12)/(-18))/(2/v). Suppose 202 = 4*x - 4*n - 30, b = -3*n. Is x a composite number?
True
Let w(c) = -c**3 - c**2 - 2*c - 3. Let t be w(-2). Suppose -4*r - t*j - 589 = -1939, 3*r - 1012 = -4*j. Is 2/(-3 + 1028/r) prime?
False
Suppose 7*a + 4*a - 2794 = 0. Let x(t) = 4*t**2 - 5*t + 5. Let y be x(6). Suppose y = w - a. Is w composite?
False
Let v(y) = 3*y**2 + 5*y + 11. Let l(u) = 5*u**2 + 11*u + 22. Let a(r) = -4*l(r) + 7*v(r). Is a(-5) a prime number?
True
Suppose -2*b = -5*k - 246, -3*k - 104 = -2*b + 134. Is b a prime number?
True
Let z be 3/(-6)*-2*-2 + 29. Is (-835)/(-7) + z/(-21) + 1 a composite number?
True
Let f(c) = -c**3 - 2*c**2 + 4*c. Let a(d) = -d - 14. Let y be a(-11). Let o be f(y). Is (-6)/18 - 202/o a prime number?
True
Let c be (-4)/(4/3) - -6. Suppose 5*i - m = -c*m - 742, 4*i - m = -604. Let g = i + 791. Is g prime?
True
Let v(g) = 2*g**3 - g**2 + 3*g - 7. Let f be v(5). Suppose -u + 54 = -5*h, -4*u + h = -2*h - f. Is u a composite number?
False
Suppose -4*t = 5*t - 6948. Suppose -399 - t = -q + 2*g, 0 = -g - 2. Is q composite?
True
Suppose -14*k - 7580 = -19*k - 5*g, -4*g - 4555 = -3*k. Is k composite?
True
Let l = -11 - -11. Suppose -a + 18 + 19 = l. Suppose -19 - a = -4*p - 3*f, f + 14 = p. Is p a prime number?
False
Let s = -8 - -12. Suppose 0 = 2*p - s*p + 12. Suppose 3*u - 4*k = 455, -k = 2*k + p. Is u a prime number?
True
Suppose -63*z + 59*z = -19004. Is z a prime number?
True
Let a(f) = 253*f**2 + 90*f + 7. Is a(8) composite?
True
Suppose -1682 - 4450 = s. Let d be s/36 + (-1)/(-3). Let a = 289 + d. Is a composite?
True
Let i(a) = 79*a - 1 + 104*a - 263*a. Is i(-1) a prime number?
True
Let p = 10 + -7. Suppose -j + 4*t - 2 = 0, -p*j - 2*t - 8 = -30. Suppose -1855 = h - j*h. Is h a composite number?
True
Let y(b) = 12*b**2 - 4*b + 7. Let z = 18 + -12. Suppose 2*g + 6 = 4*g - 4*c, -4*c + z = 2*g. Is y(g) a prime number?
True
Let n(w) = -132*w**3 - 2*w - 1. Suppose 3*k = 5*b - 87, 5*b - 91 = 3*k - 4*k. Let p be (-27)/b - (-2)/4. Is n(p) prime?
False
Suppose -9*j + 152934 = -89193. Is j a prime number?
True
Suppose -30 = -k - 2*k. Let v(d) = 2*d**2 - 9*d + 17. Is v(k) prime?
True
Let z = 77 + -60. Suppose -10*v - 12257 = -z*v. Is v a composite number?
True
Let i(m) be the first derivative of -2*m**2 + 4*m - 4. Let k be i(2). Let q(b) = 19*b**2 - 2*b - 5. Is q(k) composite?
False
Let i(w) = w**3 - 2*w**2 + 3*w + 4. Let r(q) = 3*q**3 - 5*q**2 + 7*q + 9. Let d(f) = -7*i(f) + 3*r(f). Let z be d(6). Let a = z - -396. Is a a prime number?
False
Suppose 5*z = -l - 4, -5*l + 88 = -4*z + 2*z. Let f = l + -16. Suppose 2*p + 3*s - 127 = f, -4*p - 4*s + 193 = -p. Is p a composite number?
False
Let c(s) = s**3 - 15*s**2 + 14*s + 2. Suppose 0 = m - 2*m + 14. Let d be c(m). Suppose d*r = 6*r - 628. Is r prime?
True
Let s(n) be the third derivative of 19*n**7/5040 + n**6/120 + n**5/60 + 9*n**2. Let h(k) be the third derivative of s(k). Is h(4) a composite number?
True
Suppose 4*l = -16, 0 = 5*o - 0*o + 3*l - 3. Suppose -4*u - 7936 = -5*w, w + w - 5952 = o*u. Is 1/3 - u/6 composite?
False
Is (-66)/385*5 + 112111/7 composite?
True
Let j = -10407 - -17185. Is j a composite number?
True
Suppose -3 = -2*u + 1. Let d(t) = 177*t - 1. Is d(u) a prime number?
True
Let d be 3074/4 + 10/(-20). Is (d - 0)/3 - (4 - 5) a composite number?
False
Suppose 2*v = 12*d + 56326, 8*d - 4 = 7*d. Is v a composite number?
True
Let a = 4572 - -1817. Is a a composite number?
False
Let q(n) = 6*n + 4. Let y be q(-1). Let r(k) = 709*k**2 - 5*k - 3. Is r(y) a composite number?
False
Suppose 6*m + 1888 = 358. Suppose -2*g + 2*u = -1196, 2*g = 3*u + u + 1200. Let w = g + m. Is w prime?
False
Suppose 0 = 4*m - 18532 + 1656. Is m prime?
True
Suppose 6 = 3*v + 2*f, -2*f - 7 = -1. Suppose v*m - 5*l + 1248 = 0, 3*m + 2*l + 938 = 2. Let n = 605 + m. Is n a prime number?
True
Let u = 9 + -13. Let g be ((-64)/(-4))/u - -23. Let y = 232 + g. Is y prime?
True
Suppose 3*a - 3*s = 21, -3*a + 5 = -4*s - 19. Suppose a*x + 8 = 0, 0*x - 3*x + 632 = 2*v. Is v prime?
False
Let j be (-4 + 2)*(-1)/2. Suppose -4*s + 50 = d - 339, -5*s - 4*d = -489. Is (2 + j)/3*s composite?
False
Let x = -42974 - -75859. Is x prime?
False
Suppose 42*y + 1389101 = 91*y. Is y a prime number?
True
Let v(h) = h + 9*h**2 - 8*h + h - 2*h**2. Let k be v(4). Let g = k + 61. Is g a composite number?
False
Suppose -q - 1 = -0. Is q + (-2 - (3 - 543)) a composite number?
True
Suppose -1679 + 463 = 4*i. Is -3 - i/(-12)*-6 prime?
True
Let c(a) = -10*a**2 - 10*a - 20. Let r be c(-6). Let v = 1457 + r. Is v a composite number?
True
Let t(m) = 139*m**3 + 3*m**2 - 25*m - 10. Is t(5) prime?
False
Let x(w) = 4*w**2 + 5*w - 11. Is x(-12) composite?
True
Suppose 2*f = 8*c - 3*c + 7, c = 4*f + 13. Is ((-2)/f)/((-21)/(-58758)) composite?
False
Let c = -2032 - -3413. Is c prime?
True
Suppose -5*t = 3*r - 350, 4*r + 385 = t + 4*t. Suppose t = 3*v - 95. Suppose -5*p = -p - v. Is p prime?
False
Let y be (-2 - -4)*-1 + 3. Let k be (7002/(-24))/(y/4). Is k/2*14/(-21) a prime number?
True
Let g(r) = -47*r**3 - r**2 + 5*r + 2. Let n be g(3). Is n/(-2 + 4 + -3) composite?
True
Let q(f) = 121*f - 10. Let w be q(6). Is w/(-12)*(-3 - 0) a composite number?
False
Let f(v) = 4*v**2 - 5*v - 7. Let q(r) = 4*r**2 - 6*r - 8. Let o(a) = 6*f(a) - 5*q(a). Is o(7) a prime number?
False
Let y(u) = 5*u - u**2 - 18*u + 1 + 3*u. Let t be y(-10). Let i(l) = 214*l - 1. Is i(t) a prime number?
False
Let c(p) = 0 + 20*p - 6*p**2 + 9*p**2 - 9 - 6. Is c(-12) a prime number?
False
Let w = 10068 - 5219. Is w composite?
True
Let c = 23 - 13. Let l(w) = 22*w - 9. Let x be l(c). Let k = x + -10. Is k composite?
True
Suppose 3*y - 3*p + 2*p = 13, -y + 7 = p. Suppose -y*b = -7*b + 178. Is b prime?
True
Let a = 33 + -7. Suppose 20*s + 4 = 21*s. Suppose -3*m - 63 = -3*r - m, 2*r + s*m - a = 0. Is r a composite number?
False
Let h(x) = -2*x + 9. Let a(l) = -l + 9. Let b(f) = 3*a(f) - 2*h(f). Let g be b(-7). Suppose 3*q - 2*p = 533, 2*q + 7*p - g*p - 387 = 0. Is q composite?
False
Suppose 3*o + 22458 = -5*h + 8*h, -3*h = -2*o - 22455. Is h a composite number?
True
Let s(w) = -4*w**3 + 14*w**2 - 11*w - 14. Let i be s(-13). Suppose -1794 + i = 3*u. Is u a prime number?
True
Is 5/(-1) - -17458 - -2 prime?
False
Suppose -21*z + 36*z - 339195 = 0. Is z prime?
True
Suppose 0*n - 2*n + 16 = 0. Suppose 12 = -n*r + 12*r. Suppose 2*y + 10 = r*y. Is y composite?
True
Let v be (-1)/7 + -1*108/(-21). Suppose -v*w = -2*n - 1609, 3*w = -2*w + 3*n + 1606. Is w prime?
False
Suppose -4*o + 3 = -5. Suppose -3*y - y + 1066 = o*x, 0 = -4*y - 16. Is x composite?
False
Suppose -58616 - 78361 = -3*d. Is d prime?
True
Let b be 3/(-21)*-2 - 15056/(-28). Suppose 9*i + b = 11*i. Is i composite?
False
Let r be (-50)/20*4/5 + 2. Suppose 0 = -l - l - f + 15436, r = -5*f + 10. Is l a prime number?
True
Let q(s) = 198*s**3 + 2*s**2 - 7. Is q(3) composite?
True
Suppose 2*c + 3*a = 13, -36 = -c - 4*c - 4*a. Suppose c*i + 1399 = 9*i. Is i prime?
True
Let o be 1/(3*(-5)/(-75)). Suppose o*u - 141 =