be 4/(-6) + (-56)/(-66). Let l be (-12)/(-16) + 1/4. Do l and b have the same value?
False
Suppose -3*j - 5*n + 20 = -0*j, -3*n + 12 = 0. Is j equal to 3/34?
False
Let u = -4 - -6. Let g = 2016 - 14142/7. Let p = g - -104/21. Is p smaller than u?
True
Suppose -3*g = 12 + 93. Do -2/7 and g have different values?
True
Let n = -29 + 26. Let m be n/7 + (-75)/(-28). Let y(d) = d**2 - 5*d + 2. Let s be y(5). Which is greater: s or m?
m
Let f = -3/61 - -137/305. Let k be (-6)/(-8) + 26/104. Which is bigger: f or k?
k
Let b(t) = 0*t + 21 + t - 37. Let r be b(16). Do -1 and r have the same value?
False
Let l = -12 + 18. Let o be 2/(-6) + (-4)/l. Which is greater: -3/2 or o?
o
Let r be (-5)/((-1*8)/(-4)). Which is smaller: -2 or r?
r
Let f(w) = w**3 + 5*w**2 - 8*w - 9. Let r be f(-6). Let k be 178/6 + 1/r. Suppose -s = 3 - 7, -5*s + k = 5*t. Which is greater: t or 1?
t
Let k be 16/(-132)*-9*1. Do 1 and k have the same value?
False
Let o(s) = -s - 5. Let m be o(-6). Let d = -12 + 28. Suppose 4*r - l = 2*l - 12, -3*r + 4*l = d. Which is smaller: r or m?
r
Let s be (-1)/2 - (-16)/(-48). Suppose -1 = 2*i - z, i + 2 - 4 = 3*z. Is s at most as big as i?
False
Suppose j + 5 = 12. Suppose -9 = -2*b + o, 0 = 3*b - 2*b - 3*o - j. Let f be (-5)/1*(5 - b). Which is bigger: f or -4?
-4
Let x = -3 - -3. Let s be 4 + (-1 + -1)*1. Suppose 0 = 2*d - 4*l - 10, d - 1 = s*d + l. Do d and x have the same value?
False
Suppose o - 4*t = 16, 15 = o - 5*t - 2. Which is smaller: o or -1?
-1
Let o = -0.6 + 0.8. Which is bigger: o or -2/5?
o
Let k be 2/(-12)*(-3)/(-2). Suppose 0*f + 4*f = -108. Let s be (-11)/9 + (-6)/f. Which is bigger: k or s?
k
Let q = -5 + -1. Let x = q - -1. Let c be 8/x + (-8)/20. Is -2/5 >= c?
True
Let h be (-18)/15 + -1 + 2. Let c = 619/15 + -125/3. Is h at least c?
True
Let q(o) = o**3 - 2*o**2 + o - 2. Let n be q(2). Does n = -6/7?
False
Let c be 8/5*35/(-21). Which is bigger: c or -4?
c
Let v = 6 - 3. Let r = 2 - v. Let y be (-33)/(-27) - (-2)/(-2). Which is smaller: y or r?
r
Suppose 2 = s + s. Suppose -4*g = 3*v + 26 - 105, -4*g + 4*v = -100. Let u = g + -22. Are u and s nonequal?
True
Let k be 2 - 18/5 - -2. Suppose 2*i - 7*i = -5*n + 35, 0 = 2*n - 3*i - 17. Suppose m - n*m = 3. Which is smaller: m or k?
m
Suppose 23 = -17*f - 79. Which is greater: f or -2/7?
-2/7
Let i = -5.89 + -0.11. Let t = i + 5. Let o = t - 0. Is o less than or equal to 0.1?
True
Let b(a) = -a - 7. Let m be b(-6). Let y be (12/8)/((-1)/2). Let v = y - -2. Are m and v nonequal?
False
Let p be ((-32)/17 - -1) + 1. Let b(j) = -j**2 + 8*j. Let h(i) = 3*i - 10. Let g be h(6). Let q be b(g). Which is smaller: p or q?
q
Let b be ((-12)/16)/((-10)/8). Let z(f) = f**2 + 2*f - 1. Let x be z(1). Which is smaller: b or x?
b
Let x be 16*(-25)/(-195) + (-2)/1. Is 0 > x?
False
Let k be (0 + -6)/(-2 + 3). Suppose -5*c + 58 = -2*b, 2*b - c + 18 + 32 = 0. Let p be 3 + b/4 + -3. Is p at most k?
True
Suppose 4*l - 9 = h, -5*l + 6 = -3*h - 7. Suppose s + 1 = -2*s - l*v, s = 4*v - 19. Which is bigger: -2 or s?
-2
Suppose c = -0*c + 4. Suppose 0 = -2*q + 3*n + 13, -q + 4*n = c*q - 29. Let s be 10/15 + (-17)/(-6). Does q = s?
False
Let c = 2 + -1.9. Let a = -11/5 - -39/20. Which is smaller: a or c?
a
Let p = 6 - 3. Let w = p - 4. Let j be 1*2*2/(-12). Is j less than w?
False
Suppose -4*d = -5*i + 2 + 5, -4*d + 8 = 0. Let v = 61 - 60. Is v less than or equal to i?
True
Let x = -109 - -107. Is x less than -11?
False
Let h = -182 + 311. Are 130 and h unequal?
True
Let f be (-1 + -1)/(0 + -2). Which is smaller: -2.2 or f?
-2.2
Let g = 14.2 - 14. Let n = g - 0.3. Is n not equal to 8?
True
Suppose -3*w + 2*w - 1 = 0, -4*d + 2*w + 22 = 0. Suppose 0 = 3*z - d*z - 6. Let r(y) = y. Let k be r(-4). Is k bigger than z?
False
Let m = 1 - 7. Let v be (0 + (-3)/m)*0. Let l be 1*v*2/4. Is 2 greater than l?
True
Let g(k) = k**2 - 11*k + 8. Let t be g(10). Suppose -2*p + 3*j = -0*p + 3, j = 1. Which is smaller: p or t?
t
Let l be (-3)/(-9) + 4/(-3). Let t be (-32)/12 + 6/9. Is l smaller than t?
False
Let j(a) = -5*a**2 + 2*a + 2. Let f be j(-1). Suppose -5*w + 120 = -w - 4*o, 90 = 3*w + 4*o. Let c be ((-6)/(-5))/((-9)/w). Is f at least c?
False
Suppose -21*x = -19*x - 4. Is 5/6 at least x?
False
Let u(k) = -k**2 - 3*k + 2. Suppose p + 3 = -1. Let d be u(p). Let s be (-5)/((-35)/d)*1. Is 1 not equal to s?
True
Let o(y) = y**2 - 6*y - 8. Let r be o(7). Suppose -l - 3*l - 2*i + 32 = 0, -4*l - i = -28. Suppose h + z - 4*z = l, -z - 2 = -3*h. Which is bigger: h or r?
h
Let l = 48 - 60. Suppose 2*p - 3 = h, 0 = 2*h + 5*p - 11 + 53. Are l and h nonequal?
True
Let l = 5 - 12. Let k = l - -11. Suppose 4*x - 4 = -4*c, -5*c - 4*x + 4 = -2. Is k < c?
False
Let d = -42 + 22. Let o = 14 + d. Is o less than or equal to -11/2?
True
Suppose 4*j + 65 = -31. Let v be (2/8)/(20/j). Which is smaller: 1 or v?
v
Let s = 0.001 - 0.101. Let c = 0.11 + 0.99. Is s at least c?
False
Let k(a) = 3*a + 23. Let m be k(-8). Is 0 smaller than m?
False
Let r(z) = -z**2 + z + 2. Let v(m) = -m**3 + 1. Let n be v(-1). Let d be r(n). Let f be 63 - 66 - (-16)/5. Is d less than f?
True
Let r = -0.06 + 1.06. Let i = r + 1. Let t = -2.1 + i. Which is smaller: t or -1?
-1
Let b = 11 - 8. Let m(x) = -x**2 + 12*x - 5. Let v be m(11). Suppose -v = -5*t + 2*t. Which is smaller: b or t?
t
Let t = 205 + -209. Let z = -2.4 + 2. Let h = -0.3 - z. Is h equal to t?
False
Let r = 0.74 - 0.9. Let q = -0.04 + r. Is 0.2 smaller than q?
False
Let s = 11 - 10. Suppose d - s - 1 = -2*p, -p = 4*d - 1. Which is smaller: 3 or d?
d
Suppose -5*h = -b + 1, -4*h - 23 = -4*b - 3. Let s be (b/(-3))/2 - -6. Suppose 0 = s*c + i + 9, i - 11 = 5*c - 0. Which is greater: c or -3?
c
Let t be 26/(-4)*32/(-12). Let p be 2/9 + 492/(-27). Let w = t + p. Is w greater than or equal to 0?
False
Let s(c) = c**3 + c + 1. Let i be s(0). Let p be (3/63)/(9/54). Which is greater: i or p?
i
Suppose 7*r - 3*o + 157 = 2*r, -3*o - 67 = 2*r. Is r > -32?
False
Let d be (-92)/(-12) - 6/9. Let n = d + -4. Let t(c) = -c**3 + 4*c**2 - 2*c + 2. Let h be t(3). Is n >= h?
False
Let q be 2 + -2 + 1/4. Let g = -53.8 - -54. Does q = g?
False
Let u = 8 - -11. Is u equal to 19?
True
Let a = -0.1 + 0.4. Let l = 0.7 + a. Let c = l + -2. Is c smaller than -0.1?
True
Let u(b) = b**3 + 6*b**2 - 7*b + 3. Let o be u(-7). Suppose 4*n - 8 = -f + 9, -o*f - 2*n = -31. Let g be -6*((-9)/3)/f. Which is smaller: g or 1?
1
Let h = 11 - 26. Does -17 = h?
False
Let m be -12*6/(-36)*(-2)/(-7). Is 2 at most m?
False
Let k be (-15)/115*2/6. Which is smaller: -1 or k?
-1
Suppose 2*k + 3*p = 27, 0 = 5*k - 2*p + 11 - 31. Which is smaller: -8 or k?
-8
Let j = -0.49 - -5.29. Let b = j - -0.2. Let u = -3 + b. Which is greater: u or 2/7?
u
Suppose -9*g = -12*g + 3. Do 5/12 and g have different values?
True
Suppose -6*m + 7 = -5. Suppose -4*v + 5*v = 3*a - m, -5*a = -v. Is 2/51 bigger than a?
True
Let x = 49 - 49.8. Which is greater: x or -1?
x
Let j(y) = 3*y - 2. Let g be j(2). Are 0 and g non-equal?
True
Let f(w) = -w**3 - 4*w**2 - 2*w - 1. Let p be f(-4). Let q = 8 + p. Let x = q + -89/6. Are 0 and x equal?
False
Let t = 30 + -31. Do -15/8 and t have different values?
True
Let x = 2.59 - 1.8. Let r = x - -0.01. Let a = 0.2 + r. Which is bigger: -1/3 or a?
a
Suppose -5*m - s + 9 = 0, 0 = 3*m - 3*s + s - 8. Let a be (-2)/(-7) - 0/m. Is a at least -1?
True
Suppose -19*n - 2 = -21*n. Which is smaller: n or -1?
-1
Let p = 138 - 86. Let f be (4/10)/((-2)/261). Let z = p + f. Is z at most 1?
True
Suppose 124 = 5*d + 4. Suppose 2*u = -10 + d. Suppose 5 + u = -4*t. Is t less than -2?
True
Let q = -26 - -54. Suppose -4*y + q = -2*i, 3*i + 2*y = 7*i + 26. Which is smaller: -6 or i?
-6
Suppose 6*u = 3*u + 45. Let y be (u/(-6) + 2)*8. Is -17/5 > y?
True
Let v = 66 - 67.1. Let w be (4/(-4))/(0 - -1). Which is smaller: w or v?
v
Let d = 945 - 51978/55. Let p = 6/11 - d. Is 2 greater than p?
True
Let p be 3/(-4)*(2 + -26). Does 18 = p?
True
Let g = -0.26 + -0.04. Let n = 18 - 17. Which is smaller: n or g?
g
Let r = -2 + 3. Suppose -3*h - r = -7. Suppose -h*u - 2*u - 8 = 0. Which is bigger: -3/5 or u?
-3/5
Suppose 4*y + 4*w - 232 = 0, -3*y - 4*w - 174 = -6*y. Let c = -366 + y. Let t be (-4)/22 - (-120)/c. Is -2 at most as big as t?
True
Let n be 5 + 4/((-2)/1