e t(o). Is g greater than or equal to 2/75?
True
Let i be -5 + 4 - (0 + -1)/(4/(-2186)). Which is greater: -549 or i?
i
Let z = -31273 + 31303. Let q be 31 - 1/(2/2). Are z and q equal?
True
Suppose -t = 3*a - 22 - 103, 0 = -2*a - 5*t + 66. Suppose a = 8*u + 3. Suppose -u*g = -2*f - 5, -2*f + 0*g + 2*g - 2 = 0. Are f and -7 equal?
False
Let v(q) = 2*q**3 - 6*q**2 - 60*q - 27. Let h be v(-12). Which is smaller: h or -3628?
-3628
Let q = -130.59 - -130.79. Which is bigger: 1/1098 or q?
q
Suppose 405*u + 16 = 404*u. Let c be (-2)/(-10)*(21 + u). Which is greater: 1/46 or c?
c
Let d be (-96)/(-208) - 3984/4576. Suppose -2*b = -6, -b + 6 = 4*x + b. Is d smaller than x?
True
Let x = 270.9 - 273. Let l = x + 2.5. Which is smaller: -2/9 or l?
-2/9
Let o(m) = -m**2 + 14*m - 19. Let p(c) = -3*c**2 + 43*c - 57. Let s(a) = 7*o(a) - 2*p(a). Let j be s(2). Which is smaller: j or -3/154?
-3/154
Let i = -107/8 - -12535/936. Do -20.1 and i have the same value?
False
Let k be ((-1)/(-110))/((-2)/(-8)). Let c be (-29)/11 - (-380)/152. Let p = k + c. Which is smaller: 1/7 or p?
p
Let v(j) = j**3 - 10*j**2 - 25*j + 16. Let t be v(12). Suppose 0*w - w = -x - 5, -w + 5 = -t*x. Is -8/59 < x?
True
Suppose 4*o + 2*f + 2 = 0, -o - 7 = -4*f - 20. Suppose 10 = 4*d - y + o, 0 = 2*d - 2*y. Let p be 6 + -5 + d + -2. Which is smaller: 12/13 or p?
12/13
Let y = -847 + 1325. Let v = -477 + y. Which is greater: v or 0?
v
Let u(k) = -k**2 - k. Let p(s) = 7*s**2 - 2*s - 33. Let j(z) = p(z) + 6*u(z). Let i be j(15). Let v be i/(-1 + 1/(-2)). Is -46 at most v?
False
Suppose -4*o - g = -1044, -4*g = 2*o - 2*g - 528. Suppose o*l - 256*l + 108 = 0. Let v(h) = -h**2 - h - 7. Let k be v(-5). Is l < k?
False
Let l(a) = -a**2 - 9*a + 13. Let p be l(-10). Let z = -6/683 - -4805/2732. Is z less than p?
True
Let n be (-530)/371 - (-283)/7. Which is smaller: n or 29/4?
29/4
Let d be 74/12*(-492)/(-4). Suppose 0*v + 3120 = 4*v + 4*t, -2*t = -v + 777. Let w = v - d. Which is greater: 22 or w?
22
Let y be (-6 - -11 - 2)*(-2)/3. Is -7.84 at most as big as y?
True
Let f be 129 - 122 - 2*1. Suppose 2*k - 2*u - 77 = f*k, -2*u - 27 = k. Are -27 and k non-equal?
True
Suppose 5*f - 829 + 14 = 0. Let y(s) = -2*s**3 - 10*s**2 - 13*s + 13. Let b be y(-6). Does b = f?
True
Let s = 0.14 + 0.56. Suppose 8*m - 77 = -29. Suppose -2*l - m = -4*c + 4, -5*l - 2*c = 13. Is s > l?
True
Let u = 5359 + -5581. Is u < -222?
False
Let h = 1050/59 + -92830/177. Is -508 bigger than h?
False
Let b(d) = 2*d**3 - 33*d**2 + 8*d - 463. Let g be b(0). Suppose -5*m - 2156 = 159. Is m at least g?
True
Suppose 142*y = -4*t + 139*y + 1300, -1280 = -4*t + 2*y. Which is greater: 332 or t?
332
Let i be ((-3)/4018 - 0)*(-8940)/13410. Which is smaller: 0 or i?
0
Let f = -4114 + 4085.61. Let r = f + 4.29. Let q = r - -24. Are q and -0.8 non-equal?
True
Let v = 14.2 + -11.2. Let s = 0.12 + -3.12. Let i = s + v. Which is bigger: i or -4/3?
i
Let y be (-10129*(-2)/3)/((-10)/6). Is -4051 >= y?
True
Suppose -7683 = -24*y + 35661. Let c be y/4284 + (-2)/(-12). Which is greater: 1 or c?
1
Let v(i) = -6*i**2 - 19*i + 21. Let m be v(-4). Is m less than -2/25?
False
Let u(g) = g**3 + 18*g**2 + 26*g - 20. Let q be u(-19). Which is bigger: -6993/8 or q?
-6993/8
Suppose 2*a + 75 = 27. Let h be 18/(-8)*a/18. Are h and 3 non-equal?
False
Let n(c) = -c**3 + 2*c**2 + 11*c - 6. Let f be n(5). Let r = f + 25. Let v be 2/6 - (r - -1). Is -0.1 less than v?
True
Let n be (-40)/36 - 6*(-7)/378. Is n at least as big as -3999?
True
Suppose -2*a - a - 3 = 0. Let m be 3*((-4)/3 - 2). Let b be (0/(m/2))/a. Is 1/47 at least as big as b?
True
Let m = 393 - 33. Suppose 1032 = m*r - 352*r. Which is smaller: r or 131?
r
Suppose 5*y + 390 = 5*w, y = 5*w - 552 + 162. Suppose 5*q - 30 - 103 = 3*p, 2*q - w = -5*p. Is 25 < q?
True
Let l = -196 + 168. Let r be (l/(-12) - 3)/4. Is 1 less than r?
False
Let d be 2/(-8) - (-31179)/76. Let m = -87331/213 + d. Which is bigger: -1 or m?
m
Let b = 38.1 - 48. Let z = b + 10. Let h be 1*((-20)/5)/36. Which is smaller: h or z?
h
Let h(k) = -5637*k + 188. Let z be h(1). Is -5449 <= z?
True
Suppose z = -247*o + 243*o + 38, -8 = -z + o. Let j = -162/65 + 22/13. Which is smaller: j or z?
j
Let a = 15 + -75. Let c = -5734 - -5674. Let s = c - a. Which is smaller: s or 0.01?
s
Suppose -6*s - 6 = -7*s. Suppose 0 = 3*t - s*t + 249. Suppose 5*g + 4*i - t + 20 = 0, 9 = -3*i. Do 15 and g have different values?
False
Suppose -1061 = -10*l - 291. Let n = l - 53. Suppose -n = -3*g + 27. Is g bigger than 1/2?
True
Let b be ((-226)/(-10) - 2 - 1)/((-348)/19140). Which is smaller: b or -1070?
b
Suppose -u = 2*s - 5*u + 20, 5*s = 2*u - 34. Let t be (-4)/72*s + (-2)/3. Let m(v) = 2*v**3 + 3*v**2 + 4*v + 2. Let p be m(-2). Is t >= p?
True
Let f = 7292 - 7290. Let j = -158/51 - -1589/255. Which is smaller: j or f?
f
Let t = 16267/5 - 3254. Which is greater: 222 or t?
222
Suppose -3*a - 5*g - 54 = 0, 2*a - 4*a - 4*g = 36. Let h be (a/15)/((-165)/(-50)). Let w(y) = -y + 7. Let c be w(6). Is h <= c?
True
Let z = -0.4379 - 0.1571. Is -1 bigger than z?
False
Let x = -1775 - -1778. Let t = -16166/9 - -1798. Which is greater: x or t?
x
Let o = 8 + 2. Let g(u) = -21*u + 13*u + 49 + o*u - u**2. Let q be g(7). Is 17 less than q?
False
Let y = -18 + 33. Suppose 0 = -7*a + 12*a - y. Let b be a/(8 - 2) - 22/28. Which is greater: -1/4 or b?
-1/4
Let j be 4100/(-533) - 1*(-7)/1. Let q = -2 + 1. Which is smaller: q or j?
q
Let o(u) = u**2 - 2*u - 14. Let h be o(4). Let c be 95/95*((-5)/h - 1). Is c not equal to -90?
True
Let l = -29 - -35. Let i = -0.3 - 0.1. Is l smaller than i?
False
Let n(x) = 4*x - 12. Let l be n(5). Let m(a) = -a**3 + 8*a**2 - 2*a + 15. Let i be m(l). Let s = 3.09 - 0.09. Is s > i?
True
Suppose 679*c = 683*c - 4. Which is smaller: c or -1/821?
-1/821
Let f be 174/34 - 44/374. Suppose 5*c - 5*a + 25 = -25, c + f*a + 22 = 0. Let x be (-4)/(-24)*2 - 44/c. Is x at least 4?
True
Let k(l) = -116*l - 174. Let m be k(-6). Which is smaller: m or 524?
m
Let h = 57/115 - 28951/59570. Is -1 at most h?
True
Let h be (150/(-35))/(9/(-42)). Let y(g) = 2*g - 42. Let a be y(h). Let r be (a/8)/((7/(-14))/(-1)). Do 48 and r have the same value?
False
Let d be 1/((-2454)/(-492) + -5). Let z = -345 - d. Is z bigger than -263?
False
Let a be 2 - (823205/6328 - 4/(-14)). Which is bigger: -128 or a?
-128
Let f = -30/271 - -29254/254469. Which is smaller: f or 0?
0
Suppose -5*o - 206 + 86 = -y, 2*y = -o - 24. Are -39 and o unequal?
True
Let v be ((-10)/25)/(390/(-98) - (53 + -57)). Which is smaller: v or -21?
-21
Suppose -16*k + 57 + 28 = -27. Which is smaller: k or 107?
k
Let s(w) = -3*w - 37. Let a be s(7). Let x = a - -74. Suppose 2 = 3*t - x. Which is greater: t or 16/3?
t
Suppose 12*y + 50 = 22*y. Suppose y*b + 16 = b + k, 4*k = 0. Is b bigger than -17/6?
False
Let b(j) be the first derivative of -j**3/3 - 3*j**2/2 + 22*j - 13. Let l be b(6). Which is bigger: -31 or l?
-31
Let v = 618531/1040 + -9427/16. Let w = v + -54/13. Let y = -1032283 + 3096848/3. Is w bigger than y?
True
Suppose -18*r + 5*w = -14*r + 39, -4*w = r - 6. Which is bigger: 24 or r?
24
Let v be (49/(-1974))/(5/(-538)). Let g = 1084/66975 - -26/475. Let k = v - g. Is 2 less than k?
True
Let q be ((-5740)/(-624))/(-7) + (-8)/(-6). Let d = -2 + 8. Let c be (-4)/d + 3/(-9). Which is greater: c or q?
q
Suppose 36 = -28*q - 188. Let d be (q/6)/((-82)/(-41)). Which is smaller: -1/10 or d?
d
Let q be 463824/432 + (22/(-6) - -2). Which is smaller: 1074 or q?
q
Suppose 0 = -4*s - 4784 - 6968. Which is smaller: -2939 or s?
-2939
Let c = 0.6301 - 0.5301. Is -2315 > c?
False
Let y = -788.409 + 788. Let a = -0.879 - y. Which is greater: a or -2?
a
Let a(k) = -5*k - 8. Let f(n) = 11*n + 17. Let b(h) = -9*a(h) - 4*f(h). Let j be b(-7). Let s = 1395/4 - 353. Which is smaller: s or j?
s
Let z = -0.88 + -230.12. Let r = 231.03 + z. Which is smaller: r or -1?
-1
Let r = 119740 + -33407575/279. Let b = -1/31 + r. Which is bigger: b or -8?
b
Let l = 19 - 12. Let o be 2/((-3)/12 + (-52)/(-80)). Suppose 82 = o*x + 72. Is x bigger than l?
False
Suppose -3*g + 4*m = -149, 0*g + 3*m = g - 43. Suppose g*x - 104 = 59*x. Let q = x + 37. Which is greater: 9 or q?
q
Suppose j - 19 = 3*y, 5*y - 3 = 4*y. Suppose -1689 = -j*p + 299. 