 prime number?
True
Let s be 7/(7/(-2))*-37. Suppose 0 = 5*o - 111 - s. Is o composite?
False
Let v = 430 + -251. Is v composite?
False
Let u = 8 + 215. Is u prime?
True
Let m(w) = 46*w**2 - w. Let i be 6/(-4)*4/6. Is m(i) composite?
False
Is 393/((-6)/(-4) + 0) prime?
False
Suppose -2*q - 48 = -862. Is q prime?
False
Suppose v + 78 = -5*c, -2*v - 3*c - 239 + 62 = 0. Let u = v + 183. Let o = 152 - u. Is o a composite number?
True
Let h be 1*(0 + 3/(-3)). Let b(i) = 77*i. Let o be b(h). Let z = o + 116. Is z composite?
True
Let u = 17 - 19. Let h(g) = 3*g**2 + 2*g - 1. Is h(u) a prime number?
True
Is 15/(-60)*(1 - 333) composite?
False
Suppose 0 = 2*o - 2 - 2. Let j be ((-411)/(-9))/(o/6). Suppose 20 = 5*v, -j + 694 = 5*y - 2*v. Is y composite?
False
Suppose -5*x + 4*k + 29 = 0, k - 14 = -2*x + 5*k. Suppose x*g - 4*r - 40 = 5, 2*r - 5 = -3*g. Suppose -2*t + 1 = -g. Is t prime?
True
Suppose -8 = -4*u + 3*u. Is 0 + 1636/u*2 a prime number?
True
Let j = 3972 + -2225. Is j a prime number?
True
Let i(p) = -p**3 - p + 2. Let n be i(0). Let z be ((-3)/(-2))/(6/8). Suppose -2*l + 2*o = -8, n*l + 3*o = z*o + 23. Is l composite?
True
Let k(a) be the third derivative of 25*a**5/12 - a**4/24 - a**3/6 - 2*a**2. Let z be k(-1). Suppose 3*n + 2*n = z. Is n composite?
True
Suppose -3*m + 197 + 25 = 0. Is m composite?
True
Suppose 24 = -w - 3*w. Let x be (-195)/w*(-2 + 8). Is x/(-3)*-1 - -2 a composite number?
False
Suppose j + 16 = 5*j. Suppose 115 = -4*r + o - j*o, 5*r + 3*o + 140 = 0. Let c = r + 114. Is c a prime number?
True
Suppose -2*o = -0*o. Suppose 0 = -2*k - k + 5*r + 53, -4*r - 16 = o. Is k composite?
False
Suppose -w + 5*w - 180 = 0. Is w/(-75) + (-178)/(-5) prime?
False
Let g be 7*4 - 4/2. Let j = g - 104. Is j/2*2/(-6) prime?
True
Let p be 0 + 1*3/(-3). Let c be p/4 - 2427/(-12). Suppose -h - h + c = 3*d, -3*h + 3*d + 273 = 0. Is h prime?
False
Let f(v) = v**2 + v + 17. Let q be f(0). Suppose 122 = 5*p + q. Is p composite?
True
Let s = -9 - -14. Suppose 0 = -5*d + s*f + 930, -4*d - 3*f + 968 - 189 = 0. Is d a prime number?
True
Is -2 + 96 + (-9)/(-3) a composite number?
False
Suppose 0 = -4*o + 6 + 2. Suppose -n - 1 = 0, -o*r + n = -35 - 84. Is r prime?
True
Suppose 0 = -4*d + 3*p + 1310, 3*p - 1651 = d - 6*d. Let c = d + -6. Is c a composite number?
True
Let w(o) = -2*o + 9. Let d be w(5). Is 212 + -1 + 3 + d prime?
False
Suppose 2*m - 3*q - 14 = -q, m - 2*q - 12 = 0. Suppose -m*j + 518 - 120 = 0. Is j a prime number?
True
Let o(v) = v**3 + 1. Let n(a) = -7*a**3 - a**2 + a - 5. Let w(p) = -n(p) - 6*o(p). Let j be w(-1). Is (5*9 - -2) + j prime?
True
Suppose -2*m = -2*f - 10, 4*f = m + m - 20. Suppose m*a + 4*a = 596. Is a a composite number?
False
Suppose 0 = -2*y - 1 + 45. Let q = 141 - y. Is q a composite number?
True
Let b(l) = -5*l**3 - 2*l**2 - 2*l + 2. Let v(u) = u**2 + 6*u - 9. Let q be v(-7). Let o be b(q). Let n = o + 119. Is n prime?
True
Let w be 5/2 - (-2)/(-4). Let k be 2 - (2/w + 1). Suppose k = -g - 0*g + 21. Is g prime?
False
Suppose 5*d = 2*d + 9. Let s(u) = -9*u - d + 25*u + 19*u. Is s(2) prime?
True
Suppose 3*k - 5*k + 6 = 0, -2*l - 4*k + 16 = 0. Suppose 0 = w + l*t + 7, -2*w + t = -0*t + 24. Let d = 26 + w. Is d prime?
False
Let k(w) = -w**3 + 4*w**2 - 4*w + 6. Let b be k(3). Suppose -502 = -5*s + b*s. Is s composite?
False
Let x(c) = 2*c + 9. Let f be x(-8). Is f*((-2 - 0) + -1) composite?
True
Suppose 0 = 3*m - 2*t - 2031, -412 = 2*m - t - 1767. Is m a composite number?
True
Is (-776)/12*-3 - 3 prime?
True
Let k be 3/(-15) - 102/15. Let t(w) = w**3 + 6*w**2 - 9*w - 10. Let l be t(k). Suppose -3*u - l*q = 2*u - 283, 2*q = -6. Is u prime?
True
Let n = -642 - -1199. Is n a prime number?
True
Suppose -11*r + 1282 = -9*r. Is r prime?
True
Let r(b) be the first derivative of b**5/30 + b**4/6 + 7*b**3/6 + 2*b**2 + 4. Let g(j) be the second derivative of r(j). Is g(5) composite?
True
Let r(y) = -5*y**3 - y**2 + y - 1. Let z be r(1). Let h(d) = -d**2 - 13*d - 3. Is h(z) a composite number?
True
Let d be 2/((-2)/10*1). Is d/(-55) + 1250/22 a composite number?
True
Suppose 6*s - 777 = 477. Is s a prime number?
False
Let x(s) = 6*s**2 - s. Let r be x(3). Suppose -4*f + 93 + r = 0. Suppose f + 6 = 3*q - 3*u, 4*u = 0. Is q composite?
True
Let b(v) = 0*v**2 + 212*v**3 - v**2 + 0*v**2. Is b(1) a prime number?
True
Suppose -i = 4*i - 10805. Is i prime?
True
Let z = -16 + 111. Is z a prime number?
False
Let v be 0 - (4*-1 - -1). Suppose -5*x - 25 = 0, v*b + x = -2*x + 144. Is b composite?
False
Let o(n) = -n**3 + 10*n**2 + 9*n + 7. Is o(7) a composite number?
True
Let q(m) = 593*m**2 + 1. Let j be q(-1). Suppose -j + 188 = -2*l. Is l prime?
False
Let t = 346 + -239. Let a be t/((9/(-15))/(-3)). Suppose 3*b = 98 + a. Is b a composite number?
False
Let m(c) = 16*c - 13. Is m(11) a composite number?
False
Let z(p) = p**3 + 6*p**2 - 7*p - 4. Let r be z(-7). Let k = -21 - -3. Let m = r - k. Is m prime?
False
Let c(i) = -i**3 + 2*i**2 - 2*i + 2. Let f be c(2). Let z(n) = -25*n. Let q be z(f). Suppose -q = -m + 35. Is m a composite number?
True
Suppose 4*q - 2685 = -d, -7*q + 3356 = -2*q + d. Is q a composite number?
True
Is (-2)/(-10) + 7028/10 a composite number?
True
Suppose 0 = 4*i - 1481 + 421. Suppose -i = -5*g - 0*g. Is g a composite number?
False
Suppose 4*n + 2*s - 18 = 0, 5*n - 5 - 12 = 3*s. Suppose -n*q + 4*c = -460, 3*q + 5*c - 4 = 325. Is q prime?
True
Let t = -2 + 3. Suppose w - 4 + t = 0. Suppose 5*j + 20 = 0, -814 = -4*n - w*j - 14. Is n composite?
True
Let c be 3/12*4 + -1. Suppose -l + 2*l = 30. Suppose c = -5*m + l + 695. Is m prime?
False
Is (-2)/(4 + (-4332)/1082) a composite number?
False
Let u(k) = -k**3 - k**2 - 2. Suppose v - 18 = -4*q + 3*v, 0 = v + 1. Suppose 0 = -q*t - 5*g - 8, -2*t = -4*t + 3*g - 4. Is u(t) composite?
False
Let d(r) = 16*r**2 - 3*r - 3. Let q be 4/12*3 - 3. Is d(q) prime?
True
Suppose -24 = 5*t - 9. Let p(k) = -18*k**3 - 6*k**2 - 6*k + 1. Is p(t) a composite number?
True
Suppose 0 = -2*j - r + 721, 0*r - 711 = -2*j - 3*r. Suppose 5*n + n = 30. Suppose -3*m + j = -5*y, -605 = -0*m - n*m + 5*y. Is m prime?
False
Let f = -30 - -42. Suppose 0 = -4*a + 4 + f. Is (-341)/(-4) + a/(-16) a prime number?
False
Let n be 4/(-10) - 8/5. Let k be 0 - (n + 77*1). Let z = 130 + k. Is z prime?
False
Let l(y) = -y**2 + 11*y - 5. Is l(8) prime?
True
Let r = 351 + -224. Is r a composite number?
False
Suppose 2*u - 9*u + 9793 = 0. Is u a prime number?
True
Let c be (3/(-4))/((-1)/52). Let z be 27/12 + 1/(-4). Let f = c - z. Is f a prime number?
True
Let j be 3*((-16)/(-3))/(-2). Let o = j + 13. Suppose o*x = 779 + 306. Is x prime?
False
Let s(b) = -b**2 - 4*b + 2. Let l be s(-4). Suppose l*i = -3*i - 230. Let g = 9 - i. Is g a prime number?
False
Let x(c) = -c**2 + c + 13. Let p(h) = -h - 3. Let r be p(-6). Let u = r + -3. Is x(u) prime?
True
Suppose -4*m + 1 = -2*w + 25, 0 = w + 5*m + 23. Suppose 0*i - w*i + 334 = 0. Is i a composite number?
False
Suppose -7 + 72 = 5*b. Let u(n) = -5*n**2 - 5*n**2 - n**3 + b - 15*n + 4*n. Is u(-9) composite?
False
Suppose -2 = 4*p + a, -5*p + 0*a + 2*a = -4. Suppose -5*w + 0*x - x + 16 = p, 2*w = -4*x - 8. Suppose -37 = -q + w*r, -4*q + 139 = 3*r - 85. Is q composite?
False
Is (-11)/((-99)/19506)*6/4 prime?
True
Let o = 721 - 464. Let p = -178 + o. Is p prime?
True
Let q be -1 + -2*(-21)/(-6). Let g = q + 11. Suppose -g*x = -b - 9, 3*x - 2*b - 13 = -4. Is x prime?
True
Let n(z) = 2*z**2 - z + 4. Suppose y + 0 = 2. Suppose -30 = -5*g + 5*r, g - 5 - y = 2*r. Is n(g) a prime number?
False
Let f = -4 - 6. Let u = 43 - f. Is u a prime number?
True
Suppose 4*k - 4 = -2*b, 2*b + 2*k - 2 = -0*b. Suppose b = 5*r - 3*v - 267, -220 = -4*r + 4*v - 0*v. Is r prime?
False
Suppose 0*p = -2*p - 8, -5*p = -3*y + 4601. Is y a composite number?
True
Let a(w) = 19*w**2 - w + 1. Suppose 5*b = 3*q + 1 + 10, b + 3 = -2*q. Is a(b) composite?
False
Suppose g + 3*g = 0. Suppose g = -3*m + 222 + 51. Suppose 0*l - 5*f + m = 4*l, -3*f + 85 = 4*l. Is l a prime number?
True
Let h be 2042/(-10) + 1/5. Let k = h - -293. Is k a composite number?
False
Let a = -28 - -65. Let o = a + 22. Is o a prime number?
True
Let q be 2/(0 - (-2)/17). Suppose -y + 18 + q = 0. Is y prime?
False
Let m(z) = z**3 - 6*z**2 + 4. Let n = 2