hich is bigger: 16/7 or q?
16/7
Let t = -283 - 137. Let h be 7/(t/222) + 4. Is h less than -6?
False
Let s = -35.33837 + 0.00837. Let r = s - -35. Let k = -0.26 - r. Is k less than or equal to 2?
True
Let i be 8/(-10) - (11 - (-355966)/(-30170)). Is 1 > i?
True
Let n(i) = -i**3 - 4*i**2 + 2*i - 14. Let q be n(-5). Let x = 1/209 + -276/14003. Let k = 317/12261 + x. Which is bigger: q or k?
q
Let w(l) = -l**3 + 9*l**2 + 66*l - 423. Let g be w(7). Which is bigger: -2 or g?
g
Let p = -480 + 225. Let z = p + 188. Let j be 9/(-24) + 3246/(-48). Do z and j have the same value?
False
Let y = -62942 + 24987960/397. Is 0 at least y?
True
Let u be -4 - (-1 + -9) - 2. Let c(p) = 4*p - 5. Let r be c(u). Suppose -9*t + r*t = -10. Is -0.1 less than or equal to t?
False
Let b = -27218 - -27235. Is -2/3 <= b?
True
Let t be 3 + (-200)/65 - 8/208*-2. Is t at least -2/72949?
True
Let b = 8959 - 26878/3. Which is smaller: b or -5/554?
b
Let i = 101382/5977 + -747/43. Which is smaller: i or 1?
i
Let f = -4 - -3.7. Let r = 33.531 + -28.531. Which is greater: f or r?
r
Let f be ((-8)/(-996))/((-18)/27). Which is greater: f or -5?
f
Let c = 192.194 + -192. Let k = 811 - 810.906. Let b = c - k. Is -24 smaller than b?
True
Let l = 268/1911 + 2/147. Let j = 3.5902 - 3.5002. Is l bigger than j?
True
Let k be 11/6 + (-14)/((-168)/(-10)). Are k and 161 equal?
False
Let k = -2/7825 - 31274/101725. Is 1/69 != k?
True
Suppose -22679 = -122*r + 355523 - 52462. Is r < 2668?
False
Let f(r) = r + 4. Let s be (-24)/10 - (-10)/25. Let w be 49/17 + s/(-17). Let b be f(w). Do b and 6 have the same value?
False
Let a be (11133/(-24))/(14 + (-452)/32). Which is bigger: a or 3714?
3714
Suppose 2*t - 25 = 5*d, 3*d - 6 = -5*t + 10. Suppose 3*q = 4*p - 24, -4*q + 5*q + 41 = t*p. Suppose 2*w - 55 = -3*w. Is p greater than or equal to w?
False
Let k(p) = -p**2 + 4*p + 37. Let n be k(0). Let v = n - 40. Let w(c) = 5*c + 12. Let g be w(v). Is 19 less than or equal to g?
False
Let q(f) = -165*f - 638. Let p be q(-4). Is p greater than or equal to -94?
True
Let g be (9/4 + -2)/((-413913)/(-1124)). Which is smaller: -6 or g?
-6
Suppose 4*t + 43 = 9*t + u, t - u = 11. Let q be 748/(-33) + 6/t. Which is bigger: q or -17?
-17
Let v be 0 - ((-4)/3 - 1). Let q = -7689 - -7685.027. Let o = 1.973 + q. Which is smaller: o or v?
o
Suppose 52*r + 1 = 2196 + 1861. Is r equal to 75?
False
Suppose 5*c + 5*s = -10, 0 = 5*c - 3*s - 8 - 22. Suppose -d + 3*z = -c*d - 14, 3*d = 2*z + 5. Let r be (-22)/(-14) - 1 - 1/(-25 + 27). Which is smaller: d or r?
d
Let b = 0.15 - 0.27. Let k = 7274 + -29091/4. Which is smaller: k or b?
b
Suppose 5*t = -2*w + 12, -3 = -t - 8*w + 7*w. Suppose -16*j = -11*j + i + 19, 22 = -t*j - 4*i. Do j and -2 have the same value?
False
Suppose -8*v + 3*v = 2*h + 156, 5*v - h = -162. Let r be 11/8 - (-12)/v. Is r smaller than -2/381?
False
Let y = -279 + 278.088. Let v = y - -1. Let u = -0.012 - v. Is u greater than or equal to 2.7?
False
Let m be (17 - 1111/66)/((-1)/(-36)). Is m less than or equal to 29/6?
False
Let o = 2.5558 + 0.0442. Let t = -2.6 + o. Is 19 greater than t?
True
Let s = 12199 + -59214/5. Let q = 773 - 415. Let f = s - q. Are 0 and f equal?
False
Let s be -2945 - ((-156)/195)/((-1)/(-5)). Is -2941 less than s?
False
Let n be (-2)/24*8/(-5). Let q be (-1 - 10/(-14)) + 62/217. Suppose -3*g + 3*z - 12 = q, -2*g + 4*z = -4*g + 16. Which is greater: g or n?
n
Let o = -0.0004 + -0.0996. Let j = o - -0.03. Which is greater: j or -1.8?
j
Let o be (13 + 2646/36)/(0 - 1/(-2)). Is o equal to 165?
False
Let f(t) = 37*t**2 - 7. Let a be f(3). Suppose -31*k + 14744 = 4638. Is k equal to a?
True
Let x be 2 - (36 - -15 - -12). Is x <= -656/11?
True
Let s = -10215 - -10173.7. Are 4 and s nonequal?
True
Let d = -1.8 - -46.8. Let s = d + -47. Let m be ((-2)/(-20))/((-3)/6). Is s less than or equal to m?
True
Let h be (-2)/(-8) - 303/12. Let w = -202 + 205. Suppose 4*i = -2*n - 25 - 89, 0 = w*i + 2*n + 88. Do h and i have the same value?
False
Suppose 0 = -d - 3*z, 2*z + z = 4*d. Suppose 4*u + 5*j + 622 = d, 4*u - 2*j = -99 - 509. Which is smaller: -152 or u?
u
Let h be (0 - -4)/(-14 + 12). Let u be h/(-3)*1 - (-65)/15. Suppose 4*q = 3*i + 19, 23 = q - 3*q - u*i. Is q <= -2/19?
False
Suppose 0 = 5*b + 3*d + 8, 2*b - 3*d = -2*b - 1. Let r(m) = -13*m**2 + 20*m + 1. Let k be r(3). Let j be k/(-13)*40/(-160). Which is greater: b or j?
b
Let c = 16/1471 + -4445/2942. Which is bigger: c or -1132?
c
Let m = 8207/17 + -483. Suppose -3*v - u = 9, v = -0*v + u + 1. Let f be 4/v*1 - -2. Which is smaller: f or m?
m
Let q(s) = -s**3 - 8*s**2 + 8*s - 5. Let h(x) = -5*x**3 - 33*x**2 + 32*x - 20. Let a(w) = -2*h(w) + 9*q(w). Let o be a(5). Which is smaller: o or 8?
8
Let h = 1/11177 - 58331/27338942. Is h less than 0?
True
Let c = -7911 - -8253. Which is smaller: 344 or c?
c
Suppose -u = -5*u + 8. Let a be (1 - 0) + 3 - 418. Let q = a + 419. Which is smaller: u or q?
u
Let z(j) = j - 6. Let p(u) = u**2 + 2*u - 8. Let o be p(-5). Let s be z(o). Suppose 23*y = 3*n + 27*y - 87, -n - 4*y + 29 = 0. Which is greater: n or s?
n
Suppose -7*l = -14*l - 6825. Let w be ((-1)/1465)/((-130)/l). Is 1 greater than or equal to w?
True
Let c be 3/((-4)/(-2736 + 8)). Let h = -349867/171 + c. Is h at most as big as -1?
False
Let z(h) = h + 45. Let i be z(-41). Let b be 1*-1*(-3 + i). Which is greater: b or -16/45?
-16/45
Suppose 70 = -y - u, 0 = 2*y + 4*u - 24 + 178. Is -69 greater than y?
False
Let g(x) = 8*x + 19. Let v be g(-10). Suppose 3*w + 186 = 5*j, -4*w + 5*j = 158 + 90. Which is bigger: v or w?
v
Let o be 22/(-44)*-20 + (-101)/8. Is -3 greater than o?
False
Let s be 9*(6 + (-26)/(-6)). Let t be s/(-10850)*10/(-24). Is t smaller than 0?
False
Let v = -431 + 866. Suppose -39 + v = -6*y. Let g(s) = -s**2 + 7*s + 12. Let h be g(-6). Is y < h?
False
Let u(s) = -3*s**2 - s + 3. Let h be (-8)/20 - 3/(-45)*-9. Let v be u(h). Let m = -118 - -74. Is m less than or equal to v?
True
Let f = -106 - -52. Let w = 51.1 + f. Let k = 2.8 + w. Are k and -3/7 equal?
False
Let s = -15/38 - 5273/95. Let k = s - -56. Let b = 303 - 304. Is b bigger than k?
False
Let w = -409 + 381. Let m(u) = -u**2 - 25*u + 83. Let d be m(w). Let z = -3089 + 58673/19. Which is smaller: d or z?
d
Let a(r) = -r**2 - 3*r - 2. Let z be a(-6). Let f = -13 - z. Suppose -10*p = -3*p - 24*p. Which is bigger: p or f?
f
Let i = -667/4 - -160. Let x be ((-6)/7)/(30/(-140)). Suppose -v = 4*w + 33, -x*v + 5 = -2*w - 7. Is i smaller than w?
False
Let a be 2/(-2)*(-6)/6978. Let k = a - 2405/91877. Let i be (-15)/(-360)*6*(-1 + 1). Is i > k?
True
Let n(r) = -2*r**2 + 2*r. Let d = -307 + 308. Let k be n(d). Which is bigger: k or 1/89?
1/89
Suppose 4*r - 3*r - 12 = p, -3*p = 2*r + 36. Let q be p/(-9) - 10/(-6). Let y be 1 - (1 + (-13)/3). Which is greater: y or q?
y
Let i be -4 - (2 + 10251/7). Let c = i + 1468. Does -1 = c?
False
Let y(p) = 4*p**2 + 77*p + 1119. Let k be y(-38). Do k and 3968 have different values?
True
Let i be 34/(((-4)/2)/2). Let b = 16 - 35. Let g = b - i. Is 15 at most as big as g?
True
Let o(w) be the second derivative of w**3/6 + 13*w**2 + 16*w. Let h be o(-12). Suppose -12 - h = -u. Which is smaller: 27 or u?
u
Suppose 3*k + 100 = -110. Let o be 1288/(-20) - 6 - (-6)/15. Is o at most as big as k?
True
Let o = 33620 - 175798981/5229. Which is bigger: 1 or o?
1
Suppose 232*q + 7059 - 3204 + 11921 = 0. Which is smaller: q or -277/4?
-277/4
Suppose -8*i - 18 = -5*d - 6*i, 2*i - 18 = -4*d. Suppose 237 = 5*t + 3*l + 40, -4*l - 132 = -d*t. Suppose 0 = 39*j - t*j. Are 5/9 and j unequal?
True
Suppose 0 = 2*k + 81 + 161. Let m be -97 + ((-8)/46 - 567864/21988). Which is smaller: m or k?
m
Let n = 178 - -385. Let o = n + -652. Which is bigger: -91 or o?
o
Let c = 1954 - 80105/41. Suppose 9*r + 0*r = 9. Which is smaller: r or c?
c
Let l = 14923 + -74612/5. Which is smaller: l or -3141?
-3141
Let s(j) = -j**2 - 84*j - 1318. Let p be s(-63). Which is greater: p or 1066?
1066
Suppose 4*z - b + 2 = -9, -5*b = -2*z + 17. Let m be z/8*12/(-10). Let j = -16902 - -16902.1. Is m smaller than j?
False
Let r = 520 + -519. Suppose 2*z - 21 = -5*m, 0 = -4*m + 3*m + 3*z + 11. Let d be (2/m)/((-4)/80). Is d != r?
True
Let c(a) = a + 17. Let y be (36/16)/(15/40). Let i be 