6*x - 175123 = -7*x. Is x composite?
True
Let n(s) = 10*s**2 - 12*s - 25. Let u = -8 + -4. Is n(u) prime?
True
Suppose -8*s + 17789 = -1211. Let f = s + -1488. Is f prime?
True
Let a(n) = 1417*n - 82. Is a(5) prime?
False
Suppose -b + 1094 = d, 3*d - 2*b = -6*b + 3284. Suppose -382 + d = 2*s. Is s prime?
False
Let h = 290 + -109. Let l(k) = -5*k + 139. Let y be l(17). Let u = y + h. Is u prime?
False
Let n be (-1)/3 + (-49)/(-21). Suppose 0 = n*a + 3 + 5, 5*d - 2*a - 23 = 0. Is (2/d)/(16/2136) composite?
False
Let p(x) be the first derivative of -x**4/4 + 25*x**3/3 + 2*x**2 - 11*x - 13. Is p(25) a prime number?
True
Let b(z) = -1549*z - 600. Is b(-17) a prime number?
True
Let v(s) = 5925*s + 12. Let y be v(-2). Is (y/4)/3*(15 + -17) prime?
True
Let p = 4406 + 9035. Is p prime?
True
Suppose 6*a = 2*a - 2448. Suppose 10*q + 3452 = 14*q. Let m = q + a. Is m a prime number?
True
Let z = 14672 + -5869. Is z prime?
True
Is 5293 - (-1 + (-4)/(-12))*6 composite?
False
Suppose 18*n - 13*n = -4*b + 25432, -b + 6361 = 2*n. Is b prime?
True
Let v = -6194 - -10857. Is v a prime number?
True
Let c(r) = 62*r**3 - 2*r**2 - 25*r + 46. Is c(9) prime?
False
Suppose 0 = l - 3*l + 8. Let v(c) = 6*c**2 + 9*c + 7. Let r(p) = -2*p**2 - 3*p - 2. Let o(a) = 8*r(a) + 3*v(a). Is o(l) prime?
False
Is (-1 - 0 - 90)/(-16 - -15) composite?
True
Suppose 5*r + 4 = 2*l - 5, -l = 2*r. Is r/((3/3309)/(-1)) a composite number?
False
Let g be 36/(-12)*8/(-6). Suppose x = -g*n + 3*x + 3452, -3*n - 2*x = -2603. Is n composite?
True
Suppose 48666 = -98*x + 104*x. Is x prime?
True
Let h(s) = -13*s - 1. Let d be (3 - (2 + 4)) + 29. Suppose 4*p = f - d, 2*f + 8 = -p + 3*f. Is h(p) a composite number?
True
Let k = 4 - 2. Let a(i) = 3*i**3 - 2*i**2 + i + 1. Let y be a(k). Let c = -9 + y. Is c composite?
True
Let j = -9 + 12. Suppose 11 = j*k - 5*q + 1, 3 = k - 2*q. Suppose 44 = k*o - 251. Is o prime?
True
Suppose o = 2*i + i - 3, -3*i + 3 = 2*o. Suppose o = k - 4*k + 561. Is k a composite number?
True
Is 43*(42 + (0 - 1)) a prime number?
False
Let q(n) = -n - 7. Let j(u) = 2. Let c(l) = 21*j(l) + 6*q(l). Let d be c(-4). Is (158/(-6))/((-4)/d) prime?
False
Suppose -20*l - 178921 = -684741. Is l a prime number?
False
Suppose 8*i - 6906 - 37150 = 0. Is i composite?
False
Let x = 22580 + -11907. Is x composite?
True
Let y(o) = 1. Let v(f) = -146*f + 27. Let p(c) = v(c) - 6*y(c). Is p(-10) composite?
False
Let f = -111 - -228. Let y = 15 - f. Is (-21 + 2)*y/6 prime?
False
Let z(d) = d**3 + 11*d**2 - d - 11. Let u be z(-11). Let h(g) = -2*g + 16. Let x be h(7). Suppose o = -2, u = 4*l + x*o - 749 - 475. Is l a prime number?
True
Let r(a) be the first derivative of -a**4 + a**3/3 + a**2 + 2*a - 117. Suppose -5*b + b = 12. Is r(b) composite?
False
Let c(d) = 104*d**2 + d - 2. Let y be c(-4). Suppose -2*f + f + 0*f = 0. Suppose 2*i + f*i = y. Is i a composite number?
False
Let v(n) = n**3 - 24*n**2 + 7*n - 21. Is v(25) prime?
False
Let z(b) = -b**2 + 6*b + 701. Is z(0) a composite number?
False
Let y(u) = 30*u - 1. Let s be y(-7). Let t = 576 + s. Is t a composite number?
True
Suppose 2*m - 5*a + 21 = m, 3*a = -4*m - 15. Let w = 30 + m. Is 12980/w + (-1)/(-6) composite?
False
Suppose -5*v = -3*o + 1412, 10*o + 2*v = 6*o + 1874. Let c = o + -268. Is c prime?
False
Let l = 7427 - 3250. Is l a prime number?
True
Suppose 18*d = 23*d - 30. Suppose p - d*p = 1770. Let x = 655 + p. Is x a composite number?
True
Suppose g - w = 0, g - 3*w = -6*w + 12. Let v = g - 6. Is 23/((-116)/(-38) + v) prime?
False
Let t be -3*(-16)/24 - 3*6. Let m(h) = 10*h - 3. Let g be m(4). Let b = g - t. Is b a composite number?
False
Suppose -4*v + 82 + 1457 = q, 3*v - 1146 = 2*q. Suppose 3*g - 1651 = 4*s, 0 = -0*s + s + 5*g + v. Let p = -72 - s. Is p composite?
False
Suppose 238*g + 15544 = 246*g. Is g prime?
False
Let o(g) = -6974*g + 503. Is o(-4) prime?
False
Suppose 26*v + 219 = 8513. Is v prime?
False
Let m(x) = x**3 + 30*x**2 + 18*x + 3. Is m(-16) prime?
True
Let z = -8656 - -14649. Is z a prime number?
False
Let z = 12537 - -1016. Is z a composite number?
False
Suppose 0 = 2*d - 0*h - h - 294, 4*h = -d + 156. Suppose 0 = w + 69 - d. Is w prime?
True
Suppose 4*i + 33 = -3*t, 2*i - 5*i - 9 = -3*t. Suppose -g = 2*f - 9, -16 = -4*f + f - 2*g. Is 2/f - (i + -78) composite?
True
Let i = 94 - 99. Is ((-2804)/12)/(i/15) a prime number?
True
Suppose 2*w - 5 - 19 = 0. Let j = w - 6. Suppose -j*x = -4*x - 902. Is x a prime number?
False
Let z(i) = -7*i - 4. Let b be z(-12). Suppose 22 = -3*y - b. Let q = 67 + y. Is q a prime number?
False
Let x(k) = k**2 + 7*k - 6. Let l be x(-6). Is 54306/l*2/(-3) prime?
False
Let v be (2/(-4))/((-9)/(-180)). Let m(c) = -c**3 - 7*c**2 + 9*c - 4. Is m(v) a prime number?
False
Let h be ((-2 - 0) + -2)/(-1). Suppose -14 = 3*j + 5*r, -2*j = -4*j - h*r - 12. Suppose -j*t - 37 = 3*i - 148, -t = 0. Is i a prime number?
True
Let a = 13029 + -3482. Is a a prime number?
True
Suppose -4*v = -0*v. Let h = -7 + -234. Is -3 + v + (-3 - h) prime?
False
Let c = -4530 - -8119. Is c a prime number?
False
Suppose -n + 36 = -45. Let l = n + 1. Suppose -t + 76 = -l. Is t a composite number?
True
Let u(v) = 4*v + 13*v**2 + 17*v**3 - 42*v**3 + 26*v**3 - 19. Is u(10) composite?
True
Suppose 10 = 5*o - 0*o. Suppose 1048 = 2*y - b, 1038 = 4*y - o*y + 4*b. Is y a composite number?
False
Let q = -39 + 7. Is q/6 + 5 - 1844/(-6) a prime number?
True
Let t(s) = 2*s**3 + 13*s**2 - 2*s - 6. Let i(a) = a**2 - a - 1. Let z(m) = 6*i(m) - t(m). Let c be z(-7). Is -2 + -3 + c + 1 composite?
False
Suppose -4*j + 26 = -22. Let g = 16 - j. Let p(u) = u**3 + 2*u**2 - 2*u - 3. Is p(g) prime?
False
Suppose 0 = -b + 2*m - 0 + 3, -7 = -3*b + 5*m. Let k(w) = -22*w**3 - w**2 - w - 1. Is k(b) a prime number?
False
Let c(y) = 102*y**2 + 25*y + 49. Is c(16) prime?
True
Let j = 5302 - 2931. Is j a prime number?
True
Let m(o) = -3*o + 12. Let z be m(8). Let j be (-3460)/z + 2/3. Let r = -162 + j. Is r a prime number?
True
Suppose -2*v - 6764 = -2*w, 4*w + 5*v = -4982 + 18519. Let p be (-3 + (1 - w))/(-1). Suppose p = -l + 6*l. Is l a prime number?
True
Suppose 5*f - 164 = -69. Let t = -17 + f. Suppose -5*c + 0*c = -2*u - 1055, 0 = t*c - 5*u - 422. Is c prime?
True
Suppose 4*g + 7 = -3*f, f + 4*f + 17 = -4*g. Let w(v) = 85 + v**g - v - 2*v**2 + 0*v**2. Is w(0) composite?
True
Suppose x = -5*o + 531, o + 1078 = 2*x + 3*o. Is x prime?
True
Let q(d) = -d**3 + 38*d**2 - 21*d - 1. Is q(29) a composite number?
False
Suppose 19618 = 15*x - 38987. Is x composite?
False
Let b(t) = -t**3 + 13*t**2 + 2*t + 125. Is b(11) a prime number?
True
Let r be 3/2 - (-27)/18. Let c = r - 1. Suppose 0*v = -4*v + 5*n + 192, -c*n = -2*v + 94. Is v composite?
False
Let x(u) = 1138*u - 433. Is x(12) a composite number?
True
Suppose -119 = -4*o - 103. Is o/((-56)/(-19750)) - 2/(-7) a composite number?
True
Let v = -2006 - -3507. Suppose -2*u - 1992 = -4*r - 4*u, 2*u = 3*r - v. Is r a prime number?
True
Let n = 3845 + -2728. Is n a composite number?
False
Let v be 24/(-15)*-2*(1 - -9). Is (-629)/(-3) + v/24 composite?
False
Is (741/468 + 10/(-8))*879 prime?
True
Let o(d) = 9*d**3 - d**2 - 2*d + 1. Let a(n) = -5*n - 2. Let j be a(-4). Suppose -4*k + 23 = 4*b - 1, -k - 4*b + j = 0. Is o(k) a composite number?
True
Suppose 8*g = 4*g + 20. Suppose 3*s - g*s = -334. Suppose -y + 320 = -s. Is y a composite number?
False
Let a(k) = -4*k + 2. Let y(t) = 3*t - 9. Let p be y(4). Suppose -4 = -p*q + q, 0 = -4*g - 4*q - 4. Is a(g) a prime number?
False
Suppose -15*f + 42136 + 39929 = 0. Is f a prime number?
True
Let g(a) = 5*a - 2. Let r(m) be the third derivative of m**4/24 + m**3/6 - 3*m**2. Let b(i) = -g(i) - 6*r(i). Is b(-6) a composite number?
True
Suppose -47*s - 3*s + 979150 = 0. Is s a composite number?
False
Let g = 334 - 198. Let u = 1225 + g. Is u prime?
True
Let i(o) = 2*o**2 + 47*o - 58. Is i(-39) a composite number?
False
Let n(r) = 886*r + 155. Is n(6) a composite number?
False
Suppose 0 = -5*s - 2*w + 651, 285 = 2*s - 2*w + 19. Is s a prime number?
True
Let q = -18561 - -31456. Is q composite?
True
Is (-434415)/(-45)*(-2 + 5) a prime number?
True
Suppose 23*g = -10*g + 50721. Is g composite?
True
Suppose 0*j + 2*z = 4*j - 42, 51 = 3*j + 5*z. Let r(k) be the first deriva