r?
False
Suppose 4*c + 6*l = l + 27, -2*l = -5*c + 9. Suppose -9 = c*z + 9. Is (0 + 2)*(-363)/z a prime number?
False
Is ((-4)/6)/((-2)/267) composite?
False
Let r = -900 - -262. Let i = 912 + r. Is i a composite number?
True
Let n(f) = 2*f**2 - 4*f + 6. Let y be n(4). Let m = y - -105. Is m a composite number?
False
Let o be -1*(3 - 2)*-125. Is o + 0/(-2) + 2 composite?
False
Let w(p) = 3*p + 4 - 3*p - 4*p + 3*p. Is w(-3) composite?
False
Suppose -2*j + 0 = 4. Let k = j + 2. Is 150 - (-2 + k + 3) prime?
True
Suppose -2*v + 8*v = 0. Suppose v = 3*g - 20 - 175. Is g composite?
True
Suppose 4 = 4*y - i, 4*i - i = -12. Suppose -2*f + 1556 - 166 = y. Is f a prime number?
False
Let b = 2 - 1. Suppose -5*y + b = -24. Suppose y*z - 124 = 61. Is z composite?
False
Let h(k) = 2*k**2 + 8*k - 9. Let j = -25 + 18. Is h(j) a prime number?
False
Let y = -33 + 12. Suppose -2*i + 232 = 2*i. Let g = i + y. Is g composite?
False
Suppose -2 - 1 = -l. Let r(i) = 6*i**3 - 3*i**2 + 2*i - 3. Let f be r(l). Suppose -99 = -3*q + f. Is q composite?
False
Suppose -2*z - 4*f + 970 = 0, -3*z = -f - 2*f - 1491. Is z a prime number?
False
Let v(q) = 7*q + 1. Let x(n) = -n**3 - 3*n**2 - 5*n + 2 + 7*n**2 + 2*n**3. Let g be x(-5). Is v(g) a composite number?
True
Let b(h) be the third derivative of -h**4/24 - 5*h**3/6 + h**2. Let i be b(7). Is (4/i)/((-2)/126) composite?
True
Let r be 0*(1 + 2/(-4)). Suppose 0*u + u + 10 = r. Is (-7)/(-2) - (-5)/u prime?
True
Suppose 0*o + 8 = 4*o. Let u be (-4)/(-22) - (-90)/110. Is (6 + 61)*(o - u) a composite number?
False
Suppose -80 = -4*b - 4*v, -b + 8 + 2 = -v. Let q = 7 + b. Is q prime?
False
Suppose -5*o - 4*v = -63, -o + 3 = v - 10. Let i = o + 3. Let w = i + -1. Is w composite?
False
Let p(b) = -b**2 + 7*b + 8. Let x be p(8). Suppose 6*m - m = x. Is 22*(-1)/(m + -1) prime?
False
Suppose -3*s - 45 = -8*s. Suppose -4*q + s = -51. Is q prime?
False
Is -2 - -4 - (-663)/3 a prime number?
True
Suppose 0 = -7*v - 0*v. Suppose v = r - 6*r + 175. Is r composite?
True
Is ((-186)/8)/((-4)/16) a prime number?
False
Let p = 1352 - 719. Is p a prime number?
False
Let m = -402 + 939. Is m a prime number?
False
Let l(j) = -493*j - 2. Let v be l(1). Let g = 952 + v. Is g composite?
False
Let z(b) = 6*b**2 + b + 4. Let t be z(-3). Let q = 33 - t. Let y = q - -36. Is y a composite number?
True
Is 14*53/1 - -1 a composite number?
False
Let i(s) = 2*s + 3. Is i(0) a prime number?
True
Suppose 0 = 3*k + 3*a - 2322, 2*a + 2562 = 4*k - 516. Is k prime?
False
Let l = 7 + -4. Suppose -4*t = -5*t + 1. Is (-3)/l - -39 - t composite?
False
Is (0/1 - -1)*437 a composite number?
True
Let m(r) = -5*r**3 - 4*r**2 - 12*r + 3. Let w(n) = -3*n**3 + 2 - 3*n**2 - 9*n + 0 + n. Let q(s) = -5*m(s) + 8*w(s). Is q(6) composite?
True
Let r = 502 + 295. Is r a prime number?
True
Is 4 + -4 + (0 - -2099) a prime number?
True
Let l be 75*(16/5)/4. Suppose m - 5*b = l, b + 199 = 3*m + 5*b. Is m a composite number?
True
Let c(k) = k. Let b be c(0). Let o be b - (-1 + -2 + 1). Is (2/1 - o) + 79 prime?
True
Let n(q) = q**3 + 2*q**2 - 2*q + 1. Let m be n(1). Let w(f) = 4*f**3 + 2*f**2 + 2. Let y be w(m). Suppose -3*h = -h - y. Is h prime?
False
Let w be 95/20 + 1/4. Suppose -422 = -w*m + 393. Let a = m - 92. Is a prime?
True
Let f(y) be the second derivative of -2*y - 5/6*y**3 + 0 + 0*y**2. Is f(-5) a prime number?
False
Let y = -100 - -152. Let g = y - 31. Is g prime?
False
Is 2*(-1137)/12*-2 composite?
False
Let l(p) = -p**3 - 6*p**2 - 5*p + 3. Let j be l(-5). Suppose -v - 217 = -j*v - 3*y, 3*y - 419 = -4*v. Suppose -v = -r - 14. Is r composite?
True
Suppose -y + 895 = 4*y. Is y composite?
False
Let c be (-2)/(-4)*(2 - 2). Suppose c = z - 4*g + 9, 3*g = -4*z + 25 - 4. Is z prime?
True
Suppose 0 = 3*g - 3*n - 24, 3*n + 0 = -9. Suppose 1 + 1 = 2*o, 4*f = 5*o - g. Suppose f = w - 13 - 25. Is w prime?
False
Let g(b) = b**3 + 8*b**2 - 3*b + 4. Let u be g(-8). Suppose 3*q = 2*q - u. Let v = q + 50. Is v prime?
False
Let g be -1 - -1*127*3. Suppose 4*x - 3*t - g = 0, -4*t = -x + 2*x - 114. Suppose 3*b + x = 5*b. Is b composite?
True
Let u be (1 + 0)/(2/(-148)). Suppose 0*p + 120 = p. Let f = p + u. Is f prime?
False
Let g be 5 + -1 + (-9)/3. Suppose 2*o - 20 = f, 2*o + 5*f = 9 - g. Is o a prime number?
False
Let v(o) = -30*o + 47. Is v(-15) composite?
True
Let z(k) = -4*k - 5. Let y be z(-4). Let h = 23 - y. Suppose 0 = j - 1, j = 4*c - 11 - h. Is c prime?
False
Let d(c) be the first derivative of c**3/3 + 9*c**2/2 - 6*c + 3. Let h be d(-10). Suppose h*i - 31 = 25. Is i prime?
False
Suppose -3*j + 0*b = 4*b + 93, -5*j - 4*b = 163. Let q = 32 - j. Is q composite?
False
Suppose -4*o + 2 = 2*z + z, 2*o + 6 = -5*z. Suppose -2*c = x - 81, -5*c = -3*x + o*x - 220. Is c a composite number?
False
Suppose -o - 16 - 84 = -4*i, 64 = 2*i + 3*o. Is i a prime number?
False
Is ((-1531)/(-3))/(7/21) + 4 a prime number?
False
Let q = 792 + -373. Is q prime?
True
Suppose -12 = d - 4*d. Let k(a) = 11*a - 1. Is k(d) a prime number?
True
Let b(m) = 14*m**2. Let l(h) = -h**3 + 5*h**2 - 3*h - 5. Let s be l(4). Is b(s) composite?
True
Let m = 2 - -3. Suppose 3*h = -m*j + 3440, -2*j = h - 2239 + 862. Is j a prime number?
True
Let v(o) = o**2 + 6*o - 2. Let b be v(-4). Let l(u) = 7*u - 4. Let s be l(3). Let c = s + b. Is c prime?
True
Suppose -2*u = -2*k - 0 - 4, 2*k - 3*u = 0. Let m(z) = -63*z - 7. Is m(k) prime?
False
Suppose 4*n + 5*r = 33, 5*n + 0*r - 30 = -4*r. Suppose 5*x = s + 256, 0 = -n*x - 3*x - 4*s + 251. Let j = x - 14. Is j prime?
True
Let v = 2 - 4. Let s = v + 0. Is (-80)/(-12)*(-3)/s composite?
True
Let w(r) = 2*r**3 + 3*r**2 + 4*r - 1. Let c be w(5). Suppose 5*x + 3*b = c, 3*x + b - 137 = x. Is x a composite number?
False
Let z(j) = -4 + 11*j**2 + j**3 - j + 3 + 3*j - 3*j**2. Is z(-4) prime?
False
Suppose 5*y + 2619 = 10904. Is y a composite number?
False
Let k(p) = -p**3 - 7*p**2 + 12*p - 9. Let r be k(-9). Let q = -68 - -135. Let c = q - r. Is c a composite number?
True
Let c = 2 + 27. Suppose -v + 24 = -c. Is v a composite number?
False
Let h = 40 - 27. Suppose 2 = -5*c - 3. Is ((-3)/3)/(c/h) prime?
True
Suppose -t - 2*z = -18, t - 33 = -4*z - z. Let b = t - -45. Is b a prime number?
True
Suppose 2*o - 3*k - 2*k + 15 = 0, -5 = o - 2*k. Suppose u = 4*u - 6, -o*z + 4 = -3*u. Is (11*3 + z)*1 a composite number?
True
Suppose -41 = -2*a + 31. Suppose 25 = -5*k, a + 5 = l + k. Is l a composite number?
True
Let m be (4/6)/(-2)*-177. Suppose 0 = -3*d + 52 + m. Is d a composite number?
False
Let v(d) = -d**2 - 3 + 5*d + 1 + 0 + 7. Is v(4) a prime number?
False
Let y(w) = -w**3 - 5*w - 11. Is y(-8) composite?
False
Let o(v) = -33*v + 15. Let m(r) = 17*r - 8. Let l(k) = 13*m(k) + 6*o(k). Is l(11) prime?
True
Let k(g) = 16*g**3 - 2*g**2 - 7*g - 5. Is k(4) prime?
False
Is (-8700)/(-45) - (2/(-3) - 0) composite?
True
Suppose 0 = -2*v + 97 + 7. Let z = v - 29. Is z prime?
True
Is (-3)/(-2)*(-4098)/(-9) a prime number?
True
Let g(m) be the first derivative of m**6/45 + m**5/120 + m**4/8 - m**3/3 + 1. Let b(z) be the third derivative of g(z). Is b(-4) a prime number?
True
Let g(t) be the second derivative of 13*t**3/2 + t**2/2 - 4*t. Is g(2) a composite number?
False
Suppose -3118 = -0*m - m. Is m prime?
False
Let o(h) = -31*h**2 - h. Let i be o(-1). Suppose t + t - 4*k - 110 = 0, t - 3*k - 56 = 0. Let q = i + t. Is q composite?
False
Is (-11)/((-165)/(-6)) + (-1012)/(-5) a composite number?
True
Let u(r) = r**3 - 6*r**2 - 8*r + 3. Let t(f) = 3*f**3 - 18*f**2 - 23*f + 9. Let n(m) = -6*t(m) + 17*u(m). Is n(-4) composite?
False
Suppose -m - 1522 = -3*m. Is m composite?
False
Let s(l) = -4*l**3 + 3*l**2 + 4*l + 3. Let i(m) = m**2 + 7*m + 10. Let d be i(-4). Is s(d) composite?
True
Let c = 3806 + -1899. Is c composite?
False
Let l be (2 + -4)*(-3 + 1). Suppose -l*f + f = -6. Suppose -f*k - 3*q = -55, -4*q + 107 = 4*k + q. Is k prime?
True
Let u(k) = -k + 7. Let g be u(5). Suppose 3*d = -g*d + 345. Suppose 4*o - d = 15. Is o prime?
False
Suppose 4*p + 7 = 2*v - 21, 0 = -3*v + 4*p + 38. Let g be (-2)/8 - v/(-8). Is g*41*3/1 a prime number?
False
Let o = 1 - -2. Suppose 5*l + o*h - 1170 = 0, -4*h - 111 = -l + 146. Is l prime?
False
Suppose -h - 3*h = 8. Let y be (2/1)/(h/(-4)). Suppose -y*m + 23 = -37. Is m compos