te number?
False
Suppose 0 = -2*j - 3*j + 510. Let i = -13 + j. Is i prime?
True
Let r be -1 + (0 - 3) + -118. Let i = 199 + r. Is i composite?
True
Suppose 0 = 5*q - b - 7720, -3*b = 5*q - q - 6157. Is q composite?
False
Let i = -265 + 445. Suppose -4*d = h - 51, -5*d + 0*d = -5*h + i. Is h a composite number?
True
Let l = -147 + 341. Is (-3)/(-9) - l/(-3) a composite number?
True
Let y be ((-27)/(-6))/((-6)/(-8)). Let c = -4 + y. Is (-22)/(-1 + 0/c) a composite number?
True
Let p = 20 - 10. Suppose -573 = p*w - 13*w. Is w composite?
False
Suppose 4*o = 2*o. Let c = 9 - o. Let d(p) = -p**3 + 10*p**2 - 7*p - 11. Is d(c) a composite number?
False
Let d(p) = -p**3 - 9*p**2 + p + 11. Let n be d(-9). Suppose 0*g + 4*o + 82 = n*g, -g - 3*o = -66. Is g a prime number?
False
Let o(t) = 2*t**3 - 6*t**2 + t - 11. Suppose -3*s - 10 = -28. Is o(s) a prime number?
True
Let f(t) = -279*t**3 - 3*t**2 - 10*t - 9. Is f(-2) prime?
False
Suppose 4*a = -s + 48, 2*s - 43 = -3*a + 3*s. Let l = 8 - a. Is l/(10/(-424)) - -3 a composite number?
True
Suppose 0 = -0*c - 2*c. Suppose l - 2*r - 10 = c, 4*r = -6*l + 3*l - 10. Suppose -l*d = 5*m - 165, -3*m - d = 2*d - 108. Is m a prime number?
True
Let p = -38 - 7. Let o = -19 - p. Is o composite?
True
Let i(l) = l**2 + 7*l + 5. Let s(g) = g + 1. Let d(x) = i(x) - 3*s(x). Is d(-6) prime?
False
Let n(f) = f**3 - f**2 + 5*f + 6. Is n(5) composite?
False
Suppose -5*m - 2 = -7. Let p(x) = 409*x. Is p(m) a composite number?
False
Let c be (-4)/3*36/(-8). Suppose j = c*j - 15. Suppose -6 = n - j, -n = 3*r - 234. Is r composite?
False
Let a(s) = s**3 - 6*s**2 + s - 1. Let q be a(6). Suppose -3*f + 191 = 5*y, -f + y = q*y - 59. Is f a composite number?
False
Let r(s) be the second derivative of -s**3/6 + 7*s**2/2 - 2*s. Let o be r(7). Suppose o = -k + 62 - 9. Is k a prime number?
True
Let a(k) = -k**3 - 6*k**2 + 7*k + 2. Let j be a(-7). Suppose w = -j*h + 315, -2*w = -4*h + 3*w + 595. Is h a prime number?
False
Let f(y) = 454*y**2 - y. Is f(1) prime?
False
Suppose -2*k + 2057 - 141 = -4*w, -4*w + 4790 = 5*k. Is k a prime number?
False
Let s(q) = 7*q**2 + 10*q + 11. Is s(-20) a composite number?
True
Let h be ((-3)/(-5))/((-1)/5). Is 4/((-5 + 2)/h) composite?
True
Suppose 8*z = 3*z + 15. Suppose 4*a + 20 + z = -v, 28 = -4*a + 4*v. Let s(y) = y**3 + 8*y**2 - 2*y + 7. Is s(a) prime?
False
Let r(j) = 2*j + 11. Let q(i) = -i - 6. Let b(f) = -5*q(f) - 3*r(f). Let n be b(-5). Suppose 1114 = 3*l - x, -n*l - 2*x + 261 + 495 = 0. Is l prime?
True
Let v be 0/(0 + 1 + 2). Suppose 5*a - 20 = -v*a + 3*x, 4*a + 3*x = 43. Is a a composite number?
False
Is 132 + -5 + (3 - 1) a prime number?
False
Suppose -5*v + 18 = n, -6*n = -11*n - 5*v + 10. Is n/(6/(-927)*3) composite?
False
Let p(r) = 2*r + 0*r - 4 + 3*r. Suppose f - 2*f + 5 = 0. Is p(f) a composite number?
True
Let t(c) = 53*c**3 - 4*c**2 - c + 3. Is t(2) prime?
True
Suppose 0 = -4*n + 3*n. Let k = n - -2. Suppose -1340 = -k*o - 2*o. Is o a prime number?
False
Let g = -3452 + 5046. Is g composite?
True
Let h = 5 - 8. Let t be 209/(-3) + (-2)/h. Let j = t + 182. Is j composite?
False
Let d(r) be the second derivative of r**4/4 + r**3 + r**2/2 + 2*r. Is d(-5) a prime number?
False
Suppose 2*p + 1410 = -0*p. Let n = p + 1487. Suppose 5*q - 3*o - n = 0, 0 = -3*o + 4 - 1. Is q a prime number?
True
Suppose -2 = -5*z + 2*b + 16, -5*z - 5*b = 10. Suppose -z*s + 0*u = -2*u - 236, 3*u = 2*s - 233. Is s a composite number?
True
Is 2*-2 - (-161 + -4) prime?
False
Suppose -4*u + 6*u = 1042. Is u composite?
False
Suppose 0 = 5*c + 2*g - 2144 + 251, -2*c + 742 = -3*g. Is c prime?
False
Let h(p) be the first derivative of 7*p**4/4 + p**3/3 + 3*p**2/2 - p - 3. Is h(2) a composite number?
True
Suppose -4*c - 222 - 88 = -f, -5*f - 5*c + 1450 = 0. Let z = -173 + f. Is z a prime number?
False
Let z = -864 - -429. Is (-1 + z/(-6))*2 a prime number?
False
Let f(h) be the third derivative of 11/60*h**5 + 0*h + 4*h**2 + 1/6*h**4 + 0 + 1/3*h**3. Is f(-2) a composite number?
True
Suppose 0 = -4*j - 3*y + 54, -5*j + 2*y + 29 = -27. Suppose -2*p - p = -j. Is 219/p + (-3)/(-12) composite?
True
Let y(d) = -38*d - 19. Is y(-16) a prime number?
False
Let z be ((-2)/3)/(1/(-6)). Suppose 101 = 2*r - 5*v, -3*r + 111 = z*v + 17. Is (3 - 1)*r/4 prime?
True
Suppose -6*z = -v - 2*z + 13, -2*v - 2*z - 14 = 0. Let r be -1 + (3 - v) + -1. Suppose -64 = -2*l + 3*t, 0 = -3*t - r - 8. Is l prime?
False
Suppose 4*t = 3*v + 291, -3*t = 4*v - v - 213. Suppose 0*h + t = 2*h. Is (-8)/h - (-1066)/18 a composite number?
False
Let a = -1330 - -1939. Suppose 60 = 3*p - a. Is p composite?
False
Let s = 28 - -27. Is s composite?
True
Let d(w) = -69*w + 17. Is d(-10) a composite number?
True
Let m(d) = 5 - 4 + 40*d - 4. Let p(t) = t**2 + 5*t + 8. Let k be p(-3). Is m(k) a composite number?
True
Suppose 3*c - 2 - 4 = 0. Suppose 2*a - 4847 + 1696 = -5*i, 3*a - 9 = 0. Suppose 5*d - 396 = -3*q, -c*q + 7*q = 2*d + i. Is q a prime number?
True
Suppose 107 = -p + 2*p. Suppose j - 6*j = 270. Let g = j + p. Is g a composite number?
False
Let n = 16 + -11. Let d be 34/10 + (-2)/n. Suppose d*s = -2*k - 14 + 41, 5*s = 3*k + 64. Is s composite?
False
Suppose 19 = 5*w + 3*a, 0*a = -2*w + a + 12. Suppose -577 = -w*u + 478. Is u composite?
False
Let p = -4 + 7. Suppose -2*s - p*s = 5. Let n(b) = -32*b**3 + b**2 - b - 1. Is n(s) a prime number?
False
Suppose 5*k + 0*k - 955 = 0. Suppose -3*d + 0*s = -s - 115, 5*d - s = k. Is d prime?
False
Suppose -2*o - 2*z = -24, -4*z + 22 = -3*o + 79. Is o composite?
True
Suppose l - 10 = -0. Suppose -l = -3*i - 2*i. Suppose -d + i*d - 19 = 0. Is d prime?
True
Let p(a) = 2*a**3 - 2*a**2 + a - 1. Let u be p(2). Let x = 6 - u. Is ((-18)/12)/(x/28) composite?
True
Suppose -15 = 2*o - 457. Is o a prime number?
False
Is -79*3*(34/(-6) + 2) prime?
False
Suppose -268 + 11 = -a. Is a a prime number?
True
Let u(c) = 4*c**2 - 8*c + 9. Is u(8) composite?
True
Suppose 0 = 5*z - 7*z + 878. Is z a composite number?
False
Suppose 1441 = 9*p - 4*p + 2*b, 3*p - 4*b - 875 = 0. Is p composite?
True
Let p = -2524 - -4283. Is p a composite number?
False
Let u = 5 - 7. Let g be (-4)/10 - u/5. Suppose 3*v + g*v = 57. Is v a prime number?
True
Suppose i + 3*a = -a - 22, -3*a = 3. Let l be -14*(i/4 + -2). Let y = -38 + l. Is y prime?
True
Let p = -6 - -8. Suppose 0 = 5*d + v - 10, 5*d - 2*v = p*d + 19. Suppose 167 = d*x + 2*j, 30 = x + j - 27. Is x a prime number?
True
Let s be 3/(-6)*(-390)/3. Let p = 68 + -102. Let u = p + s. Is u composite?
False
Let s be (4/(-10))/(3/(-15)). Let x(d) = 2 + 2*d + 0 + 2*d**3 + 0 - 3*d**2. Is x(s) composite?
True
Let u be (-2)/(-5) - 36/15. Let j be u/6 - 10/(-3). Suppose -j*a - s = -0*s - 108, -2*a - 3*s + 65 = 0. Is a a composite number?
False
Suppose 2*a - 7*a = -25. Let s(b) = -3*b - b**2 - 5 - a*b - b. Is s(-6) prime?
True
Let s be 10 - (-1 - 0) - 2. Suppose -6*j + s = -3*j. Is j a prime number?
True
Is (3 + -1)*106/4 a prime number?
True
Suppose -5*r = -15 - 70. Is r - (2 + 0)/(-1) prime?
True
Let h(k) = -k**2 + 8*k - 1. Let b be h(6). Let m = b - 9. Suppose 31 = q - 2*v, -7*v = -q - m*v + 25. Is q a composite number?
True
Let w(m) be the second derivative of m**4/12 - m**3 + m**2 + m. Let z be w(6). Suppose -t + 108 = 5*v, -3*v + 114 = z*v - 2*t. Is v prime?
False
Let x(f) = -8*f - 3. Let y(i) = -1. Let w(h) = x(h) - 6*y(h). Let m be w(-3). Let u = m - 8. Is u prime?
True
Let q be 7 - 2 - (0 - -2). Suppose 0 = 4*l - 5*s - 1580, 792 = 5*l - 3*l - q*s. Suppose l = 5*a + 95. Is a prime?
True
Suppose -2*i + 400 = -438. Is i composite?
False
Let h(f) = -f - 2. Let i be h(-3). Let j = 8 + i. Let t = 44 + j. Is t a composite number?
False
Let d(o) = -48*o + 7. Let q be d(-6). Suppose 3*l - q = -2*l. Is l a composite number?
False
Let t be (-10)/(-25) - (-76)/10. Is (-516)/8*t/(-6) a composite number?
True
Let o(u) be the first derivative of u**4 - u**2/2 + 21*u - 2. Let n(c) = -9*c**3 + 2*c - 42. Let k(i) = 3*n(i) + 7*o(i). Is k(0) a prime number?
False
Suppose 3*g + 4*n - 32 = -0*g, 2*g - 3*n = -7. Suppose 5 + 3 = -g*y. Is y - (-3 + -114 + 2) composite?
False
Let g(m) = -m**3 - 8*m**2 + 14*m - 28. Is g(-13) prime?
False
Let a = 390 + -157. Suppose -2*f = -173 - a. Is f prime?
False
Let s(x) = -x**3 - 4*x**2 - 5*x