te number?
True
Let l(h) = -h**3 + 4*h**2 + 6*h - 10. Let a be l(5). Is 3816/10 - 2/a prime?
False
Suppose 2*n + 3 = n, -2*n + 144 = 3*u. Suppose -4*d + u = -2*d. Is d a prime number?
False
Let h = -21 - -28. Let o(z) = 9*z - 2. Let b be o(5). Suppose 0 = 4*s, 2*l - b = -5*s + h. Is l prime?
False
Let g be 10*3/2*-2. Let k(j) = -16*j**2 - 2*j + 1. Let w be k(2). Let i = g - w. Is i composite?
False
Suppose -u = -3*t - 2*t - 43, -2*u = -2*t - 22. Let f(a) = -a - 2. Is f(t) prime?
False
Let c be 0/((-3)/((-3)/(-2))). Suppose c = -d - d + 38. Is d a prime number?
True
Suppose 0 = -0*j - j + 2*t + 316, -4*j + 1219 = t. Let d = j + -157. Is d composite?
False
Suppose -u + 0 - 9 = 0. Let x = -2 - u. Is x composite?
False
Let n be (-6)/(-4)*2*1. Suppose -n*t + 0*t + 222 = 0. Suppose 3*x - t = 127. Is x composite?
False
Let n(i) = i**3 + 5*i**2 - 8*i - 9. Let p be n(-6). Suppose p*d - 153 = -0*d. Let a = d + -20. Is a a composite number?
False
Let i(d) = 26*d**2 - 6*d + 7. Let x(j) = j. Let v(r) = i(r) + 2*x(r). Let u be v(7). Suppose -4*n = -5*s + 887 + 1224, -3*s + u = n. Is s composite?
False
Let q = 3 - 0. Suppose 0*r = q*r + 18. Let m(b) = b**3 + 8*b**2 + 7. Is m(r) composite?
False
Suppose 10*h - 4*h - 4722 = 0. Is h a composite number?
False
Suppose 36441 = 8*h + h. Is h a prime number?
True
Let b = -9 + 13. Suppose b*k - 147 = k. Is k a composite number?
True
Let m(o) = -o**3 + o**2 - o + 13. Let n be m(0). Let r = n + -2. Is r a prime number?
True
Let y be (-20)/8 - 1/(-2). Is ((-357)/(-6))/(y/(-4)) prime?
False
Suppose -c - 3*j = 2, -c - 10 - 4 = -3*j. Let l(a) = 5*a**2 + 2*a - 11. Is l(c) a prime number?
True
Suppose -3*q + 0*q = 84. Let c = q + -5. Is (-52)/1*c/12 composite?
True
Let r = 6 + -1. Suppose n = r*n - 844. Is n composite?
False
Let g = 18 + -8. Let k = g + 9. Is k composite?
False
Suppose a - 4*a = -3. Is a + (0 - 96)/(-3) prime?
False
Let r(a) be the third derivative of -a**6/40 - a**5/30 + a**4/8 + a**3/6 + 6*a**2. Suppose -4 = 4*s + 12. Is r(s) a composite number?
False
Let k = 23 + 135. Is k a composite number?
True
Suppose 2*f + 702 = 3*f. Suppose -f + 127 = -5*q. Is q prime?
False
Is 4/3*2715/20 prime?
True
Let j(a) be the first derivative of 6*a**2 - a - 2. Is j(2) a prime number?
True
Let p = -659 - -1312. Is p composite?
False
Let u(c) = c + 2. Let f be u(0). Suppose -2 = -f*m + 60. Is m composite?
False
Let a(o) = 165*o - 32. Is a(5) composite?
True
Let b be (-1)/(-1*1/5). Suppose -b - 289 = -6*p. Is p prime?
False
Let i = 107 + -70. Is i composite?
False
Let j = -888 + 1775. Is j composite?
False
Let a be (24/20)/(6/20). Suppose -16 = a*o, 3*o - 428 - 380 = -4*q. Is q a composite number?
True
Suppose t - 3*k + 3 = -0, -2*t - 4*k = -34. Is 1922/6 + 6/t a prime number?
False
Suppose -1 = -2*s + z, 4*s - z - 2*z + 1 = 0. Suppose -s*y + 4*y - 5*t = -12, t = -5*y + 24. Is 50 + y - (0 + 3) a composite number?
True
Let r(x) = x**2 - 5*x + 3. Let b be r(2). Let u(m) = 12*m**2 + 1. Is u(b) composite?
False
Let k = -3690 - -5525. Is k prime?
False
Let s(r) be the second derivative of 27*r**5/10 - r**4/12 + r**3/6 - r**2/2 - 3*r. Suppose -1 = 4*m + 2*j + 3*j, -3 = m + 4*j. Is s(m) a prime number?
True
Let z be (-1)/2 + (-10)/(-4). Suppose 0 = -10*a + 12*a - 330. Suppose -q + a = 5*i, -4*q - 190 = -z*i - 3*i. Is i composite?
True
Is 3 + (328 + -1 - (6 - 7)) composite?
False
Suppose 0*b - 14 = -2*b. Suppose 3*y - 5 = -4*a, -4*y + 3*a - b*a + 8 = 0. Is y a prime number?
True
Is 1123/2 + (-24)/(-16) a composite number?
False
Let h(d) = 5*d**2 - 17*d + 17. Is h(-15) composite?
True
Let v = -1100 + 1977. Is v a composite number?
False
Suppose -4*p - 3*w + 83 = -0*w, -p - 4*w = -11. Is p composite?
False
Let o(v) = -363*v + 4. Let m be o(3). Let i = -586 - m. Is i a prime number?
True
Suppose -3*a - 803 = -2*u, -3*u + 2000 = 2*u - 5*a. Is u prime?
True
Let h be 594/4*(-40)/(-6). Suppose h = -2*v - v. Is v/(-24) - 2/(-8) a composite number?
True
Suppose -2*k + 109 = -b, 7 = 3*b - 8. Let g = 108 - k. Is g a prime number?
False
Let f(b) = 3*b. Suppose -y + 25 = 4*y. Suppose -y*z + z + 12 = 0. Is f(z) a prime number?
False
Let a(u) = u**2 + 10*u + 13. Let d be a(-9). Is 639/3 + d/(-2) composite?
False
Suppose 2*r + 2986 = 4*f, -4*r + 0*r = -5*f + 3725. Is f composite?
True
Let l(w) = w**3 - 4*w**2 - 5*w + 3. Let h be l(5). Is (-2)/(-6) + 29/h a composite number?
True
Let r(v) = 35*v - 20. Is r(5) composite?
True
Let i be 3 + (-1)/1*2. Let h = i - 0. Is 49 + -2 + (h - 1) a composite number?
False
Let g be 3/(-6)*(-3 - -1). Is (g - (-11 + 1))*1 a prime number?
True
Suppose -v - 175 - 52 = 0. Let p = -138 - v. Is p composite?
False
Suppose 1009 - 5934 = -5*h. Is h a prime number?
False
Is 507 - (3 + -2 - -1) composite?
True
Suppose -11343 = -12*v + 16653. Is v a prime number?
True
Let x = 2 + -2. Suppose x = -b + 9 + 3. Suppose b = t + 1. Is t a prime number?
True
Suppose 0 = -3*p - 3 - 3. Is -3*p/(-4)*-10 composite?
True
Let t = -451 + 1092. Is t a composite number?
False
Let w = 1 - 0. Is (w + (-82)/3)*-3 a prime number?
True
Let m be 0 - 1 - 0 - -2. Is m*(1 + 34 + 2) a prime number?
True
Let z = 6 - 4. Suppose -2*l = z*l - 16. Is (1 - l)/((-3)/10) a composite number?
True
Suppose 2*o - 71 - 133 = 0. Let t = 31 + o. Is t composite?
True
Let v(f) = 42*f + 93. Is v(15) a composite number?
True
Suppose -b + 47 + 119 = 0. Suppose 92 + b = 2*h. Is h a composite number?
True
Suppose v - 4*v - 7 = 2*k, 0 = -4*v - 3*k - 9. Let n be v/(-6)*1*46. Suppose 104 + n = q. Is q prime?
True
Suppose -4*f + 16 = 0, -4*d + 2*f + 1326 = -5730. Is d prime?
False
Let y be 66*((-36)/8)/(-3). Suppose -y - 35 = -2*k. Is k prime?
True
Let l be (-3 + 2)*4 + 196. Suppose -9 + l = n. Is n prime?
False
Let i(o) = -4*o + 21. Let b(p) be the third derivative of -p**4/24 + p**2. Let q(z) = -3*b(z) + i(z). Is q(0) prime?
False
Let b = 7 + -9. Is -58*(b + 3)*-1 prime?
False
Let a be (-8)/(-6)*(-6)/(-4). Is (1 + 0)*129 - a a composite number?
False
Let z be 4 + -6 + 9/3. Suppose -3*d + z = -5. Suppose n - 333 = -d*n. Is n a composite number?
True
Suppose -h = -p - 439 - 60, 0 = 4*p. Is h a composite number?
False
Suppose 4*l = -9 + 1. Let y be (24 + -1)/((-1)/l). Let i = y + -11. Is i a composite number?
True
Let z be (-54)/(-24)*(3 + 1). Is -7*9/(z/(-3)) composite?
True
Let j(l) = -850*l + 1. Is j(-1) a composite number?
True
Suppose p = 3*o - 5 - 0, 2*p + 9 = 5*o. Let n(u) = -123*u + 1. Let c be n(p). Let w = c + -162. Is w a composite number?
True
Let q be (1/2)/((-4)/(-16)). Suppose -q*v = -7*v + 15. Suppose -v*s + 12 = -81. Is s prime?
True
Let h = -11 - -214. Is h prime?
False
Suppose 2*d + 2 = -2*r - 0, -4*r + 12 = -4*d. Is d/3*(-711)/6 a composite number?
False
Let n = -502 - -954. Let z(s) = -4*s - 3. Let c be z(-2). Suppose -c*u = -9*u + n. Is u a prime number?
True
Suppose 0 = 3*f - 1276 + 532. Suppose 0 = -2*u + 3*p + 200, 0 = 4*u + p - f - 166. Is u prime?
True
Suppose 0 = 5*u - 3*a - 48, -6 = -3*u - 3*a + 18. Suppose -5*d - 2*y + 7*y + 140 = 0, d = 3*y + 28. Let v = u + d. Is v a prime number?
True
Suppose 2*o - 7*o + 2035 = 0. Is o a composite number?
True
Suppose 5*w - 20 = 0, -47 = -5*i + w + 39. Let a = 10 - i. Is (0 - -34)*(-28)/a a composite number?
True
Suppose 0*s = -2*z - s + 2557, z - 1284 = 5*s. Is z a composite number?
False
Let u(n) = n**2 - 4*n + 1. Let c be u(4). Let y = 3 - c. Is 148/(-8)*y*-1 composite?
False
Suppose 12 = 3*b + b. Suppose 11 = 2*n + b. Suppose n*k - 63 - 31 = 2*h, k + 4*h = 19. Is k a prime number?
True
Let h = 1454 - 501. Is h composite?
False
Let k(q) = -q**2 + 14*q - 9. Suppose 0*v - 4 = -v. Suppose v*x + 1 = 49. Is k(x) a composite number?
True
Let g be 4/(((-6)/3)/(-2)). Suppose -n + 3*u + 28 = 0, g*n + 2*u - 46 = 52. Is n composite?
True
Is (51/6 + 0)*14 a composite number?
True
Let j(d) be the third derivative of -d**6/80 - d**5/120 + d**4/24 - 4*d**2. Let x(z) be the second derivative of j(z). Is x(-4) prime?
False
Suppose 0 = 2*n - 7*n - 20. Let i = 1 - n. Suppose -i*q + 4*k + k = -275, -5*q = k - 263. Is q a composite number?
False
Is (1/((-3)/(-1011)))/(2 + -1) composite?
False
Suppose 1890 = -2*s + 4*q, -7*s - 4752 = -2*s - q. Let b = 1736 + s. Is b composite?
True
Let f be (-3)/(-9) - 20/6. Let j be 2/(-4)*16*f