or -20/19?
-20/19
Let h = 223 + -238.3. Let z = h + 15.4. Do z and -35 have different values?
True
Let g = 0.28 + -0.38. Let p = -8.93 - -9. Let y = g + p. Which is bigger: 0 or y?
0
Let w = -20.985 + -0.015. Let o = w + 20. Let k be 1 - 0 - (-1 - -2). Which is smaller: k or o?
o
Suppose -4*d = -3*u + 26, -3*u + 2*d - 8 + 42 = 0. Let g be 4/u + (-115)/35. Let x be g/(-3 + 21/6). Which is smaller: -7 or x?
-7
Let x be ((-87)/15)/(75/125). Which is smaller: 1 or x?
x
Let f be (-22)/(-11) + (9 + 0)*-1. Suppose -3*z + 53 = h, -3*z - 14 = -4*h - 42. Let c = 10 - z. Do f and c have the same value?
False
Let s = -13.8 - 0.2. Let u = 165 - 157.9. Let z = u - 7. Which is greater: s or z?
z
Suppose 5*t - 400 = -40. Suppose 19*a - 815 - 553 = 0. Is t at most as big as a?
True
Let k(c) = -14*c + 4*c + 1 + 9*c. Let m be 2/6*(0 + 3). Let j be k(m). Does j = -4?
False
Suppose -4*g + 5*t - 41 = 0, 4*g + 2*t + 35 = t. Let s = g - -5. Let c = -5.9 - -6. Which is smaller: c or s?
s
Let d = 715 + -2146/3. Which is bigger: d or -28?
d
Let x = 9.23 - 1.23. Is -6 greater than x?
False
Let p = -5 - -6. Suppose 3*x - p = 2*a + 12, x = -5*a + 10. Let l = 9 - 15/2. Is a not equal to l?
True
Let r = 0 + 1. Let p be (-8)/(-36) + 2822/18. Let c = p + -1411/9. Which is greater: r or c?
r
Let v be 2/(-28)*-6746 - 2/(-14). Is 483 at least as big as v?
True
Let x(b) = b**3 - 4*b**2 - 2*b - 7. Let s be x(5). Suppose 0 = 2*t - s, 2*t - 7*t + 2 = -3*u. Which is smaller: u or 14/3?
14/3
Let l(h) = 2*h + 1. Let g be l(5). Let t = g - 11. Suppose t*u = -3*u. Is u smaller than 2/11?
True
Let r = -284 + 5959/21. Is 0 at most r?
False
Suppose 0*m = 4*m - 64. Let h = -90 + m. Let g be h/(-10) + (-4)/10. Do g and 8 have the same value?
False
Let k = -4432 - -172837/39. Let t = k - -3/26. Is -1 smaller than t?
True
Let v = 4 + -2. Let n(r) = r**v - 8*r + 3 + r + 0*r. Let x be n(5). Is x bigger than -6?
False
Let v = 24931/25974 + 3/962. Which is bigger: v or 0?
v
Let g be 1/((-3)/(-6)) - -2. Suppose 0 = j + 2*u, g*j - 2*u = u - 33. Suppose -v - 4*y = -10, v - 4*y + 17 = y. Are v and j unequal?
True
Let r = 84 + -244. Let x = -225429 - -6983337/31. Let d = r - x. Is d != -1?
True
Suppose 0*u - 3*u + 4*g = -12, 0 = 4*u - g - 29. Let o = -3 - -4. Is o < u?
True
Let i = -16 + 25. Let g = 12 - i. Let c = g + -4. Is 2 bigger than c?
True
Suppose -2*j - 3*n + 16 + 9 = 0, -2*j + 5*n + 1 = 0. Let g be j/(-68) - (-614)/17. Let t = g - 46. Is t > -9?
False
Suppose -127*z - 115 = -104*z. Let c be 6/3 + -1*2. Suppose 7 = -u - c*u. Which is bigger: u or z?
z
Suppose -2*a + 35 = -7*a - w, 4 = -4*a + 4*w. Let z = a - 6. Let n be ((-7)/(-21))/((-2)/z). Which is smaller: 2/3 or n?
2/3
Let j = 5.95 - -0.05. Let p = -2/93 + -172/651. Are p and j non-equal?
True
Let o = 0.29 - 0.4. Let m = o - 2.69. Let y = 4.8 + m. Is y less than 2?
False
Let l = -11 + 11.085. Let q = l + 3.915. Which is smaller: q or 0.11?
0.11
Let k be 8/230*40/(-48). Let j be 12/(-16) + 3/4 - 1. Is k at least as big as j?
True
Let b = 1 - 7. Let o = -5.2 - b. Which is smaller: 0 or o?
0
Let l(x) = 12*x**2 - 11 - 20*x**2 - x**3 + 22*x - 15*x. Let w be l(-9). Let h be (2/(-5))/((-1)/20). Is h bigger than w?
True
Let l(s) = -8*s**2 - s. Let v be l(1). Let k(o) = o**3 + 10*o**2 + 10*o + 5. Let r be k(v). Let g be r/504 - (-4)/18. Are 1 and g equal?
False
Let k be 3 - (3 + -2) - 0. Let x be k/(-8) + 69/(-12). Let n be 3 + x - (-75)/27. Is n < 0?
True
Let y be (1 - 21)/((-2)/10). Are y and 101 unequal?
True
Suppose -17*m = -22*m + 1225. Suppose 107 = 8*o - m. Is o <= 45?
True
Let l be ((-3)/6*-2)/(-1). Let v be 0*1/2*l. Suppose -m + 4*i = 4, 3*m - 2*i + 2 = -0. Is v <= m?
True
Let z be 5/(2 + -1 + 0). Suppose 0 = -5*q - z, -c + 14 = -3*c + 2*q. Let k = -46 + 45.9. Which is smaller: c or k?
c
Suppose 0 = -2*j - 118 + 122. Let f be (2 + -1)/((-3)/(-15)). Let d(s) = -s + 8. Let v be d(f). Which is smaller: j or v?
j
Let n(v) = -v**3 - 4*v**2 + 6*v + 7. Let w be n(-5). Suppose 2*r - w = -2*h - 26, -5*h - 3*r = 52. Is h not equal to 0.2?
True
Let j = 1735/608 - 61/32. Is j at most -2?
False
Let j(h) = -h + 2. Let x be j(-2). Let i be (-1 - 1)*(-2)/x. Let d be -4*-3*(-4)/(-396)*-3. Is d greater than i?
False
Let k = 566 - 567. Which is smaller: k or 16/69?
k
Let z = 2260 - 2188. Is z greater than or equal to 71?
True
Let r be 4/6 + 2/(-2). Suppose -40*m - 8 = -44*m. Let j be (2 - ((-33)/12 + m))*-4. Is r equal to j?
False
Let h = -0.039 - -18.839. Let l = h - 19. Are l and -6 equal?
False
Let u(c) = -24*c - 170. Let l be u(-7). Which is smaller: l or -46?
-46
Let d(c) = c**2 + 11*c + 35. Let m be d(-15). Is 94 greater than or equal to m?
False
Let x(i) = i**3 + 9*i**2 + 8*i + 10. Let n(g) = g**3 + 13*g**2 + 12*g - 7. Let v be n(-12). Let b be x(v). Is 53 greater than b?
True
Let h = -1667 + 1653.06. Let c = h - -14. Which is bigger: 3 or c?
3
Suppose -m + 6 = 1. Suppose -3*g - 126 = -m*x, 18 = -3*x - 3*g + 84. Let p = -10 + x. Which is smaller: p or 15?
p
Suppose -4*t - 8*t = -36. Let m be 24/(-20)*(-40)/12 + t. Suppose a - u - 9 = -2*u, 4*a - 18 = 2*u. Do a and m have the same value?
False
Let p be (-6)/4*80/(-3). Let a = 43 - p. Let b be (a/6)/((-7)/(-14)). Which is greater: -16 or b?
b
Suppose -2*d - 3*k = 51, 3*k + 15 = -4*d - 78. Let z be (3 - 135/3)*(-7)/14. Let t = d + z. Is -3 > t?
False
Let h be ((-8)/(-12))/(71/6). Which is smaller: h or 1?
h
Let g be 172/2*(-1)/6. Suppose -n - 41 = -27. Is g at most as big as n?
True
Let i = -954 + 1677. Which is smaller: i or -1?
-1
Let t = -123/203 - -1/29. Let g = 29 - 64. Let r be (14/g)/((-1)/(-5)). Is r smaller than t?
True
Let o be ((-2 + 17)/(-5))/((-1)/(-678)). Let u be 10/65 + 0 + o/39. Do u and -50 have the same value?
False
Let b = -756.3 + 657. Let w = 99 + b. Is w smaller than -3?
False
Let g(f) = -3*f**2 + 16*f + 13. Let a be g(6). Which is smaller: -5/306 or a?
-5/306
Suppose 4*f + h - 62 = -0*f, 0 = 4*f - 3*h - 70. Let o be f/32*(1 + 1). Is o <= -3/40?
False
Let o(h) = -h**2 - 6*h - 3. Let a be o(-5). Suppose -4*g - a = 2. Let w be 0/2 + 29/174. Are w and g nonequal?
True
Let y = -60 - -60.24. Let o = y - 0.23. Which is smaller: o or -3/8?
-3/8
Let w be 2 - (3 - (-6)/(-3)). Let x be (38/(-532))/(-1 + 2). Are x and w non-equal?
True
Let z be (-1 - -9)/(-31 + 35). Which is smaller: z or -0.8?
-0.8
Let j(w) = 3*w**2 + 6*w - 33. Let y be j(6). Which is smaller: y or 112?
y
Suppose -4*k + 6*k = -3*k. Let h(j) = j - 3. Let v be h(6). Suppose 2*c + v - 1 = k. Which is greater: c or -12/11?
c
Let c = 0.455 - 0.355. Which is smaller: 2/43 or c?
2/43
Suppose 0 = -4*j + 3 + 1. Suppose -10*v = -7*v + 66. Let c be 3*(-4 + v/(-6)). Which is bigger: j or c?
j
Let s be ((-4)/((-4)/(-3)))/(-1). Suppose 4*g - s*z = 17, -2*g + z - 4 = -3*z. Let a(x) = 3*x - 25. Let b be a(11). Is b not equal to g?
False
Suppose -2*i = -5*p - 43, 5 + 18 = i - 3*p. Let g = 25 + -10. Let m = g - i. Is -2/5 at most m?
True
Let o = 19468/423 - -260/47. Is o bigger than 53?
False
Suppose o = -5*i - 548, 5*o + 651 - 221 = -4*i. Is i < -110?
False
Suppose 0 = -2*z + 3*c + 125, -15*c = -14*c - 1. Are z and 66 non-equal?
True
Let m be 1 + (3 - 28)/5. Let z be (-45)/51 - m/(-34). Is -3/17 greater than z?
True
Suppose 2*i = 8 + 6. Let q(b) = -b**2 + 6*b - 2. Let p be q(i). Let t be 16/(-40) + p/(-30). Which is smaller: t or 0?
t
Let o = 113 + -244. Is o greater than or equal to -131?
True
Suppose 0 = -4*l - 1 - 3. Suppose -2*g - 42 = -2*u, -5*g + 0*u - 132 = 4*u. Let v be (-36)/g + (-107)/74. Do v and l have the same value?
False
Suppose 3*n - n + 393 = -5*w, -5*n + 134 = -2*w. Is -78 bigger than w?
False
Let d = 739 + -1307. Is -569 at most d?
True
Let z = 52453/8 - 6548. Is 9 at most z?
False
Suppose -231 = -d - 221. Let s = -0.2 - 0. Let i = -0.2 - s. Are i and d nonequal?
True
Let n = -35.88 - -36. Which is greater: -27 or n?
n
Suppose -2*n - 1 - 9 = 0. Suppose 63 = 13*r + 11. Suppose o = r*d - 24, 30 - 16 = -o + 2*d. Which is smaller: n or o?
n
Suppose -3*y - v - 56 = -747, 0 = -5*y + v + 1149. Let g = y + -6669/29. Is 1 at least as big as g?
True
Let z = 659 + -56673/86. Let p = z - -163/774. Which is smaller: p or 0.11?
0.11
Let x be -2 + 1*39/(-3). Let n = x + 14. Let c = -13/2 + 20/3. Which is smaller: c or n?
n
Let a be 2