8 = -2*a - 3*a. Suppose u*z = -2*z - 4*d + 950, 4*z - 4*d - 724 = 0. Let i = z + -8744/47. Which is smaller: -1 or i?
-1
Let n = -10.18 + 0.18. Let z = n - -10.1. Let h = 0.3 - z. Which is smaller: h or -3?
-3
Let d be (-306)/(-216) + (-5 - -1). Is -2 less than d?
False
Let x = -0.033 - -13.033. Let d = x - 11. Is -5 at least as big as d?
False
Let k be (-432)/(-20) + 4/10. Suppose -2*m + 18 = k. Is -10/7 at most as big as m?
False
Let l(m) = -m**3 - 4*m**2 + 1. Let x be l(-4). Let i(q) = -7*q. Let u be i(x). Is -34/5 greater than u?
True
Suppose 0*c = -8*c - 96. Let h be -5*c/30 + 86/(-10). Are h and -6 non-equal?
True
Let m = -528 - -483.2. Let l = m - -45. Let q = -6.09 + 0.09. Which is smaller: q or l?
q
Let a = -139 + 109. Which is bigger: -36 or a?
a
Let p(x) = -5*x**2 - 51*x - 11. Let n be p(-10). Which is smaller: 146 or n?
n
Suppose l + 14 = -4*m, 4*l - 46*m + 49*m + 56 = 0. Which is smaller: 10 or l?
l
Let p(l) = 29*l - 7. Let f be p(4). Is 107 at least f?
False
Let o = 2/603 - -12659/1206. Let x = o - 65/6. Is 20 at most as big as x?
False
Let x be (-96)/(-48) + (0 - 92 - 1). Which is greater: -92 or x?
x
Let i be (-820)/16 - ((-1)/36 + (-68)/306). Suppose -260 + 56 = 4*p. Is p != i?
False
Let l be (22 - 19) + 3*-1. Let i = -7/51 - 359/357. Which is smaller: l or i?
i
Let r(u) = 9*u - 10. Let v(n) = n**3 - 7*n**2 + 2*n - 9. Let o be v(7). Let j be r(o). Let z be -2 + 1 + j/(-21). Is z greater than -3?
True
Let b = 23.57 + -23.6. Are 11 and b non-equal?
True
Let o be 8/12 + 2/6. Let x be 17/(-51) - (167/(-123) - -1). Which is smaller: o or x?
x
Suppose -b + 7 = -5. Suppose -m + 5*p - 18 - b = 0, 3*p = -5*m - 10. Is -36/7 less than or equal to m?
True
Let n = -329.54 + 330. Is n != -1?
True
Suppose -3*i = -2*r - 18, -2*i + r + 10 = -1. Let x be i/(-14) - (-461)/1540. Let d = 83/1980 + x. Is 0 < d?
True
Let l = 17/9 - -13/9. Let b be 4/18 - 43/(-9)*10. Let n = b - 44. Which is smaller: l or n?
l
Let h be -3*(-118 + (-49)/(-7)). Is 332 at least h?
False
Let d = -6324 - -132739/21. Let w = 17/7 + d. Which is smaller: w or -2/5?
w
Let d be (6/184)/((-81)/8424). Which is smaller: d or -2?
d
Suppose 58 = 8*m + 34. Let v be 99*((-16)/(-12))/(m + -1). Which is bigger: 65 or v?
v
Let o(p) = p**2 + 18*p + 19. Let z = 37 - 54. Let a be o(z). Is 3/2 less than a?
True
Let q be (4 - (-26)/4)*-2. Let w be -2 - (-6)/9 - 7/q. Let m = 0 - -0.7. Is w bigger than m?
False
Let j be (6*2/3144)/(2/(-8)). Let n = -7 + 6. Is n smaller than j?
True
Suppose -4 = -4*o + 36. Let f be 42/(-56)*o/(-9). Is 2 >= f?
True
Let m = -3/4 - 1/2. Suppose -j - 2 + 0 = 0. Is j < m?
True
Suppose -12*u = -5*u - 21. Let n be u/((-4)/32*18). Let y = 0.2 + -1.2. Is y <= n?
False
Let r = 1.78 - 1.709. Let b = -0.111 + r. Which is smaller: 3 or b?
b
Let r = -35 + 22. Let a = 12.95 + r. Let p = -10.95 + a. Are p and 0 non-equal?
True
Let b = -2341/18 - -1070/9. Is b equal to -11?
False
Suppose -108 - 77 = 5*h. Let b = 149/4 + h. Which is smaller: -0.07 or b?
-0.07
Let q be 30/6 - 1*3. Suppose -z = 2*h + 32, 5 = -q*z - 3. Is 0 less than h?
False
Suppose u + 4*t + 16 = -0*u, 3*u + 3*t = -21. Let d be (-10)/4 + (-4)/8. Let n = -1 + d. Are u and n equal?
True
Let g = -36 + 22. Let s = g - -20. Let d(a) = -a**3 - a**2 + 2*a + 8. Let f be d(0). Which is greater: f or s?
f
Let u be (3/(-5))/(6/1230). Is 0 at most as big as u?
False
Let b(v) = -2*v**2 + 28*v + 37. Let f be b(15). Suppose -7*u = -28 + f. Which is smaller: u or -4?
-4
Suppose -18*p = -5*c - 23*p - 40, 5*c + 3*p + 40 = 0. Which is smaller: -17 or c?
-17
Let v = -15 + 15.074. Let j = -0.174 + v. Do 2 and j have different values?
True
Let b = 130 + -80. Let i = b - 48. Let c be (8/(-42))/(3/9). Which is smaller: c or i?
c
Suppose 5*b - 7*t + 2*t = 50, 4*t = 5*b - 49. Suppose -7*p = -6*p + b*p. Which is smaller: p or -5/18?
-5/18
Let f = -14/3883 - -986408/34947. Is 28 <= f?
True
Let l = -497 + 503. Let k = 6 + 2. Is k >= l?
True
Let r(q) = 16*q + 11. Let k be r(4). Which is smaller: k or 77?
k
Let x = -126 + 105. Let w = -25 - x. Let n = -775/77 + 106/11. Is w at least as big as n?
False
Suppose 0 = 5*a + 57 - 107. Which is smaller: 49/5 or a?
49/5
Suppose -l = -1 - 5. Let a be (9/l)/(9/6). Which is greater: -2/71 or a?
a
Let k = -28 - -65. Is 35 at most as big as k?
True
Let n(k) = 5775*k + 14. Let h be n(-13). Let p be h/147 - 2/(-7). Let t = p + 503. Do -6 and t have the same value?
False
Let g be 8 + (-8 - 12/(-6)). Is g >= 2.65?
False
Let s = -43 + 28. Let m = s + 11. Suppose l + 0 - 1 = 0. Does m = l?
False
Let p be 1/((-3)/(-12)) + 61. Suppose 5*q + p = 2*z + 3*z, -3*z = 4*q + 87. Let g be (-2 + 0)*(-9)/q. Is 1/48 at least as big as g?
True
Let z = 677715/1106 - 4290/7. Let g = -1247/237 - z. Which is smaller: -5 or g?
g
Let v be (62891/(-427))/(2/14). Which is smaller: -1032 or v?
-1032
Let o = 20 + -10. Let u be -1 - (-1 + o/(-12)). Let c = -10 + 11. Which is smaller: u or c?
u
Let f = -5/149 - 123/5215. Let j(u) = u**2 + 4*u - 4. Let w be j(-5). Which is smaller: f or w?
f
Suppose 3*c = 8*c - 25. Suppose -c*w + 1 = 6. Which is smaller: w or 7/17?
w
Let k be (-10 + 8)/(1/19). Let x be (-23)/(-1) + k + 34. Are x and 124/7 non-equal?
True
Let x = 2 - 20. Let v = -11 - x. Let g = -8 + v. Is g at least -1?
True
Let q be 8 + (-1 - (5 - -1)). Is -1/17 > q?
False
Suppose -6*w + 100 = 4*w. Suppose -1 = 4*q - k, -3 = -q - 2*k - w. Which is smaller: 0.8 or q?
q
Let f = -6 + 5. Let n = f + 0.9. Is -2/17 less than n?
True
Suppose s + 53 = 3*d, 0 = -s - 2*s + 3. Let i be (0 - -4)*(-1)/d. Let h(w) = -w**3 + 11*w**2 - 11*w + 10. Let n be h(10). Which is greater: i or n?
n
Let j = -36 - -39. Suppose 4*p + 21 = -f + j*p, 2*p - 70 = 5*f. Is -18 smaller than f?
True
Let w be 4/(-8) + 27/(-2). Let u = w + 33. Which is smaller: -0.1 or u?
-0.1
Suppose 1147 = 20*o + 207. Which is smaller: 46 or o?
46
Let f = -0.4008 + 0.2608. Let n = -1.3 - -0.3. Which is smaller: f or n?
n
Let q = -5/166 + 487/5146. Suppose -12 = 4*c, 8*m - 3*m + c + 3 = 0. Which is bigger: m or q?
q
Let i = -12 - -11.63. Let r = 37 + -37.1. Is i at least as big as r?
False
Suppose 0 = -2*v + 26 - 0. Which is smaller: v or 11?
11
Let a(u) = -2*u**2 - 51*u - 56. Let f be a(-24). Which is smaller: 59/4 or f?
59/4
Let c be ((-10)/(-3))/((-2)/(-3)). Suppose 0 = c*z - 3*z - 2. Let i = 54043/10 + -5404. Is i at least z?
False
Suppose -5*g - 10*h + 18 = -13*h, -3*h = 2*g - 24. Are g and 0 equal?
False
Let j = 640 - 367. Is j >= 274?
False
Let n = 67933/33 - 2059. Let g = -2/63 + 85/693. Let j = g + n. Is 4 greater than or equal to j?
True
Suppose 13147 + 117 = -4*l. Let o = 242064/73 + l. Which is greater: o or -1?
o
Suppose 0 = -44*t + 444 - 48. Which is smaller: 42/5 or t?
42/5
Let h = 3 - 4. Suppose 0 = -5*x + 23 + 27. Suppose 2*i = -6*i + x*i. Which is greater: h or i?
i
Let t = 14.2 + -8. Let z = -7.2 + t. Let o = -4.6 + 5. Which is smaller: o or z?
z
Let c = 2/1097 - -2168/14261. Let g = 0.2 + -0.16. Is c greater than or equal to g?
True
Let a = -11790/32483 + -2/2953. Which is smaller: a or -7?
-7
Let v be 3 + (552/(-140) - -1). Let n be (-6)/(-9)*3 - -19. Let x = 22 - n. Which is greater: v or x?
x
Suppose 3*t = 2*w + 13, -5*w - 24 = t - 0. Suppose -3*i = -5*s - i + 32, i = 5*s - 36. Let l be 1 - (1 + s/28). Is t at most l?
False
Let j be (-2)/3 + (-43)/3. Let v = -43/25 - 1353/100. Which is bigger: j or v?
j
Let l = -4961 + 600287/121. Which is smaller: 1 or l?
l
Let y(f) = -f**3 + 5*f**2 - 10*f + 19. Let m be y(4). Which is smaller: m or -1/9?
m
Let n = -6/1069 + 2119/187075. Which is greater: 4 or n?
4
Let f(c) = -43*c**2 - 35*c + 2. Let s be f(-2). Which is bigger: -94 or s?
-94
Let i = -1/87 - -146/87. Which is bigger: i or -2/47?
i
Let x be (-3 + (-616)/40)/((-1)/(-5)). Do x and -89 have the same value?
False
Let i = 35 - 59. Let s = 26 + i. Is s at most 0.14?
False
Let w = 7061263957/4257800 + -995039/600. Let p = -1/1047 - w. Is 0 less than p?
False
Let d be 1 - (-9 - 5985/(-603)). Is 0 > d?
False
Let b = 35 + -36. Let c be (b/4)/((-5)/20). Let p be (c/18)/(-1)*4. Is p greater than or equal to -1?
True
Let j = -0.4 - 2.6. Let c = -74 + 130. Let k = c + -56.2. Which is greater: k or j?
k
Let o = 14.45 + -97.65. Which is bigger: 1 or o?
1
Let k(a) = -a + 12. Let 