*n - 52 = 0, -f - 4*f + n + 41 = 0. Let b = 1 + f. Is b composite?
True
Suppose -5*l - 4*s - 30 = 37, -5*l + 2*s - 79 = 0. Let g = -2 - l. Is g a composite number?
False
Let q(u) = -u**3 - 10*u**2 + 7*u + 6. Let v be q(-5). Let d = -15 + 12. Is 2/(12/v)*d a prime number?
False
Let r be -9 + 11 - 5*-57. Suppose r + 94 = 3*v. Is v composite?
False
Is (-1 + 4/12)/((-2)/2703) prime?
False
Suppose 2*v + 3*y = 8107, -3*v = 2*y + y - 12162. Is v composite?
True
Let n(j) = 3*j + 19 + 5*j - 7*j. Is n(0) a composite number?
False
Let w(b) = 8*b**2 + 4*b - 3. Is w(9) prime?
False
Let c = 481 - 258. Is c composite?
False
Suppose -2*x - 3 = -x - p, -4*p - 24 = 2*x. Let b = 8 + x. Is -2 - -8*b/2 prime?
False
Suppose 132 = -0*m - 3*m. Let i = m - -93. Is i prime?
False
Let t(q) = -q**2 - q + 12. Let h be t(0). Suppose 4*j = 4*y + 132, 5*y + h = j - 5. Is j prime?
True
Let t be 109/4*8/2. Let p = t - 156. Let l = 6 - p. Is l prime?
True
Suppose -2*g = 2*g + 36. Is (-60)/(-9) + (-3)/g prime?
True
Let u(k) = k**3 + 28*k**2 - 30*k + 10. Is u(-13) composite?
True
Let f(w) = 13*w**2 + 3*w - 3. Is f(5) a prime number?
True
Let y(t) = -t**3 + t**2 + 8*t - 10. Is y(-7) prime?
False
Let j(d) = -d**2 - 5*d - 4. Let m be j(-3). Suppose -o + 8 = -w + m*w, -w - 2*o + 12 = 0. Is w/(-10) + (-66)/(-15) prime?
False
Let m = -17 - -20. Let o = 154 + m. Is o prime?
True
Let t be (-75)/10*4/(-6). Suppose -2*l - 5*h = -0*h + 11, h + t = l. Suppose -126 = -3*p + l*u + 3*u, 0 = 3*p + 4*u - 153. Is p prime?
True
Let o = 147 + 102. Is o a composite number?
True
Suppose 0 = -5*z - 5*i + 1515, 3*z - 4*i - 937 = -0*i. Is z a composite number?
False
Suppose -3*m + 2*d + 18 = 0, 0 = -3*d + d - 6. Suppose 0*f = -2*f + m. Suppose f*x + 12 = 4*x. Is x composite?
True
Let t = 0 - -10. Is (-4814)/(-10) - 4/t a composite number?
True
Let h(f) = 3*f**2 + 5*f + 9. Is h(7) a composite number?
False
Suppose 212 = k - 3*o, -3*k - k + 3*o + 821 = 0. Is k prime?
False
Suppose 5*t = 322 - 67. Let r(x) = x**3 - 8*x**2 + 8*x - 2. Let z be r(6). Let u = z + t. Is u a composite number?
True
Let l be 1/(3/(-9)) - -3. Suppose 72 = -l*n + 3*n. Let r = n - -41. Is r prime?
False
Let d(m) = 151*m - 9. Is d(20) a prime number?
True
Let q(o) = 20*o - 3. Is q(4) prime?
False
Suppose -2 = -2*h + 2. Is (131/(-2))/(h/(-4)) prime?
True
Let t(j) = 2*j - 11*j - 15*j - 5*j. Is t(-5) a composite number?
True
Let j(f) = 400*f - 3. Is j(2) composite?
False
Suppose a = -2*m + 3, -a + 1 = 3*m - 3. Let r = m + -3. Is (-74)/(-4) - 1/r prime?
True
Let d(t) = -t + 4. Let k be d(5). Let v be ((-18)/((-3)/k))/1. Let x(a) = a**2 + 6*a + 3. Is x(v) composite?
False
Let o(l) = -9*l + 25. Is o(-18) composite?
True
Suppose -5 = -t, 4*n - 46 = -0*n - 2*t. Is ((-1130)/(-8))/(n/36) a prime number?
False
Let o(r) = -r**3 + 19*r**2 + 7*r - 14. Let k be o(14). Suppose 1076 + k = 4*j. Is j a prime number?
False
Let t(w) = 60*w**3. Let f(r) = r + 5. Let q be f(-6). Let d be t(q). Let p = d + 271. Is p a prime number?
True
Let z(y) = -19*y + 2. Let r(h) = -56*h + 6. Let s(q) = -4*r(q) + 11*z(q). Is s(3) a prime number?
True
Let b = 38 + 5. Is b a composite number?
False
Suppose -2*u = -0*u - 6. Suppose 4*v = -u*g + 2200, v + v - 3*g = 1118. Is v a prime number?
False
Let m(k) be the third derivative of -k**6/120 + k**5/20 + k**4/8 + k**3/6 - k**2. Is m(-2) prime?
False
Is 14/(-8)*(-248)/2 prime?
False
Suppose 5*g = 2*y - 4*y - 6052, -4*y - 12124 = 5*g. Is (-1)/(-3)*y/(-4) prime?
False
Let h(y) = -26*y**2 - 3*y - 5. Let q be h(-7). Let i = -785 - q. Is i a prime number?
False
Let h = 192 - -139. Is h a composite number?
False
Let g be 5/1*12/20. Suppose -2*m + 295 = g*m. Is m a composite number?
False
Suppose 3 = -2*m + 3*m. Suppose 8*k - 5*k = -p + 948, 1594 = 5*k - m*p. Is k composite?
False
Suppose 3*q - 46 = -2*q - 2*y, -42 = -5*q - 4*y. Suppose -d + q = -5*p, -3*p = -d - 7*p + 55. Is d composite?
True
Suppose a - 1 = 4*u + 7, -5*a + 2*u + 130 = 0. Suppose 2*y - 3*y + a = w, -w - 3*y + 32 = 0. Is w composite?
True
Suppose b - 741 = -2*s, -2629 = -5*s + b - 773. Is s composite?
True
Suppose -3*m + 7*m - 952 = 0. Suppose -3*v = -5*i - 212, -i = -5*v - m + 628. Is v a composite number?
False
Let u be ((-3)/(-5))/(2/10). Suppose -171 = -3*j - 3*w, -u*j + 0*w + 171 = w. Is j prime?
False
Let z = 5 + -1. Let r be 1/z - (-4)/(-16). Suppose m + r = 2. Is m prime?
True
Let q(w) = w**3 + 6*w**2 + 2. Let n be q(-6). Suppose n = -2*i - 0. Let m = i - -3. Is m a composite number?
False
Let n(g) = -3*g**3 - 3*g**2 - 2*g + 3. Let w be n(-3). Suppose -6*v + 12*v = 132. Let a = v + w. Is a composite?
True
Is (4/2 + -720)/((-4)/2) a composite number?
False
Let h(n) = -2*n + 2. Let m be h(-2). Let g(w) be the third derivative of w**5/30 - 5*w**4/24 + 3*w**3/2 - 2*w**2. Is g(m) composite?
True
Let y be 1 - (2 + -4 + 1). Let v be (11 - (-2 + 2)) + y. Let l = 8 + v. Is l prime?
False
Let m(f) = f**2 + 5*f - 6. Let c be m(-6). Suppose c = -5*y + 4 + 6. Suppose k + l - y*l - 7 = 0, 5*l = 3*k - 21. Is k a prime number?
True
Suppose -2*c = c - 96. Suppose 1 - c = -l. Is l prime?
True
Let h be ((-605)/10)/(1/(-2)). Suppose x - 109 = -4*v + 3*v, 3*v = x - h. Suppose 3*p = 47 + x. Is p a composite number?
False
Suppose -2*b = -0*g + 3*g - 114, 0 = 5*b + 4*g - 285. Let w(j) = -2*j + 4. Let s be w(5). Is (-2)/(s/b - 0) composite?
False
Let l = -7 + 8. Is (109*1/1)/l prime?
True
Suppose -2*f = -3*f. Suppose -2*d + f = 2. Is (-10)/(2*d + 1) composite?
True
Let o(m) = -232*m**3 + 3*m**2 + 5*m + 3. Is o(-1) prime?
True
Suppose -3*x - 2 = -x. Let m = 32 + x. Is m composite?
False
Suppose 4*k - 8 = 0, -2*k + 8 = 2*i - 6. Suppose -4*x + 3 = -i. Suppose x*m + 130 = 4*m. Is m composite?
True
Let q = 1235 + -678. Is q composite?
False
Let g = 531 + -240. Is g a composite number?
True
Let g = -90 - 81. Let t = 202 - g. Is t a composite number?
False
Let i = -638 + 1469. Is i prime?
False
Let j(o) = 14*o**2 + 18*o + 3. Is j(-5) composite?
False
Let r be 52/24 + (-2)/12. Suppose -3*f = -r*f - 21. Is f composite?
True
Let v(y) = 3*y**3 - 10*y**2 - 4*y + 13. Let h(r) = 2*r**3 - 5*r**2 - 2*r + 7. Let q(g) = 5*h(g) - 3*v(g). Let l be q(-4). Suppose l*z - 52 = 96. Is z composite?
False
Is 1498/1 + (3 - 4) a prime number?
False
Suppose -30 = -2*r + 110. Suppose -r - 595 = -5*o + 4*l, 2*l = -2*o + 266. Is o a composite number?
True
Let w(t) = -t + 111. Let d(n) = n**2 - 2*n - 3. Let v be d(3). Is w(v) a prime number?
False
Let j = 2 - 0. Suppose j*m = 6*m. Let b = 47 - m. Is b prime?
True
Let j(v) = 626*v - 9. Is j(4) prime?
False
Let r be (-13104)/(-77) + 2/(-11). Suppose -4*s - s = -r. Is s prime?
False
Let a(m) = m**3 - m. Let x be a(-2). Is (-1516)/6*9/x a composite number?
False
Suppose 4*x - 11 = r + 4, 3*x = -4*r + 35. Suppose -r*b = -72 - 713. Is b a prime number?
True
Suppose 0 = -2*s + 548 - 150. Suppose 4*f - s - 285 = 0. Is f a composite number?
True
Suppose -3125 + 32951 = 18*p. Is p prime?
True
Let z(r) be the first derivative of 113*r**3/3 - r**2/2 + r - 3. Is z(1) a prime number?
True
Suppose 3*t + 3*w + w = -35, -w = 3*t + 29. Let b(i) = -14 - 3 + 5 - 7*i. Is b(t) prime?
False
Let m(h) = h**3 - 8*h**2 - 9*h - 3. Let l be m(9). Is (32 - l) + 1 - -1 a prime number?
True
Let s be 2/(-6) - 19/(-3). Let x(j) = -5*j**3 - 3*j**2 + 23*j - 21. Let g(y) = -3*y**3 - y**2 + 12*y - 11. Let l(o) = -7*g(o) + 4*x(o). Is l(s) a prime number?
False
Let h = 459 - 174. Let x = 448 - h. Is x prime?
True
Let t(a) = 2*a**2 - 4*a + 5. Let b be t(5). Let f = 124 - b. Is f composite?
False
Suppose -y + 2*y = 119. Is y prime?
False
Let z = 10 - 8. Suppose -p - 37 = -z*p. Is p composite?
False
Let i(b) = b**2 - 2*b + 1. Let a be i(1). Suppose 2*l + 3*l - 65 = a. Is l prime?
True
Let u = 55 + -35. Suppose -2*j = -j + u. Let p = j - -45. Is p composite?
True
Let t be 56/12*3/2. Suppose -2*s - u + 194 = 0, 2*s - 184 = -3*u + t*u. Suppose -g = -5*p + s, -15 = -p - 0*p - 4*g. Is p prime?
True
Let f be 60/2 - (-2 + 4). Suppose 3*h + f = 5*l + 108, 0 = -5*h - 3*l + 190. Is h composite?
True
Let m(f) = 13*f**3 + 3*f**2 + 3*f - 5. Is m(4) a composite number?
False
Suppose -2*q = 5*v - 4005, -4*v = 2*q + q - 3197. Is v prime?
False
Let k = 22 - 31. Is -2*k/30*335 a composite number?
True
Suppose 5*b - 7423 =