bigger: -2/19 or u?
u
Let o be 0/((1 + -2)*-2). Suppose -4*t + 7*t - 18 = o. Let d be (-4)/22 + t + -6. Is d equal to -1/3?
False
Suppose -4*l + 45 = 313. Let x = -59 - l. Is x at least as big as 104/11?
False
Suppose 560 = 3*n - 4*p + 286, 0 = 3*n - p - 262. Does n = 80?
False
Let w be ((-7)/3)/(22/(-363) + (-1587)/(-26730)). Are 1890 and w unequal?
False
Let q be 11901/12 - (-2)/(-32)*-4. Which is smaller: q or 990?
990
Suppose 15 - 43 = 2*b. Let a be ((-189)/b)/(3/8). Suppose -2*f + 5*m = -a, 2*m - 4*m = 4*f - 24. Which is greater: 9 or f?
9
Let k = -111/136 + 7/8. Suppose 2*w = 2*p - 6, -3*w - 3 = 248*p - 249*p. Is k less than w?
False
Let t be (-126)/(-22*(-4)/(-32)*2 - -5). Are t and 6 non-equal?
True
Let b be -3 + 17/2 - 20/40. Is b at least as big as 540?
False
Suppose -5*p + 4*p + 2 = -5*s, 5*p - 10 = s. Suppose -26*l + 18 = -60. Suppose 0 = -3*d - 3*v + l, 5*d + 14 = 2*v - 9. Which is bigger: d or s?
s
Let m = 147.5 - 147.3. Is -322 equal to m?
False
Let o = -2220 - -2220. Which is smaller: o or -35.9?
-35.9
Let p = -583 + 582. Let o be -2 + (p/2 - (-9449)/3762). Is o greater than or equal to -0.3?
True
Suppose -80*k - 14595 = -65*k. Is 2/7 smaller than k?
False
Suppose 137*f + 2289440 = 55*f - 123*f. Are f and -11169 equal?
False
Let h be (-11*21/(-14))/(3/(-4)). Let a be (1639/h)/((-2)/(-4)). Is a bigger than -149?
False
Let o = 70 + -680. Let c = o + 683. Which is greater: 72 or c?
c
Let k be (-61)/(-122)*(269 + 1). Is 138 > k?
True
Let r(h) = 49 - 109 - h**3 + 9*h**2 + 56 + 11*h. Let o(i) = -4*i + 2. Let n be o(-2). Let v be r(n). Which is bigger: v or 7?
7
Let p = -58 + 46. Let b be (-11)/(-2) + p/24. Suppose 0 = 5*w + b*v + 5, -w - 2*v = 3*w + 4. Is w at least 1/6?
False
Let q = 1.02 - -0.65. Let m = -32.67 + q. Which is smaller: 2 or m?
m
Let b = -93 + 83. Let m be (0 + -3)*(-112)/(-42). Is m > b?
True
Let i = 159680506/3229 - 49452. Which is greater: -1 or i?
i
Let p = 30 + -82. Let o(s) be the second derivative of -s**4/6 - s**3 + 27*s**2/2 + 24*s. Let a be o(-8). Is a at most p?
True
Let l = 78 - 76. Suppose -97 = -3*k - 5*b, 0 = -5*k - 2*b - l*b + 179. Is k smaller than 36?
False
Let m(n) = -6*n**2 + n + 32. Let b be m(-5). Let s be -4 - ((-9)/(-3) + b). Which is smaller: s or 117?
s
Suppose -3*a + 8 = -5*a. Let y = -70.74708 - 0.25292. Is y smaller than a?
True
Let n be ((-23)/(-2) + 1)*(-37098)/687. Which is smaller: 3 or n?
n
Let x = 1082 + -1081. Is 10/943 greater than or equal to x?
False
Let d(b) = -b**2 + 9*b + 7. Let l = 57 - 15. Let v = l + -33. Let q be d(v). Which is smaller: 5 or q?
5
Let p = -5 - -15. Suppose a + 16 = -3*a. Let k be (-144)/40*p/a. Is 9 smaller than k?
False
Let d be ((-5)/(-3))/(2/(-6)). Let o = 7403 + -7405. Let b be (-2 - o)/(-3 - d). Which is smaller: b or 4/5?
b
Let s = 1396 + -980. Let g = 280 - s. Which is smaller: g or -137?
-137
Suppose 6*p - 8*p - 19170 = 3*p. Is p smaller than -3837?
False
Let u = -645578785 + 589413568827/913. Let w = u + -1662/11. Let z = w - 1440/581. Which is bigger: -1 or z?
-1
Suppose -15*q - q + 311 = -153. Let t be 75*1 - 6/3. Let g = t - 44. Is g at most as big as q?
True
Let p = -0.2364 - 0.0636. Which is smaller: p or -631/5?
-631/5
Let q be 38/((-13338)/279201)*-1*(-3)/(-1). Is 2385 at least q?
False
Suppose -73*r = -178*r - 9240. Which is bigger: -121 or r?
r
Let v = 1.1 - -26.7. Let f = 3 + -33. Let r = f + v. Which is greater: r or -0.1?
-0.1
Let d = 2.54 + -140.54. Let a = d - -163. Which is smaller: 2 or a?
2
Let h be (103166/222)/7 + -4. Let v = h + -187/3. Which is greater: 1 or v?
1
Let l = -20/223 + 12217/138706. Which is greater: l or 0?
0
Let i = 180809/61 - 2964. Let k(g) = -243*g**2 + 3391*g + 153. Let f be k(14). Which is bigger: i or f?
i
Let z = -648 - -638. Let p be (-3)/(3 + 0) - -3. Let i = p + z. Are -8 and i equal?
True
Let r(i) = 12*i + 50. Let m be r(-4). Suppose 3*j - 101 = 4*p + 144, -m*p = -3*j + 247. Is 82 != j?
True
Suppose 78 = -15*p - 57. Suppose 5 = -2*n - 7. Let i be 1/(-3) - n/p. Which is smaller: i or 0?
i
Let c(i) be the first derivative of i**3/3 - 9*i**2/2 - 11*i + 43. Let f be c(10). Are 1/23 and f equal?
False
Let p(o) = o**3 - 16*o**2 + 22*o + 82. Let v be p(14). Let b be (-1)/(14/(-5) + 3). Let z = b - -5. Which is smaller: v or z?
v
Let k be (-1)/24*3 + 7218/16. Let q = -451 + k. Which is greater: -24/31 or q?
q
Let a = 0.0853 + -0.2053. Let f be (-17)/2 - 1/2. Let j be (-1)/f + 2/(-6). Is j smaller than a?
True
Let b = 26553 + -26668.13. Let u = 115 + b. Which is smaller: u or 1?
u
Suppose -1299076 = -5*g + 126*g - 332044. Which is smaller: 0.2 or g?
g
Let t = -3714 + 4180. Which is greater: t or 471?
471
Let q be (-54)/(-567)*-1 + 10842/116487. Is -1 >= q?
False
Suppose -9*q + 127 = -12*q - p, -195 = 5*q + 5*p. Let w be 4 - ((-1128)/q)/6. Let u(d) = -d**2 - 8*d + 1. Let j be u(-8). Which is smaller: w or j?
w
Suppose 250929 = 24*x + 250233. Is x at most as big as 114?
True
Let t be (11932/552 - 2) + (-45)/54. Is t less than or equal to 18?
False
Let l = -558 - -558.76. Let s = 1.4 + -1.5. Which is bigger: l or s?
l
Suppose 4*b = -s - 8, -5*b - s + 8 = 19. Let t be 20/(-35) + 5050/(-2065) - b. Which is bigger: 1 or t?
1
Let d be (-44 + (-7 + 0 - -5))*(-21)/(-6). Which is smaller: d or -2?
d
Suppose 5*d + 0*d - 60 = 0. Let n be (6/(-8))/(d/(-32)). Let c be (-5)/((-45)/27) + (-57)/23. Which is bigger: c or n?
n
Let w(a) = 517*a - 28. Let t be w(-1). Let j = 18 + t. Are j and -527 equal?
True
Let o = 0.439 + -426.439. Let u = o - -441. Which is smaller: u or 9?
9
Let l = -18 - -10. Let c = l - -1. Let x = -6682 - -6671. Which is greater: c or x?
c
Let x = -495/13 + 40069/1053. Which is smaller: x or 2/31?
x
Let v be (-8)/6*21/119. Suppose -5*w = 10, -2*c - 3*c + 4*w = 22. Let a be 3/(9/c) - -1. Is v at least a?
True
Let j(a) = -784*a - 2. Let m be (-1)/(18/(-15) + (-4)/(-20)). Let z be j(m). Let y be ((-6)/42)/(z/21). Which is smaller: y or -1?
-1
Let o(g) = 2*g**3 - g**2 + 20*g - 39. Let x(h) = -h**3 - 10*h + 19. Let w(u) = 3*o(u) + 5*x(u). Let n be w(4). Let t be ((-2)/n)/((-2)/1). Is 1 <= t?
False
Suppose 5 = 4*w - g - 62, -5*g - 47 = -4*w. Suppose -w*q + 6 = -12. Is -199 != q?
True
Let o(x) = -x**3 - x + 72. Let k be o(0). Let v = 76 - k. Suppose -3*j = 2*w - 6 - 1, v*w = -j + 19. Is j equal to -3/14?
False
Suppose -y + 20 = -0*y + 5*s, -s - 20 = -y. Let j(b) = 2*b**2 + b + 1. Let f be j(-1). Let m = 0 + f. Which is smaller: m or y?
m
Let y = 3000/17 + -176. Let m be ((-2)/3 + (-2)/(-3))/(-5). Is y at most as big as m?
False
Let o = -0.05089 + 788.45089. Let j = 789 - o. Is -5 smaller than j?
True
Suppose -4 - 5 = -g. Let c(j) = -2*j**3 + 18*j**2 - 4*j + 1. Let x be c(g). Which is smaller: x or -33?
x
Let u(b) = b**2 - 7*b + 11. Let n be u(5). Let p = 5/12 + 25/36. Is n smaller than p?
True
Suppose 528 = 14*f - 1124. Suppose -3*m = 5*u - f, 6*m - 104 = 4*m + 3*u. Suppose -7*j + 39 = m. Is 2/7 at least as big as j?
True
Let v be (-40)/24*9/(-5). Suppose -2*m - 8 = -v*m. Suppose -16*g = -15*g - m. Which is greater: 9 or g?
9
Let n = -8 + 7.2. Let t = n + 1. Let j = 2.155 + -3.055. Is j greater than t?
False
Let n = -1204 - -1202.082. Let z = -0.182 + n. Is z equal to 2?
False
Suppose f = -44*h + 49*h + 19, 2*h + 22 = 4*f. Suppose 0 = 3*o - 7 - 5. Which is bigger: h or o?
o
Let y = 55642/23 + -2420. Is -2 less than or equal to y?
True
Let i(x) = -94*x + 26. Let k be i(-5). Let g be (20/(-15) - (3 - 4))*-1485. Which is smaller: g or k?
g
Let b = -17.8 - -29.7. Let o = b - 12. Let w be 1083/836 - ((-6)/(-8) - 0). Do w and o have different values?
True
Suppose -3937*j + 3936*j - 59 = 0. Let h be 175/3 - 6/(-9). Let t = h + j. Is -5/12 at most as big as t?
True
Let f = 2.3622 + 1.1138. Is 0 at most as big as f?
True
Suppose 570 = 3*y - 6*y. Let w be (36/(-45))/(4/y). Suppose 38*o = 39*o - 38. Is o smaller than w?
False
Let s be 2/(-4)*436/(-10). Suppose 4*a - 44 = 5*q, 0 = -10*a + 8*a - 5*q + 82. Is a > s?
False
Let l = 2.1435 + -2.2535. Which is greater: l or 726?
726
Let o = -2 + 1. Let v(j) = -10*j - 7 + j**2 + 6 + 19*j + 13. Let q be v(-7). Which is smaller: q or o?
q
Let g = 558 + -532. Let q(m) = m**2 - 28*m + 61. Let f be q(g). Let o = 3.4 - 0.4. Is o > f?
False
Let h = 0.172 + -1.172. Is 2.5 <= h?
False
Le