.029. Let m = b - -22.5. Which is bigger: j or m?
m
Let g be 1/((-26)/28 + 1). Suppose 2*w + r - 12 = -9, -2*r + g = -4*w. Which is smaller: 3/215 or w?
w
Let v = 11792 + -94171/8. Which is bigger: v or -0.9?
v
Let i = 8.8 - 8.4. Let v = -1.58 - -0.58. Is v bigger than i?
False
Let y be 1309/(-434) + 7 - 4. Suppose l = -4*j + 1, -5*j + 2 = 2*l - 0. Which is greater: y or j?
j
Let y be (-14*4/12)/((-2)/3). Let m = y - -5. Suppose 0 = -4*n - 4 - m. Which is smaller: n or 0?
n
Let b(t) = 28*t**2 - 127*t + 25. Let n be b(5). Is n less than or equal to 74?
False
Suppose 0 = -4*c - 4*r - 968, -4*c = r - 3*r + 986. Let h = 216 + c. Which is smaller: 0.03 or h?
h
Let i = -21 + 27. Suppose 0 = n + l - 46, -2*l = -5*n - i*l + 227. Suppose 2 + n = p. Which is bigger: p or 44?
p
Suppose 0 = -158*y + 163*y - 4*f - 10452, -6*f = 5*y - 10522. Are y and 2096 non-equal?
False
Let k be 1874/(-4) - (-2 + 18/12). Let o = 10293/22 + k. Let i = -789/7 + 113. Which is bigger: i or o?
i
Let s(w) = w - 21. Suppose 5*j + 361 = 76. Let i = 69 + j. Let q be s(i). Which is smaller: q or -7?
q
Let b = 21508 + -109828/5. Is -457 bigger than b?
True
Suppose 0 = -2*z - 146 + 134. Let p(v) = 2*v**3 + 10*v**2 - 9*v + 17. Let r be p(z). Is r at most as big as 2/763?
True
Suppose 7*i - 2279 + 4435 = 0. Is -310 bigger than i?
False
Let t = 1081 - 1804. Let p = t + 723. Which is greater: p or -1.89?
p
Let j = -3752.25 - -3751. Which is bigger: -5 or j?
j
Let m(f) = -4*f**2 + 64*f - 238. Let r be m(4). Which is greater: r or -31/5?
-31/5
Let m be (-705)/(-65) - (-2)/13. Let w(x) = -2*x + 73. Let n(f) = -9*f + 364. Let k(v) = m*w(v) - 2*n(v). Let j be k(23). Is j at least as big as -1?
False
Let l = 314 + -303. Let n be ((-44)/112)/l*(-6)/12. Which is bigger: n or 1?
1
Let z be 121767/3*((-2355)/(-582) + -4). Let v = z + -1883. Which is greater: 0 or v?
0
Let h(z) = -z**3 - 53*z**2 - 226*z + 148. Let n be h(-48). Is n bigger than -524?
False
Suppose -2666 = -70*h + 974. Which is bigger: h or 106?
106
Suppose -5*r + 0 = -4*k + 3, 0 = r - 1. Suppose -f - k*a = -590, -5*f + 3*a + 2930 = 8*a. Which is greater: 581 or f?
f
Let x = 441.316 - 441.4. Let l = 9585.084 + -9561. Let v = x + l. Are 0.2 and v unequal?
True
Let l = -3/8162 - 5133883/40810. Let c = l - -126. Which is bigger: c or -56?
c
Suppose -310 = -4*d - 2*j, 3*d - 3*j - 175 = 53. Let h = 14 - d. Let u = h + 50. Which is smaller: -16 or u?
-16
Let q be (2 + (-3 - -3))*(-546 - -12). Let g = -7498/7 - q. Which is greater: -2 or g?
-2
Let m(j) be the second derivative of 13/12*j**4 + 1/2*j**2 - 7*j + 0*j**3 + 0. Let r be m(-1). Does r = -0.2?
False
Let r = 26394 - 26393.7107. Are -2/3 and r unequal?
True
Suppose 13 = -s + 5*x + 49, 4*x - 32 = -3*s. Suppose s*w = 49*w - 957. Is -4/11 > w?
False
Let m = 978748579/3710 + -1846710/7. Let l = 1/53 - m. Let j = 189 - 187. Is j smaller than l?
True
Let x(c) = -c**3 - 32*c**2 - 103*c + 151. Let q be x(-27). Is -713 greater than q?
False
Let p = -12770 + 51089/4. Do -89 and p have different values?
True
Let x(a) = 4*a**2 - 5 + 2*a**2 - 3*a**2 - 4*a**2 + 20*a. Let z be x(11). Let j = -120 + z. Is -26 smaller than j?
False
Let g be (3/(56628/(-32945)) + 7/4)*-3. Are g and -0.02 equal?
False
Let x = 62 + -13. Suppose 0 = -3*y + 2*w - w + 145, -95 = -2*y + w. Which is smaller: y or x?
x
Let q be 1 + 96/(-45) - (-522)/3915. Do -22/1415 and q have different values?
True
Let l be 5*((-711)/(-81) + -9). Suppose 0*k = -3*s + k - 2, -8 = 5*s + 3*k. Which is smaller: s or l?
l
Let i be 100/30*(-12)/(-10). Let c be 47/(-4)*(0 + i). Let g = -66 - c. Which is smaller: -18 or g?
g
Let l be (2148/362)/(-1) - ((24 - 62) + 32). Is l at most as big as 0?
False
Let p be 3*-47*(-7 - -5). Let i be (-3)/p*(-60)/(-7 - -13). Which is smaller: i or 1?
i
Let m = 17663/21 - 841. Suppose -2*j + 2 = -0*j. Which is bigger: j or m?
j
Suppose 4*x = -5*p + 1278, -3*p = -4*x - 575 - 179. Which is smaller: p or 1529/6?
p
Let h = 0.073 - -90.927. Let k = 91.1 - h. Which is bigger: k or 1/3?
1/3
Let x(o) = -4*o**3 - o. Let v be x(-1). Let r(q) = 3 - v*q - 10*q - 8*q + 8*q. Let p be r(-2). Is p at most 32?
False
Let w be (1/178)/(1/(-2)). Let a = -0.0386393 - 3.9613607. Are a and w nonequal?
True
Let u(k) = -k**3 - 5*k**2 + 5*k - 4. Let v be u(-6). Let m = -4 + v. Suppose 5*t - s + 6*s + 30 = 0, -3*t - s - 8 = 0. Which is greater: t or m?
t
Let q be -13 + (-3978)/9 - -14. Which is smaller: -439 or q?
q
Let y be (-37)/(-2)*(180 - 188). Are -143 and y non-equal?
True
Let b be (1 - 0) + 0 + 40. Suppose b = 4*x - 3*c, x + 5*c + 5 = 21. Suppose -15 = 5*j, 2*j = 2*y - 0*y - 30. Are y and x unequal?
True
Suppose -8*h = -4*h - 12. Suppose 29*m - 33*m = 832. Let v be ((-2)/8)/(4/m). Which is greater: h or v?
v
Suppose -1274 = 11*m + 2961. Which is greater: -383 or m?
-383
Let y = -28.9 - -2.9. Suppose 5*c = u + 39, 2*c + 10 = 24. Which is smaller: y or u?
y
Suppose -35*l + 38*l = -1662. Let h = l - -384. Let u be (-1442)/h - (-8)/68. Which is greater: 10 or u?
10
Let w(y) = y**2 - 13*y + 7. Let n be w(12). Let i = 9 + n. Suppose 6*l = -22 + 46. Is l bigger than i?
False
Suppose j - 1122 = 62. Are 1184 and j non-equal?
False
Let o be ((-6)/(-4))/((-21)/42) + 720. Is 715 smaller than o?
True
Let w(c) = -152*c**2 + 1. Let r be w(-1). Let i = -103 - r. Let k(b) = -46*b + 785. Let m be k(16). Which is greater: i or m?
m
Suppose -4*l + 3*d = 100 - 33, 0 = 4*l + 3*d + 61. Let g be 84/l + (1 - -4). Which is smaller: g or -75?
-75
Let u = 3 + -1. Let t = 1 - u. Let m be ((-11)/(-44))/(-17 + 2955/120). Which is greater: t or m?
m
Let m(a) be the third derivative of a**5/12 - a**4/24 - a**3/2 + 5*a**2. Let v be m(3). Let s = 20 - v. Is -20 at least as big as s?
False
Let o(x) = x**3 + 8*x**2 + 18*x + 413. Let p be o(-10). Which is smaller: p or 29?
29
Let w = 50 + -46. Suppose -w = g + g. Let f be ((-44)/(-8))/(g/(-12)). Which is greater: 32 or f?
f
Let c be ((-13218)/369)/(-4 - 176/(-36)). Let p = 161/4 + c. Suppose -4*s = -2*t - t + 16, -1 = 5*s + t. Is s greater than p?
False
Let p = -229 - -229.85. Let k = 188/3 + -62. Is p greater than or equal to k?
True
Let q = 12 - 8. Suppose -5*u = 4*f + 1962 + 717, -5*u - 2711 = -q*f. Let x be 6/(-14) + (-329)/u. Is 1 >= x?
True
Let s be (-2)/(-1) + 65 + (3 - 6). Let y be ((-1616)/s)/(1/(-68)). Let r = y - 369157/215. Which is greater: r or 0?
0
Suppose -2*f + 8 = -4*f. Let i = -2093/2 - -1043. Which is smaller: i or f?
f
Let f = 1809982/189 - 67236/7. Does f = -29?
False
Let h be (6/(-2))/((204/(-249662))/(4/7)). Which is smaller: h or 3?
3
Let o(y) = 136*y**2 - 31*y - 25. Let m be o(2). Is m smaller than 13?
False
Let f = -5827/30 - -967/5. Are f and -0.13 equal?
False
Let l(s) = s**2 + s - 1. Let v(b) = -2*b**2 + 36*b - 18. Let k(u) = 4*l(u) + v(u). Let y be k(-18). Is -95 greater than y?
False
Let y = 1.5349 - 1.919. Is y greater than -0.1?
False
Let i be -548*(-2)/(-7)*(-25)/((-225)/(-63)). Which is smaller: 4385/4 or i?
i
Let r(v) = 68*v + 1155. Let w be r(11). Is 1905 less than or equal to w?
False
Suppose 0*d - 5*d = 4*f - 84, 36 = 2*f + 4*d. Let r be (-230)/(-10) - 10/(-4). Is f greater than or equal to r?
True
Suppose 4*w - 416 - 384 = 0. Suppose -w = 7*h - 12*h. Let l = 58 - h. Which is greater: 20 or l?
20
Let r = 346.8664 - 347. Let k = -0.0394 + r. Which is smaller: -0.1 or k?
k
Suppose 3*y - 10232 = y + 4*r, -3*r = 3*y - 15348. Let w = 301836/59 - y. Is w less than 0?
True
Suppose 3*b - t - 20 = 29, -4*b - 4*t = -76. Let q = b + -9. Suppose 4*j = 5*z - 29, 3*z + 2*j = 51 - 16. Is z equal to q?
False
Let a be -2*(-2)/(-22) - (-1748)/418. Suppose -a*x = 12 - 40. Suppose -4*y = x*y - 4*y. Which is smaller: y or -1/6?
-1/6
Let w be ((-27)/(-72))/((-3)/2174). Let a = w - -272. Let g = 3.7 + -5.4. Is g at least a?
False
Let i = -142910/21679 + 125/19. Is i < 0?
True
Let m(t) = -157*t - 4. Let d be m(-3). Let h = -458 + d. Let b(c) = 2*c**2 + 7*c + 4. Let p be b(-4). Which is bigger: h or p?
h
Suppose -6*z - 1622129314 = -23962258. Let q = -19520811506144/73287 - z. Let m = q + 1/479. Which is bigger: 0 or m?
0
Suppose -15 - 25 = 4*a + 4*f, -12 = 2*a + 4*f. Let w be ((-6)/(-18))/(a/36). Let h = 2085.8 + -2086. Is h at least as big as w?
True
Let j(v) = 6*v**3 - 3*v**2 + 10*v - 12. Let q be j