 a prime number?
True
Let h(b) = -32*b**3 - 9*b**2 - 33*b + 12. Let x(t) = 11*t**3 + 3*t**2 + 11*t - 4. Let c(f) = 6*h(f) + 17*x(f). Is c(-7) prime?
False
Suppose 0 = -2*y + 7*y - 4870. Is y*(1 - 3/6) composite?
False
Let t = -2027 - -7696. Is t a prime number?
True
Let m be -3 - (-41)/2*16. Suppose -l = 3*d + d + 7, 15 = 5*l - 5*d. Is m + (-4)/l + 2 a composite number?
True
Suppose 3*a + 2*t = -29, 4*t - 3 - 2 = 3*a. Is 1605/4 - a/(-28) a composite number?
False
Suppose -y = 3*v - 199 + 43, 0 = 4*y + 2*v - 674. Suppose -2*z - 5*b = -105, 3*b = 3*z - b - 100. Let u = y - z. Is u a composite number?
False
Let r(z) = -200 + 119 + 8*z + 4*z**2 + 104. Is r(-25) prime?
False
Let h = -35890 - -52455. Is h a prime number?
False
Let r = 11534 + -7821. Is r prime?
False
Suppose -o = -2*u - 13, -4*o + 0*u + 58 = -5*u. Suppose 4*m - 2*m = 5*k + 39, m = 3*k + o. Is (-8976)/m*2/(-3) a composite number?
True
Suppose 7*m = 2*m. Suppose 6*q - 4*q = m. Suppose -3*t + 807 = 4*u, q*u - 5*u = -15. Is t a composite number?
True
Let b = -1 - -6. Suppose -4*j - 3*t + 6 + 8 = 0, 5*t + 35 = b*j. Suppose -5*n + 3*k = -625 - 1008, n = j*k + 309. Is n composite?
True
Let q = -10 + 10. Let t(c) = -c**3 - 13*c**2 + c + 15. Let o be t(-14). Suppose q = i - 254 - o. Is i composite?
True
Let c = 3247 + -1965. Suppose 4*a - 2*z - c = 0, 5*a - 3*z + 338 = 1938. Is a a prime number?
False
Let c(l) = 39*l**2 + 3*l - 20. Let q(k) = 13*k**2 + k - 7. Let z(h) = -2*c(h) + 7*q(h). Is z(4) composite?
True
Let n(w) = 655*w**2 - 83*w - 7. Is n(-4) composite?
True
Let s = -18 - -25. Let j be 4 - s - (-3 + 0). Suppose 3*z - 47 - 154 = j. Is z prime?
True
Suppose 16*y - 9*y - 67564 = 0. Suppose -3*c = -7*c + y. Is c a prime number?
False
Suppose 546 = 2*l - j, -824 = -3*l - 0*j - j. Let u = -17 + -4. Let c = l + u. Is c prime?
False
Is (-6)/9*12 - -62281 prime?
True
Is 4 + (5 - 13) - 7566/(-2) a prime number?
True
Let p(m) = 5*m**2 + 4*m + 335. Let y(i) = -6*i**2 - 5*i - 336. Let x(d) = 5*p(d) + 4*y(d). Let j be x(0). Let h = -197 + j. Is h composite?
True
Is 596472/56 - 1/(7/2) a composite number?
False
Let n(o) = o. Let x be n(4). Suppose 0 = -2*j - 2*d + 300, -3*j + 713 = x*d + 259. Is j prime?
False
Let f = -9 + 9. Suppose -1613 = -4*n - 5*v + 1255, f = 5*n + 3*v - 3598. Suppose -4*t + n = -2*b - 22, -2*b = 2*t - 378. Is t a composite number?
True
Let l be (1957/(-57))/((-1)/18). Suppose 8*f - l = 862. Is f a composite number?
True
Let f = 8 + -9. Let b be f/(-1) + 1*3. Suppose 0 = b*i - 246 - 22. Is i prime?
True
Let d = 44802 + -1903. Is d a prime number?
True
Let n(m) = -9*m**3 - m**2 - 5*m - 14. Let i be (-1 + 2)/(4/(-20)). Is n(i) a prime number?
False
Let h be 4/22 - (-564)/44. Let j = -164 - -288. Suppose -j = -4*k - 3*s, 0 = 5*k + 5*s + h - 163. Is k composite?
True
Let y(v) = v**3 + v**2 - 2*v. Let w be y(0). Suppose -11*n + 27*n - 1392 = w. Is n composite?
True
Suppose 5*x + 15249 = o, 0*o - 2*x + 76299 = 5*o. Is o prime?
True
Suppose 3*h + 2*c - 22 = 0, -3*c = -3*h - 2 - 1. Suppose -3*a = 6, -4*f - 1342 = h*a - 3630. Suppose 5*n + 2*i - 721 = 0, 5*n - 5*i - 126 = f. Is n prime?
False
Suppose 550 = -4*n + u + 166, 2*n - 2*u = -192. Let g = 115 - n. Is g a prime number?
True
Let k = 477 + -1434. Is ((-2)/6)/((-2870)/k - 3) prime?
False
Suppose 0 = -0*n + 4*n + h - 11, 0 = 5*n - 3*h - 18. Suppose 0 = -2*y - n*y - 35. Is (-20)/70 - 2053/y composite?
False
Let m = 63 - 22. Suppose 3*o - k + 7 = 6*o, m = 4*o - 5*k. Suppose -o*j - 2*w = -3*j - 129, 2*w - 486 = -4*j. Is j composite?
True
Let i = -57 - -56. Is (2/4)/((-1)/(-1005 + i)) composite?
False
Is (-2 - (0 - 0))/(80/(-827720)) prime?
True
Suppose -7*m - 14948 = -11*m. Is m a prime number?
False
Is (-1688066)/(-30) - (416/(-195) + 2) composite?
False
Let x be (2 - (-36)/(-21)) + (-14596)/28. Is 4*(-1)/2 - (-2 + x) prime?
True
Let k = -53 - -56. Suppose -1016 = -k*q + 877. Is q prime?
True
Let k = 41 + 772. Let q = k - 68. Suppose z + 4*z = q. Is z a composite number?
False
Suppose -4*r + 26 = -5*h, -5*r + 14 = 3*h - 0*h. Suppose r*s + 20 = 9*s. Suppose -s*u = -59 - 201. Is u a prime number?
False
Let d(h) = -6*h - 24. Let y be d(-7). Let r = y - 10. Is 130/r*(6 - 2) a composite number?
True
Let q(c) = -17079*c**2 - 5*c + 3. Let a be q(-3). Is -4*a/180 - (-2)/(-5) a prime number?
False
Let u be (64/(-24))/((-1)/6). Suppose 126 = -3*f + 2*w + u, 4*f + 5*w + 139 = 0. Let y = 50 + f. Is y a composite number?
True
Let a(m) = m**3 - 17*m**2 - 8*m + 13. Is a(19) a composite number?
True
Suppose 2*g = 5*z + 5, -3*g + 0*z = z + 1. Suppose g = -5*d + 6418 - 603. Is d a composite number?
False
Let g = -203 + 217. Suppose -l - 3 = -12. Suppose -g*q + 885 = -l*q. Is q a prime number?
False
Let m(y) be the second derivative of -y**5/20 + 11*y**4/12 - 5*y**3/3 - 7*y. Let t be m(10). Is (-2 + t - -3)*55 prime?
False
Let n(i) = 2*i**2 - 6*i - 8*i**2 + 2*i**3 + i + 2*i - 2. Is n(5) composite?
False
Let k be ((-7)/28)/(2/(-40)). Suppose k*d + 0 = -20. Is (-8)/(-12)*(-1578)/d prime?
True
Suppose 0 = -u - 5*o + 19, 3*u + 18 = 4*o - 1. Let b(l) = 88*l + 1. Let m be b(u). Is m*(2 - 34/6) composite?
True
Let a(g) = -7*g**3 + 18*g**2 + 15*g - 111. Is a(-11) a prime number?
False
Let j be (-5)/(-3) - (-3 + (-40)/(-15)). Suppose -i + j*i - 1476 = -a, -3*a + 5909 = 4*i. Is i a prime number?
True
Suppose l = -28 + 31. Suppose 6*m - l*m - 1245 = 0. Is m a composite number?
True
Is 0 + 19558 - (3 + 0 + 2) composite?
False
Suppose 0 = 70*o - 69*o - 60485. Is o a composite number?
True
Let w(g) be the second derivative of -88*g**3/3 + 7*g**2/2 - 17*g. Is w(-3) a prime number?
False
Let m be 6*((-10)/5)/((-12)/10). Is m/45 - 1717/(-9) a composite number?
False
Let d = -118 + 119. Is (-6)/(-4)*d - 15011/(-34) composite?
False
Let v(z) = z**3 + 29*z**2 + 29*z + 30. Let d be v(-28). Let o(p) = 185*p**3 - p**2 - 3. Is o(d) a prime number?
False
Suppose -4*p - 39204 = -c - 200748, 5*p - c = 201931. Is p prime?
True
Let a = 38 + -35. Suppose 3*t + 1889 = a*p + 2*t, -2*p = 5*t - 1282. Is p composite?
False
Let d = 7251 - -1796. Is d prime?
False
Suppose 2*u - 5 = 5. Suppose 0 = c + 8*c + 11*c. Suppose c = -u*j + j + 2348. Is j composite?
False
Suppose -m + 2722 + 2888 = 3*o, 2 = -2*o. Is m a prime number?
False
Let m(n) = 14*n + 5. Let g(q) = -1. Let k(l) = 6*g(l) + m(l). Suppose 2*c + 5*i = 35, c - 2*c - 10 = -3*i. Is k(c) composite?
True
Let u(i) = i**2 - 7*i + 10. Let f be u(6). Suppose h - 344 = -v - 4*v, f*v + 618 = 2*h. Is h a composite number?
True
Let k = -17 - -20. Suppose -4*h + 4*o + 4 = 0, 0*h + o = 5*h + k. Is -3 + (3 - h) - -52 prime?
True
Let x = 15 - 11. Suppose x*n - 2*j - 211 = 201, -4*j - 110 = -n. Suppose 3*p = 0, 3*a - n - 57 = 3*p. Is a a prime number?
True
Let t(x) = -15*x**2 + 9*x + 5*x**2 - 4 + x**2. Let u be t(6). Let n = -59 - u. Is n a composite number?
True
Suppose -5*v + 5*i = 4*i - 3, -3*v = 4*i + 12. Is -3 + v/(-3) + 688/2 a composite number?
True
Let c be -3 + 2 + 5 - -2956. Suppose 20*h + 660 = c. Is h a composite number?
True
Is 5/(-3 - 20/(-5))*2129 a prime number?
False
Let a be 0*(28/(-8) - -3). Suppose 0 = 5*t + 15 - a. Is 4169/33*(0 - t) prime?
True
Suppose -t = -15 - 5. Suppose -19*f + t = -15*f. Suppose f*h = -175 + 1260. Is h prime?
False
Suppose 0 = -47*s + 360823 + 47278. Is s a prime number?
False
Let y = 1506 + -539. Is (y - -2) + (-1 - 1) a composite number?
False
Let w(q) = 2*q**2 + 1. Suppose -31 = -4*m - 27. Let z be w(m). Suppose 0 = f + 7*k - 2*k - 347, -z*k - 1113 = -3*f. Is f a prime number?
True
Suppose 4453 = 5*q - 1807. Suppose 2*o + 3*o - 3*s = q, 751 = 3*o - 2*s. Is o prime?
True
Suppose 1 - 19 = 2*p. Is (-6114)/p - (-50)/30 prime?
False
Suppose -4*a = o - 10969, -2*a = a - o - 8232. Is a a composite number?
True
Suppose 0 = -22*a - 12876 + 56282. Is a prime?
True
Let o = -219 + 111. Let c(k) = -169*k**2 - 1. Let l be c(-1). Let q = o - l. Is q composite?
True
Is 16/(-88) - 1860599/(-143) a prime number?
False
Let q = -3904 - -20543. Is q prime?
False
Let p(h) = -175*h - 2. Is p(-17) composite?
True
Let s = -1103 + 2212. Let k = -792 + s. Is k composite?
False
Let v(r) = r**3 + 3*r**2 + 3*r + 2. Let j be v(-2). Let m(b) = -2*b + 110. Let x(c) = -2*c + 102. Let s(a) = 4*m(a) - 3*x(a). Is s(j) a prime numbe