5*o = 5*m - 40. Suppose b - 4 = 8. Suppose -b = m*q - 75. Is q a prime number?
False
Let k be 6/(-27) - (-5350)/18. Suppose -3*z - b - 10 = b, -15 = 3*b. Suppose 5*i + 2*y - k = z, -5*y + 0*y - 231 = -4*i. Is i a prime number?
True
Let h be ((-3)/(-5))/((-6)/(-30)). Suppose 2*r + h*q = -0*r + 211, -5*r + 540 = 5*q. Is r composite?
False
Suppose -14 = 3*d + 4. Let o(t) = 2*t**2 + 9*t + 4. Is o(d) a prime number?
False
Suppose 4*y = 7*y - 579. Suppose 5*b - y = 47. Suppose -2*k = -2*l + b, 4*k - 35 = -2*l + 7. Is l a composite number?
False
Let r(y) = -1 + 5*y - y**2 + 4*y - 1 - 3*y. Let o be r(-5). Is o/12*2*-2 a composite number?
False
Let f(t) = 4*t**2 + 2*t**2 + t - 14 - 4*t**2 - t**2. Is f(-12) composite?
True
Let t be 1/(-2) - (-1082)/(-4). Let k = -182 - t. Is k composite?
False
Suppose -3*y - 2 = -14. Is (-434)/(-5)*10/y a prime number?
False
Let f(d) = d**2 - 1 - d**2 + 4*d + 3*d - d**2. Let b be f(7). Is 2 + -18*(b - 1) prime?
False
Let v(c) = c**3 - 4*c**2 - 2*c - 2. Let j be v(5). Let p(l) = 12*l - 14. Is p(j) composite?
True
Let y be (-7)/14 + 2/4. Suppose y = 3*x + 13 - 115. Is x a composite number?
True
Suppose 0 = -2*d + 5 + 5. Let w be (18/(-4))/(d/(-10)). Suppose -4*i + 85 = w. Is i a composite number?
False
Let y(n) = -11*n + 2. Let f = 11 - 15. Is y(f) prime?
False
Let z(u) = -u**2 - 9*u + 6. Let v be z(-9). Is (-32)/48 - (-1798)/v prime?
False
Let n(s) = -s**2 + 5*s + 4. Let a be n(5). Suppose 0*j - 452 = -a*j. Is j a prime number?
True
Let t(u) be the second derivative of u**5/2 + u**4/4 + u**3/6 - u**2 - u. Let v be t(-2). Let l = -35 - v. Is l a composite number?
False
Suppose 3*g - 3369 = -663. Suppose 5*x - 163 = g. Is 1/(-4) + x/4 composite?
False
Let h = -23 + 13. Is (-215)/(-7) + h/(-35) prime?
True
Let n(q) = -56*q**3 - q**2 - 3*q - 1. Is n(-1) composite?
True
Let v(h) = -291*h**3 - 1. Let i be v(-1). Is -1 - (i*-1 - -2) prime?
False
Suppose -73 = -4*f + 67. Is 1660/f + (-3)/7 composite?
False
Suppose 4*f + 0*f = 0. Suppose 2*v - v = f. Suppose v = 3*q - q - 102. Is q prime?
False
Let v be ((-56)/6)/(2/(-3)). Let s be v/21 - (-13)/3. Suppose -51 = -2*k - s. Is k prime?
True
Let r(b) = b**2 - 9*b - 11. Let t be r(10). Let a(d) = 13*d + 1. Let c be a(t). Let w = -5 - c. Is w a prime number?
True
Let z be 3 + 0 - (-8 + 4). Let w = 24 + z. Is w a composite number?
False
Let n(a) = -a**3 + 7*a**2 + 2*a - 3. Is n(-6) a composite number?
True
Let h = -93 + 734. Is h composite?
False
Let c(o) = -118*o**3 + 3*o**2 + o. Let j be c(-2). Suppose -i + j = 2*i. Suppose 0 = 4*q + 5*u - i, 2*u + u - 391 = -5*q. Is q prime?
False
Let p(r) = -2*r + 3. Let f(g) = g**2 + g - 3. Let u be f(3). Let z = 5 - u. Is p(z) a prime number?
True
Let h be (-8)/(-3) + (-3)/(-9). Suppose -5*n + 764 = 3*s + 177, 2*s + 337 = h*n. Is n composite?
True
Suppose 5*x - 434 - 812 = -3*v, 0 = -x + 5*v + 266. Is x a prime number?
True
Let o = 0 - 0. Suppose -5*n + 120 + 900 = 0. Suppose -3*x - x + n = o. Is x composite?
True
Let q(x) = 3*x**3 - 10*x**2 + 9*x - 2. Let p(t) = -t**3 + 5*t**2 - 4*t + 1. Suppose -2 - 4 = -3*m. Let g(k) = m*q(k) + 5*p(k). Is g(-5) prime?
True
Let h be ((-404)/(-6))/((-3)/(-9)). Suppose s - h - 555 = 0. Is s a prime number?
True
Let m(w) = -86*w - 10. Let p be m(-11). Suppose 784 + p = 4*c. Suppose 2*t + 425 = 5*s, -5*s + c = t - 4*t. Is s composite?
False
Let a = 55 + 252. Is a prime?
True
Let r(b) = -13*b**3 - 2*b**2 - b. Let f be r(-1). Suppose -5*p - 4*z + f = 0, 2*z - 2 = 3*p + 4. Suppose 2*x + 38 = 4*l - 0*x, 3*x - 3 = p. Is l composite?
True
Let t(i) = -i**2 + i + 27. Let j be t(0). Is 0 + 2 + 3*j composite?
False
Let n = 556 + -341. Is n a composite number?
True
Let t(m) = 4*m**2 - 4*m - 1. Let f(o) = -o + 0*o - 2 - 3*o. Let q be f(-2). Is t(q) prime?
False
Suppose 0 = 5*o - 196 - 14. Suppose 2*g + 0*g = -n + o, -n - g + 38 = 0. Is n composite?
True
Let l = 292 - 143. Is l prime?
True
Suppose -v = 3*i - 5*i - 58, -4*i + 144 = 3*v. Let s = 42 - 5. Let l = v - s. Is l a composite number?
True
Suppose 3*s - 4499 = 2*s. Is s a composite number?
True
Let f = 53 - -208. Let z = 94 + f. Is z a composite number?
True
Suppose 2*k - 306 - 352 = 0. Is k composite?
True
Suppose -2 + 4 = i. Is 2217/33 + i/(-11) a prime number?
True
Suppose -61 = 2*q + 3*k, -k + 20 = 3*k. Let s = q + 27. Let b = 8 - s. Is b a prime number?
True
Let j = 4955 + -3154. Is j prime?
True
Let z(x) = 16*x**2 - 2*x - 45. Is z(13) a prime number?
True
Let q(d) be the second derivative of d**4/6 - 3*d**3/2 + 3*d**2/2 - 3*d. Let y(v) be the first derivative of q(v). Is y(8) a composite number?
False
Let i(q) = -q**2 + 15*q + 19. Let l be i(16). Suppose -l*n - 529 + 1702 = 0. Is n composite?
True
Let q be (-10 - -2)*(-3)/6. Suppose j = i - 16, -j + 37 = 4*i + q*j. Suppose -3*t + i = -20. Is t composite?
False
Suppose 2*h - 2*y - 26 = -5*y, 19 = h + 3*y. Let l(a) = 2*a**2 - 8*a + 4. Is l(h) prime?
False
Let l(n) = 56*n**3 - n**2 + n - 1. Let y be l(1). Let t = 92 - y. Is t a prime number?
True
Suppose 0 = 2*s + 275 - 1909. Suppose -s = x - 4*x + 2*r, -x - r = -264. Is x a composite number?
False
Let t be 17*-58*(-5)/10. Let f = -267 + t. Is 6/15 - f/(-10) prime?
True
Suppose 2*r - r - z = 4, -3*r + 16 = -4*z. Suppose -3*k - 1070 = -5*s - r*s, -k + 628 = 3*s. Is s a prime number?
True
Let n = -207 + 121. Let r = n - -145. Is r prime?
True
Let j = -245 - -426. Is j composite?
False
Suppose -5*j + 7*j - 238 = 0. Is j prime?
False
Let w be -1 + 1 - (-1 + -2). Let a(v) = 4*v**2 - 1. Is a(w) composite?
True
Suppose 4*g + 3*b = 25989 - 4460, 5*b = -5. Is g a prime number?
False
Suppose 3*u = -0*u + 3123. Is u a composite number?
True
Suppose -1302 = -4*s + 806. Is s a composite number?
True
Suppose 2*c + 0*c - 222 = 0. Suppose 0 = -4*b - 2*p - 2*p + 152, 3*b + 2*p - c = 0. Is b prime?
False
Let c be 166/18 - 4/18. Let n(u) = 5*u + 10. Is n(c) a composite number?
True
Suppose -3*r = 3*l + 258, -4*r + 86 - 418 = -2*l. Let i = 121 + r. Is i composite?
False
Let a = 8 - -7. Suppose -a = -0*x - 5*x. Suppose -3*m + 269 = 2*p, -x*m + 3*p + 118 = -146. Is m prime?
True
Suppose 3*n - 5*n = 0. Suppose r + 29 - 84 = -4*h, 4*h = 16. Suppose n = u + 2*u - r. Is u a prime number?
True
Suppose 5 + 15 = 5*o. Suppose 20 = o*l, 2*f + l + 110 - 453 = 0. Is f a prime number?
False
Suppose x + 20 = -5*c, -4*c - 3 - 13 = -3*x. Suppose x*r + 123 = -r. Let l = 340 + r. Is l a prime number?
False
Let o(y) = -3*y - 8. Let x(v) = 12*v + 33. Let p(j) = -21*o(j) - 5*x(j). Let w be p(-4). Let f = w + 46. Is f composite?
False
Let k(b) be the first derivative of -b**4/4 + 4*b**3/3 + 2*b**2 + 5*b - 2. Let x be k(5). Suppose x = -3*l - 0*l + 153. Is l a prime number?
False
Suppose 0*d + d = -r + 6, 5*d = 3*r + 14. Suppose h - 2*h - r*s + 93 = 0, 12 = 4*s. Is h prime?
False
Let j(m) = 5975*m + 6. Is j(1) a composite number?
False
Suppose -a = -0*a - 16. Let j = -7 + a. Is j composite?
True
Let j(v) = -7*v + 4. Let b be j(-3). Is ((-74)/5)/((-5)/b) prime?
False
Suppose -2*y - 5*o - 4 + 5 = 0, 0 = o + 1. Is 2/y*(-555)/(-10) prime?
True
Is ((-1612)/6)/((-6)/9) composite?
True
Let h(x) = 7*x**2 + 1. Let c be h(1). Let b = -8 + c. Suppose b = -5*t + 170 + 245. Is t a prime number?
True
Suppose 0 = -n - 2*n + 6. Suppose n*s - 149 = -5*u, s + 4*u = -3*s + 280. Is s a composite number?
False
Let n be (6 + -1)*4/(-10). Let a be (10 - n)*7/(-3). Is 2/7 + (-1028)/a a composite number?
False
Let l = -35 + 120. Is l prime?
False
Suppose 0 = -4*k + 7*k - 246. Is k prime?
False
Let s be 0/(-4 - -2) - -11. Let z(d) = -3*d - 1. Let o be z(1). Let h = s + o. Is h a prime number?
True
Let c(v) = v**2 + 8*v + 4. Let b be c(-7). Is 4 + b/(-3)*3 prime?
True
Let j(w) = -w**3 - 9*w**2 - 8*w + 1. Let s be j(-7). Let m = 64 + 28. Let o = m - s. Is o prime?
False
Let q(r) = r**3 + r + 791. Is q(0) a composite number?
True
Let d be ((-4)/(-2) + -4)/(-1). Suppose 0*h + 5*h = d*q + 200, -4*h = -3*q - 160. Let b = h - 15. Is b a composite number?
True
Suppose 0*x - 3*l = -4*x - 51, -3*l = -3. Let j = 21 + x. Is j prime?
False
Let x be 2*-42*(-7)/2. Suppose -4*g + x - 90 = 0. Let f = 104 - g. Is f prime?
True
Suppose -4*h - u = -4*u - 14, 0 = 4*h - 5*u - 18. Suppose -h*s + 14 = 3*t, 5*t - 15 = -s - 1. Suppose -3*d + 351 = t*d + 4*m, 