23*h**4/24 + h**3/6 - h**2. Let p be f(1). Suppose q - p - 10 = 0. Is q a prime number?
False
Let z(c) = 31*c**2 - 6*c - 20. Is z(9) composite?
False
Let u(t) = 9*t**3 + 21*t**2 + 13*t - 2. Let c(p) = -5*p**3 - 10*p**2 - 7*p + 1. Let j(g) = 11*c(g) + 6*u(g). Is j(12) prime?
True
Suppose 498 - 1588 = -5*v. Suppose v = 4*i - 50. Is i composite?
False
Let o be 1/(-2 - -3)*0. Suppose 2*v = -o*v - 10, 30 = 5*w - v. Suppose 2*s - 3*n = 0, -6*s + 22 = -2*s + w*n. Is s prime?
True
Let k(l) = l**2 - l - 7. Is k(-6) a composite number?
True
Let n = 12727 - 5358. Is n composite?
False
Let j be 2/6*(-3 - -6). Suppose -5*h + 1 = -o - 3*h, -5*h - j = -3*o. Let r = 14 + o. Is r prime?
False
Suppose -340 = -4*m - 0*m. Is m a prime number?
False
Suppose -3*x + 3*j + 2061 = 0, -2*x + 1220 = 2*j - 146. Is x composite?
True
Let d(x) be the second derivative of x**4/12 + 2*x**3/3 + 7*x**2 + x. Is d(6) a composite number?
True
Suppose -3*z + 8*z - 20 = 0. Suppose 0 = v + z*d - 214, -v = -2*d - 0*d - 214. Is v prime?
False
Let s be (2 + 1)/((-1)/2). Let w be (2 - 0)*(7 + s). Suppose 56 = i - w*r + 7*r, -4*r + 54 = i. Is i a prime number?
False
Suppose -2*t - 2*i = -0*t - 754, -4*i = 2*t - 750. Is t a prime number?
True
Let z be (-13)/(-5) + (-4)/(-10). Suppose 3*u + z*v = -u + 1316, -v = 5*u - 1645. Is u a prime number?
False
Is (-1)/4 + (-57)/(-4) composite?
True
Suppose 0 = 4*m - 5*t - 222 - 264, t = 3*m - 370. Suppose 0 = -5*p - m + 729. Is p composite?
True
Let z = -51 + 88. Is z a prime number?
True
Let w be 87 - ((-1 - -1) + -2). Let p = w + -37. Suppose -y - 3*y + p = 0. Is y prime?
True
Suppose -2*i + 8 = -2. Suppose 0*o = 5*d + o + 15, i*o = -3*d - 31. Is (d/(-3))/(1/33) prime?
False
Let g = -12 + 6. Let j = 25 + g. Is j prime?
True
Let i(p) = 8 - 8 + 2*p**3. Let m be i(-2). Let o = m + 31. Is o prime?
False
Let q be (-1 + 2)*(-20)/(-5). Suppose 0 = 5*o + 3*c - 17, -5*o - c + q*c + 23 = 0. Let g(n) = n**3 + n**2 + n - 1. Is g(o) a prime number?
True
Suppose 0 = u - 4*u + 18. Is 2/6 - (-520)/u a prime number?
False
Let l(u) = 3*u**2 + u - 1. Let n be l(1). Suppose 0 = n*x - 12, 0 = -w + x + 2*x - 12. Suppose -2*r + 70 = -w*r. Is r a prime number?
False
Suppose -3*v - 11 = -2*w, -v + 4 = -5*w - 1. Is 3606/18 + w/(-3) composite?
True
Suppose -6178 + 16203 = 5*f. Is f prime?
False
Suppose w - 824 = 3*b, w + b - 816 = -4*b. Is w composite?
False
Suppose 4*b = -0*b + 1800. Let d = -227 + b. Is d composite?
False
Let b(r) = -117*r - 4. Is b(-5) a prime number?
False
Let l = 88 - 22. Suppose 2*h = -0 + l. Suppose -22 = -g + h. Is g prime?
False
Let q = -46 + 93. Is q prime?
True
Let o be (-4 + -6)*(0 - -1). Let n be 5/(-10) - o/4. Is (1 - n)/(1/(-11)) prime?
True
Suppose -a - 5*x + 17 = 3*a, x + 8 = 3*a. Let r be 8 - (-3 - (-24)/4). Suppose -23 + 8 = a*b, -b = r*h - 630. Is h prime?
True
Let d(l) = 2*l - l**2 + 1 + 0*l - 14*l**2 + l**3. Is d(15) prime?
True
Let r = 216 + -305. Is r/((-1)/(-1 - -2)) a composite number?
False
Let f(y) = 52*y**2 - 3 - 4*y - 9*y + 16*y. Is f(2) composite?
False
Let v(b) = -82*b + 1. Is v(-4) prime?
False
Let w(c) = -c**2 - 5*c - 6. Let j be w(-4). Is j/(1*(-3)/87) a composite number?
True
Let f be 745 + 1 + 2 + -3. Suppose -f = -3*r - 2*r. Is r a composite number?
False
Let p(w) = 8*w**2 + w + 1. Is p(2) composite?
True
Let x = 8 + 10. Suppose -g - 4 = 0, 3*n - n - 2*g - x = 0. Suppose -n*v - 194 + 619 = 0. Is v a prime number?
False
Let t(a) = -a**3 + 2*a**2 - 1. Let x be t(1). Let s be 3*(1 + (-4 - -4)). Suppose x*p - 141 = -s*p. Is p a prime number?
True
Let j(w) = 8*w**3 + 3*w**2 - 6*w - 5. Let k(n) = 17*n**3 + 7*n**2 - 13*n - 11. Suppose -3*c - 45 = 2*c. Let h(g) = c*j(g) + 4*k(g). Is h(-2) a prime number?
False
Let u be 11 + (1 - 4/(-2)). Suppose -4*x - 2*k = -u - 12, 0 = -k + 3. Suppose -5*y = -x*n - 60, -5*y + 17 + 33 = 5*n. Is y a prime number?
True
Let x be 2/(-8) + 17/4. Suppose m = -x*m + 165. Suppose y + 1 + m = 5*n, 0 = 4*y - 4. Is n prime?
True
Let f be 4*-3*(-86)/4. Suppose i - 11 - f = 0. Is i a prime number?
True
Let y(v) = -11*v - 3. Let c(b) = b - 1. Let l(z) = 2*c(z) - y(z). Is l(4) composite?
False
Suppose 0 = -5*z + z - 5*q + 2329, 4*z - q = 2323. Is z a prime number?
False
Suppose 2062 + 608 = 6*j. Is j prime?
False
Let x = -24 - -55. Suppose 8*t - 5*t + 2*b - 6 = 0, 0 = t + 5*b - 2. Suppose 17 = t*u - r + 6*r, 5*u + r - x = 0. Is u composite?
True
Suppose -2*l + 3*l - 4*g = 6, -2*l - g = -12. Let s be l/(-15) - (-4)/10. Suppose s = 2*h - 7 - 35. Is h a composite number?
True
Let c(a) = 2*a**2 + a + 1. Let u be c(-1). Is 0 + 2*(-1 + u) prime?
True
Let d = 108 - -125. Is d a composite number?
False
Suppose 7*b = 1509 + 1088. Is b composite?
True
Let x(s) = -2*s**3 - 12*s**2 - 9*s - 13. Is x(-10) a composite number?
False
Let n(u) = -u**3 + 6*u**2 + 6*u. Let c be n(5). Suppose 580 = 4*w + f + c, -3*f - 521 = -4*w. Is w prime?
True
Is (-15080)/(-91) - (-4)/14 a composite number?
True
Suppose -5*v + 13 = -32. Is v prime?
False
Let t = 2986 - -10531. Is t prime?
False
Suppose 5*c = -3*l + 59, -l + 4*c + 9 = 3*c. Suppose y - 24 - l = 0. Is y a prime number?
True
Suppose 3*v + 0*c = 2*c + 661, -444 = -2*v + 2*c. Suppose 2*s = -43 + v. Is s a composite number?
True
Let n be -1*(-6)/2 + -3. Let y = 1 + n. Is (1*77)/(0 + y) prime?
False
Let p(n) = n**3 + 1259. Is p(0) composite?
False
Suppose 268 = -4*c + 8*c. Is c a composite number?
False
Suppose 2*p + 2*c = 954 + 172, 4*c + 2212 = 4*p. Suppose -3*o - 120 + p = 3*j, 3*o = 2*j + 453. Is o prime?
True
Let m = -10922 - -16393. Is m prime?
True
Let i be 3/((-9)/(-6))*1. Let o = 6 - i. Suppose 3*t = -o*x + 48, 0 = t + 4 - 0. Is x a composite number?
True
Is (-83 + 0)*(-1)/1 a prime number?
True
Let f(q) = -11*q + 3. Is f(-10) a composite number?
False
Let o = -2462 - -3675. Is o a prime number?
True
Is 1766*(-1)/(-10) - 2/(-5) a prime number?
False
Let m = -19 + 31. Let x be (-1)/3 - 8/m. Is 7*x*(-24)/28 composite?
True
Suppose 0 = l + 3 + 5. Is l/36 - (-2855)/9 prime?
True
Let p(f) = -51*f + 2. Let o = 21 - 32. Is p(o) prime?
True
Suppose 0 = 17*b - 13*b - 212. Is b composite?
False
Let l = -10 + 269. Is l a composite number?
True
Let j be 36/54 - (-22)/3. Suppose r - j = 3. Is r composite?
False
Suppose 4*q - 4*f + 0*f = 96, 0 = 5*q - 2*f - 129. Suppose a - 2*z - 41 = -4*z, 5*z = a - q. Is a composite?
False
Suppose -139 + 42 = -b + 4*f, 2*b - 2*f = 194. Is b composite?
False
Suppose -5*s + 82 + 2733 = 0. Is s prime?
True
Let b(g) = 8*g**2 - 3*g + 2. Let y(n) = n - 1. Let m be y(4). Is b(m) a prime number?
False
Suppose 3*d - 1434 = d. Let f = d + -344. Is f a prime number?
True
Is (-32156)/(-36) + (-1)/(18/4) prime?
False
Suppose -8*b = 306 - 1442. Suppose 0*w - 51 = 3*w - 3*i, 2*w + 58 = -4*i. Let p = b + w. Is p prime?
False
Let f = -131 + 388. Is f a composite number?
False
Suppose -5*a - 186 - 209 = 0. Suppose 4*i - 142 = g, g + i + 2*i + 135 = 0. Let y = a - g. Is y a composite number?
False
Let v = 7 - 7. Suppose v = 4*p - 66 - 66. Is p composite?
True
Let o(m) be the second derivative of -1/6*m**3 + 2*m + 0*m**2 + 3/20*m**5 + 1/12*m**4 + 0. Is o(1) prime?
True
Suppose -2*z + 416 = -2*n, 987 = 4*z - 2*n + 153. Is z composite?
True
Let v(i) = -i**3 - i**2 + i + 123. Is v(0) prime?
False
Is ((-3)/12)/((-3)/4764) prime?
True
Suppose k = 6*k + r - 83, 5*r = 2*k - 17. Suppose -2*z + 4*n + k = 0, -2*n - 11 = -5*z + 5. Is z a prime number?
True
Suppose 2*t = -4*a - 0*t + 100, 4*t = 4*a - 88. Suppose 3*g = -g - a. Let c(m) = -24*m - 1. Is c(g) a prime number?
False
Is (-4)/10*995/(-2) a composite number?
False
Let q(o) = -o**3 - 5*o**2 + 7*o - 7. Let p be q(-7). Suppose 5*y - 53 = p. Is y composite?
False
Let v be 106/12 + 6/36. Suppose -t + 3*y - v = -35, -5*t = 3*y - 112. Is t a composite number?
False
Suppose x = -2 + 5. Suppose -x*s + 68 = -289. Is s a prime number?
False
Suppose -b + 174 = 46. Suppose 0 = -4*i + 292 + b. Suppose -z = 2*z - i. Is z prime?
False
Let f be 1 + 1 - 143/(-1). Suppose -3*p + f = 2*q - 0*p, -5*p = 25. Let z = q + -57. Is z a prime number?
True
Suppose 3*v + 3 = -4*j + 2*v, -5*v = -j + 15. Let s(y) = y - 7. Let q be s(j). Let t(i) = i**2 + i - 7. Is t(q) prime?
False
Suppose 6*s - 16*s + 12590 = 0. Is s a composite number?
False
Let c(g) =