i be o(6). Let u = 1065 - i. Let h = 906 - u. Is h a prime number?
False
Is (84/48)/(2/2216) a composite number?
True
Let p(i) = 26*i + 877. Is p(0) a prime number?
True
Suppose 0 = v - 2*v + 1402. Is v/(-4 + 24/4) a composite number?
False
Let j(q) = -155*q + 15. Let t(g) = 22*g - 2. Let d(l) = 3*j(l) + 20*t(l). Let b be d(-6). Let p = b - 70. Is p prime?
False
Let v(j) = -2*j**3 + 2*j**2 + 5*j - 1. Let w be v(-4). Suppose -2*i - 260 = -7*i. Suppose i = l - w. Is l a prime number?
True
Suppose -2*f + 26 - 20 = 0. Suppose 4*p + 13451 = 5*v, -6*p + 13415 = 5*v - p. Suppose -m - 4*b = 4*m - v, 1596 = 3*m - f*b. Is m prime?
False
Suppose 4*l = 5*j + 7213, -3*j + j = 2*l - 3620. Suppose l = 2*c - a + 6*a, 4*a = 4. Is c a composite number?
True
Let i(j) = 119*j + 63. Let z be i(-12). Let g = -824 - z. Is g a prime number?
True
Let v(z) = -z**3 + 4*z**2 + 14*z - 5. Let k be v(6). Suppose k*y = 2*y + 21355. Is y composite?
False
Let u = -11464 + 34233. Is u a prime number?
True
Let r be (4 + -2)*(-10)/(-5). Let g be 6/(-15) - 94/(-10). Let f = r + g. Is f a composite number?
False
Let k = -36 - -41. Suppose -k*n = -2*n - 978. Is n a composite number?
True
Let t(o) be the second derivative of 173*o**3/6 - o**2 + 19*o. Is t(5) a prime number?
True
Suppose 0 = 5*s + 2*l - 14, 0 = -5*s - 3*l - l + 8. Suppose -9425 = -5*u - 3*y + y, 0 = -u - s*y + 1903. Is u a composite number?
True
Suppose 0 = -10*f + 12*f. Let w = -1 + 1. Suppose f = h - w*h - 51. Is h a prime number?
False
Let s(y) = -51*y**2 + 7. Let p be s(3). Let i = 1034 + p. Suppose z - 3*g + 2*g = i, g = -4*z + 2353. Is z a composite number?
False
Let s(n) = n**3 - 8*n**2 + 2*n - 12. Let u be s(8). Let l(g) = 66*g**2 - 5*g + 1. Is l(u) prime?
False
Suppose -z - 17507 = 4*i - 81998, -5*i = 2*z - 128976. Is z a prime number?
True
Let h(a) = 5 + a**2 - 6*a**2 + 2*a**2 - 6*a**3 + 5*a**3. Let t be h(-3). Suppose t*x - 236 = 1019. Is x a composite number?
False
Let f(o) = -737*o**2 + 4*o + 24. Let s be f(-6). Is (s/20)/(-1) + 2/5 prime?
True
Suppose -2*o + 0*q + 4*q + 8014 = 0, -2*o + 3*q = -8015. Is o a prime number?
False
Suppose -5*v - 5 = 0, -v + 11 = 3*j - 3*v. Suppose 0*z + 1359 = j*z. Suppose -z + 58 = -i. Is i a composite number?
True
Let v = 17312 - 10765. Is v composite?
False
Let n(r) = r**3 + 48*r**2 + r + 111. Is n(-37) composite?
True
Let k(h) = h**2 + 7*h - 11. Suppose 5*l = 4 - 24. Let o be 3 - 4/l - 13. Is k(o) prime?
True
Let i = 34 - 32. Suppose 15 = -5*p, 485 = i*x + 5*p - 2534. Is x a prime number?
False
Let c(o) = o**2 - 10*o - 15. Let r be c(11). Is (-8)/r*1709/2 a prime number?
True
Suppose -n + 5*n - 2609 = 5*b, -2*b = 3*n - 1974. Let s = -465 + n. Suppose -87 = -2*o + s. Is o a composite number?
False
Let d(a) = 2*a - 10. Let m be d(5). Let j(g) = g**2 - g - 4. Let y be j(3). Is (m + -42)*y/(-6) a prime number?
False
Let a(i) = 175 + 3393*i + 126 - 3392*i. Suppose -z - 3*k = 12, 2*k + 8 = 4*z - 0*k. Is a(z) a composite number?
True
Let h = 42206 - 26128. Is h prime?
False
Let z be ((-24)/(-16))/((-2)/(-4)). Suppose 2*y - 5*k = 27, z*k + 47 = -2*y + 6*y. Is y a composite number?
False
Let y(b) = -498*b + 3 - 860*b + 0. Is y(-1) prime?
True
Suppose -3*r + 6 = -k - 0, -r = -3. Suppose -k*a = 3*c - 1218, 0*c = -3*c - 4*a + 1221. Is c composite?
True
Suppose -22*k + 148849 = 45383. Is k composite?
False
Let s be (-3)/(((-84)/7696)/7). Suppose -s = 4*v - 8*v. Is v a composite number?
True
Let a = 1 - 1. Let s = a + 2. Is (-2 - (-3 + s)) + 134 composite?
True
Let i(o) be the second derivative of o**5/20 + 7*o**4/12 + o**3 + 17*o**2/2 - 3*o. Is i(7) a prime number?
False
Let s be 3/1 - (4 + -228). Let d = s + -96. Is d prime?
True
Let u be ((-12)/(-18))/((-2)/(-726)). Let c = 541 - u. Suppose 5*d = d + 3*w + c, 3*w - 163 = -2*d. Is d prime?
False
Suppose 12 - 4 = 4*i. Let t(m) = 227*m**3 + 4*m**2 - 4*m - 2. Is t(i) a composite number?
True
Suppose 4*y - 18 = -6. Suppose -2*m - y*m = -20. Suppose m*x = 327 + 845. Is x composite?
False
Suppose -p + 10386 = -5*t, 106 = p + t - 10286. Is p a prime number?
True
Suppose 0 = -2*z + 4*a - 7*a + 66903, 5*a = -2*z + 66909. Is z composite?
True
Suppose -29333 = -4*f + 5*o, 14629 = 2*f + 3*o + 2*o. Is f composite?
True
Suppose -5*t = -v + 23, 1 + 2 = -3*v - 3*t. Suppose -552 = -v*j + 3. Is j composite?
True
Suppose 54*z - 51*z = 1311. Is z prime?
False
Let p(j) = -133*j**3 - 11*j + 11. Is p(-5) composite?
False
Let x be (73 - 1)/(7/84). Let f = -557 + x. Is f composite?
False
Let b(c) = -4*c**2 - 4*c - 38. Let r be b(-14). Let t = r + 1080. Is t a prime number?
False
Suppose 70*k = 51*k + 243979. Is k a composite number?
False
Suppose -19*g = -15*g + 68. Let y(t) = -15*t + 32. Is y(g) composite?
True
Let n(t) = -1093*t - 84. Is n(-5) prime?
True
Let m(b) be the third derivative of b**5/12 + 5*b**4/24 - 29*b**3/6 - 22*b**2. Is m(-13) a prime number?
True
Suppose -2*o - m = -428, 6*o - 3*m = 2*o + 866. Suppose -b + 365 = 4*b + 5*a, -3*b - 2*a + o = 0. Is b a prime number?
False
Let g = -749 - 157. Let q = 2015 + g. Is q a prime number?
True
Let i(h) = -80*h**2 + 15*h - 18. Let t be i(9). Let y = -3574 - t. Is y a prime number?
True
Suppose n + n - 2*w + 14 = 0, 0 = 5*w - 5. Let s(k) = -184*k + 7. Is s(n) a composite number?
True
Suppose 2*o = 5*g + 10543, -12 = 7*g - 11*g. Is o a prime number?
True
Suppose -2*j = h + 21 - 1, 5*h + 28 = -j. Let m(d) = -5*d - 4. Let b(s) = -5*s - 5. Let o(i) = 5*b(i) - 4*m(i). Is o(j) prime?
True
Suppose -5*k + k - 2*y = -20, 4*y - 20 = -4*k. Suppose 4*h + 2*p = -1985 + 219, h = -k*p - 446. Let d = -296 - h. Is d prime?
False
Let w(g) = 675*g**2 + 5*g - 57. Is w(10) prime?
True
Suppose -2*x + 33180 + 23183 = 3*i, -x + 1 = 0. Is i a composite number?
False
Suppose 0 = 4*k - 25 - 7. Suppose 0 = 12*g - k*g - 52. Is g prime?
True
Suppose 3*i - 38776 = 8291. Is i a composite number?
True
Let b(u) = u**2 - 22. Let d be b(7). Let p = 284 - d. Is p a prime number?
True
Let l(o) = -5*o + 6. Let h(y) = -6*y + 7. Let w(a) = 4*h(a) - 5*l(a). Let z be w(7). Suppose 61 = z*q - 9. Is q a composite number?
True
Is (4 - 522/12*-49)*2 composite?
False
Let m = 70936 - 33725. Is m composite?
True
Suppose 2907 = t - 2*q, 3*q = -3*t - q + 8741. Is t a composite number?
True
Let v = 5894 + 4029. Is v a composite number?
False
Let w(v) = -13 - 2 + 11*v - 5 + 6*v. Is w(13) a prime number?
False
Let i(p) = -22*p - 3. Let n be i(-1). Let u = n - 17. Suppose -f + 1134 = 3*r, 3*r - 6*f - 1119 = -u*f. Is r a prime number?
False
Let v(q) = 3*q**3 - 5*q + 9. Is v(10) composite?
True
Suppose -11 = -2*j - 7. Suppose -j*o = -52 - 14. Suppose -29*z + o*z - 84 = 0. Is z a composite number?
True
Suppose -36 + 2541 = 3*f. Suppose 5*p + f = 2*c, 3*p + 3 = -0*p. Let x = -288 + c. Is x composite?
False
Let s(x) be the third derivative of x**6/120 - x**5/60 - x**4/24 + 53*x**3/6 + 14*x**2. Let p be 2/(-5) + 4/10. Is s(p) a prime number?
True
Let i = 154139 + -100872. Is i prime?
True
Suppose -3*s - 17 - 19 = 0. Let n be (-2)/(-6) - 2108/s. Suppose 4*b = -16, 103 = 3*z - 3*b - n. Is z a composite number?
False
Let c = 35 - 32. Is (1/c)/(5/(-27480)*-4) a prime number?
False
Let p be (-1 - -2)/((12/2)/(-6792)). Let g = -627 - p. Is g a prime number?
False
Let c = -6 - -7. Let j(n) = 3 - 1 - 1 + c + 3*n + 8*n**2. Is j(-3) a prime number?
False
Suppose 11 = 2*d - d. Let t(m) = m**2 - 11*m + 3. Let r be t(d). Suppose 2*w = -r*w + 4*g + 2085, 4*w - 1667 = 3*g. Is w composite?
True
Let t = 40 - 45. Let n(s) be the second derivative of -77*s**3/6 - 3*s**2 - s. Is n(t) a composite number?
False
Suppose 5*f - q - 92444 = 0, 2*f - 4*q = 1116 + 35858. Is f a composite number?
True
Is (-77 + 6)*(-98 + 1) prime?
False
Let j(a) = 8*a**2 + 9*a - 16. Let t be j(-8). Let x = -213 + t. Is x composite?
False
Suppose 2*u = u + 12. Suppose 0 = u*h - 17*h + 57415. Is h a prime number?
True
Suppose -195*d = -193*d - 628. Is d prime?
False
Let d be ((-39)/6)/(2/(-4)). Suppose d*s - 7*s = 1842. Is s prime?
True
Let j(n) = 343 + 6*n + 11*n**2 - 3*n**2 - 350. Is j(3) a prime number?
True
Let m be 3*(-3)/(1 + -2). Suppose -262 + 271 = -3*y. Is 2296/12 + y/m prime?
True
Suppose -2*l + 11 = 4*s - 7, -5*s + 4*l = -42. Let b be ((-6)/3)/(s/705). Let z = -72 - b. Is z prime?
True
Let j = 