se -v - 3*v = -20. Suppose -v*o + 9 + 11 = 0. Suppose 0*r + 156 = o*r. Is r a composite number?
True
Let u be (54/3)/(-3)*6. Let i = 29 - u. Is i prime?
False
Let u(i) = -i**3 - 6*i**2 - i - 6. Let p be u(-6). Suppose -3*q + 3*m = 2*m - 195, m = p. Is q prime?
False
Let m(z) be the second derivative of z**3/2 - 5*z. Let i be -2 + 0 + 3*3. Is m(i) a prime number?
False
Suppose 5*m = 4*a + 9, 2*a - 5*m + 0 + 7 = 0. Suppose q - 12 = 14. Let k = a + q. Is k composite?
True
Let y = -10 + 15. Suppose 2*v - 5*r - 30 = 0, 3*v + y = 5*r + 40. Suppose -v*s + 20 = -235. Is s a prime number?
False
Let z be 4/2 - (-2 + 3). Suppose -z = -4*y + 31. Is (-144)/(-14) - y/28 prime?
False
Let k(g) = -17*g + 14. Is k(-12) a composite number?
True
Let j = -8 + 13. Let r(b) = b**3 - 5*b**2 + 7*b. Is r(j) a composite number?
True
Let l(g) = 2*g**2 + 5*g + 6. Is l(7) a prime number?
True
Suppose 2*z + 4 = a, -4*a + 6 = -a. Let m be (1431/6)/z*-2. Is (-2)/((-3)/(m/6)) a composite number?
False
Let q(l) be the second derivative of l**6/120 - l**5/15 + l**4/12 - l**3/3 - l**2 - 3*l. Let r(u) be the first derivative of q(u). Is r(5) composite?
True
Let w be ((-6)/(-14))/((-1)/(-7)). Suppose 0 = -w*k + 220 + 167. Is k a composite number?
True
Is (-3 - -2)/(3 - 4102/1367) a composite number?
False
Let k = -50 + 87. Let b = -16 + k. Is b a composite number?
True
Let v be (-22)/8*8/2. Let i = -8 - v. Suppose -i*s + 4 = -5. Is s a composite number?
False
Suppose 0 = 4*x - 5*h - 318, -6*h + 223 = 3*x - 2*h. Is x prime?
False
Let t = 838 - 573. Is t a composite number?
True
Let g(i) = 180*i**3 + 2*i**2 - 2*i + 1. Is g(1) a prime number?
True
Let o = -251 + 145. Let s = -75 - o. Is s prime?
True
Let h be (6/(-9))/((-2)/51). Let a = h + -10. Is a a composite number?
False
Suppose h - 89 = 4*z - 16, 0 = 5*z + 5*h + 60. Let m = 20 - z. Is m prime?
True
Suppose 23 = 4*l + 3*s + 4, -2*s + 10 = 2*l. Suppose -5*w = 4*o - 56, 3*o - o - l*w = 54. Is o a prime number?
True
Let l(u) = u**3 - u**2 - 4*u - 3. Let q be l(7). Suppose -4*w + q + 125 = 0. Is w prime?
True
Let j = 9 - 4. Suppose 20 = j*s - 395. Is s a composite number?
False
Let b = -102 + 125. Is b prime?
True
Let n(s) = -s**3 + s - 19. Let l be n(0). Let i = l - -34. Is i a composite number?
True
Let r(p) = -483*p + 8. Is r(-3) a prime number?
False
Let t(k) be the first derivative of k**2/2 - k - 1. Let q be t(6). Suppose 0*i = q*i - 155. Is i a composite number?
False
Suppose 2125 + 894 = h. Is h a prime number?
True
Suppose -g - 4*g + 4*u - 6 = 0, 5*g + 2*u = 18. Is (g/(-4))/(3/(-54)) a composite number?
True
Let x(v) = -v - 2 + 0*v + 9 + 6*v + 7*v**2. Is x(-5) composite?
False
Let x(d) = d**3 - 7*d**2 - 2*d + 7. Suppose -7 = -0*o - o. Let g be x(o). Is (-8)/28 - 240/g a composite number?
True
Suppose r = 4*a + 157 - 0, -5*a - 185 = r. Let d = a - -61. Is d a prime number?
True
Suppose -41587 - 33982 = -13*q. Is q a composite number?
False
Let d = -14 - -12. Is -19*(-3 + 2) - d composite?
True
Suppose 246 = h + 2*u, 4*u - 163 = -h + 75. Is h a prime number?
False
Suppose 5*g - 4*n = 2*g + 685, 4*n = 2*g - 462. Is g a prime number?
True
Let w = 51 + 58. Is w composite?
False
Let x(r) = -4*r**3 - 9*r**2 - 7*r + 1. Let j(t) = t**3 + t**2. Let g(d) = -5*j(d) - x(d). Is g(5) prime?
False
Suppose -4*b + 25 = 3*x - 4*x, b - x - 10 = 0. Suppose 4*f - c - 818 = c, -b*f + 1021 = -2*c. Is f prime?
False
Let u(b) = -b**3 - 2*b**2 - 5*b + 7. Let o be u(-8). Suppose 0 = 3*h + 4*r - o, 2*h - 104 = r + 198. Is h prime?
True
Suppose -14 = -5*a + 3*x + 9, 2*x = -2. Suppose -h = a*m - 37, 7 = m + h - 0*h. Is m composite?
True
Suppose h - 98 = 122. Let z(d) = 2*d**2 + 25*d + 18. Let u be z(-12). Is h/u - 4/(-12) a composite number?
False
Suppose -3 = -2*h + 9. Is h a composite number?
True
Suppose 4*t - t = 15, t = 5*o - 20. Suppose 5*z - 33 = m + m, 3*z + 5 = -o*m. Let i = 72 - z. Is i a composite number?
False
Let j = 94 + 193. Is j composite?
True
Is 0 + -1 + (37*32)/4 a prime number?
False
Suppose -368 = -7*s - 39. Is s a prime number?
True
Suppose -7*b - 740 = -2*b. Suppose 0 = p - 0*p - 4, 1147 = 5*r - 2*p. Let i = r + b. Is i a prime number?
True
Let i(p) = -p + 1. Let q be i(-1). Suppose -1 - 9 = -q*l. Suppose 0*s - 4*s + 28 = 3*m, 4*s + l*m - 20 = 0. Is s composite?
True
Let u be -8*1*1/(-2). Let h(n) = n + n**2 - 2 - 1 + u*n. Is h(4) prime?
False
Is 2/(-6) - 12230/(-15) a prime number?
False
Suppose -2*l - 9 = -5*a + 18, -3*a + l + 16 = 0. Suppose 169 - 64 = a*v. Is v composite?
True
Let s be 700/22 + (-10)/(-55). Suppose 10 = -r + s. Is (15/(-6))/((-1)/r) prime?
False
Let n(d) = -40*d + 75. Is n(-23) composite?
True
Let p(c) = 13*c**2 - c + 3. Suppose -2*f - 2*f = -8. Is p(f) composite?
False
Let l(x) = x**3 - 4*x**2 + 5*x - 4. Let v be l(3). Suppose -v*m = -5*h - 175, -2*h + 122 + 264 = 4*m. Is m composite?
True
Let j(r) = r - 4. Let v(s) = 12*s - 51. Let w(a) = -27*j(a) + 2*v(a). Let k be w(7). Is (-10)/k - (-103)/3 a composite number?
True
Let z(q) = 6*q**2 - 1 - 7*q**2 - 3*q + 4. Let k be z(-4). Let v = k + 8. Is v a composite number?
False
Let k = -7 - -7. Is (k + -251)/(6/(-6)) a composite number?
False
Let n = -18 - -18. Suppose 0*q - 2*q + 102 = n. Is q prime?
False
Suppose i = 234 + 101. Let t = -212 + i. Is t a composite number?
True
Suppose -2*l + 12515 = 3*l. Is l composite?
False
Suppose -47 = -2*t - 2*f + 1441, 5*f - 25 = 0. Is t composite?
False
Let q(s) = -24*s - 8 + 2 + 13. Is q(-5) prime?
True
Suppose -2323 = -2*z - 785. Is z prime?
True
Suppose 2*z - 13 = 3*u - 4*u, u - 3*z = 13. Suppose u*a + 179 = 14*a. Is a composite?
False
Let t = -1204 + 841. Let h = t + 512. Is h a composite number?
False
Let g(a) = a**2 + 6*a + 3. Let s be g(-6). Suppose s*o + o = 4. Is -3 + o + 2 + 22 prime?
False
Suppose -10 - 2 = -4*v. Suppose -2*t + v*t + 4 = 0. Let q(z) = 7*z**2 - 2*z + 1. Is q(t) prime?
False
Suppose 4*a = -20, -2*t - 6*a + 4*a = -5148. Is t prime?
True
Suppose -3*b = -b - 148. Suppose 1 = -n - 8. Let j = b - n. Is j a prime number?
True
Suppose 0*h - p = -4*h + 480, -h + 107 = 3*p. Let b = 213 - h. Is b prime?
False
Is (46/(-4))/(3/(-66)) a composite number?
True
Suppose -a - 3*a = 40. Let k = -4 - a. Let o = 20 - k. Is o a prime number?
False
Let s(y) be the first derivative of y**3/3 - 4*y**2 - 4*y - 1. Let r be s(7). Let j = r + 21. Is j prime?
False
Let p(s) = 66*s - 5. Is p(4) a prime number?
False
Let o = 18 + -13. Suppose 2*z - o*y - 716 = 426, 2*z - 3*y = 1150. Is z a prime number?
False
Let k(q) = q**2 - 2*q. Let v be k(3). Is 78 + (6 + -3)/v composite?
False
Let y = -1 + -3. Is (37/y)/((-1)/4) a composite number?
False
Is ((-6)/4)/(30/(-11260)) a prime number?
True
Suppose -2046 = -5*u - 4*q - 652, 2*u = 3*q + 553. Is u composite?
True
Let l = 0 + -3. Let x(c) = c**3 + 5*c**2 + 3*c - 4. Let d be x(l). Is 7/1*d*1 prime?
False
Suppose 5 = -3*d - 4*b, -4*d - 2*b - 7 = 3*b. Let j(s) = -s**3 - 4*s**2 - 4*s. Is j(d) composite?
False
Suppose 0 = o - 5*r - 27, 3*r + 9 = -4*o + 2. Suppose c - 1 = o. Suppose 4*a - 233 = -c*j, 4*a + j + 64 - 299 = 0. Is a a composite number?
False
Suppose -3*o + 11 = 2*j, 0*j = -o - 4*j + 17. Let c(u) = 53*u**3 - u**2 + 1. Is c(o) prime?
True
Let f be 1 + 0 + (-4)/(-2). Suppose 90 - 33 = f*n. Suppose 2*t + n = a - 10, -a - t = -41. Is a prime?
True
Suppose 0 = 5*v - 2*i - 2557, 4*v + i - 1543 = v. Let j = v + -205. Let c = j - 177. Is c prime?
True
Suppose 0 = 3*f - 0 - 6. Suppose f*w = 5*w + 6. Is w/2*91*-1 a composite number?
True
Let h(p) = 15*p**2 + 5*p + 9. Is h(-7) a composite number?
False
Let o = -31 - -14. Let f = -29 - o. Is f/8*(-116)/3 prime?
False
Let i = -6395 + 9064. Is i prime?
False
Let d(m) be the third derivative of m**6/120 + m**5/10 + m**4/6 + 2*m**3/3 - 2*m**2. Is d(-3) composite?
False
Let q(s) = -s**3 - 6*s**2 - 2*s - 4. Is q(-7) composite?
False
Let m(s) = s - 3. Let p be m(8). Suppose -5*y + 4*y + 77 = 4*i, -3*i = p*y - 436. Is y a composite number?
False
Let w(n) = n**2 - 7*n + 4. Let o be w(5). Let c be 371/((12/9)/(-4)). Is (c/7)/(o/4) a prime number?
False
Suppose 2*o + 3 = 5*o. Is (o + 64/5)*5 composite?
True
Suppose 5*b + 2317 = 12*b. Is b a prime number?
True
Let r(n) = n**2 + 3*n - 3. Suppose -4*f + p + 18 - 2 = 0, 12 = 4*f - 2*p. Is r(f) a composi