3. Let s be c + -3 + -2 + 3. Let n be 2 - (-2 - 1 - -1). Which is smaller: n or s?
n
Suppose 0 = -f - 4 - 1. Let c = 4 + f. Let l = 8/15 - 1/30. Is c greater than l?
False
Let p be 25 - 21 - (-30 - 0). Suppose -p = 4*b + 138. Is -44 at least b?
False
Let n = -1373/4101 - -2/1367. Which is smaller: 0.0607 or n?
n
Let d(b) = 3*b**3 - 47*b**2 - 56*b + 49. Let v(i) = i**3 - 16*i**2 - 19*i + 16. Let k(c) = -6*d(c) + 17*v(c). Let y be k(11). Is 2/55 >= y?
True
Let y(d) = -d + 8. Let m be 1/((-5)/(-6))*-5. Let u be y(m). Is 12 greater than or equal to u?
False
Let k = -70 - -78. Let d be 11/11 - (-2 + -5). Is k not equal to d?
False
Suppose -2 = 2*n - 4*n. Suppose -3*r - 2 = n. Let u be (2 + -3)/1 - r. Is 1/12 > u?
True
Suppose w + 0 = 2. Suppose 0 = -w*g - 21 + 7. Let j = -6 - g. Which is bigger: j or 1/5?
j
Let b be (-280)/45 + 2/9. Suppose n = -0*n. Suppose -c = 3 - n. Which is smaller: b or c?
b
Let o = -1 - -1. Let d(r) = r**3 - 7*r**2 + 5*r + 4. Let v be d(6). Which is greater: o or v?
o
Let a = 5955/482927 + 2/6113. Which is smaller: 1/6 or a?
a
Suppose -10 + 0 = -2*k. Let m(p) = -3 - 6*p - p**2 + k - p + 0. Let r be m(-7). Which is greater: 2/3 or r?
r
Suppose b - y + 6 = 0, 3*y - y - 10 = 0. Which is smaller: b or -5/22?
b
Let z(v) = -11*v + 94. Let l be z(9). Which is smaller: l or -9?
-9
Suppose -5*v + 34 = 29. Let i(g) = g**3 - 3*g**2 + g. Let u be i(v). Which is smaller: u or -4?
-4
Let h be (1 + 0)/(2/4). Let o be ((-8)/(-44))/(h/20). Is o < 1?
False
Let c be ((-8)/(-3))/(20/(-60)). Which is smaller: c or -7?
c
Suppose -b = b. Suppose -v + 6*v = -2*h - 2, 0 = -3*h + 5*v + 47. Let r be 3/h + (-28)/48. Which is smaller: r or b?
r
Suppose -k - 15*k = 16. Let t = 1980 + -203938/103. Which is greater: k or t?
t
Let w = 35 - 8. Let t = 31 - w. Suppose -5*k - 29 = 3*z + 47, -t*z = 2*k + 22. Which is smaller: k or -16?
k
Suppose -6*t - 7*t - 494 = 0. Let c be ((-20)/(-250))/((-2)/(-10)). Is c equal to t?
False
Let c be (-3 - (-31)/9) + (-6600)/15336. Is -1 greater than c?
False
Let k = 569 + -565. Do 3 and k have different values?
True
Let c be 90/27*(-6)/12. Which is smaller: -3 or c?
-3
Suppose -5*p = y + 9, 0 = 5*y - 4*y + 3*p + 17. Which is smaller: y or -22?
y
Let a be (-513)/7 + (-5 - -2)*-1. Suppose -3*l = 2*b - 184 + 59, -l = -5*b + 355. Let z = b + a. Which is smaller: 3 or z?
z
Let c(b) = b**2 - 26*b - 46. Let f be c(31). Which is smaller: f or 113?
f
Let b(h) = -h**2 - 8*h - 3. Let u be b(-7). Let x be (-30)/u + 6 + (-83)/(-18). Is x equal to 3?
False
Suppose -2*d = -5*t + 12, -2*t + 0*d + 4 = -d. Suppose 0 = -2*x + 6 - t. Which is smaller: 4/19 or x?
4/19
Let g be (-6)/4*86/129. Is 2/589 bigger than g?
True
Let c = 59275/3143 - 132/7. Which is smaller: c or 2/11?
c
Let g be 2 + -1 + 0 - (-297)/33. Suppose g*a = -28 + 558. Is 53 >= a?
True
Let y be 2/(-6) + 47961590/1187496. Let f = y + 3/65972. Let c = f + -81/2. Which is smaller: c or -1?
-1
Let i = -0.12 + 0.142. Which is bigger: i or -0.2?
i
Suppose -352 = 3*g + 13*i - 14*i, 231 = -2*g - 3*i. Is 2 less than g?
False
Suppose -2*s + 5*z = 9, 5*s = 5*z - 0*z. Suppose -4*u + s*u + 2 = 0. Let i = 3 + -3. Is i not equal to u?
True
Let v(s) = -s**3 - 3*s**2 + s + 2. Let n = 19 - 22. Let k be v(n). Does 2/25 = k?
False
Let o = 25.766 + -1.766. Which is greater: o or 0.11?
o
Let f = -80 - 677. Is -758 smaller than f?
True
Let n = 19/175 + 8/25. Let z be -2 + (3/(-9) - -2). Is n greater than or equal to z?
True
Let p(g) = -177*g**2 + 5*g - 5. Let l be p(1). Which is smaller: l or -176?
l
Let l be (-7 + 5)/(6 + -4). Which is smaller: -14/101 or l?
l
Let h = -435 - -435.74. Which is greater: 0 or h?
h
Let t be (-1)/5 - (-324)/45. Let x be 717/5 + (t - 8). Let k = -143 + x. Which is bigger: 0 or k?
0
Suppose 2*o - 3*a = -7, 0 = 7*o - 6*o + 2*a. Is o < -33?
False
Let f be (-150)/60*(0 + -2). Suppose m - 2*q - 38 = 0, 75 = 4*m + 3*q - 44. Suppose 0 = -f*j + j - m. Which is bigger: -7 or j?
-7
Suppose -3*t + 4*o + 22 = 2*t, -o = -2. Let a be 9/t - (165/10 - 0). Which is smaller: -9 or a?
a
Suppose 10*w - 40 = 6*w. Let s be (w/15)/(2/18). Which is smaller: s or 4?
4
Let t = 98 - 62. Let v = -21 + t. Let x = -5 + 20. Is v < x?
False
Suppose -h = -8 + 4. Suppose -3*g = g + h. Let n = 21 - 9. Which is smaller: g or n?
g
Let q be (1 - -3)*9/12. Let a(t) = t**3 - 4*t**2 + 5*t - 3. Let s be a(q). Let z be s/(-6)*5 - -2. Which is greater: z or 0?
0
Let s = -10 - -10. Let q = -4 + 4. Suppose 3*m + 3 = -q. Which is greater: s or m?
s
Suppose 2*b - 38 = -4*h, 0 = h - 3*b - 0*b + 8. Let w be (-24)/(-42) + (-25)/h. Is -0.13 < w?
False
Let t(l) = -2*l**2 - 31*l - 114. Let n be t(-8). Is -8 equal to n?
False
Suppose -5*s = -5*p + 10, -2*p - 13 = s - 2. Suppose 4*c - 3*c = -3. Is p equal to c?
True
Let n = -100 + 107. Suppose -5*w - 15 = 5*c, -c - 4*w - n - 8 = 0. Which is bigger: 6 or c?
6
Let y = 0.75 + 5.25. Let l = -8 + 8.02. Let a = 0.08 + l. Is y at least as big as a?
True
Let g be (-4)/14 - 36/(-28). Let n be 20/(-14)*(-14)/(-35). Which is greater: g or n?
g
Let s be (6/(-4))/((-1)/((-1)/3)). Which is bigger: -2/291 or s?
-2/291
Let o = -2/589 - 565/7068. Let f be 3 - (7 + -4 + 34/(-120)). Let u = o + f. Which is smaller: -2/7 or u?
-2/7
Let v = -717.44 - -718. Is v != 0.8?
True
Let m be (-5200)/(-60) - 4/6. Suppose j = -5*f - 14, 4*j = -3*f - 2*f - m. Which is smaller: -25 or j?
-25
Let k(b) = -2*b + 13. Let g = -18 + 23. Suppose 4*l - g = 19. Let j be k(l). Which is greater: j or 1/3?
j
Suppose 56 - 34 = 4*a + 2*p, 0 = 2*a + 5*p - 31. Suppose -3*w = -2*q - 11, 4*q - 2*w + 22 = -q. Is q != a?
True
Suppose 0 = 8*c - 82 - 54. Is c greater than or equal to 21?
False
Let y = 1817 - 1816. Which is smaller: y or 20/67?
20/67
Suppose -3*u - 247 = -2*s, -5*u = -0*u + 5. Is 123 at most s?
False
Let t = -2705 - -64943/24. Let s = -1333/1416 + t. Which is greater: 0 or s?
s
Let v = 95 - 92. Suppose 2*g + 11 = v*g + 4*k, 3*k = 2*g + 11. Is g less than 1/89?
True
Let l = 1745/4 - 434. Let r be 15/(-6)*8/(-20). Is l at most as big as r?
False
Let j(r) = 3*r**2. Let w be j(-1). Suppose 0 = 4*d + 4*u - 32, 8 = 2*u - 2. Suppose -3*y + y + w = c, 5*c + 11 = d*y. Which is greater: 0 or c?
0
Let b(l) = l**3 - 11*l**2 + 8*l + 3. Let u(p) = p**3 + 2*p**2 - p + 10. Let r be u(0). Let h be b(r). Let v = h + 17. Which is greater: v or -1/3?
v
Let f(o) = -o**3 - 8*o**2 + 10*o + 7. Let x be f(-9). Let g(n) = n**2 - 2*n. Let l be g(x). Let c be ((-4)/l)/(3 + -2). Is 0.5 < c?
False
Suppose -83*p = -79*p - 32. Does p = 6?
False
Let a be -2 + (1 - 1/(-1)). Let q(u) = u**3 - 31*u**2 + 4*u - 120. Let l be q(31). Which is bigger: l or a?
l
Let u = -39632 + 198978/5. Which is smaller: 165 or u?
u
Let f(q) = 3*q**2 - 3*q - 3. Let z(w) = 7*w**2 - 7*w - 7. Let p(g) = 5*f(g) - 2*z(g). Let r be p(-2). Suppose 14 = r*t + 9. Is -1 greater than t?
False
Suppose -5*f = 84 + 176. Let x be 0/(-18) - f/(-22). Is x less than -1?
True
Let x = 3926/7083 + 1/787. Suppose 5*f + 4*z + 11 = 0, -5*z - 17 = -7*f + 10*f. Which is smaller: f or x?
x
Let f be 204/(-136) + (-678)/(-4) + 1. Which is smaller: f or 168?
168
Let v be (-10)/5*(-28642)/(-26). Let x = 2200 + v. Which is smaller: -3 or x?
x
Let o = 274.8 + -253. Let q = -1.1 - 20.9. Let p = o + q. Which is bigger: 0.03 or p?
0.03
Suppose -7*w + 1368 = -3*w. Let n = w - 237. Let f = -733/7 + n. Which is smaller: f or -1?
-1
Let k = 632336/5 + -125711. Let r = 752 - k. Which is greater: r or -5?
r
Let c(l) = 2*l - 2. Let r be c(3). Suppose 1 = r*s + 5. Let x = -0.14 - 15.86. Which is smaller: s or x?
x
Let u be 7232/6 - (0 + -3). Let f = -199423/165 + u. Let l = -1/5 - f. Which is smaller: l or 0?
0
Let a = -51 + 31. Let w = 15 + -15.1. Are a and w non-equal?
True
Suppose 2*r + 50 = -v, 3*v + 2*v + 4*r = -256. Let i be 2/15 - v/78. Is -2 at most as big as i?
True
Let f be ((-13)/6 - (-2)/3)/(-3). Let n = -368 + 250. Is n bigger than f?
False
Let u = -1448 - -27525/19. Are u and 0 unequal?
True
Let t(h) = h - 7. Suppose -4*a + 14 = 6*y - 4*y, 0 = -5*a - 4*y + 22. Let i be a/6*(-2 - -20). Let u be t(i). Which is greater: u or 0?
0
Let o = -3.89 - -0.59. Let q = o - -3.4. Is -10 less than q?
True
Let x = 36 + -40. Suppose 2*r = -3*s + 7*s - 12, 0 = -2*s + 4. Which is smaller: r or x?
x
Let r be (1 + -2)