z. Suppose -2*d - v = -425, -14 = z*v + 1. Is d a composite number?
True
Is (8 + -6)*(-79)/(-2) composite?
False
Let i(w) = w**3 - 5*w**2 + 4*w + 10. Let s(b) = b + 1. Let y(z) = i(z) - 5*s(z). Let f be y(4). Is 2/5 - 339/f composite?
False
Suppose -4*w + 464 = -k, 2*w + k = w + 121. Suppose -108 = 4*g - 9*g + h, 5*g = 4*h + w. Suppose j = 68 - g. Is j composite?
False
Is -1*(-3188)/2*45/90 composite?
False
Let g be (3 + -4)*(-2 + -1). Let s(n) = -g*n - n + 3 - 5 - n. Is s(-7) composite?
True
Let t(u) be the third derivative of u**6/120 + u**5/10 - u**4/3 - u**3/2 - u**2. Let j be t(-7). Is (67/j)/(3/12) prime?
True
Let h(r) = 403*r - 2. Is h(3) prime?
False
Let l = -245 - -1465. Suppose -6*u + l = -10. Is u a composite number?
True
Let o(q) = q**2 - 4*q + 3. Let y be o(3). Suppose y = 4*j - 3*j - 140. Let z = j + 17. Is z composite?
False
Suppose 4*u - 3*z = -2*z + 13, -2*u - 2*z = -4. Suppose 48 = -u*t - 15. Let m = t + 44. Is m prime?
True
Suppose 11 = -3*m - 7. Let a = -208 + 660. Is a/(-6)*9/m composite?
False
Let n(b) = -2*b**3 + 5*b**2 - 3*b + 2. Let d be n(4). Let f = d - -84. Is f prime?
False
Let g(i) = 8*i**3 - 5*i**2 - 3*i + 17. Is g(5) composite?
False
Suppose 1032 = 7*o - 2146. Is o a composite number?
True
Suppose 3*a = -a + 16. Suppose 9 = 3*q + 2*i, -a*q = -5*i + 3*i - 26. Suppose 0*g + 90 = q*g + 4*z, 5*g = -z + 75. Is g a composite number?
True
Let w(c) = 12*c**2 + 2*c + 7. Is w(-7) a prime number?
False
Let c = 5 - -15. Let q = -12 + c. Suppose q*t - 110 = 3*t. Is t a composite number?
True
Let z = -6 + 10. Suppose 2 + 38 = z*o. Is o prime?
False
Let c(z) = -2*z**3 - 18*z**2 + 19*z - 9. Is c(-14) composite?
True
Suppose -3*g = 4*a - 0*g - 1738, -5*a + 2157 = -4*g. Suppose 2*z - 91 = z + 2*r, -a = -5*z - r. Is z prime?
False
Suppose h = -3 + 5. Suppose -4*a + 16 = -s, h*s = 4*s - 8. Is (-26)/(a/(5/(-2))) a prime number?
True
Let n be 3 - (30 + 0 + -2). Let w be ((-1 - 2) + -10)*n. Suppose -3*u - 2*u = -w. Is u a composite number?
True
Let q(h) = -1 - h**2 + h**3 - 7*h**2 + 11*h - 4. Let a be q(9). Suppose -2*v + a = 3*v. Is v composite?
True
Let j be 183 + 4/(6/3). Suppose -4*u + j = 9. Suppose t + u = 3*t. Is t prime?
False
Let w(a) be the third derivative of -101*a**4/12 + a**3/6 + 17*a**2. Let v be (-4)/(2/(-1)) - 3. Is w(v) composite?
True
Suppose -84*u + 1009 = -83*u. Is u prime?
True
Let b = -2357 + 6772. Is b a composite number?
True
Suppose c = -246 + 763. Is c a prime number?
False
Suppose 0 = -2*j - 3*j + 15. Suppose -2*z - 227 = -j*d, z - 4*d = 3*z + 192. Let b = 152 + z. Is b a composite number?
True
Let m(f) = f**3 + 10*f**2 + f - 5. Let t = 14 - 23. Is m(t) composite?
False
Suppose 0 = -2*x - 2*t + 12, -3*x - t = -4*x + 6. Let h be (x + -3 - 3) + 4. Is h/(-8)*(0 - 226) a composite number?
False
Let d(f) = -2*f - 15. Let l be d(-8). Let j(p) = 320*p**2 + p. Is j(l) a composite number?
True
Let d = 18 + -13. Suppose -5*s + d = -20. Suppose -2*v = s*n - 0*v - 245, 0 = 2*v. Is n prime?
False
Let o(n) = -2 - n - 1 - 2 + 3. Let w be o(2). Is 158/4 - (-2)/w a composite number?
True
Suppose 3*u - 68 = -476. Let w be (-93)/(1/3*-1). Let v = u + w. Is v a composite number?
True
Suppose -972 = -3*r + 5*j, -4*r + 3*j - 190 = -1497. Is r composite?
True
Let l(i) = i**3 + 4*i**2 - 4*i + 5. Let z be l(-5). Suppose -t = 3*t + 3*p - 16, -2*t + 3*p - 10 = z. Is (-9)/(t + -2) + 2 a prime number?
True
Let i be -2 + 12*(-4)/(-6). Let l(w) = -i*w + 0 - 3 - 2. Is l(-4) composite?
False
Let u = -30 - -61. Is u a prime number?
True
Suppose -1199 = -8*f + 4665. Is f a prime number?
True
Let o(f) = -12*f**3 + 2*f**2 - 1. Let y be o(2). Let h be (y + -4)*(-10)/(-3). Is (h/8)/(5/(-20)) prime?
False
Suppose -2*a + 625 = b + 2*b, b = 5*a + 214. Is b composite?
True
Let s(a) = a**2 - 2*a + 4. Let v(m) = -m - 1. Let d(p) = -s(p) - 5*v(p). Is d(6) composite?
False
Let r(u) = u**2 - 6*u + 1. Let d be r(6). Is (0/1 + d)*13 prime?
True
Let x = 109 + -189. Is 1/(-8) - 10170/x prime?
True
Let i(o) = o**2 + 9*o - 3. Is i(-14) a prime number?
True
Suppose 9*m = 4*m + 175. Is m prime?
False
Let b = 3 - 5. Is (-185)/b + (-33)/22 a composite number?
True
Suppose -2*d - 2 = -0. Let q(x) = -98*x - 1. Is q(d) composite?
False
Let f(i) = -i + 5. Let r be f(3). Suppose 3 - 11 = r*s. Is 2/s*(-32 + 2) a composite number?
True
Let u = 314 - 185. Is u a prime number?
False
Let q be 3 - (-148 + 1 + 2). Suppose -q = 2*u - 6*u. Is u composite?
False
Let y = 87 + 238. Let z = -210 + y. Is z a prime number?
False
Is 0*(-1)/(-5) - -737 composite?
True
Let w = -681 + 1415. Is w composite?
True
Let q = 442 - -193. Suppose 8*s = 3*s + q. Is s composite?
False
Let o(s) = 11*s**2 + 3*s + 1. Let n be o(5). Suppose -3*a + 888 = n. Is a a composite number?
False
Suppose 2*r = 850 + 264. Let w = r + -226. Is w composite?
False
Suppose 0 = 7*l - 9*l. Suppose -h + 330 = -d, 1654 = 5*h - l*d - d. Is h composite?
False
Suppose 539 + 225 = 4*z. Is z prime?
True
Let r = 25 - -145. Let l = 12 - r. Let b = -105 - l. Is b composite?
False
Suppose 2*q - 4*q + 74 = 0. Is q prime?
True
Let w(o) = 2*o**3 - 9*o**2 - 2*o - 2. Is w(14) prime?
False
Suppose 3 = q - 96. Suppose 0 = -3*i + 4*t + q + 183, -i + 2*t = -94. Is i prime?
False
Suppose -3*j + 0*k - 1 = -2*k, 2 = -2*j + 2*k. Let s be 2/(-2) - (-3 - j). Is (-104)/(-3) - s/(-9) a composite number?
True
Suppose i - 1317 = -5*w, i - 536 = -2*w - 4*i. Is w prime?
True
Let c = 9 - 7. Suppose 0 = c*q - 35 + 5. Is q composite?
True
Let b(t) be the third derivative of t**5/20 + 11*t**4/24 + 11*t**3/6 - 3*t**2. Is b(-8) a composite number?
True
Let x(s) = 7*s + 5. Let k be x(-5). Let p = k + 61. Is p composite?
False
Let t = 306 + -209. Is t prime?
True
Suppose 55 = 3*o - 1283. Is o prime?
False
Let m = -4 + 9. Suppose 2*y - m*y + 6 = 0. Suppose y*k + 200 = 6*v - 2*v, 0 = -3*k - 6. Is v a composite number?
True
Suppose -277 + 26 = -n. Is n prime?
True
Let c = -119 - -246. Is c a composite number?
False
Let c(o) = -o**2 + 5*o + 3. Let v be c(5). Suppose -4*y + v*y = q + 8, 4*y + 2 = 2*q. Is 91 - (y - (-6)/2) a composite number?
True
Suppose -3*b - 33 = -6. Let f be b/1*1/(-3). Suppose f*d = 2*d + 43. Is d a prime number?
True
Suppose -2*c + 625 = 3*c. Suppose 3*a + 2*a - c = 0. Is a composite?
True
Let c = 4 - -1. Suppose -c*n - 4*d = -159, -3*d + 50 - 16 = n. Is n composite?
False
Let k = -34 - -103. Is k prime?
False
Suppose r = 17*r - 33616. Is r a composite number?
True
Suppose 254 = 2*y - 0. Is y composite?
False
Let q(b) = b**2 + 2*b - 1. Let t be q(-5). Let g = -4 + t. Is g a prime number?
False
Let l be (-7)/2 + (-3)/(-6). Let q = -24 + 6. Is (-942)/q - 2/l prime?
True
Let y(i) = i**3 - 9*i**2 + 14*i - 13. Is y(12) composite?
False
Suppose -8*t + 9*t - 7 = 0. Is t prime?
True
Suppose -2*c = -7*c. Suppose 5*o + c*o = 430. Let k = 163 - o. Is k prime?
False
Let i be (-3)/4 - (-47)/4. Suppose -i*c = -8*c - 963. Is c a composite number?
True
Suppose -27 = -9*g + 45. Let x = -5 - -7. Is 21/x + 4/g a composite number?
False
Let m = 7 + -1. Suppose -149 = -g + 3*s, 0 = 4*s - m - 2. Is g prime?
False
Let z(m) = -3*m + 1. Let b be z(-1). Suppose b*x = 1039 + 189. Is x prime?
True
Suppose 0*d + 479 = d. Is d composite?
False
Suppose 0 = 4*y - 9*y + 25. Suppose -y*p = r + 394, 4*r - 82 = p + r. Let z = 156 + p. Is z composite?
True
Let l(t) = t**2 - 135. Let y = -6 - -6. Let q be l(y). Let i = 232 + q. Is i prime?
True
Let v be 4*((-11)/(-4) + 0). Is 10*v + (0 - -3) prime?
True
Let c be 5*1 + (4 - 6). Let b be (2 - 82/4)*-4. Suppose -3*k - 2*i + 59 = 0, k + 5*i = -c*k + b. Is k a composite number?
True
Suppose -5*c + 1665 = 2*w, 0 = 4*c + w - 4*w - 1309. Is c composite?
False
Let y(g) = 6 + 0*g**2 - 4*g + 0*g - g**2 - 8. Let a be y(-2). Suppose 289 = -a*v + 947. Is v a prime number?
False
Let u = 15 + -25. Let l(d) = -5*d - 1. Is l(u) a composite number?
True
Let h(r) = -r + 13. Let g be h(9). Let z be 6/g*(-32)/(-24). Suppose z*v + 3*j = 59, 5*v + 2*j - 30 = 145. Is v a prime number?
True
Suppose -3*n = 2*x + 6, 2*x + x = 5*n + 10. Suppose -5*q = 5*o - 705, -4*o + x*q = 3*q - 559. Let y = o + -89. Is y a composite number?
False
Let y be ((-3)/(-1))/((-2)/(-2)). Let s(c) = 7*c**2 + 3*c + 9. Let w(q) = -4*q**2 - 2*q - 5. Let d(j) = y*s(j) + 5*w(j)