57*w**3 + w**2 + 5*w - 6. Is k(1) composite?
True
Suppose -2*c + c = 5*d - 3505, 10515 = 3*c - 2*d. Is c a composite number?
True
Let k = -360 - -731. Is k a composite number?
True
Let o(v) = 38*v**2 - 14*v + 37. Is o(10) prime?
True
Let a(s) = -2*s + 2. Let k be a(-3). Let v = k + -4. Suppose v*r - 49 = 35. Is r composite?
True
Suppose -f + 2*c + 3*c + 123 = 0, 5*f + 3*c = 615. Suppose -29 = -4*u + f. Is u prime?
False
Let w be (-2)/3*114/(-4). Let m = 56 - w. Is m prime?
True
Suppose -2*i = 2*w - 14, 3*i + 0*w - 4*w = 14. Suppose 2*q - 4*b - 54 = -i*b, -4*q + 136 = -3*b. Is q composite?
False
Let o(p) = -p**3 - p + 755. Let l be o(0). Let c = l + -448. Is c a composite number?
False
Suppose s - 6*s + 3275 = 0. Let g be ((-9)/3)/(6/(-10)). Suppose -4*a + 352 = -3*c - 168, -5*a + g*c = -s. Is a a composite number?
False
Is (-118)/(3/(12/(-8))) prime?
True
Let p = -128 - -247. Is p a composite number?
True
Let c = 99 + 15. Let l be (1/2)/(1/c). Let b = l + -38. Is b composite?
False
Let f be ((-24)/18)/(2/24). Let a = 42 - f. Is a composite?
True
Let h = 6 - -4. Is 665/h*(4 - 2) prime?
False
Let c(t) be the third derivative of 4*t**4/3 + 3*t**3/2 - 2*t**2. Let m be c(8). Suppose -5*s + 130 = -m. Is s a prime number?
True
Suppose -61 = -3*v + 41. Is v prime?
False
Let x(p) = 5*p + 5. Let b = 0 + 0. Let n = b - -6. Is x(n) a composite number?
True
Let m(g) = -19*g - 1 + 3 - 1 + 2. Suppose 16 = -6*k + 2*k. Is m(k) prime?
True
Let q = 15 - -19. Suppose 5*u - q = 36. Is u a composite number?
True
Suppose -3*y + h = -37, 0 = y + h - 3*h - 19. Let j = 109 - 67. Let t = j - y. Is t a composite number?
False
Let w(u) = 3 + 5*u + u**3 - 2*u**3 + 5*u**2 - 4*u. Let j be w(5). Let d = j + 3. Is d a composite number?
False
Let n(l) = l**3 + 2*l**2 - 2*l + 3. Let s be n(-3). Suppose s = 4*h - 18 - 38. Is h a composite number?
True
Let o = -7 + 10. Suppose -5*v + 3*s - 199 = 0, 2*v - o*s = -2*v - 161. Is (v/(-3))/((-2)/(-3)) a prime number?
True
Suppose -4*p + 30 - 6 = 0. Suppose 3*l = p - 0. Is (l + (-2 - -163))/1 prime?
True
Suppose 22 - 2 = 2*x + 5*r, 20 = -5*x + 5*r. Let k(o) = o + 67. Is k(x) composite?
False
Suppose -21*v + 23*v = 10. Let j = -262 - -509. Suppose 0*g - 3*g + 149 = w, 0 = -v*g - w + j. Is g composite?
True
Is (-842)/(-2) - 0 - (-6 + 5) a prime number?
False
Suppose 48 = 5*j - 72. Suppose -2*k + 230 = -j. Is k a prime number?
True
Let g = 1089 + 1454. Is g composite?
False
Let c(i) = 2*i + 9. Suppose -3*j + 2*k - 33 = 0, 3*k + 27 = 4*j - 8*j. Let v be c(j). Let m = v + 24. Is m a prime number?
False
Let z(i) be the first derivative of -i**2/2 + 9*i - 3. Let m be z(7). Suppose 3*d - 47 - 210 = -m*x, 0 = -3*d + 4*x + 269. Is d a prime number?
False
Let g(u) = -85*u**3 - 3*u**2 + 5*u + 4. Is g(-3) composite?
True
Let q(l) = 1 - 5*l - 5*l**2 + 2*l + 23*l**2. Is q(2) a composite number?
False
Suppose -b - 5*b = -414. Is b a prime number?
False
Let b be ((-58)/(-8))/((-3)/(-372)). Let k = b + -276. Is k a composite number?
True
Let g(p) = p - 9. Let h be g(14). Suppose -j = 2*l - h*j - 50, 0 = 3*j + 9. Is l composite?
False
Let m = 4 + 1. Suppose 3*y = m*y - 30. Let t = y + -6. Is t composite?
True
Suppose 4*o - 482 = 5*b, 6*b + 113 = o + b. Is o composite?
True
Suppose h - 5*x = -h - 45, -5*h = -3*x + 65. Let v(m) = -16*m - 11. Is v(h) a composite number?
False
Let p be (25 - -2)/(3/(-9)). Let g = p - -170. Is g a prime number?
True
Let z(x) = 11*x**2 + 5*x - 6. Let b be z(-6). Let c = -137 + b. Is c a prime number?
True
Suppose -5*f - 3*c = -14, 3*f - 4*c - 20 = -0*f. Suppose 6*s = f*s + 8. Suppose 158 + 222 = s*k. Is k prime?
False
Let b be 22/(-8) - (-9)/12. Let q = 61 + b. Is q a composite number?
False
Let b = -1456 + 2499. Is b composite?
True
Let j(f) = 5*f**2 + 2*f - 4. Let o be j(-5). Suppose 3*d = 2*d + o. Is d prime?
False
Suppose 4*j - 216 = h, -3*j - h - 110 = -5*j. Suppose 3*d = 4*d. Suppose v - j = -5*q - d*v, 4*q - 43 = -v. Is q composite?
True
Let w(f) = f**3 - f**2 - f + 15. Let o = 1 + -1. Suppose o*t = 3*t. Is w(t) a prime number?
False
Let r(d) = 5*d**2 - 3*d + 4*d + 0*d - 3. Is r(5) a composite number?
False
Is ((-1)/(-2))/((-1)/(-422)) a composite number?
False
Let y = -77 - -111. Is y a composite number?
True
Suppose -2*q - 470 + 1708 = 0. Is q prime?
True
Let i = 10 - 16. Let t(s) = 11*s**2 - 3*s + 5. Is t(i) a composite number?
False
Suppose -69 = i - 20. Let g = -30 - i. Is g a prime number?
True
Suppose 30*f - 32*f - 424 = 0. Let x(w) = 5*w**3 + w**2 - 3*w - 3. Let m be x(4). Let v = f + m. Is v prime?
True
Is (-194)/(-6) - 80/60 composite?
False
Suppose 0*a - 4*d = 2*a - 1158, a - 4*d - 561 = 0. Is a composite?
True
Suppose 4*w - 12 = -0. Suppose w*k - 23 - 52 = 0. Is k a prime number?
False
Suppose -j = -6*w + 3*w + 9, -3*j + 2*w = -1. Suppose -j = 5*a + 7. Let m(o) = -5*o**3 + 3*o**2 + o - 1. Is m(a) composite?
True
Let l(p) = -7*p + 5. Let y be l(-4). Is 6/(-33) - (-5583)/y a prime number?
False
Let a = 520 - 167. Is a a prime number?
True
Let p = -6 - -9. Suppose 0 = 3*u + 6, 5*u = -p*f - f + 514. Is f a prime number?
True
Let v(z) be the second derivative of -z**5/20 + z**4/12 - 2*z. Let g be v(1). Suppose g = 2*l - 5*b - 11, 3*b + b - 11 = -5*l. Is l a prime number?
True
Let k be (-6)/10 + 69/15. Suppose -k*o + 7 = -3*o. Is (-1603)/(-49) - (-2)/o composite?
True
Let i = 2 + -4. Let z(b) = 8*b**2 - b + 1. Is z(i) composite?
True
Is 4/10 - -1*(-30812)/(-20) a composite number?
True
Let u = -1562 - -3223. Is u a composite number?
True
Suppose -2 = x - 31. Let i = -78 - -144. Let a = x + i. Is a a prime number?
False
Suppose -i + 5*z + 355 + 136 = 0, 0 = -2*i - 2*z + 958. Is i a prime number?
False
Let a(h) be the second derivative of -2*h**3 + 7*h**2/2 - 3*h. Is a(-6) prime?
True
Suppose -4*x + 5*d = 51 - 2, d = -x - 19. Let p = 42 + x. Is p composite?
True
Suppose -3*h + 3 = -0. Let c = 4 - h. Suppose 3*t - c*f = 387, 4*f + 953 - 310 = 5*t. Is t a composite number?
False
Is 2 + 1*786 + -3 prime?
False
Let z(t) = t**3 - 6*t**2 + 7*t - 7. Let w be z(5). Suppose 0 = -g - w*g - 12. Is 4/(-6) + (-257)/g composite?
True
Suppose 2*a = -2, 5*l + 5*a = 3*l + 29. Let n = l - 9. Let g(h) = h**2 - 3*h - 3. Is g(n) prime?
True
Let q(d) = 3*d**2 - d**2 - d**3 + 4*d - 3 + 0*d**3. Let g be q(3). Suppose -3*o + 8*o - 595 = g. Is o composite?
True
Suppose -5*f = -f - 16. Suppose 4*k + 3*c + 7 = 27, -2*k - 4 = -2*c. Suppose -f*h + 87 = 4*l - 249, 0 = -k*l + 2*h + 148. Is l composite?
False
Let z(i) = -i**3 - 10*i**2 + 11*i + 4. Let d be z(-11). Let q = d - 4. Suppose 2*g - 201 = -5*n, q = -n - 0*g + 2*g + 33. Is n a prime number?
False
Suppose 0 = 9*c - 4*c. Suppose c = -3*i + 56 + 49. Is i a prime number?
False
Let m be 6*-2*(-8 + 2). Suppose -20 - m = -4*n. Is n a composite number?
False
Suppose -4*m - 4 = -0. Is m/(4/(-1468)*1) a prime number?
True
Let i(p) = 4*p**2 - 1. Let t = -7 - -4. Is i(t) a composite number?
True
Let c(w) = -2*w - 8. Let t(i) = -2*i - 8. Let f(x) = -3*c(x) + 2*t(x). Is f(15) a prime number?
False
Suppose -4*g + 2*g = -q + 2, -3*g + 3*q = 3. Let u be -3*(-1 + (g - -1)). Is u/2*10*1 a composite number?
True
Let j(a) = a. Let t be j(2). Let s(n) = 6 - 2*n**2 - t*n + n**2 + 2*n**2. Is s(4) a prime number?
False
Let i(j) = -18*j - 5. Let c(u) be the first derivative of -u**2/2 - u + 1. Let p(y) = 6*c(y) - i(y). Is p(3) a prime number?
False
Let z(w) = -344*w + 4. Let s be z(-3). Suppose 14*h - 10*h = s. Is h a prime number?
False
Suppose 51 = -0*q + 4*q + r, -q - 5*r - 11 = 0. Suppose q - 6 = 4*g, -3*f + 101 = -5*g. Is f composite?
False
Suppose -3*v = -0*v. Let o be -2 - -1 - (v - 1). Suppose -z + 2 = -3, 3*h - 3*z - 132 = o. Is h a prime number?
False
Suppose -3*g - 3 = -15. Suppose -27 = -g*x + 361. Is x a prime number?
True
Suppose 0 = -2*z + 3*z + 9. Let b(v) = -5*v + 8. Is b(z) a prime number?
True
Let q(i) = 11*i**3 - i**2 + 1. Is q(1) a composite number?
False
Suppose 2*r - 5*r - 15 = 0. Let g = -5 - r. Suppose -5*v + 10 + 0 = g. Is v a prime number?
True
Let w(x) = -x - 9. Let r be w(-12). Suppose -3*b = 3*j - 6*b - 183, j - 65 = -b. Suppose 282 + j = r*n. Is n composite?
True
Let i be (-1)/((-2)/16) + 1. Let j(z) = z**2 - 8*z + 1. Let v be j(i). Is 1625/v + 2/4 composite?
False
Let x(v) = 13*v 