= 3*d. Suppose 0 = -k, -4*v - 16 + d = -3*k. Is (74/v)/(2/(-4)) prime?
True
Suppose -5*w + s = -5, -3*w + 0*s = -s - 1. Suppose 5*i - 4*x - 1098 = 3*i, w*i - x = 1086. Is i a prime number?
True
Suppose 0 = -5*b + b + 1564. Is b prime?
False
Let i be 384/27 + 12/(-54). Let r(f) = 4*f**2 + 6*f + 9. Is r(i) a composite number?
False
Let d = 2 - -1. Suppose -d*v = 4*y - 373, 3*y + 865 - 224 = 5*v. Is v composite?
False
Suppose x + 3*x - 72 = 0. Suppose 2*s - x = -4*b, 4*b - b = -3*s + 18. Suppose 89 = b*y - 106. Is y composite?
True
Let d(u) = 12*u**2 + 2*u - 3. Suppose -2*o - 17 = 2*c + o, -c + 4*o + 19 = 0. Let z be ((-18)/24)/(c/4). Is d(z) a composite number?
True
Suppose 2*u - 56 = i, -i - 3*u + 58 = -2*i. Let t be 2/(-6) + 786/9. Let x = t + i. Is x composite?
True
Suppose 5*m - 4*p - 2915 = 2*m, 5*p = -5*m + 4905. Is m composite?
False
Suppose 0 = 4*y - k - 1, -y - 2*k + 16 = 3*k. Suppose -5*w - h + 149 = 3*h, -5*w = -h - 169. Is (w/15)/(y/5) a composite number?
False
Let r = 163 + -116. Suppose 0 = 5*l - r + 12. Suppose -238 = -5*t + x, l - 104 = -2*t + x. Is t a composite number?
False
Let b = -13 + 10. Is 3 + 90/b*-7 a prime number?
False
Let g = -17 + 20. Suppose -3*d + 1326 = g*y, 944 = 2*d + y + 57. Is d prime?
False
Suppose 0 = -3*z - 3*r + 2712, -5*z + 4*r - 294 + 4841 = 0. Is z composite?
False
Let f = 1319 + 744. Is f prime?
True
Is (-1 - -2)/((-1)/(-131)*1) prime?
True
Let g = -1 + 5. Suppose -v - 554 = -5*w, -g*w - 36 + 480 = -v. Suppose 4*p + p - w = 0. Is p a composite number?
True
Let g(l) = -l**2 - 46. Let a be g(0). Let p = a - -125. Is p a prime number?
True
Suppose 4*o = 4*f + 1496, -2*f + 4*f + 377 = o. Is o a composite number?
True
Suppose 0 = -21*m + 17*m + 7892. Is m a prime number?
True
Let n(w) = 5*w**3 - 2*w**2 + 1. Let h be n(1). Suppose -140 = -h*u + 64. Is u a prime number?
False
Let n be (-1 - -83) + (-6)/(-2). Let p = 30 + n. Is p prime?
False
Let n(v) = -v**2 + 1. Let o(t) = 4*t**2 + 2*t - 4. Let z(m) = 2*n(m) + o(m). Is z(-4) a composite number?
True
Let w = -149 + 56. Let y be w/(-2)*(-40)/(-15). Suppose 0 = 4*x - 0*x, -4*x = 4*n - y. Is n a composite number?
False
Suppose 2*q - 308 = -3*t + 185, -2*t + 334 = 4*q. Is t composite?
False
Let d(t) = -26*t - 9. Suppose -3*j - 1 = -22. Let i be d(j). Let s = -126 - i. Is s composite?
True
Let o(t) = t**2 + 2*t - 3. Let b be o(-4). Let f(g) = g**2 + 3*g - 7. Let z be f(-5). Suppose -b*y - z*r = -410, 3*y + 4*r + 59 = 4*y. Is y prime?
True
Suppose 1 = 3*x - 5. Let y(k) = 9*k**3 + k**2 - 2*k - 1. Is y(x) a composite number?
False
Suppose 5*t = 5*n - 0*n - 32265, 2*n - 4*t - 12914 = 0. Is n a composite number?
False
Suppose 0 = -0*v + 2*v + 6. Is (-38)/v*(-3)/(-2) composite?
False
Let w(f) = f**2 + f + 3. Let o = 2 - 2. Let z be w(o). Suppose 248 = z*x + 71. Is x a prime number?
True
Suppose -5*f = -f - 764. Is f a composite number?
False
Let b be ((-10)/4)/(4/(-8)). Suppose b*q - 99 = 136. Is q a prime number?
True
Let u(o) = -3*o**3 + 4*o**2 + 2*o + 2. Is u(-3) composite?
False
Suppose 80 = -o + 5*o. Let b be ((-18)/4 + 3)*-2. Is 6/b*1 + o composite?
True
Is (-182)/(-6) - (-12)/18 a composite number?
False
Suppose u - 5*u - 2*s + 11300 = 0, -u = -5*s - 2847. Is u prime?
False
Is ((-1524)/(-8))/((-2)/(-4)) prime?
False
Suppose 1 = -g - 0. Suppose 0*s = s + 4. Is (1 - -3) + g - s composite?
False
Suppose 0*z - 215 = -y - 3*z, -2*y = 2*z - 430. Suppose -4*d + y = 3*o - 5*d, -4*d = 4*o - 276. Is o composite?
False
Let a(s) = -2 - 4*s**2 - 2*s**3 + 3*s**3 - 1 + 2*s. Let n be a(4). Let x = n - -10. Is x a composite number?
True
Is ((-60)/3)/(-4)*(817 + 4) a composite number?
True
Let o(h) be the first derivative of h**3/3 - h**2/2 + 7*h + 2. Is o(6) composite?
False
Let l be (0 - (-3 + 1))*-1. Let g be l + 10 - (-1 + 1). Suppose -3*w - 2 + g = 0. Is w composite?
False
Let q(t) = -t**2 - 8*t - 2. Let x be 4/(-10) + 215/(-25). Let d be q(x). Is 6/3 - 3 - d a composite number?
True
Let s = -327 - -774. Is s composite?
True
Let w = -66 - -151. Is w a composite number?
True
Suppose 0 = -c - c - 2. Is (-155)/(-4) + c/(-4) composite?
True
Let w = -673 - -994. Is w a prime number?
False
Let f(i) = i**2 + 2*i + 5. Let w(l) = -l**3 - 5*l**2 - 5*l - 4. Let x be w(-4). Suppose 2*n = 2, x*m - 3*n - 1 = m. Is f(m) a prime number?
True
Let k = 1 - -2. Let r = 3 - k. Suppose 3*j - j - 130 = r. Is j composite?
True
Let k be (-2)/(-6) - (-32)/12. Suppose -3 = 5*s + 5*h + 2, -k*h = 4*s + 1. Is 3*((-40)/(-6) - s) prime?
False
Suppose l - 3*s - 344 = 0, -l = -2*s + 6*s - 351. Is l a composite number?
False
Suppose 2*a = 6*a + 632. Let f be (8/10)/((-8)/(-20)). Is (a + 1)/((-2)/f) a composite number?
False
Suppose -32 + 8 = -2*m. Let x(t) = -t**3 - 8*t**2 + 7*t - 6. Let f be x(-9). Suppose 4*d = m + f. Is d a prime number?
False
Let g(u) be the first derivative of 5*u**2 - u + 3. Let q(d) = 11*d - 2. Let p(m) = -2*g(m) + 3*q(m). Is p(3) prime?
False
Suppose 0 = -10*o + 6*o - 576. Let b = o - -209. Is b prime?
False
Let j = -1 + 6. Let l(q) = 52*q - 1. Is l(j) a composite number?
True
Let k(i) = 0 - i - 8*i + 3 - 7*i. Is k(-5) composite?
False
Let b = 757 + 720. Is b composite?
True
Let u(z) = -z**2 + 8*z + 15. Let d be u(13). Suppose -3*n + 0 = 5*q - 334, -5*q + 25 = 0. Let s = d + n. Is s composite?
False
Let b(y) = y + 1. Let k(a) = -4*a - 3. Let r(h) = -2*b(h) - k(h). Suppose -s = -5*s + 24. Is r(s) prime?
True
Suppose -l + 252 = 3*o, 0 = 2*o + 3*o + 3*l - 416. Is o a composite number?
True
Suppose -4*x = -s - 343, -3*x + 2*x + 3*s = -94. Is x a prime number?
False
Let t = -15 + 188. Suppose p + 4*c - t = 0, -890 = -5*p - 0*c + 5*c. Is p a prime number?
False
Let x be (-3 + 0 + 2)*-5. Suppose 0 = o + 4*r - 23, x*o - 15 - 25 = 5*r. Is o prime?
True
Let c be 3/9 + 410/3. Suppose -c - 2 = -j. Is j composite?
False
Let a = -382 + 3228. Is a a composite number?
True
Suppose 6*o - 1707 - 825 = 0. Is o a prime number?
False
Suppose -4*m = -2*m - 6. Suppose -25 = -4*g - g, -2*g = -m*v + 389. Is v a prime number?
False
Is 1862/8 - (-3)/12 prime?
True
Is (-4)/(-32) + (-10670)/(-16) composite?
True
Let a(o) = 8*o - 2. Let i(k) = -1. Let x(r) = -a(r) + 3*i(r). Let y be x(1). Is 34/9 - 2/y a composite number?
True
Let x(g) = -g**3 - 4*g**2. Let m(b) = b**2 - 7*b + 2. Let d be m(6). Let a be x(d). Suppose 5*c - 97 - 538 = a. Is c composite?
False
Suppose 1 - 15 = -3*z - 4*m, m - 9 = 2*z. Let i = z + 5. Suppose i*b = 4*b - 33. Is b prime?
False
Let h = 2716 + -1545. Is h composite?
False
Let q = -1 + 2. Suppose 0 = 4*f + 3*w + 13 - 1, 2*f + 4*w + 6 = 0. Is 2/(-2) - f*q prime?
True
Is 1361/(5 - 16/4) a prime number?
True
Let j = 48 + -3. Suppose 0*m = m - j. Suppose -3*k - 18 = -p + 19, p - m = -k. Is p a prime number?
True
Let u be (951/2)/(2/24). Is 1/3*u/6 composite?
False
Let y be (-2 + 5)/((-9)/(-6)). Suppose -3*j + 4*t + t = -34, 5*t = 4*j - 37. Suppose -j*u + y*u = -37. Is u prime?
True
Let t be (0 - 14/8)*-44. Suppose 2*h - t = h. Is h a prime number?
False
Let m be 3/(1 - (-78)/(-79)). Suppose 2 = 2*h + 4*f - 2*f, 4*f = 3*h - 24. Suppose x - h*x + m = 0. Is x a prime number?
True
Suppose 3*g = 7*g + 4. Is (10/15)/(g/(-33)) composite?
True
Let n = 230 - 81. Is n composite?
False
Is (-1)/((-8)/12 - -1) + 130 a prime number?
True
Suppose -2*g + 3142 = 2*y, 5*y + 0*g = 2*g + 7841. Is y prime?
False
Suppose 216 = -4*u + 8. Let x = u - -303. Is x composite?
False
Let r(p) = 27*p**2 + 13*p + 25. Is r(-6) a composite number?
False
Let n = -43 - -96. Is n prime?
True
Let m = 3125 - 1524. Is m composite?
False
Let d be 51 - (-2)/(-1) - 2. Let r be (4 - -2)/(-3) + d. Let j = r - 14. Is j prime?
True
Suppose 5*v = -3*t + 244, -3*v + t = -4*t - 126. Is v prime?
True
Suppose 2*y - 4*y + 42 = 0. Is y composite?
True
Let x(i) = i**3 - 5*i**2 + 6*i - 1. Let v = -1 - -5. Is x(v) a composite number?
False
Suppose -7*i + 13009 = -3*i + t, i = -2*t + 3261. Is i a prime number?
True
Let i be 1 + 0 + 5 + -2. Let s(v) = 11*v + 9. Is s(i) a prime number?
True
Let j(c) = 390*c**3 + 3*c - 2. Is j(1) prime?
False
Suppose -681 = -5*w + 854. Is w composite?
False
Let l = 6 + 0. Let f = l - 6. Suppose 0*o - 52 = -4*c + 2*o, f = -4*c - o + 40. Is c prime?
True
Let v(p) = p**3 - p**2 + p + 6. Let i be v(0). Is (i + -9)*58/