
1
Suppose 80 = -k + 79. Which is smaller: -2/65 or k?
k
Let j = 0.2 + -4.2. Let q = j - -5. Suppose 0 = 4*a + 2*g + 16, -3*g = -2*a - 0*g - 16. Is q at most a?
False
Let g = 0.67 - 0.17. Is g equal to 2?
False
Let j = -0.11 - -0.31. Let x(m) = m**3 + 7*m**2 + 8*m + 9. Let n be x(-6). Let l be (-2)/n*2/(-4). Which is bigger: j or l?
j
Suppose 0*u - 5*d = 5*u + 30, 0 = 5*u - 4*d - 15. Let j be (28/231)/((-6)/9). Is u greater than or equal to j?
False
Suppose 4*j - 10*y + 12*y - 14 = 0, 5*y - 25 = 0. Let k = 2 + -2.02. Which is smaller: k or j?
k
Let c = 0.24 - 0.15. Let i = c - 0.09. Which is bigger: -7/5 or i?
i
Let t = -400 + 3997/10. Let c = -1 - -2. Does c = t?
False
Let u(c) = -c**3 + 7*c**2 + 3*c - 5. Let f be u(7). Let z be ((-3)/((-12)/f))/6. Is z greater than -8?
True
Let q = 8 + -5. Let a(r) = -r**3 + 2*r + 1. Let f be a(2). Let p be 1/(-2)*(-9 - f). Is p less than or equal to q?
True
Let h = -816 + 4098/5. Which is greater: h or 0.1?
h
Let g be (1 - 0)/(3/(-21)). Let k = 10 + g. Let u be k/(-6)*(-1 + -1). Is 1 at most as big as u?
True
Let r(c) = -18 + 3*c - 2*c + 12. Let a be r(7). Are 2/7 and a unequal?
True
Let j(m) = -m**2 - 4*m + 3. Let t be j(-4). Let q be (-2)/(-3) - (-7)/3. Let z = 7 - q. Which is smaller: z or t?
t
Let g = -0.7 + -0.1. Let l = g + 0.74. Let d = l + 0. Which is greater: d or 0?
0
Let d be (-32)/16*(14 - -1). Which is smaller: d or -31?
-31
Let r be ((-7)/6)/(-7)*1. Suppose -16 = -10*w + 6*w. Let f be (w + 1)*(-2)/(-10). Which is smaller: f or r?
r
Let l = -29 - -33. Is 11/4 at least as big as l?
False
Let s be 1*2 - 120/45. Which is smaller: -3 or s?
-3
Let s(d) = -d**2 + 9*d. Let g be s(9). Let c be 1*((-87)/(-30) - 3). Which is smaller: g or c?
c
Let x = 177 - 1591/9. Is -1 < x?
True
Suppose -6*w + 8 = -2*w + 2*c, 0 = -2*c. Let r be -10*(w/5 + -1). Is r less than 6?
False
Let n(z) = z - 5. Let h be n(7). Suppose 0 = -5*a + h*r - 18, -4*r + 18 = 2. Let l be -1 - (-1)/(a/6). Are -5 and l non-equal?
True
Let r = -4 + 5. Let v = 4 + -1. Are v and r nonequal?
True
Let a = -39/4 + 203/20. Let i = 1 + 1. Which is bigger: i or a?
i
Let i be (-15)/10 - 2 - 2/4. Is -4 greater than i?
False
Suppose 2*s = 3*s. Let a = s + 4. Let g(d) = -d**3 + 3*d**2 + 3*d + 4. Let x be g(a). Is -2/15 at least as big as x?
False
Let o = 0.4 + -99.4. Is o less than or equal to -0.1?
True
Let y = -219 - -439/2. Are -85 and y non-equal?
True
Let p(u) = u + 4. Let h be p(-4). Suppose 4*m + h = 4. Is m greater than 2?
False
Let b be 0/(-2 + -1 + 1). Suppose v - 5*h = -18, b = -h - 3*h + 16. Let s = 18/5 - 49/15. Is v > s?
True
Let y(a) = -a**2 - 3*a + 14. Let m be y(-6). Let d be (m/11)/(-2 + 0). Are d and 1 nonequal?
True
Let a = 11 + -8. Let n be a/(-2)*10/3. Is n > -6?
True
Let s(z) = -2*z**2 - z - 3. Let k(u) = -u**2 - 2*u - 2. Let d(w) = 3*k(w) - 2*s(w). Let l be d(5). Suppose x - l = -6. Which is smaller: x or 4?
x
Let r = 521 + -26573/51. Which is bigger: r or -1?
r
Let w be (4/(-8))/(2/(-4))*1. Which is bigger: -7 or w?
w
Let q be 1 - (1 + 1/(-5)). Let c be 2 - (-2 + 3 - 2). Suppose 0 = 3*a - c. Are q and a non-equal?
True
Let c = -4 + 9. Suppose -34 = c*x - 9. Let f be 14/(-40) + 2/x. Which is greater: 0 or f?
0
Let v = 28 - 25. Let t be v + 12/(-9)*-9. Which is greater: 16 or t?
16
Suppose 10*b + 2 = 9*b. Which is bigger: -7/5 or b?
-7/5
Suppose 0*a = 3*a - d - 23, -4*d = a - 12. Are 8 and a unequal?
False
Let j be (-4 - -6)*1/(-2). Is j < -3/56?
True
Let f = 24482/45 + -544. Let i(d) = -d + 3. Let x be i(4). Are x and f nonequal?
True
Suppose 16 = -4*i + 2*x, -3*i - 11 - 1 = -2*x. Let c be (-1)/(-2)*(i - -4). Is -5/4 at most c?
True
Suppose -n + 19 = -10. Suppose 4*a - 5*l = n, -3*a = -2*a - 5*l - 26. Which is greater: a or 2/7?
a
Let x = -24 + 19. Which is smaller: x or 0?
x
Let u be 345950/(-78) - (-1 + 0). Let s = -4434 - u. Let g = s + 1/13. Is -2 less than or equal to g?
True
Let y = -42 + 122/3. Let a(m) = m**3 - 4*m**2 - 4*m + 3. Let o be a(5). Suppose -8 = 3*b - 2*h, 4*b + 2*h - o + 0 = 0. Is y bigger than b?
False
Let k be 1 + ((-3)/(-6))/(-1). Suppose -3*b - 2*j = -5*j, 4*j = 2*b. Suppose -6*p + 3*p + 6 = b. Is k at most as big as p?
True
Suppose 16*h - 19*h + 9 = 0. Which is greater: 13/4 or h?
13/4
Let t = 7.9 + 31.1. Are t and -0.1 nonequal?
True
Let c = -2 + 2. Let u be c/(-1) - (-2)/(-8). Is 0.2 < u?
False
Suppose 41*a = 47 + 117. Suppose -4*x = -2*x - 32. Suppose 5*z = x - 1. Which is greater: z or a?
a
Let k(x) = -x - 1. Suppose -l - 4*l = -c + 2, 3*l + 4 = 2*c. Suppose l = 4*m - 4*s + 16, 4*s + s - 6 = -2*m. Let h be k(m). Are 4/7 and h equal?
False
Let r = 11/36 + 4/9. Which is greater: r or 0.06?
r
Let d be (10/(-25))/(1 + 4/(-5)). Let a be (-1)/2*(-3 + 3). Do a and d have different values?
True
Suppose -o + 28 = -2*o. Let v be (-6 + 14)/((-2)/o). Let d = 562/5 - v. Which is smaller: d or -2?
-2
Let z be (-4)/24 - (-691)/18. Let a = 2336/63 - z. Which is greater: -1 or a?
-1
Let b be 2/(-20)*((-2)/4 - 0). Is 0 <= b?
True
Let m(g) = g + 9. Let f be m(-10). Let o be (0 + f)*2/17. Is o less than -1?
False
Let x = -3 + 4. Suppose -5*g - x = -6. Let c be 1 - -3*(-4)/14. Is c bigger than g?
False
Let t = 4 + -2. Let p = t + -2. Suppose p = -2*i + 7*i - 25. Is 4 at least i?
False
Suppose -6*b = -b + 30. Let n = -9 - b. Is -3 smaller than n?
False
Let l = 0.01 - -1.99. Let d = -0.7 + -0.3. Let f = l + d. Which is smaller: f or -0.1?
-0.1
Let j = 16 + -16. Which is bigger: -1/24 or j?
j
Let u = -4646/15 - -311. Let b = -46/35 + u. Are b and -1 equal?
False
Suppose 4*n + 23 = 3, c - 3*n = 11. Suppose 4*l - 2*h + 12 = 0, -3*h + 12 = -4*l - 2*h. Let a = -6 - l. Which is bigger: a or c?
a
Suppose -6*k + 3*k = -147. Which is smaller: 50 or k?
k
Let a = -0.2 + 0.6. Let d = a - -0.6. Let v = d + -1. Which is bigger: v or -2?
v
Let a be 26484/(-63) + -2 - 0. Let g = a + 1949518/4641. Let s = g - -42/17. Which is greater: 1 or s?
1
Let n(a) = a - 2. Let q be n(2). Which is greater: 1/9 or q?
1/9
Let f = 8 + -6. Let i = f + -9/4. Let s = -2 - -1. Which is smaller: i or s?
s
Let k = -0.7 + 0.59. Let g = -4.89 + k. Let l = -5.1 - g. Is 0.2 at most l?
False
Let w = 2 + 0. Suppose 0 = j - 0*j - 1. Let f be j*-1*(-3 + 4). Is f >= w?
False
Let s(n) = n + 5. Let l(i) = -5*i + 1. Let v be l(1). Let c be s(v). Let o = -11/24 + 5/6. Is c not equal to o?
True
Let z(h) = -h**2 - 5*h + 6. Let v be z(-6). Let n(r) = r - 4. Let q be n(5). Let d = q - v. Is 1 < d?
False
Let w(d) = -9*d - 11. Let f be w(-1). Which is greater: f or 3?
3
Let x(j) = -10*j**3 + 1. Let r be x(-1). Let w(d) = -d**2 - 13*d - 21. Let g be w(-10). Which is bigger: r or g?
r
Suppose 4*t - 130 = 3*p, 0 = -t + 6 - 2. Is -38 at least as big as p?
True
Let j = -13.08 - -13. Let z = j + 6.08. Is 1 bigger than z?
False
Let r(f) = 2*f - 5. Let g be 0 - (2 - 0 - 10). Suppose -2*h - h + 12 = 3*z, 2*z - 4*h - g = 0. Let j be r(z). Is 1 at least j?
False
Suppose d = 3*d - 4. Suppose 2*m - 5*l + 16 = 0, 0*m - 14 = 3*m - 5*l. Is m at most as big as d?
True
Let n(o) = o**3 + 7*o**2 + 9*o - 1. Let d be n(-4). Is d > 12?
False
Let m be (-2 + 14/8)*1. Suppose 4*o - 9 = 2*o + 3*z, -3*o - 3*z = -6. Suppose 5*v + 0*v + 5*l = 20, 5*l = o*v + 28. Which is smaller: m or v?
v
Suppose 2*s + 4 = 6*s. Let y = 3 - s. Let u be (1 + -1)*(-1)/y. Are u and 0 unequal?
False
Let n be 34/20 - (-6)/(-4). Let a = -0.3 - -1.3. Is a != n?
True
Suppose -4*b = -2*b. Which is greater: -1 or b?
b
Suppose 0 = -3*j - 0*j. Suppose -3*i - 2 = 4*g + 1, j = 4*i - 3*g + 4. Which is bigger: i or -3?
i
Let r(d) = d**2 + 4*d + 1. Let m be r(-3). Suppose 0 = 2*y - 0*y - 2. Let i be y/(-1) + (-2)/(-8). Which is smaller: i or m?
m
Suppose -10 = 7*a - 2*a. Let g be 4 + (0 - 3) + 0. Let l be g/10*(3 - -1). Which is smaller: l or a?
a
Suppose 3*m + 20 = -5*o, -m - 5*o - 21 = -1. Let j = 4 + m. Let f be ((-3)/(-3))/((-2)/(-6)). Is f bigger than j?
False
Let y = 0.1 + 0.06. Is 1/4 bigger than y?
True
Suppose 2*l + 10 = -3*t, -6*l - 2*t = -4*l + 10. Let g be ((-3)/(-2))/((-27)/72). Let i = l - g. Which is smaller: i or -2?
-2
Let s = -5 + 6. Let h = 2108/13 - 162. Is s < h?
False
Let j = 8 + -8. Is j at least as big as 8/21?
False
Let s = 107/3 - 1703/48. Let n = s + -11/16. Is -0.1 smaller than n?
False
Let u be (2/(-2))/(0 - 