4*i + 4*u. Let w = 1805/39 + 16721/312. Let a = w - 100. Which is greater: a or i?
a
Let q be (-4 + 2)*(-1)/(-2). Let z = 5 + -2. Suppose 3*u + z = -0*u. Is u at most q?
True
Let t = 65 + -62. Suppose -3*y = -6*y - t. Is y greater than -2/9?
False
Let i(a) = -6*a**2 - 3*a + 3. Let b be i(3). Let x = 38 + b. Let k be ((-2)/(-4))/((-55)/x). Is 0.1 < k?
True
Let g = 7 + -8. Let h be g/(-1*(-2)/(-6)). Suppose h*d + 4 = -d. Is 1/5 bigger than d?
True
Let r = 235 + -235. Let f = -1766 + 323176/183. Is f at most as big as r?
True
Let m = -159 + 1175. Suppose 6*d - m + 176 = 0. Let s be 10*7/(d/(-8)). Is 1 > s?
True
Suppose -12*y + 11*y = 1. Let a(c) = -33*c**3 + 2*c + 1. Let r be a(y). Let d = r + -32. Does d = 4/15?
False
Suppose l + 18*n = 20*n + 86, -5*n + 65 = l. Is l less than 81?
True
Let l be 1*(-2)/(-2) + -2. Let j be (-2 + 1 - -2)/(2033/(-57)). Let z = j + 116/321. Which is greater: z or l?
z
Let s be ((-156)/(-7))/((-4)/(-70)). Let a be 2/(-6) - 0 - (-169)/s. Which is smaller: a or 0?
0
Let m = -112 - -115. Suppose -3*z + m = 0, 5*s + 5*z + 1 + 59 = 0. Suppose 5*o - 3 = 17, -5*r - o = 66. Is s < r?
False
Let h(l) = 4*l**3 + 2*l**2 - 2*l. Let f be h(2). Let o be 69/f + 2/6. Suppose 75*y = 73*y + 4. Is o not equal to y?
True
Let i(z) = 4*z**2 - 4*z + 11. Let q(l) = -5*l**2 + 3*l - 11. Let w(y) = -6*i(y) - 5*q(y). Let r be w(-10). Is -1/9 less than or equal to r?
False
Let g = 2.9 - 3.3. Let u = g + 0.4. Which is smaller: u or 2?
u
Let k be -3 + (-2)/(-1) + 0. Let n = -296 + 288. Let g be 2*(k - 9/n). Which is greater: 2 or g?
2
Let d = -204958/15939 + 4/2277. Is -12 equal to d?
False
Suppose -4*h + 5*a + 11 + 21 = 0, 2*a = 0. Let d(y) = 2*y - 7. Let i be d(8). Which is bigger: i or h?
i
Let d = -60 - 716. Which is greater: -779 or d?
d
Let q(z) = z**2 - 2*z - 3. Let s be q(3). Suppose 264 = g + 2*g. Let u be ((-2)/g)/(5/(-10)). Which is bigger: s or u?
u
Let l be (-504)/(-630)*27/(-22). Are 0 and l non-equal?
True
Let h(v) = v**2 - 2*v - 4. Let q be h(3). Let u be (-1 - 2/(-2))/q. Suppose -w + u*w = -12. Is 12 greater than or equal to w?
True
Let j = 11.7 + -11. Let h = -0.9 + j. Let k = 79 + -78. Which is smaller: k or h?
h
Let u = 497 + -879. Let t be u/(-10) - (-3)/(-75)*5. Which is bigger: 37 or t?
t
Let d(w) = w**3 - 7*w**2 - 13*w + 13. Let f be d(8). Which is bigger: f or -31?
f
Let v = -0.6 + 0.56. Let t = 2.06 + -2. Let p = v - t. Do 7 and p have different values?
True
Let c(h) = h**2 - 6*h - 4. Let f be c(8). Let x(a) = a**2 - 14*a + 15. Let y be x(f). Let o be -2 + (1 - -3) + -12. Which is smaller: o or y?
o
Let k = -5093962/1145001 - -832/187. Is 0 at most as big as k?
True
Let u be (-4 + -4 - -8)*-1. Which is bigger: u or -35?
u
Let n = -2.1224 - -0.1224. Let q be (-90)/24 - 1/(-4). Which is smaller: n or q?
q
Suppose -11 - 12 = -5*s + h, 7 = 3*s - 4*h. Let g be 1 + s/(-3) + 0 - 0. Is -10/7 at least as big as g?
False
Let v = 13 - 8. Suppose 4*m - 5*f - 8 = 0, -7 + v = -m + 3*f. Do m and 0.17 have the same value?
False
Suppose -4*x = -4*h + 88, -4*h + 2*x + 85 = -x. Suppose h = -0*d - d. Which is smaller: d or -20?
-20
Suppose -5*q + q = -28. Let b = q + -7. Let f = 0.27 + 1.73. Does f = b?
False
Let q = 30 + -30.01. Let b = q - -0.31. Let a = b + -1. Is 0.2 at most a?
False
Let k be -1*((0 - -1) + 10). Let p = -91 - -88. Let g be (p + 21)*6/(-9). Is k equal to g?
False
Let l = -380 + 225. Let i = -1399/9 - l. Let s = 0 + 0. Which is bigger: s or i?
s
Let c be (-14)/32 - (66/(-15) + 4). Let q = -144 - -144. Which is greater: c or q?
q
Let w(l) = l**2 + 3. Let v be w(4). Suppose -c = 6 - v. Suppose 11 + c = 4*b. Which is bigger: b or 7?
7
Let k = 24.8 + -130.8. Let x = k + 105. Is x at most 7?
True
Let q be 4/(-6) + (-40)/(-6). Suppose 25 = -i + q*i. Let y = i - 5. Which is bigger: y or -0.01?
y
Let g(u) = -2*u - 1. Let o(s) = -3*s + 1. Let n be o(-1). Let p be n/30 + 96/(-45). Let k be g(p). Is k bigger than -1?
True
Suppose 0 = -0*g - 5*g. Suppose g = -3*m + 3*s, 5*m - 2*s + 3*s = 18. Let y = -159 + 165. Which is smaller: m or y?
m
Let t = 1621/20 - 81. Is t >= -1?
True
Suppose 3*t + t - 5*c - 168 = 0, 4*c = 0. Let d be (-10)/6*(-6)/t*12. Let r be 3/(1 + 1/(-4)). Which is smaller: r or d?
d
Let z = -28.4 + 33. Let n = 6.6 - z. Which is smaller: -2/3 or n?
-2/3
Let d = -2457 - -2470.79. Let a = -0.21 - d. Let p = a - -12. Which is greater: -2/3 or p?
-2/3
Let g be (18/(-4))/(-1)*(-24)/16. Is g greater than -8?
True
Let z be 10/(2 + 8)*1. Are z and 3/355 non-equal?
True
Let v be -4 + 1*(-4 - -12). Suppose 0 = 2*x + m - 399, 4*x - v*m = -x + 978. Let r be ((-12)/x)/((-1)/(-3)). Which is smaller: 0.3 or r?
r
Let k be 5400/51 - 2/(-17). Is 105 less than k?
True
Let d = -0.04 - 3.76. Let v = d + 3.6. Are v and 1/5 unequal?
True
Let u = 34 + -1. Let v = u + -33.1. Which is greater: v or 3?
3
Let s be 209 - (9/3 - 4). Suppose 4*c - s = -42. Is c bigger than 43?
False
Suppose -4*g + 370 = -138. Let i = 128 - g. Let y = 0.8 - 9.8. Is i at most as big as y?
False
Let m be (6/36)/(214/(-1597)). Let j = 2/321 - m. Suppose 5*x - 25 = 0, 2*x - 2 = 4*b + 4. Which is greater: b or j?
j
Let b(x) = -x**2 - 37*x + 121. Let q be b(3). Which is bigger: 1/900 or q?
q
Let c(s) = s**2 - 3*s + 2. Let k be c(3). Let f be 2/3 - k/3. Let b = 352/351 + -14/13. Is f less than b?
False
Let a(c) = 3 - 5 + 4*c - 6*c**2 - c + 0*c. Let q be a(2). Let h = 31 + q. Is 10 at most h?
True
Let v = 0.01 - 7.01. Let o = 9 + 24. Let b = -33 + o. Do v and b have the same value?
False
Suppose -51 - 36 = -3*p. Suppose 0 = p*v - 25*v. Which is bigger: v or 2/3?
2/3
Let z = -24 + 26. Suppose 0 = -z*k - 0*n - 2*n - 6, 15 = -5*n. Let g = 14/3 - 4. Is k less than g?
True
Let n = 0 - 1. Let p = 50 - 49.69. Let d = p + 0.19. Which is bigger: n or d?
d
Let g(q) = 3*q**2 - 2*q - 7. Let y be g(3). Let f = -14/15 + -1417/105. Let m = y + f. Are -1 and m nonequal?
True
Let i(f) = -8*f + 3. Let y be i(-22). Which is greater: y or 180?
180
Let a = -0.02 + 0.18. Let w = -94 - -94.26. Let c = w - a. Which is bigger: c or 4?
4
Suppose a - 2*m = -7 + 3, -a - 5*m + 10 = 0. Let n = -85011628/603 - -140981. Let o = -2/67 - n. Is a at least o?
False
Let a be 2 - (-8 + 1 + 0). Let u = 4 - a. Suppose -3*y = 2*s + 2*s + 18, s - 2 = -4*y. Which is smaller: u or s?
s
Let n = 808 - 816. Is 29 > n?
True
Let r be ((-63)/30)/((-51)/105 + 1). Let m = 905/36 - 260/9. Let a = m - r. Does a = 0.01?
False
Let b = 1059 + -1063. Is b <= -161?
False
Let d(g) = -2*g + 9. Let v be d(6). Let m be 16/24*v/2. Let b be (-110)/56 - (-6)/(-21). Which is smaller: b or m?
b
Let a = 1 - 1. Let q = 20.7 + -122.7. Let u = q + 100. Which is bigger: u or a?
a
Let u(h) = h**2 - 5*h - 12. Let n be u(7). Suppose -n*l - 2*l = 12. Let v be (-1)/l*(-3)/(-4). Do 0 and v have the same value?
False
Let m(j) = j**2 - 19*j + 14. Let y be m(6). Which is bigger: y or -60?
-60
Let g = -3481 - -5078778/1459. Is g > 1?
False
Suppose 98 = -2*h - 0*h - 2*l, 245 = -5*h - 4*l. Is h less than -48?
True
Let k be 9/12 + -3*380/1264. Which is smaller: 1 or k?
k
Let q = -0.0323 + -0.1677. Let i = -12 + 7. Let f = 4.7 + i. Which is greater: f or q?
q
Suppose 9*b = -8*b + 9*b. Which is bigger: -18/31 or b?
b
Let f(g) = 2*g + 21. Let r be f(-9). Let m = -10 - r. Let d = -23 - -8. Is d greater than m?
False
Let z be (3/3)/(-1)*(64 - 64). Is z at least -2/3631?
True
Let w be (2/(-6))/((-9200)/(-1314) + -7). Is w less than -219?
False
Let j = -4 - -5. Let u = -9 + j. Suppose 3 = g + 4*d, 8*g + 2*d = 3*g - 39. Is u less than or equal to g?
False
Let p be 14/(-3)*54/(-7). Let n = p - 24. Suppose n*x - 9*x + 12 = 0. Do x and -1 have the same value?
False
Suppose 2*r - 7*r = -60. Let s be (52/(-14))/(r/(-21)). Which is smaller: 7 or s?
s
Suppose 4*a = 5*g + 100, 5*a + 0*a - 3*g - 125 = 0. Does a = 24?
False
Suppose -19 = -4*t - 43. Let n be (274/(-6))/(4/t). Let o = n - 677/10. Which is smaller: 2 or o?
o
Suppose -3*i - 6*o = -2*o + 125, -55 = i + 4*o. Let r be 297/(-21) + (-5)/i. Is r greater than -13?
False
Let b be 2*2/(-4) - 1. Let t be -12*(-1)/(-4)*b. Let s = 1143 - 1137. Is s bigger than t?
False
Let n be (-6)/(-2)*(-12)/(-9). Let b be 3/n + 486/24. Let w = b + -24. Is -3/2 > w?
True
Let d(q) = -q**2 + 10*q - 14. Suppose -10*m + 35 = -3*m. Let s be d(m