s n prime?
True
Suppose 0 = 3*s + x + 30, -2*s + 4*s + x + 20 = 0. Let l(m) = -m**3 - 15*m**2 - 12*m - 8. Let o(i) = -2*i**2 - 1. Let g(q) = l(q) - 2*o(q). Is g(s) composite?
True
Let p(l) = 15*l**2 - 8*l + 35. Is p(12) a composite number?
False
Let x(a) = -486*a**3 + 2*a**2 - a + 4. Is x(-3) a prime number?
True
Let u(b) = 15*b**3 + 6*b**2 + 28*b - 3. Is u(8) a composite number?
True
Suppose 4*d - 134 = f - 923, 2*d - 807 = -f. Suppose c - 596 = 3*c. Let r = f - c. Is r prime?
False
Is (0 - -41)*(0 + 12 + -1) a composite number?
True
Suppose -5*f = -2397 + 92. Suppose -3*c + f = 3*i - 298, 4*i = 2*c - 494. Is c prime?
True
Is 6290 - 3/(-4)*(-32)/8 composite?
False
Suppose -103*c = -117*c + 792694. Is c a composite number?
True
Let z(g) = -2*g + 2. Let r = 10 - 13. Let k be z(r). Suppose k*w - 11*w + 291 = 0. Is w a composite number?
False
Suppose -2*v + 5*g + 82 = 0, -2 = -5*v + 2*g + 182. Is (-7946)/(-12) + (-6)/v a composite number?
True
Let s = -8 + 15. Let k(m) = m**2 - 7*m + 4. Let t be k(s). Is (2/t)/(6/1308) prime?
True
Suppose 14*l - 10*l = 624. Suppose 5*g = l + 1039. Is g prime?
True
Is (18 - 7)/(1/41) prime?
False
Let w(m) = -m**3 + 6*m**2 - m - 9. Let z be w(4). Let y = 104 + z. Is y a prime number?
False
Suppose 5*a - 2*n - 14 = 0, 2*n - 3*n - 5 = -2*a. Suppose 3*k - a*k = 43. Let u = k - -200. Is u a composite number?
False
Let c(t) = -4552*t - 15. Is c(-2) a prime number?
False
Suppose 5*x + 46 = 6. Is (-2)/x - (-6540)/16 a composite number?
False
Suppose -66*d = -62*d - 28532. Is d a composite number?
True
Let u(g) = 9*g**2 + 4. Let x be u(6). Is ((-641)/4)/((-41)/x) a prime number?
False
Let i(h) = h**3 - 17*h - 5*h**2 - 3 - h**2 + 23*h. Let v be i(5). Is 4 + 292 + v + -3 prime?
False
Suppose 6*n = 13*n - 28. Let v(k) = 25*k + 2. Let r be v(4). Suppose -n*z = -110 - r. Is z a composite number?
False
Let a = 30208 - 17115. Is a a prime number?
True
Suppose -3*p + 2*u + 2*u = -12541, 5*p - 20915 = 4*u. Suppose 8*b - p - 797 = 0. Is b a prime number?
False
Let o = -87 + 83. Is (2/o)/(17/(-442)) prime?
True
Suppose 17*n - 11*n - 2802 = 0. Is n composite?
False
Let x(j) = -4*j**3 - 3*j**2 - j - 8. Let a(i) = -i**3 + i**2 - i + 1. Let z(o) = -3*a(o) + x(o). Is z(-9) prime?
False
Is -3 + (20294 - 2/1*-3) a composite number?
False
Let c = 23032 - -42283. Is c a prime number?
False
Let j = 2 + 2. Let v(x) = x**3 - x**2 + 5*x - 2. Let b be v(1). Suppose -2*h = 3*k - 239, b*h - 107 = 2*h - j*k. Is h prime?
True
Let q(g) = -71*g + 2. Let u(t) = -2*t + 6. Let d be u(5). Let m be q(d). Let h = 111 + m. Is h a composite number?
False
Is 8/(-16) - ((-21068)/8 - 0) a prime number?
True
Let x(m) = m**3 - 2*m**2 - 2*m + 4. Let h(p) = p**2 - 1. Let j(r) = 2*h(r) + x(r). Let i be j(0). Suppose 38 = i*l - 126. Is l composite?
True
Let r be 4/(-30) + (-272)/(-15). Let u = -14 + r. Suppose -954 = -2*y - 4*o, 0*o = 4*o + u. Is y a composite number?
False
Suppose -3*m - 15 = 2*m. Let j = m + 6. Suppose 2*x + 54 = 6*x - j*z, 67 = 5*x - 4*z. Is x a composite number?
True
Suppose 23*k - 20*k = 2790. Suppose l - 8 = 3*l, -l = -2*p + k. Is p a prime number?
True
Let w = 15 - 13. Suppose 3*c - w*r = c + 534, 2*r = 0. Suppose -3*n + c = -n - k, -k = -3*n + 400. Is n prime?
False
Suppose 0 = -3*r + 5*r - 2650. Let a = -1952 + r. Let q = a + 1724. Is q a composite number?
False
Let t be (-546)/27 - (-6)/27. Let d = -7 - t. Is (d/3)/(3/45) prime?
False
Suppose -9*i + 13*i - 20 = 0. Suppose -22 - i = 3*j. Is 1742/2 + j + 9 composite?
True
Suppose -6254 = -5*k - 1954. Let j = -513 + k. Is j composite?
False
Is 14/196*21 + (-130)/(-4) a composite number?
True
Let x be 4 + -1 + (0 - 0). Let r be (2 - 75/12)/(6/(-96)). Suppose -w + r = 3*y, 0 = -8*w + x*w + 25. Is y composite?
True
Let o be ((-2 + 5)*-4)/(2/3). Let v(l) = l**3 + 20*l**2 + 15*l + 4. Is v(o) a composite number?
True
Let x be ((-10)/(-2*1))/1. Let v be 5504 - (-3)/(-3)*0/(-8). Suppose -2*o + 3*y - 2*y = -2766, -4*o = x*y - v. Is o a prime number?
True
Let k(q) = q**3 + 32*q**2 - 54*q - 21. Is k(-22) prime?
True
Suppose 4*u - 2*u = -2*n + 12, -5*u = -n. Suppose 2*z = 2*x + u - 7, -2*z - 8 = 0. Is 68 - 4/4*x composite?
True
Suppose 2*q + 2510 = 4*x - 2*x, x - 1275 = 5*q. Let p = x - 223. Is p a prime number?
False
Suppose 5*v = 4*n - 74503, 2*v + 8 = 2. Is n a composite number?
True
Suppose i - 2073 = -2*z, -4*i - 26 = -6. Suppose -4*g + 1027 = -3*m, -4*g - 3*m = -2*m - z. Is g prime?
False
Let n = -349872 - -66992. Is (-3)/(-7) - n/91 a composite number?
False
Let s(h) = 3*h**2 - 5*h - 23. Let o(d) = -3*d**2 + 5*d - 2*d - d**2 + 11 + 3*d**2. Let c(u) = 5*o(u) + 2*s(u). Is c(-8) a prime number?
False
Let u(b) = 270*b**2 + 67*b - 3. Is u(20) a prime number?
False
Let q = -614 - -1283. Is q composite?
True
Suppose b - 5*b + 32 = -3*n, -2*n = 2*b + 40. Let d = 31 + n. Let k = d + 20. Is k prime?
False
Let q = 16245 + -9214. Is q a prime number?
False
Suppose 4*t = 5*l - 132865, 116*l + 79732 = 119*l - 5*t. Is l a composite number?
True
Let i be (-4)/5*(-765)/6. Suppose -n + 21 = 4*l, 0*n - l = -3*n + i. Is n a composite number?
True
Suppose -7*a - m + 35095 = -2*a, 10 = -2*m. Suppose -l + 2817 = -2*h, 5*h = -0*l - 2*l - a. Let i = h + 2365. Is i a prime number?
False
Let g(m) be the third derivative of m**5/60 - m**3/6 - 5*m**2. Let n be g(-1). Suppose p - 633 + 128 = n. Is p prime?
False
Let h = 454 + 2120. Is (4/(-6))/((-12)/h) composite?
True
Let l be (-3522)/((-4)/((-24)/(-9))). Suppose 4*t = -0*t + l. Let i = t - 330. Is i composite?
False
Suppose -4*o + 1584 = -2*k + 6*k, 2*o - k = 795. Is o prime?
True
Let n = 2 + -4. Let a(m) = -m**2 + m + 7. Let z be a(5). Is 28956/52 + n/z a composite number?
False
Let k(o) = 1027*o**2 - 2*o + 3. Let a be k(2). Let d be 22904/21 + (-6)/9. Let y = a - d. Is y prime?
False
Is -8 + 1 + 0 + 5784 + 2 a composite number?
False
Suppose 35*d - 2207800 + 34545 = 0. Is d prime?
False
Let i = -90 + 173. Suppose -2*r + 13 = -a - 44, -i = -3*r + 2*a. Is r composite?
False
Suppose 2*k + 3 = 11. Let v = 55 - 37. Suppose 0 = -0*m - 3*m - k*z + 134, m - 4*z = v. Is m a prime number?
False
Is (121/(-11) - -9)*4591/(-2) a composite number?
False
Let p(w) = w**3 + 8*w**2 + 27*w - 17. Is p(11) a prime number?
True
Suppose 3*c = 2*t + 26, -6*c + 5*c + 3 = 5*t. Let w(u) = -3*u**2 - 6*u + 9. Let b(n) = -2*n**2 - 5*n + 10. Let r(o) = 2*b(o) - 3*w(o). Is r(c) prime?
False
Let z = -1352 + 2359. Is z composite?
True
Let h(y) = 372*y**2 + 19*y + 82. Is h(-15) composite?
False
Let o = -23 + 15. Is (902/o)/(5/(-20)) composite?
True
Let h(v) = 160*v**2 + 4*v + 7. Is h(8) a composite number?
True
Let v(n) = n**2 - 5*n + 4. Let r be v(5). Suppose -5*j = r*o - 501, o + 0*j = 4*j + 99. Is o a composite number?
True
Let x(n) = n**2 - 4*n + 5. Let a be x(4). Suppose 4*k + 848 = 4*h + 6*k, 4*k = a*h - 1047. Is h composite?
False
Let h(s) = -533*s. Let d = 11 + -12. Is h(d) prime?
False
Suppose -207 = -k - 28. Suppose -7*c = -118 - 64. Let l = k + c. Is l prime?
False
Suppose 2*v = -3*v + 5*b - 80, b = 2*v + 30. Let r = v - -19. Suppose 34 = -4*a + 6*a + r*k, 36 = 4*a + 2*k. Is a composite?
False
Let u(t) = 22*t**2 - 4*t - 7. Let p = 22 + -28. Is u(p) a prime number?
True
Let m be 27/(-15) + 4/5 - 142. Let r = m - -1032. Is r composite?
True
Is (-15*7/42)/(1/(-1718)) a composite number?
True
Let n(f) be the second derivative of f**3/6 + 3*f**2 - 10*f. Suppose r - 9 + 2 = 0. Is n(r) composite?
False
Is 1/(-1 + (-665)/(-361074)*543) prime?
False
Let p = -10 - 4. Suppose -131 = 7*c - 2*c - 2*b, -5*b + 44 = -2*c. Let h = p - c. Is h prime?
True
Let g(t) be the first derivative of -4*t + 25/2*t**2 - 8. Is g(9) a prime number?
False
Suppose -12 = -5*p + 2*p. Suppose -4*i = -2*i - 8. Suppose 1952 = p*z - i*o - 0*o, 0 = -3*z + 2*o + 1469. Is z prime?
False
Let l(o) = -o**3 + 8*o**2 - 7*o + 3. Let z be l(7). Suppose 2*w + w = 4*p + 2917, -z*p - 12 = 0. Is w a prime number?
True
Suppose 6*k - 12 = 2*k. Suppose h - k*h + 322 = 0. Is h a prime number?
False
Let s(b) = 122*b**2 - 7*b. Let g be (88/(-14) + (-4)/(-14))/2. Is s(g) a composite number?
True
Let q(r) = -310*r + 23. Is q(-8) prime?
True
Let a be (-25)/(-15)*30/25. Suppose -l + 102 = a*l. Is l a composite number?
True
Is (-9 - 43/(-5)) + (-17594)/(-10)