 (3 + (-354 - -1)) a composite number?
False
Suppose 5 = 3*f - 28. Is f a prime number?
True
Let z be 4/18 + 50/18. Suppose -2*i - z*i + 13 = l, i - 11 = 4*l. Suppose 3*f - i*o - 24 = 27, -3*o = f - 9. Is f composite?
True
Suppose 18 = 2*k - 356. Is k prime?
False
Suppose q - 5*q + 636 = 0. Suppose m + 2*m - q = 0. Is m a composite number?
False
Let y(i) = -104*i + 11. Is y(-27) prime?
True
Let r(w) = -w**3 - w**2 - 4*w + 1. Is r(-3) a prime number?
True
Suppose 3*r + 4*n = -2*r + 1048, -214 = -r - 3*n. Let f = 132 + 661. Suppose -321 = -2*x - h + r, 2*h = -3*x + f. Is x a composite number?
True
Let w = 5 - 8. Let v be 32/14 + (-2)/7. Is 2*((-21)/v)/w composite?
False
Let g be (-1)/(-1) + (0 - -1). Let n be 1 + 20/(-6) + 72/54. Is (430 - n)/(3 - g) a composite number?
False
Is 1534/14 - (-8)/(-14) a prime number?
True
Let y(m) be the third derivative of 3*m**5/20 - m**4/8 + m**2. Let s be y(2). Suppose -s = -g + 1. Is g a composite number?
False
Let h = 5 + -8. Let f = h + 70. Is f a prime number?
True
Let x = -3 + 1. Is 37 + x + 1 + 1 prime?
True
Suppose -3*f - 3*c + 653 = -2*c, 4*c = 5*f - 1077. Is f a prime number?
False
Let b be -3*1*(-4 + 3). Is 157/2 + b/6 a composite number?
False
Let j(w) = w - 1. Let z be j(4). Suppose 0 = 2*v - z*x - 7, 4 + 3 = 4*v + x. Suppose -2*y - 2*f - 3*f + 105 = 0, f = -v*y + 109. Is y prime?
False
Let z = 71 - 2. Is z a prime number?
False
Suppose 3*j - 411 - 18 = -5*q, -4*j + 572 = 5*q. Is j composite?
True
Suppose 0 = -3*w + 3801 + 636. Let t = w - 881. Suppose 4*q - t = 30. Is q a prime number?
True
Let b = 15 + -25. Let t = -5 - b. Suppose -t*k + 23 = -152. Is k a composite number?
True
Let g(m) = m**3 - 5*m**2 - 4*m - 2. Let z be g(5). Let d be (-2)/10 - z/10. Suppose -26 - d = -4*n. Is n a prime number?
True
Suppose 2*t - 3*x - 3709 = 0, -3*t + 5*x + 9260 = 2*t. Is t composite?
False
Let u(i) = 3*i - 2. Let v be u(2). Suppose 2*x + 5*r - 26 = 0, -r + 3 = v*x - 13. Suppose x*t + t = 132. Is t prime?
False
Suppose 0 = 2*s - 3*j - 3763, 2*j = -s + 7*j + 1864. Is s composite?
False
Suppose -3909 = -8*j + 2915. Is j a prime number?
True
Is (-9)/18 - 423/(-2) a prime number?
True
Let a(q) = 533*q**2 + 18*q - 1. Is a(-2) prime?
False
Suppose -618 = 5*q - 1623. Is q prime?
False
Let o(l) = 218*l**2 - l. Let n be o(1). Let r = n + 558. Is (r/(-20))/((-1)/4) a prime number?
False
Let o = 6 - 10. Is ((-2)/o)/(4/616) composite?
True
Suppose 0 = 3*x - 210 - 372. Is x composite?
True
Suppose 4*l - 116 = -b + 6, -4*b = -2*l + 70. Let q(s) = -s - 2. Let d be q(-4). Suppose -d*f + 15 = -l. Is f a composite number?
False
Let p(b) = b**2 + 3*b + 2. Let j(m) = m**2 + 2*m + 1. Let a(r) = -4*j(r) + 5*p(r). Let y be a(-6). Suppose y*g + g = 4. Is g a prime number?
False
Suppose -4*b - 252 = -5*p, -2*p = -2*b + b - 99. Suppose 0 = -q - 3*n - 29, -3*q + 3*n - 29 - 34 = 0. Let u = q + p. Is u a composite number?
True
Let f(b) = b**3 - b**2 - 1. Let t(j) = 2*j**3 + j**2 + 4*j. Let i(g) = -g - 6. Let n be i(-7). Let u(o) = n*t(o) - 3*f(o). Is u(-2) a prime number?
True
Let x = -23 - 6. Let c = 8 - x. Is c prime?
True
Let s(n) = 3*n**3 - 8*n**2 + 4*n + 6. Is s(5) a composite number?
True
Suppose -4*z - 43 = -383. Is z a composite number?
True
Suppose 0 = -0*m + 4*m + 12. Let b be m/((-3)/(-2)) - -9. Let l = b + 3. Is l prime?
False
Let x be (-8)/(-12) - 482/3. Let h = -81 - x. Is h composite?
False
Let t(o) = -5*o**3 - 8*o**2 - 8*o + 19. Let d(r) = -4*r**3 - 9*r**2 - 9*r + 18. Let q(x) = 4*d(x) - 3*t(x). Is q(-11) a prime number?
False
Let f = 22 - 8. Suppose -f*u + 635 = -9*u. Is u prime?
True
Let j = 2256 - 311. Is j composite?
True
Let m be 338/7 - (-4)/(-14). Suppose -3*g = h + 3 - 25, 2*h + 2*g = m. Is h a composite number?
True
Suppose 0 = -3*q - 0*q + 753. Is q prime?
True
Let w(f) = 84*f + 6. Let b(q) = 17*q + 1. Let v(x) = -11*b(x) + 2*w(x). Is v(-6) prime?
False
Let p = 73 + -50. Let t = 6 + -10. Is t*p*10/(-8) a prime number?
False
Suppose -o + 2*o = 148. Suppose 2*z + o = 6*z. Is z a composite number?
False
Suppose 0*t + 4*t - 8 = 0. Suppose -d = t*d - 255. Is d composite?
True
Let a(m) = -15*m**3 + 7*m**2 + 4*m + 2. Let b(o) = -7*o**3 + 3*o**2 + 2*o + 1. Let d(w) = -2*a(w) + 5*b(w). Is d(-5) a composite number?
False
Is (-11747)/(-17) + (0 - -4) a composite number?
True
Suppose 3*x = -2*i + 8203, -2*i + 20565 = 3*i - 4*x. Is i a composite number?
True
Let o(t) = -7*t - 2. Let j(c) = c**3 + 3*c**2 - 4*c - 3. Let m be j(-4). Is o(m) composite?
False
Let y(b) = 1 - 4*b**2 + 3*b**2 + 3*b + 2*b**2. Suppose -3*z = u - 5, 0 = 3*z - 5*z + 3*u + 18. Is y(z) a composite number?
False
Suppose 4*h - 32 = -0*h. Let r(w) be the first derivative of -w**3/3 + 13*w**2/2 - 9*w - 2. Is r(h) composite?
False
Let d(q) = -q**2 - 6*q - 5. Is d(-4) prime?
True
Let u(d) = d**3 - 6*d**2 + 2*d - 6. Let p be u(6). Is 93/9 + 4/p composite?
False
Is (55/(-10))/(3/(-606)) prime?
False
Let y(r) be the second derivative of 4*r**2 + 1/3*r**3 + r + 2/3*r**4 + 1/20*r**5 + 0. Is y(-7) prime?
True
Suppose 4*x - 10 = -3*s + 5, 36 = 5*s + 3*x. Suppose 2*p = -p + s. Is ((-9)/(-6))/(p/28) prime?
False
Let y = 0 + 2. Suppose 0 = y*c + c - 1737. Is (-2)/((-6)/c) - 2 a prime number?
True
Suppose 4*y - 7 - 1 = 0. Suppose -i = 3*t + y*t - 2094, 4*t - 2*i = 1678. Is t a prime number?
True
Let d = 1104 + -773. Is d a composite number?
False
Let z = 12 + -7. Suppose -4*c + z*h = 10183, 4*c - 3*h = -148 - 10037. Is c/(-33) + 4/(-22) composite?
True
Suppose -4*c + c + 18 = 0. Suppose 0 = -5*l + 5*s - 45, 0 = -c*l + 2*l + 3*s - 41. Let r = 0 - l. Is r a prime number?
False
Suppose 0 = b - 1 - 88. Is b prime?
True
Let i(w) = -69*w - 11. Suppose -2*b + 4 = -6, -5*s - 80 = -2*b. Is i(s) a prime number?
False
Let h(n) = n**3 + 5*n**2 + 2*n - 4. Let c = 1 + -5. Let o be h(c). Suppose -3*y + o*y = 31. Is y prime?
True
Let g(a) = 2*a**2 + 3*a + 2. Is g(9) prime?
True
Suppose 0 = -6*c + 5*c + 74. Is c a composite number?
True
Let t = -1423 + 2430. Is t a composite number?
True
Let u = -3 - 3. Is 3*329/u*-2 a composite number?
True
Suppose -6*u = -u - f - 128, -34 = -u + 3*f. Suppose -5*o - 3*a = -2*a + 20, -5*a + u = 0. Let d(q) = -q**3 - 5*q**2 - 4*q - 5. Is d(o) prime?
False
Suppose 2*t - 7031 = -p + 6*t, -p = -t - 7040. Is p prime?
True
Let s be (-2)/(-3) + 4850/6. Suppose -5*u - 797 = -4*w, 4*w + 0*u = u + s. Is w prime?
False
Let p = 855 + -298. Is p a composite number?
False
Let l = 6 + -4. Let n(d) = 11*d - 1. Is n(l) prime?
False
Suppose z + 0*z + 5*i - 588 = 0, 5 = 5*i. Is z prime?
False
Suppose 0 = -42*j + 40*j + 998. Is j a prime number?
True
Suppose -3*v + 3 + 24 = 5*j, j = -4*v + 19. Suppose -5*r = 4*g - 2*g - 6, -j*g - 3*r = 9. Is 2/g + (-219)/(-7) a composite number?
False
Let n = 14 + -15. Is n - (-66)/(0 - -3) a composite number?
True
Let n(m) = 6*m**2 + 3*m - 2. Let g be n(2). Let x(l) = -l**3 + 7*l**2 + 10*l - 5. Let p be x(8). Suppose -k = -p - g. Is k prime?
False
Let k(x) be the first derivative of -x**4/4 - 4*x**3/3 - 3*x**2/2 - 1. Let w be k(-3). Suppose 3*j = -5*z - 0*z + 80, w = j + 2*z - 27. Is j a prime number?
False
Let h = -11 + 14. Suppose 0 = -h*n + n + 46. Is n a composite number?
False
Is (113/(-2))/((-4)/56) prime?
False
Let j(x) be the second derivative of x**4/2 + x**3 + x**2/2 + 6*x. Is j(5) a composite number?
False
Let f(r) = 3*r + 2. Let i be f(2). Is 370/i + 1/(-4) composite?
True
Let x = 6163 + -2792. Is x prime?
True
Let f(b) be the first derivative of b**2/2 + 2*b - 2. Let k be f(7). Suppose 4*a + k = 157. Is a a prime number?
True
Let l(k) = -k**2 + k + 43. Let b = 8 + -8. Is l(b) composite?
False
Let o(d) be the third derivative of d**6/120 + 3*d**5/20 - d**4/24 - d**3/3 - 3*d**2. Is o(-9) a prime number?
True
Suppose -4*x + 76 + 0 = 0. Is x a prime number?
True
Suppose 4*x + 12 = 4*j - 0*j, -2 = x. Suppose -k + j + 1 = 0. Suppose -h + 33 = k*h. Is h a composite number?
False
Let p be 3*1/3*-1. Let a be 44/6*(-4 - p). Let x = -1 - a. Is x prime?
False
Let s(v) = -v**2 - 4*v + 1. Let c be s(-2). Suppose 232 = -3*z + 2*x + 581, -10 = c*x. Is z a composite number?
True
Let a(l) = -51*l + 11. Is a(-10) prime?
True
Let z be (-88)/6*3/(-2). Let a = -5 - -4. Let q = z - a. Is q composite?
False
Suppose 6*s - 1292 = 436. Suppose -b = 2