or o?
o
Let w = -0.24 + 0.19. Are w and 0.1 unequal?
True
Let c = 0.1 + 0. Let x = -8 - -10. Which is smaller: x or c?
c
Suppose 4*c = c. Let t(h) = h**3 - 8*h**2 + 9*h - 8. Let n be t(7). Let j = n + -4. Which is smaller: j or c?
c
Let p = 29/5 + -133/15. Let m = p - -12/5. Which is smaller: m or -0.3?
m
Suppose -b + 1 = 4. Let i(n) = -n**3 - 4*n**2 - 2*n. Let w be i(b). Which is greater: w or -2?
-2
Let q = 703838606/885395 + -5/25297. Let z = 795 - q. Which is smaller: z or 0?
0
Let w = -103/4 - -26. Do 2/5 and w have different values?
True
Let v be 17 - 13 - (-43)/(-11). Do 1 and v have different values?
True
Let w(l) = 11*l**2 - 5*l. Let u be w(1). Which is smaller: u or 4?
4
Let v be (-1504)/252 + (-3 - -9). Suppose -4*y = -2*y. Is y at most as big as v?
True
Let n be (-46)/(-14) + (-12)/42. Let y be (n + 0)*(-2)/15. Is 1 at most as big as y?
False
Suppose 14 = 3*j - i, 3*j + i = -3*i + 4. Let w be 3*(0 + j/(-6)). Let r(v) = -v**2 + 2*v - 2. Let a be r(2). Is a < w?
False
Suppose 114 = 13*v - 9*v + 5*f, 3*f - 32 = -v. Which is greater: 2/3 or v?
v
Suppose 27 = -2*f - 9. Suppose -5*l = 3*c + 26, -3*l - 8 = -4*c + l. Let r be (3 - 1)/(f/c). Is r greater than 1?
False
Let k = 7 + -6. Let w be (-3 - k)*2/(-8). Is w at least as big as 3/5?
True
Let h be (-15)/(-28) + 1/(-4). Let n = -4.7 - 0.2. Let w = -5 - n. Which is greater: w or h?
h
Let a be (-216)/3 + -5 + (-2)/(-1). Which is smaller: a or -74?
a
Suppose -3*u - 4*p = -4, -3*p - 57 = -4*u + 2*p. Let h = 7 - u. Is h <= -4/7?
True
Let s be 30/(-7) - (-4)/14. Let n(b) = -b**3 - 5*b**2 - b + 5. Let d be n(s). Is d > 0.1?
False
Suppose -2*d - 3*d + 10 = 0. Suppose d*m - 8 = m. Which is greater: m or -1?
m
Let v = 0.094 - -0.006. Which is bigger: 34 or v?
34
Let b be 47/(-3)*(0 + 1). Let d = -8/331 + -16195/993. Let w = b - d. Which is bigger: w or 1/2?
w
Let d = 32/5 + -357/55. Are -1 and d nonequal?
True
Let g = 115 - 93. Is g at most as big as 17?
False
Let s = 0 - 1. Suppose y + 3*y = 0. Let a = y + s. Which is smaller: 2/7 or a?
a
Let z be 4/14 + 117/(-91). Is z less than -4/59?
True
Suppose 6 + 3 = 3*p + 2*v, -5*p - 3*v + 16 = 0. Let w = 3 - p. Which is smaller: 1 or w?
w
Suppose -3*q - 53 - 49 = 0. Let f be 18/(-6) + q/(-14). Suppose 2*h - 4 = -6. Is h greater than f?
False
Suppose 0 = -4*j + j, -b + 2 = j. Is b equal to 2?
True
Suppose c + 5*n - 25 = 49, 4*c - 381 = -3*n. Is 99 at most as big as c?
True
Suppose 5*p = 4*o - 9, -5 + 0 = 2*p - 3*o. Let k be (-6)/(p/(-4 + 3)). Is -5 <= k?
False
Let c = -6 + 16. Let j = c + -19. Let r = j + 10. Is 2/9 >= r?
False
Suppose -3*x + 17 + 1 = 0. Let m be -3*(-2)/x*2. Is 2/3 less than m?
True
Let v be 4 + (2 - -1) + -8. Let l be (-2)/(-5) - (-259)/5. Let r = 52 - l. Which is smaller: v or r?
v
Let g = 16 + -17. Let u be (1 - 30/28)/2. Which is smaller: g or u?
g
Let v = -2 + 0.1. Let q = 2 + v. Let n(i) = -i**3 + 4*i**2 - i + 4. Let z be n(4). Which is greater: q or z?
q
Suppose 3 = 5*y - 17. Let s(b) = b + 2. Let c be s(y). Suppose 0 = 2*h + x, -2*h + 4*x - 4 = c. Is h less than 0?
True
Let l = -5 + 1. Which is bigger: -5 or l?
l
Let s(n) = 6*n + 4. Let p be s(3). Suppose -8 = -4*i + 2*i - r, 0 = 4*i + 5*r - p. Is i at most as big as 4?
True
Let c = 12 - 11. Which is bigger: c or 0.12?
c
Suppose 2*k = 3*x + 8, 0*k - k = -x - 3. Is -15/8 >= x?
True
Let b(w) = w + 4. Let s be b(-8). Let r = -1 - s. Is 3 equal to r?
True
Let v be ((-839)/5)/(2/5). Let c = -411 - v. Let f = c + -9. Are -2 and f equal?
False
Suppose 3*n = 2*v - 60, -n - 2*v = v + 31. Which is smaller: n or -158/7?
-158/7
Let i(t) = t**2 - 4*t - 3. Let w be i(5). Let u(d) = d**3 + d**2 - d + 2. Let z be u(0). Is z > w?
False
Let z = -233/545 + 3/109. Which is smaller: z or -3?
-3
Let x be (-1)/(-10) - (-99)/(-90). Let o = -467/795 + -2/159. Which is smaller: o or x?
x
Let y be -5*((-2)/(-5) - 1). Suppose 0 = -y*h - 3*t - 9, 3*h + 17 = -4*t - t. Which is greater: -1/9 or h?
h
Let q(l) = -1. Let k(u) = u**2 - 3*u - 4. Let d(f) = -k(f) + q(f). Let c be d(4). Is c at most -6/7?
True
Let i(p) = -p**3 - 4*p**2 + 4*p - 5. Let n be i(-5). Let b = -5 - -8. Let a be (n - -1)/(b/3). Which is greater: 3 or a?
3
Let q = -0.5 + 0.76. Let b = -0.36 + q. Is b smaller than 0.7?
True
Let b = -1586/11 + 144. Let z(a) = -a + 6. Let j be z(0). Let i be 3 + j/(-3)*1. Is i less than b?
False
Suppose -5*p + 150 = -2*q, -5*p + 242 = -5*q + 92. Suppose -y - 2*y = p. Is -10 <= y?
True
Let m(w) = -2*w + 5. Let i be m(5). Let y be -2*14/16*(19 - 17). Which is greater: y or i?
y
Suppose 0*y - 7*y + 154 = 0. Is y != 23?
True
Let n = 1185/7 - 169. Which is smaller: 1 or n?
n
Let o = 19 + -7. Let d = -19 + o. Is d <= -8?
False
Let o be 2/2 + -6 + 4. Which is smaller: o or -8?
-8
Let a = -4/31 + 59/217. Is a bigger than 0?
True
Let d(c) = c**3 - 5*c**2 + 2*c - 6. Let i be d(4). Is i at least as big as -13?
False
Suppose 15 = 5*i + 5*g, 5*i - 4*g - 36 = -2*g. Let m = 64/11 - i. Which is bigger: 0 or m?
0
Let t = -12 + 12.6. Let m = t + 0.4. Is m bigger than 0.2?
True
Let g be (-1*2)/(2/(-5)). Suppose l - g*l + 16 = 0. Suppose 8 = l*b + 4*j - 7*j, -7 = -b + 2*j. Is b greater than -2/13?
False
Let v = 8.6 - 9. Let w = 0.4 + v. Are 0 and w unequal?
False
Let k be 21/(-27)*1 - 8/36. Which is smaller: k or -4/59?
k
Let w(n) = -n**3 + 4*n**2 + 5*n + 3. Let k be w(5). Let z be 1*(-5)/(-3)*k. Which is smaller: z or -1?
-1
Let u(r) = -r**3 - 14*r**2 + r + 1. Let f be 0 + (6 - 3) - 17. Let d be u(f). Is d greater than or equal to -11?
False
Let g(h) = 3 + 0 + h + 3. Let c be g(-7). Let s be (0 + c)*1/1. Which is smaller: s or 1/7?
s
Let a be ((-4)/58)/(4 + -2). Is 0 at least a?
True
Suppose -5*o - 3*a - 28 = 3, -6 = 3*a. Is -6 equal to o?
False
Suppose -6*z + 4 = -2*z. Let k = 0 + 0. Is z less than k?
False
Suppose -19 - 5 = -4*n. Do 6 and n have different values?
False
Let t = -32 + 28. Which is greater: 3 or t?
3
Let l(w) = -3*w - 9. Let b be l(-4). Is 4 at most as big as b?
False
Let n(f) = f - 4. Let d be n(8). Suppose -q = -d*q + 3. Do -1 and q have the same value?
False
Let u be 1/(-7)*(1 - 3). Suppose -p = 5*i + 10, -5*p + 0*i + i + 2 = 0. Which is smaller: p or u?
p
Let c be 108/14 + (-2)/(-7). Suppose c = t + t. Let j be (-15)/10 - 6/t. Which is smaller: -5 or j?
-5
Suppose 4*s - 41 = 5*n, 2*s = -n - n - 2. Suppose 9 + 7 = s*o. Suppose h - 5*x - 18 = 0, -3*x = -2*h - 0*x + 15. Is h <= o?
True
Suppose -x = 4*x - 10. Let j be 3 + -1 + -4 + x. Which is greater: -8 or j?
j
Let m = 552/5 - 110. Suppose 0 = -2*x + 4*b - 24, -4*x = -3*x + 4*b - 12. Let q be (2/x)/(3/(-6)). Is m not equal to q?
True
Let k = 6 + -7. Let y(d) = -d. Let h be y(2). Let s be h/(-5) + 0/1. Which is bigger: k or s?
s
Let z(k) = k**3 - 2*k**2 - k. Let o be z(2). Let p be 0 + (-3 - 1 - o). Which is greater: -3 or p?
p
Let l(a) = -3*a**2 - 2 + 3*a - a**3 - 1 - 7*a. Let g be (2/4)/((-2)/8). Let j be l(g). Which is smaller: 0.4 or j?
0.4
Let x be (-4)/(-22) - 216/(-22). Let f = -5 + 9. Suppose -k - k + 4*i = -x, -f*i = 16. Which is smaller: -2/5 or k?
k
Let k be -8 - (0 - (4 - 0)). Which is smaller: -7 or k?
-7
Let l = -1006/7 + 144. Let z be (-1)/8 + 4/32. Which is bigger: z or l?
l
Let o = 263097 + -3431981/13. Let s = -902 - o. Which is smaller: s or 0?
s
Let d(m) = 15*m**2 + 4*m + 4. Let g be d(-3). Let i be (1/2)/(3/g). Let n = i + -21. Is 0 >= n?
False
Let m = 8 + -9. Let b(p) = p. Let g be b(m). Which is smaller: -3 or g?
-3
Let r be (-2)/(-12)*(-148)/(-6). Let z = r + -47/9. Which is bigger: z or -2?
z
Suppose 3*z - 2*y - 26 = 0, 5*y - 2 - 8 = 0. Is z smaller than 9?
False
Let n(p) = p**3 - 5*p**2 - 7*p + 5. Let y be n(6). Let k be 6/(-8)*(-32)/84. Is y < k?
True
Let f = 65 + -93. Do f and -29 have the same value?
False
Let k(r) be the second derivative of r**3/6 - r**2 - 4*r. Let d be k(5). Which is smaller: 2 or d?
2
Let x = -6 + 5. Let h(f) = 6*f**2 + 2*f + 1. Let a be h(x). Suppose -4 = -a*k + 1. Which is smaller: 1/9 or k?
1/9
Let w = -38.9 + 36. Let r = w - 0.1. Does r = 0?
False
Let z(m) = m - 1. Let x(i) = 4*i + 6. Let f(n) = x(n) - 3*z(n). Let r be f(7). Do r and 16 have the same value?
True
Let k be (3/(-6))/((-2)/(-4)). Do k and -2/9 have the same value?
False
Let u be (-3)/(3*-2)*(3 - 3). Let c = 2.9 + -5.7. Let h = -3 - c. Is u big