-52)/(-585))/(98/35). Which is greater: w or 463/24?
463/24
Let k = 1839 + -1840. Let w = -0.01 - 0.12. Let z = w + 0.05. Which is smaller: k or z?
k
Let h = -41 + 9. Let b be 24/168 + 180/14. Suppose 0 = 48*w - b*w + 1155. Are w and h equal?
False
Let f = -558 + 8933/16. Is 0 less than f?
True
Let x = -3.85 - -3.75. Suppose -4*k = -8*k + 16. Suppose 7*q - 3*q - 300 = k*a, 0 = -5*q + 2*a + 378. Which is bigger: q or x?
q
Let t = -35.80051 + 0.00051. Is 3/10 greater than or equal to t?
True
Let t = 8816493/2764 + -12759/4. Is 1 smaller than t?
False
Let a(h) = h**3 + 7*h**2 - 7*h - 53. Let r be a(-6). Is r >= 14?
True
Let c(h) = 72*h - 22. Let i(n) = -71*n + 23. Let q(v) = -5*c(v) - 6*i(v). Let a be q(-2). Which is bigger: -161 or a?
a
Let w(g) = g**3 + 15*g**2 - 49*g - 141. Let v be w(-17). Let i = -114 + 230. Is v != i?
True
Let z = -1608/2213 + -36575097/674965. Let d = 190/61 + z. Is -53 smaller than d?
True
Let l(k) = -56*k - 1520. Let v be l(44). Is -3984 greater than v?
False
Suppose -5*k - 4700 = 5*j, -k - 10 + 6 = 0. Let o = j - -930. Is -31/6 equal to o?
False
Let s = 0.00403 - -1.99597. Is -87.8 at least s?
False
Let z be (-516)/(-24)*(-10)/(-3133). Let h = 2/241 + z. Suppose 7*v - 4*v = 0. Which is smaller: v or h?
v
Let b = 161 - 215. Let k = b + 58. Which is greater: -1/49 or k?
k
Suppose -2*w + 3*o = 22189, 19531 + 24819 = -4*w + 2*o. Are w and -11084 unequal?
False
Suppose -13955 + 3521 = 6*y. Is y greater than -1740?
True
Let a = -34.687 - -1.697. Let l = a + 31.5. Is 0.1 bigger than l?
True
Let t be 0 - (-5 - (-11 - -4)). Let k be (1/2*t)/(6/(-126)). Which is smaller: 0.1 or k?
0.1
Let r be 3/9*2*342 + -2. Suppose q = 3*u + r - 39, -3*q = 3*u + 195. Let l = -64 - u. Which is greater: -15/7 or l?
l
Let a(c) = c**3 + 2*c**2 - 10*c - 6. Suppose 21*y - 27*y = 24. Let v be a(y). Let r be (-1 - 3/(-4))/((-3)/2). Which is greater: v or r?
v
Let q be ((-1)/2*31 - 5)/(-1 + -171). Which is bigger: q or 1?
1
Let r = 1.9 - 2.08. Let n be 24/72 - (-13)/(-3). Let b be (-6)/(-2 + n) + 9/(-6). Which is smaller: r or b?
b
Let k(b) = -12*b + b**2 + b**2 + b**3 - 3 + 13 - 2*b**3 + 11*b. Let g be k(3). Is g < -42?
False
Let d = 1175 - 1178. Do d and 7/10 have the same value?
False
Let b = 593 - 366. Let l = b - 226. Which is bigger: 6 or l?
6
Let a = -8224.7 + 8225. Let w = 67/5 + -7313/545. Is w >= a?
False
Let k = -170 + 137. Let o = k + -91. Is o at most -125?
False
Let g be 1*0/(((-63)/(-105))/(2/(-10))). Is -4/1003 equal to g?
False
Let y = 11931 + -17014. Is y at least -5081?
False
Let r = 5088 - 5651. Is -5 bigger than r?
True
Let b = 19 + -42. Let w be 2/b - 1296/(-15732). Which is greater: 0 or w?
0
Let q be ((-1)/(-1))/((-3)/(288/(-4))). Let g be (-3)/2*((-16)/q + -2). Suppose 0 = 5*d - 9*d + g. Which is smaller: d or 4/67?
4/67
Let g = -52718/56730515 + -1/53773. Are 0 and g unequal?
True
Let n = -19540543/730249 + 3/25181. Let t = n + -2841/116. Is -52 less than t?
True
Let v be (-4561)/(-70)*60/(-10). Let q = -771 - -380. Let x = q - v. Which is bigger: x or 1?
1
Let q(r) = r**2 - 9*r + 4. Let h be q(10). Let f = h - 10. Let b be -6 + 54/42 + 5. Which is smaller: b or f?
b
Let c = 0.53 - 0.22. Let p = 0.31 - c. Let k = 3/14 + -23/42. Is p greater than k?
True
Let z = -0.7248 + 0.8748. Is -1.55 bigger than z?
False
Suppose 8*t - 2440 = 16*t. Is t != -300?
True
Suppose 0 = -3*l - 2*j + 15 - 2, 2*j - 11 = -l. Let s(o) = 17*o**2 + 3*o - 1. Let n be s(l). Is 19 greater than n?
False
Let t = -13.21 - -0.21. Let b = t + 66. Let v = 53.2 - b. Which is bigger: 2 or v?
2
Suppose -13*s = 359 + 447. Let o = -63 - s. Which is greater: o or -12/25?
-12/25
Let g(m) = -60*m + m**3 - 7*m**2 + 66*m - 3*m**3 - 12. Let f be g(-4). Do -27 and f have the same value?
False
Let m be (279/18 - 12)*(-52)/(-7). Suppose 0 = -m*w + 24*w - 212. Is w >= -108?
True
Suppose -7*w = 5*w + 72. Let i be 2 + (1 - 3) - -3. Suppose 2*n + n = -i. Does n = w?
False
Suppose -4*y = -5*z + 60, y - 4*z - 7 = -22. Let w be 1945/(-200) - (-21)/y. Do -11 and w have the same value?
False
Let w = -28.285 - -377.175. Let a = w - -1.11. Is -0.1 at least a?
False
Let a = 18 + -17. Let g = 26 + -26. Let s = a + g. Which is smaller: s or -4/9?
-4/9
Let f(t) = 40*t**2 - 1488*t - 1215. Let n be f(38). Let s = -402/5 - -28949/360. Which is smaller: n or s?
s
Let l = -8.46 + 10.2. Let f = 1.64 - l. Is -174 less than or equal to f?
True
Let r = -690 + 54512/79. Suppose 0 = -a - 4*t - 7, 0 = 5*a - 10*a - 2*t + 1. Suppose 17*b = a - 18. Is b at least as big as r?
False
Let h(l) = 5*l**3 + l**2 - 6*l - 1. Let b be h(-3). Suppose 835*j - 840*j = 0. Is b < j?
True
Let b = 872 + -6977/8. Do b and 0.313 have the same value?
False
Suppose -104 - 49 = -153*d. Let h be 6/(-15) - 23/(-20). Which is smaller: h or d?
h
Let n = 14.9 + 11. Let u = -24.9 + n. Are u and -46 unequal?
True
Suppose -12470 - 1894 = 28*h. Which is bigger: -510 or h?
-510
Let j(a) = 49*a + 355. Let o be j(-12). Which is bigger: -237 or o?
o
Suppose 5*v = -2 + 17. Suppose -75 = -v*p + 30. Suppose 0 = 2*n + 3*r - 14, 0*n = 5*n + 2*r - p. Which is smaller: 1/5 or n?
1/5
Let o(j) = -j**2 + 99*j - 2317. Let g be o(38). Is g <= 3/44?
False
Suppose c + 2 = -x, 0 = 2*x - 1 + 5. Let z = 6.7 + -5.8. Let j = z - 0.7. Which is smaller: c or j?
c
Suppose n - 3*d = 26, -d = -n - 0*n + 20. Let t = n + -18. Which is smaller: t or 80?
t
Let i(a) = a + 10. Let o be i(7). Let n = -329 + 225. Let p = -86 - n. Is p less than o?
False
Let w(o) = o**2 - 3*o - 426. Let u be w(-16). Is -128 <= u?
True
Let s = 46 - 46. Suppose s = 3*i + 16 - 16. Suppose -3*p + 2 + 4 = 0. Which is smaller: i or p?
i
Suppose 4*o - 20 = 0, -t - o = -6*o - 205. Let k be (t/35 - 2) + -2. Is 4 equal to k?
False
Suppose 2*i + 5 = -3*i. Let j be (-55330)/6149 + (-1 + 0)*(2 + -18 - -7). Which is bigger: i or j?
j
Let x = -262764/13 + 20190. Let j = x + -621/26. Is j less than or equal to 1?
True
Let j(f) = 11*f - 13. Let b(m) = 2*m**3 - 16*m**2 - m + 10. Let l be b(8). Let v be j(l). Which is bigger: v or 4?
v
Suppose 38 = -7*a + 101. Let t(i) = -10*i**2 - 15*i + 17. Let g be t(a). Let w be (-76)/g - (-1)/8. Which is smaller: -1 or w?
-1
Suppose 2*x + x = y - 36, 5*x = 5*y - 150. Suppose -s + 5*c = y, 4*c + 12 - 115 = 3*s. Does -39 = s?
False
Let u be (-99)/462*68*-2*124/48. Which is smaller: u or 75?
75
Let w(h) = -9*h + 41. Let p be w(4). Suppose -17*n + p*n = n. Is n >= -3/91?
True
Let m = -0.0257 + -27.0743. Let i = -27 - m. Which is greater: 159 or i?
159
Let s(v) = -3*v**2 + 31*v - 19. Suppose 2*y - 3*l - 26 = 0, -y = -6*y - 5*l + 40. Let m be s(y). Suppose 3*g + 7 = -14. Is g at least as big as m?
True
Let f(b) = 2 - 6*b**2 - 1 - b**3 + 5 + b - 1. Let y be f(-6). Let l = -1118 - -12288/11. Which is greater: y or l?
l
Let a be (2 + -1)/((-44)/20 - -2). Let v(c) = c**3 - 9*c**2 - 2*c + 12. Suppose -6*m + 50 = -m - z, -2*z = -3*m + 37. Let t be v(m). Is t less than a?
True
Let z(o) = -1689*o - 81. Let h be z(-9). Let c be 3164/h + 2/(-10). Does -1 = c?
False
Let m = -3.8 + 4. Let l = 0.034 + 4.166. Let r = 4.6 - l. Which is smaller: r or m?
m
Let d be (-2)/((-18)/377)*2430/(-1620). Is d at least -62?
False
Suppose -19*z - 430 = -13*z - 94. Is z equal to -48?
False
Let u = -0.9 + 1.07. Let a(r) be the second derivative of -r**4/4 + 14*r**3/3 + 19*r**2/2 + 21*r. Let i be a(10). Is i at most as big as u?
True
Suppose -12*h + 11*h = -390. Let w = h + -383. Which is greater: w or 2/13?
w
Let d = -2514503128/128177 + 137322/7. Which is bigger: 0 or d?
d
Let v(j) = j**3 + 2*j**2 - 1666*j + 19. Let s be v(-42). Do s and -1/2 have different values?
True
Suppose 0 = -4*j - m - 19, 3*j - 5*j + 2*m = 12. Let b be (-3)/j - 30/50. Is b >= 1/343?
False
Let y be (-2630)/(-4) - 12/24. Let q = y - 421. Suppose -q*k = -241*k + 30. Which is bigger: k or 7?
7
Let t = -0.46 + 2.36. Let g be ((-15)/10)/(2/(222/(-45))). Let s = -7/2 + g. Are t and s non-equal?
True
Suppose 42*n - 8*n = -14*n. Is n bigger than 96/71?
False
Let f(x) = 6*x**2 + 4*x + 1. Let j(z) = -17*z**2 - 11*z - 2. Let k(u) = 11*f(u) + 4*j(u). Let n be k(1). Do 3/56 and n have the same value?
False
Let h = 74.5 + -13.5. Let j = 3012 - 2951. Let c = j - h. Which is smaller: c or 8?
c
Let a = 0.1861 + -0.1261. Let g = 19/3 + -25/4. W