mposite?
False
Let a(b) = -2*b**3 + 5*b**2 - b + 1. Is a(-5) a prime number?
False
Suppose -2*z - 3*z - 4*v = -643, -2*z - 4*v = -262. Is z prime?
True
Suppose d - 18 = -2*d + 3*m, 0 = 5*d - 2*m - 42. Suppose 2*z + 3 = y + 18, d = 2*z. Let v(t) = 2*t**2 + 5*t + 6. Is v(y) composite?
False
Let m(h) = -46*h + 4. Let b be m(14). Let w = b + 1317. Is w composite?
False
Suppose -2*z + 5*z - 3000 = -5*j, -4*z = j - 600. Let f = 1231 - j. Is f a prime number?
True
Let g(u) be the second derivative of u**4/3 - 7*u**3/6 - 7*u**2/2 + u. Let z = 5 - -1. Is g(z) prime?
False
Let v(p) = p**2 + 7*p + 1. Let b = -23 + 13. Is v(b) composite?
False
Let j be (-3)/((-9)/(-6) - 3). Is 13948/68 - j/17 a composite number?
True
Suppose 2*w - w = 7. Suppose w*a = 2*a + 90. Is ((-39)/9)/((-3)/a) a composite number?
True
Suppose -o + 3*b = -2*b - 317, -3*o + 925 = -2*b. Is o prime?
True
Suppose p + 2*p = -3*b - 3, -5*p - 5 = -2*b. Suppose 0 = 4*u - b*u. Is (157 + u/(-1))/1 composite?
False
Let g = 30 + 27. Is g a prime number?
False
Let n(v) = 3*v**2 - 2*v + 13. Is n(10) composite?
False
Suppose 0 = 4*n - 5*n + 3. Suppose -4*i + 3*i + n = 0. Suppose i*r - 199 = a, -a + 0*a = 2*r - 136. Is r a prime number?
True
Let i(n) = -n**3 + 3*n**2 + 4*n + 3. Suppose 0 = 3*a + a - 32. Suppose -y - 16 = -4*o + 4*y, -2*o + 4*y + a = 0. Is i(o) a composite number?
False
Let j(x) = 17*x + 7*x - x - 21. Is j(16) composite?
False
Suppose 2*z = 5*w - w + 384, -5*w = -2*z + 481. Let a = -66 - w. Is a a composite number?
False
Let c be 2/10 + (-196)/(-20). Is 2*-1 + (203 - c) prime?
True
Is 185*(3/3 + 0) prime?
False
Let f = 1730 - 333. Is f a prime number?
False
Suppose -8 = 4*h, 4*h - h - 4379 = -5*a. Is a prime?
True
Let u = 173 - -400. Suppose -4*y + u = -y. Is y a prime number?
True
Let h be -4*(-6)/(-4)*-12. Let d be 20/((-2)/(-8)*2). Suppose -4*c = 5*p - h, 0 = -2*c - 5*p + d + 6. Is c composite?
False
Let f(c) = -10*c + 7. Let k be f(9). Let u = 35 - k. Is u composite?
True
Let v(n) = 266 - 23 + n**2 + 50. Is v(0) composite?
False
Suppose 0 = -b + 5*z + 303, 3*b + 297 = 4*b - 2*z. Is b a composite number?
False
Suppose 0 = -d - 19 - 15. Let g = -9 - d. Suppose n + 2 = g. Is n prime?
True
Is (10820/60)/((-2)/(-6)) composite?
False
Let g(l) = 9*l**2 + 15*l - 1. Is g(10) a prime number?
True
Let u be 9/3 + -5 - -3. Is (2 + 1)*u + 74 a prime number?
False
Let c(h) = 54*h**2 - 3*h + 1. Is c(2) composite?
False
Let u = 9 + 44. Let a = u - -58. Suppose 0 = -w - 4*w, -a = -3*t - 4*w. Is t a composite number?
False
Let v be ((-24)/20)/(6/(-20)). Let l(k) = 3*k**2 - 1 - v*k**2 - 2*k + 6*k**2. Is l(-2) composite?
False
Let r = 116 + -61. Is r a prime number?
False
Let o(c) be the second derivative of 9*c**5/20 + 2*c. Let g = -1 + 2. Is o(g) composite?
True
Let g = 63 + -32. Let j(u) = -u - 1. Let x be j(-3). Suppose -75 = -x*o + g. Is o a prime number?
True
Let o(v) be the first derivative of 37*v**2/2 + 6*v - 2. Let y = 1 - -4. Is o(y) composite?
False
Suppose x = 4*x - 5*u - 10261, -4*u + 3392 = x. Suppose 4*z + 580 = x. Is -1 - (z/(-3))/1 a prime number?
False
Let m be 4/(-1)*2/(-4). Suppose -m*y - q + 69 = 0, -5*y - q + 214 = 46. Is y a composite number?
True
Let l be (-363)/5 - 4/10. Let p = l + 152. Is p a composite number?
False
Let f(i) = 16*i**3 + 4*i**2 + 6*i - 9. Is f(4) a composite number?
False
Suppose o + 126 = 8*o. Let j(y) = y**2 - 4*y. Let r be j(4). Suppose 3*x - o - 57 = r. Is x prime?
False
Is 19124/(-49)*7/(-2) a prime number?
False
Let y(u) = -9*u + 5. Is y(-9) composite?
True
Suppose 2*f + 2*f = 100. Suppose 0 = -5*a + 5*p + f, -21 + 6 = 5*a + 3*p. Suppose 3*r - 3*h - 291 = -0*h, -r - 2*h + 97 = a. Is r composite?
False
Let g = 46 + -9. Is g composite?
False
Let p = 318 - 95. Is p a composite number?
False
Let f(u) = 21*u**2 - 17*u - 5. Is f(9) prime?
True
Let p = -9 - -18. Suppose 10*t - p*t = 203. Is t a composite number?
True
Suppose 4*p + 5 = -5*q, 2*q = -3*p + 7*q + 40. Suppose 0 = -b + 5*w + 94, 0*b + w = b - 94. Suppose -4*v + b = -5*l, 5*l - 86 = -p*v + 9. Is v a prime number?
False
Suppose 4*m - 912 = -4*c, 0*m = -3*m - 5*c + 690. Let o = 352 - m. Is o a prime number?
True
Let f(y) = -y**3 + 4*y**2 - y - 2. Let l be f(3). Suppose l*h - 3*h + 10 = 0. Let k = 0 - h. Is k a prime number?
False
Let d be 24/10 + (-10)/25. Let h be 100 + d/(-1) + 3. Suppose -3*v + 176 = -5*c, -h - 90 = -3*v + 2*c. Is v composite?
False
Suppose 3*u - 3*l = 2480 + 874, 3*u = -l + 3374. Is u prime?
True
Suppose -2*v + 4319 = -s, 2163 = v - 2*s - 2*s. Is v a composite number?
True
Suppose 0*a - a + 158 = -y, -3*a + 5*y = -472. Suppose 0 = 3*b - 6*b + a. Is b a composite number?
False
Suppose 0 = v + 5*x - 4, -v + 22 = -5*x + 8. Let k(u) = 8*u + 4. Let n be k(v). Suppose 3*h + 159 = 5*r, 2*r + 5*h - n = -0*r. Is r a composite number?
True
Let c be -1 + 1 + 9/3. Suppose p + 0*p - c*x = 43, 0 = -5*p - 2*x + 232. Let v = p - 33. Is v a composite number?
False
Suppose -6*n = -13*n + 6146. Is n prime?
False
Is 790 - ((-4)/2 - 1) a prime number?
False
Suppose 5*x - 350 = -n, 5*x = -4*n - n + 1650. Suppose -13*v = -8*v - n. Is v composite?
True
Let u be 290/6 + 2/(-6). Let z be 4/14 + u/28. Suppose -z*j - j = -9. Is j a composite number?
False
Let q(v) = 5*v**2 + 0*v + v + 4 - 1 + v. Let j be q(-3). Suppose 4*b = 2*h - j, -2*b + 37 = 2*h - b. Is h prime?
True
Let c = 0 - 0. Let d(z) be the first derivative of -z**3/3 + z**2/2 + 69*z - 26. Is d(c) composite?
True
Suppose 20 = 5*m - 0*m. Suppose -s = m*s - 15. Is (-28)/s*6/(-4) composite?
True
Let i(y) = y**2 + y + 417. Let k be i(0). Let l = 695 - k. Is l a prime number?
False
Let p(j) = j**2 + j - 2. Let q be p(-2). Let u be 2*(126/(-4) + q). Is ((-2)/(-3))/((-6)/u) a prime number?
True
Let h be 2/11 + (-86)/(-11). Is 6/h + (-434)/(-8) a composite number?
True
Suppose 4*l - 1324 = -5*m + m, 650 = 2*m - l. Is m a prime number?
False
Let x(n) = 2*n + 10. Let d be x(-7). Let w be 1*2/d*-10. Let k(f) = -f**3 + 6*f**2 + 4*f - 2. Is k(w) composite?
False
Suppose -2525 = -2*t - 3*t. Is t prime?
False
Let n = 10 + -6. Let h = 6 - n. Suppose -3*d + 55 = -h*d. Is d prime?
False
Suppose -436 - 1667 = -3*i. Is i prime?
True
Let t = -646 - -939. Is t a prime number?
True
Let q(d) = -17*d - 1. Let g be 0/(0/3 - -1). Suppose -m = -2*v - 8, 4*v + v + 25 = g. Is q(m) prime?
False
Let i(q) = 5*q**2 - 6*q - 7. Suppose -k - 5 = -0*k. Let b be i(k). Suppose b = 4*v - 0*v. Is v prime?
True
Let u(f) = 2*f + 5. Let p(b) = -b - 1. Let l(k) = 3*p(k) + u(k). Let t be l(4). Is (-1)/((t + 5)/(-501)) a prime number?
True
Suppose 43 = 4*x - 9. Let r(y) = y**3 - 13*y**2 + 3*y + 14. Is r(x) a prime number?
True
Suppose -5*q = -1812 + 277. Is q a composite number?
False
Let d be ((-11)/(-4) + -2)*-20. Let y = d - -48. Is y a prime number?
False
Let s = 34 + -29. Suppose 0 = q + s*k - 10*k - 177, 3*k + 12 = 0. Is q a prime number?
True
Suppose x - 10 = -x. Suppose 0*a = d + a - 19, -a - 95 = -x*d. Is d a prime number?
True
Suppose -a + 26 = 5*f, a + 12 = 3*f - 2. Let n(i) = 3*i**2 + 3*i - a - i**3 - 2*i - i. Is n(-3) prime?
True
Suppose -3*w + 1666 = 4*f - 0*f, 559 = w + 5*f. Is w a prime number?
False
Let n(z) = -z**3 + 9*z - 4*z - 4*z + 2*z**2 - 4. Let k be n(5). Let g = -41 - k. Is g a prime number?
False
Suppose 0 = -8*b + 4*b. Suppose b = -5*s + r + 2491, -2*s + 3*s + r = 503. Is s a prime number?
True
Let w = 30 - 4. Suppose 4*i - w + 2 = 2*b, -i - 2*b = 4. Suppose i*n + 0*n = 220. Is n a prime number?
False
Let a = 875 - 456. Is a a prime number?
True
Suppose 2*n + 3*s + 1 = 5, -n + 2*s = -2. Suppose 5*j = h - 5*h + 5, -n*j + 2 = 0. Is (0 + 2 - h) + 1 composite?
False
Let x(y) = -y**2 + y + 51. Let l be x(0). Let a(v) = v + 64. Let j be a(0). Suppose 4*z - j = -3*m, -m = -3*z - 4*m + l. Is z prime?
True
Suppose -5*k - 5*t = 145, -127 = 4*k + k - t. Let v be (-2 - k)*(-4)/(-3). Suppose -2*c + v + 126 = 0. Is c prime?
True
Suppose -2*w - 4*w + 348 = 0. Is w a composite number?
True
Let p(v) = v**2 - 6*v + 7. Let y be p(5). Suppose y*g - 6*g - 4*i + 1724 = 0, 0 = -2*i. Is g a composite number?
False
Let x be (18/(-27))/((-2)/117). Let o = x - 18. Is o a prime number?
False
Is 38*-33*4/(-24) a prime number?
False
Suppose 0 = -2*a + 6, -4*j + 4*a + 7 = -9. Let r(x) = -x**2