/(-15)). Suppose 0 = o + 160 - m. Is o greater than -69?
False
Let b = -2424 + 3117. Is b greater than 678?
True
Suppose 21*n - 9 = 18*n. Suppose s = n*a + 12, -4*s + a - 3*a = -20. Suppose -5 = s*o - o, -3*w + 4*o = 41. Is w equal to -17?
False
Let q = -0.206 + 2.526. Let y = q - -32.68. Let n = 0.2 - 0.2. Is y < n?
False
Suppose 90 = -17*w + 15*w - 10. Is w at most as big as -33?
True
Let l(t) = -49*t - 137. Let g be l(-3). Let q be ((-5)/g + -2)/(1/2). Which is smaller: q or -37/6?
-37/6
Let o(m) = -m + 7. Let t be o(6). Let n be 10656/160 - 3/5. Let g be 2*-3*3/n. Which is smaller: g or t?
g
Suppose -5*o - r - 194 + 194 = 0, r = -4*o. Which is smaller: -74/93 or o?
-74/93
Let f = 1231421/2052497 - 230/383. Which is greater: 0 or f?
0
Let m = 45 - 43. Suppose -4*h - 49 = -5*v, -m*h + 4 = 5*v - 9. Let q be h/140*18 + (-10)/(-50). Is 1/3 bigger than q?
True
Let n be (-7)/(-21)*(-101916)/21. Let f = n + 1625. Which is bigger: 6 or f?
f
Let d(c) = 8 + 6 + 11*c + 2. Let x be d(-8). Let g = x - -43. Do -30 and g have different values?
True
Let o = 1.93 + -2.03. Which is smaller: -3790 or o?
-3790
Suppose -3*f + 8 = -4. Suppose 1 = -2*r - x, -4*x = -f*r - 0*r - 32. Let j = -1760 - -1760.2. Is j less than r?
False
Let s = -2481 + 22333/9. Which is smaller: s or -3/71?
-3/71
Let d(q) = 22*q + 553. Let t be d(-25). Which is smaller: t or 112?
t
Let k = 0.212 + 2.128. Let s = k - 1.34. Which is greater: -1/711 or s?
s
Suppose 2*a = -a + 327. Suppose -3*y = -o - 41, -4*o + 2*y - a = y. Let w = 26 + o. Which is greater: -1/8 or w?
w
Let m = 6 + -21. Let h be (-33)/2*50/m. Let y = h - 65. Which is greater: y or -1/6?
-1/6
Let a = -89 + 179. Let d = -9508 - -9508. Which is greater: d or a?
a
Let i be -222*(-1 - (-20)/12). Let u = i - -4. Let b = 143 + u. Is -10/11 greater than b?
True
Suppose 6*c - w - 297 = 7*c, 2*c = 5*w - 594. Let v be (9*(-6)/c)/(-1). Is v != 2/33?
True
Let y be ((-812)/42 - (-1)/3)/(-1). Suppose -2*h - 4*k - 190 = -7*h, -h - 3*k + y = 0. Let w be 4/h - 1144/(-1547). Which is bigger: w or -1/3?
w
Let o be ((-166)/(-6) - 0) + ((-460)/15)/(-23). Let j = -1 - 0. Is j at most o?
True
Let z be ((-707)/303 + (-2 - -5))/((-706)/15). Which is greater: 1 or z?
1
Let n = -36 - -36.16. Let p = n - -0.08. Let y = -0.16 + p. Are y and 1/2 equal?
False
Let i = -58 + 60. Suppose -5 + i = 3*f. Which is bigger: 1/147 or f?
1/147
Let c = 90.1145 + -0.0145. Let u = 90.2 - c. Is u smaller than -160?
False
Let c be (0/(2*-1))/(1 - 0). Let p be c/(((-2)/1)/1). Which is smaller: 20/21 or p?
p
Let g be -45*((-11 - 6) + -50). Which is smaller: g or 3017?
g
Let u(t) = -t**3 - 16*t**2 - 27*t - 171. Let m be u(-15). Let q be 5/(-15) + 48/m. Which is smaller: q or 110/21?
q
Let c = -180 - -181. Let i = 45.6 - 40.6. Is i greater than or equal to c?
True
Let s be (22/99)/((-14)/357)*(5 + -254). Is s greater than 1411?
False
Let h(k) = k**3 + 27*k**2 - 61*k - 87. Let l be h(-29). Suppose -p - 211 = 69. Let b be (p/276 - -1)*-6. Which is greater: l or b?
b
Let n = 0.0568 + -299.0568. Let r = -301 - n. Which is smaller: -3 or r?
-3
Let i = 1 + -0.9. Let n = 23645 - 23952.78. Let w = n + 308. Is i != w?
True
Suppose 2*c + 2*s = 33 - 19, 0 = -c - 4*s + 25. Is 5970 at least as big as c?
True
Let b = 26738/3 - 8912. Let i = -2.94 - 0.06. Let k = i + 4.3. Do b and k have the same value?
False
Let o be (-17 + -6)/((1 + (-68)/72)*2). Which is smaller: o or -200?
o
Let k be (-1)/4 - (-2)/8. Suppose k*b - 2*b - 2 = 0. Let z be b/3*(-171)/21 - 3. Is z > -1?
True
Let p = 32 - 0. Suppose 0*a + 4*a + 25 = 3*u, -4*u + 5*a + p = 0. Suppose -u*v = 8*v - 11. Is -4 smaller than v?
True
Let t = -10.45 + 12.45. Let o = -39 - -42.2. Are t and o non-equal?
True
Let m = 4651 - 4651. Which is smaller: -2/1461 or m?
-2/1461
Suppose -9*o = 9*o + 1224. Let g = o + 105. Is 38 greater than g?
True
Suppose 43*d = 41*d + 78. Let v be (d - -1) + (-5)/((-35)/(-14)). Is v not equal to 38?
False
Let g = -5010 + 4621. Is g bigger than -391?
True
Let p = -3959 + 4013. Which is smaller: 425/8 or p?
425/8
Let m = -524.506 - -0.506. Let y = m - -739. Which is smaller: -2/3 or y?
-2/3
Let i = 0.2 - 1.2. Let j = 0.040731 + -1.220731. Is i greater than j?
True
Suppose 2*v = 5*y - 1265, 0 = -4*v + 3*y - 2588 + 51. Let c = -717 - v. Which is greater: -1/4 or c?
-1/4
Let b = 129 + -136. Let d be 6 - (b - 906/(-72)). Which is bigger: d or 1?
1
Let i be (-19)/(-76)*(-6)/(-133)*(-31 + 177). Which is greater: i or 3?
3
Let f be 0 - 105/(2 - 5). Let g be -3*(-224)/(-108) + 4/18. Let n be ((-4)/f)/(g/21). Which is greater: n or 13?
13
Let p(v) = -20935*v + 4. Let l be p(1). Let s = l - -18607657/889. Which is smaller: s or 1?
s
Let i = -344 + 1729/5. Suppose -5*c + 32*m - 4 = 29*m, c + 4*m - 13 = 0. Which is smaller: c or i?
c
Let a = -8465 - -8464.612. Do -0.7 and a have the same value?
False
Let q = -1226.85 - -1228. Let c = -164 - -163. Which is smaller: q or c?
c
Suppose -4*j + 54 = 3*z, 0 = -2*j - z + 19 + 9. Let q = -23 - -21. Let v be (-5)/j*q/((-114)/27). Is 1 greater than or equal to v?
True
Let d(o) = -o**2 - 17*o + 60. Let x be d(-20). Suppose 26*m - 24*m - 34 = x. Let y = 653/6 - 185/2. Which is bigger: y or m?
m
Let k be (19 - -1)/(-2)*45/(-30). Let w = -13 + k. Let n be (9 - 4)*w/(-16). Is n at least -2/3?
True
Suppose 2*n = 9*n. Let x = 22/183 + 796/8601. Are x and n unequal?
True
Let p be 2/(-8) + (-7)/4. Let t = -137198 + 137200. Does p = t?
False
Let b be ((-38468)/(-163))/(4/(-12)*6/4). Is b >= -472?
True
Let q be ((-10)/4 + (-7188)/120)*135/(-6). Is 1412 > q?
True
Let q = 2.995 - 3. Let c = 0.140548 + 0.059452. Is c smaller than q?
False
Let u = 92.4 - 93.4. Which is bigger: u or -4.56?
u
Suppose 5*w - 32 = -3*k + 171, 5*w - 199 = -4*k. Is w less than or equal to 10?
False
Suppose 2*s = s - 32. Let x = 26806 - 107353/4. Is s less than x?
False
Let g = 42650266/1329 + -32092. Is -1 greater than or equal to g?
False
Let n be (-22)/77 - (-110)/(-7). Let u = n + 28. Let s = 1390/9 - 6968/45. Is u greater than s?
True
Let k = -19904 + 59939/3. Which is smaller: 0 or k?
0
Let p(s) = s**3 - 11*s**2 - 18*s + 120. Let y be p(6). Let j = -490 + 322. Is y at most j?
True
Let c = -5131 + 1883080/367. Let q(g) = -5484*g + 65808. Let t be q(12). Is c < t?
False
Let y = -26.9 - -14.3. Let u = -5.4 + y. Which is greater: u or -4?
-4
Let p be (104/66)/((-2160)/(-1320)). Is p < 1?
True
Let p be (-40)/(-16)*(-6)/(-5). Suppose -3*j + 12 = p*o, 11*j - 15*j = -3*o - 9. Which is bigger: o or -99?
o
Let x = -49807115 + -23011926. Let r = -35608290842/489 - x. Let c = -1351/3 + r. Do c and -1 have the same value?
False
Let x(s) = s**3 - 14*s**2 - 18*s + 49. Let h be x(15). Suppose -4*b - 800 = -h*k, 2*b + k - 2*k = -402. Is b greater than -200?
False
Let t = 0.287 + 116.713. Let p = 118.17 - t. Let r = 3.17 - p. Which is bigger: -0.03 or r?
r
Let j(w) = w**3 - 14*w**2 + 25*w + 2. Suppose -3*h - 1 = -y + 5, -2*h = -4*y + 44. Let x be j(y). Is x <= 108/7?
True
Let p = -60 + -27. Let t = p - -80. Let h be (-1 + t)*25/15. Which is smaller: -14 or h?
-14
Let s = 4129 + -4128. Which is bigger: -4/83 or s?
s
Suppose c = -5*w + 7, 0 = -3*w + 4*c + 241 - 223. Which is smaller: 29/45 or w?
29/45
Let i = 95218.078 - 95218. Let m be (-2)/8 + 7/(-20). Are i and m equal?
False
Let k be (5 + (-110)/25)*500/290050. Do -0.1 and k have the same value?
False
Let a = -320 + 46. Let m = 273 + a. Is 13 equal to m?
False
Suppose -4*v - 3*j = 3 - 4, 0 = -v + 2*j + 14. Suppose -2*m - 14 = -3*l, v*m - 4 = 2*l - 4*l. Suppose -l*i = -8 + 4. Is 0 != i?
True
Let p be 1 + -1 - 0 - 0. Suppose 14*b - 93 = -54 + 493. Suppose 5*s - 5*j - b + 13 = 0, -2*s - 5*j + 3 = p. Is 15 at most as big as s?
False
Suppose -2*z = -10*z - 57*z + 70200. Is z <= 1078?
False
Let g(u) be the third derivative of u**6/120 + 3*u**5/20 - 7*u**4/24 + 17*u**3/3 - 16*u**2. Let q be g(-10). Let v be (-1 + q)*(-638)/(-33). Are 58 and v equal?
True
Let w = 6434.14 - 6433. Is w less than -0.15?
False
Suppose y = -y + i + 22, 3*y - 23 = -i. Suppose 1200 - 273 = -y*m. Let w = -67 - m. Are 35 and w unequal?
True
Let z = 45 + -35. Let a be (-191)/26 - (-12 + z). Let s = -1/78 - a. Which is bigger: s or 6?
6
Let t = 0.3 + -4.3. Let l = -31.09 - -29.49. Let a = l - t. Are 0 and a nonequal