= 3*d - 5*l - 160. Is d prime?
True
Suppose -9 = -r + 4*s, -3*s + 2 = -4*s. Suppose r = -3*x - 5. Is 2 + -67*(-3 - x) a composite number?
True
Let b(v) = 4*v**2 - 3*v - 6. Let w be (1 - 3/(-6))*2. Suppose -w*m + 19 = 2*n, -2*n + 22 = 2*m + 2*m. Is b(n) prime?
True
Let q be -2 + 2 + (-1 - -3). Is (q/(-3))/(4/(-870)) composite?
True
Suppose 0 = -4*s + 4 - 0. Let v = 1 + s. Suppose 5*o = -10, -7*i - v*o = -2*i - 471. Is i composite?
True
Suppose 18 = l - 45. Let s = l - 14. Is s prime?
False
Suppose 0 = -2*j + 482 + 12. Suppose 0 = 3*v + 5*p - j, -5*p = -3*v + 2*v + 109. Suppose v = 2*n - n. Is n prime?
True
Let c(y) = y**3 - 8*y**2 - y + 5. Let z be c(8). Is (-1 - -2)*-23*z a prime number?
False
Let u = 15 + -12. Is u/(-2)*76/(-6) prime?
True
Suppose 3*m - 29 = 19. Let j = m + 81. Is j a prime number?
True
Let a be 10/4*(-24)/(-15). Let f be (8/(-3))/(a/(-6)). Let p(k) = 2*k**3 - k**2 - 5*k - 3. Is p(f) prime?
True
Suppose 0 = -2*b + 116 - 6. Let m be (0 + 1)*(0 + 0). Suppose m = 2*y - y - b. Is y a composite number?
True
Is 2*573*4/24 composite?
False
Let c(r) = -r**2 - 7*r + 5. Let n = 11 - 5. Suppose 0*x + n = -x. Is c(x) composite?
False
Suppose -s = 4*t - 6, -2*s - s - 33 = -5*t. Is s/(-8) - (-16247)/28 prime?
False
Is (-772)/(-60) - 4/(-30) a composite number?
False
Suppose -4*y + m = -209, -y + 2*m + 56 = 3*m. Is y a composite number?
False
Suppose -289 = -9*a + 242. Is a a prime number?
True
Suppose 123 + 11 = 2*x. Is x a composite number?
False
Let i be (-3 - 0)/(6/(-8)). Suppose -i*p + 224 = -4*y, -278 = -0*p - 5*p + 3*y. Is p a prime number?
False
Let o(q) = 8*q**2 + 2*q + 3. Suppose -4*v - 5*j + 2*j = 36, v - 2*j = 2. Let c be o(v). Suppose -3*g + 0*g = -c. Is g prime?
False
Suppose -2*j - 123 = -3*j. Is j a composite number?
True
Suppose 5*i = -2*j + 33, -5*i + i + 5*j = 0. Suppose 3*u - 326 = -4*f, 0*f - 5*u - 93 = -f. Suppose i*a - f = -2*b, -7*b + 20 = -2*b. Is a prime?
False
Suppose -765 = 3*r - 8*r. Suppose 0*n + n = -2*q + 157, -5*n = 2*q - r. Is q prime?
True
Let c(g) = 23*g. Let t be c(-3). Let l = t - -136. Is l a prime number?
True
Suppose n - 10 = -w + 3*n, -8 = 2*n. Suppose -3*j + 785 = w*j. Is j a composite number?
False
Let u(j) = -3*j - 4. Let t(v) = -v**3 + 7*v**2 + 8*v - 3. Let p be t(8). Let w be u(p). Suppose w = -g + 24. Is g composite?
False
Suppose -4164 = -3*y + x, x - 4170 = -y - 2*y. Is y prime?
False
Let q(m) = -m - 1. Let z(k) = 3*k + 1. Let s(d) = 4*q(d) + z(d). Let b be s(-6). Suppose 5*i = b + 32. Is i prime?
True
Let m be 3 + -1 - -4*17. Let c = -60 - -27. Let x = c + m. Is x a composite number?
False
Let k(w) = w**2 - 2*w - 3. Let p be k(4). Let f = -2 + 9. Suppose a = -2*l + 15, f*l + 105 = p*a + 2*l. Is a a prime number?
True
Let o(f) = -f**2 + 7*f - 5. Let s be o(7). Let q = s - -28. Is q prime?
True
Let u(l) = l**3 - 4*l**2 - 4*l - 3. Let d be u(5). Suppose i + 130 = k, -d*k - 4*i + 264 = -2*i. Is k a prime number?
True
Let g(i) be the third derivative of i**5/15 - i**4/12 + i**3/6 + i**2. Is g(1) a prime number?
True
Suppose 3*r + 3*k - 3454 = 5*k, -4596 = -4*r - 2*k. Suppose -4*t + r = -726. Is t a composite number?
True
Suppose q = 17*q - 4880. Is q prime?
False
Let p be (3/6 - 1)*6. Let v(m) = -11*m + 2. Is v(p) prime?
False
Let h(a) = -3*a**3 + 2*a**2 + 4*a - 2. Is h(-5) composite?
True
Suppose -2*y = -y - 4*b - 197, -3*y = 5*b - 608. Is y a prime number?
False
Suppose 3*q - 2404 = -5*m, 5*m + 5*q = -0*q + 2410. Is m a prime number?
True
Let u = 10 - 5. Suppose -u*c + 5*j + 25 = 0, -5*c + 0*j = 3*j - 41. Is c a composite number?
False
Suppose 4*v - 8 = -4*b, 4*b = v - 5 + 3. Suppose 3*x = k + 5*x - 183, -v*k - 3*x = -367. Is k composite?
True
Let n = -9 + 14. Suppose -n*t + 3510 - 947 = 2*r, -4*r = -16. Is t a prime number?
False
Let d(v) = -6*v**2 + 8*v**2 - 3*v**2 + 2*v**2 + 5 + 3*v. Is d(-5) a prime number?
False
Suppose -2*d - 2 + 12 = 0. Suppose -d*r + 11 = -154. Is r prime?
False
Let x(n) = 9*n + 13. Is x(6) a composite number?
False
Let g be (-992)/(-4) + -3*1. Suppose -4*q + 6*q + g = l, 2*q = -2*l + 508. Is l prime?
True
Suppose -2*h + 21 = -3*w, 4*w + 0*h + 35 = 5*h. Is 7/2*(-10)/w a composite number?
False
Let a = 63 + -157. Let j = a - 1. Let m = 134 + j. Is m a composite number?
True
Suppose 0*j = -4*j + 12. Suppose -j*p - 856 = -4*z, 5*z - 643 - 396 = -4*p. Is z a composite number?
False
Let h = -10 - -14. Suppose -68 = -4*m + h*x, 0*m = -5*m - 4*x + 94. Let p = 101 + m. Is p prime?
False
Let t = -94 + 66. Is -62*(t/8 - 0) prime?
False
Suppose 0 = p - 2*p - 2*a + 6, 0 = -5*a + 25. Let r = -7 - p. Is r*3/(-27)*381 a composite number?
False
Let g(h) be the third derivative of 5*h**4/3 - h**3/3 + h**2. Let l be g(-4). Let m = 245 + l. Is m composite?
False
Let r(g) be the second derivative of -g**5/20 - g**4/12 + 2*g**2 - 4*g. Let n be r(0). Suppose n*x = 7*x - 273. Is x a prime number?
False
Let u(g) = -g**2 + 16*g - 5. Let s(x) = -7*x - 2. Let i be s(-2). Is u(i) a prime number?
True
Let f = -138 - -246. Suppose 0*q + v = -3*q - 227, 140 = -2*q + 5*v. Let m = f + q. Is m a prime number?
False
Suppose h - 2228 = -5*z, -1341 = -3*z + h - 3*h. Is z composite?
True
Suppose -3*a + a = 0. Suppose a = g + g - 48. Suppose b - 13 = g. Is b a composite number?
False
Is ((-236)/(-6))/((-4)/(-18)) prime?
False
Let y = -100 + 54. Suppose 0 = 3*t, -t = -4*r - 6*t + 260. Let p = r + y. Is p a prime number?
True
Let o(n) = -2*n**3 + n**2 - 2*n - 1. Suppose 3 = 2*d + 1. Let f = -1 - d. Is o(f) a prime number?
True
Let t(z) = 307*z - 33. Is t(8) a composite number?
False
Let b(c) = -c**2 - 9*c + 10. Let z be b(-8). Let v be 6/4*564/z. Let y = 32 + v. Is y a composite number?
False
Let d = -5 - -7. Suppose 0 = 5*l + 38 + d. Is ((-14)/l)/(3/60) composite?
True
Suppose 3070 = -3*q + 8*q. Is q a prime number?
False
Suppose 0 = 5*y + 4 - 14. Suppose 2*b + y*l - 208 = 444, -3*l = -2*b + 677. Is b composite?
False
Let n = -1926 + 3287. Is n composite?
False
Let k = -29 - -48. Is k a composite number?
False
Suppose 299 + 6847 = 6*a. Suppose -1485 - a = -4*p. Is p composite?
True
Let s = -3 + 4. Suppose -2*i = 4 + 2. Is -2 + s + (-30)/i composite?
True
Let u be 0/(-2) - (-3)/3. Let v = u - -2. Is 2/v - 129/(-9) a composite number?
True
Let o = 257 - -561. Suppose 0 = 4*s - 5*f - 3272, -4*s + 3*s + 5*f = -o. Is s/22 - (-4)/(-22) prime?
True
Let n(l) be the second derivative of 4*l**4/3 - l**3/2 + l. Let q be n(2). Suppose -2*j - q = -156. Is j composite?
True
Let f(z) = -11*z**2 + 2*z + 1. Let b be f(-1). Let s(q) = q**2 - 17. Is s(b) a composite number?
False
Suppose -3*r + 2*r + 1 = 0. Is 10/(-5) + 36/r a composite number?
True
Is (-477)/(-6)*(-4)/(-6) a composite number?
False
Suppose -2*x + 3*c + 398 = 3*x, 4*x - 2*c - 318 = 0. Is x prime?
True
Let d(x) = 93*x**2 + 3*x - 1. Suppose 2*b + 4 = 2*k, -6 = -3*k + 2*b - 3*b. Is d(k) a prime number?
False
Suppose r - 129 = -0*r. Suppose -24 + r = -3*x. Is 432/10 - (-7)/x a composite number?
False
Suppose -a + 33 = -20. Is a a prime number?
True
Suppose x - 205 = -4*x. Suppose 0 = -5*m + 29 + x. Is m a composite number?
True
Suppose -5*i + 10 = v + 2, v - 2 = i. Let m be 6/(2/i)*-1. Is (106/6)/((-1)/m) a composite number?
False
Let q(y) = 1701*y**2 - 1. Is q(2) composite?
False
Let o(c) = 3*c**3 - 19*c**2 - c - 17. Let x(p) = -p**3 + 9*p**2 + p + 8. Let q(u) = -4*o(u) - 9*x(u). Is q(-5) prime?
True
Let b(j) = 2*j + 9. Let c be b(-5). Is 235 + 0*c/1 a composite number?
True
Let a = 8 + -6. Suppose -8 = -a*o - 2. Is (6/o)/((-2)/(-47)) composite?
False
Let i = 463 - 124. Is i prime?
False
Is -3 - (-211 + 4) - 1 a prime number?
False
Suppose -4*r = -5*s - 8, -s = 4*r + 4*s - 8. Suppose -50 = -r*m + 2*f, -4*m + 3*f - 6*f + 86 = 0. Is m prime?
True
Is ((-1465)/(-20))/(3/12) a composite number?
False
Let x be 39 - (2 - 0 - 1). Suppose 2*j = -5*p + 277, -2*p = -3*j + x - 145. Is p a composite number?
True
Suppose 5 = r, b + b + 3*r = 5. Let j(t) = 4*t**2 - 6*t. Let p be j(b). Suppose -3*a - p = -367. Is a prime?
True
Suppose 0 = -2*t - 313 + 1187. Is t a prime number?
False
Suppose -3*c + 5*t = 10, 1 - 6 = 5*t. Is (-543)/c - 2/(-5) a composite number?
False
Let n(w) = -w**3 - w**2 + 541. Is n(0) composite?
False
Suppose 0 = w - 4*y - 1, -8 = w + 5*y. Let a(f) = 51