98 = 44*y - 30*y. Which is greater: y or 158?
158
Let x = 92 + -553/6. Let p = -83 + 144. Let f = p + -59. Which is smaller: x or f?
x
Let r = 17 - 8. Let l = 20 - r. Let w = l + -10. Which is bigger: w or 6?
6
Suppose 0 = -n - 0*n - 29. Let d = -29 - n. Which is smaller: d or 1?
d
Let f = 29 - 30. Let j = 23824 + -238643/10. Let y = j - -40. Which is smaller: f or y?
f
Suppose 3 = 5*x + m, -2*x + 3*m = m - 6. Is -2/1371 at least x?
False
Let f = -360 - -259. Which is smaller: -105 or f?
-105
Let q = -2.9 - -0.9. Let i = 2 + q. Let a = -1 + i. Which is greater: 2 or a?
2
Suppose 4*t - 24 = j, 4 = 5*t + 4*j - 47. Let w(n) = n**2 - 6*n - 8. Let r be w(t). Are 1/8 and r nonequal?
True
Let b(a) = a**3 + 2*a**2 - a + 6. Let u be b(-3). Suppose 10*s - 5*s = u. Suppose k - 8*k + 21 = s. Which is greater: 2 or k?
k
Let m = 491.5 + -197.5. Which is greater: m or 0?
m
Let z = 401.9 + -402. Let q = 0.3 - 0.28. Let m = 1.98 + q. Which is smaller: m or z?
z
Let i = -8 - -9. Let w = 9.51 - 0.11. Let b = 9 - w. Do b and i have the same value?
False
Let z = -65 - -64. Let y = -0.14 + 0.22. Do y and z have the same value?
False
Suppose -4*q = -s + 15, -6 = -4*s + 6. Let c = -117 + 120. Let f = q + c. Is f equal to 2/11?
False
Suppose 3*n = n. Let h be ((4/((-16)/6))/1)/81. Which is greater: n or h?
n
Let x = -5.32 + 5.5. Is x at most 1/2?
True
Let h = 24 - 17. Is -2 >= h?
False
Suppose -638 = -17*f + 1436. Is f < 122?
False
Let t be 2/(-6)*1998/90. Which is greater: -2 or t?
-2
Let d = -0.057 - -0.07. Let a = 5.987 + d. Let s = -0.1 - 0. Are s and a non-equal?
True
Suppose 4*c = -k - c - 7, -4*k + c = 7. Let s be k - (586/(-118) + 3). Which is greater: -1 or s?
s
Suppose 2*g + 170 = 168. Is -2/331 at least g?
True
Let f(x) = -6*x + x**2 + 6*x. Let m be f(1). Which is greater: 4/27 or m?
m
Let b = -98 + 101. Suppose 0 = -3*c - 4*p + 7, 2*p + b*p = -4*c + 9. Which is smaller: c or 1.6?
c
Let d(u) = -5*u. Let y be d(2). Which is greater: y or 1?
1
Let h(r) = r**2 + 3*r - 6. Let w be h(-5). Let m(z) = z**3 - 23*z**2 + 23*z - 4. Let s be m(22). Suppose -62*n + 56*n = -s. Is w at most as big as n?
False
Let o = 31 - 31.28. Let k = -0.11 - o. Let m = k + 0.13. Which is smaller: m or -2/9?
-2/9
Let s be ((-2)/(-28))/((-96)/64). Which is smaller: s or -2/11?
-2/11
Let h = 249 - 246. Is h less than 0.56?
False
Suppose -3*k + 12 = 21. Which is smaller: k or 0.14?
k
Let r = 5 - 4.97. Let d = -0.97 - r. Do -15 and d have different values?
True
Let y(u) be the first derivative of u**3/3 - u**2/2 + 2. Suppose -2 = -j, w + 5*j = -2 + 13. Let s be y(w). Are s and -1/9 non-equal?
True
Let b be (-1092)/(-9) - 4/12. Which is bigger: b or 119?
b
Let o(n) = -15*n + 20. Let m be 3/((-15)/(-28)) + (-12)/20. Let k be o(m). Which is greater: -56 or k?
k
Let i = -783 - -1245. Are 1 and i equal?
False
Let b = -48 - -47. Let x(t) = t**2 - 4*t + 3. Let d be x(4). Suppose -d*f - 5 - 4 = 0. Is b less than or equal to f?
False
Let t(g) = 9*g**2 + 40*g - 407. Let b be t(9). Which is greater: b or 683?
683
Suppose 0 = -5*d + 2*d - 12. Let u be (-4 - -6) + d + -6. Are u and -8 equal?
True
Let q be (-270)/(-33) - 8 - (-31)/11. Let s be (-13 - -11) + (1 - q). Is -13/3 <= s?
True
Let v = 38 + -32.4. Let m = 5.7 - v. Is 9 less than m?
False
Suppose -7*r + 3*r = 0, 5*w + r - 35 = 0. Suppose 0*f + w*f = 21. Is f greater than 21/5?
False
Let b(v) = -2*v**2 + 24*v + 25. Let h be b(13). Are -25/21 and h equal?
False
Let f = -6 + -15. Let a = f - -8. Which is greater: a or -14?
a
Let x be (-3)/(-9) + 3350/(-15). Let n = x - -4015/18. Let f be (-1)/((-2)/(-2)*-1). Which is smaller: n or f?
n
Suppose 5*j + 54 + 1 = 0. Suppose -15*o - 364 = 11*o. Which is bigger: j or o?
j
Let m(x) = x**3 - 8*x**2 + 7*x + 4. Let i be m(7). Suppose f - 7 + i = 0. Suppose 3 = -3*c - f. Is c less than or equal to -1?
True
Suppose -5*g + 11 = -9. Let t = g - 7. Suppose 3*m + 2*c = 8*m + 8, 4*c = -2*m - 8. Do t and m have the same value?
False
Let c = 5.146 + -0.146. Let l = 0.4 - 4.4. Let y = c + l. Is y smaller than 0?
False
Let z = -85 - -49. Let k = z - -51. Is k >= 17?
False
Let f = -2 + 4. Suppose 0*m = -4*m - 104. Let r = m + 30. Is f equal to r?
False
Let q = 895 - 902. Is -73/9 smaller than q?
True
Let v(k) = -k**2 + 10*k. Let p be v(10). Let s = 155456 - 10104846/65. Let a = s + 36/13. Is a <= p?
True
Let v be 4*(-2 + 4)/2. Suppose -3*l - 57 = -2*x, 6 = v*x - 6. Which is bigger: -18 or l?
l
Suppose 2*b + b - 9 = 0. Let n be (b/(-12))/(10/(-8)). Let q(a) = 4*a + 28. Let z be q(-7). Is z less than n?
True
Suppose -f = -3*a + f - 307, 0 = -4*a - 2*f - 386. Let d = -60 - a. Is d at most 39?
True
Suppose -8*g - 110 - 18 = 0. Let y be 5/6 - (-4)/g*2. Is -3 equal to y?
False
Let u = 7.2 + 11.8. Let f = 18 - u. Which is bigger: f or 7?
7
Let s(u) = u**3 + 9*u**2 + 24*u + 10. Let k be s(-4). Which is greater: k or -6/7?
-6/7
Let u(p) = 8*p - 26. Let o be u(8). Let z = o - 33. Is z less than or equal to 6?
True
Let b be 3/1 - (7 - (-54)/(-42)). Which is smaller: b or -2?
b
Let c = 2.635 - 0.075. Let x = c - 5.5. Let q = x + 3. Which is smaller: 1 or q?
q
Let b = -51754/413499 - -52/409. Which is smaller: b or 0?
0
Suppose 2*l + 176 = 6*l. Let x be 2*-1 + ((-480)/l)/(-5). Suppose 5*z + 4*i = -25, -3*i - 13 = -3*z - 1. Which is greater: x or z?
x
Let l = 553 - 547. Which is smaller: 54/11 or l?
54/11
Let b = 2611 + -2612. Let d be ((-1)/(-3))/((-39)/36). Which is greater: d or b?
d
Suppose 0 = -g - 170 - 175. Is -345 bigger than g?
False
Let n = -2.23 + 2.23. Do n and -1/4 have the same value?
False
Let r(t) = 2*t - 2. Let i be r(-2). Let v be ((-30)/40)/((-2)/(-8)). Let y(q) = -q**3 - 3*q**2 + q - 2. Let x be y(v). Which is bigger: x or i?
x
Let x be ((-74)/6 - -9)/(1/33). Is x less than or equal to -114?
False
Let l(i) = i**2 + 4*i - 8. Let v be l(-6). Suppose -5*s + 0 = -o + 1, -o + 1 = -v*s. Let b be 6/9 + (-5)/9. Which is smaller: b or o?
b
Let r be (9/18)/((-2)/(-12)). Which is bigger: 2 or r?
r
Suppose 68*m - 64*m = y - 38, -m - 133 = -5*y. Is y less than or equal to 18?
False
Let j = -17746 - -12546420/707. Which is bigger: 0 or j?
0
Let t be 4/14 + 24/14. Suppose -6 = -t*s - 0*s. Suppose -s*w + 9 = 4*r, 4*r + 1 = -w + 12. Is 4 <= r?
False
Let y(d) = -d**3 + 9*d**2 - 1. Let a = -23 - -32. Let t be y(a). Is t bigger than 2/11?
False
Let s = -1.58 + 2.18. Let x = 3.4 + 0.6. Is x at least as big as s?
True
Let j = -2 + 10. Let a = j - 8. Suppose -2*p = -a*p - 16. Is p greater than 7?
True
Let q(f) = f + 8. Let h(m) = m + 8. Let b(t) = 5*h(t) - 4*q(t). Let l be b(4). Which is bigger: 11 or l?
l
Suppose 2*t - 12 = -a - 5, -2*t = -a + 11. Suppose 24 = 5*c + a. Let p = 300 + -299. Which is bigger: c or p?
c
Let g(x) = -x + 7. Let j(k) = k - 6. Let i be j(-5). Let s(p) = 3*p - 21. Let n(b) = i*g(b) - 4*s(b). Let t be n(5). Which is greater: t or 3?
3
Suppose -2*c - 1699 = 3*k, 40*c - 41*c + 1 = 0. Which is smaller: k or -568?
-568
Suppose 1 = 5*k - 4. Suppose y - k = -0*y. Let w(l) = l**2 + 5*l - 1. Let g be w(-5). Is y < g?
False
Let d(t) = 5*t**2 + 16*t - 8. Let g be d(7). Are 349 and g non-equal?
False
Suppose 2*v + 4*o = -8, 0 = -0*v - 2*v + 2*o + 4. Is v < 12?
True
Suppose 14 = 2*g - 6*g + 2*r, 28 = -3*g + 5*r. Let u = g + 0. Let v = 97 - 871/9. Is v less than u?
False
Let c = -319/175 + 4/175. Let y(g) = -4*g**2 + 27*g - 75. Let w(k) = -k**2 + 7*k - 19. Let j(t) = 9*w(t) - 2*y(t). Let v be j(5). Which is bigger: v or c?
v
Let s = -0.0257 + 0.1597. Is s not equal to 3?
True
Suppose -2*h - h = 0. Let n = -417 - -420. Is n < h?
False
Let v(r) = -r**3 + 5*r**2 - 4*r + 2. Let b be v(6). Let m be b/8 + 3/6. Let k = -2220 + 2212. Which is bigger: m or k?
m
Let u(g) be the first derivative of g**2/2 + 12*g - 12. Let p be u(0). Does p = 9?
False
Let s be (-6 + 0 + 7)*-139. Is s not equal to -141?
True
Let l(j) = -3*j**3 - 9*j**2 - 23*j - 35. Let c be l(-5). Is c bigger than 230?
False
Let x(q) = q**3 + 19*q**2 - 19*q - 15. Let a(c) = -c**3 - 5*c**2 + 3*c + 7. Let m be a(-3). Let f be x(m). Is -36 > f?
False
Let g = -63824/69 + 925. Which is smaller: -1 or g?
-1
Let l = -10 + 21. Suppose l = -b + 2. Let f be -6*(30/b + 2). Is -0.1 greater than f?
False
Let v be 5*2/10 - -131. Let s be 2*(-9)/(-168)*1240. Let g = v - s. Which is sm