et u be 228/f*10/(-4). Which is smaller: 0 or u?
u
Let w be (1/(-4) - 45/60)*-65. Suppose 0 = 32*q - w*q + 16269. Which is greater: 494 or q?
494
Let v = 13219 - 13226. Which is smaller: v or 64?
v
Let d be (4 + -1 + -3)/(-1). Let o be (12/(-14))/(8/14)*30. Let b be o/(-8)*(-2)/(-20). Do b and d have the same value?
False
Suppose p - 5*p = -h - 14, -h + 3*p - 14 = 0. Let c = 67 + -61.1. Let v = -6 + c. Which is smaller: h or v?
h
Let r = 112 + -131. Let t be 902/226 + r/((-95)/(-20)). Which is greater: 0 or t?
0
Let t be (2/(-184))/((-1051)/933288). Do 10 and t have different values?
True
Let z be 0 + (-17)/((-1666)/(-4032)). Is -40 at least z?
True
Let h be -16 + 16 - (-1 + -2). Let a be 3/(162/(-201)) - h/6. Let i = a - -32/9. Which is bigger: i or -1/11?
-1/11
Let u(t) = 3*t + 61. Let s be u(-19). Suppose 5*r - 89 = -i + s*r, 268 = 3*i + 4*r. Which is greater: i or 90?
90
Let t(a) = 34*a + 4. Let g be t(0). Suppose h + h = 4. Let s be (-8)/g - (-5)/h. Which is greater: 2/11 or s?
s
Let t = 39.48 - 38. Let q = t + -2.18. Which is smaller: -2/5 or q?
q
Let b = -993/9163 + 5/187. Let u = 1386.8 + -1387. Is b less than or equal to u?
False
Let p = -1/24999 - 24994/124995. Which is smaller: -2256 or p?
-2256
Let g = 7/2 - 1053/302. Suppose -15*z + 1947 = -678. Let r = -174 + z. Does r = g?
False
Let r(n) = -3*n + 46. Let q be r(14). Suppose 2*y - y + 82 = 5*m, 0 = -5*m - q*y + 72. Suppose 8 + m = 6*u. Which is smaller: 14 or u?
u
Let m = 4.28 - 0.48. Let w = -8 + m. Let q = w + 5.5. Which is bigger: 1 or q?
q
Let k be (-1)/((-6)/(-8))*20/(2420440/33). Which is smaller: k or -0.1?
-0.1
Let p be 3336/297 - (-66)/297. Which is smaller: 11 or p?
11
Let a be 94/420 + 1/(-5). Let g = -115244.3 + 115244. Which is smaller: g or a?
g
Let d = 20666 + -20665. Let w be ((-41)/(-323))/(4/(-50)). Let g = w - -79/34. Which is bigger: d or g?
d
Let x(l) be the third derivative of -l**4/12 + 5*l**3/3 - 19*l**2. Let f be x(3). Let g be (-105)/f*6/9. Is g smaller than -18?
False
Let w = -2/2281 + 13712/29653. Suppose 3 = -5*v - 2. Which is greater: w or v?
w
Let k = 2164042/313 - 6235035803/903318. Let y be 1/(-5) + 2906/14430. Let a = y - k. Which is bigger: a or -12?
a
Let g be ((-638)/(-4))/(6/((-38)/6 - -5)). Which is smaller: g or -1/3?
g
Let d be -1*(0 + 4 + 2). Let x be 1/d - (-309)/18. Are 116/7 and x equal?
False
Let q be (1/3)/(4/(-114)). Let m = 580.92 - 580.82. Which is smaller: m or q?
q
Let n = 8413 - 8409. Is n greater than -411?
True
Suppose 26*m = 13*m + 117. Let h = 52 + -34. Suppose -f + h = f. Is f greater than m?
False
Let d = 7.034 + -0.034. Let u = d - -9. Let f = u - 17. Are -0.6 and f equal?
False
Let q = 182159 - 182159.52. Suppose -3*c = -3*y + y - 18, -2*c + 8 = 0. Which is smaller: q or y?
y
Suppose 18*f = 13*f + 20. Suppose -2*w = -y - 88, 0*w - f*w = 2*y - 176. Suppose 43*i - w*i = -6. Which is smaller: 36/7 or i?
36/7
Let v = -44 + 49. Let b = -8 + v. Let w be b*(21/(-54) + 3/6). Which is greater: w or 0?
0
Let h(y) = -8*y**2 - 4*y + 2. Suppose 0 = -26*o + 12 + 14. Let m be h(o). Which is bigger: -14 or m?
m
Suppose 3*l - 4*j - 125 = 0, l + 121 = 4*l - 2*j. Suppose 19*x - 6*x + l = 0. Let g = 20 + -11. Are g and x equal?
False
Let b = 11885 - 1093429/92. Which is bigger: b or 1?
1
Let b(k) = 20*k**3 - 2*k + 1. Let x be b(1). Suppose 0 = -x*h + 14*h + 455. Let y = h + -88. Which is greater: y or -5/2?
y
Let g(d) = 26*d**3 - 3*d**2 + 3*d - 2. Let y be g(1). Suppose 2*q - 2*f = 3*q - y, -q = -3*f - 29. Which is bigger: 1 or q?
q
Let f(o) = -o + 4. Let k(r) = r**2 + 2*r - 5. Let m be k(2). Let v be f(m). Which is bigger: 4/53 or v?
v
Let s be (52336/(-72))/(28/42) - (-10)/(-6). Are -1091 and s non-equal?
True
Suppose -4 = -i + d, 3*i + 36*d - 31*d - 20 = 0. Suppose -4*y + 0*y = -4. Suppose -21 = -5*o - y. Do i and o have the same value?
False
Let r(z) = -137*z + 21507. Let m be r(157). Let l be (-2)/8 - (-135)/(-132). Is l at least m?
True
Let t(g) = 2*g**3 - 24*g**2 + 22*g. Let x be t(11). Let b = 185937/67 + -2775. Which is bigger: x or b?
b
Let p(h) = 6*h**2 - 19*h + 18. Let n be p(14). Let z = n - 2746/3. Let f be (-10)/(-4)*104/(-520). Is f at least z?
False
Let g be 18/(-12) + 85/10. Suppose l = -2*p + 77, g*l = -p + 5*l + 34. Let q be -6*(1 - (-30)/(-4)). Which is bigger: p or q?
p
Let r = 5 - 6. Let o = -20483 - -348190/17. Which is smaller: r or o?
o
Let p = 3/383101354 + -135755412702479/50186277374. Let l = 2705 + p. Is -1 greater than l?
False
Let l = -1136 + 1139. Let a = 12.5 - 2.5. Let v = 7 - a. Which is greater: v or l?
l
Let b = 7/21334 - 29782397/405346. Is b greater than -74?
True
Let f(z) = 7 + 10 - 7 - 29*z + 24. Let y be f(8). Which is smaller: -197 or y?
y
Let y = 11.118 + -30.118. Which is smaller: -28 or y?
-28
Let z be 2/(2/3) + -1. Let b(l) be the second derivative of l**4/12 - l**3/2 + l**2 - 1606*l. Let n be b(z). Which is bigger: n or -2/35?
n
Let u = 0.12 + -3.12. Let x(h) = 2*h**2 + 8*h - 9. Let d be x(-5). Suppose a = -a - 10, 3*m + d = a. Which is greater: u or m?
m
Let o(h) = -h**3 - 101*h**2 - 986*h + 360. Let t be o(-90). Which is bigger: t or -3/21109?
t
Let b = -26663/40 + 667. Let h = -2/5 + b. Suppose c - 5*w = -10, -3 = -5*c - 2*w + 1. Is c less than or equal to h?
True
Let r = 716 - 713. Suppose 0 = -r*c - i - 2*i + 9, 0 = 2*c - i. Which is greater: -2/1165 or c?
c
Suppose 0 = 6*q - 10*q + 8. Suppose 1212 = -4*l + 4*z, q*z - z = 3. Is -301 < l?
True
Suppose 5*y + 0*y + 3*h = 223, 215 = 5*y - 5*h. Let u be (-2032)/y - (-2)/11*1. Is 0.3 less than u?
False
Let w = -85.1 - -120. Let x = 35 - w. Which is smaller: x or 0.2?
x
Suppose 0 = 3*b + a - 2*a + 1335, -2*b = 5*a + 890. Let y = 482 + b. Which is smaller: 0 or y?
0
Let q(m) = 8*m + 36. Suppose 14 = 23*n + 106. Let j be q(n). Does j = -2?
False
Suppose 1890*p = 1926*p + 47952. Is p bigger than -1333?
True
Let t(f) be the third derivative of f**4/24 - 11*f**3/6 - 2*f**2. Let c be t(12). Suppose c = n - 2. Is n smaller than 3?
False
Let u(y) = 5*y - 140. Let o be u(39). Suppose 17 - o = -2*t. Is t at least as big as 19?
True
Let n = -80501 - -662120728/8225. Which is greater: -1 or n?
n
Let x(c) = 26*c - 169. Let r(a) = a - 5. Let i(l) = 2*r(l) - x(l). Let m be i(7). Which is smaller: m or -11?
-11
Let t be (3 + 75570/(-24))/(13/3). Let n = t - -726. Let s = -2 - -3. Which is bigger: n or s?
s
Suppose 2*w = 2535 - 1019. Suppose -10*r + w = -2. Do 76 and r have the same value?
True
Let a be (-21)/126 - 460/(-12). Is -0.1 at most a?
True
Let h be (-10304)/7107 - (-4)/3. Let n = 219/4532 + h. Which is smaller: n or 0?
n
Let p be (-84)/(-112) + 1/4. Let h = 366 + -362.26. Are h and p unequal?
True
Let v = 361 + 35. Let x be v/110 - (0 - (-1 - 3)). Let n = -40 + 45. Is x < n?
True
Let l = 0.04172 - -149.45828. Which is greater: l or -2/7?
l
Suppose -3*r - 9 = a - 3, -15 = 3*r. Let i be 596/a + (-2)/9. Suppose -3*p = -q + 51, 4*q - 36*p = -41*p + 289. Is q at most i?
True
Let i(t) = 2*t**3 - 8*t + 3. Let w be i(2). Suppose -d + 8 = 9, -23 = -w*r + 5*d. Let l = 5039 + -55379/11. Which is smaller: r or l?
l
Let w = 0.17999 + 2503.82001. Which is smaller: 0.05 or w?
0.05
Suppose -2*h = -4*h - 6. Let u be (-37)/7 + -1 - 2/(-7). Let o be (-4)/6*u*3/(-150). Do o and h have the same value?
False
Suppose -f = 2*f + 3*p - 6, -5*f = -2*p + 4. Let r be (5 + 9)/((-3)/(-6)). Let k be ((-14)/r)/(85/(-4)). Are f and k non-equal?
True
Let k(y) = -4*y**2 + 20*y + 13. Let z(g) = 7*g**2 - 40*g - 27. Let x(b) = -5*k(b) - 3*z(b). Let a be x(22). Which is smaller: -27 or a?
a
Let a be -1*(-2)/(-4) + 172762/124. Let q = a - 1393. Which is bigger: -1 or q?
q
Suppose 12 = 11*j - 8*j. Suppose 3*g - 4*l = -391, 6*l = -3*g + j*l - 421. Is -137 at least g?
True
Suppose 58 = 15*y - 47. Let q be y*(-2)/(-21)*-6. Let k be (1/((-3)/6))/(-2). Is k smaller than q?
False
Suppose 0 = -15*p + 25*p. Suppose c = 4*c + 6, 2*y - 2*c - 4 = p. Let n = -2/23 - 19/46. Is n smaller than y?
True
Let b = 40066 - 40066.1. Is 27721 != b?
True
Let o = 1.392 - 2.392. Which is greater: -134/7 or o?
o
Let q(c) = -2*c**2 - 4*c + 15. Let z be q(-4). Let d be z + ((-147)/(-4))/7. Are d and 5 unequal?
True
Let g(j) = -11*j - 461. Let y be g(-42). Which is smaller: y or 2/6663?
2/6663
Let l be 1/5*-2*11. L