be (-1 + y)*1/(-1). Let g be 3/v - (-31)/(-10). Which is greater: g or 0.1?
0.1
Suppose 5*r = 3*r + 2. Let m be 244/(-48) + -5 + 10. Which is bigger: r or m?
r
Suppose -t + 4 = 1. Let j = 5 - t. Suppose j = g - 3*g. Is -3/4 < g?
False
Suppose -4*s = 4*i - 24, -i = -4*s + 6 - 2. Suppose -1 = -i*d + 11. Which is smaller: d or 5?
d
Suppose -3*i + 2*t - 8 = 0, i = -4*t - 15 + 3. Is i less than or equal to -4?
True
Let g be 3/2*16/12. Let m be 4/(-2) - (-64)/12. Are g and m unequal?
True
Let h = -40 + 19. Is h greater than -21?
False
Let t = -1 + 5/4. Which is greater: 0.9 or t?
0.9
Let o be 2/(-4) + (-22)/(-4). Suppose 2 = -o*i - 3. Which is greater: i or -1/12?
-1/12
Let k = -47 + 44. Are -3 and k non-equal?
False
Let m = -3 - -6. Suppose -m*f = -8*f. Does 0 = f?
True
Let j be 68/11 + 10/(-55). Let r be 15*(-2)/(-30)*5. Which is bigger: r or j?
j
Let y = -20.3 - -20. Which is smaller: 0.06 or y?
y
Let t(x) = -x + 1. Let i be t(4). Let k be 16/12 - 2/i. Is 2 > k?
False
Let k be 1 + (-8)/3 + 0. Suppose -5*l = -4*l + 34. Let n = l + 32. Do n and k have the same value?
False
Let a(f) = -2*f**3 - 4*f**2 - 2 - 2*f**3 - f**3 + 3*f**3 - 3*f. Let s be a(-2). Is s < 4?
False
Let m(w) = -w**2 + 2. Let x(i) = i**3 + i**2 - 3*i - 3. Let q be x(-2). Let k = q - 1. Let o be m(k). Does -1 = o?
False
Let y = 1 - 3/2. Suppose -37 = -5*b + 3*d, 3*b - 2*d + 1 = -6*d. Suppose b*f - 35 + 7 = 3*g, -g + f - 6 = 0. Which is smaller: y or g?
g
Let r(b) = b**2 - 6*b + 16. Let i be r(3). Which is smaller: 5 or i?
5
Suppose -t = -2*t - 20. Is t less than or equal to -19?
True
Let f = -47 - -50. Is -0.3 bigger than f?
False
Let r = -395 - -398.03. Let v = 0.97 - 1. Let x = r + v. Is 1 >= x?
False
Let r be (8/4)/8 + 86/(-280). Is 0.1 less than or equal to r?
False
Suppose -2*o = 4, 3*o - 12 = 4*a - 2. Let d = a + 4. Suppose d = 5*q - 4 - 1. Which is bigger: -0.2 or q?
q
Suppose 9*t = 4*t - 10. Let d be (-40)/690*3/t. Is d != 1?
True
Suppose -5*w - 4 - 1 = 0. Suppose g - 18 = -2*p - 3*g, 5*g = -3*p + 24. Let z be (w/3)/(p/(-9)). Is z smaller than 0?
False
Suppose -5*n + 4 = -n. Which is smaller: -3/13 or n?
-3/13
Let f = -865/14 - 173/7. Let a = f + 109. Let j = a + -23. Which is bigger: -1 or j?
j
Let a(p) = -p**3 - 2*p**2 + 2*p + 1. Let d be a(-2). Let j be (d/(-96))/((-1)/(-2)). Is j at most as big as 0?
False
Let c = 0.21 + -0.1. Let r = c + -0.09. Let u = 0.03 + r. Is 0.1 equal to u?
False
Suppose 0 = -6*s + 2*s. Let n(z) = -z**3 + 2*z**2 + 2*z + 2. Let w be n(3). Which is smaller: w or s?
w
Let m = 0.1 + 1.86. Let i = m + 0.04. Let o = 3 - i. Is 0.1 < o?
True
Suppose 3*v = -v + 20. Suppose -q - 2*m - 6 = -4*m, v*m - 15 = -5*q. Suppose 2*s = -0*n + 3*n + 1, q = -5*n + 4*s - 1. Which is smaller: 0 or n?
n
Let l(n) = n**3 - n**2 - 3*n + 3. Let i be l(2). Let j(k) = -2*k + 1. Let y be j(i). Which is greater: -2 or y?
y
Let q = 1335 - 21353/16. Is q greater than 2/7?
True
Let l = -0.2 - -1.2. Which is smaller: 2 or l?
l
Let v be 0 - 8/30*3. Let x = 27 + -28. Which is bigger: x or v?
v
Let a = 0.012 + 0.988. Which is smaller: 26 or a?
a
Let r be 2/(-4) + 1/2. Suppose r = -3*d + d + 3*u, -3*d - u = 0. Is -5/4 less than d?
True
Let x = 0 + 1. Suppose -3*l - 8 = 5*c + 1, 2*c + 2*l + 2 = 0. Let z be ((-1)/(-2))/(c/(-6)). Is z greater than or equal to x?
True
Suppose -8*m = -11*m - 12. Which is smaller: m or -3?
m
Let m be 73/(-11) + (-2 - 1 - -6). Which is bigger: m or -5?
m
Let c = 66 + -42. Which is bigger: 25 or c?
25
Let v = -0.2 + 0.1. Let w = 0.026 - 2.726. Let t = w + 3. Which is greater: t or v?
t
Let i = -529 + 1567/3. Which is smaller: -6 or i?
i
Let y be 2/8 + -369*5/(-300). Is 7 less than y?
False
Let g = 71 + -28. Is 43 less than or equal to g?
True
Suppose -2*j - 8 + 18 = 0. Suppose -26 = -5*x - i - i, -4 = -4*x + 4*i. Is j < x?
False
Suppose 0*f - 10 = -5*f. Suppose 0*h + 5*h = 0. Suppose 4*z = 2*i + 10, -2*z - 4*i + 12 - 2 = h. Is f smaller than z?
True
Let n = -40 + 30. Are n and 0.2 non-equal?
True
Suppose -y - 59 = -3*l, -96 = -4*l + y - 4*y. Let c = -7 + l. Are 14 and c equal?
True
Let d = 0.16 + -14.16. Which is smaller: 0.1 or d?
d
Let u = 10 - 12. Let z = u + -3. Is z smaller than 1/3?
True
Let k = 361 + -3962/11. Is k at least 0?
True
Let b = -52 + 54.16. Let o = b + -0.16. Is 3 greater than o?
True
Suppose -5*w + 3 + 2 = 0. Let j(a) = -a**3 + a**2. Let m be j(w). Which is bigger: -2 or m?
m
Let y be 6/(2/1) - -1. Suppose y*o - j - 7 = o, 3*o = 4*j + 10. Which is smaller: 1 or o?
1
Let r be 3/(-2)*(-4)/(-39). Suppose -26*y = -5*y - 21. Is y > r?
True
Let d = 0.059 - 0.019. Are d and -0.2 unequal?
True
Let g = 37 + -62. Let w be (-1 + -1)/((-5)/g). Let x = 32/3 + w. Which is bigger: 3 or x?
3
Let m = 18 - 20. Which is smaller: m or -1?
m
Let r = -22.61 + 23.6. Let x = 0.01 + r. Which is smaller: -2/7 or x?
-2/7
Let u(k) = 9*k - 64. Let q be u(8). Let n = 14 + -5. Which is smaller: n or q?
q
Let a = 0.64 - 0.54. Is 0.13 equal to a?
False
Let i be 2 + 45402/(-45405) - 1. Let n = i - -5251838/105945. Let f = 50 - n. Which is smaller: f or -1?
-1
Let x = -17.8 + 18. Is x bigger than -0.03?
True
Suppose -6 - 2 = -4*k + 3*f, 4*f = -2*k + 26. Suppose -k*a + 3 = -17. Let v = a - 6. Is -1 bigger than v?
True
Let c = -98 + 85. Which is greater: c or 0.2?
0.2
Suppose 0 = 3*o - 22 + 154. Which is bigger: o or -43?
-43
Suppose -5*h - 4*s + 13 = 0, 0*h = -3*h - 2*s + 7. Let r = h - -1. Suppose 5*z + r = 17. Which is smaller: 2 or z?
2
Let o be -1*(3 - (5 + -4)). Let l = 185 - 745/4. Is l >= o?
True
Let y = 9 + -5. Let b = 8 + -4. Is b greater than or equal to y?
True
Suppose 0 = 3*g - 7*g + 24. Which is bigger: g or 7?
7
Suppose -k - 14 = 4*k - v, -2*v = -2*k - 12. Are k and -12/13 nonequal?
True
Suppose 3*n + 6*q - 4*q = 65, 4*n - 5*q = 79. Suppose j - 8 + 28 = 5*p, 0 = j + 5. Suppose -2*u + p*o = -15, 4*u = -5*o - 4 - n. Which is bigger: u or -1/2?
u
Let z = -3.2 + 0.2. Let k = z - -2.9. Let t = 4 + -2. Which is bigger: t or k?
t
Let t be (-2)/(-12) - (-14)/(-12). Which is greater: 1/29 or t?
1/29
Let b be 6 - (0 - (-5 - -3)). Is 6 > b?
True
Let k = -22 + 21. Which is smaller: -3/7 or k?
k
Suppose a = 6*a - 5*s + 30, 4*a + 51 = -5*s. Let i = a + 9. Is i greater than -1.2?
True
Let j be (-10)/18 - 18/(-81). Which is greater: j or 1?
1
Let y(m) = 7*m**3 - m**2 + 1. Let v be y(-1). Is 1 >= v?
True
Let b(o) = -o**3 - 2*o**2 + 2*o. Let u be b(-3). Let l = 1.8 - 2. Is u < l?
False
Let k(c) = -c**3 + 5*c**2 + 6*c. Let j be k(6). Let w be 1 - 3 - 38/(-16). Is j at least as big as w?
False
Let n(v) = v**2 - v + 2. Let u be n(4). Let k = u + -10. Let h be (-17)/5 + k/10. Which is smaller: -2 or h?
h
Let y = 1820/3 - 12857/21. Let c = y - -436/77. Which is smaller: -1 or c?
-1
Suppose -3*i = 5 + 4. Let f be 6/(-4)*(-2)/i. Which is smaller: f or -4/5?
f
Let b = 188/445 - 831617/4005. Let m = 207 + b. Let d = -15 + 15.1. Which is smaller: d or m?
m
Let p(j) = -j - 8. Let m(k) = -2*k - 15. Let n(v) = -3*m(v) + 5*p(v). Let g be n(-5). Is g at most as big as 3/5?
True
Let v = -0.6 + 0.2. Let n = 0.03 + 3.97. Let y = -4 + n. Which is greater: v or y?
y
Suppose -3*f + 20 = 2*f. Suppose 4*g - 6*g = f. Let n be g/(-3 - (2 - 4)). Is n at most -1?
False
Let c(p) = 4*p**3 + 4*p**2 - 2*p - 2. Let b(z) = 5*z**3 + 4*z**2 - 3*z - 3. Let j(y) = 3*b(y) - 4*c(y). Let h be j(-3). Is h > -7?
False
Let u be 1/(-2) + (-6)/(-8). Let o = -52 - -52.9. Is u at least as big as o?
False
Suppose 0 = 5*t - 3 - 7. Let x be ((-1)/t)/(2/24). Let a be x/27 + 32/(-18). Are 1 and a nonequal?
True
Let f be ((-21)/(-6) - 4)*(1 + 1). Is f smaller than 4/57?
True
Let n = -55 - -49.8. Let h = -1.8 + n. Which is smaller: -2/5 or h?
h
Suppose -4*h - 76 = -10*a + 5*a, 12 = -3*h. Suppose 5*f - a - 8 = 0. Is f < 4?
False
Suppose 0 = 5*a - a - 16. Let r be -14*a/((-24)/(-3)). Is -7 less than r?
False
Suppose 3*j - 4*j - 3 = 0. Let h be 3/j + 10 - -1. Let p be (-1)/(-2)*h/(-5). Is p > -1?
False
Suppose -3*u - 16 = -2*u - 4*i, 4*u + 4*i = 16. Which is bigger: u or -2/7?
u
Let w = 9 - 11. Suppose -4*a - 4 = -16. Let i be a/(-7)*16/12. Which is smaller: w or i?
w
Let u = -191.6 - -192. Which is smaller: -0.2 or u?
-0.2
Suppose -8*v - 31 = -3*v + 3*f, -v + f - 3 = 0. Which is greater: v or -4?
-4
Let b(t) be the third derivative