n + 96. Is q a prime number?
True
Let p(t) = -2*t**3 + t**2 + t. Let w be p(-1). Is 117/w - 12/(-24) prime?
True
Let i(p) = 3*p**2 + 3*p**2 - 3 + p**2 + 2*p. Let y be i(-3). Let f = 93 - y. Is f composite?
True
Suppose -6*j - 9615 = -9*j. Is j a composite number?
True
Let g(n) be the second derivative of 13*n**7/504 - n**4/4 - n. Let d(b) be the third derivative of g(b). Is d(1) composite?
True
Let h(l) = -2*l**3 + 9*l**2 + 14*l - 8. Is h(-9) prime?
True
Let b = 4 + -1. Suppose 0 = 5*r + b*t - 436, -2*r + 2*t = 4*t - 172. Is r a prime number?
True
Let c(a) = 6*a**3 - 20*a**2 + 26*a - 13. Is c(14) composite?
True
Suppose 0 = -2*q - 0*q. Suppose -4*j + j + 102 = q. Is j a prime number?
False
Suppose -4*i + 98 = 2*p, 3*p = 6*p + 15. Suppose -f = -140 + i. Is f a prime number?
True
Suppose -s - 2*h + 1895 = 0, 9511 = 5*s - 3*h + h. Is s prime?
True
Is ((-613)/(-5))/(3/15) a prime number?
True
Let z be -332*(12/(-4) - -2). Suppose z = 2*s - 2*q, 29 - 175 = -s - 3*q. Is s a prime number?
False
Suppose -t = -5*b + t + 8817, -5*t = -20. Suppose 2*w + 0*n - 5*n = 735, 0 = 5*w + 2*n - b. Is w composite?
True
Let w be 6/4 + (-66)/(-4). Let g be (-3)/w + (-237)/(-18). Suppose -n + g = -2. Is n prime?
False
Let n(u) = -2 + 4*u**2 + 4*u**2 + u - 3. Let b = 0 + 4. Is n(b) a composite number?
False
Suppose 5*n - 25 = 0, -c + 5*n = 4*c - 4410. Is c prime?
True
Suppose 2 = -n, 0 = 2*b + 5*n - 130 - 124. Suppose 3*r - 112 = -2*j, 2*r = -5*j - 39 + b. Suppose 4*l = 246 - r. Is l composite?
False
Suppose 3*r - 5*r = 0. Suppose r = 2*u - 0*u + 72. Is u/(-16) - (-2)/(-8) composite?
False
Let y(g) = -3*g**2 + 3*g - 4. Let w(o) = 3*o**2 - 3*o + 5. Let h(u) = -3*w(u) - 4*y(u). Let n(m) be the first derivative of h(m). Is n(3) a composite number?
True
Suppose 0 = 5*l + 4*y - 67, 4*l + 4*y - 50 = -y. Is (2/(-1))/((-3)/l) composite?
True
Let i = 1 + 0. Suppose h + i = 5. Suppose -4*l = -h*j + 2*j + 30, 15 = 5*l. Is j a prime number?
False
Suppose -4*p + 3*h + 2140 = 0, -h = 3*p + 2*h - 1605. Is p a composite number?
True
Let w be (8/(-6))/((-6)/(-27)). Let y be 315/(-3)*4/w. Suppose 0*p + y = 2*p. Is p prime?
False
Let n(x) = -x**2 + x + 5. Let c be n(-4). Let d(f) = -3*f - 2. Let g be d(2). Is c/(-2)*g/(-6) a prime number?
False
Suppose 4*z + 2*f = -2, f = 2*z - 3*z - 2. Let o be 1 - (-1)/(z/2). Suppose -1 = -h, -42 = -3*a + 6*h - o*h. Is a a composite number?
True
Is ((-2785)/(-10))/(1/2) prime?
True
Let g = -90 - -155. Is g a prime number?
False
Let x = 8 - 4. Suppose 2*s = 4*i - 986, 1 = -x*s + 5. Is i composite?
True
Suppose -6 = 5*n - 31. Suppose -3*k = -2*k + o - 9, -5*k + n*o = -25. Let s = -4 + k. Is s prime?
True
Suppose 3*y + 2*y = 3*l - 89, 3*l + 2*y = 61. Suppose 409 = 2*i - l. Let g = i - 119. Is g a prime number?
True
Let k = -806 - -4669. Is k a prime number?
True
Suppose 0 = -3*t + 4*t - 13. Suppose -t = -5*l - 3. Suppose 0 = 2*r - l*w - 24, -5*w + 40 = 5*r - 10. Is r a composite number?
False
Suppose -7*t = -6*t - 37. Is t prime?
True
Suppose 142 = 3*i - 512. Is i a prime number?
False
Let b = -213 + 319. Is b a composite number?
True
Suppose -2*q - 2 = -c + 3, 5*c = 25. Suppose -5*i + q*i + 10 = 0. Is i prime?
True
Let g(i) = -251*i. Is g(-1) a prime number?
True
Let j = 969 - 480. Is j a prime number?
False
Is -7*(-8 + -2)*(-4)/(-8) a composite number?
True
Is (1 - (-3)/(-4))/((-1)/(-7724)) prime?
True
Suppose 6*k - 28721 = -5*k. Is k prime?
False
Suppose 5*u - 3*u - 1262 = -4*x, -4*u = -5*x - 2511. Is u prime?
False
Suppose -5*u + 3*u + 12 = 0. Suppose u*w - 4*w - 174 = 0. Is w composite?
True
Let z(a) = 1116*a**2 + 2*a - 1. Is z(1) a composite number?
False
Let o = -405 - -938. Is o prime?
False
Suppose 4*j = 5*a - 170 - 59, a + 5*j - 40 = 0. Let m be 0/(-2) + 256/4. Let s = m - a. Is s a prime number?
True
Suppose -y = -6*y + 5. Let s be (y - 56)*4/(-10). Let t = s - 11. Is t composite?
False
Let t = 2 - 0. Let p = t - 0. Suppose -l - 3*d - 19 = -79, 3*l - p*d = 169. Is l composite?
True
Let c(u) = u**2 - 4*u - 6. Let y be c(-4). Suppose 3*a = 3, q + 2 = -4*a + 9. Suppose 79 = q*d - y. Is d composite?
True
Suppose -g = -2*g + 137. Suppose h = g + 24. Is h composite?
True
Let n = 9 - 5. Suppose -q = -t + 5*t - 9, -2*q - 18 = -n*t. Is t prime?
True
Is (-8824)/(-6) - ((-5)/(-3) - 2) composite?
False
Let o(r) = -r**3 - r**2 + r + 1. Let v(k) = -2*k**3 + 5*k**2 + 8*k. Let w(c) = -3*o(c) + v(c). Is w(-6) a composite number?
True
Suppose -o + 27 = 2*d, 0 = 2*d + 3*o - 62 + 25. Suppose 4*n - 3*n = -p + 22, 110 = 5*n - 5*p. Let j = n - d. Is j composite?
False
Suppose -2*i - 2 = -0, -i = -2*v + 111. Is v prime?
False
Suppose 0 = a + 3 - 6. Is a/3 + 1*114 composite?
True
Suppose -1666 = -3*r + 95. Is r composite?
False
Let f be 9/6 - 9/(-2). Suppose -q = -4*r - 221, -3*r - 222 = 5*q - 6*q. Suppose -3*n + q = -f. Is n a composite number?
True
Suppose -258 - 56 = -2*l. Is l a composite number?
False
Suppose -q + 2 = 0, 3*q = 5*v - 4*v - 341. Is v a prime number?
True
Let a = 508 + -347. Is a prime?
False
Suppose 5*q - i = 1318, 6*q - 2*q = -3*i + 1043. Is q prime?
True
Suppose -5*q + 411 - 116 = 0. Suppose 0 = -3*t - f - 0*f + 177, 0 = t + 2*f - q. Is t a composite number?
False
Is (6 + -5)/((-2)/(-502) - 0) prime?
True
Let g = 21 - 17. Suppose -15 = -k - 2*k, -2*k - 46 = -g*u. Is u a composite number?
True
Let y(x) = 14*x - 4. Let w(t) = -7*t + 2. Let u(f) = -13*w(f) - 6*y(f). Let a be u(2). Suppose -2 = o - a. Is o composite?
True
Let m = 5 - 3. Let t be ((-14)/8)/(4/(-64)). Suppose m*f - t = -2*f. Is f composite?
False
Let i(m) = 30*m**2 - m. Let r be i(-1). Let u = 16 + r. Is u composite?
False
Let x(t) = -10*t + 7. Let z be x(-2). Let p(w) = 8*w**2 + 5*w - 3. Let o be p(4). Suppose -2*q - c - z + 152 = 0, 3*c = 2*q - o. Is q composite?
True
Suppose m - 7 + 2 = 0. Suppose m*b - 1 = -26. Let c(v) = -9*v - 7. Is c(b) prime?
False
Let t(r) = r**2 + 5*r - 7. Suppose -11 = 4*b + 3*g, -8 = -b - 2*b + g. Let y(a) = 9*a**3 - 2*a**2 + a. Let h be y(b). Is t(h) a composite number?
False
Suppose 4 = -i + 153. Is i composite?
False
Suppose -2*u - 3*u + 2345 = 0. Is u composite?
True
Let x(a) = -a. Let f(b) = 15*b**2 + b - 2. Let c(z) = -f(z) + 4*x(z). Let s(r) = -7*r**2 - 3*r + 1. Let q(n) = -3*c(n) + 5*s(n). Is q(-3) a composite number?
False
Suppose -s - 2*s + 3*z = -534, -s - 2*z + 178 = 0. Is s composite?
True
Suppose -4*d + 104 = 4*v, -3*d - 7*v = -3*v - 75. Suppose d = k + m, 2*k + 4*m = 34 + 32. Is k prime?
False
Let g = -12 + 18. Let z(p) = -p + 9. Let f be z(11). Is ((-1)/f)/(g/168) a prime number?
False
Let q be (-6)/27 + 1228/18. Let b = 66 + q. Let w = b - 47. Is w a prime number?
False
Let w(k) = -k**3 + 8*k**2 + 9*k - 8. Let q be w(9). Let i(p) = p**2 - 18*p + 3. Is i(q) a composite number?
False
Let l(v) = -9*v - 15. Is l(-6) prime?
False
Suppose 5*s + 0 = 10. Suppose 0 = -3*z - s*p + 643, 0 = 3*z - 2*z + 5*p - 223. Is z composite?
True
Let g be ((-237)/2)/(2/(-4)). Let d = g + -115. Is d a prime number?
False
Let h = 1 - -1. Suppose -2*j + 106 = -0*j + 2*k, 4*j = -h*k + 210. Let u = j - 1. Is u a composite number?
True
Let c(b) = -31*b - 6. Let s be c(-13). Suppose -15 = -5*j, 5*x - 3*j = 5 - 4. Suppose -y = -x*y - 2, s = 5*k - y. Is k a prime number?
True
Let i(t) = 25*t**2 + 4*t + 1. Is i(-6) composite?
False
Let i = 43 + -250. Let t = 86 - i. Is t a prime number?
True
Suppose -p + 5*d - 33 = 3*p, -d + 36 = -5*p. Let c = p - -12. Suppose c*a - 33 = 2. Is a a prime number?
True
Let k(o) = 2321*o**2 + 2*o + 2. Is k(-1) a composite number?
True
Let d(g) = 48*g + 19. Is d(16) prime?
True
Let r be 4/(-14) - 16/(-7). Suppose -316 = -r*b - 2*b. Is b a prime number?
True
Let i(x) = -x**3 - 2*x**2 - 5*x - 3. Let b be (9/15)/(1/(-5)). Is i(b) a composite number?
True
Let n = 378 + 145. Is n a composite number?
False
Let w(k) = -k**2 - 15*k + 5. Is w(-13) a prime number?
True
Is 10378/16 + (-54)/(-144) a prime number?
False
Let s = -959 + 1746. Is s prime?
True
Let c(d) be the first derivative of 86*d**3 + d - 2. Let b be c(1). Suppose 5*i + b = 2*q + 4*i, 5*i - 356 = -3*q. Is q a prime number?
True
Let k be (-30)/(-4) + 1/(-2). Suppose k = -4*q - 9. Is (-1)/q + (-39)/(-4) a prime number?
False
Let f(t) be the third derivative of t**4/6 + 7*t**3/6 + t**2. I