e c(3). Is y bigger than z?
True
Let c = -419 - -418. Do c and -823 have the same value?
False
Let k = -10793/120 - -452/5. Is k at least -1?
True
Suppose -13*y + 115 = -8*y. Let g = 3370823/71340 - 2/17835. Let t = 47 - g. Does y = t?
False
Let w = -61 - -74. Let d = -3.3 + -9.3. Let m = d + w. Which is smaller: -1/2 or m?
-1/2
Let b = 112839098573/290 + -1944112628/5. Let q = -277814 + b. Let s = -6/29 + q. Is 1 at most s?
False
Let m = -13.07 + 13. Let k = -51.37 + 51. Let c = m - k. Which is greater: -0.2 or c?
c
Let z(a) = -3*a - 3. Let w be z(-6). Let f be (10/2)/(2/6). Let u = w - f. Are u and -1 equal?
False
Let o = 25 - 43. Let g be (-6)/(-8)*o/27. Let v be 2/(-9) - 16/9. Are v and g nonequal?
True
Let g = 25/44 + -9/11. Is -97 greater than or equal to g?
False
Let m = -664 + 664.7. Do -0.05 and m have the same value?
False
Let r be (0 + 0/4)*1. Let w be r + (6 - (1 + 1)). Let y be (w/16 - 0)*2. Is y equal to 0.1?
False
Let s be (-2)/6 + (-4)/(-3). Let w be s*(1 + (-3 - -3)). Let i be 2*(2/w)/(-4). Which is smaller: i or -2/7?
i
Let z = 10243 + -10241. Let w be 0/(-2) - 3/(-4). Let q = -1/12 + w. Is q less than z?
True
Let u be -5 - 3/(-6)*-226. Let o = u - -118. Is -1 less than or equal to o?
True
Suppose 10*r - 9*r = 9. Is 16 bigger than r?
True
Let w = -45.55 + 0.55. Let o = -44 - w. Is 31 less than o?
False
Suppose 2*l - 6*l - 4 = 0. Let j be 2/l - (-85)/35. Let k(x) = x - 2. Let w be k(2). Which is greater: j or w?
j
Suppose 3*s - 975 = 5*u - 2*s, 205 = -u - s. Which is smaller: -2 or u?
u
Let m be 335 + 88 + ((-1)/1 - -2). Which is smaller: m or 422?
422
Let t = -488 - -482. Let p be ((-15)/(-12))/((-2)/8). Which is smaller: p or t?
t
Let w = 1372 - 1372. Is w greater than or equal to 4/1701?
False
Let a = 1242 + 1110. Let j be 390/a + (-1)/(-4). Let d = 2/49 - j. Is 0 greater than d?
True
Let a(o) = -o**2 + 30*o + 65. Let p be a(32). Do 2/309 and p have the same value?
False
Suppose 3*z + 135 + 48 = 0. Let v(y) = 5*y - 12. Let f be v(-10). Which is smaller: z or f?
f
Let h = 46 + -8. Let p = -44 + h. Which is smaller: 0.4 or p?
p
Suppose 2*m = 4*x - 16 - 20, -4*m - 48 = -5*x. Suppose 12*l + 4 = x*l. Let z = -13 - -10. Are l and z nonequal?
True
Let k be -6 + 5/15*(-186)/(-10). Which is bigger: k or -7?
k
Let f = 26 + -18. Let g = 8 - f. Is g <= -2.1?
False
Let z = -283.1 + 283. Which is smaller: z or 30?
z
Let h be ((-12)/8)/((-6)/8). Let j be h/3 - 51/36. Which is bigger: -5 or j?
j
Let x = -14.8 + 2.8. Suppose -118 + 15 = 4*z + 5*c, 0 = z - c + 28. Let k = z - -82/3. Is k < x?
False
Suppose 2*k - 101 = 3*w, 0 = -k + 5 - 7. Which is smaller: -11 or w?
w
Let a = 0.13 - -0.17. Let d = -6.7 - a. Is -2 smaller than d?
False
Let u = -7 - -6.45. Let d = 0.35 - u. Do 0.1 and d have the same value?
False
Let d = -352 + -189. Is -0.1 at most as big as d?
False
Let z(r) = 17*r - 6. Let m(i) = 6*i - 2. Let j(k) = -8*m(k) + 3*z(k). Let s be j(1). Suppose -3*h + 0 - 3 = 0. Is h < s?
True
Let w be 30/20 - (-2)/(-4). Let c be (1 + (-20)/25)*(w + -8). Which is greater: c or -1?
-1
Let d be 1/(-3) - 218/3 - 2. Let r be (-5)/(d/20)*1*-6. Which is bigger: r or -31/4?
-31/4
Let o = -1337 + 1420. Which is greater: o or 671/8?
671/8
Suppose -26*d - 1860 = -14*d. Is d at most as big as -154?
True
Suppose -4*h - 4 = 4. Let q be h/8 - (-2 - -2). Suppose 4 = -g - g - 2*k, -g + 3*k + 6 = 0. Which is smaller: g or q?
q
Suppose -19 = -w + l, 16*l - 13*l = 2*w - 43. Is -15 smaller than w?
True
Suppose 11*l = -4 - 29. Are -6 and l unequal?
True
Let l = -3533/10 - -6857/40. Let q = 388501/2136 + l. Let c = 2146/1335 - q. Is c smaller than -2/7?
False
Let r be (-4)/(-14) - (-528)/14. Suppose 3*p - r = -2*g, -3*p + 3 = 5*g - 20. Is 0 greater than p?
False
Let q(b) = -b**2 - 4*b - 10. Let s be q(6). Let u = 60 + s. Do -65/6 and u have different values?
True
Let x(l) = -l**3 - 8*l**2 + 8*l - 4. Suppose 7*t + 4 = -59. Let k be x(t). Suppose -k*r - 31 = -4*g, -3*r = -4*r - 4*g + 13. Is r != -2?
True
Suppose -c = d + 2 - 0, -12 = -2*c + 2*d. Which is greater: c or 21?
21
Let n = 269 - 203. Which is greater: 65 or n?
n
Suppose -3*h + 26 = -4*x, 5*h - x - 15 = -0*x. Let g be h - ((-6)/(-10) + (-5412)/(-3780)). Which is smaller: 1 or g?
g
Let s = 0 + 0. Let o = 1 - s. Let w = -88/5 - -87/5. Which is smaller: o or w?
w
Suppose 190 = -2*l + 7*l. Let i = -38 + l. Which is smaller: 2/45 or i?
i
Let d be 11/((-1 - 0) + 2). Suppose -m = -d*m + m. Which is smaller: m or 22?
m
Let f(r) = 3*r**3 - r - 3. Let q be f(-3). Let j be (819/12)/(-7)*(-78)/9. Let z = q + j. Is z at least as big as 5?
False
Let v be 4/2*(399/(-6))/7. Suppose 4*y = -29 - 39. Is v smaller than y?
True
Let f = 1/303 - 3341/2424. Suppose 2*k = -2*i + 6, 0 = 2*i - 4*k + 3*k + 9. Is f not equal to i?
True
Let n = 1043/5 + -11368/55. Suppose -5*p = 5, o - 3*p + 1 = 7. Which is smaller: n or o?
n
Let j(v) = -v - 4. Let o be j(-5). Let b be (-5)/(-2) + (-6)/(-12). Suppose 4*t = p, 4*p - b*p = -4. Is o < t?
False
Let j = 22165/4 + -5541. Suppose 2*l - 5 = -i - l, 0 = -4*i - 2*l + 10. Suppose 0 = -i*v + 2. Is j greater than v?
False
Let f be ((-2)/3)/((-170)/975*-5). Which is smaller: -2 or f?
-2
Let f = -699/5 - -64967/465. Is -1 >= f?
False
Let s = 388 + -5047/13. Suppose 4 = -3*i + 1. Let v be ((-1)/(-2))/(i/2). Are s and v nonequal?
True
Let n(c) = 24*c + 68. Let b be n(-3). Which is smaller: 0.07 or b?
b
Let p be (-6)/14 - (-1182)/1680. Let z be 3 - (66/16 + -1). Let i = z - p. Which is greater: i or 0?
0
Suppose -26*h - 83 = -31*h - s, -5*s = 5*h - 95. Is 17 greater than h?
True
Let f(w) = w. Let d be f(-4). Let a be (d + (-25)/(-6))/(-1). Which is smaller: a or 3?
a
Let i(p) = 27*p + 328. Let q be i(-18). Is -157 at least q?
True
Suppose -4*p = -21*p + 1462. Which is greater: p or 85?
p
Suppose 0 = 3*i - 6*i. Suppose -3*w - 12 - 24 = i. Let k = w - -13. Is k bigger than 4?
False
Let b = 7.8 - 0.1. Let a = b + -0.7. Let o = 8.1 - 8. Which is greater: o or a?
a
Let q = -728 - -811. Does q = 88?
False
Let p = -0.067 - 0.033. Is p less than or equal to -9?
False
Suppose 5*x - 4*x + 1 = 0. Let w = -9 - x. Let a be ((-15)/w)/(-5)*2. Is a > -2?
True
Let y(f) = -16*f + 2. Let q be y(2). Let k be (-4)/q*(-10)/(-6). Let c(r) = 53*r - 159. Let z be c(3). Is k < z?
False
Suppose 4*d + 25 = -3*j - 2*j, -2*d = -3*j + 7. Let g be (-8)/42*16/32. Which is greater: g or j?
g
Let l = -201/3248 - -1/58. Let b = l - 1/16. Which is smaller: 0 or b?
b
Suppose 0 = -4*z - 65 - 95. Suppose 9*f - 238 + 589 = 0. Which is greater: z or f?
f
Suppose 7 = -0*n + n - 2*h, 5*n = 3*h. Let y be 1*n + 1/((-6)/(-22)). Which is bigger: y or -1/17?
y
Let a = -0.2 - -15.2. Let m = -14 + a. Let k be (-7)/35 - ((-96)/(-10))/(-3). Is m equal to k?
False
Suppose 6 = -q - y, 2*y = 2*q - 3 - 1. Let s be 749/(-35) - q/5. Let l = s - -41/2. Do 0 and l have the same value?
False
Let b = 10 + -2. Let u be (-6 + b)/(133/(-2)). Let t = 6/19 + u. Does t = -0.2?
False
Let j be (-2)/(-4) - 21/(-2). Let t = j - 2. Suppose 70*x - 297 - 36 = 227. Are t and x nonequal?
True
Let b = -1.1 - -0.86. Let p = b + -1.76. Is p at most 2/7?
True
Let w(m) = -m**3 + 4*m**2 - m + 1. Let l be w(4). Let i = 112 - 119. Which is bigger: i or l?
l
Let s(t) = t**3 + 7*t**2 - t. Let w be s(-6). Suppose -w = 2*n + 2*q, -q = -2*q + 3. Are n and -25 non-equal?
True
Let x be -8 + (-2655)/(-35) + 3/21. Is x greater than 68?
False
Let d be 3/18 - 21/54. Suppose 0 = 3*g + 6, p - 4*g = g + 14. Let t be p/(-6) + (-3 - -5). Which is bigger: d or t?
t
Let z(w) = -w**2 + 12*w - 36. Let t be z(5). Is t > -48/31?
True
Let o = -15 + -8. Are o and 0 unequal?
True
Let b be ((-8)/10)/(-6 - 1074/(-180)). Which is smaller: 22 or b?
22
Suppose -109 + 259 = 2*i. Let d be 62/(-80) + 30/i. Let u be (-1)/4 - (-1)/4. Which is bigger: u or d?
u
Let k be 127/(-4) + (-20)/80. Let m be (6/9)/(-1 + k/(-3)). Which is greater: 0 or m?
m
Let m = -26.9 + 27.9. Which is greater: 12 or m?
12
Let z = 80 + -79. Suppose 5*v + c + z + 13 = 0, 3*v - 4*c + 13 = 0. Let r(t) = t + 1. Let j be r(-3). Which is greater: v or j?
j
Let w = -1608 + 1590.86. Let s = w - -17. Let a = s - -8.14. Which is smaller: 0.1 or a?
0.1
Let j = -7/4 - -5/4. Let t = 34.03 + -34.5. Does t = j?
False
Suppose 6 = 2*v - 0*v. Let a be (5 + 0)*3/5.