98 + z = -2*x + v, -5*x + v + 198 = 0. Is x a composite number?
True
Let w(f) = f**3 + 20*f**2 - 15*f + 19. Is w(-20) prime?
False
Let g = 2572 + -1355. Is g composite?
False
Let d be 0*(3 - 7/2). Suppose d = 4*b - 191 - 329. Suppose 0 = -5*r - 0*r + b. Is r prime?
False
Suppose 6 = -3*h - 0*h. Is h*3/(6/(-43)) a prime number?
True
Let w(m) = 3*m - 2. Is w(4) prime?
False
Let v = -5 + 8. Let c = -5 + v. Is 19/1 + (0 - c) composite?
True
Suppose -2*y = -6*y. Suppose 0 = -h - h, y = -5*x - h + 125. Is x prime?
False
Is (-1 - -7000)*(-20)/(-60) a composite number?
False
Let c = 4 - 1. Suppose -p + 426 = c*h, -3*p - 458 = -3*h - 20. Is h prime?
False
Suppose -3*o + 4 = -t, 3*o - 4*t = -t. Is 17/((o - 1)/11) a prime number?
False
Suppose 8*i - 3196 - 2412 = 0. Is i a prime number?
True
Let n = 80 - -185. Is n prime?
False
Suppose 4*p - 3488 = 860. Is p a composite number?
False
Is (-2)/(3/1282*(-28)/21) a prime number?
True
Let s = -5 - -13. Suppose g + 5 = -3*u + u, 2*g + 3*u = -s. Is -3 + 5 + (88 - g) composite?
True
Let w = 10 + 329. Is w prime?
False
Let q(s) = -s**2 + 11*s + 1. Let b be q(9). Suppose 0 = -3*p - b + 4, 0 = -3*a - 4*p - 44. Let z = 7 - a. Is z prime?
False
Let l be (-98)/(-6) + 3/(-9). Let d = -2 - 1. Let g = l + d. Is g a prime number?
True
Suppose w = -3*w + 8. Suppose w*y = -4, 2*n - y = 58 + 490. Suppose 0*d = 3*d - n. Is d a composite number?
True
Let k(b) = 26*b**3 + b**2 + b + 3. Is k(2) prime?
False
Let d(x) = 52*x. Let f be d(2). Let s = 511 - f. Let p = -266 + s. Is p a prime number?
False
Suppose -9*n + 4*n = v - 71, 0 = -n - 4. Is v a prime number?
False
Let v = 958 + -627. Is v composite?
False
Let j(f) = -159*f - 3. Let k be j(-4). Suppose 5*g - 8*g = -k. Is g a prime number?
True
Suppose 102 = m - 1880. Suppose -3*l = 4*d - m, -5*d + d = -l + 634. Is (-2)/(-7) - l/(-14) composite?
False
Suppose -i = -3, -4*z = 3*i - 976 - 149. Suppose 0 = -p + 86 + z. Is p prime?
False
Let m = -6424 - -10405. Is m prime?
False
Suppose b + 2*z = 783, -5*z = -5*b - 0*z + 3930. Is b composite?
True
Let n(r) be the third derivative of r**4/24 + r**3 - 3*r**2. Let b be n(-3). Suppose -4*d = 2*l - 66, -2*d + 2*l + 105 = b*d. Is d composite?
False
Let s(a) = a**3 - 7*a**2 + a - 4. Let z be s(3). Is (-4)/(-4) - (z + 1) composite?
False
Suppose 0*h - 20 = 5*h. Let b(o) = 0 + 0 + 3 + 5*o + o**3 + 8*o**2. Is b(h) prime?
True
Let u be (-4)/6 + (-156)/9. Is ((-1341)/u)/(1/2) a composite number?
False
Let h(b) = -21*b**3 - 1. Let a be h(-1). Suppose -a = 5*i - 130. Is i a composite number?
True
Let z = -31 - -96. Is z prime?
False
Let a = 7 - 5. Suppose -v - 11 = -4*c, -v - 9 = a*v. Let w = c + 33. Is w a composite number?
True
Let t be 4/(2*(-2)/(-32)). Suppose 2*j - 6 - 4 = 0. Suppose j*c - 93 = t. Is c prime?
False
Let k(x) = 31*x - 3. Let z be (3 - 1) + 0 + 0. Is k(z) composite?
False
Is ((-2)/(-2))/(7/1561) a prime number?
True
Suppose -2*v + 408 = v. Suppose -y - y - 2*z + v = 0, y = 3*z + 72. Is y composite?
True
Let q = -9 - -13. Suppose -q*m = -82 - 186. Is m a prime number?
True
Suppose p - 4*p + 153 = 0. Is p prime?
False
Suppose -14380 - 25903 = -5*t - 2*l, -2*t - 3*l = -16111. Is t a prime number?
False
Suppose -4*y = 3*j - 841, 0 = 3*y - 5*j + 3*j - 635. Is y a prime number?
True
Suppose 0 = -3*l + d + 19, 3*d - 37 = -5*l + 6*d. Let k be 3 + -2 + -53*l. Let m = -53 - k. Is m a prime number?
True
Suppose -n - n + 4 = 0. Suppose -7*w + n*w = -55. Is w prime?
True
Let p be (5 - -1)*89/2. Suppose -6 = 4*n - 18. Suppose 0 = -n*v - 0*v + p. Is v a prime number?
True
Let b be (-1)/(2/6) + 3. Suppose b - 4 = 2*i. Is 1*106/(-4)*i prime?
True
Suppose -2*z - 3*m + 4 = m, 0 = 4*z - 4*m - 20. Suppose 5*q + 25 = 0, -z*g - 3*q + 4 = -5. Suppose 0 = -g*v + 3*v + 111. Is v prime?
True
Suppose 2*g - a - 17 = 0, 5*g - 3*a - 23 = 22. Is g/(-27) - (-10185)/27 composite?
True
Let q(z) = z**2 - 1 - 2*z**3 - 8*z**2 + 5*z**2 - 2*z**3. Is q(-3) prime?
True
Let t(z) = 197*z - 26. Is t(5) composite?
True
Suppose 5*j + 56 = 221. Is j composite?
True
Let k(g) = -27*g. Let n(c) = -c + 1. Let u(b) = k(b) - 6*n(b). Is u(-3) prime?
False
Let d = 22 + -18. Let o(n) be the first derivative of 7*n**4/4 - 5*n**3/3 + 3*n - 2. Is o(d) composite?
True
Suppose 4*n - 20 + 0 = 0. Suppose b + 4*b - 630 = -n*j, -6 = -2*j. Is b a composite number?
True
Let m be -10*1 - (-3 - -2). Let c be 2/(-2)*38/2. Let p = m - c. Is p composite?
True
Let a = 755 + -403. Let w be (3/(-5))/((-4)/40). Suppose 4*i = 4*d + a, 5*d - w + 197 = 2*i. Is i prime?
True
Let j(y) = -25*y + 9. Is j(-4) prime?
True
Let g be (-1)/((-374)/(-186) - 2). Let x = -2 + -6. Let d = x - g. Is d prime?
False
Suppose -4*n - 1 = 7. Let f be n/(-7) - 6/21. Is 1*(126 - f) - -1 a composite number?
False
Let y = 220 - -17. Is y composite?
True
Let w be 765/2 - (-3)/(-6). Is w + 3*-2 + 3 composite?
False
Is (298/(-10))/(7/(-105)) prime?
False
Suppose 0 = -q + 2*s - 1, -2*q - q - 3*s + 6 = 0. Let p = 238 + -129. Suppose 5*v - 5*w - 110 = 0, -p = -5*v - 5*w + q. Is v a composite number?
True
Suppose 0*z - 5*o = -5*z - 300, -z = 2*o + 57. Suppose x + 0*x + 2*v - 92 = 0, 0 = -4*x + 3*v + 390. Let c = x + z. Is c a composite number?
False
Suppose 4*o - 1197 = -177. Suppose -4*q + o = -93. Is q prime?
False
Suppose 0 = a - 3*a - 6. Is a + 207 + (-2 - -1) a prime number?
False
Let z(k) = 32*k - 7. Is z(13) a composite number?
False
Suppose 5*h = -5, -5*c + 35 + 33 = -3*h. Is c prime?
True
Let m = 15 - -15. Is 4550/12 + (-5)/m prime?
True
Let r(f) = -13*f**3 - 27*f**2 + 5*f + 15. Let m(d) = -3*d**3 - 7*d**2 + d + 4. Let l = -10 + 1. Let j(t) = l*m(t) + 2*r(t). Is j(-7) composite?
True
Suppose 4*p + 2*r - 14 = 3*r, 0 = 2*p + 5*r - 18. Suppose p*q + 57 = 4*u - 11, 5*q = -3*u + 91. Is u prime?
False
Suppose 0 = -7*n + 2*n - 25, 0 = -y - 5*n - 21. Is 6*27 + y - -3 composite?
True
Let f = -229 - -161. Let w(b) = -24*b + 3. Let d be w(2). Let s = d - f. Is s prime?
True
Suppose -4555 = 105*z - 110*z. Is z a composite number?
False
Suppose 5*f + 2*n = -n + 1344, 5*n = 2*f - 519. Is f a composite number?
True
Suppose 0 = -5*w + 43 - 633. Is 2*(-2)/8*w a prime number?
True
Let b = 17 - 12. Suppose -4*u - b*p = -u - 1021, u - 335 = p. Is u a prime number?
True
Let x(q) = q**2 - 6*q + 15. Is x(12) prime?
False
Let f(s) be the second derivative of s**3/6 + 3*s**2 + 3*s. Is f(-3) a prime number?
True
Suppose -2 = 5*m - 6*m. Suppose -3*t = m*t + 30. Is (-2)/((2/t)/1) a prime number?
False
Let t(m) = 4*m**2 + 2 + 3 - 3 - 5*m. Let u(p) = -p + 10. Let k be u(7). Is t(k) a composite number?
False
Let a(m) = -m**2 + 15*m - 9. Suppose 3*v - 26 + 5 = 0. Suppose l = -v + 18. Is a(l) composite?
True
Let t(x) = -x**3 - 15*x**2 + 20*x + 27. Is t(-17) composite?
True
Let d = 257 - 133. Let a be (236/16)/((-3)/(-12)). Let f = d - a. Is f a composite number?
True
Let o = -1 - -2. Suppose -2*k + o + 7 = 0. Suppose k*x - 17 = 67. Is x prime?
False
Let w = 7 - 1. Is w/((-3)/(-1)) + 45 a composite number?
False
Let t = 2 + 118. Let l(i) = 2*i + 1. Let k be l(1). Suppose -t = -k*o + 39. Is o prime?
True
Suppose 4*h - h = -g + 16, 4*g + 5*h - 50 = 0. Is g/(-2)*(6 + -25) a prime number?
False
Let o(h) = -h + 838. Is o(0) composite?
True
Suppose -5*z = s - 5438, -2*s + 1093 = z - 0*s. Is z a composite number?
False
Let h = -4 + -2. Is 1262/6 + h/(-9) a prime number?
True
Let u be (-58)/(-7) - (-8)/(-28). Suppose 0 = -6*k + 3*k + 909. Let a = k - u. Is a a composite number?
True
Suppose 4*j + 2*a - 721 = -3*a, 4*j - 715 = a. Is j prime?
True
Let j = 1404 - 831. Is j a composite number?
True
Let l(s) = 2*s**2 + 27*s + 22. Is l(-21) a prime number?
True
Let a = -1 + -1. Let q be a - (9/(-3) + 1). Let k = q - -19. Is k a prime number?
True
Let l(t) be the third derivative of -t**6/120 + 7*t**5/60 + t**4/3 + 2*t**2. Let b be l(8). Suppose b = 4*i + 6 - 46. Is i a composite number?
True
Suppose 4*q + 4036 = 4*z + 1328, -3*q = -4*z + 2710. Is z a prime number?
False
Suppose 3*b - y = 3183, -2*y + 0*y = 0. Is b composite?
False
Suppose 3*n - 3*x - 9789 = -x, -3*n - 3*x = -9774. Is n a composite number?
True
Let j(x) = x**3 - 5*x**2 - 2*x + 6. Let u(s) = -s**2 - s + 1. Let b(w) = -j(w) + 6*u(w). Let l be b(3). Let z = 181 + l. Is z a prime number?
False
Suppose g = 3*g