 = -6 + q. Let h = -0.8 - u. Are h and -0.3 nonequal?
True
Let i = 71 - 71.08. Let j = -0.004 - i. Are -2/3 and j nonequal?
True
Suppose 17 + 7 = -r. Let d be ((r/(-238))/6)/(6/14). Which is bigger: 0 or d?
d
Let o = 4 + -3. Let j be ((-6)/8 + o)/(-1). Let x(i) = i**2 - 10*i - 1. Let h be x(10). Is j bigger than h?
True
Let v = -3 + 9. Suppose 3*x - 9 = -3*a, 2*a + 4 + v = 0. Let k(b) = 7*b**2 - 2*b + 1. Let o be k(1). Is o <= x?
True
Let q = 28590/7 - 41998696/10283. Which is smaller: 0 or q?
0
Suppose -3*l = 3*n + 24, 7*n - l + 64 = 2*n. Let y be (-26)/28 - n/8. Which is smaller: -1 or y?
-1
Let a = 5 + -4.9. Let t = -0.36 - 13.64. Which is bigger: t or a?
a
Suppose a + 6 = -s - 3, 3*s + 19 = -a. Let y be a/(((-4)/(-14))/(3/7)). Is -2 not equal to y?
True
Let b(l) = l**3 + 8*l**2 + 3*l + 14. Let j be b(-8). Let q = -8 - j. Let r be 1/(q/(8/(-4))). Is r less than 1/20?
True
Let p = 4.9 + -5. Let o = -3.3 + 1.5. Let q = o - -1.4. Does p = q?
False
Let c = 0.153 - 0.153. Is c smaller than 46?
True
Let j = 15 - 15.78. Let z = -37.78 - j. Let s = 38 + z. Is 28 >= s?
True
Let o(q) = -14*q + 1. Let x be o(1). Let m be (675/10)/5 - 1/2. Let f = 0 - m. Do f and x have the same value?
True
Let f = -0.7 + 0.19. Let y = f - -0.01. Let r = -1.5 - y. Do -0.2 and r have the same value?
False
Let y be 10/(-20) + 878/1744. Let o = y + 13/872. Do o and -1 have different values?
True
Let b = 25 - 23. Suppose -4*g = -b*y, y + 4*y + 12 = 4*g. Let k be (g/4)/((-8)/(-96)). Is k less than -5?
True
Let d = -3 + 3. Let h = -9 + d. Is h greater than or equal to -9?
True
Let v = -8 - -3. Let c = 8 + v. Let b = 3 - c. Is -0.1 <= b?
True
Suppose -19 + 19 = -2*w. Is 2/233 equal to w?
False
Let w be (-1300)/(-1911) - 4/6. Let z = 137/735 + w. Which is smaller: z or 2?
z
Let q(f) = f**2 + 24. Let b be q(0). Suppose 7*d - 4*d + 3 = 0. Let v be (2 + (-44)/b)*d. Which is bigger: -0.2 or v?
v
Let t(d) = -2*d - 32. Let s be t(-14). Suppose 3*p + 12 = h, -p = -3*h + 2*p + 18. Suppose 16 = -4*m, -2*m - h*m - 24 = l. Does s = l?
True
Let b = 81 - 23. Suppose 0 = 8*l - 107 - 349. Which is greater: b or l?
b
Let r(q) = -27*q**2 - 3*q. Suppose -6 = -4*f - 2*m, 9 = -5*f + 2*m - 6. Let s be r(f). Which is greater: s or 0.1?
0.1
Let h = 1/2 + -7. Let t = h + 67/10. Let n(m) = -m**2 + 11*m - 9. Let r be n(10). Which is greater: t or r?
r
Let k be (6/4)/(12/32). Let j be 14*(-14)/(-49) - (3 + 0). Which is greater: j or k?
k
Let o be (-2)/(1*-6)*(-1 - -1). Let n be 3/(-6) - (-18)/(-20). Is n less than or equal to o?
True
Let f = 20 - 33. Suppose 0 = c + 3*c - 36. Let k = c + f. Is k >= -2?
False
Suppose -2*g + 6*g - 3*t + 69 = 0, 5*g = 5*t - 90. Let p = 2 + 0. Is g at least p?
False
Let w be (4 + 154/(-33))*597. Is -398 bigger than w?
False
Let o = 1 + 0. Suppose 12*n + 16 = 14*n + 4*t, -5*n = -2*t + 20. Let v be (-12)/n*(-1)/(-26). Does v = o?
False
Let v(l) = 5*l**2 + 18*l - 20. Let m be v(-7). Is 99 at most as big as m?
True
Let u = 0.1073 + -0.1923. Which is greater: -2 or u?
u
Let c(z) = -6*z**3 - 5*z**2 + 9*z - 19. Let u be c(3). Are -199 and u equal?
True
Let r be -4*1/2 + 7. Let l be 2/r + (-2)/((-50)/(-45)). Let k be 2/(-1 - 2/2). Which is greater: k or l?
k
Let q = -23/60 + 31/12. Suppose 5*h = 5*w + 7 - 62, 0 = 4*h + 4*w + 20. Let t = -6 - h. Which is greater: t or q?
q
Let w = -5.038 - -0.038. Let v = -0.1 - 0.1. Let r = v - -0.1. Which is greater: w or r?
r
Suppose -3*d + 15 = -15. Suppose -2*n + d = 3*n. Suppose c - 1 - 4 = 5*o, -n*o = -5*c - 21. Which is greater: -3 or o?
o
Suppose -2*p - 1 = -3*p. Suppose -2*q + 7 = p. Suppose 4*z = -q*i + 14 + 4, -5*i = 2*z - 16. Which is smaller: 0.1 or z?
0.1
Let x = 0.046 + -0.086. Let j = 0.74 + x. Let d = 0.2 - 0. Which is greater: j or d?
j
Suppose -p - 4*u - 3 = 17, 10 = p - 2*u. Which is greater: p or -2/11?
p
Let q = 325 + -316. Suppose 2*f = 27 - 5. Is f > q?
True
Let d be (233/12)/((-1)/(-3)). Let n = -58 + d. Suppose z + 53*g = 55*g + 11, -19 = z + 4*g. Is z at least n?
True
Let i(c) = -3*c + 45. Let k be i(15). Let t(q) = -q**3 - 7*q**2 + q - 1. Let f be t(-7). Let y be 1/(-5) - f/10. Which is greater: k or y?
y
Suppose 7*v - k - 19 = 2*v, 24 = 4*v - 3*k. Suppose -2*r + 4*r = v*r. Which is bigger: r or -2/49?
r
Let h be 1 + (-2486)/498 - -4. Are h and 0.1 unequal?
True
Let s be 6 + -5 + 2 + (-170)/(-70). Is -1/2 <= s?
True
Let g = -5/102 + 173/5610. Suppose -116*q + 108*q = 0. Is g at most as big as q?
True
Let a be ((-15)/(-5) + 0)/1. Suppose -3*f = -a*u - u + 40, 3*f - 2*u + 32 = 0. Which is bigger: f or -6?
-6
Suppose p + 6 = u, -u - 2*p = 2*p + 14. Suppose -1 - u = 3*a. Are a and 12 equal?
False
Let m = 0.4 - 1. Let o = 0.2 - 0.9. Let w = o - m. Is 1 equal to w?
False
Suppose -4*d = -12 + 32. Let b be 40/(-15)*3/(-2). Suppose -2*a = -f, -f = b*f - 5*a + 15. Is d != f?
True
Let g = 8.3 + 1.7. Let s = -9.9 + g. Let i = -42 + 169/4. Which is bigger: s or i?
i
Let b = 446.9 - 524. Let t = b - -77. Is 2 > t?
True
Let y(f) = -f**3 - 10*f**2 + 15*f + 14. Let s be y(-11). Let b = -27 - s. Which is bigger: b or -3?
b
Suppose 5*l = -16 - 9. Let x be (-130)/(-6) - l/15. Is 22 less than or equal to x?
True
Let y = 4132 - 227267/55. Is y greater than or equal to 0?
False
Let a be -17 + (-1694)/(-98) + 2494/(-154). Which is greater: -16 or a?
a
Let l = 92 + -84. Let b = l + -9. Which is smaller: b or -0.28?
b
Let c(t) = t**2 - 7*t + 7. Let h be c(6). Let a be 1 + (-16)/4 + 59/19. Which is greater: a or h?
h
Suppose 0 = 62*h - 60*h + 4. Is h > -38/11?
True
Suppose 0 = 5*c + 5*o - 775, -5*o = -c + 70 + 61. Is 150 smaller than c?
True
Let l = -13.9 - -7.1. Is l less than or equal to -0.1?
True
Let t be (-61)/3 - 12/18. Let w = -20 - t. Is w less than -4?
False
Let c = -13 - -14. Let s be (c + 3)*(-3 + 67/4). Is 55 at least as big as s?
True
Let n(v) = v**2 + 27*v + 46. Let a be n(-26). Which is bigger: a or 17?
a
Let s = 41 + -5. Suppose 38*r - 2 = s*r. Is -2/79 <= r?
True
Let d be 1/(-6) - 31/(-114). Let o = 4.4 + -3.1. Let g = -1.2 + o. Which is smaller: d or g?
g
Let m(b) = -b - 5. Let f(d) = -d - 5. Let o(s) = 4*f(s) - 3*m(s). Let r be o(-9). Let a be r/(-16)*-4 + 1. Which is greater: 0 or a?
a
Suppose 3*c - j - 42 = 0, -5*c - 6*j + 3*j + 84 = 0. Let l be 0 + 36/c - 3. Which is greater: 0 or l?
0
Let g = 851/3835 + -14/59. Let p(s) = 67*s + 3686. Let c be p(-55). Is g != c?
True
Suppose -o + 5*x - 2*x - 4 = 0, -3*x + 14 = 4*o. Let a = o + -4. Let t be 93/(-105) + 4/14*1. Is a >= t?
False
Let l = 1.41 - 1.51. Which is greater: -15 or l?
l
Let v be -3*6/(-81) - (-28)/36. Suppose -t - 3 = 4. Is v bigger than t?
True
Suppose -4*t + 317 = -2*n - 155, 0 = 5*t + 3*n - 601. Is t bigger than 119?
False
Suppose 43*f - 10314 = -11*f. Is 191 greater than or equal to f?
True
Let l be -2 + (10847/(-132) - 2). Let m = 37/44 + l. Let t = 84 + m. Which is smaller: 0 or t?
t
Let k(h) = -h**3 - 4*h**2 + 13*h - 7. Suppose 5*j + 4*r + 10 = 0, 6*r - 9*r - 3 = 3*j. Let f be k(j). Which is smaller: f or -14?
-14
Suppose -1149*m - 1182 = -1146*m. Which is smaller: m or -392?
m
Let n = 196 + -186. Which is greater: 18 or n?
18
Let a = -164 + 162. Which is greater: -2/33 or a?
-2/33
Suppose 3*o + 8 + 1 = 0. Let d = 3 + o. Let k be 16/21 - 18/42. Which is bigger: d or k?
k
Suppose m - 18 - 30 = 0. Suppose h - 29 = m. Let w = -537/7 + h. Is w at most -1?
False
Let l = 12 + -25. Let q = l - -20. Let z = 35 + -29. Which is greater: q or z?
q
Let h be (5/(-1) + 3)*51/(-6). Suppose -4*y + s = -h, -1 = y + s - 3*s. Is 3 at most y?
True
Let n be (2/5)/(5/225) + -3. Is 97/6 at least as big as n?
True
Let j = -3.9 + 1.3. Let l = 8.66 - 8.86. Which is smaller: j or l?
j
Let d(c) = c**3 + 3*c**2 - 4*c + 1. Let l be d(-4). Let n = 5/58 - -235/638. Let f = n - 3/55. Which is bigger: f or l?
l
Let u be (-115)/(-70)*7 + -13. Let i be (-1)/(3/(-2))*6. Suppose -i*o - 3 = -3*o. Is u at most o?
False
Let d(f) = -f**3 + 8*f**2 - 2*f + 15. Let t be d(8). Which is smaller: t or 15?
t
Let z be (30/21 + -2)/((-6)/21). Suppose z*x = -3*y + 7*y - 70, -3*x - y - 119 = 0. Which is bigger: -37 or x?
-37
Let n = -1186 + 799. Which is bigger: -390 or n?
n
Let y = 10338 - 10354. Suppose 0 = -3*a - 5*m + 28, a + 2*m - 13 = -2*a. Let c be 1 + -2 + (-13 - a). Are y and c nonequal?
True
Let j =