Suppose -2*c + 2*d = 7846, -910*c - 7832 = -908*c + 5*d. Is c at most as big as -3922?
False
Let o = 2971.3 - 2367.45. Let r = o + -604. Which is greater: r or -16?
r
Suppose -64*v - 67*v = -126*v + 5. Is -1/2893 greater than v?
True
Let r be (-16)/20*55/22 - 101*-5. Which is bigger: 1511/3 or r?
1511/3
Let o(w) = 3*w - 3*w + 257 - w + 0*w - w. Let v be o(0). Which is greater: -2/5 or v?
v
Suppose -5*f + 35 = 30. Let m = -14 - -9. Let b be 1/m*25/(-40). Does f = b?
False
Let q(s) = s**3 - 5*s**2 - 5*s + 31. Let l be q(6). Let a = 6947551/183906 - -1/20434. Which is greater: l or a?
a
Let a be 8/6 - 111/74*50/45. Is 124 >= a?
True
Suppose 36*f + 262 = 32*f - 3*b, 2*f + 164 = 4*b. Which is bigger: -77 or f?
f
Suppose -230 = -q - q - 3*h, q + 3*h - 115 = 0. Let z be 23/(q/30) + 1. Which is smaller: 62/9 or z?
62/9
Let v be 1072/66 + -22 + (-322)/(-23). Which is smaller: 9 or v?
v
Let j = -16849 - -16911. Let u = 6 - 6. Which is smaller: j or u?
u
Let z = 9473.5 + -9473. Which is smaller: 0.081 or z?
0.081
Let d(v) = 9*v - 105. Let q = 184 - 173. Let l be d(q). Which is bigger: -3 or l?
-3
Let f be (-2)/5*(15486/(-12) - -6). Let j = 512 - f. Let i be (12 + -10)*(-3 + 2). Which is greater: j or i?
j
Let d = 10634/37121 - 4/5303. Which is greater: 5796 or d?
5796
Let n be 2/3 - (11802/(-9))/7. Suppose -n*s + 156 = -191*s. Which is smaller: s or -53?
-53
Suppose 5*n + 16 = -19. Let b be (4/(-852))/(n/42). Let o = 15 - 16. Which is smaller: b or o?
o
Suppose 6*v = 3*v - 6, -5*q - 4*v = 53. Let t be 6/(-4)*17/(816/128). Which is bigger: t or q?
t
Let b(u) = -3*u**2 - 3*u + 3. Let z be b(-3). Let k be (72 - (-19 + 56)) + -31. Is k < z?
False
Suppose -320 = -2*p - 3*k + 59, 0 = -5*p - 4*k + 937. Let f = p + -210. Which is smaller: -23 or f?
f
Suppose -43*q + 4*z + 1292 = -48*q, -4*q = -3*z + 1046. Are -258 and q unequal?
True
Let y be (-25)/(-4)*(18 + -6). Let o = -73 + y. Are o and 19/12 non-equal?
True
Suppose 57*d - 60*d = -2*j + 40, 5*j - 90 = 5*d. Let t = 83/10 - -31/5. Is t >= j?
True
Let g = -113/164 + 31/164. Is g >= -0.0259?
False
Let s = 18.21 + -2.21. Let c = -6.24 + -9.82. Let b = c + s. Which is smaller: b or -8?
-8
Let r = 20 + -22. Let o be 56/21 + r/3. Suppose -o - 6 = 2*b, 3*b + 42 = -2*g. Do -14 and g have the same value?
False
Let p = -0.0156 - 22.2844. Let l = -22.12 - p. Is l > 0?
True
Let q(g) = g**3 - 3*g**2 - 9*g - 10. Let c be ((-3)/4)/(51/(-24) + 2). Let m be q(c). Let i = m - -13. Is 58 < i?
False
Suppose 2*z + 8 = 4*j, -5*j + 4 - 12 = 2*z. Let m = 2 - j. Let u be 15940/340 - m/(-17). Is u at most as big as 48?
True
Let q = -1 - -1.4. Let j = -101.9 + 126.9. Is j less than or equal to q?
False
Let g = -1/22530 - -24943/54364890. Is g > -1?
True
Let y = -277 - -276.95. Let f = 362 - 351.94. Let c = f - 10. Which is bigger: c or y?
c
Let m(n) = 109*n - 341. Let u be m(3). Is 4 equal to u?
False
Let j = -636 - -655.3. Let o = 362.3 - j. Which is bigger: -2/7 or o?
o
Suppose 6*z + 767 - 935 = 0. Suppose -b - y - 1 = 0, 4*b - 5*b + 3 = 2*y. Does b = z?
False
Suppose 3*v - 2*c = 16, -4*c + 8 = -v - 0*c. Suppose 31*r - 26*r = 290. Let i be r/8 - (-9)/(-12). Is i <= v?
True
Let a = 102 + -97. Let l = a - 4. Which is smaller: 3/22 or l?
3/22
Let z(g) = 26*g + 153. Let f be z(-5). Let o be ((-2)/6)/(f/(-759)). Is 2 > o?
False
Let i = -328 - -540. Let w = -117 + i. Is 95 at least w?
True
Let u be (40/(-70))/((-10)/35). Suppose -u*i = -s - 3, 2 = -i - 0*s - 3*s. Let x be 16/126*1/4. Which is bigger: x or i?
i
Let c = -25409 + 25409. Which is smaller: c or -2/45?
-2/45
Let c(a) = a**2 + 3*a + 3. Let u be c(-2). Let w = 5/56 - -639/1624. Which is smaller: w or u?
w
Suppose -20*g - 26009 = -3*g + 14*g. Do 2/7 and g have different values?
True
Let i = 33178 + -32863. Is 287 at least as big as i?
False
Let y be 4*(-2)/(-20) + (-647)/(-20). Let l = 63/2 - y. Which is greater: 0 or l?
0
Let o = 9389.84 - 9389. Do o and -2/9 have different values?
True
Let i = 6512821 + -911756837/140. Let m be (3 + 0 + 8 - 8) + (-1077)/(-4). Let r = i - m. Which is smaller: r or 0?
r
Let u be (-584682)/1461780 - (16/(-5))/8. Is 1 < u?
False
Let c = 1920.1 - 1920. Which is smaller: -12/25 or c?
-12/25
Let u = 733 - 706. Is 58 at least as big as u?
True
Let s = 16021 + -15815. Do s and 1864/9 have different values?
True
Let k = 0.544 + -0.48. Let j = 26.464 + -26.9. Let m = j - k. Which is smaller: -2 or m?
-2
Suppose -2*n = -10 - 0, 4*q - n = -481. Suppose 7*h - 7732 = -8551. Which is smaller: h or q?
q
Suppose -2*i = n + 7, 3*n + 2 = -5*i - 17. Let g be (60/7)/(-5) - i. Which is bigger: 115 or g?
115
Let u be (356/48)/(33/1320). Which is bigger: 296 or u?
u
Let x be -15 - (-3 + 2289) - (-5 - -1)/2. Is -2299 < x?
False
Let h(k) = k**2 + 2*k + 1. Let a be h(-1). Let s = 109 - 109.88. Let d = 1.06 + s. Which is smaller: a or d?
a
Let u be (-19)/(0 - 19) + -642. Is -6417/10 equal to u?
False
Let c(x) = 2*x**3 + 6*x**2 - 13*x + 14. Let p(i) = -i**3 - 7*i**2 + 12*i - 15. Let d(f) = 2*c(f) + 3*p(f). Let g be d(8). Is -154 > g?
False
Let c = 0.027 - 0.027. Let o = -26 + 26.26. Let d = o + -11.26. Is c equal to d?
False
Suppose -6 = 3*a + 2*u, u - 3*u - 4 = 2*a. Let g be a*(-12)/8 + 44. Let m = g + -49. Is 6 at most as big as m?
False
Let c = 12 + -10. Let n(j) = j**2 - 4*j + 9. Let w be n(3). Suppose l = w*l + c*u + 71, -5*l + u = 77. Do -15 and l have the same value?
True
Let d = -76 - 150. Let m = d + 226. Do m and 3/181 have different values?
True
Let p(b) = -24*b**2 + 320*b - 36. Let s be p(21). Is -3903 at most as big as s?
True
Suppose 2851*c = 2863*c - 100728. Is 1 less than c?
True
Let s(c) = -2*c**2 - 17*c - 11. Let l be s(-8). Let j be (0 + -4)*(l + -2). Let u = j - 34. Which is greater: u or -15?
u
Suppose -k = -6*c + 3*c - 1, -5*c + 1 = -3*k. Which is bigger: 13/161 or c?
13/161
Suppose -17 = -2*b + l, -30 = -4*b - 0*l - 2*l. Let o be (10/(-4) - 2/(-4)) + 3. Suppose 7*t = o - b. Which is smaller: -4/5 or t?
t
Let h(t) = t**3 + 9*t**2 - 23*t - 8. Suppose 0 = 2*s - 2*c + 32, -3*s + 4*c - 39 = 14. Let i be h(s). Which is smaller: i or -8?
-8
Let x(j) = -j**3 + 13*j**2 - 38*j + 28. Let o be x(10). Which is bigger: -46 or o?
-46
Let m = 251 - 203. Let p be (-3 + m)*(-8)/(-20)*-3. Which is greater: p or -55?
p
Let l = 2.267 - 2. Let i = l + -0.167. Which is smaller: i or -3.81?
-3.81
Let l = -1337.04 - -1373. Let v = 26 - -10. Let n = v - l. Is -3 at most n?
True
Let a be ((-9)/20)/((-10860)/39350). Let m = -13/8 + a. Which is smaller: -1 or m?
-1
Let a be (-287)/6150*(-20)/35. Is a at most -14?
False
Suppose -5*l - h + 5 + 2 = 0, -9 = 3*h. Suppose -5*k + 46 = q, 77 = l*q - 4*k - k. Are 41 and q equal?
True
Let s be 7 + -2*251/60. Let g = s + 359/30. Is g > 11?
False
Let y be (-15)/(-90)*(-1 - 81). Let q = 8 + y. Let x = 56/9 + q. Is -1 not equal to x?
True
Let z = -12.9 - 0.4. Let t = z + 15.3. Is t < -29?
False
Let o = 8.514 - 8.314. Is 0.382 > o?
True
Let i = 0 + -2. Let h(b) be the third derivative of -b**6/120 + b**5/12 - b**4/12 + 7*b**3/6 - 73*b**2. Let f be h(5). Which is smaller: f or i?
f
Let z(i) = 11*i**2 + 38*i + 6. Let d(o) = -5*o**2 - 19*o - 3. Let v(h) = -13*d(h) - 6*z(h). Let r be v(19). Let w = 2573 - 23137/9. Is w >= r?
False
Let j = -2351 - -2416. Which is bigger: 64 or j?
j
Let z(t) = -t**2 + 5*t + 2. Let j be z(5). Let c be j/8 + (-62)/(-8). Suppose -r = r - c. Which is bigger: 0 or r?
r
Let d(o) = -25*o**2 + 130*o. Let s be d(6). Is -118 less than or equal to s?
False
Let w(h) = -3*h**2 + 33*h + 197. Let l be w(-14). Is -851 >= l?
True
Let l be 41030/(-330)*318/2*1. Which is greater: -19768 or l?
-19768
Let a be ((-2)/(-12))/((-2)/(-8)*2). Let q = -0.0342 + 6.6442. Let f = q - -0.39. Is a smaller than f?
True
Let g(m) = -m**2 - 10*m - 13. Let v be g(-7). Let s = -20 + v. Let o = -61/5 - 3/10. Which is greater: s or o?
s
Suppose 5*z = -4*p + 861, 3*p + 0*z = 5*z + 602. Which is smaller: 211 or p?
p
Let w be (6/5 - 36/180) + 2717/(-2783). Which is smaller: 1 or w?
w
Suppose -39*c = d - 34*c - 3, -2*c = 4*d - 12. Let v be (2/(-4)*-4)/(-5). Which is smaller: v or d?
v
Let c = 70 + -73. Let o be ((-40)/c)/((-2)/(-3)). Suppose 0 = 2*l + g - 1, -5*g = -5 + o. Do l and 1/2 have the same value?
False
Let c(a) = a**2 - 20*a - 9. Let b be c(13). Le