me number?
True
Let p = 10 - 12. Is 3/p*1550/(-15) composite?
True
Suppose 0 = -5*j - 2*n - 2, 3*n = -j + 2*n + 2. Is -85*(j - 1) + 2 a prime number?
True
Let q(t) = 7*t. Let z be q(5). Let k = z - -62. Is k a prime number?
True
Let o(g) = -2017*g + 2. Let f be o(-3). Suppose 0*p = v - p - 1213, 5*v + p - f = 0. Is v a composite number?
True
Let s be (-2 + -2)*(-3)/4. Suppose 5*y = 4*o + 17 + 88, s*y + 2*o = 63. Is y a composite number?
True
Suppose -5*n = -5, 2*r - 2*n + 4*n = 8. Is r/((-9)/93)*-1 a prime number?
True
Is 4/6*(-4 - (-411)/6) a prime number?
True
Let i(h) = -h**2 - 3*h + 1. Let l be i(-4). Let p = 3 + l. Let f(g) = g**2 + g + 7. Is f(p) a prime number?
True
Let a(w) = 10*w**2 - 3. Suppose -v + q = -6, 4*v - 9 + 1 = -4*q. Is a(v) a prime number?
True
Let d(b) = -11*b + 1. Suppose -2*g - 2 = -5*u, 3*u - 6 = 5*g - 1. Let n be 5*(4/10)/g. Is d(n) a composite number?
False
Suppose -5*k + 0*k = -815. Let o = k + -72. Is o a composite number?
True
Is (-3713)/(-5) + 4/10 a composite number?
False
Suppose -4*i + 2*g = -4768, 0 = 2*i + 3*g + 2*g - 2396. Is i prime?
True
Let d be (-560)/(-9) - 4/18. Suppose 15 = -l + d. Is l a composite number?
False
Suppose -3*y - 246 = -3*r, -r + 3*r = 4*y + 168. Let v = -52 + r. Is 635/7 - (-8)/v composite?
True
Let x = 1160 - 504. Suppose -231 = 5*l - x. Is l a composite number?
True
Let n be (2/4)/((-13)/910). Suppose 0*m + 4*m - z - 229 = 0, 2*z + 59 = m. Let j = m + n. Is j prime?
False
Suppose 5 = f + 33. Let g = f - -39. Let u(y) = y**3 - 9*y**2 - 9*y - 10. Is u(g) a composite number?
True
Suppose -5*r + 16164 = 4*l + 2029, 0 = -r + 4*l + 2827. Is r a composite number?
True
Let i(x) = x**3 + 6*x**2 - 8*x + 5. Let m be i(-7). Is -1 + (m + 2 - 2) a prime number?
True
Let d(a) = 23*a - 14. Let i be d(17). Suppose 0*h - i = -h. Is h prime?
False
Let f be ((-1)/2)/((-1)/(-62)). Let j = 248 + f. Is j a composite number?
True
Let a be (-3 - (-1 - 1))/(-1). Is -159*(-3)/9*a prime?
True
Suppose 3*d - 733 = 2*d. Let k = d - 364. Let c = k + -134. Is c a composite number?
True
Suppose 0 = -5*g, 2*d = -2*d + g + 12. Suppose 6 = -d*v + 15. Suppose -63 = -v*c + 54. Is c composite?
True
Suppose -380 = -3*x + 562. Is x composite?
True
Suppose -2*k + 2*c = -304, 5*c - 9 = 6. Suppose n + 4*n - k = 0. Is n a prime number?
True
Let t be (-38 - 1) + 2 + -2. Let b = 70 + t. Is b a composite number?
False
Let g be 2/6*1*3. Let j be 141/2 + (-1)/2. Is j/(-2)*(0 - g) a prime number?
False
Let d(h) = h**3 - h**2 + h - 3. Let n be d(0). Let o = n + 5. Is o prime?
True
Suppose k + 93 = 4*k. Is 0 - (-3 + 0 - k) composite?
True
Let a(o) = -35*o + 5. Let p be a(-4). Suppose -p - 63 = -2*h. Suppose -4*r + 0*x - 4*x + 216 = 0, -2*r + 2*x + h = 0. Is r composite?
False
Let b = 4 + -2. Suppose 3*q = 11 + 7. Suppose q*s - 268 = b*s. Is s a prime number?
True
Suppose 2*x - 2*z - 8535 = -x, 3*x = 4*z + 8541. Is x prime?
True
Let w(u) = -2*u**2 + 3*u - 2. Let m be w(2). Let l = -4 - m. Is (1 - l) + 38 + -4 prime?
False
Let p(l) be the second derivative of l**3/3 - 7*l**2/2 - 3*l. Is p(9) a prime number?
True
Suppose -7*s = -4*y - 2*s + 864, s = -3*y + 629. Is y composite?
False
Let n(a) = 2*a**2 + 2*a - 1. Is n(-4) a prime number?
True
Let q be (7 + -8)*0/1. Suppose -4*u + 34 - 6 = q. Is u composite?
False
Let b = 3 + -3. Let r = b - 24. Let l = r + 43. Is l a prime number?
True
Suppose -3*y + 23 = 8. Suppose -y*i + 12 = -38. Is i a composite number?
True
Suppose 0 = -z + 3*p + 90, -34 = -2*z - 2*p + 106. Suppose -2*w + 79 = -z. Is w a prime number?
False
Let v(d) = -d - 1. Let s(k) = -105*k + 2. Let o(c) = s(c) - 5*v(c). Is o(-3) a prime number?
True
Let u be (-36)/48 + (-226)/8. Let o = 142 - 82. Let s = u + o. Is s a composite number?
False
Let l = 562 + -43. Is l a prime number?
False
Let u = 105 - 6. Let d = -46 + u. Is d a prime number?
True
Suppose -20 = -m + 13. Is m a prime number?
False
Let n be 12/(-20) + (-66)/(-10). Suppose -15 = 3*p + n. Let a(c) = c**2 + 2*c - 9. Is a(p) a composite number?
True
Let d(p) = -19*p - 6. Is d(-5) a composite number?
False
Suppose 2 = -c - 2. Let o(l) = 67*l**2 - 3*l + 1. Let j be o(2). Let s = c + j. Is s a composite number?
True
Let k be (45 - 0)*42/10. Let n = 496 - k. Is n composite?
False
Let k be (15/(-10))/(6/(-8)). Is k - (-1 - -3) - -37 a composite number?
False
Let a(u) = 40*u - 1. Let d be a(4). Suppose 5*o = 2*o + d. Is o a composite number?
False
Let y = 520 + -371. Is y prime?
True
Let h(t) = -t**3 - 8*t**2 - 26*t + 3. Is h(-14) composite?
False
Let o(m) = -m**3 + 4*m**2 + 7*m - 7. Let b be o(5). Suppose -5 = -z, 8*x - b*z = 3*x + 1280. Is x a composite number?
True
Let i = -840 + 2381. Is i a prime number?
False
Let k = 1 + -2. Let l = k - -1. Suppose l = -5*j + j + 148. Is j composite?
False
Let v = -2 + 6. Suppose 4*n + 6 + 7 = -j, 0 = -v*j - 4*n - 4. Suppose 2*k - 506 = m, -j*k + 2*m = -2*k - 259. Is k prime?
True
Is (-2)/(-6) + (-2004)/(-9) a prime number?
True
Let d(o) = 8*o**2 - 3 - 5*o - 4*o + 3*o. Is d(-4) prime?
True
Suppose 3*k - 41 = 214. Is k a prime number?
False
Let l(q) = q**2 - 5*q + 1. Let d be l(5). Let f be (d + 1)*(-782)/(-4). Suppose -249 = -3*v + 3*c, 3*v - 2*c - f + 146 = 0. Is v prime?
True
Let f(t) = -t**2 + 5*t + 3. Let u be f(4). Let r = -3 + u. Suppose r*i - i - 273 = 0. Is i a prime number?
False
Let y = 2 + 12. Is 6/4*y*1 a composite number?
True
Suppose -2*u + 291 = u. Let b = -38 + u. Is b a prime number?
True
Let j(x) = -5. Let q(m) = m - 15. Let a(i) = -7*j(i) + 2*q(i). Is a(4) a prime number?
True
Let f = -10 - -7. Is 4*(81/4 + f) a composite number?
True
Let a = -17 - -9. Let d = -6 - a. Suppose -d*z = 5*f - 179, -5*z = -f + 88 - 36. Is f composite?
False
Let m(x) = x**2 + 4*x - 1. Let y be (-118)/(-14) - 6/14. Is m(y) a composite number?
True
Is (-16)/(-72) - (-3974)/18 a composite number?
True
Suppose 2*a - 4*a = -164. Suppose 72 = 2*i - a. Is i composite?
True
Let g(l) = l**3 + 5*l**2 - 1 + 5 + 4 - 4 - 5*l. Let i be g(-6). Is -1 + 54 + (0 - i) prime?
False
Let o be (-2)/4 + 21/6. Let r(u) = u**2 - 4*u + 4. Let w be r(o). Is w + (2 - 3*-4) a composite number?
True
Let a(h) = 57*h**2 - 4. Suppose -4*s = f + 11, 4*f - 7 = 4*s - 3*s. Let d(w) = 56*w**2 - 3. Let l(b) = s*a(b) + 4*d(b). Is l(1) a prime number?
True
Suppose 3*u = -5*s + 502, -5*s - 2*u - 3*u + 510 = 0. Let d be 3/(6/s) + -2. Let p = 196 - d. Is p prime?
True
Suppose -2*j - 65 = -7*j. Let n = j + -8. Suppose 2*z - b - 118 = -4*b, -n*z = -b - 261. Is z a composite number?
False
Let h(f) = -f + 195. Let b be h(0). Suppose b = 5*q - 2*q. Is q a composite number?
True
Let x be 6/(-9) + 2996/3. Let o = x - 589. Is o prime?
True
Suppose -7*k - 3*k + 29020 = 0. Is k a prime number?
False
Let r be 3 - (-7 + 1/1). Let x(l) = l**3 - 8*l**2 + 3*l - 11. Is x(r) composite?
False
Is (-5 + 972/(-16))*-4 a prime number?
True
Let y be (10 + -1)*(1 - 0). Let x be ((-6)/y)/((-4)/(-6)). Is 44/(-4)*(x + 0) a composite number?
False
Let u(g) = 31*g - 6. Is u(7) composite?
False
Let u = -4 - -8. Suppose -233 = -u*k - 45. Let m = k - -176. Is m composite?
False
Suppose 5*c = 5*v - 4620, -4*c + 1843 = 2*v - c. Is v prime?
False
Suppose -2*i = -618 - 40. Is i composite?
True
Suppose -4*z = -2*t - 1664, 2*t + 410 = -z + 2*z. Let g = z + -183. Is g composite?
True
Let n = -780 + 1105. Suppose 3*r + 5*a - n = -0*a, -a - 95 = -r. Suppose 4*c = -4*w + r, 0 = -c + 3*w + 15 + 10. Is c a prime number?
False
Let w(p) = 1920*p**2 - 4*p - 1. Is w(-1) composite?
True
Let w(g) = -11*g**2 - 3*g + 12. Let m(b) = 4*b**2 + b - 4. Let c be 1/4 + (-13)/4. Let a(x) = c*w(x) - 8*m(x). Is a(5) a composite number?
True
Suppose 9 = 3*n - 3. Suppose -t = t - n. Suppose -t*p - 19 = -81. Is p a prime number?
True
Let y(c) = 18*c - 5. Let q(m) = -m + 1. Let j(k) = -6*q(k) - y(k). Is j(-11) a composite number?
False
Suppose -3*f + 15 = 2*f. Suppose f*i - i = -4. Let o(r) = r**2 + 2. Is o(i) a composite number?
True
Let m(z) = -z. Let x be m(-4). Suppose 4*v + 70 = 3*b, b + 3*b = x*v + 92. Is b prime?
False
Let k(t) = -17*t + 20. Let c be k(-6). Suppose -5*m + 163 = -c. Is m composite?
True
Let r be (3 + -1)*4/8. Let c be (r/2)/(3/618). Suppose c = 3*v - 134. Is v prime?
True
Let k(g) = -g - 6. Let n be k(-6). Suppose 2 = f - n*f