95. Is q prime?
True
Suppose -2150 = 4*s - 706. Let m = s + 783. Suppose -m = -4*u + 54. Is u prime?
False
Suppose 599 = 3*a + 2*r, -a + 120 + 68 = 3*r. Is a a composite number?
True
Let w(b) = -b**3 - 16*b**2 + 24*b + 2. Is w(-19) a composite number?
True
Let d = -566 - -1545. Is d composite?
True
Let f = 185 - -29. Is f composite?
True
Suppose -x + 0*x = -520. Suppose 115 = 5*t - x. Is t a prime number?
True
Suppose 5*j - 8 = 3*j. Suppose -3*n = -5*w + 6*w - 356, n = j*w + 123. Is n a composite number?
True
Let o(v) = 2*v**2 - 4*v + 3. Let q be o(2). Suppose 5*c = -4*a - 25, 3*a - 4*a - q*c = 15. Suppose a = 4*f - 2*f - 110. Is f a composite number?
True
Let z = 51 + -4. Is z a prime number?
True
Suppose 6*c = 8*c - 4. Suppose 2*f - 3*y = f + 28, 4*f - c*y - 62 = 0. Is f composite?
False
Suppose -2*j = -2*i + 1292, -3*i + j = 6*j - 1962. Is i prime?
False
Let g = 450 - 247. Is g a prime number?
False
Suppose 50 = 3*x - 1447. Is x prime?
True
Let c be -8*1*1/(-2). Is (-46)/c*(-1 + -1) a composite number?
False
Let j = -4 + 7. Suppose j*m - m - 4*h = 22, 3*h + 24 = 3*m. Suppose m*i - 180 = -15. Is i a prime number?
False
Let y = -267 + 550. Suppose k - 1 = 1, -3*x + 4*k = -y. Is x composite?
False
Suppose 0 = -7*s + 9*s + 2*p - 5346, -s + 2669 = -p. Is s a prime number?
True
Suppose -17*h = -18*h + 91. Is h composite?
True
Suppose 5*r - 3*w - 1 = 0, -3*w + 3 = -r - 4. Suppose -r*m - 295 = -2*i - m, 0 = 3*i + 5*m - 423. Is i prime?
False
Let w = 359 - -1118. Is w a composite number?
True
Let d = 16 + 169. Is d a composite number?
True
Is 2/(-4) - (-2)/((-4)/(-9723)) prime?
True
Let x = 306 + -555. Is 1/(-1 + (-252)/x) prime?
True
Suppose -3*p + 0*p + 2*s - 19 = 0, -2*p + 5*s = 20. Let d(m) = 6*m**2 + 7*m + 2. Let t be d(p). Suppose -38 = -5*o + t. Is o a prime number?
True
Let v(d) = d - 9. Let l be v(7). Is l/(-3) - 327/(-9) composite?
False
Is 3 + -2 + (-54)/(-3) prime?
True
Let i = 0 + -1. Is 0 - (-22)/(3 + i) composite?
False
Suppose 4*u - 3*u - 11 = 0. Is u composite?
False
Let h = -2 + 6. Suppose h*p + g = 2*g + 100, 0 = 5*g. Is p prime?
False
Let l(m) = m**3 - 4*m**2 - m + 5. Let d be l(4). Is d - (-2)/(-3)*-3 a composite number?
False
Let m = 67 + 27. Is m composite?
True
Suppose -4 = 4*d + 5*w - 0, -2*d - 4 = 3*w. Let b = d - 4. Suppose b = 3*t + 67 - 622. Is t a composite number?
True
Let n = -47 + 97. Let d be (0 - (2 - 0))/(-2). Let x = d + n. Is x a prime number?
False
Suppose -190 = 4*r + 4*p + 278, -r - 127 = -4*p. Let n = 186 + r. Is n prime?
True
Let c = -2 + 5. Suppose 3*a - p - 110 + 44 = 0, -2*p = c*a - 57. Is a a prime number?
False
Suppose 2*v - 6 = -0. Let x = -17 + 25. Let d = v + x. Is d composite?
False
Suppose -161 - 88 = -3*h. Is h a prime number?
True
Suppose a + 0*a = 20. Is (51/(-12))/((-1)/a) prime?
False
Let t(s) = -586*s**3 - 4*s - 3. Is t(-1) a composite number?
False
Let j be (-4)/(-16) + (-30)/(-8). Suppose 276 = -j*g + 1472. Is g a prime number?
False
Let o(q) = 4 - 2*q**3 + 5*q**2 + 8*q + 3*q**3 - 14*q**2. Let r be o(8). Suppose -3*f + 0*h + 121 = 5*h, r*h = -f + 45. Is f a composite number?
False
Let g(z) = 2*z**3 - 3*z**2 + z - 2. Let p be g(2). Suppose 225 = -p*v + 613. Is v a composite number?
False
Suppose 4*a - 2*j - 19716 = 0, -3*a + 16762 = 2*j + 1961. Is a a composite number?
False
Is ((-2)/(-8))/((-7)/(-5348)) composite?
False
Let v be (-1)/(-2) - 682/(-4). Let s = v - 82. Is s a composite number?
False
Let x = -656 + 972. Suppose 7 = -3*u + x. Is u prime?
True
Let k = 550 + -243. Is k composite?
False
Is (-628)/12*(6 - 9) a prime number?
True
Suppose c = 5*v + 391 + 18, 0 = -c + 3*v + 407. Let z = -271 + c. Is z a composite number?
True
Let s be 274/6 + (-3)/(-9). Let r = 173 - s. Is r composite?
False
Let m(p) = -4*p + 2. Let v be m(-6). Let x = 14 + v. Let d = x - 21. Is d composite?
False
Let w be (-2)/(-4)*(1 - 1). Suppose w*p + 2*p = 0. Suppose p = -3*r + 2*f + 2*f + 99, 0 = 5*f - 15. Is r a composite number?
False
Let q(z) = -z**2 - 3*z - 2 - 4*z - z - 1. Let k be q(-5). Suppose 3*w = -w + k. Is w a prime number?
True
Let n = -7 - -134. Let i = n - 50. Is i a composite number?
True
Suppose 0*d - 3*d + 831 = -3*l, 0 = -5*d + l + 1389. Is d composite?
True
Is -11 + 13 + (2718 - -1 - -2) prime?
False
Let f(w) = 3*w**3 + w**2 + 3*w - 61. Let x(j) = j - 5 + 0 + 4 + j**3. Let y(g) = -f(g) + 2*x(g). Is y(0) a composite number?
False
Let k(v) = -53*v - 5. Let g be -3*3 - (3 - 4). Is k(g) composite?
False
Let t = 29 - 7. Suppose 0 = -3*c + t - 7. Suppose -4*x = 3*y - 29, -2*y + 11 = y - c*x. Is y composite?
False
Let g = 3 + -3. Let d be (g + -3)*(-4)/3. Suppose 2*n + 4*z = -31 + 249, -454 = -d*n - 2*z. Is n composite?
True
Let m(k) = 17*k**3 + 3*k**2 - 7*k + 14. Is m(5) a composite number?
False
Let o = 922 - 481. Let f = 812 - o. Is f a composite number?
True
Suppose 4*y - 4*z - 72 = 0, 3*y - 2*z - 32 - 17 = 0. Is y a composite number?
False
Let k = -21 + 19. Is (k/3)/((-16)/2040) a composite number?
True
Suppose 4*w + 2203 = 5*k, -450 = -3*k + w + 869. Is k prime?
True
Is (16/(-12) - -2)*201 prime?
False
Suppose -4*s - 6 = 2*a, 0*s + 3*s = -3*a - 12. Let b(t) = -t**3 + t**2 + 2*t - 7. Is b(a) composite?
True
Let g be 3 + -3 + 2 - -64. Let h = -32 + g. Is h composite?
True
Let s(i) = -i**3 + 10*i**2 - 5*i + 9. Is s(8) prime?
True
Let k = -97 - -224. Is k a prime number?
True
Let f(y) be the first derivative of y**5/20 + 5*y**4/6 + y**3 - 13*y**2/2 + 2*y - 1. Let s(r) be the first derivative of f(r). Is s(-9) prime?
False
Let h = 6 - 93. Let u = -52 - h. Is u composite?
True
Let f(t) = -293*t - 29. Is f(-2) a prime number?
True
Suppose -453 = -x - 0*x. Suppose 6*d = -2*z + 3*d + x, 4*d + 432 = 2*z. Suppose 0*w + 2*w = z. Is w a prime number?
False
Let y = 38 - 7. Is y a prime number?
True
Let p(u) = -u + 13 + 19 + 15 + 0*u. Is p(0) prime?
True
Let i(q) = -69*q + 2. Let m(n) = -69*n + 3. Let l(t) = -t. Let b be l(3). Let p(g) = b*i(g) + 2*m(g). Is p(1) composite?
True
Let w be ((-6)/(-9))/((-4)/(-54)). Suppose 2*l = -3 + w. Suppose 0 = 2*t - j - l*j - 46, j = -3*t + 55. Is t prime?
True
Suppose -o + 2*o = 0. Suppose o = -4*i - 257 - 207. Let j = i + 193. Is j prime?
False
Let f(h) = 90*h - 5. Let z be f(5). Suppose 0*r + 5*r + 5*y - 1235 = 0, 0 = 4*r - 2*y - 958. Let i = z - r. Is i a prime number?
False
Is (3 - (-295 + -1))/1 a prime number?
False
Suppose -7203 - 2407 = -5*p - 5*m, 4*p + 3*m = 7686. Is 1/7 - p/(-35) composite?
True
Let y(b) = 28*b + 47. Is y(21) prime?
False
Let r(w) = 11*w**2 + 4*w - 27. Let l(a) = a**2 + 2*a - 9 + 3*a**2 - a. Let m(f) = -8*l(f) + 3*r(f). Is m(-8) a prime number?
True
Let o(c) = 3*c**2 + 4*c - 5. Is o(6) prime?
True
Let o = -12 - -65. Is o composite?
False
Let p be (-8)/16 + (-382)/(-4). Suppose p = -2*u + 609. Is u composite?
False
Suppose -18*j + 9*j + 8595 = 0. Is j a composite number?
True
Let t be (230 - 0) + 1 + -1. Suppose t = 8*q - 3*q. Is q a composite number?
True
Let x = 24 + 5. Suppose k = -2*k - g - 17, -5*k = g + x. Let y(i) = i**2 + 2*i + 9. Is y(k) a prime number?
False
Is (2 + 30/4)*2 a composite number?
False
Let m = 197 + -54. Is m a composite number?
True
Let z be 2/8 - 238/(-8). Suppose -b - z + 3 = -4*r, -b = -2*r + 19. Let n = b + 26. Is n a composite number?
True
Suppose 5*j = -q - 11, -4*q + 5*j - 154 = 3*j. Let s = 23 - q. Is s a composite number?
False
Suppose -4*i - 681 = 2*b - 3*b, 5*i - 4*b = -865. Suppose -z + 5*z + 456 = 0. Let p = z - i. Is p composite?
True
Suppose 0 = z + 4*y - 2519, -3*z - 4*y - 416 + 7941 = 0. Is z a prime number?
True
Let k be 0/(-1)*1*1. Let r be (-46)/6*(k + 6). Let z = 157 + r. Is z prime?
False
Suppose -4*t = -8, -4*o + t + 4834 = 4*t. Is o composite?
True
Suppose -3*j - j - 32 = 0. Let q = 5 + j. Is 98*(q/6 - -1) a composite number?
True
Let t be 2*9 - 0 - -2. Is t - (0 - -1 - 0) composite?
False
Suppose 11*x - 6*x - 3945 = 0. Is x a prime number?
False
Let g be (-3)/12 - 9/(-4). Suppose -3*b + 0*b + 5*j = -26, -8 = -g*b + j. Suppose -a - 13 = -b*a. Is a prime?
True
Let h = 0 - -10. Let j(w) = 6*w - 7. Is j(h) prime?
True
Suppose 4 = -0*w + 2*w. Suppose 3*i - 3*p = -i + 2, 5*p = 4*i + w. Suppose 2*x = i*g + 3*g + 54, -5*x = -g - 181. Is x a composite number?
False
Suppose 0 = 3*q - f - 138, -7*q + 2