-2)/7 + 4/(-35). Suppose 4*k + 3 = 27. Suppose -k = 3*l + f, -4*l - 3*f - 10 = -f. Do l and c have the same value?
False
Let o = 0.03 + -0.01. Let p = o + 1.98. Are p and 1/2 equal?
False
Let a be (-16)/3 - (-1)/3. Let p = 2 + a. Let r be p/(-10)*(-15)/18. Is 1 greater than r?
True
Let s(f) = 6*f. Let m be s(-1). Let z = m + 9. Suppose z*r + v - 20 = 0, 4*r - 5*v = 6 + 8. Which is smaller: 5 or r?
5
Let y = -0.3 + 1.3. Let t(r) = 2*r + 0 - 3 - 3*r. Let z be t(-4). Are z and y unequal?
False
Let y = -4773/2660 - 3/532. Is -1 at most as big as y?
False
Suppose 0*a = -3*a - 33. Is -12 at most a?
True
Suppose 3*g - 4*h = 256, -3*h + 204 = 2*g + h. Is g smaller than 91?
False
Let a = -35 + 31. Which is smaller: a or -6?
-6
Let c = -57/8 + 179/24. Suppose 0 = l + 2*l. Which is bigger: c or l?
c
Let n = -5 + 15. Let u be n/8*(-4)/(-6). Which is bigger: u or 0?
u
Suppose -6*y + 3*y - 21 = 0. Let i(q) = q**3 + 7*q**2 + q + 7. Let w be i(y). Which is bigger: -0.1 or w?
w
Let y be ((-54)/(-105))/(60/56). Which is bigger: y or -1?
y
Let q = 0.016 + 5.084. Let w = q - 5. Which is bigger: w or 0.02?
w
Suppose 0 = -d + 4*d - 552. Let b = d - 2030/11. Which is smaller: b or -1?
-1
Let j(w) = -w**3 + 6*w**2 - w - 2. Let y be j(6). Let n = 11 + y. Which is bigger: 2 or n?
n
Suppose 13*u - 2*u = -11. Is -2/5 not equal to u?
True
Let z be 6/70 - (-4)/(-14). Suppose -2*y = 2 - 0. Do z and y have different values?
True
Suppose -22 = -5*m - 2. Let c = 3 - m. Let b(q) = q**2 + 5*q + 2. Let h be b(-5). Are h and c non-equal?
True
Let v = 6 - 2. Let g = -5 - 0. Let o = g + v. Is -1 >= o?
True
Suppose 5*o + 0 = -3*w - 27, -o - 5*w = 23. Which is smaller: 19 or o?
o
Let o(l) = l**2 - 12*l + 37. Let k be o(7). Let i(y) = y + 5. Let m be i(0). Which is smaller: m or k?
k
Let p = 2.5 + -1.5. Which is smaller: 1/4 or p?
1/4
Let h be (-88 + 2)*2 - 3/1. Which is smaller: h or -174?
h
Suppose s = -4*i - 17, 3*i + 5*s = 4*i + 20. Let m = -6 - i. Let u be (-3)/(-21)*(-2 + 5). Which is greater: u or m?
u
Let t(b) = 2*b - 9. Let n be t(4). Which is greater: -7/4 or n?
n
Suppose x - 4 = -x. Suppose 5*n = m + 25, -n = 2*m - x*n + 5. Let i = -20 - -41/2. Which is greater: m or i?
i
Let b = 8.89 - 9. Let m = 0.01 + b. Is 2 at most m?
False
Suppose w + 17 = -4*i, -3*w = -4*i + i - 9. Is -4/5 < w?
False
Let m = -289 + 289. Suppose a - 5*a = 36. Is m less than a?
False
Let d(t) = -t**2 + 5. Let c be d(0). Suppose -11 = -c*n - 1. Which is smaller: -1 or n?
-1
Let w = 17 - 19. Which is greater: 4 or w?
4
Let f = -2 - -4. Let m be (-4)/7*f/(-4). Let g = m - -3/14. Which is smaller: 1 or g?
g
Let u = -3 - -6. Suppose 2*g + 3*g = 0, 0 = -2*p + u*g + 2. Let b be ((-8)/14)/(8/(-28)). Which is smaller: b or p?
p
Suppose -v + 3*q + 11 = 0, -2*v + q = -4*v + 1. Suppose 5*j - 4 = t, -v*j = t + 2*t - 5. Let m be (2/4)/((-3)/(-18)). Is t <= m?
True
Let g(h) = h**2 + 2*h + 66. Let t be g(0). Are t and 67 equal?
False
Suppose 12 = -4*f - 5*r - 9, 4*f + 2*r + 6 = 0. Which is bigger: f or 1/53?
f
Let i(z) = -6*z**2 - 3*z + 3. Let g be i(-4). Let h be (-57)/g*3 + -2. Which is smaller: 0 or h?
0
Let l = -13 + 29. Suppose 0*p + 5*i - l = -4*p, 10 = 2*p + 3*i. Which is smaller: p or 3/7?
p
Suppose 0 = -n - 2*n - 3. Are -1/2 and n equal?
False
Suppose -2*w - 333 = 365. Let q = w + 2437/7. Which is greater: -1 or q?
q
Let k = 2 - 6. Let u be (-1)/k - (-5)/(-10). Let o be 1*2 + 24/(-15). Is u > o?
False
Let x be (-7)/21 - 4/6. Which is bigger: -4/11 or x?
-4/11
Suppose -2*l = -3*d + l + 6, -10 = 2*d + 5*l. Let p = -10 - -16. Suppose 0 = 2*w - k, -2*w + 2*k - p*k = 0. Are d and w non-equal?
False
Suppose -2*p + 5*z = 0, -2*p + 3*z = 2*p - 14. Let c be ((-2)/8)/(p/(-20)). Is -2/9 at most as big as c?
True
Let r = 9 - 6. Let d = r + -4. Is d != -1?
False
Let b = 290 - 291. Let c = -4 - -4.3. Is b > c?
False
Let b = -625/2 - -233129/746. Which is greater: b or 0?
b
Let v(q) = -2*q**2 + 1. Let c be v(-1). Let u be (-94)/4 - (-3)/(-6). Let x be u/14 + -3 + 5. Is x at least as big as c?
True
Let t = 2/5 + -11/15. Let w(l) = -6*l + 4. Let z(p) = -p + 1. Let y(f) = w(f) - 4*z(f). Let a be y(-1). Which is smaller: t or a?
t
Suppose 6*c + 25 = 11*c. Let h(v) = -v**3 + 4*v**2 + 5*v + 7. Let g be h(c). Which is greater: 8 or g?
8
Suppose 4*g - 4 = 20. Let n be 2/(-6) + (-28)/g. Which is bigger: -2 or n?
-2
Let o(i) = 1 + 0 - 2*i + 4*i. Let c be o(4). Let l = 8 - c. Are 3 and l non-equal?
True
Let q = -129.1 + 123. Let l = 6 + q. Which is bigger: l or 10?
10
Suppose -6 = -3*j + 3. Let n be 4/j*(-45)/10. Let d be (n/4 - -1)*-2. Which is greater: d or 1/3?
d
Suppose 0 = 3*m - 2*m - 3. Suppose -3*b - m*x + 3 = -7*x, b - 1 = -4*x. Suppose -k + 9 = -4*g, 5*k = -4*g + 2 - 5. Is g less than or equal to b?
True
Let h = 0.02 - -0.08. Which is bigger: 0.2 or h?
0.2
Suppose 9*r - 16 = r. Is 14/11 < r?
True
Let v = -55 + 219/4. Let p = -0.3 - 0.7. Is v less than p?
False
Suppose 0 = -3*o - 1 + 16. Suppose -o*x + 13 + 17 = 0. Which is greater: 11/2 or x?
x
Suppose -3*p - 696 = 9*p. Which is smaller: -59 or p?
-59
Let l = -154 + 77. Does -78 = l?
False
Let k = -225 - -347. Let u be ((-4)/(-6))/((-6)/(-1096)). Let t = k - u. Which is bigger: t or 0?
t
Let v be 1/(-7) - (-153)/1512. Let l = -9 - -9. Which is smaller: v or l?
v
Let c = -1111/790 - -1/158. Are c and -1 nonequal?
True
Let k = 0 - 0. Suppose k = -2*z - 2. Let f = -4 - -38/9. Are f and z nonequal?
True
Let g(d) = -d**3 - 4*d**2 - 3*d - 2. Let y be g(-3). Let q be (6/14)/(2/y). Let m(u) = 3*u + 38. Let b be m(-13). Are q and b non-equal?
True
Let q = 7 + -11. Let v = -0.57 + 0.67. Which is greater: v or q?
v
Let o = -528 + 44351/84. Which is smaller: o or -1?
-1
Suppose -7*f + 3*f = 16, -4*h + 2*f = -32. Suppose -h*a = -4*a - 6. Let s be 2/8*(a - 1). Which is bigger: s or -0.1?
s
Let g = 30 - 61/2. Which is greater: g or -2/3?
g
Let h = -8 - -26. Suppose 3*c + 0 = h. Are c and 5 nonequal?
True
Let u(a) = -6 + 4 + 4*a - a**2 + 5. Let o be u(5). Is o at most as big as -3?
False
Let g = 101/35 + -13/5. Let o = -80 + 71.7. Let q = o - -8. Which is smaller: g or q?
q
Let c = 127 - 75. Let r be ((-2)/c)/(9/12). Let q = r - -5/13. Is 0.01 greater than or equal to q?
False
Let m = -13/423 - 9/47. Suppose 2*k + 6 = -k. Let s = k - -1. Is m <= s?
False
Suppose 4*y - 2 = 5*n - 0, 2*y + 12 = -4*n. Is y at most as big as 0?
True
Let s = -18 + 14. Which is smaller: -5 or s?
-5
Suppose -2*i - 2*x + 8 = 0, 3*i + 0*x + x - 14 = 0. Which is greater: 8 or i?
8
Suppose 2*j + 19 = -3*k, k + 23 = -2*j - 2*j. Let i = k + 4. Is 0 >= i?
False
Suppose 0 = j - 6*j. Suppose 0*s + 5 = -5*s + 3*i, 5*i - 25 = j. Suppose 2*h = -s*h + 4. Is 0 <= h?
True
Suppose 5 = -3*p + 20. Suppose -6*h + p = -h. Is h greater than -4?
True
Let h = 5 - 4. Which is smaller: h or 1/9?
1/9
Let t = 0 + -2. Let b = -3 - t. Is b < -3?
False
Let q be 3 + (0 + -2)*(-1)/(-2). Let v be (-6)/(-9) + (-4)/42. Is q >= v?
True
Let v = 1 - 1. Let a = -6 - -5.7. Let l = a + v. Is l <= 0?
True
Let v(h) = 5*h**2 - 29*h + 3. Let w be v(6). Which is bigger: w or 10?
10
Let p = -3 + 1. Let g = -22 - -24. Let f = p + g. Do 5 and f have the same value?
False
Let s = -1.3 + 0.3. Let c be 1 + 2 + 1 + -2. Suppose c + 1 = v. Are v and s unequal?
True
Let q(g) = -g. Let d(m) = -7*m + 1. Let w be d(-1). Suppose -u - u = w. Let h be q(u). Is 5 less than h?
False
Let j be 4/(-6)*(-2 - -5). Let c(y) = -y - 8. Let g be 4/14 - (-51)/(-7). Let r be c(g). Which is smaller: j or r?
j
Let a = 8 + -9. Is -2 bigger than a?
False
Let y be (-50)/5*2/4. Let x(d) = d + 5. Let l be x(y). Which is smaller: -2/43 or l?
-2/43
Suppose 2*l - 8 = -0*l + 4*y, -5*l + 4*y = -8. Is -3/10 at least as big as l?
False
Suppose -r + 0 = -5. Suppose -r*p - 2 = -4*p. Which is bigger: 0 or p?
0
Let f = -46 - -21. Let y = f + 11. Is -15 > y?
False
Suppose w - 52 = 5*w. Is w at most 0?
True
Let w = 3.8 + -4. Is 0.1 bigger than w?
True
Let u = 182 + -182.8. Is -4 < u?
True
Let c be (-3)/(-5) + (-48)/30. Let a = -7.7 - -4.8. Let o = a - -3. Which is smaller: o or c?
c
Let g = -0.07 + 1.07. Is 2.4 smaller than g?
False
Suppose -n - 4*n - 80 = 0. Is n > -16?
False
Let t(r) = -r + 12. Suppose -3*y = -0*y - 3*j - 27, -5*j - 12 = -2*y. Suppose 2*l - 31 + y = 0. Let b be t(l). Is b at most as big