 16, 3*g - 3*m - 645 = 0. Is g composite?
False
Suppose -3*n - 4*l = 8, 2*n - l - 2*l - 23 = 0. Suppose f + n*a = 97, -343 = -0*f - 3*f + a. Is f composite?
False
Suppose -2*x - 5*n = -405, n + 425 = 2*x + 2*n. Is x prime?
False
Is -3 - (1 - 10186*(-3)/(-6)) prime?
False
Suppose 5*u - 37 = 4*u. Is u prime?
True
Let g(y) = y**2 - 1. Let x be g(1). Suppose x*k = -k. Suppose k*n = -5*n + 335. Is n a composite number?
False
Let c(z) = 17*z**2 + 3*z - 10. Let v be c(7). Suppose 5*d - d - v = 0. Is d a composite number?
False
Suppose 0 = -2*l + 3*n + 152, -4*l - n + 318 = -0*n. Is l prime?
True
Suppose 11*j - 4310 = 9*j. Is j composite?
True
Let b(a) = 6*a + 1. Suppose j + 5 = -3*i + 26, 5*i - 37 = -j. Suppose -i = -s - 1. Is b(s) composite?
False
Let l(b) = 8*b**2 + 4*b - 7. Is l(6) a prime number?
False
Let a = -97 - -320. Is a a composite number?
False
Let l(s) be the second derivative of -s**3/2 + s**2/2 + 2*s. Is l(-8) composite?
True
Let v be ((-24)/(-9))/(2/3). Suppose -87 = -v*g - 0*y + y, -3*g = -4*y - 75. Is g a composite number?
True
Let m be 127 - 2*2/(-4). Suppose -n + 131 = 4*z, z - m = -2*n + n. Is n composite?
False
Let q(r) = -2*r - 1. Let j be q(-5). Let t be (-112)/(-12)*j/6. Suppose w = 101 - t. Is w a composite number?
True
Let i be 1/2*(9 + -3). Suppose 324 = i*n - 390. Suppose -5*d + 37 = -n. Is d composite?
True
Suppose -2*d + 4*n + 6 = 0, 4*d + n - 2*n = 12. Suppose 0 = -q + 4*k + 3, -2*q + 2*k + 5 = -1. Is 35 + d/(0 - q) prime?
False
Suppose -4*p + 7*p - 12 = 0. Suppose -p*k + 745 = k. Is k composite?
False
Let j(o) = -o**3 + 9*o**2 + 11*o - 6. Let m be j(10). Let d(h) = -h**2 + 9*h - 6. Is d(m) composite?
True
Suppose 3*s + 5*u - 61 = 0, -3*s + 29 = -2*u + 3. Suppose s = -3*r, 157 = i - r - r. Is i a prime number?
True
Let l(w) = -w**2 + 2*w + 4. Let s be l(3). Let o(p) = -28*p. Let d be o(s). Is 4/(-14) + (-1044)/d a composite number?
False
Let o(q) = -2*q - 6. Let c be o(-4). Let t be 54/4*c/3. Suppose -z - 5*j + 42 = t, 0 = -3*z - 2*j + 151. Is z a composite number?
False
Suppose l = 5*k + 5, 0 = 2*l - 5*l - 5*k - 5. Suppose -3*c - 4*m + 361 = -l*c, 2*c - m - 237 = 0. Is c a composite number?
True
Let o(r) = -145*r + 10. Is o(-3) a composite number?
True
Let f be 18/10 + 3/15. Suppose 0 = 2*z + 6*m - 2*m, f*m - 6 = -4*z. Is 130 - (-3 + z)*1 a prime number?
True
Let x = 2187 - 1214. Is x prime?
False
Let d be 0 - 3/((-3)/545). Suppose 3*i = 352 + d. Is i a prime number?
False
Let c(v) = 47*v**2 + 4*v - 6. Let t(w) = -24*w**2 - 2*w + 3. Let s(u) = 3*c(u) + 5*t(u). Let x be (3 - 1 - 2) + 2. Is s(x) prime?
False
Suppose v = 3*z - 1140, v + 1898 = 2*z + 3*z. Is z a composite number?
False
Is ((-18)/(-4))/(-9)*-758 composite?
False
Let y(h) be the second derivative of 2*h**4/3 + h**3/6 + h**2/2 + 4*h. Is y(-2) a composite number?
False
Suppose 0 = 4*b - b - 24. Is 178/b + 3/4 composite?
False
Is (-7 + 6)/(2/(-890) - 0) a prime number?
False
Let g(p) = 34*p**2 + 1. Is g(-3) a composite number?
False
Let q(r) = -5*r - 1. Let z(n) = 4*n. Let f(k) = 3*q(k) + 4*z(k). Let m be f(8). Suppose y - 60 = g, 0 = m*y + g - 0*g - 270. Is y a composite number?
True
Let r = 0 - 0. Suppose -4*n + 0*i = -i - 11, 15 = -5*i. Suppose -8 = q - 0*q + 3*t, -5*q + n*t + 45 = r. Is q composite?
False
Is 21112/10 + 2/(-10) prime?
True
Suppose 2*r = -2*o + 10, -3*r - 11 + 2 = -3*o. Suppose 11 = -3*q - r. Is (2412/(-30))/(q/10) a composite number?
True
Let l(v) = 3*v**2 - 6*v**2 + 1 - v**3 - 5*v + 0*v**3. Is l(-4) prime?
True
Let l be 2/6 + (-2305)/(-15). Suppose -2*p + 4*m = -178, 2*p + 0*p - l = -4*m. Is p composite?
False
Suppose 2*k + 4 = k. Let u = 2 + k. Is u/3 - 606/(-18) composite?
True
Suppose -2*f = -u - 8 - 320, 2*f - 330 = 2*u. Is f a prime number?
True
Let j be ((-6)/7)/((-2)/14). Suppose 0 = -b - 3*b + 8. Is (-38)/(-3) + b/j a composite number?
False
Let d(b) = 118*b**2 - b + 2. Let l be d(2). Let a = -295 + l. Is a a composite number?
True
Let s(c) = -1. Let x = -4 + 3. Let r(y) = -3*y**2 - 6*y - 6. Let f(n) = x*r(n) + s(n). Is f(-6) a prime number?
False
Is (46 + (-3)/(-3))/1 prime?
True
Let i(y) = -54*y - 1. Let w = 4 + -5. Is i(w) a composite number?
False
Let q(j) = -32*j - 5. Let f be q(5). Let c = f + 323. Suppose -4*s + 686 = -c. Is s a prime number?
True
Let c be 0 + (-2 + 0)/(-2). Suppose 5*j - 5 = 5*p, 2*p = -5*j - 3*p + 25. Is j + (c - -33) + 2 a prime number?
False
Let f = 10 - 7. Suppose f*y = -y + 20. Suppose y*s - 311 = 24. Is s a composite number?
False
Let l(y) = -2*y - 2. Let x be l(-2). Suppose 4*i - 3*u + 332 = 1327, -x*u = -i + 245. Is i a composite number?
False
Suppose 0 = -s + 5*s - 16. Suppose 4 - 20 = s*l, 3*k + 4*l + 34 = 0. Is 2/k + (-134)/(-6) composite?
True
Let s(h) = h**3 - h**2 - h + 464. Let l be s(0). Suppose 0 = 4*p - l - 44. Is p prime?
True
Suppose -v + 6*j = 3*j + 1, 5*j - 11 = 4*v. Let m be v/(-6) - (-160)/(-6). Let w = m + 109. Is w prime?
True
Let i be ((-18)/(-2) - -2) + -1. Let g = -6 + i. Suppose -129 = -2*h + x, -40 + 221 = 3*h - g*x. Is h composite?
False
Is 11/((-132)/(-5912)) - 2/(-6) prime?
False
Let d(g) = -4*g**3 - g**2 + 2*g - 1. Let i be d(-3). Let l = i + -33. Is l composite?
False
Let d be (-126 + -5)/(1 + -2). Suppose p - d = -0*p. Is p composite?
False
Let w be (16/(-6))/(1/(-3)). Suppose w + 1 = 3*t. Suppose -2*q - q = -2*a - 4, -5*a + t*q = -8. Is a a composite number?
True
Suppose 0 = -5*z + 3*j + 21916, -3*z - 8*j = -6*j - 13161. Is z composite?
True
Suppose -5*j + k + 0*k = -2, -j = -k - 2. Let l(a) = a**2 - a + 3. Let t be l(j). Suppose 5*f = -5*o + 285, -o = t*o - 3*f - 200. Is o prime?
True
Suppose 4*x + 2 = 6, -3*t = x - 538. Is t composite?
False
Suppose 0 = u + 6*u - 2667. Is u composite?
True
Let q(o) = 2*o**2 - 9*o + 15. Let f be q(11). Let u = f - 67. Is u composite?
True
Let b(w) be the first derivative of w**3/3 + w**2/2 - 43*w - 1. Let o be b(0). Let y = o - -74. Is y composite?
False
Suppose -2*a + 1 = -7. Let k(y) = -7*y**2 - 8*y - 4. Let r(w) = 6*w**2 + 7*w + 4. Let q(x) = a*k(x) + 5*r(x). Is q(-5) prime?
False
Suppose 4*m - z - 331 = 2*z, 0 = 3*z - 9. Let k = m - -436. Is k a composite number?
False
Suppose 0*f = -2*l + f + 1348, -2*f = 3*l - 2036. Suppose n + 0*q = -3*q - 4, -19 = -2*n + 3*q. Suppose -l = -n*i - 81. Is i a prime number?
False
Let f(v) = v**2 - 2*v - 2. Suppose 2*w = -y + 16 + 3, 0 = 5*w + 2*y - 50. Suppose 0 = -2*a - 2*a - w. Is f(a) composite?
False
Suppose -1646 = -5*v + 5*i - 456, v + 3*i - 234 = 0. Is v composite?
True
Let s(r) = -r**3 + 12*r**2 - 3*r - 1. Is s(10) a composite number?
True
Suppose -6*d - 20980 = -10*d. Is d a prime number?
False
Let l(i) = -i + 10. Let u be l(5). Let b(f) = 13*f**2 + 5*f + 3. Is b(u) composite?
False
Let v = 0 + 2. Let n be -10*((-7)/2 + v). Let g = n - -20. Is g a composite number?
True
Suppose -3*i + 11 - 5 = 0. Suppose i*v = -4*r + 614, 167 = r + 4*v + v. Suppose -83 = -3*y - 4*w + r, 0 = y + 5*w - 60. Is y a prime number?
False
Let w(r) = 2*r**3 - 13*r**2 + 4*r + 2. Is w(9) composite?
False
Let s = -270 + 655. Suppose 4*n = 9*n - s. Is n a composite number?
True
Suppose 7939 = 3*j + 3*a - 5543, -3*a - 22462 = -5*j. Is j a composite number?
False
Let h(i) = i**3 - 2*i**2 - 3*i + 3. Suppose 2*y + 2*t = 20, -t = -5*y + 10 + 10. Suppose y*j - 1 = l, 2*l - 3*j - 2*j = 3. Is h(l) a composite number?
False
Let g(h) = h**3 - 9*h**2 + 8*h + 4. Let k be g(8). Suppose q - 105 = -2*j - 3*j, 0 = k*q + 20. Is (-16)/88 + 3590/j a prime number?
True
Suppose 0 = -p - 6*r + 3*r + 695, -5*r = -4*p + 2848. Is p a composite number?
True
Let h = -5 - -10. Suppose 10*z = h*z - 60. Is (-256)/z - 2/6 composite?
True
Suppose 2*h = -2*b + 3*b - 3, h + 12 = -3*b. Is -14*3/(h/1) a composite number?
True
Let v = -7 + 121. Suppose -x - v = -c, c + 3*x + 2*x - 144 = 0. Is c composite?
True
Suppose -2*s + 635 = -7*s. Let l = 350 + s. Is l composite?
False
Suppose 4*g - 77 - 7 = 0. Let k = g - 2. Suppose 3*b = -4*a + 53, -2*b + k + 20 = -a. Is b a prime number?
True
Suppose 4*u - 8520 = b, 2*b = -3*u + 5005 + 1374. Is u prime?
True
Let t(a) = a**3 + 8*a**2 + 6*a - 5. Let d be t(-6). Let c = 93 - d. Suppose 3*f + 8 - 2 = 0, -2*m - 4*f = -c. Is m a prime number?
False
Let g(f) = f**3 - f**2 + 3*f + 9. Let j(l) = l**3 - 2*l**2 + 4*l +