
True
Suppose -10 - 4 = -5*t - 2*w, 3*t = -w + 9. Suppose 0 = 4*k - 5*s - 18, t*k + 3*s - 3 + 1 = 0. Suppose 3*a - 50 = -2*r, -70 = -r - k*r - 2*a. Is r prime?
False
Let d(h) = 4*h**3 - h**2 + h. Let w be d(1). Let v = w + 5. Is v a composite number?
True
Suppose 3*x + 373 = 4*x. Is x composite?
False
Is 3*((-502)/(-3) + -1) a composite number?
False
Let f = 10 - 6. Suppose 3*h = 2*t + 17 - 86, f*h + 70 = 2*t. Is t composite?
True
Let u = 7 + -7. Suppose -d = -5*d - 12, u = -2*k + 3*d + 247. Is k prime?
False
Suppose -122 = 3*k - 731. Is k a prime number?
False
Let m = 10 - 7. Is 52 + -3*(-1)/m a composite number?
False
Suppose 5*o = -2*b - 2 + 5, 5*o - 5*b - 10 = 0. Let h be (o/1)/(1/(-6)). Is (-730)/h - 8/12 a prime number?
False
Let c be 8/2 - (-4)/(-2). Let x be 930/(-33) + c/11. Let i = 69 - x. Is i a composite number?
False
Let l = 520 - 319. Is l a prime number?
False
Let n(j) = 2*j**2 - 6*j + 2. Let i be n(4). Let a = i + -47. Let b = 63 + a. Is b composite?
True
Let o = -2 + 4. Let h(w) = 8*w - 2. Let f be h(o). Suppose -i + f = i. Is i a composite number?
False
Let j = 173 + 312. Is j a composite number?
True
Let z = 1108 - 625. Suppose 4*f + 0*f - 3*c = z, 0 = -4*c + 12. Is f composite?
True
Let y(j) be the second derivative of j**3/6 + j**2/2 - 4*j. Let p be y(2). Suppose -260 = -t - p*t. Is t a prime number?
False
Let r = -7 - -7. Suppose -f + r = -11. Is f prime?
True
Suppose 4*c + 110 = -5*d + 15343, -3*d - 5*c + 9132 = 0. Is d a composite number?
False
Let h(i) = i + 8. Let l be h(0). Let z(d) = 110 - l + d**2 + 109 + d**3. Is z(0) a prime number?
True
Let b(k) be the first derivative of k**4/2 - 5*k**3/6 - k**2 - 1. Let c(s) be the second derivative of b(s). Is c(6) a prime number?
True
Suppose -3*f + 4*m + 705 = 0, 5*f - 4*m - 949 = 226. Is f prime?
False
Suppose 5*m + 90 = 5*v - 70, 0 = v - 2. Let c = m + 153. Is c a composite number?
True
Suppose -5*g + 5*m + 40 = 0, 2*g - 5*g = -4*m - 19. Is g a composite number?
False
Suppose -10*l + 25 = -5*l. Suppose l*p + 84 = c, -4*c = -3*p - 430 + 111. Is c composite?
False
Let n(h) = h**2 + 9*h + 6. Let b be n(-9). Suppose 2*y = b*y - 20, 5*g - 4*y - 325 = 0. Is g composite?
True
Suppose 3*s - 4*r + 25 = 1, -3*s = 4*r. Let p = s - -7. Is ((-2)/p)/(2/(-69)) composite?
False
Let a(h) = -h + 1. Let y(o) = 29*o - 7. Let w(m) = 6*a(m) + y(m). Suppose 9 = -5*u - 16, l + 21 = -5*u. Is w(l) composite?
True
Let s = 1517 - 1051. Let n = -6 + 10. Suppose 0 = -2*b + n*b - s. Is b prime?
True
Let z(s) = 4*s**2 + s + 1. Let w be z(-1). Suppose -2*j = -w*f + 316, f - 365 = -4*f - 5*j. Is f a composite number?
True
Let f(t) = -t**3 + 8*t - 2*t + 8 + 2*t + 10*t**2. Is f(9) a composite number?
True
Let l = 2977 - 401. Suppose -2*d = 2*d + l. Is (d/(-16))/(1/4) a composite number?
True
Let j(b) = -b**3 + 4*b**2 - 4*b + 2. Let o be j(2). Suppose 2*i - 18 = -2*w - 2*w, 0 = 5*i - o*w - 21. Suppose 7 - 102 = -i*m. Is m a prime number?
True
Let i be (4/(-3))/(20/(-1110)). Let t = i - 23. Is t composite?
True
Let h be (-96)/10 - (-6)/(-15). Let x be (8/(-10))/(h/25). Suppose 0 = -x*i + 6*i - 28. Is i a composite number?
False
Suppose 4*j = f + 1414, -5*j = -5*f + 4*f - 1767. Is j a composite number?
False
Let x = -7 + 11. Let q(m) = m**3 - 10*m**2 - 9*m - 2. Let i be q(12). Is (i/x)/((-4)/(-8)) prime?
True
Let m(c) = 2*c + 5. Suppose 5*x - 2*z + 35 = 0, -22 = 5*x + 4*z + 13. Let f be m(x). Let a = f - -22. Is a a composite number?
False
Let b(k) = 473*k - 3. Is b(4) prime?
True
Suppose 4*v = -o + 5*v + 84, 4*v + 69 = o. Let z = o - 2. Is z a composite number?
True
Suppose 3*p - 8*m - 1085 = -3*m, 4*p + 2*m = 1464. Is p a prime number?
False
Let z(v) be the second derivative of -3*v**3/2 - 3*v**2/2 - 3*v. Is z(-2) composite?
True
Let y be (-2)/(0 + 2)*3. Let a(t) = -3*t**2 - 5*t - 2. Let h be a(y). Is (371/h)/((-2)/4) a composite number?
False
Let q(r) = 7*r**2 + 6*r + 7. Let y be q(5). Let a = y + -140. Suppose 2*j = -5*g + 187, 2*j = 2*g - 0*j - a. Is g composite?
False
Let h(c) = c**3 + c**2 - c + 119. Let g be h(0). Suppose 0 = -3*j + 2*j + g. Is j composite?
True
Let o(b) = 303*b - 13. Is o(8) composite?
False
Suppose 42 = 3*x - 585. Let n = x + -22. Is n a prime number?
False
Let k be (3/6 + 0)*0. Suppose k = 3*w, w + 40 = 2*x - 186. Is x a prime number?
True
Let f = -242 - -636. Suppose 2*y + 62 = -248. Let r = y + f. Is r a composite number?
False
Is 2 - -125 - (-2 - (-2)/1) a prime number?
True
Let o = -1 + -2. Let a be -1 - -13 - (-1 - o). Let z(v) = -v**2 + 15*v - 13. Is z(a) prime?
True
Let v be (26 + -2)/(3/22). Let o = -49 + v. Is o a composite number?
False
Let s(p) = 8*p + 3*p - 3 + p. Suppose -10 = -2*w - 4. Is s(w) a prime number?
False
Suppose 3*u = y + 145, 0 = 2*u + 3*u - 5*y - 255. Is u a composite number?
False
Let v be 2/((-87)/93 - -1). Suppose 0 = 4*j - v - 117. Is j composite?
False
Let y = -94 - -176. Suppose -5*z = -103 - y. Is z prime?
True
Suppose 0*x - 3*x = -5*p + 590, 0 = 4*p + 3*x - 499. Let g = p - 200. Is 3*g/(-3) - 2 a prime number?
False
Let l(q) = 11*q**2 - 5. Let h(d) = 10*d**2 - 4. Let r = -7 - -3. Let v(o) = r*l(o) + 5*h(o). Is v(-1) prime?
False
Suppose -5*r - 4*p + 6820 = -r, -3*r = 2*p - 5119. Is r a composite number?
False
Let j(c) = 2 + 1 - 31*c + 0 + 0. Is j(-4) prime?
True
Suppose 3 = -0*t + 3*t. Let v be 0 - 1 - t*7. Is (30/(-8))/(2/v) prime?
False
Let i(c) = -c**3 + c**2 + c - 236. Let w be i(0). Let a = w - -439. Is a a prime number?
False
Let g(v) = -3*v. Let n be g(-1). Suppose 7*f - 3*f = -n*o + 299, -320 = -4*f + 4*o. Is f composite?
True
Suppose -3*g + 81 = -0*g. Suppose 0 = b - 2*a - 3*a - 13, b + 2*a - g = 0. Is b composite?
False
Let p = -1327 - -945. Let m = -129 - p. Is m a composite number?
True
Let q be 0*(0 - 3/(-3)). Suppose 3*n + n - 52 = q. Is n a composite number?
False
Let x = -10 + 13. Suppose x*y = -3 + 12. Is 23*(2/(-1) + y) a composite number?
False
Let i be (-38)/9 + (-18)/(-81). Is ((-198)/(-45))/(i/(-10)) a composite number?
False
Suppose 3*i - i - 16 = 0. Let d(v) = -11 - v**2 - 3*v - v - 6*v**2 + v**3. Is d(i) a prime number?
False
Let k be ((-1)/(-2))/(1/6). Suppose -49 = -4*z + k*z. Is z prime?
False
Is (-942)/(-22) - (-8)/44 composite?
False
Is (1/2)/((-7)/(-434)) composite?
False
Let x = 3 + 0. Suppose 1 = -f + x. Suppose -2*p - f*n + 74 = 0, 0 = 4*p + 2*n - n - 148. Is p a prime number?
True
Let p(y) = -y**2 - 6*y - 1. Let r be p(-5). Let o be (r/5)/((-1)/10). Let i = 34 + o. Is i a composite number?
True
Let j = 181 - 14. Suppose 4*y - 45 = j. Is y composite?
False
Let l(q) = 3*q - 12. Let p be l(8). Suppose 0 = -4*x + 137 + 179. Let m = p + x. Is m a composite number?
True
Suppose 4*s = -2*z + 1416, -z - 716 = -4*s + 2*s. Suppose -s = -3*k - k. Is k composite?
False
Let x = 252 - -395. Is x a prime number?
True
Let c(z) = -40*z - 7. Is c(-3) prime?
True
Let p(q) = -1 + q**2 + 1 - 2*q. Let c be p(3). Suppose -5*l - 3*f + 33 = 0, 4*l + c*f + 22 = 49. Is l a prime number?
False
Let c be -3 + -1*2 + 3. Let t be 0 + c - -2 - -3. Suppose -3*b - t*w = -288, -3*b + 2*w + 290 = 3*w. Is b prime?
True
Suppose 0*m + 1325 = 5*m. Is m a composite number?
True
Suppose -r - 23 = 5*j, -r + 3*j = 4*r + 3. Let i(b) = -b**3 - 3*b**2 - 3*b - 2. Is i(r) prime?
True
Let j = 21 - 12. Is j a prime number?
False
Let z(f) = -64*f + 2. Let s(a) = -32*a + 1. Let t(d) = -11*s(d) + 6*z(d). Let w be 1 - (-5)/(15/(-6)). Is t(w) a prime number?
False
Let a be (1970/(-15))/(4/6). Let t = 342 + a. Is t prime?
False
Let w(k) = -k**2 - 8*k + 1. Let s be w(-8). Suppose 5*o + s = -g + 16, -5*g + 2*o = -21. Suppose 3*i - 28 = d + 15, -25 = -i - g*d. Is i a composite number?
True
Let g(a) = -3*a + 6. Let x be g(4). Let u(r) = -5 - 2*r**3 - 7*r**2 + r**2 + 2*r**2 + 5*r + r**3. Is u(x) a composite number?
False
Let i(o) be the first derivative of o**4/4 + 8*o**3/3 + o**2/2 - 11*o - 8. Is i(-5) prime?
True
Let j(l) = 47*l + 3. Is j(4) prime?
True
Suppose 3*f - f = 4. Suppose 0 = f*v + 2 + 20. Is (-849)/v + (-8)/44 a prime number?
False
Let h(i) be the third derivative of -i**5/60 + 11*i**4/24 - i**3 + i**2. Let b be h(10). Let w(k) = -k**3 + 5*k**2 - 3. Is w(b) a prime number?
True
Suppose 0 = 3*i - 6*i + 105. Is i prime?
False
Let w(q) be the first derivative o