or u?
1/5
Let y(h) = 5*h - 1. Let q be y(1). Let k be (2 - 0) + (-7184)/56. Let i = 130 + k. Which is smaller: i or q?
i
Let q = 0.18 + -0.2. Let n = -318.72 - -319. Let f = q - n. Is 0.01 greater than or equal to f?
True
Suppose 3*c = -4*h + 32, h - 5 + 25 = c. Let m(b) = 4*b - 104. Let y be m(-5). Let p = -122 - y. Which is greater: c or p?
c
Let r = -51887/7 + 23089974/3115. Are r and -1 equal?
False
Let m = 85 - 86. Let q be ((3/(-2))/m)/(2/12). Let c be (-2)/q + (-78)/(-108). Is c < 31?
True
Let k(j) = j**3 - 6*j**2 - 18*j - 82. Let x be k(9). Which is smaller: x or 15503?
x
Let n = 4583 - 4583. Is n not equal to -2/157?
True
Let i = 10.993 + -10.96769. Which is greater: 0.1 or i?
0.1
Let a(s) = s + 11. Let y be a(-11). Let l be (4/(-2775)*-28)/((-1)/3). Let j = l + 3/37. Which is bigger: y or j?
y
Let h be ((-1)/18)/(6/8). Let l be 123/(-6)*(-2 + -34). Let g = l - 739. Is h > g?
True
Let h = -6280/3 + 778615/372. Is h >= 0?
False
Let j = 0.0791 - -0.0809. Is j greater than 195?
False
Suppose 678*y = 683*y + 20. Let g = -5.9 - -8.6. Which is greater: g or y?
g
Let b(y) = 45*y + 3668. Let d be b(-96). Is -3253/5 at least d?
True
Suppose 0 = i - 1, 0*g = -4*g - i - 1131. Which is bigger: -290 or g?
g
Let p = 1048 - 737. Let x = 311.68 - p. Is x bigger than 0?
True
Let g = 12329 + -12330. Let o = 9 - 8. Let l be (-112)/24 - o/3. Is g equal to l?
False
Let r = -2007 - -2126. Which is greater: 118 or r?
r
Let z = 57920.96 - 57921. Let j be -2 - ((-10)/4 - -1). Which is bigger: z or j?
z
Let y = -8206 + 8205.9. Which is greater: y or 1641/2?
1641/2
Suppose 9 = u - 2*q, -11 = -5*u + q + 25. Suppose -2 = 4*c + 5*z, -2*c + u*c + 3*z = 4. Suppose c*w + 0*w - 2 = 0. Which is bigger: -2/39 or w?
w
Suppose 3377*x - 3077*x = -96300. Which is greater: -367 or x?
x
Let h = -2022882/1337 - -1513. Is h less than or equal to 2/3?
True
Let r be (((-200)/12)/5)/((-1)/6). Suppose -2*l = r*l - 5522. Which is smaller: l or 250?
250
Suppose 34 = -2*d + 38. Let h be (-2)/(-10)*5/d. Which is smaller: 10 or h?
h
Let a = -9 - -13. Let g(q) = q**2 - 5*q + 4. Let y be g(a). Let v = -5/52 + 11/13. Which is smaller: y or v?
y
Let b = -3870.3 + 3871. Is -10 > b?
False
Suppose 34*t = 27*t - 12201. Do t and -1741 have different values?
True
Let m be 16/120*13/(65/(-50)). Which is greater: 54 or m?
54
Suppose 0 = -l + u - 7, -4*l - 23 = -0*l + u. Is -106/19 at least as big as l?
True
Let h = -3/190902626 + -23901581482385/44098506606. Let d = h + 542. Is -1 bigger than d?
False
Let b = -0.204 - -0.091. Let q = b + 0.213. Is q greater than or equal to -249?
True
Suppose -120 = -3*r - 21*r. Suppose w - 117 = r*l + 39, -3*l = 2*w - 247. Is w less than or equal to 132?
True
Suppose 200*v - 81840 = 185*v. Which is smaller: v or 5457?
v
Suppose -204*i = -205*i + 40. Suppose 5*w + i = 2*k + 2*k, 3*k = 0. Suppose -u + 2 = -4*a, 2*a + 10 = -0*u - u. Which is greater: u or w?
u
Suppose -4*p + 3*u = 13642, 6820 = -2*p + 8*u - 6*u. Is -3412 not equal to p?
False
Let g(x) = 1 - 12 - 467*x + 469*x + 2. Let h be g(5). Is h at least 22/23?
True
Let b = 5568 + -5567. Which is smaller: -103/329 or b?
-103/329
Let i = -1493/10 - 76/5. Which is smaller: i or -166?
-166
Suppose -6*w = -w - u + 5, -3*u = 2*w + 2. Let a = -3.445 - -3.17. Which is smaller: w or a?
w
Let j(u) = -u**3 + 5*u**2 - 5*u. Let d be j(2). Suppose -3*b + 4*n - d*n - 14 = 0, -4*b + n - 22 = 0. Let p be 129/9 + b + 2/(-6). Which is smaller: 7 or p?
7
Let k = 44 - 88. Let w = -42.95 - k. Let q = w + -0.35. Which is bigger: q or -0.4?
q
Let b(l) = -l**3 - 3*l**2. Let q be b(3). Let r be 6/(-5)*3420/q. Suppose 5*t = -2*i - 23, -4*t = 4*i - 0*i + r. Is -24 smaller than i?
False
Suppose 8*g = 10*g + z - 53, -g = 5*z - 22. Let s be -29 + g - (-7)/2. Is s at least 3/2?
True
Let c = 90 - 70. Suppose 15*j - c = 19*j. Let b be (-1 + 1)/(-2 - (j + 4)). Is 2/401 < b?
False
Let y = -30.89 + 30.8. Let m = -4 + 10. Let s = m + -5.5. Which is bigger: s or y?
s
Let i be (-189)/870 - 4/(-20). Let h be 4/(-10)*135/(-54). Suppose 0 = 4*t - 5*b + 1, 4*t + b - h = 4. Which is greater: t or i?
t
Let j = 29.581 + -28.581. Which is greater: j or 1/40547?
j
Let s(b) = -48*b - 23*b + 14*b - 176*b - 2. Let q be s(1). Let n be (-1)/(-6) - q/(-870). Which is smaller: 0 or n?
n
Let g = 5552 - 19592. Let i be (3/(g/(-2)))/((-18)/48). Is 0 < i?
False
Let g be (-3)/4 - (92 + -78). Suppose 0 = 2*w - 6*w - 64. Is w <= g?
True
Let o(s) = s - 6. Let c be o(0). Let r be 41 - ((3 - 0) + c). Suppose -2 = -4*a + 6*a, 2*x = 5*a + 93. Is x equal to r?
True
Let c be ((5 + -3)/6)/((-3)/(-279)). Let r = c - 27. Let t be 39*1/((-6)/r). Is -26 greater than t?
False
Let j(h) = 65*h**2 + 305*h - 100. Let c be j(-5). Which is smaller: c or -2567/11?
-2567/11
Let i(w) be the third derivative of 5*w**5/3 + w**4/6 + 2*w**3/3 - 119*w**2. Let p be i(-1). Which is smaller: p or 1?
1
Let i = 590 - 587. Let j = -1 - -3. Which is bigger: j or i?
i
Let g = 4608586/39 + -118177. Is g equal to -8?
False
Let p = -429 - -4803/11. Which is greater: 8 or p?
8
Suppose -8073 = -16*o - 53*o. Which is smaller: o or 586/5?
o
Let w(f) = -10*f**3 - 5*f**2 + 34*f + 5. Let g(h) = 3*h**3 + h**2 - 11*h - 2. Let o(p) = 7*g(p) + 2*w(p). Let t be o(5). Is t equal to 1/26?
False
Let g = -4771 + 4766. Suppose 9*k - 12 = 6*k. Let c be 1 + -1*k/8. Which is smaller: c or g?
g
Let a = -342780/19 + 18047. Which is smaller: 7 or a?
a
Suppose -5*w + 42622 = -4*f, -6*f + 42636 = -10*f - 2*w. Let t be ((-45)/126390)/(21322/f + 2). Let j = 3/766 + t. Is 1 less than j?
False
Let b be (-1384)/5369 + (-9)/(-21). Let s = b + -1/59. Is -8 greater than s?
False
Let v = -8684/457401 - -1/2841. Let x(j) = -315*j + 1890. Let a be x(6). Is a less than or equal to v?
False
Suppose -18 = 13*d - 15*d. Let w be d + -6 + (1 - -1). Let p = 9/2 - w. Is p smaller than -35?
False
Let y = 1699 + -1698.9614. Which is smaller: 2/3 or y?
y
Let z(t) = -t**3 + 38*t**2 + 792*t - 43. Let h be z(-15). Suppose 3*f = -4*m + 565, m + 4*f - f - 148 = 0. Is m at least as big as h?
True
Suppose 2*o - 1223 = 493. Suppose -5*y = -253 + o. Is y equal to -121?
True
Suppose -4*v - 3 = 3*t, 5*t + 0*t + 5 = -2*v. Suppose -3*z + 3 - 6 = v. Let k be (-4 + 5)*1/z. Is 1/19 less than k?
False
Let u = -5/2 - -9/4. Let b = -288 + 265.9. Let d = b - 1.9. Is d at most u?
True
Suppose -8*n + 62 - 6 = 0. Let u be 8/28 + (-93)/n. Is 3 bigger than u?
True
Let d = 25 - -7. Suppose 21 - d = -11*z. Which is bigger: z or 4/23?
z
Let z be (2/8)/((-15)/(-240)). Suppose 3*s = -2*r + 277, 0 = -3*r - 3*s + z*s + 388. Do r and 132 have the same value?
False
Let f be 917/15 - (-2)/(-15). Let m(j) = -2*j**3 + 19*j**2 - 3*j + 9. Let r be m(9). Let n be (-3 - (-1 - 1)) + r. Are n and f equal?
False
Let c = 157 - 169. Let l = 26.9 + 4.1. Let u = l + -33. Which is bigger: c or u?
u
Let c(n) = 634*n - 3042. Let z be c(5). Do z and 111 have different values?
True
Let z be 4/(-18) - (-4344)/108. Suppose 6*v = 46 - z. Is v at most 1?
True
Let j = -605372/537 + 3382/3. Let b = 0.21 + -0.31. Which is bigger: b or j?
j
Let n = -2 + 6. Let o be (-27)/3 - (-3228)/270. Let k = o - -4/9. Which is bigger: k or n?
n
Let o be (-6)/3*(-17 + 0). Suppose 24 = 5*b + 54. Let h = o + b. Is h bigger than 28?
False
Let q be 73576/(-7582) - (-11 + -2 + 3). Which is smaller: q or -1?
-1
Let d be 7/3 - (-189)/729*-9. Is -4984 at most d?
True
Let r be (12/10)/(-1) + -2 + 1/5. Which is smaller: 228 or r?
r
Suppose -3*i + 88 + 24 = -2*l, 2*i + 4*l - 96 = 0. Suppose i = 13*d - 8*d - 5*s, 4*s - 49 = -5*d. Let a(y) = -y**2 - y + 12. Let o be a(0). Is d bigger than o?
False
Let v(o) = 2*o**3 - 9*o**2 - 7*o + 17. Let r be v(5). Let t be 0/(2/r*7). Suppose 3*g - 1 = 5. Which is smaller: g or t?
t
Let w(q) = q**3 + 13*q**2 + 28*q + 6. Let z be w(-8). Let m be -14*5/15*z/4. Does -117 = m?
False
Let v = 5.9 + -303.9. Let y = v - -298.1. Is y less than -3/17?
False
Suppose -3*z = -3*r - 9, -9 = -r - 2*z - 0*z. Let q be ((-18)/58)/((-153)/(-90) - (-341)/(-155)). Which is smaller: r or q?
q
Let z be ((-3)/(-8))/((-3)/(-6))*4. Suppose -3*k + z*a = -6, -8*k - a = -5*k - 18. Let g be k + (-700)/692 - (4 + 0). Is g at least 0?
False
Let x(g) = -7*g - 36. Let o be x(-6). Suppose 5*b = 3*n - 36, 0 - o = -2*b. Let i = 36563/2334