 4*m - i - 1. Is m a composite number?
False
Suppose 0 = 5*h + 3*j - 274, -385 + 117 = -5*h - j. Is h composite?
False
Let q(o) = 8 - 2 + 3*o - 1 + 0 + 2*o**2. Is q(4) prime?
False
Let q = -435 - -952. Is q composite?
True
Let a = 1808 + -841. Is a prime?
True
Let i(n) = -26*n + 1. Let q(w) = -77*w + 3. Let r(h) = -11*i(h) + 4*q(h). Is r(-3) a composite number?
False
Let l(f) = 375*f**3 + 1. Let b be l(1). Suppose -4*v = -6*v + b. Suppose 3*x - 67 = v. Is x a composite number?
True
Let p = -6 + 8. Let c(l) = -l**3. Let h be c(p). Let a = 12 + h. Is a prime?
False
Let p(n) = -7*n**3 - 5*n**2 - n + 7. Let j be (8/(-6))/(1/3). Is p(j) composite?
False
Suppose -2*a + 365 = o, -2*a + 1448 = 4*o - 0*a. Suppose -3*m = -2*i - 6*m + o, 0 = -4*i + 5*m + 711. Is i a prime number?
True
Suppose 0 = 2*q - 2*r - 6, 3*q - r = -0*q + 5. Let s be q/2*-6 - -7. Suppose -s*j + 4*n + 44 = 0, -1 - 22 = -j - 3*n. Is j a prime number?
False
Let x(o) = -o**2 + 5*o - 4. Let z be x(3). Suppose -z*d + 13 = q - 2, 3*q + 5*d - 50 = 0. Is q a prime number?
False
Is (4 + -1448)/(-4) - 0 composite?
True
Suppose 0 = -o + 5*o. Suppose u + 3*u - 156 = o. Is u prime?
False
Suppose 0 = -i + w + 2*w - 21, 12 = 4*w. Let c(a) = -5*a**3 + a + 1. Let r be c(-1). Is 57/r - i/(-30) a composite number?
False
Let s = 4 + -2. Suppose q + 73 = -0*n + s*n, 5*q = 5*n - 180. Is n prime?
True
Let m(x) = 2*x**3 + 2*x**2 + 4*x - 7. Is m(2) prime?
False
Let q = -48 - -389. Is q a prime number?
False
Suppose 0 = 3*v + 111 + 21. Let r be -26 - (3 + -2 + -2). Let j = r - v. Is j prime?
True
Let t = 58 - 112. Let x(l) = -l**3 + 5*l**2 + 3*l - 14. Let j be x(6). Let h = j - t. Is h a prime number?
False
Let d(y) = 780*y**2 + 1. Is d(1) a prime number?
False
Let u(f) be the first derivative of -2*f**2 + 1. Let v be u(-1). Suppose 2*n + 105 = 5*n + 3*y, v*n - 104 = 5*y. Is n composite?
False
Suppose 0 = -2*f + 4*h - 2 + 6, -3*f + 1 = -h. Let a be 32/2 - f/4. Suppose s - 19 - a = 0. Is s prime?
False
Let x(z) = 4*z**2 - 3*z**2 + 21 + 66 - z. Is x(0) composite?
True
Suppose -4*o - k = -2*o + 1, 4*k = 3*o - 26. Suppose -3*a - o - 4 = 0. Is (126/(-12))/(1/a) a prime number?
False
Let o(t) = 584*t - 3. Let z(u) = 876*u - 5. Let d(v) = 8*o(v) - 5*z(v). Is d(1) prime?
True
Suppose 3*z = -0*z + 2199. Is z a composite number?
False
Suppose 0 = -5*z - 30. Let p(o) = -3*o - 6. Let f be p(z). Is ((-57)/(-12) + -2)*f composite?
True
Let s(d) = d**2 - 1. Let z be s(2). Is (5 - z)/((-4)/(-446)) composite?
False
Suppose 0 = 2*r - 613 - 501. Is r a prime number?
True
Let o = 14 + 2. Suppose 0 = -2*g - 4, -5*g + 57 - o = b. Is b a composite number?
True
Let l = -1 + 0. Let j = l - -5. Suppose j*o = 3*u - 5*u + 38, 5*o - 4*u - 15 = 0. Is o prime?
True
Let t(c) = c**3 - 11*c**2 - 6*c + 15. Let y(u) = u + 6. Let f be y(6). Let m be t(f). Let i = m + -62. Is i a composite number?
True
Suppose -322 = 3*a - 5*a. Is a prime?
False
Suppose 0 = h + 3*h. Suppose h = p - 52 - 190. Suppose 0 = -i - 2*v + 61, -4*v = 4*i - p - 18. Is i a composite number?
True
Suppose -3*w = 3*d - 36, -4*w - 4*d + d = -44. Let n be -2 + (-9)/(-3) - -4. Suppose -4*c + 5*a + w = -21, c - n*a = -4. Is c prime?
True
Suppose -67*u + 62*u + 1105 = 0. Is u prime?
False
Is (-487)/(-3)*12/4 composite?
False
Suppose 2*b + 3*u - 128 = 0, 3*b - 7*b - 3*u = -256. Suppose 3*q - b = -22. Is q prime?
False
Let t(i) = -3*i**2 - 3 + 2*i**2 - 3 + 1 - 64*i**3 - 4*i. Is t(-2) a prime number?
False
Let b be -3 - (12/2 - 3). Let i be (-6)/(-15) - 13/(-5). Is (-584)/b - 1/i a composite number?
False
Let u be -2 + 0 - (5 - -4). Let l = 7 + u. Is 2/((8/(-19))/l) composite?
False
Let l(h) = 32*h + 0 + 9*h - 1 - 5*h. Is l(1) a composite number?
True
Suppose 4*q = -q + 230. Is q a composite number?
True
Let m(t) = 11*t**2 - 9*t - 29. Is m(-5) a prime number?
False
Suppose 7*s - 2*s + 3*z = -17, -5*s + z - 1 = 0. Is (-418 - s/(-1))*-1 a prime number?
True
Suppose -3*r = -3*q + 1122, 3*q - 3*r - 1493 = -q. Is (1 - 4) + q + 3 composite?
True
Let l = 2 - 2. Suppose l = j + 2*j - 9. Is (3*-1)/(j - 4) a prime number?
True
Let x(r) = 5*r**2 - 34*r - 2. Is x(9) a prime number?
True
Suppose 3*j - j + y = -9, y - 6 = j. Is (4/j)/((-4)/290) a composite number?
True
Let v(g) = -3*g + 731. Is v(0) a composite number?
True
Let l be (-2)/6 + (-8)/3. Is l/6 - (-102)/4 prime?
False
Let h(y) = y**3 - 3*y**2 + y + 1. Let m be h(3). Suppose m*n - 8*n = -812. Is n composite?
True
Is 5386/3 + ((-40)/(-15) - 3) prime?
False
Let h = 929 - 290. Suppose 5*f = 5*a - 1550, -3*a + 319 = 4*f - h. Is a/(-4)*(1 - 3) a composite number?
False
Let y(a) = a**2 + 6*a - 2. Let f be y(-7). Suppose 2*d = 1 + f. Suppose -5*u = 3*q - 2*q - 59, -d*q = u - 121. Is q a composite number?
True
Let t(p) be the third derivative of -3*p**2 + 1/6*p**4 - 1/3*p**3 + 0 + 0*p. Is t(7) composite?
True
Let r be ((-16)/6 - -2)*3. Let n = 5 + r. Suppose -n*u + 124 = u. Is u a prime number?
True
Let k(o) = o - 10. Let m be k(10). Let b(z) = z + 31. Is b(m) a prime number?
True
Let d(b) = 20*b**2 + 5*b - 13. Is d(-6) prime?
True
Let f be (8/(-10))/((-3)/30). Let n(l) = -1 + 6*l - 2*l - 6*l + f*l**2. Is n(3) a prime number?
False
Let n = 10 + -9. Is -1*42*n/(-3) prime?
False
Suppose 2*o = y + 2, o + 0 = 4*y - 6. Let n be (-1 + 46)*(o - -1). Suppose -3*z - 30 + n = 3*q, -4*z + 5*q + 158 = 0. Is z a composite number?
False
Let k(a) = -a**3 + 3*a**2 + 3*a - 2. Let t(d) = 3*d + d**2 + 0*d**2 + 4*d + 9. Let h be t(-6). Is k(h) a composite number?
False
Let u(k) = k**3 + 6*k**2 - 8*k - 9. Let i be u(-7). Suppose -4*p - 713 - 235 = 0. Is (p/9)/(i/6) a composite number?
False
Let x(y) = 5*y**3 - y + 1. Let z be x(1). Suppose 2*v - z*v = -5*m + 417, 5*m + 2*v - 397 = 0. Is (-18)/m + 1145/9 composite?
False
Is 16/(-80) + (-2182)/(-10) a prime number?
False
Let j(g) = -2*g - 11. Let n be j(-8). Suppose 0*r + n*r - 400 = 0. Suppose -4*w + 12 = -r. Is w composite?
False
Suppose u + 5*k = 260 + 350, 0 = 4*k - 4. Suppose 4*v + u = 9*v. Is v composite?
True
Let t = -130 - -209. Is t a prime number?
True
Suppose -u + 5*n - 13 = 0, -5*u + 2*n - 20 - 137 = 0. Let s = 62 + u. Suppose -134 + s = -5*h. Is h a composite number?
True
Is (-562)/(-3) - 1/3 composite?
True
Let u = -43 + 222. Is u prime?
True
Let a(j) be the third derivative of 13/30*j**5 + 0*j - 1/6*j**3 + 1/8*j**4 + 0 + 2*j**2. Is a(2) a composite number?
False
Let x = 2 - 0. Suppose x*b = -3*b + 385. Is b a composite number?
True
Suppose -w - 4*w = -1045. Is w prime?
False
Let m = -5 + 8. Is 35 - m/(9/(-6)) a prime number?
True
Let h(t) be the second derivative of -7*t**3/3 + 7*t**2/2 - t. Let i be h(-7). Let s = i + -20. Is s a composite number?
True
Suppose -3*a + 345 = -414. Is a composite?
True
Suppose -4*h - 2 = -10. Suppose -4*d + 72 = g, g + h*d - 24 = 58. Is (-3)/(-2)*g/6 composite?
False
Let k(o) = -o**2 - 9*o + 2. Let d be k(-8). Suppose -1 + d = 3*t, -4*f + 14 = 2*t. Is (-488)/(-22) + f/(-11) a prime number?
False
Let x(q) = q**2 - 5*q - 3. Let z be x(5). Let s be z/(-2)*(-112)/21. Is (-516)/s - (-2)/4 composite?
True
Let d(k) = -11*k - 3. Suppose -4*t = 2*j - 6 - 6, 3*j + 2*t - 2 = 0. Is d(j) composite?
False
Let g be ((-2)/(-1) - 8)/2. Is ((-1)/(-2))/(g/(-546)) composite?
True
Let f be (-1)/2 + (-186)/4. Let d = f + -111. Is (-1)/2*(4 + d) prime?
False
Let u(s) = -s + 9. Let x be u(5). Suppose 269 = 3*a + x*z + 12, 0 = 5*z + 5. Is a prime?
False
Let n(v) = -v**2 - 6*v - 4. Let j be n(-6). Is 1/j + 385/20 a prime number?
True
Is 2 + -1 - (-781 - 12/(-3)) prime?
False
Let z(o) = -2*o**2 - 2*o - 2. Let l be z(-8). Let a = 203 + l. Is a a composite number?
False
Suppose 2*d - 12 = -2*o, 2*o + d - 11 = -2*d. Suppose -o*c - 2*l + 1179 = -2*c, -3*c = -5*l - 695. Let x = c - 156. Is x a composite number?
False
Suppose 4*i + 5*m = 1073, 2*i - 799 = -i + 2*m. Is i prime?
False
Suppose -13 = -4*s - 5. Let l = 0 - s. Let i = l + 25. Is i a prime number?
True
Is 17 + (-3)/(-6)*4 a prime number?
True
Suppose 2*w = 4 - 0. Suppose -n - c = -192, -w*n + 5*c - 578 = -5*n. Is n a prime number?
True
Suppose 4*b - 1216 = -4*k, 5*k + 285 = 3*b - 611. Is b composite?
True
Let y be ((-2)/4)/(1/(-4)). Suppose p + y*p = 723. Suppose -85 = 4*n - p. Is n composite?
True
Let i be ((-6)/5)/((-6)/(-20)). Let o = 