10)/(-8). Suppose -s + 2*s = 0. Is t at least as big as s?
False
Let a = -6 + 6. Suppose a*b = -b. Let f = 2 + b. Is 6 equal to f?
False
Let j = -1 - 0. Let a = 4 + j. Suppose -b = -a*l - 0*b + 8, -b - 1 = 4*l. Is l at least as big as 1/3?
True
Let d = 0.06 - 0.1. Let q = d + 0.14. Is 0.1 at most as big as q?
True
Let f be (-198)/(-84) - (-1 + (-2)/(-4)). Is 4 at most as big as f?
False
Let y = -1 + 0. Let g be ((-4)/(-3))/(4/12). Suppose -4*l + 0 = g. Are l and y unequal?
False
Let y be 4/(-6)*(-3 - 3). Let h be y/3*18/4. Is 5 <= h?
True
Let d = -149221/13720 + 2/1715. Which is smaller: d or -12?
-12
Suppose 1 = -g - 3. Let p be ((-6)/4)/((-3)/g). Which is greater: p or 0?
0
Let u = -74 + 73. Is 4/21 less than u?
False
Let i = 7.3 - 7. Let w = -0.11 + 0.06. Let b = 1.95 - w. Are b and i unequal?
True
Suppose -x + h = 0, -3*x - 3*h + 11 + 19 = 0. Which is smaller: x or 12?
x
Suppose -10*p + 80 = -30. Which is smaller: -0.1 or p?
-0.1
Suppose 21 - 7 = 5*i - l, -2 = 3*i + 2*l. Let w(x) = -7*x - 2. Let b(v) = -6*v - 2. Let j(o) = 6*b(o) - 5*w(o). Let c be j(-5). Which is greater: c or i?
c
Let b = -8 - -17. Suppose -40 - b = -5*t - 3*w, 2*t + 5*w = 31. Let z be (6/t)/((-21)/12). Which is greater: 0 or z?
0
Suppose 5*y = 48 - 13. Let d = -9 + 17. Which is smaller: d or y?
y
Let x = 1/61 - -2061/793. Let d = 30/13 - x. Do d and 1 have different values?
True
Let h be 55262/957*447/45206. Let o = 1193/3229 - h. Let m = o + 4/203. Which is smaller: m or -1?
-1
Let v = -14 + -23. Let u = v - -260/7. Let t = 19/12 + -5/4. Which is smaller: u or t?
u
Let w = -51/4 + 12. Which is smaller: w or -2?
-2
Suppose 10*i + 94 = -66. Is i > -7?
False
Let w be (-1)/2 - 2/(-4). Let r be 934/30 + (-8)/(-40). Let x = r - 31. Which is smaller: w or x?
w
Let h be (3/(-2) - -1)/2. Let s(q) = -q**2 + 8*q. Let a be s(8). Which is smaller: a or h?
h
Let q be 3 + 0 + (-128)/48. Let a = -0.06 - 1.94. Let i = 2.2 + a. Which is greater: q or i?
q
Let q = -4 + 8. Let o be (-4 + 3)/(q + -3). Is o greater than 1/7?
False
Let o = 257/39 - 142/13. Which is greater: o or -3?
-3
Let t be (-6)/14 - (26/(-4) + 6). Is t less than or equal to -1?
False
Let p = 0.17 + 0.23. Is p less than 3?
True
Suppose 2*u = 4, 4*t - 2*u = -0 - 8. Let m be (-42)/36 - (-4)/6. Are m and t unequal?
True
Let b(h) = -h**2 + 4*h + 1. Let j be b(4). Let z be (-3 + (-334)/(-114))*4/(-8). Which is smaller: j or z?
z
Suppose 4*s = 7 + 13. Let n = s + -6. Is -2 at most as big as n?
True
Let w(b) = -b - 5. Let p be w(-4). Let u = -4 + p. Let x be (-4)/6*(10 - 1). Which is smaller: u or x?
x
Suppose -4*g - g = -2*i - 3, 12 = 4*g. Suppose -i*s = -s. Is s <= -0.4?
False
Let j(v) = -v**2 - 13*v + 3. Suppose 2*r + 2 = 0, 0 = m - 2*m - 3*r - 17. Let q be j(m). Which is bigger: -9 or q?
-9
Let j(q) = -q**2 - q + 9. Let h be j(3). Is -22/13 at most as big as h?
False
Suppose -2*y + 4 + 2 = 0. Let k = y + -2. Which is smaller: k or 3/4?
3/4
Let g(n) = -10*n + 4. Let u(d) = -3*d + 1. Suppose s = -0*s + q, 0 = 4*s + 4*q + 16. Let f(p) = s*g(p) + 7*u(p). Let w be f(0). Which is smaller: w or 0?
w
Let t = -43/21 + 34/21. Are 0 and t nonequal?
True
Let s be 2/(-7) + (-19)/7. Let t be -4 - (1 + s + -1). Which is smaller: 1 or t?
t
Let i = 4 + -6. Let z be i - (0 - 2 - 1). Does z = 0?
False
Let d(j) = j + 7. Let i be d(5). Let w = i + -20. Let b be ((w/(-3))/4)/(-3). Which is greater: -1 or b?
b
Let k be ((-12)/(-1089))/(3/(-9)). Let f = k + 419/1694. Is 0 >= f?
False
Let m = 107 - 105. Let a = 0.1 + 3.9. Are m and a unequal?
True
Let g be (-2)/(-8) + (-164)/16. Let w be 76/g + (-2)/5. Let z be (-10)/(-8) - (-2)/w. Which is bigger: 0 or z?
z
Suppose o + 2*v - 3 = 0, 0 = 4*o + 2*v - 3*v - 3. Which is bigger: 2/601 or o?
o
Suppose 0 = -3*m - 15, 2*f + 2 = 6*f - 2*m. Suppose w = 2*w + 5*c - 24, -3*c + 18 = -3*w. Which is smaller: w or f?
f
Let c = -136/1001 - 1/143. Suppose -3*q = -2*t - 1, q + 2*t - 7*t + 4 = 0. Let h be (q - 0) + -1 - 1. Is c <= h?
False
Let s(u) = -u**2 + 5*u - 3. Let n be s(3). Let q be n/(3/(-4 + 1)). Are q and -0.03 equal?
False
Suppose -5*x + c + 1 = -24, -c = 4*x - 29. Let n = -6 + x. Is n greater than or equal to 0?
True
Suppose 0 = -3*j + o + 2 - 10, -2*o = -4*j - 10. Let i be 0/3 - (-2)/(-7). Do i and j have the same value?
False
Let h = 2.97 - -0.03. Let z = 2 - h. Let d = 44/3 - 214/15. Which is smaller: d or z?
z
Let y(a) = a**3 + 3*a**2 + a - 1. Let h be y(-3). Let d = h + 3. Is d at least 2/59?
False
Let x = 1.96 - -0.04. Let i = 0.6 + 1.4. Let h = i - x. Is -0.1 <= h?
True
Let z be (-30)/(-4)*(-4 + 2). Which is smaller: -14 or z?
z
Let v = 461 - 17055/37. Let g be (-1 + 1)*(4 + -3). Is v less than g?
False
Let n = -80 - -639/8. Is n <= 0?
True
Let c(a) = 3*a + a - 5*a + 5. Let v be c(-6). Suppose -4 - v = 5*q. Are -3 and q nonequal?
False
Let i(r) = -r - 84. Let j be i(0). Let d be (-1)/3 - 76/j. Do d and -0.1 have the same value?
False
Let z be (-1 - 7/18)*-4. Let l = 2/891733 + 595677410/104332761. Let f = z - l. Which is bigger: f or 1?
1
Let h = 22 + -23. Which is smaller: h or 0?
h
Suppose 3*r = -0 + 15. Suppose -5*c + 0*c = 0, 9 = -3*d + r*c. Let k be (d/(-12))/(2/8). Which is smaller: -2 or k?
-2
Suppose -r = r - 8. Let c be r + (0 - 1 - -1). Suppose 0*q - q - 3*v + 12 = 0, c*q + 3*v = 12. Which is smaller: q or 1?
q
Let o(a) = -5*a + 3. Let p(k) = k + 1. Let c be p(1). Let j be o(c). Let s be 4 + -2 + j - -1. Is s > -4?
False
Let s be (8/20 + 0)/2. Which is greater: 33 or s?
33
Suppose 0 = -2*r - 0*r - 6. Let h(l) = -6*l**3 - 2*l**2 + 1. Let v be h(-1). Suppose 4*u + 24 = -v*d, -6*d + d = u + 21. Is d smaller than r?
True
Suppose -4*z = -5*t + z + 50, -z = -4. Which is bigger: 16 or t?
16
Let q = -1.75 + 0.15. Let r = q - 0.4. Let x = -1 - r. Is -0.1 <= x?
True
Let y = -94/203 + 1/29. Suppose 6*t + 10 = t. Let b be 1*(-2)/(-4)*t. Is b > y?
False
Let n = 44 + -49. Which is smaller: 1 or n?
n
Let y = -7/3 + 38/15. Is y at most as big as 10?
True
Suppose -5*u + 7 = i - 8, -i = 4*u - 12. Are 4/5 and i unequal?
True
Suppose -g = -0*g - 18. Let w be (20/6)/(4/g). Let y be 0 + 1 + (-12)/w. Which is greater: 0 or y?
y
Suppose -2 = 3*t + 1. Suppose 5*o - 2*l = -390, -3*o + 4*l + 312 = -7*o. Let c be 2/(-3) + (-58)/o. Do t and c have different values?
True
Let g = 8 - 5. Suppose -2*o + 8 = -d - 3, -d - 8 = -o. Is o less than or equal to g?
True
Let h(g) = -g**3 + g**2 + 2*g - 3. Let n be h(2). Let a be (-2)/n*(-3)/1. Is a smaller than 0?
True
Let i be 2/9*(-9)/6. Let p = 13.2 - 11. Let s = p - 0.2. Which is bigger: s or i?
s
Let j be 3/(-21)*35/(-10). Which is smaller: 2/15 or j?
2/15
Let o be (1/2)/((-18)/4). Suppose 0 = -2*v - 3*c - 3 + 28, 2*c - 35 = -5*v. Suppose 0 = 4*k - v*k. Do o and k have different values?
True
Suppose -4*a - 3 = -3*u, -5 = 6*a - a - 5*u. Let k = a + 1. Suppose -y - k = -5. Which is smaller: 3 or y?
3
Let i = 119/15 + -43/5. Suppose -7*s = -s + 12. Is s at most as big as i?
True
Let l be -17 + 2/(0 - 2). Is l smaller than -18?
False
Let d = 0 + 2. Suppose -d = 2*h + z - 12, 5*h + 3*z = 26. Suppose -h*w - n + 0 = 3, 3*n = 5*w + 25. Which is smaller: w or -1?
w
Suppose -2*z - 4 = -5*x - 44, -5*z + 31 = -x. Let n be -3*(-9)/x*2. Let q be 3*((-6)/n - 0). Is 3/5 less than q?
True
Let s(n) = n - 1. Let i be s(3). Let t be 0/2 + 1 - 2. Let f be -1 + 3 + 0/t. Is i < f?
False
Suppose 0 = -3*o - i - 10, o + 4*i = 4 - 0. Suppose -3*c + 3*h - 6 = 0, -3*c + c = 3*h + 9. Is c greater than o?
True
Let i be ((-2)/(-4))/(3/438). Is 72 at least as big as i?
False
Let k be (-19 - -33)*7*1/(-2). Do -48 and k have the same value?
False
Let n = -150/13 + 3763/325. Which is smaller: -1 or n?
-1
Suppose 3*d + i = 54, 5*i = -4*d + 26 + 35. Suppose -4*h + 4 = 4*g, 8*g - 3*h = 3*g - d. Is g smaller than -4?
False
Suppose 16 = -a - 3*a. Let u be 18/1*(-6)/(-6). Let t be u/6*a/6. Is -2 greater than t?
False
Let c = -1 - -2. Let h(u) be the second derivative of -u**3/3 + 5*u. Let z be h(-1). Is z < c?
False
Let q = 7 + -7.7. Let i = q - -1.7. Which is greater: i or -10?
i
Let y be 2/((-6)/9) + 1. Is -2 at most y?
True
Suppose 3*y - y - 28 = -5*v, 3*v + 2*y - 16 = 0. Which is smaller: v or 7?
v
Let r(a) = -a**2 - 2*a. Let s be r(0). Which is bigger: s or -0.07?
s
Let i = 0.31 - 0.45. Which is greater: i