e
Suppose 3175 = 17*c - 12*c. Is c a composite number?
True
Let t(a) = -2 + 8*a + 1 - 10. Is t(8) a prime number?
True
Let p be (-8)/(4 + (-29)/7). Suppose 2*u = -p + 1098. Is u a composite number?
False
Let u(t) = -3*t**3 - 4*t**2 - 2*t + 2. Let z be u(-3). Is z/2 - 3/6 prime?
False
Let y be -1*-2*(-339)/(-6). Suppose -p = -2*p + y. Is p a composite number?
False
Let i = 3 - -2. Suppose -i*n - 2 = -412. Is n a composite number?
True
Let x(h) = -18*h**3 + 2*h - 1. Let d(f) = -f**3 - 8*f**2 - 6*f + 5. Let u be d(-7). Is x(u) composite?
False
Suppose -3*x + 5 = c, -5*x + 2*x + 10 = 2*c. Suppose x = 3*z - 0*z. Is (5 - z)*(4 - 1) prime?
False
Suppose -2*z - 4*s - s + 332 = 0, z - 2*s = 148. Suppose z = 5*n - 689. Is n prime?
False
Let d = -160 + -148. Let x = d - -519. Is x a composite number?
False
Is ((-6)/4)/((-1)/118) prime?
False
Let p(w) = w**2. Let a be p(2). Suppose 13 - 45 = -a*f. Suppose -b + 13 = -f. Is b a prime number?
False
Let a(p) = p**3 - 2*p + 237. Let w be a(0). Suppose q + 0 = -5*s - 8, 2*q - 4*s - 12 = 0. Suppose -w = -y - q*y. Is y composite?
False
Suppose -2 = -5*s - 3*p, 2*s - 2 = 3*s + 3*p. Let b be -1*(-5 + s/1). Suppose j + j = b. Is j prime?
True
Suppose -q = -3*t + 18, t + 2*q - 24 = -3*t. Let n(o) = o**2 - 5*o - 7. Let v be n(t). Let c(y) = -14*y**3 + y**2 + y + 1. Is c(v) prime?
False
Let a(b) be the first derivative of -14*b**2 + b + 2. Let z(x) = -x**2 + 2*x - 2. Let t be z(3). Is a(t) composite?
True
Let l(w) = 2*w**2 + 1. Let x be l(-1). Suppose 0 = 2*h - 7 + x. Is (h - 3)*25*-1 a composite number?
True
Suppose -26 = 4*i - 34. Let k(v) = -v**3 - 3*v**2 - 3. Let d be k(4). Is (i/5)/((-1)/d) prime?
False
Let d(t) = -t**3 - 11*t**2 - 10*t. Let h be d(-12). Suppose -5*m + 91 = -h. Is m composite?
False
Is 270 + -2 + 5 + -2 prime?
True
Suppose 0 = n - 9 + 138. Let u = n - -189. Let f = -27 + u. Is f prime?
False
Let c(k) = k**2 + 0*k**2 - 12 - k + 13*k - 11*k**2 + k**3. Is c(9) a prime number?
False
Let v = 0 - 4. Is 4/v*-59*2 prime?
False
Let i(q) = -4*q. Let y be i(-2). Let m(g) = g**3 - 9*g**2 + 8*g + 2. Let p be m(y). Suppose p*a = 0, t + 2*a = 23 + 2. Is t composite?
True
Let h be 8*(1 + 84/16). Suppose -4*n + 162 - h = -4*s, 127 = 4*n - s. Is n a composite number?
True
Let g be 2154/21 + 4/(-7). Let d = g - 25. Is d a composite number?
True
Is 686 - -1*(1 + -3) - 1 composite?
False
Let a = 295 - 84. Is a a composite number?
False
Let q(v) = v**2 + 5*v. Let w be q(-3). Suppose 3*r = 4*n + 15, 3*r + r = 3*n + 13. Is -6*n/w*-1 a prime number?
True
Let k(h) = -14*h - 15. Is k(-6) a prime number?
False
Let c(b) = -b**2 - 2*b - 3. Let z be c(-5). Let w = 7 + z. Let u = w + 48. Is u a prime number?
True
Let t(c) = c**3 + 2*c**2 - 3*c. Let n be t(-3). Suppose -q = 2*d + q - 10, n = q. Suppose 3*m - d*b - 96 = -0*m, 0 = -3*b + 9. Is m a prime number?
True
Let p = -5 - -5. Suppose 3*v + v - 644 = p. Is v composite?
True
Let n(f) = -19*f - 6. Let g(y) = 96*y + 30. Suppose 5*j - 3*j - 4 = 0. Let o(k) = j*g(k) + 11*n(k). Is o(-5) composite?
False
Let v be ((-9)/6)/(6/8). Is v/7 + 270/14 composite?
False
Suppose 483 = -2*h - h. Let b be (-2 + h)*(2 + -5). Let r = b + -232. Is r composite?
False
Suppose -3*f = -2*b + 3 + 23, -3*b + 77 = 5*f. Is b composite?
False
Suppose 5*q = 4*b + 309, -3*b + 2*q - 227 = 3*q. Let i = 73 - b. Is i a composite number?
False
Let j = 428 + -160. Suppose 3*b - j = -b. Is b prime?
True
Suppose 32*p + 2612 = 34*p. Is p a composite number?
True
Let d(i) = i + 35 - 5*i - 2*i + 5*i. Is d(0) a prime number?
False
Suppose -3*j + 91 = 31. Let z = j - 11. Suppose -2*b = z - 83. Is b prime?
True
Let s(m) be the first derivative of m**4/4 + 11*m**3/3 + 5*m**2/2 - 13*m + 4. Is s(-10) a composite number?
False
Suppose -3014 = 10*q - 12*q. Is q a composite number?
True
Let i be (1/(-2))/(2/(-4)). Let o(y) = 34*y**2 - 4*y + 5*y - 1 + 3*y**2 + 12*y**2. Is o(i) composite?
True
Let g(d) = 6 - 16 + 0*d - 2*d. Is g(-8) prime?
False
Suppose j = -2*f + 62 + 1550, -f - 2*j + 803 = 0. Is f a prime number?
False
Suppose 0 = g - 0*g - 18. Suppose 0 = 3*z - 489 + g. Is z composite?
False
Is (5622/20 - 12/(-30))*2 a composite number?
False
Let c(h) = h**2 + 11*h + 12. Let l be c(-10). Suppose -2*p + 124 = l*p. Is p a prime number?
True
Let h = 8 - 5. Let z be h/(2/(-2 - -12)). Suppose -o - z = -5*n + 45, -4*o - 64 = -4*n. Is n a prime number?
True
Let s be ((-2)/(-3))/(8/84). Let o(w) = -w**2 + 9*w + 1. Is o(s) composite?
True
Is -4*(-6)/(-8)*(-1439)/3 composite?
False
Let l(j) = -j + 149. Is l(0) prime?
True
Suppose 0 = -4*g + 47 + 2469. Suppose 5*h + 4*j = 3*h + 236, -5*h + g = -3*j. Let m = 207 - h. Is m a prime number?
True
Let v(j) = -j**3 - 3*j**2 + 7. Let x = -6 + 0. Is v(x) prime?
False
Suppose 4*n = -2*b + 4458, -6*b - 2*n + 6703 = -3*b. Is b a prime number?
True
Let y = -3 + 5. Suppose y*g = -g + 6. Suppose -250 = -5*a - 5*c, g*c + 229 = a + 4*a. Is a composite?
False
Let j = -7 + 8. Let r = j + 1. Is r prime?
True
Let c(l) = -3 + 1 - l + 0 + 5*l**2 + 3*l. Is c(-3) a prime number?
True
Let d(b) = b**2 - b - 157. Let q be d(0). Suppose -2*a + 519 = -21. Let z = a + q. Is z prime?
True
Let u = -19 + 11. Let h be 2/u - (-85)/20. Suppose -469 = -5*k - h*l, -k - 4*l = -l - 96. Is k a prime number?
False
Let f(a) = 3*a**2 - 2*a - 1. Suppose -2*m = -4*m + 4. Is f(m) a prime number?
True
Let i(q) = -38*q + 1. Let y(f) = f. Let g(n) = i(n) - 3*y(n). Is g(-5) composite?
True
Let b = 3 + -1. Suppose -508 = -b*v - 2*v. Suppose -181 - v = -4*t. Is t prime?
False
Let p = 301 - 138. Is p a prime number?
True
Let o(w) = 4*w**3 - w**2 + w. Let q be o(1). Suppose 820 = q*z + 192. Is z composite?
False
Let q be (6 + -2)/(-4 - -3). Let l(u) = -19*u + 3. Is l(q) composite?
False
Let t be ((-2)/(-4))/((-3)/(-42)). Suppose t = 4*f - f + 5*p, f = 4*p + 8. Is -26*(2/f)/(-1) prime?
True
Let n(i) = i**3 - 4*i**2 + i - 2. Let q be n(4). Suppose 0 = 3*u - 15, q*k - 2*u - 271 = u. Is k prime?
False
Let n(z) = z + 4. Let i be n(-10). Is 181/2 - (-9)/i composite?
False
Suppose 2*f + 3*p = 3*f - 99, 2*f + 3*p = 162. Is f a composite number?
True
Let n(h) be the second derivative of -h**3/6 - h**2/2 - 2*h. Let r be n(3). Is (-2)/(0 - r/(-26)) a prime number?
True
Let j = -53 + 430. Is j a prime number?
False
Suppose o + 3*k - 8*k = 2, -4*k - 24 = -4*o. Suppose w + 16 = -4*m, w + 2*w = -m + o. Suppose w*g = 143 - 19. Is g a prime number?
True
Suppose 3*x - 8*x + 8 = 4*o, -2 = -o - 2*x. Suppose 0 = 2*q + o*q - 1676. Is q composite?
False
Let p(v) = -v + 39. Suppose -2*r = -3*r. Suppose 3 = s, -5*t - 4*s = -r*s - 12. Is p(t) a prime number?
False
Suppose v - 2*v + 25 = 4*m, -4*m + 30 = 2*v. Let p(z) = -2 - 2 + m*z**2 + z - 1. Is p(-5) a prime number?
False
Suppose -g + 4087 = 4*g + 3*r, 3*r + 1639 = 2*g. Is g prime?
False
Suppose 4*w = 5*w. Suppose 0 = -w*i + 3*i - 1785. Suppose u + i = 6*u. Is u prime?
False
Let o(r) = -131*r + 1. Is o(-2) composite?
False
Suppose -3*v + 2782 = 5*o, -o + 4*v + 558 = 3*v. Is o a prime number?
True
Suppose -5*d + 29 = 9. Suppose n = d*n. Suppose 276 = 4*r - n*r. Is r a prime number?
False
Let s = 24 + -4. Let d = -9 + s. Is d a prime number?
True
Let o(b) = b - 2. Let w be o(2). Suppose w = 4*c + c. Suppose c = 4*v + n - 121, 5*v - 157 = -n - 5. Is v a composite number?
False
Let k(u) = 4*u + 5. Let c(s) = -21*s - 25. Let n(v) = -2*c(v) - 11*k(v). Is n(-12) a prime number?
True
Let h(l) = -632*l**3 - 3*l - 2. Is h(-1) composite?
True
Let s(t) = t**2 + 7*t + 7. Let b be s(-6). Let f(k) = 8*k - 2. Is f(b) composite?
True
Suppose -g = -4*s + 7264, 2*s - 4*s + 5*g = -3614. Is s composite?
True
Let s(x) be the third derivative of x**5/12 + x**4/3 - x**3 - 2*x**2. Is s(5) composite?
True
Let j(k) = 13*k - 2. Suppose 3*u - 27 = -5*r, 2*u = -5*r + 3*u + 11. Is j(r) a composite number?
False
Let j(l) = 4*l**3 + 5*l**2 - 2*l - 4. Is j(3) composite?
True
Let u(i) = -3*i**2 - i + 1. Let t(w) = 4*w**2 + 2*w - 1. Let y(p) = -4*t(p) - 6*u(p). Is y(-5) composite?
True
Let i(s) = -28*s**2 + 2*s - 2. Let b be 3/(-2) - (-7)/2. Let z be i(b). Is z/(4*2/(-4)) a composite number?
True
Let s(w) be the second derivative of 7*w**3/6 + 3*w**2/2 + 2*w. Is s(5) a composite number?
True
Suppose -15*n = -23569 + 3379. Is n prime?
False
Let f(