h is smaller: y or w?
y
Let f = -10/9 - -65/18. Which is bigger: 4 or f?
4
Let g = -811 + 808. Which is smaller: g or -50/17?
g
Let v = -962 + 926. Are v and 3 non-equal?
True
Let j = 1111 + -1122. Which is smaller: 59 or j?
j
Suppose 5*n - 5*y - 24 = n, -4*y = 2*n + 14. Let i = -1 - n. Which is smaller: i or -14?
-14
Let u(y) = 3*y**2 + 3*y**3 - 5*y - 3*y**3 - 8*y**2 + y**3 - 5. Let c be u(6). Let g be 70/174 - (-5)/(-15). Which is greater: c or g?
c
Suppose 3*v - 4 = 5. Suppose 5*p - 13 = v*k, -6*p + 2*p + 7 = k. Suppose 4*f + f - 5 = 5*t, 4*t - 5*f = -8. Which is bigger: k or t?
t
Let l = 0.09 + 0.08. Let y = 336 + -336. Which is greater: y or l?
l
Let j be 256/798 + (-8)/28. Suppose -28*f = -2*f. Is f greater than j?
False
Let g be ((-15)/2)/(((-6 + 8)*3)/(-4)). Let y(t) = t. Let f(p) = 4*p + 10. Let z(b) = f(b) - 5*y(b). Let q be z(5). Is q greater than or equal to g?
True
Let z = -170 + 181. Is z greater than 10?
True
Let y = 0.2 + 0.8. Let m = 0.058 + 12.942. Let x = m - y. Is x >= 1?
True
Let t be (-10)/(-4) - 4/(-8). Suppose 2*o = -t*o - 3*y + 56, -2*o - 4*y + 28 = 0. Let d be 4/o + (-435)/25. Is -16 at least as big as d?
True
Let m(g) = g + 8. Let n be m(-7). Let y = 61/84 - 16/21. Which is smaller: y or n?
y
Let h be 20/90 + (-2980)/(-1332) + -3. Which is smaller: -2 or h?
-2
Let j = 22 - 5. Let a(d) = -d**2 + 17*d + 1. Let h be a(j). Which is smaller: -2/139 or h?
-2/139
Let z = -995 + 992. Is z not equal to -1/97?
True
Let t = -175 - -174. Which is bigger: 2/375 or t?
2/375
Let k(h) = h**2 + 3*h + 54. Let m be k(0). Let z be 2 + 1 - m/16. Is z at least as big as 3?
False
Let m = -3/3706 + 452159/33354. Let g = m - 695/36. Let c be (-2)/6 - 68/12. Which is bigger: c or g?
g
Let r = 213 + -57. Let t be (-100)/r - (-2)/6. Let i = 23 - 22. Is i <= t?
False
Let b be ((-45)/20)/(34/408). Is -38 greater than b?
False
Let j = -0.1 + 0.1. Let t = -3465 + 3478. Which is smaller: t or j?
j
Suppose 5*f + 10 = 0, -62 = 3*a + 2*f + 32. Which is smaller: a or -434/15?
a
Let y(n) = -n**3 - 6*n**2 - n - 1. Let u be y(-6). Suppose -c - 4*a + 31 - u = 0, -28 = -3*c - 2*a. Which is smaller: 8 or c?
c
Let t = 2241 - 2256.91. Let l = 1.21 + t. Let s = -15 - l. Which is greater: s or 2?
2
Let k = -41/69 + 3037/2208. Is k <= 2?
True
Let a = -362 - -364. Is a greater than 29/9?
False
Let j be 12/((-16)/(-216)*1). Which is greater: j or 161?
j
Let s = 247 + -155. Which is smaller: 93 or s?
s
Let p(c) = c**3 - c**2 + c + 11. Let s be p(0). Suppose -5*r = 4*v + 29, 2*v + s - 4 = -r. Let u be 1/((0 - 3)*v). Is u < 5?
True
Let q = 17.34 - 17.3. Is -3/7 <= q?
True
Let o be 7/14*(-2 - -4). Which is greater: o or 1/20?
o
Suppose 0 = 2*i - 0*i + 4. Let c = -17/9 - i. Let p = 343 - 342. Is c at most as big as p?
True
Let t = -0.7 - -7.7. Let n = t - 14. Let c be 2/14*12 + (-12)/6. Is n >= c?
False
Let h = -128232/5 + 25758. Let p = h - 112. Let m(o) = 2*o**2 - 6*o - 1. Let d be m(3). Which is smaller: d or p?
d
Let x be ((-16)/(-72))/(8/12)*0. Do x and 7/26 have the same value?
False
Let i = 127 - 112. Suppose -8*y + 3*y - 5*h = -i, -4*h = -4*y - 20. Which is smaller: -2 or y?
-2
Let s(u) = 31*u - 225. Let n be s(18). Is n less than or equal to 332?
False
Let b(q) = -13*q**2 + q**3 + 3 + 12*q - 4 - 2. Let d be b(12). Let a be (4 + d - 4)*1. Which is bigger: a or -2?
-2
Let x = 51.1 - 50. Suppose -2*c + 7*c = h + 11, 3 = 5*c - 3*h. Suppose c*z - 2*j = -9 - 2, 3*z - 9 = -3*j. Is x less than z?
False
Let d = 6720/11 - 612. Suppose 0 = 2*r - 6*r - r. Which is greater: r or d?
r
Let y(d) = 12*d - 1. Let q be y(-8). Is q greater than -96?
False
Let f = 65 - 56. Let w = 10 - f. Suppose -6 - 2 = -4*y. Is y at most w?
False
Let n(t) = -t**3 + 7*t**2 - 8*t + 12. Let p be n(6). Is 1/234 at least p?
True
Let a be (-26)/117 + (-49)/63. Which is smaller: a or -1/13?
a
Let t(c) = c**3 + 6*c**2 - 17*c - 24. Let a be t(-10). Is 0 smaller than a?
False
Suppose 66 = -13*l - 64. Let v be ((-2)/(-20)*2)/(4/l). Is v >= -1/2?
True
Let n = -12 + 11.67. Let i = n + 0.11. Which is smaller: 1 or i?
i
Let p = 0.792 + -1.14. Which is smaller: -1 or p?
-1
Let l = -0.734 + 0.644. Do 1/3 and l have different values?
True
Let q = -0.17 - -0.14. Let f = -0.03 - q. Let m = f - -0.1. Is m > 2/7?
False
Let z(l) = l**3 + l + 193. Let x be z(0). Let h = -6757/35 + x. Is h less than 1?
True
Suppose 0 = o + 3*o - 3*s + 1269, -4*o - 4*s = 1304. Let f be o/12 - (-5)/(80/12). Is -27 >= f?
False
Let q be (140/(-21))/10*(-67)/(-6). Which is bigger: -7 or q?
-7
Let h = 10/143 - -14689/572. Let f = h + -26. Which is smaller: -3/5 or f?
-3/5
Suppose 128 = 396*j - 392*j. Which is smaller: 33 or j?
j
Let m = -6/7891 + 8209/418223. Suppose -2*d + 6 = 4*s, -4*s + 0*s + d = -3. Is m >= s?
False
Suppose -b + 5*b - 60 = 0. Let v = b + -43. Is -28 greater than v?
False
Let y = 677/2 + -129303/382. Is y < 1?
True
Suppose 0 = 6*x - x. Suppose 5*u = -x*j + 3*j - 10, u + j + 10 = 0. Suppose 3*f = c + 3, 4 = 2*c - 3*f + 7*f. Which is smaller: u or c?
u
Let l = -5 - -9. Let h be (-4)/(-26) + 12/3 - l. Is -2 at most as big as h?
True
Suppose 6*d = 3*d + 36. Let s = -291 + 242. Let p be (d/s)/(26/(-91)). Is p greater than 0?
True
Let f(o) = -o**3 - o**2 + 3*o + 2. Let u be f(4). Let k(v) = -501*v + 4442. Let g be k(9). Which is smaller: u or g?
g
Let a be (350 + 3)/(-1 + 4 + -2). Let s = a - 15177/43. Which is bigger: 0 or s?
s
Let l(g) = -g**2 + 4*g - 14. Let w be l(4). Let f be (2/(-4))/((-7)/w). Is f > 1/12?
False
Let x(q) = 79*q + 356. Let z be x(-5). Suppose 5*a + 3*d = -193, 0*d + 4*d - 110 = 3*a. Are a and z unequal?
True
Let t(l) = l**3 + l - 3. Let y = 26 - 20. Suppose -f = -y*f. Let n be t(f). Is n smaller than -2?
True
Suppose -m - w = -15, -w = -5*m - 2*w + 91. Suppose -b + 0 = 3. Let g(c) = c**2 - 4*c - 1. Let y be g(b). Are m and y unequal?
True
Let n = 20.56 + 0.44. Let u = n - 17. Are u and 2/5 equal?
False
Let r = -0.5 - -35.5. Let b = r - 33. Are b and 15 unequal?
True
Let h(s) = 15*s**3 + 2*s**2 - 2*s - 2. Let k be h(2). Suppose -4*f = -m + 30 + 8, 0 = -5*m + 3*f + k. Is m less than 21?
False
Let r(b) = 6*b - 3. Let q be r(2). Let l be (-8)/44 + (134/11 - 3). Let x be (-1)/3 - ((-102)/l + 3). Which is greater: x or q?
q
Let w = 950 - 6660/7. Which is smaller: -0.5 or w?
w
Suppose 2*q - 3*b + 2*b - 3 = 0, 0 = -q + b + 1. Let u be (-1)/q*(-2)/12. Let n(i) = i + 3. Let s be n(-4). Which is smaller: s or u?
s
Suppose 14*m = 17*m + 18. Let g(v) = -v**2 - 6*v - 2. Let l be g(m). Which is smaller: l or -1?
l
Let i = -0.72 - 2.48. Let t = i + 3.4. Which is smaller: 32 or t?
t
Let h be 1/(-2) - (-2 - 147/(-8)). Which is greater: -16 or h?
-16
Let v(n) = n**3 - 6*n**2 + 7*n - 4. Let o be v(5). Suppose 2*h - 4*d = o*h, 0 = 4*h - d - 20. Let i be 3/(-6)*(-1)/h. Is 1 at most i?
False
Suppose -2*u + 1713 = 4185. Let i be 3 + -37*(-100)/u. Which is smaller: 1 or i?
i
Let n = -14 - -8. Suppose 0 = 13*k + 89 + 2. Let g = n - k. Is g at least -2?
True
Suppose k = -0*k. Let m = k - -5. Let y be m/10*12/(-22). Which is bigger: y or -1?
y
Let z(p) = -4*p - 1. Let k be z(-1). Suppose 3*x + 4*a = 7, 2*x - k*a = -0 - 1. Let y be 2 - 2/4*2. Is y at least x?
True
Let o be (-12)/10 - 35/(-175). Is o smaller than -1?
False
Let r be (-8 - -1) + 410/60. Let f = 7 + -106/15. Which is smaller: f or r?
r
Let s be ((-8)/(-720)*-6)/((-2)/(-12)). Is s greater than or equal to -259?
True
Let v = 75 - 71. Suppose 429 = -9*z - v*z. Which is smaller: z or 0.1?
z
Suppose 7*k - 288 + 155 = 0. Does 19 = k?
True
Suppose -145*d + 140*d = 965. Are -194 and d equal?
False
Let k be (-3)/11 + 12528/43032. Which is smaller: 1 or k?
k
Let h = -103 + 108. Suppose 4*q - 4*i + 44 = 0, h*i = q + 2*q + 41. Let s = -0.4 - -0.3. Which is smaller: s or q?
q
Suppose q = 8 + 8. Suppose -3*o + 38 = -j, 2*o + 5*j - 190 = -176. Is o at most q?
True
Let m(z) = -z**3 + 3*z**2 + 4*z + 5. Let w be m(4). Let u = 4 + w. Is 10 smaller than u?
False
Suppose 0 = -5*i - 4*j + 273, 2*j - 162 = -3*i - j. Is i at most as big as 60?
True
Let y(a) = 2*a + 12. Let t be y(-13). Is t > -12?
False
Let a(m) = 154*m - 2. Let d be a(1). Suppose -d = -3*g + 55. Is g bigger than 69?
False
Let c be 0/(0 + 1 + 0). Let v = 1711/4 + -427. Is v >= c?
True
Let c = 23 + -17. Let i(b) = -b**2 + 7*b.