= -3*m + 40. Let p be h(12). Suppose 0 = p*v - 2*w + 4*w - 78, 0 = -4*v + 5*w + 43. Which is greater: v or -4?
v
Let p be (-5)/(-20 + 5)*0. Let b be 6 - (-15 + -4 - p). Which is bigger: b or 23?
b
Let o be (2/(4/(-2)))/(3/(-3372)*44). Is 25 bigger than o?
False
Suppose -4*p = 8, -7*p = -2*c - 4*p + 48. Let y(z) = -z + 4. Let n be y(4). Suppose v + 8*q - 3*q = c, n = v - q + 3. Is v smaller than 3?
True
Let v(b) = 9*b**3 - 5*b**2 - 211*b + 175. Let g be v(-12). Which is bigger: -2 or g?
-2
Suppose -485*n - 11680 = -465*n. Are -587 and n nonequal?
True
Suppose j = 3*y - 106, -j - 3*y + 221 = -3*j. Suppose 5*k = 110*x - 108*x - 580, k + 116 = -6*x. Are k and j unequal?
True
Let v = 1.4 + -0.4. Let u = -1.95 - -124.95. Let x = -129 + u. Which is smaller: v or x?
x
Let w be ((-27)/5)/(336/(-30) + 11). Let n(b) = 2*b**2 - 56*b + 53. Let l be n(w). Which is smaller: -6 or l?
-6
Let j = 18636 - 18622. Is 264 < j?
False
Let f = 3970.5 + -3512.5. Which is smaller: -14/13 or f?
-14/13
Let p be (-867)/(-34) + 2/4 - (-6)/1. Let l(o) = -o - 15. Let g be l(-11). Let h(b) = -6*b + 8. Let u be h(g). Is u not equal to p?
False
Suppose 2*m + 5*x + 271 = 0, 0 = m - x + 4*x + 137. Let q = m + 135. Suppose -2*n + 3*n = 8. Is q > n?
False
Suppose 213*a - 3*c = 212*a + 15, -a - 2*c = -25. Suppose 33 + 61 = 4*p + w, 8 = 4*w. Is a < p?
True
Let w be 3 + 4/(-38) + 5 + -8. Let o be 138/(-297) + 72/(-162). Which is smaller: w or o?
o
Let o = 125 - 81. Let a = -43.957 + o. Does 0 = a?
False
Let q = -10254 + 9948. Is -290 at most q?
False
Suppose -74 = -2*t + 4*x, -189*x = 4*t - 192*x - 163. Which is greater: -27 or t?
t
Let r(t) = t**2 + 150*t - 214. Let o be r(-139). Is -1742 less than or equal to o?
False
Let n = 347/18 + -154/9. Let w(m) = -m**2 + 20*m + 45. Let d be w(22). Is d at most as big as n?
True
Let h = -1/1594 - 22273/68542. Is 1 < h?
False
Let u = -493006/13 + 921912237/24310. Let k = -1/170 - u. Let b = -3666 + 3667. Which is greater: b or k?
b
Let z(l) = 5*l - 5. Let w be z(4). Suppose 5*y - 100 = w. Is y at least 22?
True
Suppose -3 = -t + 3. Let f be 3/(t - (16 + -7)). Which is smaller: f or -10/13?
f
Let a be (56*1)/2*-2. Let i be 4/6 - a/24. Suppose -15 = 4*d - 5*j + 3, i*d + 29 = -4*j. Which is bigger: d or -10?
d
Suppose 0 = 2*i - 4*z - 64, -4*i + 4*z + 142 = 3*z. Let r = -1021 - -986. Let l = i + r. Is 1/85 equal to l?
False
Let c = 1442816/18534487065 + 2/746245. Is 1 >= c?
True
Let y be -14 + (-3 - (8 - 26)). Is y smaller than -22/489?
False
Let v be (-1)/2*52/(-78). Which is smaller: -230 or v?
-230
Let k(z) = z - 10. Let a(j) = 7*j + 13. Let n be a(0). Let q be k(n). Suppose -4*t - 5 = -q*t. Which is greater: t or -0.1?
-0.1
Let y be (-1)/(-3) - 85/(-15). Let b = 6 + -42. Let q = b + 45. Which is bigger: q or y?
q
Let g = -4427.2277 + 4427. Which is bigger: 0 or g?
0
Let r(l) = -l**3 - 12*l**2 - 13*l + 25. Let m be r(-11). Let u(q) = -2*q**3 + 30*q**2 - 20*q - 11. Let o be u(14). Suppose o = 6*v - 175. Is v less than m?
True
Let d be 79244/(-1774890) - (-262)/5895. Which is bigger: 0 or d?
0
Let m = 5058 + -5064. Which is smaller: -5/23 or m?
m
Let i = 741 - 740. Let h = -223 - -206. Is h greater than or equal to i?
False
Let l(d) = -1194*d**2 + 234*d + 470. Let g be l(-2). Which is smaller: g or -4777?
-4777
Suppose -9*x - 1799 = -1835. Which is greater: x or 73/16?
73/16
Let a = -68 + 120. Let z be -16*a/8*-10. Let w be (-6)/39 + 264/z. Is w greater than -1?
True
Let m(d) = -67*d - 7. Let r be m(-3). Let j = 187 - r. Let n be (2/(-28))/((-1)/(-108)). Which is smaller: j or n?
n
Let w(d) = -d**3 + 12*d**2 - 19*d + 44. Let i be w(11). Suppose 0 = -c - u - 40, -3*u = -4*c + 2*c - 95. Is i >= c?
False
Let p = -5505 - -5527. Is -18/31 at least p?
False
Let k(d) = d**3 - 42*d**2 + 126*d - 104. Let v be k(39). Are v and 22 unequal?
True
Suppose 3*r = 7*r + 80. Let m(b) = 859*b + 1697. Let v be m(-2). Is v greater than r?
False
Suppose 10*g = -59 - 11. Let b be (3/6)/(g/14) - -1. Is b at most as big as -0.0319?
False
Let y = 354.8 - 354.6. Let d = -17 - -59. Let o = d - 20. Which is smaller: o or y?
y
Let b = -2.5891 - -3002.5891. Do b and -0.5 have different values?
True
Let t = -11 - -19. Let d = -1.8 - t. Let f = -10.29 - d. Which is greater: f or 1?
1
Suppose -5*h + 38 - 23 = 0. Suppose 2*i + 3*m - 7*m = -4, 0 = -h*i + 3*m + 6. Which is smaller: i or 9?
i
Let q = -18349/4 + 4584. Which is smaller: q or -1/23?
q
Let q = -8583 + 7830. Is q at least -753?
True
Let w = 9/4 + -19/8. Let n(q) = -4*q**3 - 5*q**2 + 5*q + 2. Let o be n(-2). Let y be ((-9)/18)/((-2)/o). Which is greater: y or w?
y
Let c = -36851 + 4753829/129. Does -1 = c?
False
Suppose -7*p - 23 - 5 = 0. Let n be p/(-1 + -1) + 154/(-76). Which is bigger: n or 2/5?
2/5
Let u = 736.8766 - -0.1234. Which is smaller: 2 or u?
2
Suppose -l - 6*p = -2*p + 124, l = -5*p - 126. Let y = l + 124. Let q be 41/(-36) - -1*2/y. Which is bigger: -1 or q?
q
Let a = 0.15 + 0.11. Let f = a + -0.06. Let r = -2.52 + 2.37. Is r <= f?
True
Suppose -116 - 68 = -2*w. Let u be (-7 + 3)*3/w. Let s(p) = p**3 + p**2 - 5*p + 3. Let c be s(1). Which is smaller: u or c?
u
Let n = -3.729 - 47.359. Let g = n - -0.088. Let s = g + 51.1. Which is bigger: -45 or s?
s
Let i = -26 + 18. Let w be 5/(-45)*-2743*3. Let f = w - 922. Which is smaller: f or i?
i
Let w = 4645 - 6107. Is w smaller than -1461?
True
Let o = -36.77 - 0.23. Let r(h) = -14*h + 17. Let z be r(-4). Suppose 5*x = -z + 78. Are x and o equal?
False
Let t be (3 - -1 - -1232)*2/6. Let j = 414 - t. Is 25/17 != j?
True
Suppose -5*v = a - 24, -2*a + 5*v - 3 = -6. Let i be (-6)/(-9) + ((-888)/a)/4. Let u be -1*(i/(-156))/((-40)/2). Which is smaller: -1 or u?
-1
Let w = 2205 - 2205.2. Let r be (-1)/(-8) - (-7)/(-64). Which is greater: w or r?
r
Let d(z) = -2*z - 7. Let s(k) = -k. Let w(o) = d(o) - 5*s(o). Let g = -99 + 95. Let x be w(g). Which is bigger: x or -17?
-17
Let f(d) = -d**2 + 11*d - 22. Let v be f(6). Suppose 58 = v*w + 570. Is -64 smaller than w?
False
Let s(t) = -45*t - 2576. Let b be s(-57). Suppose 4*z = -2*u + 52, 5*z + 2*u - 63 = -0*z. Let w = z - 20. Which is smaller: w or b?
b
Suppose -27*t - 1028 = 16717 - 2058. Which is smaller: t or -570?
t
Suppose 109 = g - 2*r, 0 = -3*g + 3*r + 355 - 13. Let c = g + -32. Which is greater: 86 or c?
c
Let d = 122951/3 - 40984. Do d and 1657 have the same value?
False
Let c be (0 - 4/24449)*(-58986)/(-232). Let w = c + -2/1063. Is 0 >= w?
True
Let s be 10/(-12)*3*5/4 + 3. Is 763 at most as big as s?
False
Let m = -156 + 167. Suppose -z - m = 5*a, 12*a + 2 = 11*a. Are z and 2/175 non-equal?
True
Let g be (0 + 0)/(-8) + (-294)/(-4). Let l = g - 4865/66. Let d = 6/11 + l. Which is smaller: d or -2/109?
-2/109
Let f = 3.5 + 26.5. Let q = 33.495 + -3.995. Let h = q - f. Which is bigger: h or 0?
0
Let w(k) = -7*k + 90. Let y be w(-8). Let f = 211 + y. Is 358 less than or equal to f?
False
Let w = -8845 + 8844. Let m = -6322/53 + 119. Is w <= m?
True
Let o be ((-315)/357 + (-6)/51)/1. Which is bigger: 2/15741 or o?
2/15741
Suppose 31*g + 19*g - 167384 = 111*g. Is g at least -2741?
False
Let w(a) be the third derivative of 2*a**5/15 + a**4/8 - a**3 + 154*a**2. Let h be w(-6). Is h less than or equal to 265?
True
Let s be ((-146)/730)/(2/10). Suppose 0 = 3*d + 7 - 1. Is s equal to d?
False
Let o = -7.7 - -8. Let p = o + -0.4. Let k = 39.8139 - -0.1861. Which is smaller: p or k?
p
Let l be (-31356)/1728 + (-6)/32. Which is smaller: -2/19 or l?
l
Let a(m) = -m**3 + 31*m**2 + 29*m - 43. Let u(i) = 4*i - 112. Let p be u(36). Let d be a(p). Is -139 at most d?
True
Let b = 29 - 28. Suppose -4*s - 26 = -3*f, 0*f - 2*s = 3*f + 4. Suppose 0 = -3*r + 4*r + f*r. Is r equal to b?
False
Let p(o) be the first derivative of 7*o**2/2 + 118*o - 295. Let q be p(-27). Is q < -71?
False
Let b(u) be the third derivative of -u**4/24 + 7*u**3/2 - 26*u**2. Let v be b(0). Suppose 0 = -2*g + 8 + 36. Does v = g?
False
Let w = -108 - -523. Suppose 4*s - 48*y + 50*y - 338 = 0, -5*s - 5*y = -w. Do s and 87 have different values?
True
Let a(c) = 82*c + 552. Let t be a(6). Is 1042 bigger than t?
False
Let n = 418 + -426.42. Let a = n - -8.12. Let z = -74/21 - -4408/1239. Do a and z have different values?
True
Suppose -109*z + 24 = -121*z. Which is big