 2.99 - -0.01. Which is smaller: -1/4 or r?
-1/4
Let o = -2/5 + 3/20. Let m be (-37)/(-4) - 2/8. Let n = m - 9. Which is smaller: o or n?
o
Suppose 0*s - 5*b + 11 = -2*s, -3*b = s. Suppose p - 11 = -0*p - 2*k, 5*p + 2*k = 23. Suppose 8*h - p*h = -20. Which is smaller: s or h?
h
Let b be ((-10)/8)/(1/(-12)). Which is greater: b or 14?
b
Let k = 10 + -15. Let o = k + 4. Let a = 0.3 + -0.2. Is o greater than a?
False
Let g be (-3 - (3 + -8))/2. Are g and 2/315 equal?
False
Let y = 7 - 67. Let b be y*((-2)/9 - -1). Let m = -234/5 - b. Which is bigger: 0 or m?
0
Let i be (-8)/12 - (-2)/3. Is -5/7 > i?
False
Let s(z) = -z**2 + 2*z. Let r be s(3). Let w be ((-5)/r)/(2/2). Do w and 2 have different values?
True
Let b be 4*(5/2 + -2). Suppose t - 4*r + 14 = 0, -2*t + 4*r - 20 = -4*t. Suppose -8 = t*j - b*n, j + 13 = -j + 3*n. Is j less than 2?
True
Let l be -4*((-2)/6)/(26/(-117)). Which is greater: -3 or l?
-3
Suppose -2*h - h = 93. Let w = 123/4 + h. Which is greater: 1 or w?
1
Suppose 15 = -3*v - 2*v. Let d = 0.82 - 0.02. Let s = 0.2 + d. Which is bigger: v or s?
s
Suppose 5*i + 5 - 5 = 0. Let z be (-167)/240 - 2/(-6). Let x = z - -9/16. Are i and x nonequal?
True
Let r = 142 + -147. Is r at most -3/2?
True
Let v = -0.004 + 47.004. Which is bigger: v or -1?
v
Let a be ((-6)/(-8))/(66/(-44)). Suppose g + 3 = 2. Is a bigger than g?
True
Let k be (51/(-13) - -4)*-1. Which is greater: 0 or k?
0
Let m = 6 + -3. Suppose 0 = -3*j - 4*o + 15, -5*j + j + 20 = m*o. Which is smaller: 6 or j?
j
Let w be 7/14 - 1/10. Let s be 6/4 + (-4 - -3). Is s less than w?
False
Let r = -1.97 - 0.03. Is -1.1 at most as big as r?
False
Let z be (-5)/(-25) - 4/(-5). Is z less than -0.06?
False
Let r = 851 + -28087/33. Which is smaller: 1 or r?
r
Let i(m) = -m**2 + 3*m + 1. Let v be i(3). Let f(q) = -q + 2. Let k be f(1). Is v not equal to k?
False
Let s = 46 + -324/7. Let i = 1 + -1.2. Is s bigger than i?
False
Let y(k) = -k - 4. Let i be y(-3). Is -7/6 at most i?
True
Suppose 0 = t + 1, -5*i + 100 = -i - 4*t. Let d be 2/(-6) + i/(-9). Suppose 3*a = 2 - 8. Which is smaller: a or d?
d
Suppose -2*l - 4*d + 16 = -0*l, -l + 3*d - 2 = 0. Let w(c) = c**3 - 5*c**2 - 7*c - 1. Let b be w(6). Let j(u) = -u**2 - 9*u - 10. Let i be j(b). Is l > i?
False
Let o = 3 + -2.9. Let l = -0.63 + -0.33. Let c = l + -0.04. Which is smaller: c or o?
c
Let y be 8/((-4)/(-1)) + 0. Let j be y*(1*-4)/4. Suppose -4 = 3*o + 2. Is o less than j?
False
Let z be (2 - (-10)/(-6))/(952/144). Is z equal to 0?
False
Let z be (-4)/16*0 - -6. Suppose 4*n + 14 = 2*g, -z*n = -2*n + 4*g - 4. Is -3 greater than or equal to n?
False
Suppose 0 = -i + 4*i - 27. Is 6 at least i?
False
Let n(t) = -t**2 + 6*t. Let f be n(6). Let y(l) = l**2 - 4*l + 3. Let i be y(2). Which is greater: i or f?
f
Let z = 0.26 - -26.74. Is z != 2/5?
True
Suppose 4*p = -3*a - 26, -22 = 2*a - a + 4*p. Let o(l) = 3*l**2 - 2. Let c be o(0). Is c at least as big as a?
True
Let n(o) = -2*o + 4. Suppose -3*m + 9 + 6 = 0. Suppose -m*u + 3*u = 3*y - 3, y - 5*u = 18. Let x be n(y). Is 1/4 not equal to x?
True
Let l = -19 + 29. Let b = l - 10.1. Is b greater than -2?
True
Suppose 5*k - 45 = -15. Let l = 5 - k. Do l and -2 have the same value?
False
Suppose -2*n + 9 = -3*r - 0*n, -4*n = -2*r - 14. Let w = 1 - 3. Which is greater: r or w?
r
Suppose -2*i - 2*v = 2*i - 8, 16 = -2*i + 4*v. Which is smaller: 1/12 or i?
i
Let j = 14 + -12. Are 2 and j equal?
True
Suppose 0 = -5*t, 5*f = -t + 26 - 71. Let i be f/6*(0 + 2). Is i not equal to -3?
False
Suppose -4*s = -3*s. Let b(o) = -o**2 - 7*o + 7. Let y(i) = -i**2. Let z(k) = b(k) - 2*y(k). Let g be z(6). Which is smaller: s or g?
s
Suppose 2*v + 13 = v. Is -13 at most v?
True
Let s be (-4)/24 + (-4)/8. Is s not equal to -3?
True
Let a(w) = 2*w + 5. Let u be a(-4). Let m(z) = -z**3 + 10*z**2 + 24*z + 4. Let j be m(12). Are j and u unequal?
True
Let t = -17 - -16. Let h be (-8)/(-72) + t/(-3). Which is bigger: h or 1?
1
Let l = 1 - -4. Let c be (2/l)/(2/10). Suppose t = -c*t + 3. Is -1/3 less than t?
True
Let f = -70 - -70. Let w be (-10)/12*6/(-4). Is w not equal to f?
True
Let j = -79 - -393/5. Suppose 0 = -3*r + 3*q + 6, 1 + 1 = r + 5*q. Suppose -2*v = -4*l - r, 0*v - 2 = 3*l - 2*v. Is l smaller than j?
False
Let i be (-22552)/88 - 3*-1. Let x = 253 + i. Which is smaller: x or -1?
-1
Let i(l) = 7*l - 29. Let g be i(7). Which is bigger: 19 or g?
g
Suppose -2 = -4*c + 6. Suppose -3*i + c = -4*m, -i = 3*m + 6 + 2. Is i equal to -1?
False
Let o = -10 + 79. Which is bigger: o or -1?
o
Let q be 2/(-7) + 12/40. Let n = q + -3/10. Is 0 <= n?
False
Let r be (12/(-8))/((-6)/8). Let l be (r - 4)*2/12. Is -2/5 >= l?
False
Let q = 5 - -39. Let n be ((-2)/q)/(2/(-12)). Let i(d) = -d**3 + 10*d**2 - 10*d + 8. Let b be i(9). Is b greater than n?
False
Let a(d) = d + 1. Let i be a(-2). Let t be i - (-3)/(-3) - -6. Let q(j) = -j**3 + 5*j**2 - 5*j + 3. Let u be q(t). Are -2/5 and u equal?
False
Let a be 19/(-5) - (-48)/12. Let k = 1 + 0. Which is smaller: a or k?
a
Suppose 2*n = t + 3*t + 18, t = 3*n - 12. Let s(q) = q**3 - 3*q**2 - q + 3. Let x be s(n). Is x equal to 2/11?
False
Suppose 2*b = -2 + 8. Let j(z) = b*z - 4*z**2 + 5*z**2 + 2 - 3 - 4*z. Let l be j(-1). Is l <= 2?
True
Let g = -26 + 25. Is 7 at least g?
True
Let q = -13 + 16. Is 11/3 > q?
True
Suppose -o + 2*o = 3*o. Is 1 greater than o?
True
Let o = -58 + 23. Is 1/4 smaller than o?
False
Let k = 18.9 + -6.8. Let c = k + -12. Let r = 0.1 - 0.5. Is r smaller than c?
True
Let x = 6 + -8. Let l be x + 1/(12/33). Let n(k) = -k**2 - 2*k - 1. Let f be n(-1). Is f at least l?
False
Let w = -7.38 - -7.3. Which is bigger: 2 or w?
2
Suppose -6 = 2*b - 0. Let i be b + (-45)/(-12) + 0. Which is smaller: 2/5 or i?
2/5
Suppose 0*n + 60 = -5*n. Let p = n - -16. Let f(d) = d**2 + d + 4. Let y be f(0). Do y and p have the same value?
True
Let f(y) = -3*y + 8. Let g be f(-8). Let h be (-8)/20 - g/(-60). Is 1 at most as big as h?
False
Let v(k) = k**3 - 5*k**2 - 5*k + 2. Let j be v(6). Is j <= 47/5?
True
Let m be 6/(-3) - (-2 - -4). Let f = 1937 - 17455/9. Let r = -2/9 + f. Which is greater: m or r?
r
Let w = 1.32 + -0.77. Is w at most 0.1?
False
Let p be 13 + -12 + -1 + 1. Which is smaller: 5 or p?
p
Let x = 1 - -0.5. Let u = -1.5 + x. Which is smaller: -7 or u?
-7
Let c = -101/288 + -3/32. Which is smaller: -2 or c?
-2
Let n = -2 - -5. Is -4/3 greater than or equal to n?
False
Let b be (-1)/(-3)*(-1 + -2). Let s be 0 + (0 + b - -1). Suppose 0 = -5*a + 10. Is s at most as big as a?
True
Let w be (-12)/(-10) - 1/5. Let t = 53 + -264/5. Which is bigger: t or w?
w
Let j(i) = i**2 + 7*i + 4. Let f be j(-7). Suppose f*r + r = 110. Let t be r/6 - (1 + 1). Are t and 0.1 non-equal?
True
Suppose -u - 10 = -0*h + 5*h, 0 = -4*u - 20. Let s be 23/33 - 0/(-8). Let q = 4/11 - s. Which is smaller: q or h?
h
Let l be (1 + 3)/(-8)*1. Let y be -3*((-4)/3)/(-4). Which is bigger: y or l?
l
Let h = -0.4 + 0.7. Let f = h - 0.4. Let j be -1 - 6/9*-1. Is j greater than f?
False
Let v be (-1)/(-5) - (-102)/(-10). Let r be 15/63*4/v. Is 0 > r?
True
Suppose -6*l - 2 = -4*l. Let j be (-1)/9 - 0/l. Is j greater than or equal to 0?
False
Let n be (-4)/14 - 69/(-21). Let i(l) = -l**2 + 5*l. Let b be i(n). Let h(x) = -x**3 + 7*x**2 - 7*x + 1. Let y be h(b). Do -6 and y have the same value?
False
Let d = 6 - 6. Let y = d - 1. Do -0.02 and y have the same value?
False
Let x = 47.2 - 45. Is 0.2 less than x?
True
Suppose -2*r + 12 = -0*r. Let q be 1/(-3) - r/9. Suppose 13*f + 14 - 1 = 0. Are q and f equal?
True
Let c(h) = -3*h + 12. Let k be c(5). Suppose 5*l + 7 = -6*z + 2*z, 4*z - 3*l + 15 = 0. Is z equal to k?
True
Suppose 1 - 7 = -m. Are 3 and m unequal?
True
Let r be 2/(-10) - 3/(540/(-546)). Which is smaller: 4 or r?
r
Let j = -0.3 + 0.1. Let y = -0.3 - j. Let b = y + -0.9. Which is smaller: 0 or b?
b
Suppose 10*t + 18 = -2. Is t smaller than -13?
False
Suppose 3*p + 9*x - 6*x = 24, -5 = -5*x. Is 8 greater than p?
True
Let j = -82 - -38. Let l = j + 18. Let c be (3/l)/(6/(-8)). Do 0 and c have the same value?
False
Let a = 283/4 + -71. Let h be -1 + 3 - 20/9. Which is smaller: a or h?
a
Let u = -2 - -1.9. Let i = u - -0.3. Let f = 9.1 + -9. Is i greater than or equal to f?
True
Suppose -3*h - 56 = g, -h + 0*h - 