a. Is (-91)/a - (-2)/4 a prime number?
False
Let q = 4 + -6. Let r = 3 - q. Suppose 3*x - 60 = -4*o + 10, -5*x + r*o = -105. Is x a composite number?
True
Let w(p) = 9*p**2 + 6*p - 18. Is w(-7) prime?
False
Suppose 3*c - 4*d - 4549 = 0, d - 1528 = -3*c + 2*c. Is c composite?
False
Suppose k + 0*k + 1 = 0. Let u be 94 - (-3 - 2*k). Suppose -463 = -5*j + 2*i, u = j - 0*j - i. Is j prime?
False
Suppose -2*r - 3*p + 2*p = -411, 0 = -2*r + 4*p + 386. Suppose 0 = -4*f - 7 + r. Is f a prime number?
False
Let m(s) = s**2 - 5*s + 4. Let q be m(4). Let z(f) be the first derivative of -f**4/4 - f**3/3 + 69*f + 23. Is z(q) composite?
True
Let n(m) = 51*m**2 + 3*m - 49. Is n(13) composite?
False
Is 3/(6/(-2524)*-2) prime?
True
Let j be 16/(-3)*(-5 - -2). Suppose -j = -4*c, 0*q - q - 5*c + 57 = 0. Is q prime?
True
Let f = 36 + 163. Is f a composite number?
False
Let k(d) = d**2. Let j be k(0). Suppose 0*q - 3*q + 105 = j. Is q a composite number?
True
Let a = 2 - 0. Suppose 469 = 5*b - 4*u, 3*u - 63 + 438 = 4*b. Suppose -v + b = a*v. Is v composite?
False
Let n = -296 + 532. Suppose 3*y = -4*f + 6*y + 191, y + n = 5*f. Suppose 2*r = -f + 153. Is r a prime number?
True
Let b be (-24)/4*(-2)/6. Is 34/(-3)*(-6)/b a prime number?
False
Suppose -5*t = 4*l - 4, 3*t + 3 + 1 = -4*l. Suppose -5*q + 13 = -3*n, -3*q = t*n - 4 + 2. Suppose 0*s - 6 = -q*s. Is s a composite number?
False
Let j be -1 - ((-2 - 0) + -1). Suppose j*q = 24 + 92. Is q a prime number?
False
Suppose -5*w = -0*j - 5*j - 220, -2*w + 93 = -3*j. Let m = 92 - w. Is m composite?
False
Let d = 6 + -12. Let p be (-3)/d + 9/2. Suppose 4*s - 125 = s + p*x, 43 = s - 2*x. Is s a composite number?
True
Let z = 8 - 6. Let s = z + 1. Let x(j) = 10*j + 1. Is x(s) a prime number?
True
Let g = 16 + -13. Suppose -2*r + 110 = g*r. Is r composite?
True
Let b be (-16)/(-9) - 8/(-36). Suppose 235 = 4*x - b*n - 283, 523 = 4*x - 3*n. Is x composite?
False
Let r(c) = 156 + 95 - 6*c + 3*c. Is r(0) composite?
False
Is (-7826)/(-42) - (-4)/6 prime?
False
Let q(c) = -c - 7. Let p be q(-3). Let b = 0 - p. Suppose 0 = -0*w + b*w - 76. Is w a prime number?
True
Let p(c) = -c**3 + 2*c + 2*c + 4*c**2 + 7*c**2 - 10. Is p(11) prime?
False
Let u be 1 + 2*-1*-1. Let b be 27*u + (-1 - 1). Suppose -3*f + 80 + b = 0. Is f composite?
False
Let u be (-14148)/(-28) + 2/(-7). Suppose 0 = 8*g - 3*g - u. Suppose 3*p + p = -d + 213, -g = -2*p + 5*d. Is p composite?
False
Let q(p) = p**3 - 11*p**2 + 10*p - 8. Let m be q(10). Is (-2)/8 - 170/m a composite number?
True
Let p = 3 + 0. Suppose -4*g = -3*m + 674, -m + g + 222 = -p*g. Is m a composite number?
True
Let k(l) be the second derivative of -2*l**3/3 + 9*l**2/2 - 2*l. Is k(-7) prime?
True
Suppose 0*h = -2*h - 5*o - 10, -2*o = -5*h + 4. Suppose -7*y + 3*y = h. Suppose 0 = 2*v - y*v - 106. Is v a composite number?
False
Let c(o) = 45*o**2 - o + 3. Let g be c(-2). Suppose d + 555 = 4*d - 3*p, -d + 3*p = -g. Is d a composite number?
True
Suppose i + 34 = 3*b, -3*b - 4 = -2*i - 39. Is b a prime number?
True
Suppose -n = -34 + 5. Let z = n + -18. Is z composite?
False
Let y(u) = -u**2 + 8*u - 7. Let v be y(5). Let o(t) = 6*t - 11. Let x(j) = 6*j - 11. Let a(m) = -3*o(m) + 4*x(m). Is a(v) a composite number?
False
Suppose -4*m + 2*m = 0. Suppose m = 4*f - f - 12. Suppose f*x + 111 = 7*x. Is x prime?
True
Let d(n) = -n - 8. Let r be d(-8). Is (31/(-2) - r)*-2 prime?
True
Let z be (9*-2)/(-2) + -1. Suppose z = 5*b - 2. Suppose l = b*l - 19. Is l composite?
False
Let k = 133 - 46. Is k a prime number?
False
Let t(v) be the second derivative of v**6/720 - v**5/120 + v**4/4 - 2*v. Let r(y) be the third derivative of t(y). Is r(8) prime?
True
Let z be 7 - 6 - (-1 + -17). Suppose -1 - 3 = -h, 3*y + 4*h = z. Let c(u) = 10*u**3 + 2*u**2 - 2*u + 1. Is c(y) prime?
True
Let p = -133 + 194. Let g(m) = 2*m**2 - m - 1. Let l be g(-1). Suppose 0 = 4*b + 5*i - p, 0*i - 23 = -l*b - 5*i. Is b composite?
False
Suppose 4*b - g - g = 700, -5*b - 5*g = -875. Let k = b - 56. Is k a prime number?
False
Suppose -3155 - 1054 = -4*u - 3*l, 3*u + 3*l = 3156. Suppose -u - 202 = -5*s. Suppose 0 = -0*a - a + s. Is a composite?
False
Let o(w) = 5 + 1 - 1 + 12*w - 7. Is o(1) composite?
True
Let y = 952 - 425. Is y composite?
True
Let v = -50 - -36. Let o = -6 - v. Let a(u) = 21*u - 5. Is a(o) composite?
False
Let w(x) = x**3 + x**2 - 3*x + 1. Let z be w(3). Suppose 0 = 3*k - 3*h - 87, k - 3*h = 2*h + 45. Suppose -k = -a + z. Is a a prime number?
True
Suppose 2*d = 3*d - 2. Let q(k) = -7*k - 2*k**d - 2*k**3 + 6 + 3*k - 2*k**2 + 3*k**3. Is q(5) a composite number?
False
Let z = 968 + -47. Is z a composite number?
True
Let z(v) = -3*v + 10. Let m be z(6). Is (-2698)/m + (-5)/20 composite?
False
Let t be -4 + 5 - (-8 - -1). Suppose 2*f + 2*f - t = 0. Suppose a + w + 1 = 11, f*w = -3*a + 30. Is a prime?
False
Suppose -a + 0*a = -3*v + 968, -4*a - 319 = -v. Is v a composite number?
True
Let k(j) = -11*j**2 - j + 6. Let x be k(6). Let v = -219 - x. Is v composite?
True
Suppose 5*l + 2*i = 38, -4*l + 2 = -5*i - 2. Suppose 0 = -5*k + l + 14. Suppose f + k*t = 45, -5*t + 49 = f - 3*t. Is f composite?
False
Suppose -2*a + 14 = -2. Let w(q) = 4*q + 5. Is w(a) a composite number?
False
Is (-1)/4 + (-705)/(-20) prime?
False
Is 232/(-6)*3/(-2) a composite number?
True
Suppose 775 = 5*o - 5*y, -2*o = 3*o - 2*y - 781. Is o a composite number?
False
Suppose 16556 - 4696 = 10*g. Is g composite?
True
Let s(n) = 36*n**2 + 7*n - 21. Is s(4) a prime number?
False
Let z(j) = -j**3 - 7*j**2 - 6*j - 3. Let f(d) = -2*d**3 - 14*d**2 - 12*d - 5. Let c(n) = 3*f(n) - 7*z(n). Let r be c(-6). Is (r/4)/((-2)/(-28)) a prime number?
False
Suppose 0 = n - 996 + 37. Is n a prime number?
False
Suppose -4745 = -4*w - 3*p, -2*p + 1127 = -3*w + 4690. Is w a composite number?
False
Let y(h) = h**3 - 2*h**2 - 1. Let o be y(2). Is 85 - o/((-1)/(-1)) prime?
False
Let k(f) = f**3 - 5*f**2 - 8*f. Let d be k(6). Let c be ((-6)/(-4))/((-2)/d). Suppose 5*h = 4*a + 185, 0 = 2*h - c*a + 4*a - 74. Is h a prime number?
True
Let p(j) = -2 + j - 2*j**2 + 3*j**3 + 3 - 5 - 5*j**2. Let r be p(5). Suppose 56 = -d + r. Is d composite?
True
Let z(o) = -34*o - 2 + 2 + 3 - 1. Let c be z(-5). Suppose 5*d = 73 + c. Is d composite?
True
Let p be (9 + -3)*(-1)/(-2). Suppose 2*g - 2*t = 274, 0*t + 137 = g + 5*t. Suppose -90 = -2*o - 2*f, -f = p*o + f - g. Is o prime?
True
Let z(x) = x**3 - x**2 + 6. Is z(0) prime?
False
Suppose 3*c - q - 1 = -0*c, -15 = -c + 4*q. Is (-15 - c)/(0 + -1) prime?
False
Suppose -4*l + 6 = -d, -l + 2*l - 10 = -4*d. Is (-2220)/(-18)*3/l a prime number?
False
Let g be ((-6)/5)/(3/(-10)). Suppose -n = -g*n + 9. Is n*-35*(-1)/3 prime?
False
Let i(d) = -2*d + d + 0*d + 8*d**2 - 2*d**2. Let u be i(1). Suppose u*f - 285 = 2*f. Is f prime?
False
Let l = -369 + 1351. Let g = l + -611. Is g prime?
False
Suppose 29*a = 30*a - 34. Is a prime?
False
Suppose -27*q + 28*q - 407 = 0. Is q a composite number?
True
Let q(h) be the third derivative of -h**4/3 + 5*h**3/6 - 2*h**2. Is q(-9) a prime number?
False
Suppose -2*p - 14 = -4*d, 9 - 1 = p + d. Suppose -3*b - 4*x - 25 = -9, -4*x = -p*b - 32. Let a = 93 + b. Is a a composite number?
True
Is 5/(-1) + (-23436)/(-21) prime?
False
Let k(v) = 17*v**2 + 7*v + 7. Is k(8) a prime number?
True
Suppose i = -i + 6. Suppose 2*h = 4*h - 978. Suppose 6*r = i*r + h. Is r prime?
True
Suppose 0 = 2*c + 13 + 17. Let w be 2/8 - c/4. Suppose 4*m = -4*d + 124, 4*d + 31 = 5*d - w*m. Is d a composite number?
False
Let w(s) = 2*s - 3. Let b be w(3). Suppose 3*u = -x - u - 12, b*x - 4*u - 12 = 0. Suppose 5*m + n - 55 = x, 0 = -5*m - 3*n + 7 + 48. Is m prime?
True
Let r(a) = -2*a + 4. Let t be (-3)/(0 - -3) - -4. Let g be r(t). Is g/7 - 233/(-7) prime?
False
Let y(b) = 4*b - 3. Let k be y(2). Suppose -5*v - k*r = 0, -3*r + 0*r = -3*v + 12. Suppose -3*t = v*t - 1865. Is t prime?
True
Let h be (-48)/(-20) + 2/(-5). Let o be 1*(6/h)/(-3). Is 35 + -1 - (o - -2) a prime number?
False
Let d = 1962 + -3355. Let j = 2026 + d. Suppose h + 4*h - j = -o, 0 = -o - 2. Is h a composite number?
False
Let t(z) = 21*z - 9. Is t(8) composite?
True
Let a = 72 - 41. Is a prime?
True
Let t(s) = 4*s**2 - 5*s + 12. Is t(-9) composite?
True
Let x = -4 - -7. Let q(g) = 4*g**2 - 1. 