ose 0 = i*h - h - 93. Is h prime?
True
Let w(s) be the third derivative of -s**4/3 - s**3/3 + 15*s**2. Let x(y) = -y**3 + 5*y**2 - 5*y + 1. Let t be x(4). Is w(t) a prime number?
False
Suppose 4 = -3*j + 70. Is j a composite number?
True
Let l = -10 - -10. Let d = l + 87. Is d a prime number?
False
Is 22*(-2 + 1)*(-502)/4 a composite number?
True
Suppose 5 = 2*i + 1, -3*t - 5*i + 130 = 0. Suppose t = -2*w + 156. Is w a prime number?
False
Suppose -4*v = 3*j - 131, 0*j + 4*v - 33 = -j. Is j a prime number?
False
Let l be ((-100)/3)/((-14)/63). Suppose -4*g = 5*t + 117 - 422, -4*g = -2*t + l. Is t a prime number?
False
Let a(v) = -2*v - 2. Let i be a(-4). Let h = -22 - 5. Is (4/i)/((-2)/h) a prime number?
False
Let y(c) = -c**3 + 8*c**2 + 9. Let q be y(8). Suppose -q*d = -4*d - 75. Is d composite?
True
Let p be (-31)/4 + (-1)/4. Let d(o) = 2*o + 4. Let u be d(p). Let n = -2 - u. Is n prime?
False
Suppose -z + 3*z - 4*a = 4126, 4*z - 5*a - 8237 = 0. Is z a prime number?
True
Let z(s) = s**2 + 5*s + 4. Let k be z(-3). Let t be (k + -8)/((-4)/2). Suppose 3 = i + 3*y, -i = 2*i + t*y - 9. Is i composite?
False
Let b(i) = 650*i + 9. Is b(4) a composite number?
False
Let c(v) = v**3 - 14*v**2 + 7*v + 16. Let a be c(12). Is -14*(-3 - a/(-8)) a prime number?
False
Let o = -132 + 251. Is o a prime number?
False
Let w(s) = -s**3 + 7*s**2 + 12*s + 11. Let z(n) = -n - 1. Let g(a) = w(a) + 6*z(a). Is g(6) composite?
True
Let u = -685 + 1040. Is u prime?
False
Let a be -123 + (-12)/((-4)/1). Is (-52456)/a + (-2)/15 a composite number?
True
Let d(s) = -43*s - 1. Let n be d(1). Let h = 74 - n. Suppose -4*a = -478 - h. Is a a prime number?
True
Let q = -2 + 2. Suppose 3*y + y = q. Suppose y = -2*c - 6 + 34. Is c composite?
True
Let u be (4/6)/(4/30). Suppose -12 = -u*g + 8. Is (1 - g)/(-3) - -21 a composite number?
True
Suppose 2*r = -3*v - 0*r + 31, -2*v + 18 = 4*r. Let w = v - -8. Is w a composite number?
False
Let c(x) = x + 10 + 3*x + 0*x - 3*x. Let w be c(-7). Is w + -1 - (0 - 69) composite?
False
Let g = -1520 - -2283. Is g a prime number?
False
Suppose 5*b = 35 - 5. Suppose -h + b = h. Is h prime?
True
Suppose -4*c = 0, 4*c = -4*l - c + 28. Suppose -3*d + l*d - 764 = 0. Is d a composite number?
False
Let y(c) = 0 - 3*c**2 + 9*c + 2*c**2 - 9. Let m be y(7). Suppose -m*w - 3 = -5*r + 2, -4*r - 3*w + 18 = 0. Is r composite?
False
Is (6 + -3 - 319)*(-22)/8 a prime number?
False
Let v be (-16)/(-10) + 4/10. Let z = 12 - 13. Is 114 - (z + v)*-1 a composite number?
True
Suppose 11*t + 6*t = 14909. Is t a composite number?
False
Let t be (16/(-20))/(4/(-10)). Is 1794/12 + (-1)/t a prime number?
True
Suppose 0 = -7*g + 9*g + 702. Let i = g + 568. Is i prime?
False
Let q(l) = -l**3 + 3*l**2 - 5*l - 4. Let d be q(5). Let k = d + 132. Is k a prime number?
True
Let g(m) be the third derivative of 25*m**4/24 + 7*m**3/3 + 9*m**2. Is g(15) a composite number?
False
Suppose 0*z + 4*z = 48. Suppose -l - 4*l = 3*j + z, 0 = l - j - 4. Suppose -3*g + 168 - 3 = l. Is g a prime number?
False
Let d = -25 + 164. Is d a prime number?
True
Let z be 2 - 0*2/(-6). Suppose 9*c - 4*c + z*a = 297, 0 = -c - 5*a + 64. Is c a composite number?
False
Let b be (-4)/(-4) + (-1 - -3). Suppose 3*k = b + 12. Suppose k*h - 432 = 53. Is h a prime number?
True
Let v = 5 + 35. Suppose 4*r - 9*r + 17 = -k, 0 = 2*k - r + 34. Let o = k + v. Is o prime?
True
Let l be ((-2 - -3)*-4)/(-1). Let d be -3*(l/(-6))/1. Suppose d*f - 7 = -4*y + y, 31 = f - 4*y. Is f composite?
False
Let k be 158/4 - (-2)/(-4). Let d be (-3)/6 - 210/(-4). Let r = k + d. Is r a prime number?
False
Let a(b) = -b + 121. Let v = -1 - -1. Is a(v) composite?
True
Let n = -2 - -4. Let p(t) = n*t + 0*t - 4*t + 5. Is p(-7) a prime number?
True
Suppose m - 5*g = 2, 6 = m + 2*m - 3*g. Suppose -5*q + 9 = -m*q. Suppose -q*j + 35 = 2*j. Is j a composite number?
False
Suppose 4*d = a + 12, -4*a + 32 = 5*d - 4. Let v = 7 - a. Is 3 + 12/(v - 0) composite?
False
Let z(x) = -x**2 + 11*x - 12. Let y be z(9). Let i(f) = 243*f - 1. Let s be i(2). Suppose c + s = y*c - 2*n, 291 = 3*c - 2*n. Is c a prime number?
True
Let n(p) = -p**2 + 3*p + 4. Let o(y) = 1. Let q(d) = -n(d) + 3*o(d). Suppose -4 + 0 = 2*a. Is q(a) a composite number?
True
Let r = 71 + 2870. Is r a composite number?
True
Let u(s) = s**3 + s**2 - s + 1. Let j be u(1). Let q(w) = -2*w**3 - 2*w - 1. Let o be q(-1). Suppose o*v + j*v = 635. Is v a prime number?
True
Suppose 5*t + 3*l = 11935, 4*t - 5*l = -2*l + 9521. Suppose -4*p + t = 756. Is p composite?
True
Let w(b) = -57*b - 14. Let n be w(-11). Is 1/2 - n/(-2) a composite number?
False
Suppose -65 = 5*r - 5. Let s be -7*(r/(-7) - 2). Is 1/(0 + s/62) composite?
False
Let p(v) = v - 4. Let q be p(6). Suppose -255 = q*l - 933. Is l/9 + (-6)/9 a prime number?
True
Let c(t) = -17*t + 8. Let q = 5 - -9. Suppose 0 = -2*s - q - 4. Is c(s) a composite number?
True
Suppose 0 = -3*l, 0 = 3*s - 8*s - 3*l + 20. Suppose x - 99 = 3*d + 139, 5*d - 867 = -s*x. Is x composite?
False
Suppose -3*k - 386 = -0*w + w, -5*k - 646 = -w. Let g = k - -190. Suppose 4*j + 5*z - 48 = -7, 3*z = -5*j + g. Is j composite?
True
Let f(m) = -3*m + 3. Let y be f(3). Let i be ((-6)/4 + 2)*y. Is 164 + (i - (-2 - 0)) prime?
True
Let k(u) = 9*u + 5. Suppose p - 3*y = -p - 53, 3*p + 72 = 2*y. Let r be (-108)/(-11) - 4/p. Is k(r) a prime number?
False
Let h(r) = 5*r**3 - 3*r - r**3 + 2*r + 2 - 5*r**3. Let l be h(0). Suppose 4*n - 3*n = -l*s + 139, 3*n + s - 442 = 0. Is n a composite number?
False
Let x(i) = -317*i**3 - 7*i**2 + 2*i. Suppose -3*h = -8 + 20. Let s(u) = 159*u**3 + 3*u**2 - u. Let r(c) = h*x(c) - 9*s(c). Is r(-1) composite?
False
Let s be (4/(-2) - -1) + 240. Let b be (-77)/(-21)*1*21. Suppose 0 = 4*p - s - b. Is p a composite number?
False
Is (546/24)/((-3)/(-12)) a composite number?
True
Suppose 12 = -4*u - 4*q, 0 = 3*q - 2*q + 1. Is (7 - 4) + (-148)/u prime?
False
Let q(s) = -3*s**3 - 7*s**2 + 6*s - 9. Let a(i) = 4*i**3 + 6*i**2 - 5*i + 10. Let d(b) = -2*a(b) - 3*q(b). Is d(-9) a composite number?
False
Let c(l) = 3*l**2 - l + 2. Let a(z) = 2*z**2 + 3*z. Let d be a(-2). Suppose -n - 7 + d = 0. Is c(n) a prime number?
False
Is 4 + 1452/(-2 + 6) prime?
True
Let s(z) = 5*z**2 + z - 6. Let o be s(5). Suppose 3*p - o = -5*f, 5*f = f + 4*p + 112. Is f composite?
True
Let u be (-12)/(-8)*16/6. Suppose 3*h + u*l - 349 = 0, 0*h - 2*h = 5*l - 235. Is h a prime number?
False
Let a(i) = 3*i - 3*i**2 - 5 + 2*i**2 + 0*i**2. Let l be a(-5). Is 1/(1 + 42/l) composite?
True
Let t = 974 + -531. Is t a composite number?
False
Suppose h - 468 = 4*t + t, 0 = -4*t + 3*h - 381. Let z = 172 + t. Is z composite?
False
Let d be 16/3 - (-4)/6. Let g = 10 + -1. Let w = g - d. Is w prime?
True
Is (-94)/(-4) + 18/(-12) a prime number?
False
Suppose 5*u + 4*l = 6981, 0 = 5*u - 5*l + 4*l - 6986. Is u composite?
True
Let r(o) = -o**3 - 6*o**2 - o + 4. Let p be r(-6). Let b = -6 + p. Suppose 3*l - 2*u - 69 = 0, 3*l - b*u - 46 = l. Is l composite?
False
Let i(o) = o**3 + 6*o**2 - 2*o + 7. Let u = 8 + -6. Suppose -21 = u*z - 9. Is i(z) a prime number?
True
Let r = 60 - 29. Is r prime?
True
Let l be 0 - 10 - 8/(-4). Let s = l + 19. Is s a composite number?
False
Let l(n) = 8*n**3 - 3*n**3 - n**2 + n - 1 + 0*n**2. Let d be l(1). Suppose -574 = 2*m - d*m. Is m prime?
False
Is (-1334)/(-7) + (-3)/(-7) composite?
False
Let q(y) = -y**2 - 4*y - 1. Let l be q(-3). Suppose r + l*r = 18. Is r a composite number?
True
Let c = -754 + 1623. Is c a composite number?
True
Let n(i) = i**3 - i**2 - i + 2. Let a be n(2). Let p(b) = b**3 - 5*b**2 + 6*b - 5. Let j be p(a). Suppose 0 = 3*g + j - 9. Is g prime?
True
Is (0 - 1)/((-7)/1043) a composite number?
False
Suppose -4*a + 14 = n - 5, -4*n - 3*a + 24 = 0. Let s(g) = 0 + 2*g - g**2 - 2*g**2 - 1 + 5*g**3. Is s(n) a composite number?
False
Let w = 14 - 6. Suppose 2*o = 0, -p + 33 = 4*o - w*o. Is p prime?
False
Suppose 4*z + 9 = 25. Suppose -10 = -z*g - g. Suppose w - g*w + 97 = 0. Is w a prime number?
True
Let q(i) = -7*i - 2*i - 4 + 17*i + 11*i. Is q(5) a prime number?
False
Let r(w) = w + 8. Let f be r(-4). Suppose -2*s = 4*b - 7*s - 173, 0 = b - f*s - 57. Is b a prime number?
True
Suppose -160 + 476 = 2*y. Is y prime?
False
Let w(u) = -u**2 + 10*u - 5. Let p