he same value?
False
Suppose 4*f + 22 = 46. Let g be (-8)/f*(-42)/56. Which is greater: -6/25 or g?
g
Suppose 0 = -5*t + 26 - 56. Is t != -11?
True
Let c = 548 - 11504/21. Is c > 6?
False
Let d = -535 + 518. Is -14 < d?
False
Let j = -125 + 126. Let g = -6 + 11. Which is smaller: g or j?
j
Let o(d) = -2*d + 8. Suppose 4 = 3*v + 22. Let c be o(v). Let s be ((-2)/(-45))/(4/c). Which is smaller: -4 or s?
-4
Let b = 0.102 - -18.898. Is -1/3 != b?
True
Let x = -0.072 + 31.072. Let b = 31.18 - x. Let l = 0.08 - b. Is l not equal to -2/3?
True
Suppose 38 = h + 3*r, -44 - 76 = -5*h - r. Let q = 32 - h. Suppose t + 0 - q = 0. Is t equal to 8?
False
Let r = -0.7 - 3.3. Let p = r - -6. Let o = p - 8. Is 1/3 greater than o?
True
Let d = 2/4267 - 4273/12801. Which is smaller: -418 or d?
-418
Let r = -0.0273 - 43.9727. Is 0 less than r?
False
Let g = 528 - 451. Is 79 equal to g?
False
Let g be (-9)/30 + (-3)/(-2) + -1. Let x be (-1)/4*(-6)/15. Is g < x?
False
Let o(r) = -4*r**2 + r - 55. Let d be o(0). Let s = 97 + -151. Which is bigger: s or d?
s
Let j be (-3)/4 + -2 + 904/352. Which is greater: j or -3/13?
j
Suppose 2*b = -4*k + b + 312, 234 = 3*k + 2*b. Let n be (14/54)/(13/k). Is n > 3?
False
Let o = -7 - -7. Suppose 6*s - 1 - 59 = o. Suppose 4*r = -4*q + 4, -3*r + 5*r - 4*q + s = 0. Which is smaller: r or 2?
r
Suppose -12*t + 11*t + 6 = 3*c, -t - 4*c = -8. Let l = -0.19 - -9.19. Which is smaller: t or l?
t
Let j = 0.51 + -0.11. Let i = 1.1 - j. Let g = -2.7 + i. Which is smaller: g or -4?
-4
Suppose 8*b = 406 - 110. Let l = b + -35. Is l >= 16?
False
Let s(a) = -a**2 + 4*a - 3. Let h be s(3). Which is smaller: h or -2/9?
-2/9
Suppose 26 = 4*p - 2*i, 0 = -4*p - 0*p - i + 35. Suppose -3*l = -p*l. Let g be 3/(-18)*-15*8/110. Do g and l have different values?
True
Suppose -2 + 0 = -2*u. Let l = -2 + u. Let q be l*(8/(-28))/(-1). Is q greater than 3?
False
Let n = -3.6 + 3.4. Let c = 2/85 - 188/765. Is n smaller than c?
False
Let a(v) = -v**3 + 14*v**2 - 67*v + 14. Let g be a(4). Which is smaller: g or -88?
g
Let o = 2109 + -2109. Which is smaller: -3/559 or o?
-3/559
Let x be 1 - (10 + -8) - (-2 + 2). Which is greater: x or 5/112?
5/112
Suppose 14 - 2 = 3*u. Let r be 621/2772 - 1/u. Let l = r - 381/154. Are l and -4 unequal?
True
Let r = -79.6 - -47.7. Let t = r - -32. Suppose b - 2*d - 8 = 0, -2*b = -5*b + d - 1. Is b <= t?
True
Let b = -1271/7 - -263069/1449. Is b less than or equal to -1?
False
Let u = -26.991 + -0.009. Let v = 27.06 + u. Is -1 <= v?
True
Let n(i) = 7*i + 1. Let a be n(1). Let f be (a/(-56))/(1/9). Let c = -12 - -12. Is c equal to f?
False
Let q be -2 + 867/63 - 2/(-3). Let o = 3995/322 - q. Which is smaller: o or 1?
o
Let f = -10 - -15. Let h = 1.97 + 0.03. Let w = h - f. Which is bigger: -0.05 or w?
-0.05
Let q(f) = -2*f**3 - 11*f**2 - 5*f + 2. Let c be q(-5). Suppose 0 = m + 2*o - 7, m = c*o - 6*o + 13. Which is greater: m or -4/17?
m
Let r = 28 + 54. Is r <= -0.01?
False
Suppose 7*f = 8*f. Suppose j = -4 + 6. Let i be f*(3/j - 2). Which is greater: 10/7 or i?
10/7
Let w be (-2)/(-6) + 8/3. Suppose 3*a + 0*a = -2*a. Suppose a = w*y - 4*h + 3 - 2, -3*y + 7 = 4*h. Is y less than or equal to 1?
True
Let j(k) = k**2 + 4*k - 1. Let v be 3/(-18) + (-87)/18. Let z be j(v). Suppose 9*t - 4*l = z*t - 29, -5*l = 4*t + 56. Which is bigger: t or -10?
t
Let y = -11 + -1. Let v = y - -12. Is v greater than -1/51?
True
Let d = 4.7 - -3.3. Which is smaller: d or 7?
7
Suppose -35*l = -987 - 28. Is 33 not equal to l?
True
Let g = -1299 + 1280. Let f be (-8)/(-77) - 10/35. Is g at least f?
False
Suppose 0*r - 3*r - 15 = 0. Let f be (5/4)/(r/(-20)). Suppose k - 15 = -5*t, -3*t - 5*k + 2 = -3*k. Which is smaller: t or f?
t
Let h = -0.25 + -0.19. Let i = 0.34 + h. Is i at most 16/5?
True
Suppose 4*s + 885 - 309 = -5*z, -5*z - 20 = 0. Let a = s + 416/3. Are a and 27 unequal?
True
Let l = 262 - 141. Which is greater: l or 1/3?
l
Suppose 7*o - 4*o = -2*x + 87, x - o - 41 = 0. Which is smaller: x or 0.3?
0.3
Let m = 11450/7 + -1636. Let x = 1.95 - 0.05. Which is bigger: m or x?
x
Let r(p) = -p**3 + 4*p**2 + 2*p - 3. Let q(w) = 3*w + 3. Let o be q(6). Suppose 0 = 5*c + 5*i - 40, -2*c = i + 9 - o. Let s be r(c). Which is greater: 6 or s?
6
Let q = -349/192600 - -3/4280. Which is bigger: 1 or q?
1
Let u = 81 - 113. Let v = u + 32.2. Is 1/11 smaller than v?
True
Let h be (-440)/(-288) + 22/18 + -1. Let x be -1*(2 - (-6)/(-3)). Suppose x*n - 4 = -4*n. Is h >= n?
True
Let u = 9.21 - 8.61. Let v = 1 + -6. Is u >= v?
True
Suppose -n + 5*n - 8 = 0. Suppose -20 = 5*j, n*q + 4 = -q - 4*j. Let s be (-8)/(-1) - (6 + -3). Are q and s nonequal?
True
Let u = -51 - -71. Let v be 1/(-3) + u/105. Let n(p) = -p + 15. Let x be n(14). Does x = v?
False
Let h = 1 - 0. Let k be (4/84)/(97/48 + -2). Is h less than k?
True
Let y(k) = 2*k - 4. Let a be y(3). Let s(j) = -j**2 - 14*j - 32. Let b be s(-6). Suppose -h = a*q - 4, 0*h + b = 4*h. Do q and -1/6 have the same value?
False
Let h = -848 - -844. Which is greater: -23/9 or h?
-23/9
Let z(y) = -2*y**2 - 22*y - 39. Let w be z(-10). Which is greater: -12 or w?
-12
Let b be (-3)/3 - (-4)/4*1. Are b and 0.058 unequal?
True
Let n(g) = g**3 - 39*g**2 + 28*g + 119. Let c be n(38). Let r = 941529 - 16001559/17. Let a = c + r. Is a bigger than 0?
False
Suppose 10*j - 8*j = 5*r + 61, 5*j - 59 = 4*r. Does r = -13?
False
Let q(x) be the first derivative of -x**3/3 + 5*x**2/2 - 3*x + 27. Let b be q(3). Which is smaller: -9 or b?
-9
Let n = 870.93 + -867. Let w = n + 0.07. Let i = -153 - -150. Which is greater: i or w?
w
Let o be ((-10)/4)/((-5)/12). Let h be 0*(1 + (-4)/o). Which is greater: h or -2?
h
Let l = 0.65 + -25.75. Let z = 2 - -23. Let b = z + l. Is b greater than or equal to -0.1?
True
Let z = -25/34 - 15/442. Is -2 smaller than z?
True
Let b = -14.6 - -37.6. Is b less than or equal to -2?
False
Suppose 0 - 10 = 2*q, 2*q - 35 = -3*c. Suppose 4*r + 3*k + 16 = 0, 5*k + c - 7 = -4*r. Let v = -21 + r. Which is smaller: -2/5 or v?
v
Let n be -4 + -25*(-112)/40. Which is bigger: n or 63?
n
Let u be (-1118)/(-78)*(-1 - -4). Let j = u + -35. Which is smaller: j or 50/7?
50/7
Let f = -0.565 + 0.165. Is f less than -12?
False
Suppose 0 = -2*m - 0*m - 14. Let l = 10 + m. Suppose 2*a + 6 = 3*h, 6 = -3*a + l*h - 0. Which is smaller: a or -2?
-2
Let u = 727 - 722. Is u smaller than 0.04?
False
Suppose -79*h + 89*h - 100 = 0. Are h and -12 equal?
False
Let a = -85 + 85.23. Let d = -0.3 + 0.12. Let f = d + 0.08. Is f > a?
False
Let y be ((-115)/46)/((-1)/2). Suppose -y*u + 94 = n, 7*n - 2 = u + 2*n. Is u at most as big as 17?
False
Suppose -29*g = -5*r - 30*g - 147, r + 25 = 2*g. Which is smaller: -27 or r?
r
Suppose -584*h = -580*h + 8. Which is smaller: -17/18 or h?
h
Suppose -2*s - 118 = -108, -4*d + 3*s + 15 = 0. Which is smaller: d or 1/203?
d
Let g = -0.4 + -0.6. Let d = 11 - g. Let v = d - 11.7. Is v less than 2/9?
False
Let n be ((-2 - 0) + (-5)/(-2))*10. Suppose 3*s = 4*j + 35, -n*j + 3*s - s - 42 = 0. Do -23/3 and j have the same value?
False
Let r = -18.4 + 17.931. Which is bigger: -2/7 or r?
-2/7
Let o = 712 - 33462/47. Which is greater: 0 or o?
o
Let r(v) = 5*v**3 + 2*v**2 + 11*v - 19. Let d be r(2). Which is smaller: d or 305/6?
305/6
Let j = -2769 - -1963. Are j and -805 equal?
False
Let a be -77 + 80 + 11/8. Which is smaller: a or 5?
a
Let g be (16/12)/(6 - 416/72). Is g greater than or equal to 7?
False
Suppose 0 = 9*d - 174 - 15. Is -4 >= d?
False
Let m be 2/(-8) + 1/8. Suppose 0 = 4*a - 28 + 184. Let v = -39 - a. Is m greater than v?
False
Suppose 3*j = 2*j + 3*c + 2, 0 = -2*j + 2*c - 16. Let u = -135 + 134.9. Which is smaller: j or u?
j
Let s = 2 + -16. Let c = s + 14. Let v be 44/(-75) + 2/3. Is c not equal to v?
True
Let n = 8.993 - 1.993. Is -3/89 bigger than n?
False
Let z be 327/4*(-278)/9564*-2. Let c = -2/797 + z. Is 6 not equal to c?
True
Let q be 8/3*4/1104. Let h = q + -293/8901. Is h greater than -1?
True
Let s = -0.274 + -61.426. Let y = -62 - s. Which is greater: y or -0.7?
y
Suppose 7*w - 4*w = 0. Suppose w = j - 9. Which is smaller: 8 or j?
8
Let n = -0.245 + 0.155. Is -0.04 smaller than n?
False
Let w = 0.24 - 0.8. Let m = w - -0.7. Let f be ((-10)/(-18))/((-39)/18*(-135)/351). Is m smaller than f?
True
Let m 