 be 7*(-1 + 0) + (-12 - -14). Which is smaller: -3 or o?
o
Suppose o = 5*o - 12. Suppose o*f - f = 0. Which is smaller: f or 1?
f
Let l = -2.05 - -0.05. Which is smaller: l or 0.04?
l
Let x = 134 + -672/5. Let b = -3 + 1. Let f be 0 + (-2)/4*b. Is x <= f?
True
Suppose 5*m = 5*j - 170, 0 = -8*m + 3*m. Suppose 5*r - 9 = -j. Let q be r/((-130)/4) - 0. Is 0 at most as big as q?
True
Suppose -9*c = -7*c + 4. Suppose 3*t - 18 = -3*b, 5*b - 27 = -5*t + t. Suppose -z - b = -5*v + 5, -4*v = 4*z - 16. Which is greater: c or v?
v
Let w = 15 - 15. Suppose w = 2*u - 6, c - 3*c = u - 9. Which is smaller: 18/5 or c?
c
Let u(z) = -z**3 + 5*z**2 - 4*z + 2. Let c be u(4). Suppose w - c = -3. Which is bigger: -1/4 or w?
-1/4
Suppose 0 = -0*j + 2*j. Let l be (0 - 1)/(-1 - j). Let k be 21/(-55) + (-1)/(-5). Which is smaller: l or k?
k
Let z be (-6)/8 + (-27)/12. Which is greater: -5/3 or z?
-5/3
Let a be (20/16 + 4)*-4. Which is smaller: -20 or a?
a
Let j = -9 - -15. Let b be ((-14)/6)/((-4)/12). Is j bigger than b?
False
Suppose 12 - 3 = 3*h. Suppose h*y + 3 = 4*v - 15, -2*v - 5*y = -22. Is v at least as big as 5?
True
Let a(s) = 2*s**2 + 19*s - 10. Let w be a(-10). Is -18 greater than or equal to w?
False
Suppose -4*l = -1 - 11, -2 = 4*r - 2*l. Suppose 0*h - h = -3. Is h < r?
False
Let o be 3/9 + 152/(-312). Suppose -3*x = -d + 13, 5*d + 7 = -4*x + x. Is o greater than d?
False
Let s be -6*(-3)/243*-6. Is s > 1?
False
Let k(h) = -h - 1. Let l be k(0). Let c be (1/(-3))/(l/(-3)). Is c at most as big as -2/41?
True
Let d be (390/(-4))/(2 + 0 + -8). Is d >= 15?
True
Let x = -4.3 + 10.4. Let y = -6 + x. Let w = 3/26 - -37/130. Is y at most as big as w?
True
Let q = 92 - 646/7. Is -1 smaller than q?
True
Let o = 5.153 - 0.153. Which is smaller: 10 or o?
o
Let x be 63/(-54) + (-4)/(-6). Let j = x - -1. Is 2/7 bigger than j?
False
Let r be 5/(10/(-6)) - 2. Let k = 4 + r. Does k = -1?
True
Let s = 21 + -20.9. Which is greater: -11/2 or s?
s
Let b = -13 + 12. Is -21/4 bigger than b?
False
Let k = -10330373/447412330 - -6/219535. Let m = k + 5444015/22418. Let v = 243 - m. Is v at least as big as -1?
True
Let a(d) = d**3 - 3*d**2 + 2*d - 6. Let s be a(3). Which is bigger: s or -12/37?
s
Let w(z) = -4*z - 103. Let b be w(-21). Which is greater: -18 or b?
-18
Let v(k) = k**3 - k**2 - k. Let m(b) = 2*b**3 + 4*b**2 - 7*b + 5. Let t(j) = m(j) - v(j). Let q = -10 + 4. Let f be t(q). Is f less than 6?
True
Let u = -4/2583 + 17611/67158. Let n = u + -1/26. Let q be (0 + 0)*(-1)/1. Is n smaller than q?
False
Suppose 4*s - 19 = 2*k + s, -3*k + 2*s = 16. Suppose -8*u = -3 + 27. Which is bigger: k or u?
k
Let t be ((-2)/(-5))/(3/20). Let k(v) = v**3 + 9*v**2 + 9*v + 10. Let j be k(-8). Which is smaller: t or j?
j
Suppose -4*t = t - 5. Let r be -2*t/(-5)*-15. Let h = 4 + r. Are -1 and h non-equal?
True
Let g = 2/281 - -267/1967. Let s = 6 + -2. Suppose 0*u - 4*u - s = 0. Which is bigger: u or g?
g
Suppose 4 = -6*u + 5*u. Is -4 at least as big as u?
True
Let w be 3/(-4) - (-76)/16. Suppose t + w*t = 0. Which is bigger: t or 1?
1
Let h be (2 + -4)/(2/(-3)). Let w = 1076/5 + -216. Let g = w + 23/10. Is h equal to g?
False
Let r = 717919/2681595 + -36/8513. Let b = r + 1/45. Which is smaller: b or -1?
-1
Let v = 19.34 + -0.34. Let n = v + -19. Is n less than -0.3?
False
Let i = -3053/5 - -605. Is i greater than -7?
True
Let p = 59/6 - 28/3. Let z be (2/4)/(3/(-30)). Is z bigger than p?
False
Suppose 18*c = 13*c + 10. Let y be (c/(-5))/(5 - 3). Which is smaller: 1 or y?
y
Let f(w) = w - 4. Let o be f(3). Let s be 3/2*o/(-6). Are s and 1 non-equal?
True
Let c = 4 - 5. Let v be (-3)/((-210)/(-124))*3. Let a = v + 40/7. Does c = a?
False
Suppose -2*q - 5*w + 9 = -0*q, 2*q + 2*w = 0. Let f be 609/18 + (-4)/(-6). Let c = f + -37. Which is smaller: q or c?
q
Let w = 17 - 22. Let r = -9 + 3. Let l = w - r. Which is bigger: l or 1/9?
l
Let f = 87317385/161664899 + 83/415591. Let l = f - -2/389. Which is bigger: l or 2?
2
Let x be (-41)/(-3) + (-5)/(-15). Let s be (-30)/70 - (-34)/x. Let b = -262 + 1317/5. Which is smaller: s or b?
b
Suppose -w - 3*a - 3 = -4*w, -3*w - 5*a = 21. Let d = w - -8. Let x be -1 + -3*(-4)/d. Is x less than or equal to 1?
True
Let u = -14 + 20. Is 5 >= u?
False
Let g = 1 - -2. Let o(j) = j**3 - 18*j**2 - j + 21. Let y be o(18). Is y smaller than g?
False
Let i = 3149/11 - 286. Is 1 bigger than i?
True
Let a be 33/(-13) + (-4 - (-6 - 1)). Is a > 0?
True
Let b = 4 + 0. Suppose -b*g = -0*g. Which is greater: -2/99 or g?
g
Let x = -49 + 73. Is x at most 24?
True
Let a be ((-6000)/3)/((-9)/(-1)). Let b = 222 + a. Which is smaller: 0 or b?
b
Suppose 0 = -3*s - s. Let f = -308 - -2469/8. Is s at least f?
False
Let p = -23 + -5. Let d = p - -25. Which is bigger: d or 1?
1
Let k = -1445072 - -50558867/35. Let b = 533 + k. Does 1 = b?
False
Suppose -4*f = -4*q - 0*q + 8, -q + 4*f + 2 = 0. Let c be 48/290 - q/10. Let w = c - 47/319. Is w >= -1?
True
Let q = 29 - 111/4. Are -0.2 and q non-equal?
True
Let h(w) = -24*w + 2. Let z be h(-5). Let r be z/3*3/2. Let i = 304/5 - r. Which is smaller: i or 0?
i
Let j = -5 - -7. Let m = j + -2. Which is smaller: -3 or m?
-3
Let q be ((-10)/15)/((-20)/15)*0. Let u = 5 - 7. Are q and u equal?
False
Let u be (-8)/(-4 - -3) + 1. Does 9 = u?
True
Let v = 26 + -51. Is v equal to 1?
False
Let o = -6 - -4. Which is smaller: 3 or o?
o
Suppose 4 = -4*h - 0*h. Let y = -4 - 2. Let v be (-2)/(1/((-9)/y)). Which is greater: v or h?
h
Let m(g) = 3*g**3 - 3*g**3 - 2*g**3 + g**2. Let w(x) = x. Let h be w(1). Let u be m(h). Are -2 and u non-equal?
True
Suppose -4*i + 9*i - 5 = 0. Is i not equal to -2/33?
True
Suppose 5*r - 8*r = 150. Which is smaller: r or -49?
r
Let q = -2 - -1. Let w = -3.1 - -0.1. Let y = w - q. Which is smaller: y or 0.2?
y
Let x = -49 - -48.9. Is 2 > x?
True
Suppose 3*a + u - 1 - 4 = 0, -5*a + 15 = 5*u. Let m = -0.01 + -0.59. Which is smaller: m or a?
m
Let b = 13 - 10. Let h be (b - 86/28)*4. Let g be (3/5)/((-6)/4). Do g and h have the same value?
False
Let r = -1.16 - -1.1. Which is smaller: r or 1?
r
Suppose -5*w - 7 = -2. Let y be ((-4)/(-4))/1*w. Is y smaller than -2/67?
True
Let q = -1052/1225 + 2/1225. Which is greater: q or -2?
q
Let t(a) = a**2 - 4*a + 1. Let p be t(5). Let k = -6 + p. Let z = -23 + 47/2. Is z smaller than k?
False
Let z(x) = -x**2 + 6*x. Let u be z(6). Let f be (0 - 15/(-18))/5. Which is smaller: u or f?
u
Let t = 18 - 15.3. Let o = 0.7 - t. Let y(l) = -l**2 + 6*l - 7. Let x be y(5). Is x at most o?
True
Let u(t) = -5*t + 3. Let c be u(3). Suppose -l - 10 = 2. Is c smaller than l?
False
Let s = 45 - 45. Which is bigger: -1/6 or s?
s
Let v = -94/11 - -646/55. Which is smaller: 4 or v?
v
Let b(u) = u - 9. Let w be b(-4). Which is greater: -1 or w?
-1
Let q(w) = w**2 - 5*w - 9. Let f be q(7). Is 6 greater than f?
True
Let z = -65 + 65. Which is greater: 1/42 or z?
1/42
Let y = 12 - 16. Is y < -5?
False
Let x = -0.05 - -0.07. Let a = x - 0.02. Let p = -1 - -2. Which is bigger: a or p?
p
Let u(l) = -l**3 - 6*l**2 - 10*l - 9. Let o be u(-3). Is o bigger than -7?
True
Let x be 105/1736 + (2/2)/(-8). Let d be 6/4*(-4)/(-6). Which is bigger: x or d?
d
Let r(j) = -j**3 + 13*j**2 + 13*j + 16. Let w be r(14). Is w less than 3/5?
False
Suppose 0 = -n - 2 + 7, -3*a = -4*n - 7. Let y(w) = w - 1. Let c be y(10). Do a and c have different values?
False
Let b = -11 - -8. Let q be ((-2)/(-2))/(b/3). Which is smaller: q or 1/6?
q
Suppose 191 + 25 = 6*g. Which is greater: g or 38?
38
Let z = -16 - -15. Let v = 59756 + -656086/11. Let i = 112 - v. Is z at least as big as i?
False
Let v(q) = q**2 + 13*q - 14. Let f be v(-14). Is -3/16 >= f?
False
Let x(v) = -v**2 + 2*v - 1. Let k(h) = h**3 + 2*h**2 - 3*h - 3. Let y be k(-2). Let i be x(y). Are -5 and i nonequal?
True
Let t = -0.2 - 9.8. Which is smaller: t or -0.1?
t
Let v = 1.85 + -2. Let h = v - 0.05. Let g = -0.13 + 0.03. Which is smaller: h or g?
h
Let h be ((-18)/(-15))/((-3)/10). Which is greater: -7 or h?
h
Let s = -4 + 2. Which is bigger: 4/5 or s?
4/5
Let p be (-4)/(-10)*(-10)/2. Which is greater: p or -13?
p
Let i(v) = v**3 + 16*v**2 + 16*v + 16. Let x be i(-15). Which is bigger: 2/11 or x?
x
Suppose 0 = -0*w - 4*w. Suppose 50 = 4*i + i. Suppose w = -0*o + 5*o - i. Which