o?
False
Suppose 0 = 86*h + 24 + 62. Which is bigger: h or -15/133?
-15/133
Let x(m) = 9*m**3 - 140*m**2 + 82*m + 5. Let c be x(15). Which is bigger: -1.8 or c?
c
Let m = 1819 + -3313. Let t = -7522/5 - m. Which is bigger: -11 or t?
t
Suppose -3*g + 14 = 4*h + 3, 3*g - h - 1 = 0. Let k(c) = -g + 28*c + 26*c - 53*c. Let w be k(3). Is w at most 28/9?
True
Suppose -91*f + 2031 = 5*o - 93*f, 2*o - 783 = 5*f. Which is bigger: 426 or o?
426
Let p be 11/(((-6)/72)/((-4)/6)). Let x = p + -84. Suppose -x*y + 27 = -9. Are 8 and y equal?
False
Let p = -20177 + 2683505/133. Which is bigger: p or 0?
0
Suppose 0 = o, -3*o = -2*t + 3 + 1. Suppose -5*c + 36 = -c. Suppose -c = -t*m - 5*q, 0*q - 3 = -m - q. Which is smaller: 5/4 or m?
5/4
Let z(g) = 10*g**2 - 32*g - 55. Let k be z(-8). Is 0 smaller than k?
True
Let f be (5 - (-19)/(-1)) + 3. Let m(c) = -c - 11. Let d be m(f). Let k = 3.83 + 0.17. Is d bigger than k?
False
Let g be 0/((8/(-6))/(20/(-30))). Let v be g + -5 + -6 + (-2 - -8). Which is bigger: v or -50/13?
-50/13
Let n = -3849 - -3851. Let t = 2 - 5. Let s be 1*(-17)/13 - t. Is n smaller than s?
False
Let p = -68 + 66. Let t be p/(-5) + (-4 - (-8844)/(-210)). Which is greater: t or -47?
t
Suppose -4*k = 4*k - 40. Let o be ((-348)/15)/((-1)/k). Are 116 and o nonequal?
False
Suppose 4*h = -4*w - 20580, 5*w = -0*w + 30. Do h and -5151 have the same value?
True
Suppose 1669 - 45559 = 14*q. Let g be (-1364)/q + (-5)/(75/6). Is g greater than 1?
False
Let j = 5.8 - 104.8. Let o = j - -99. Let s = 838/7 - 120. Is s at least o?
False
Let t be (0 - 0)/(-25 + 27 + -4). Which is smaller: t or 45/38?
t
Let r be 2864/32 - (3/(-6))/1. Let p = -72 + r. Are p and 21 unequal?
True
Let f = -19 - -104. Let y = 85.1 - f. Let v be 38/6 + -3*1. Does y = v?
False
Let t = -6.606 + 5.606. Let b = -155 - -88. Let c = b + 43. Which is greater: t or c?
t
Suppose -3*l - 8 = 28. Let t be (-1494)/415*10/3. Are t and l unequal?
False
Suppose 0 = -3*a - l + 9, -a - l + 8 = 3. Suppose -22*v + 18*v = d - 294, -a*d - 3*v + 563 = 0. Do d and 275 have different values?
True
Let a = -43 - -106. Let j = 62.89 - a. Let x = 1.071 - 0.071. Which is smaller: x or j?
j
Suppose 132 + 396 = -6*i. Let w = -85 - i. Suppose 16 = -w*t - 2. Which is greater: -2 or t?
-2
Let p be 224/70 - (-12844)/(-95). Which is smaller: -112 or p?
p
Let a(b) be the third derivative of -b**5/60 - b**4/12 + 20*b**3 + 145*b**2. Let l be a(10). Which is smaller: -4/27 or l?
-4/27
Let m(x) = -6*x**2 + 2 + 7*x**2 + 0. Let w be m(-2). Suppose -w*c = 9*c. Is -3/25 >= c?
False
Let j(f) = 61*f**3 + f**2 + f. Let a be j(-1). Suppose 133*n - 5*k = 129*n + 312, 156 = 2*n + 4*k. Let u = a + n. Is u at most 47/3?
False
Let z = 64 + -68. Let l be 216/(-213) - 3 - z. Is l <= -1/5?
False
Let y = -300.21 + 303.2. Does -1/9 = y?
False
Let r = 626 + -624. Suppose -25 = -5*i + 4*n, 7*i + 20 = r*i - 5*n. Do i and 7/23 have the same value?
False
Let r = -2067/7 + 386522/1309. Which is greater: -1 or r?
r
Suppose -94*o - 5*r + 48213 = -90*o, o - r = 12042. Are o and 12046 equal?
False
Let d(o) = o**3 - 28*o**2 + 26*o + 23. Let f be d(27). Let s(q) = 20*q**2 + q - 1. Let p be s(-1). Suppose l + l + p = 2*r, 25 = -5*l. Which is greater: f or r?
r
Let b = -43 - -582. Let u = b - 538. Which is greater: 0.02 or u?
u
Suppose -930*f + 931*f + 4*p + 192 = 0, -464 = 3*f - 2*p. Which is greater: -97 or f?
-97
Let b be 6/34*220/(-6). Let j = b - 341/34. Which is greater: j or -17?
j
Let o = 59.973 + -60. Let n = 0.119 - o. Let r = n + 0.054. Which is smaller: 4/11 or r?
r
Let q(f) = f**2 - 7*f - 4. Suppose -p = 9*p - p. Let y be q(p). Let i be (1/(-3))/(7/96) + y. Which is bigger: -1/2 or i?
-1/2
Let v be (4 - 3)*(1 - 2). Let y be (3 + -3)/(0 - v). Let l be (3 - 0)/(-35 - -44). Which is smaller: y or l?
y
Let d be (-4)/(-32) + 2106/48. Suppose -15*y + d = -4*y. Suppose -x - 2*n - 3*n + 14 = 0, 5*x + y*n = 7. Is -6/5 greater than or equal to x?
False
Let b(k) = k - 14. Suppose -3*n - 2*n + 5*a + 65 = 0, -n - 4*a = -18. Suppose j + i + 4*i - 13 = 0, 4*i = j + n. Let d be b(j). Is d at least -12?
False
Let u = 225 + -225. Let t = -0.3 - u. Is -33 smaller than t?
True
Let u = -1985952445843/10850 - -183037092. Let j = -3/350 - u. Does j = -1?
False
Let q = -11.233 + 1816.233. Which is greater: 0 or q?
q
Let h = -0.3589 + 0.4589. Let i = 1240 - 809. Is i smaller than h?
False
Let t = -17 + 12. Let q = -53 - 12. Let z = q + 245/4. Is t equal to z?
False
Let p be 101816/30 - (-8 + 1/((-135)/(-1062))). Which is bigger: 3398 or p?
3398
Let n = -15.715 + 14.925. Is 0.8 >= n?
True
Suppose 0 = 5*t - 2*n - 60, 13*t - 36 = 10*t + 3*n. Let l be 2/t + (-35)/42*-1. Is l <= -2/23?
False
Let c be ((-3)/6)/((-846)/(-852) + -1). Suppose 79*v = 101*v - 1672. Does v = c?
False
Let p = 27 + -28. Suppose l = k - 2, 0 = -5*k - 0*k - 5*l + 10. Suppose -49 = 3*m - 5*u, 0*m + 2*u - 38 = k*m. Which is greater: m or p?
p
Let i = 575 + -813. Let t = 248 + i. Which is greater: -2/19 or t?
t
Suppose 108000 = 29*w - 11*w. Suppose -14*j = -38*j + w. Which is greater: 251 or j?
251
Suppose 0*v - 6*v + 138 = 0. Suppose 2*w = c + 7*w - v, 0 = -c - 2*w + 8. Let a be (c/(-63))/((-91)/21 + 5). Which is smaller: a or -0.2?
-0.2
Let l = -11962 - -12037. Which is smaller: -46 or l?
-46
Suppose -2*p - 5*v - 1 = 0, -2*v = -7*p + 4*p - 11. Let x = 4 + p. Let g = 142837/12 + -11903. Are x and g equal?
False
Let g(c) = -c**3 - 7*c**2 + 9*c + 12. Let v be g(-8). Suppose -8 = -3*o - v*d, -4*o - 18 = 3*d - 24. Suppose o*t + 2*t = 4. Which is greater: 1/2 or t?
t
Let p be 18777/39754 - (-162)/(-351). Which is smaller: p or 0?
0
Suppose 0 = -4*d + 3*r - 2, -r - 3 = 5*d - 5*r. Let s be d/(-1) - (-500)/485. Is s greater than or equal to 0?
True
Let l = 187078 - 1306979/7. Let t = -367 + l. Is t equal to -117?
False
Suppose -167*d = -147*d + 12680. Which is greater: -636 or d?
d
Let z = -250 - -250.1. Let n = -2.61 + 2.6. Let f = n + 14.01. Which is greater: f or z?
f
Suppose -3*q + 30*v = 28*v + 10434, -2*q = 2*v + 6976. Does -3481 = q?
False
Let x be 3 + -2 - (1 - 1). Let j be ((-9)/6 + x)/(-2). Let y = 0.04849 + 8.95151. Is j at least y?
False
Let j be (12/10)/((-2)/5). Let v be 3/5 + (-940)/400. Which is smaller: j or v?
j
Let g be 140*38/(-18525) - 3/((-78)/4). Is 521 equal to g?
False
Let l = -1433689/4 - -361722. Is l bigger than 3299?
True
Let m(c) = 8*c**2 - 844*c - 423. Let u be m(106). Is u at most -9/2969?
False
Let t(v) = -v**2 + 7*v - 7. Let i be t(5). Let r(f) = 24*f - 3 - 21*f + f**i + 0*f**3 - f**2. Let n be r(2). Do n and 9 have the same value?
False
Suppose -3*v = 5*j - 18, -4*j + 2*j + 2*v + 4 = 0. Suppose 0*u - j*u = -4*y + 571, -3*u + 2*y - 563 = 0. Is u greater than -185?
False
Let b = -935 - -914. Suppose -2*a + 4 = -3*a. Let k be (a - b/6) + (-9)/(-12). Is -2 not equal to k?
True
Let w = -4091/90 + 829/18. Which is smaller: 0.0294 or w?
0.0294
Let a = -336 + 335.9536. Let x = 5.9536 - a. Is -4 greater than x?
False
Suppose 404*z = 402*z - 3*b + 107, 4*z + 4*b = 212. Which is bigger: z or -0.1?
z
Let i = -7304 - -452841/62. Are 1/4 and i unequal?
True
Suppose 98254*b - 98243*b = -66319. Is b != -0.1?
True
Suppose 718*p - 200*p = -2072. Let k(l) = l + 1. Let o be k(1). Suppose -5*a + o*a = 3*f + 3, 2*a = -4*f - 2. Does a = p?
False
Suppose -122 = 25*b + 64*b + 33*b. Is b bigger than 15?
False
Let q = 0.0618 + -417.0618. Let r = q + 418. Which is smaller: 38/9 or r?
r
Let s be 15160/(-45) - (14/(-18))/(-7). Which is smaller: -338 or s?
-338
Let k be (-20)/(-984)*((-32)/6)/(-8). Which is greater: k or 1?
1
Let k = -293 - -302. Suppose k*m - 696 + 282 = 0. Are -1 and m unequal?
True
Let a = 31884.814 - 31967. Let o = 0.186 + a. Let m = o - -82.31. Which is smaller: 2 or m?
m
Let r = -5932 - -5929.8. Which is greater: -22.9 or r?
r
Let r be (-2)/(-13) + (-2131)/(-91). Let c = 10051/427 - r. Which is smaller: 1 or c?
c
Let a(c) = -c**2 - 13*c - 39. Let l be a(-6). Suppose -l*i + 23 = 5*w, i - 2*w = -10 + 3. Is 112 at least i?
True
Let u be (-133)/16 + (-72)/(-18). Suppose 13*q = -2*n - 51, 4*n = 5*q + n - 3. Do q and u have the same value?
False
Let n be (-284)/31 + (-94 - -104). Which is smaller: n or 1?
n
Let d = -158 + 46. Let i = -100 - d. Which is smaller: i or 3?
3
Let z = -27428