umber?
True
Suppose 2*r + 2786339 = 15*r - 3182364. Is r prime?
False
Let b = -206027 + 608901. Is b a composite number?
True
Let z be (-790)/40 - -20 - (-32258)/(-8). Let q be 109*-2*171/(-6). Let f = z + q. Is f composite?
True
Let x be 2904/(56/10 - 6). Let z = -3611 - x. Is z a prime number?
False
Suppose -7*g = 29 + 27. Let z be 4758/7 + g/(-28). Let t = 1311 - z. Is t composite?
False
Let f(r) = -41*r + 4513 - 98*r - 4499. Is f(-11) a composite number?
False
Suppose 0 = 4*v - 4*b - 396292, -2*b - 10 = 2. Is v prime?
False
Suppose k - 14 = 5*n, 4*k + 5*n - 41 = 10*n. Suppose -2*g - 18 = -5*w, -2*w + 5*g + 15 = -k. Is (12*-5 - w)/(1*-2) a prime number?
True
Let a(p) = 31324*p**3 + 2*p**2 - 7*p + 17. Is a(2) prime?
False
Let n(c) = -11*c**2 + 57*c - 26. Let m be n(24). Let i = m - -7303. Is i composite?
False
Suppose 184*m + 137072 = 180*m. Let n = -6919 - m. Is n a composite number?
True
Let a(w) = 4*w - 45. Let t be a(13). Suppose -16474 - 2125 = -t*h. Is h composite?
False
Let s(n) = 358103*n**3 + 3*n**2 - 2*n - 1. Is s(1) composite?
False
Suppose 3*o + 5*t - 3528472 = 0, 0 = o - t - t - 1176183. Is o prime?
False
Suppose 4*c - 3986093 = -4*n - 911653, -5*c = -5*n + 3843080. Is n a prime number?
True
Let q(b) = -b**2 - 7*b + 24. Let z(p) = p**3 + 14*p**2 + 13*p - 8. Let l be z(-13). Let i be q(l). Suppose -3*g + 971 = -i. Is g prime?
False
Suppose 0 = 4*u - u - u. Let d(k) = 7*k**2 - 2*k + 163. Is d(u) prime?
True
Let v(l) = 56*l**3 - 29*l**2 + 111*l - 41. Is v(19) prime?
True
Suppose 33*f + 18*f + 26088541 = 112*f. Is f composite?
False
Let j = 3 - 1. Let o be (16/4)/(10/50). Suppose -o = -2*l + z - 2, 0 = j*z + 8. Is l a composite number?
False
Let h = 54401 - -20808. Is h a prime number?
True
Suppose -3*a + w = -18 + 12, -2*a - 7 = 3*w. Is (1/(-1))/a*-4267 composite?
True
Suppose 0 = -10*o + 89 + 11. Suppose 2*p - 16 = o*p. Is 4/(-6) + p + (-3521)/(-3) prime?
True
Is 215 + -215 + 1*12071 composite?
False
Let d be (5/((-15)/3046))/(22/(-99)). Suppose 0 = 11*i - 21454 + d. Is i composite?
True
Let c(q) = -2*q**2 - 32*q + 38. Let m be c(-17). Suppose -6 + 22 = -m*k. Is 1670 - 2/((-8)/k) composite?
False
Let r(w) = -w**2 - 4*w + 60. Let j be r(-10). Suppose 0*v - 1382 = -2*v + t, j = -4*t. Is v a composite number?
False
Let v(d) = d**3 - 8*d**2 - 2*d + 11. Let j be v(8). Let h(s) = -94*s**3 - 35*s**2 - s - 7. Is h(j) composite?
True
Suppose -2*f = -2*d + 1 - 5, 3*d + 3*f = -6. Let t be (15/(-10))/(d/4). Suppose -i + t*p = -964 - 1195, -p = 5*i - 10795. Is i prime?
False
Suppose -4*q - 4*g + 1174493 = -q, -2*g - 391471 = -q. Is q a composite number?
False
Let q(v) = 2*v**3 + 10*v**2 + 5*v - 2. Let j = -5 - -1. Let k be q(j). Is (k/(-4))/(3/(-1578)) composite?
True
Let d = -122150 - -172448. Is d/14 + (-50)/(-175) a prime number?
True
Let k be (3/4)/(14/(-56)). Is (-7)/k - (-13710)/45 prime?
True
Suppose -111 + 447 = 16*n. Is (-34425)/(-21) + (-1 - (-15)/n) a prime number?
False
Let m = 444 - 457. Let x(y) = 33*y**2 + 22*y - 30. Is x(m) a prime number?
True
Suppose 68439259 = 290*b - 263005843 - 62438988. Is b a composite number?
False
Let o(s) = -s - 3. Suppose 2*a + 28 = 9*a. Let r be o(a). Is (-1434)/(-3) - (6 + r) a composite number?
False
Let h = -163537 - -431104. Is h composite?
True
Let o(v) = -48*v + 2. Let d be o(0). Suppose -4*u + 290 = 3*f - 466, -2*f + 380 = 2*u. Suppose d*p - u = -32. Is p a prime number?
False
Let d be (6/(-5) + 0)*(51 + -41). Let l(r) = -2*r**3 - 14*r**2 - 37*r + 5. Is l(d) prime?
True
Let u = 73 - 76. Let y = -1 - u. Suppose -2*t - 18 - 222 = -y*c, -2*t = 2. Is c composite?
True
Let b be (-81)/54*8/(-3). Suppose -311 = -b*w + 149. Is w prime?
False
Suppose 1945702 = 72*m + 46*m. Is m a composite number?
True
Suppose -y + 3*d = -16966, 3*d - 51 + 54 = 0. Is y a composite number?
False
Let m(b) = 118*b**2 + 4*b - 4. Let z(p) = -1. Let c(t) = m(t) + 3*z(t). Is c(-5) prime?
False
Let w(f) = -16*f - 10. Let u be w(-1). Is u/(-8)*(-130960)/60 a composite number?
False
Suppose 0 = 55*u - 65*u + z + 8179303, -2*u + 2*z + 1635848 = 0. Is u a prime number?
False
Suppose -4*s + 87 = -1189. Suppose -16*z - s = -17*z. Is z a composite number?
True
Let r(y) = -y**2 - y + 6. Let i(d) = -3*d**3 - 2*d**2 + d. Let v be i(1). Let u be r(v). Is 1*(18/(-27) - 7282/u) composite?
False
Let j be (8/10)/(-2)*745. Suppose -4*y - 2*n + 1279 = -407, -3*y + n + 1252 = 0. Let i = y + j. Is i composite?
True
Let c(a) = 260441*a**2 - 155*a + 153. Is c(1) a composite number?
True
Let o = 142638 - 101146. Suppose -8*t - 2652 = -o. Is t composite?
True
Let u(d) = 15*d - 52*d**2 + 218*d**2 + 51 - 71*d**2 + 372*d**2. Is u(-5) prime?
False
Suppose -21416483 = -21*d + 15*d - 61*d. Is d a prime number?
False
Let n = 5168 + -15155. Let m = 16760 + n. Is m a prime number?
False
Suppose 2*j = -3*x - 6482, -j = 4*x - 2*j + 8639. Let y = 2767 - 3974. Let q = y - x. Is q prime?
True
Let n(o) = -260*o**2 + 4*o - 1. Let b(w) be the third derivative of 259*w**5/60 - 5*w**4/24 + w**3/6 - 26*w**2. Let l(x) = -3*b(x) - 4*n(x). Is l(-1) prime?
False
Let o = 3865131 - 2184833. Is o a composite number?
True
Let h be (1 - 4)/((-1)/(-1)). Let v be 1 - -2 - (h - 7020). Suppose -y = -7*y + v. Is y composite?
False
Let v(z) = -16*z**3 + 4*z**2 + 17*z - 25. Let h(t) = -18*t**3 + 5*t**2 + 18*t - 25. Let o(c) = 6*h(c) - 7*v(c). Is o(4) prime?
True
Suppose -2*w = -w - x - 3, 0 = -w + 2*x + 1. Suppose 3 = w*l - 7, 1328 = 2*o + 2*l. Let k = -273 + o. Is k a composite number?
False
Let p(g) = 7*g**3 + 21*g**2 - 3*g + 17. Let t be p(-11). Is (10 - 5)*(-2 - -3) - t prime?
False
Let n be 28/(-4) - (-94744 - -6). Suppose -p + 2*z = -6*p + n, 5*z + 37904 = 2*p. Is p prime?
True
Suppose 0 = 4*p - 14*p + 380. Let o = p - -199. Suppose 3*l + 5*y - o = 0, -6*l - 3*y = -8*l + 158. Is l composite?
False
Let u be ((-16972)/(-2))/(5 + -3). Let t = u - -3040. Is t composite?
False
Is (-203 + 205)*805694/4 a prime number?
True
Let n = 64224 + 26655. Is n composite?
True
Suppose -374 = t - 3*t. Let c be 34/t + (-26)/22. Is (3 - c)/1 - -22 a composite number?
True
Is 59901/(3*(-2 - -3)) composite?
True
Let z = 30693 - -36994. Is z a composite number?
True
Suppose -19*k - 3*k + 154 = 0. Suppose -5*n = -k*n + 7522. Is n composite?
False
Let d(r) = r**3 - 20*r**2 + 18*r - 3. Let y(q) = -q**3 - q**2 - q - 7. Let k(x) = d(x) + 2*y(x). Let l(u) = -8*u. Let m be l(3). Is k(m) a composite number?
False
Let j(g) = 783*g**2 + 98*g + 702. Is j(-7) a composite number?
True
Let q(s) = 3*s**2 + 49*s + 30. Let i be q(-25). Let l = 1431 + i. Suppose -4*p + 6835 = l. Is p composite?
False
Suppose -2 = -5*z - 37*p + 35*p, -3*z - 2*p = -2. Let v be 0/(0 + 2/(-2)). Suppose z*j - 3*j + 1563 = v. Is j composite?
False
Let k(p) = 4588*p + 1931. Is k(6) prime?
False
Suppose -h = -4, 4*b = h + 4*h + 16172. Suppose -3*f + c + 1 = -75, 86 = 3*f + 4*c. Suppose -10*v - b = -f*v. Is v a prime number?
False
Let n = -14755 - -10073. Let g = 1500 - n. Let u = -4033 + g. Is u a composite number?
True
Suppose -37*b = -80*b - 258. Suppose 0 = -2*f + 8, -76 = -4*c + 4*f + 28. Is b/c - (10428/(-15) + -2) a prime number?
False
Let k(a) = -3*a + 9. Let c(u) = 16*u - 45. Let x(j) = -2*c(j) - 11*k(j). Let v be x(9). Suppose 86*s - 84*s - 382 = v. Is s prime?
True
Suppose 4*h - o - 31 = 0, 7 = 3*h + 2*o - 6*o. Suppose -h*p + 8*p = -3. Suppose -3*t = -4*k + 2870, 5*k + p*t = -t + 3603. Is k a composite number?
False
Let g(c) = -122*c**3 - 2*c**2 + c + 25. Let p be g(-10). Suppose 0 = o - 4*o - 5*q + 121847, -3*q - p = -3*o. Is o a composite number?
False
Let c be ((-1399)/4)/(1183/(-84) + 14). Suppose 3*l + f = c, -13*l + 4*f = -9*l - 5596. Is l a prime number?
True
Let h(u) = 11*u**3 + 45*u**2 + 83*u + 327. Is h(58) a prime number?
True
Is -8 - (2 - 1) - (-1348 - 30) a prime number?
False
Suppose 2*p = -1 - 3. Suppose -31*h + 7268 = -8*h. Let k = p + h. Is k composite?
True
Suppose -l + 3*a + 14 = 0, l - 2*a = 2*a + 17. Suppose 2*o - 4*h - 23558 = 0, l*o = 3*h + 46086 + 12837. Suppose -4761 = -12*c + o. Is c composite?
True
Suppose 4*i = -4*k - 72, -29 - 27 = 3*i + 5*k. Let v(o) = -256*o - 159. Is v(i) composite?
True
Let u(z) = 5*z**2 + 3*z + 97. Let m be 5*(0 + 376/40). Is u(m) a prime number?
False
Let l(s) = 190*s**3 + 10*