be -11 - ((-4579)/380 - (-20)/16). Which is greater: 4/59 or t?
4/59
Let k(c) = c**2 + 14*c + 18. Suppose 3*b - 6 = 3*l, 3*l - 7*l - 2*b - 2 = 0. Let w be 1656/(-115) - l*4/10. Let z be k(w). Is z >= 19?
False
Let y(p) = 910*p - 1818. Let j be y(2). Let l be ((-25)/(-3))/(4/300). Let n = 6890/11 - l. Is n > j?
False
Let y = -172.639 + -0.361. Let n = -173.093 - y. Which is bigger: 2 or n?
2
Suppose -h = -w + 407 - 230, 3*w + 4*h - 566 = 0. Which is greater: w or 167?
w
Let j = -2/2537 - 5056/22833. Is j at most as big as -257/5?
False
Suppose -122*r - 139*r - 1944 = -273*r. Is r != 194?
True
Let h = 460.89 + -79.09. Which is smaller: 0.1 or h?
0.1
Let t be -2 - (-12)/(-8)*14. Let l be -19 - t - (243/37 - 3). Which is bigger: l or 1/3?
l
Let q be 4*1/8 + 2/(-4). Suppose -2*m + v + 12 = 0, q = -0*m - 5*m - 2*v + 30. Suppose 0*x - 24 = m*x. Is x at most as big as -4?
True
Let h = -3285 + 2817. Suppose 14*i + 5680 + 886 = 0. Is i at most as big as h?
True
Suppose -5*o = -6*t + 36, -4*o = -5*o - 3*t + 18. Which is bigger: o or -4/1349?
o
Suppose 9 = 17*n - 569. Suppose -1 - n = -5*m. Let w be (-6 + m)*17*1. Is w < 0.2?
False
Let x = -12.7 + -0.3. Let g = -19 + x. Let h = g + 32. Which is greater: h or -6?
h
Let g = -352.57 + 347. Let n = g - 0.73. Which is bigger: n or -1?
-1
Let c be -273*(-3 - -4) + -4. Let p = -2991 - -2713. Is c < p?
False
Let k be 1 - (-4)/(-3) - (-26)/(-1404)*121077. Is -2244 != k?
True
Let c(r) = 45*r**2 + 3*r + 3. Let h be c(-1). Let u be (-24)/(-36)*h/74. Which is bigger: 1 or u?
1
Suppose 3 = 6*x - 3*x. Let y be (4/10)/(17/255). Let z be 18/(-228)*(32/y)/1. Do z and x have different values?
True
Let v be (5 - 16)/(2 + (-6663)/3399). Let z = v - -277. Let c = 19/90 - z. Which is greater: 2 or c?
2
Let r be ((-6932)/(-6))/(-3*10/45). Which is smaller: r or -1734?
-1734
Let x(q) = -q**2 + 9*q + 32. Let h be x(11). Suppose -18*r + 23*r = h. Let o be 2345/737 + (0 - r/11). Do o and 2/7 have the same value?
False
Suppose 0 = -3*v - 2*m - 111 + 264, -2*m = 0. Which is smaller: v or 39?
39
Let z(r) = -2*r - 4*r**2 - r - 2*r + 3*r**2 - 3. Let f be z(-3). Let s be f + ((-2)/(-135) - 3). Is 0 < s?
True
Let n = -7978 + 7977.94. Is 5/24 less than n?
False
Let n(a) be the second derivative of -a**5/10 + a**4/12 + 49*a - 2. Let f be n(-1). Does -23 = f?
False
Suppose -2*h + 3*d + 12 = 7*d, -3*h - 3*d + 18 = 0. Suppose -h*q = -2*q. Let j = -348/17 - -4083/187. Which is greater: q or j?
j
Let d = 10433/840 - 87/7. Let q = -46 + 53. Suppose -7 = q*v - 0. Is v greater than d?
False
Let w = -199 + 203. Suppose -4*l + 2*p - 166 = 0, -3*p - 180 = l + w*l. Let z = -1 + -39. Is z greater than l?
False
Let i be (-60)/210 + (-4708)/(-14). Let k be 34*2/i - (-6)/(-21). Suppose 0 = -3*t + 5 - 2. Is k not equal to t?
True
Let d(t) = t**3 + 11*t**2 + 22*t + 24. Let m be d(-9). Let a be ((-3)/m + (-12)/(-16))*-35. Are a and -0.2 non-equal?
True
Let k = -20254.96 - -20255. Which is bigger: k or 12.09?
12.09
Suppose 5*y + 102 - 92 = 0. Let j be y/15 - (-368)/60. Let p be (-1)/j*(4 - 3). Is -0.1 >= p?
True
Let r(g) = 4*g**3 + 64*g**2 + 148*g - 32. Let b be r(-13). Which is smaller: 73 or b?
b
Let j(r) = r**3 + 1. Let c be j(1). Let s be ((-2)/c)/(2/(-8)) + 0. Suppose -s = 4*d - 28. Which is bigger: d or 40/7?
d
Suppose 3*x - 3*v = -2*v - 39, 0 = -3*x - 4*v - 24. Let k be (2 + 32/x)/(8/3). Let z = -1 - -1. Which is smaller: k or z?
k
Let r be (-6)/(-9)*-1 - (-107)/3. Suppose r = -5*s + 25. Is s bigger than -40?
True
Let c = -349 - -352. Let z(x) = x**3 - 2*x**2 - 4*x + 3. Let p be z(c). Let m be ((-1)/(-6))/((-26)/8). Are m and p equal?
False
Suppose -75*c + 205 = -70*c. Suppose 192 = c*v - 44*v. Which is smaller: -1/3 or v?
v
Suppose -3*o = -j - 140 + 143, 3*j = -4*o + 9. Suppose o = 756*b - 751*b - 5. Which is smaller: b or -10/29?
-10/29
Suppose 0 = -15*m + 13270 - 88585. Which is smaller: -5025 or m?
-5025
Let c = 0.5312 + -0.6612. Which is smaller: 2/1147 or c?
c
Suppose -3*i = -5*y + 30, -21*i + 23*i + 5*y = 30. Which is smaller: 2648 or i?
i
Suppose 2*k = -2*x - 0 + 6, 2*k + x - 5 = 0. Suppose w = -2*m + 7, 5*w + k = 5*m + 7. Suppose 55 = -3*a - v, 0 = 5*a - w*v + 59 + 42. Are a and -20 equal?
False
Let c = 1.6 + 15. Let a = c - -3.4. Let f = a - 45. Is f greater than -1?
False
Let v = 8/7 + -250/231. Let p(l) = 4*l + 22. Let h(b) = 4*b + 25. Let z(o) = 5*h(o) - 6*p(o). Let w be z(-2). Which is bigger: w or v?
w
Let a be (-34)/(-4) + ((-99)/(-18) - 6) - 14867. Is -14860 smaller than a?
True
Let u = 3419 + -2574509/753. Is u greater than or equal to 1?
False
Let u be -5*(-12)/(-20) + 3*1. Suppose h = u, y + 2*h = 5 + 64. Is y greater than or equal to 275/4?
True
Let m = -1825079/7 - -259809. Let u = m - -921. Is u < 5?
True
Let n be 24370/6 + (-4)/(-3). Let r = 15763/4 - n. Let b = -29837/244 - r. Which is greater: 0 or b?
0
Let a = -124 + 190. Let h = 0.0571 + -66.1571. Let s = h + a. Which is greater: 0.32 or s?
0.32
Let o be 38/(-9) + 6/(-216)*-8. Let h be ((-24)/36)/(o/(-6)). Let v be -4 + (-4 - (-620)/76). Which is smaller: v or h?
h
Let h(n) = -n**2 - 46*n - 356. Let q be h(-10). Which is bigger: 36/17 or q?
q
Let h be 925/1320 - ((-10)/(-6) + -1). Let t = -1653 + 1653. Is t != h?
True
Suppose 40*h = 198*h - 756820. Which is greater: 4789 or h?
h
Let r = -11 + 8. Let v(t) = 6*t + 46. Let o be v(-7). Let u be 6*((-16)/10)/o. Is u equal to r?
False
Let v(h) = h**3 - 14*h**2 + 28*h - 55. Let o be v(12). Let m = 134/9 - 194/9. Is m greater than or equal to o?
True
Let w = 50 - 50. Suppose 4*y = -2*z + 12, -4*z + 10 = -w*z + y. Let r be 2 + z + 372/(-87). Are r and 0 non-equal?
True
Let w be 7/14*0/2. Suppose w = 5*s - 512 - 393. Let b = 3803/21 - s. Which is bigger: b or -1?
b
Suppose f = -2*j - 104, -3*f - 3*j = 54 + 261. Is f < -10?
True
Let p = -2936 - -13136. Do p and 10200 have the same value?
True
Let c be (-36)/(-90) + (-1027)/2570. Let h = c - -8683/801840. Let f = -2/39 - h. Is 1 at least f?
True
Suppose -4*f - 8*a = -13*a + 499, 3*f + 2*a = -380. Let l be 7 - (-2382)/f - -8. Which is bigger: -3 or l?
-3
Let v = 5 + 0. Let m be (-1088)/3808*(-28)/1. Let f be (m - v)*8/12. Is 10/9 smaller than f?
True
Suppose -18*r = -12 + 12. Suppose 56*i + 7*i - 1197 = r. Let w = 39 - 23. Which is greater: w or i?
i
Let r = -30951 + 30956. Is 103/24 equal to r?
False
Let n = 36532 - 440899/12. Is -209 >= n?
True
Let l be ((-14)/(-525))/(2175/(-45)). Is l less than -1?
False
Let p = -40/9 + 379/63. Let m = -195/133 + p. Let d = 44/57 - m. Which is bigger: d or -29?
d
Let z be (-5 - (3 - 6)) + -180. Let h be (-4)/(-14) + (-4862)/z. Suppose -h*n - 63 = -18*n. Is n less than -41/6?
True
Let i be (-135)/(-253) + 96/(-352). Let b = -2 + 2. Which is smaller: i or b?
b
Let n = 12510 + -12510.1. Is -3.324 greater than n?
False
Let f be (-521)/9 - (-1)/(-9). Let l = 62 + f. Let q = l + -4. Which is smaller: q or -1/42?
-1/42
Let f = -436.98 - 84.12. Let b = f - -521. Which is smaller: b or 8?
b
Let j be 9/(-3) + -1 + ((-24639825)/293350)/(-21). Is 1 at least as big as j?
True
Let s be (-5 - 4360/(-864))/(5/3). Let h(d) = d**2 - 7*d - 1. Let j = 3 + 4. Let w be h(j). Is w > s?
False
Suppose 162*o + 147*o = 229587. Which is bigger: 741 or o?
o
Let f = -762 + 471. Let m = f + 453. Is 0.1 < m?
True
Suppose 0 = -4*t + 6*t. Is -255 at least t?
False
Let p = 4.2903 + 2.1097. Which is smaller: -0.129 or p?
-0.129
Suppose -x + j - 278 = 0, -20*x + 24*x - 5*j = -1116. Which is greater: x or -2474/9?
x
Let j = -994/9 - -110. Suppose x + 8 = 4*o, -3*o + 4 + 11 = -3*x. Is o <= j?
False
Suppose -63*d + 67*d = 40. Suppose 158 = -4*l - d. Let i be l/(-9) - 4 - 1. Are i and -1 equal?
False
Let t = -34 + 61. Let a = -6/439 - -30748/1317. Let u = a - t. Is u smaller than -4?
False
Let g(z) = -z**3 - 14*z**2 - 13*z - 8. Let i be g(-13). Suppose 76*u - 56 = 80*u + 4*y, -4*u - 20 = -2*y. Is i greater than u?
False
Suppose -4*g + g = 15. Let z be 1/g - 154/(-70). Suppose -20*a + z = -19*a. Which is bigger: a or 3?
3
Let g be -6 + 32/5 - (0 - 3312/(-5)). Which is smaller: g or -657?
g
Let n = 82342/21 + -3921. Suppose 3*k - 3 + 0 = 0. Let p = -2 + k. Is n > p?
True
Let x = -17/16 - -327/112. Let q be (-2286)/(-10) - (-1 + (-104)/(-65)). Suppose m + 226 - q = 0. Which is greater: m or