prime number?
True
Suppose 0 = 2*y - 12 - 12. Suppose z - y = 3*u + 2, z = -2*u + 9. Is z prime?
True
Is 25/5*111/3 prime?
False
Let y(b) = 21*b**2 + 1. Let o(g) = -2*g**3 - g. Let c be o(-1). Suppose 0 = -c*n + 2 - 5. Is y(n) a prime number?
False
Suppose 3*l + l = 3*m - 329, -5*m - 4*l = -559. Suppose 4*j - a - m = 0, -3*j - 2*a - 77 = -6*j. Suppose 3*f + z = j, -5*z - 2 = 5*f - 37. Is f composite?
False
Let m(q) = 141*q - 19. Is m(10) prime?
False
Let t(n) = 2*n + 1. Let d be t(-3). Let h(i) = 2*i**2 + 6*i + 1. Is h(d) a composite number?
True
Let l be 21/4 - 1/4. Suppose 4*q + 552 = 4*z, 0 = -2*z - 2*z - l*q + 561. Is z a prime number?
True
Let u(f) = f**3 + 8*f**2 + 6*f + 1. Let w(z) = -6*z**2 - z + 1. Let n be w(1). Is u(n) a prime number?
True
Let i(p) = p**2 + 9*p + 9. Let x be i(-9). Let k(w) = 14*w + 1. Is k(x) a prime number?
True
Let u be -15 - (0 - (-1 - 1)). Let l = 2 - u. Let v = l + 16. Is v composite?
True
Let d(i) = -9*i - 17. Is d(-16) composite?
False
Let t(j) = -23*j**3 + j**2 + 2*j + 7. Is t(-3) a composite number?
False
Let n = -5 - -10. Suppose 0*h = -h - 5*t - 12, -5*t - 40 = n*h. Let y(p) = -28*p - 5. Is y(h) composite?
False
Is 13560/16 + 6/4 composite?
True
Let o(t) = -2*t**2 + 9*t - 2. Let f be o(9). Let m = -50 - f. Is m prime?
False
Let z = -35 + 85. Suppose 4*u + u - z = 0. Let d = u - -57. Is d prime?
True
Let h(t) = 105*t + 32. Is h(6) composite?
True
Let k(j) = 184*j**2 + 3*j. Let f be k(-2). Suppose -u + f = u. Is u composite?
True
Let x(o) = -o**3 + 4*o**2 - 3*o + 2. Let a be x(3). Suppose 69 = 3*s + a*m, 0*s + 5*s - 3*m = 115. Is s a prime number?
True
Let c = 53 - -29. Is c a composite number?
True
Suppose -467 = -y - 4*c, -3*c + 15 = 2*c. Suppose y = 4*q + q. Is q composite?
True
Let z be (-2)/(-7) - (-33)/7. Suppose 0 = 3*w - d - 25, -2*w - 3*d + 4*d = -15. Suppose -w = z*v - 30. Is v prime?
False
Let x = 535 + 420. Is x a prime number?
False
Suppose 16 = -0*h + 4*h. Suppose r - 87 = -2*f, h*r = f + 42 + 333. Let q = r + -62. Is q composite?
False
Let b be 17/7 + (-3)/7. Suppose -s + 381 = b*s. Is s prime?
True
Is 1/(3/(-2)) - (-985)/15 prime?
False
Let q(o) be the first derivative of -o**4/4 + 7*o**3/3 + o**2 - 9*o - 2. Let l be q(6). Suppose -v + 17 = v + 3*z, z - l = -4*v. Is v composite?
True
Let b = 5 - 10. Is 196/5 - (-1)/b composite?
True
Let g(x) = -21*x. Let i be g(-1). Let s = i + -13. Suppose -4*f + 60 = s. Is f a prime number?
True
Let b(z) = -25*z + 12. Suppose -3*q = q + 44. Is b(q) a composite number?
True
Let z be 9637/2 + (-3)/6. Is z/54 + (-4)/18 a composite number?
False
Let w(s) = 10*s**2 + s - 4. Is w(3) a prime number?
True
Suppose -1309 = -3*n - n - 5*g, -3*n = 2*g - 987. Is n a prime number?
True
Suppose s + 13 = -68. Let j = s + 120. Is 100/26 - (-6)/j prime?
False
Let m = -12 + 6. Let s = -2 - m. Suppose -2*l - s*p = -130, 3*l - 2*p + 0*p - 203 = 0. Is l composite?
False
Let f = -49 - -35. Let a be (-3060)/(-21) + (-4)/f. Suppose -4*i - 2*x + a = 0, -2*i = -5*x - 0*x - 79. Is i a composite number?
False
Let y(h) = -3*h + 17. Is y(-10) prime?
True
Suppose 2*y - 81 = 301. Is y a composite number?
False
Suppose 2 = 3*x - 1. Let q be (-80 + x)*(-1 - 0). Suppose q = 2*p - p. Is p prime?
True
Suppose -4*i - 22 = -6*i. Let k = i + -4. Suppose 3*d + 28 = 4*r - k, r - 23 = -4*d. Is r composite?
False
Let f be (-16)/(3/(-315)*-3). Let z be (-4)/4 + f/(-2). Suppose -4*h = -h - z. Is h a prime number?
False
Let s(d) = -3*d + 5. Let l(u) = -5*u + 1. Let n be l(2). Let k(h) = h - 1. Let t(a) = n*k(a) - 2*s(a). Is t(-12) composite?
True
Suppose -3*g + 236 = -g - 4*n, 3*g - 2*n = 354. Let c = 285 - g. Is c a composite number?
False
Let v = 25 + -18. Let t = 10 - v. Suppose 0 = t*y - 48 - 63. Is y a prime number?
True
Let x be -3 - -1*(-1 + 114). Suppose -h - x = -3*h. Is h a composite number?
True
Suppose 17*l - 16*l = 511. Is l prime?
False
Suppose 75 = -0*b + 5*b. Let f = -11 + b. Suppose -4*l = 3*h - 253, -f*l = -3*h - 136 - 147. Is l composite?
False
Is 39582/12 + (-1)/(2*-1) a composite number?
False
Let p = 303 - -76. Is p a composite number?
False
Let c = -713 - -1672. Is c a composite number?
True
Let g = 45 - 107. Let w = -131 - -16. Let u = g - w. Is u a composite number?
False
Suppose -6*j + 3*j + 354 = 0. Is j prime?
False
Let t(z) = -2*z**3 - 13*z - 9. Is t(-6) a composite number?
True
Let c = -690 - -995. Is c a prime number?
False
Suppose 40*w + 1645 = 45*w. Is w prime?
False
Suppose 4*i - 2*s - 38 = s, 0 = -2*i + 4*s + 24. Let w = i - 5. Suppose 0 = 2*n + 5*h - 65, -6*n + w*n - 3*h + 102 = 0. Is n a composite number?
True
Suppose -k = 3*w - 0*w - 9, 20 = 4*k + 4*w. Suppose 4*r = -4*i + 1060, k*r - 5*i = 4*r - 273. Is r composite?
False
Let a = 34 - 14. Let c be a/6*12/8. Suppose -97 = -3*d + c*y, -3*d + 4*y = -4*d + 38. Is d a composite number?
True
Let h(n) = -2*n**3 - 12*n**2 + n - 8. Suppose r = v - 4*r + 7, -2*r - 28 = 4*v. Is h(v) composite?
False
Let s(i) = -i**2 + 2*i. Let h be s(4). Let q = 12 + h. Suppose q*l = -0*l + 100. Is l prime?
False
Let q(z) = -18*z**3 + 9*z**2 + 8*z. Is q(-5) prime?
False
Let v(l) = 30*l**2 - 3*l - 4. Let y be v(3). Suppose 0*i + 112 = i. Let q = y - i. Is q a prime number?
False
Suppose -4*f = -2*y - 0*y + 24, 4*y = 2*f + 24. Let t(j) = 5 - 2 - 6*j**2 + 0*j**2 + 4*j**3. Is t(y) composite?
False
Let s = -24 - -27. Let i(k) = 26*k**2 - 5*k + 4. Is i(s) a prime number?
True
Suppose r + 6 = -r. Let f = r + 1. Let c(j) = 2*j**2 + 2. Is c(f) a composite number?
True
Let y(r) = 3*r**2 - 8*r + 8. Is y(-13) composite?
False
Is 7*((-183)/(-1) + -4) composite?
True
Suppose 0 = -3*o - 28 - 74. Let l = o - -71. Is l a composite number?
False
Suppose 4*u - 8*u + 128 = 0. Let w = 17 - u. Is 6/10 + (-156)/w a prime number?
True
Let u(t) be the third derivative of 5*t**6/12 - t**4/24 - t**3/6 - t**2. Let o(l) be the first derivative of u(l). Is o(-1) a composite number?
False
Let m(o) = -539*o + 2. Is m(-1) composite?
False
Let b(k) = k**3 + 4*k**2 - 5*k - 3. Let r(d) = -d**3 - 5*d**2 + 5*d + 3. Let l(c) = 6*b(c) + 5*r(c). Is l(4) composite?
True
Suppose -4*w = -3*w - 1766. Suppose -4 - 2 = -2*a, -w = -4*j + 2*a. Is j a composite number?
False
Suppose 0 = -4*v + 672 + 40. Is v a prime number?
False
Let k be -1*(-18 - 2) - 0. Suppose -v + 5*g + 21 = -k, -2*v = 2*g - 106. Is v composite?
True
Let x = 1742 - -1134. Suppose -4*v + 476 = -x. Suppose 5*m + 3*k + k = 2095, k - v = -2*m. Is m composite?
False
Let l(z) = 7 - 13*z + 0 + 11*z**2 - 12*z**2. Is l(-10) a composite number?
False
Suppose w - 795 = 6*w. Suppose -o - 3 = 0, o - 15 = -3*z - 0*o. Is w/z*-1*2 prime?
True
Suppose 178 - 881 = -2*s + 5*j, 4*s + j - 1351 = 0. Is s a prime number?
False
Let l be (3/(-3))/((-2)/8). Suppose -28 = -5*r + v, 2*v = 5*r - 2*v - 37. Suppose 0 = 2*w, -r*w + l = -j + 2*j. Is j composite?
True
Let m = 181 - 128. Is m prime?
True
Let q(n) = n**2 + 9*n - 7. Let x be q(-10). Let r be (-3)/(-2*x/(-6)). Is 31/((-3)/r*1) a composite number?
False
Let p(c) = -2*c**3 - 18*c**2 + c + 17. Is p(-12) a composite number?
True
Let d be (-3 + 21)/3 + -2. Is (-10510)/(-14) - d/(-14) a composite number?
False
Let q(l) = 70*l + 66. Is q(16) a prime number?
False
Is 2216 + -4 + (-1 - 2 - -4) a prime number?
True
Let x = -559 + 1032. Is x a prime number?
False
Let l be ((-12)/(-10))/(15/50). Suppose l*u + 4*i = 72, -2 - 52 = -2*u + 4*i. Is u a composite number?
True
Let f(g) = -51*g**3 + g**2 + g - 1. Is f(-2) a composite number?
False
Suppose 0 = -a - 3*a + 80. Suppose 3*c = -2*c - a. Is (-785)/(-10)*c/(-2) composite?
False
Is 1/(3 - (-964)/(-322)) prime?
False
Suppose -u = -14 - 56. Suppose 53 = 4*v - n, -5*v + u - 4 = -n. Is v a composite number?
False
Let n(d) = 2*d**3 - 5*d**2 + 6*d. Let k be n(6). Let q = k - 206. Is q prime?
False
Let q(v) = -9*v - 2 + 9*v**2 + 13 + v**3 + 1. Let j be q(-10). Suppose 5*x + 1 = -j*g, 0 = x - 0 + 3. Is g composite?
False
Suppose -3*i = 9, g - 2*i + 4 + 6 = 0. Let h = 11 + g. Is (-93)/h + 6/15 a composite number?
False
Is (-1683)/(-15) + (-4)/(-5) composite?
False
Let r(m) = -4*m + 3. Let g be r(-4). Let k = g + 26. Suppose 2*v = p + 57, -3*v + 3*p + 33 = -k. Is v a prime number?
True
Suppose -327 - 1158 = -5*q. Let y = -86 + q. Is y a prime number?
True
