r: w or -3?
-3
Let j = 1.2 + -0.2. Suppose -2*f - 4*w = -30, -2*w = 2*f - 17 - 19. Let i be (-6)/f + 32/63. Which is smaller: j or i?
i
Suppose 5*q - 4*x - 32 = 72, x + 116 = 5*q. Which is bigger: q or 23?
q
Let o be 11/(-21) - 1/3. Which is smaller: o or 0?
o
Let r = -190 + 190. Which is greater: r or -37?
r
Let m = 4.3 - 0.3. Let v = -1.4 - 0.6. Let i = m + v. Is -0.1 != i?
True
Let a = 52 + -38. Are a and 12 nonequal?
True
Suppose -4*t - 6*b = -8*b + 8, -3 = -3*t - 3*b. Let h = 3 + -2. Is t less than h?
True
Let n be 0/2*3/(-6). Let w = -17.91 + 18. Do w and n have different values?
True
Let b be (-6)/(-10) - 45/75. Which is bigger: -1/6 or b?
b
Let m(j) = -j + 5. Let p be m(6). Let s be 10/(-40) - 18/(-136). Is p > s?
False
Let s = 57 + -61. Is 26 < s?
False
Let k = -321/4 - -81. Is 0 at most k?
True
Let g(z) = 5*z - 6. Let y be g(0). Do y and -26/5 have the same value?
False
Let i be ((-1)/(-5))/(0 + 1). Let m = -0.1 - -0.06. Let g = 0.14 + m. Which is smaller: i or g?
g
Let d be 7*4/126 - (-124)/9. Which is greater: d or 13?
d
Let j(l) = -2*l - 13. Let o be j(-6). Let d(t) = -t**2 - 1. Let a be d(o). Is a < -5?
False
Let f be -4*(5/2)/(-5). Suppose 2*p + f = -0. Let g = -8 + 6. Is p <= g?
False
Let n = 10 - 8. Suppose 0 = -3*t + 4*l - 26, l - n = -3*t - 3. Let o be ((-3)/t)/(114/(-8)). Which is smaller: o or 1?
o
Suppose x + 1 = -27. Let z be (-6)/x - 1/2. Which is bigger: 3 or z?
3
Let c = -148 + 1334/9. Let h = -3 - -7. Suppose 13 = -3*x - 5*b, 2*x = -2*x + h*b + 4. Is c less than or equal to x?
False
Let c = 26/33 + -5/11. Suppose -x - 30 = -6*x. Let u = x - 7. Is u >= c?
False
Let j be (-231)/49 + 2/(-7). Let m(x) = x + 7. Let o be m(j). Suppose -3 = w - 4*w. Which is smaller: w or o?
w
Let b be (-8)/28 - 13/28. Let j(g) = -g**2 - g + 2. Let v be j(1). Which is greater: v or b?
v
Let y(l) = -l + 7. Suppose 2 - 17 = -5*z. Suppose z = v - 2. Let w be y(v). Is 0 >= w?
False
Suppose -p = 3*p. Let k be ((-6)/(-9))/(10/6). Is k bigger than p?
True
Suppose -3*d + 23 - 26 = 0. Let a be (-2)/4*8/62. Which is smaller: d or a?
d
Let i = 204/905 + -36523/167968. Let q = i - -7/160. Let h = q + 53/1218. Which is smaller: -1 or h?
-1
Let n = 0.19 - 1.19. Which is greater: n or -2/3?
-2/3
Let u(n) = -26*n**2 + n - 1. Let z be u(1). Let f = 46 + z. Suppose 0*i - i = 4, 5*i = -4*w - f. Which is smaller: 0.6 or w?
w
Let t(s) = s**3 + 5*s**2 - 7*s - 2. Let v be t(-6). Let l be (-5)/20 + (-15)/v. Let k be (-21)/45*l/14. Which is bigger: k or 0?
k
Let t be (3/14)/(3/4). Let f be 1 - (-2 - 0 - -7). Let r be f/(-2)*(-4)/12. Which is smaller: r or t?
r
Let k(w) = -2*w**2 - 11*w - 9. Let s be k(-10). Which is smaller: -100 or s?
-100
Suppose -7*m + 3*m + 16 = 0. Suppose 4*g + 4 = m*j, 2*j + 3*g = -0*g - 23. Let t(w) = -w**3 + w**2. Let x be t(2). Is j <= x?
True
Let m be ((-1)/(-6))/((-3)/(-9)). Let b be (2/(-9) + 0)*(-87)/(-58). Is b at most m?
True
Let p = 0.23 + -0.03. Which is smaller: -40 or p?
-40
Suppose 0*b - 4*b = f, -2*b - f = 0. Let j = -2 - b. Is -1 > j?
True
Let c = -795 + 54857/69. Is -1 at most as big as c?
True
Suppose -20 = -t - 19. Let m be -5*(124/(-65) - -2). Which is smaller: t or m?
m
Let i = 1700798283/767 - 2217468. Let m = 7/59 - i. Are 0 and m nonequal?
True
Suppose 2*q = q - 5*h + 15, 15 = 5*q + 5*h. Let i = -1.5 + -14.5. Let b = 16.1 + i. Which is bigger: b or q?
b
Let l = 109/1380 - -5/92. Which is smaller: l or 0?
0
Suppose -11*n + 6*n = 0. Let u be (39/182)/((-3)/(-4)). Are u and n unequal?
True
Suppose 0 = -4*o + 20, -3*m = 2*m + 5*o - 20. Let t = 1.35 - 0.6. Let y = t + -0.05. Is m < y?
True
Suppose 3*p - 2*p = -4*l - 15, 5*p = -15. Let d be 1*(l/1)/(-6). Is 2 >= d?
True
Let r = 0.15 + 5.85. Is r bigger than -2/7?
True
Suppose -2*m = 3*c + 5 + 14, -2*c = -5*m. Which is bigger: -3 or m?
m
Let j = -32 - 3. Which is greater: j or -38?
j
Let a be -7 - -37 - 1/(-1). Suppose 3*d = 5*s + 25, 5*d = -2*s + 2*d - a. Which is smaller: -7 or s?
s
Let g be 0/((-4)/(-2)*-1). Let w be ((-63)/(-42))/(63/4). Is g less than or equal to w?
True
Let c be (-3 + 3)*(-7)/(-21). Let n = -5/24 - -83/168. Which is smaller: c or n?
c
Let z be 0 + 0 + (0 + -5 - -2). Is -0.03 equal to z?
False
Let o be (-256)/(-198) + 2/(-11). Let x be (8/(-12))/(4/(-6)). Is x smaller than o?
True
Let b be (0 + 3)*4/3. Let l be 24/108 - b/18. Which is smaller: -2/35 or l?
-2/35
Let f = -9/91 - -2/91. Which is smaller: -1 or f?
-1
Let w = -27.5 + 25.49. Let p = w - -0.01. Let q = -0.13 + 1.13. Which is smaller: q or p?
p
Let u = -21 - -9. Let o = u + 10. Is 2/7 less than or equal to o?
False
Suppose -3*x = -x - 4. Suppose -2*z = v - 8, 8 = 3*v - 5*z + 17. Suppose 0 = -x*s + v. Is 1/7 > s?
False
Suppose 0*t + 2*t = -p + 43, 4*p = 2*t - 18. Is t at most as big as 17?
False
Let t(o) = -o**3 - 7*o**2. Let a be t(-7). Let k be (-6621)/(-45) - -1 - 0. Let u = k - 148. Are u and a non-equal?
True
Let y(f) = 6*f - 2. Let v be y(1). Suppose -6*s = -v*s - 44. Which is smaller: 21 or s?
21
Let f = 473/5 - 95. Are f and 2 unequal?
True
Suppose -j = j + 4, 2*a = -j + 2. Suppose 0 = -a*l + 4*l. Suppose -2*o - 5 = -h - 4*o, -2*o = 5*h - 1. Which is smaller: l or h?
h
Let y = 0.8 - 0.5. Is -2 > y?
False
Suppose -4*k + 4*z + 28 = 0, 5*k = -3*z + z + 14. Suppose -4*i + 4*q - 8 = q, k*q = -5*i - 10. Which is smaller: i or -3?
-3
Let u = -98/5 - -1076/55. Is 0 < u?
False
Suppose -4 = -5*g + 56. Let p = -17 + g. Let t = -8 - p. Is t smaller than -4?
False
Let f(b) = b + 8. Let p be f(-6). Let l be -23 + 19 - 29/(-6). Is l less than p?
True
Let l = -0.804 + -0.196. Is -131 >= l?
False
Suppose -2*u = u - 9. Do u and 5 have the same value?
False
Let k be (-121)/(-78) - 1/1. Let g = -35 - -1363/39. Let h = k + g. Which is smaller: h or 0?
0
Let k = 0 - 3. Let x be 0 - (k - (-88)/30). Do -1 and x have the same value?
False
Let v = -2 - -3. Let l be 4/(-6) + (-22)/6 + 4. Is l < v?
True
Suppose 49 = -d - p, 80 = -4*d + 5*p - 98. Let h = -519/11 - d. Do h and 1 have the same value?
False
Let y(l) = 2*l + 3. Let w be y(3). Let z(j) = j - 6. Let p be z(w). Is p at most 4?
True
Let s = 59 - 45. Is 14 smaller than s?
False
Let j(m) = m**2 - 6*m - 4. Let q be j(7). Suppose -5 = -q*y - 23. Suppose -3*f = -15, 3*o - 7*o = 2*f + 14. Are o and y equal?
True
Let a be ((-39)/18 + 2)*15/10. Which is greater: 1 or a?
1
Let z = -235 - -232. Let n be (-1)/(4/3 + -1). Is n > z?
False
Let j(u) = -u**3 - 8*u**2 + 13*u + 12. Let r be j(-9). Let o be (2/r)/(5/(-8)). Which is smaller: 0 or o?
0
Let t = -3718 + 1022447/275. Let n = t + -2/25. Let d(h) = -h - 4. Let s be d(-4). Does n = s?
False
Suppose -5*f + 3*s - 79 = 0, -4*f - 47 = 3*s - 0*s. Let l = f - -43/3. Which is bigger: -1 or l?
l
Let z be ((-4)/6)/(12/(-3474)). Let j = 961/5 - z. Which is bigger: j or 0?
0
Let k(j) = -j + 1. Suppose 2*p - 31 = 3*i - 8, 0 = 4*i + 5*p. Let s be k(i). Let l be (s/2)/((-3)/4). Which is bigger: -3 or l?
-3
Suppose 5*c - 9 = -9. Is 3 smaller than c?
False
Let g(t) = 1 + 5*t**2 - 6*t**2 + t**3 + 5*t**2. Let z be g(-4). Let p = -3427/25 + 137. Does z = p?
False
Let l be (1 + -3)*(-15)/6. Suppose -x - l = 4*x. Let v = x - 1. Which is smaller: v or 0?
v
Let n be (-1)/4*(-8)/6. Let q = 0.1 + -4.5. Let g = -4 - q. Which is smaller: n or g?
n
Let m = -6 - 8. Let o be 10/m + (-2)/7. Is o less than or equal to -3?
False
Let n = 0.14 - 1.14. Let u = 22 + -43/2. Is n less than u?
True
Let o be 2/3*(0 + 3). Suppose 4 = 2*c + o*c. Let u = -7 + 11. Which is smaller: u or c?
c
Let j = -50 + 50. Let d be (1/(-3))/(16/3). Is d != j?
True
Suppose 8 = -2*v - 2*v. Let n be ((-6)/2)/(v/(-54)). Let h = 568/7 + n. Is 0.1 greater than h?
False
Let j = -10 - -14. Suppose -5*u + 8 = -j*u. Suppose l + u = -3*l. Which is bigger: -1 or l?
-1
Let d(q) = -5*q**3 + q**2. Let u be d(1). Let f be 2*u/(-16)*-2. Let l = -0.1 + 0.1. Is l equal to f?
False
Let z = -2 + 0. Let l = z - -1.6. Let j = 0.6 - l. Are j and -0.3 equal?
False
Let a = -2 + 1.3. Let h = -1.7 - a. Which is smaller: 3/4 or h?
h
Let x = 133/72 - 20/9. Let u = -27 + 28. Which is smaller: x or u?
x
Let p be (-20)/(-84)*(-8)/20. Is 2 <= p?
False
Let v = -1.8 - -2. Let q = 0.9 + 7.1. Let u = -9 + q. Do u and v have the same value?
False
Let n(o) be the second derivative of -o**3/6 + 5*o**2 - 2*o. Le