). Is h/(-4) + -2 + 24 composite?
True
Let s(p) = -2*p**3 - 3*p**2 + 5*p - 8. Let v be s(-7). Suppose 4*l - v - 12 = 0. Is l a prime number?
True
Let w = -2 - -6. Suppose -3*g - w*k + 31 = k, -3*k = -2*g - 11. Suppose -f = -1, g*f - 92 = -4*p - 2*f. Is p prime?
False
Suppose 6 = -2*l + 2. Is (0 - l) + 37 - 2 prime?
True
Is ((-102)/(-2))/(9/15) a prime number?
False
Suppose 0*l = 2*l - 254. Suppose -4*f = -5*f + l. Is f a composite number?
False
Suppose -14*i + 18*i - 340 = 0. Is i prime?
False
Let l(a) = -6*a + 1. Let t be (4/(-10))/((-2)/(-10)). Is l(t) a composite number?
False
Suppose 0 = y + 3. Is -28*(y + 1)/8 prime?
True
Suppose -2*d = -7*d - 5*r - 20, 0 = 3*d + 4*r + 9. Let j = d + 1. Is 52/(-6)*j/4 composite?
False
Let r(v) = 9*v**3 + v**2 - 3*v - 1. Is r(4) a prime number?
False
Let j(g) be the second derivative of g**4/12 - g**3/3 - 3*g. Let x be j(1). Is (82 - 3)/((-1)/x) a composite number?
False
Let s(i) = i**2 + 6*i - 2. Let c be s(-6). Let w be 355/3 + c/(-3). Is (-3 + 2)/((-1)/w) composite?
True
Suppose 4*m = -4*f + 48, 5*m - 20 = -4*f + 25. Suppose 3*r + 129 = 5*v, 0 = -6*r + 4*r - 6. Let t = v + f. Is t a composite number?
True
Suppose j + 0*j - 3 = 0. Suppose j*c - 3*r + 21 = 0, 4*c + r = -8 - 5. Let f(n) = -13*n - 5. Is f(c) a composite number?
False
Let y(h) = 468*h**2 - 2*h - 1. Is y(-1) a composite number?
True
Let h(i) = -29*i**3 - 10*i**2 - 8*i - 17. Is h(-4) a prime number?
False
Let l(r) = 8*r - 7. Let x(h) = h**2 + 5. Let m be x(0). Suppose j - w = 0, -40 = 2*j - m*j - 5*w. Is l(j) prime?
False
Let w be (-4)/6 + 294/9. Let x = 127 + w. Is x prime?
False
Suppose 0 = a + a - 8. Suppose 3*s - 2*c = 147, 0*c + 2*c - 182 = -a*s. Is s prime?
True
Let j be 4*(7/4 - -2). Let t be j/3*(-76)/(-10). Suppose -3*f = -4*f + t. Is f composite?
True
Suppose -g - 5*q - 22 = 0, q = -2*g + 4*q + 21. Suppose 5*y - 3*h = 1017, -g*h = -y - 0*h + 213. Is y a composite number?
True
Let d = -12 + 14. Suppose d*k = 0, -3*f + 5*k = f - 132. Is f a prime number?
False
Let b(n) = 3*n**2 + n - 5. Is b(-6) prime?
True
Let z = 9 + 200. Is z a composite number?
True
Let v(l) = -l**3 - 7*l**2 - 15*l - 3. Let s be v(-10). Suppose -r = -4*r + s. Is r prime?
True
Let y(k) be the second derivative of 16*k**3/3 + k**2/2 + 6*k. Is y(3) composite?
False
Let z be (-3)/(((-9)/(-2))/(-3)). Suppose -5*c + 27 = -3. Suppose -z*l - 95 = -5*g - c*l, -5*l = -2*g + 38. Is g a composite number?
False
Let b = -4 - -81. Suppose -50 = -s + b. Is s a composite number?
False
Let i(j) = -147*j + 4. Let l be i(-5). Suppose 4*v - 147 = -l. Let n = -57 - v. Is n composite?
True
Let q be (-407 - -6)*1*2. Let d = -495 - q. Is d composite?
False
Let s(j) = -11*j**2 + 9*j + 6. Let i be s(-6). Is i/(-2) + 1/1 composite?
False
Let v(h) = -h + 6. Let j be v(5). Is 3 - j/1 - -53 a prime number?
False
Suppose 5*p - 4323 = c, 0 = 2*p + 2*p + c - 3462. Is p a prime number?
False
Let u be ((-6)/(-5))/((-9)/30). Let a be (-6)/9*30/u. Suppose 3*h - 728 = -a*k - 0*k, -h = k - 146. Is k prime?
False
Suppose -4*y = 3*s - 9, -8 = 2*y - 2*s - 2. Let v(n) = n**2 - n + 13. Let q be v(0). Let r = q - y. Is r a prime number?
True
Suppose 0 = 3*d - 2*d - 51. Suppose d + 0 = h. Is h a composite number?
True
Let f(j) = -2*j - 4. Let q be f(-4). Suppose 1 = q*h + 5. Is (h - -3)/(2/83) a composite number?
False
Suppose -3*j + o = -j - 421, 2*j - 427 = -5*o. Is j a composite number?
False
Is ((6/4)/3)/((-13)/(-14066)) prime?
True
Let l = 9 + -11. Let x be 0 + (-1 - (-1 + 2)). Is (-11)/(x*l/(-28)) composite?
True
Let u be 11 + 3 - (1 - 2). Let j be (-648)/(-10) - (-3)/u. Suppose -71 = -l - 3*f + j, 4*f = -12. Is l a composite number?
True
Let l be ((-6)/(-1))/(9/(-78)). Is (-10*1)/(8/l) a composite number?
True
Let c(t) = -t**3 + 12*t**2 + 13*t - 1. Let x be c(13). Is (-5)/(x + 2)*-47 composite?
True
Suppose 3*m + 1 + 4 = 4*t, 5 = -t + 2*m. Suppose 0*j = t*j. Let a = 23 - j. Is a a prime number?
True
Let n(f) = 2*f - 6. Let d(p) = 3*p**3 + p**2 + p - 1. Let g be d(1). Is n(g) a composite number?
False
Let b = 222 - 101. Is b a composite number?
True
Let h(x) = -4*x + 3*x - 3*x - 1 + 27*x**3 - x**2 + 5*x. Let m = 2 + -1. Is h(m) a composite number?
True
Is 2*2 + (-19341)/(-9) a prime number?
True
Let s(d) = d + 9. Let o be s(-7). Suppose -o*q - 4*a + 20 = -2*a, -q + 4*a + 5 = 0. Is q a prime number?
False
Let y(g) be the third derivative of g**5/12 + g**4/8 - g**3/2 - 4*g**2. Is y(2) prime?
True
Let o(d) = d**3 + 2*d - 1. Is o(2) a prime number?
True
Suppose u + 7 - 72 = 0. Suppose -405 + u = -4*n. Is n composite?
True
Suppose 0 = -2*r + 4*d, 2*r - 5*r = 2*d. Suppose 3*u + t - 217 - 182 = r, 3*t = 2*u - 266. Is u prime?
False
Let s = -632 - -1189. Suppose i - s = -4*d, -3*d + 7*d - 560 = -4*i. Is d a composite number?
False
Is (1 + 5/(-3))/((-28)/68166) prime?
False
Is (-15057)/(-56) - 1/(-8) a prime number?
True
Let u(n) = 75*n**2 - 7*n - 15. Is u(-4) prime?
True
Let f(s) = -10*s**2 - 7*s + 9. Let w(i) = -7*i**2 - 5*i + 6. Let v(u) = -5*f(u) + 7*w(u). Is v(-7) prime?
False
Let r be 1 - (-5)/((-20)/(-436)). Let x = r + 93. Is x composite?
True
Let l = 5894 + -2487. Is l prime?
True
Let i(h) = 13*h - 6. Let o(k) = -14*k + 7. Let x(t) = -3*i(t) - 2*o(t). Let j be (-19)/7 - (-2)/(-7). Is x(j) composite?
False
Is (-52)/(-3)*3/2 composite?
True
Let y(n) = -3*n - 12. Let s be y(-8). Let h = -163 - -106. Is (20/s)/((-1)/h) prime?
False
Suppose -259 - 21 = -8*d. Is d a composite number?
True
Let g = -45 - -98. Is g composite?
False
Suppose 2*i - 8 + 0 = 0. Let d(j) = -5*j**2 + 5 + 4*j - j**3 + 0*j**3 + i*j**2. Is d(-4) a composite number?
False
Let s = -4 + 2. Let h be 1*(1 + s + 6). Suppose -q + 2*d + 68 = q, -h*d = -3*q + 102. Is q a composite number?
True
Let g be ((-30)/4)/(9/12). Let n be 0 - 5/2*2. Is n/g*(2 + 104) a composite number?
False
Is (-10)/(-6)*4401/9 a prime number?
False
Let h = 66 - -19. Is h a composite number?
True
Let j = -60 + 157. Is j prime?
True
Let i be 318/4*-2 - 3. Let p = -73 - i. Is p a prime number?
True
Suppose 2*s = -d + 17209, -5935 = -s - 3*d + 2677. Is s prime?
False
Suppose 4700 = 4*k - 3*l, -4*l = 3*k - 0*k - 3500. Suppose n = 2*x - 1172, x - k = -x - 4*n. Suppose -3*t + t = -x. Is t prime?
True
Is 10 + 360 + -1 + -2 a prime number?
True
Let l be 850/2 + 0/(-2). Suppose 0 = -5*s - 0 + l. Is s composite?
True
Suppose r - 15 = -r - 5*z, r - 10 = -5*z. Suppose 2*k - 14 = -4*v, -r*k - 41 - 2 = -3*v. Suppose -44 = -2*a - v. Is a composite?
False
Let a be ((-2)/5)/(2/(-40)). Suppose 5*s + 6*l - 60 = l, -s + a = 3*l. Is s a prime number?
False
Is (-2 + 879)*(12 + -11) composite?
False
Let j(o) = -3*o**2 - o + 1. Let p = 3 + 0. Let c be j(p). Let w = 63 + c. Is w composite?
True
Let q(h) = h**3 - 5*h - 1 - 2 - h - 2 + 9*h**2. Let a = 0 + -9. Is q(a) a prime number?
False
Let s(c) = 9*c - 6. Let d = -7 + 12. Is s(d) composite?
True
Let o be (-12)/(3 + -5)*-1. Is ((-46)/3)/(o/9) a prime number?
True
Let w = 8 - 5. Suppose -5*m + 6 + 16 = b, b = 3*m - 18. Suppose w + 17 = m*f. Is f a prime number?
False
Let d(n) = -3 + 8 - 22 - 58*n. Is d(-7) composite?
False
Suppose -2*m + 2743 = f, -8221 = -3*f + 3*m - m. Is f a prime number?
True
Let z(d) = 49*d - 13. Let q(j) = -50*j + 7. Let t(i) = -25*i + 3. Let s(w) = -3*q(w) + 5*t(w). Let u(o) = 5*s(o) - 2*z(o). Is u(3) a composite number?
True
Suppose -m + 368 = 2*m - w, -5*m = -5*w - 610. Is m composite?
True
Suppose 3*o - 998 - 2210 = -5*m, 0 = 2*o - m - 2156. Suppose 9*x - o = 5*x. Is x composite?
False
Is (932/(-2))/((-4)/2) prime?
True
Let f = 28 + 27. Is f composite?
True
Is (1/2)/(3/(-19476)*-6) a composite number?
False
Let x = 3 + -1. Is (-161)/(-7)*x/2 composite?
False
Suppose -5535 = -3*i - 2*j, 1841 = i - 0*i + 2*j. Is i prime?
True
Suppose 4*c - 3*t = 6*c - 4, 0 = -5*c - t + 36. Suppose -3*s + 1 = -c. Is s a prime number?
True
Let h(v) = 2*v**2 + 2*v + 3. Let j be h(-3). Suppose -u = -0*u - j. Is u prime?
False
Let r(o) = 17*o - 10. Let x(j) = -j + 1. Let y(c) = -r(c) - 5*x(c). Is y(-7) a prime number?
True
Let b = -34 + 17. Is (-2 + b/(-3))*9 a prime number?
False
Let u be (-3)/5 - (-198)/55. Suppose -4*q + 127 = -u*q. Is q composite?
False
Is 66/(-12)*(3 + -65) a composite number?
True
Suppose -2*m + 1585 = 2*m + r, -1982 = 