han 4?
True
Suppose -2 = 12*j - 14*j. Is -1/10 at least as big as j?
False
Let k be (-12)/5*(-10)/3. Which is bigger: k or -1/5?
k
Let z(p) = p**3 - 3*p**2 - 7*p + 8. Let m be z(4). Let o = m - -3. Is 1/11 greater than or equal to o?
True
Suppose 5*o + 1 = 3*l + 13, -3*l - 12 = -3*o. Let r(j) = j**3 + 7*j**2 + 8*j + 9. Let s be r(-6). Is l != s?
True
Let j = -537 + 6977/13. Which is bigger: j or 1?
1
Let k be (-6)/(-4)*(-8)/9. Suppose 0*c = 2*p + 2*c, 0 = 2*p - 2*c + 16. Let m = 3 + p. Is k at most as big as m?
True
Suppose 4*x - 13 = 11. Which is greater: 5 or x?
x
Let f(k) = -k**3 + 3*k**2 - 2*k + 3. Let o be 1 - (-1*8)/4. Let h be f(o). Is h at least -3?
True
Let u = -989/2 - -512. Which is smaller: 17 or u?
17
Let t = -3 - 0. Let b(q) = 4*q + 2. Let n be b(t). Is n at least as big as -11?
True
Let g(p) = 29*p**2 - p. Let f be g(1). Let q be f/(-35)*(-10)/(-22). Is -1 smaller than q?
True
Let q = 0 - 0.5. Let f = 10.9 + -11. Which is smaller: q or f?
q
Let m be -6*(3 + -4) + -3. Which is greater: 1 or m?
m
Let u = -0.031 + -0.069. Let h = -2 + 2. Let y = h + 0. Is y at most as big as u?
False
Let v = 7 - 7.01. Let h = v - -0.41. Which is bigger: -0.1 or h?
h
Let l be (-3)/2*(-8)/6. Let x = -684 + 4794/7. Which is smaller: x or l?
x
Let y = 82 + -903/11. Which is smaller: 0 or y?
y
Suppose -d + 4*j + 1 = 2*j, 3*d = -3*j + 21. Suppose -5*f + 6*n = 3*n - 27, 19 = 5*f - n. Let y = f - d. Is y at most -2?
True
Suppose 1 = -3*l + 4*l. Is 1/29 at most as big as l?
True
Let x(l) = -l. Let u be x(-1). Which is greater: u or 1/72?
u
Let i = 4.5 - 5. Let x = 0.6 + i. Which is greater: x or -1?
x
Let j = -1481/10 - -148. Let s(u) = u**3 + 1. Let v be 1*(3 + -1) + -2. Let f be s(v). Is j not equal to f?
True
Suppose 0 = j + 2*j + 12, p + 20 = -3*j. Are p and -5 non-equal?
True
Let c = 3 + -2. Is 3 >= c?
True
Let q = -100 - -123. Which is smaller: 1/3 or q?
1/3
Let n be 0/(-2) - 2/(-1). Suppose n*v - 6*v = 0. Is v not equal to 0?
False
Let u = -0.52 - 0.48. Let v = -3 + 5. Which is greater: u or v?
v
Let f be 15/9 - (-3)/9. Suppose -2 = -b + f. Which is greater: b or 0?
b
Let r = 7785/4444 + -2/1111. Let p be 2/6 - (-8)/3. Is r at most as big as p?
True
Let k = -12 - -14. Let w be (-62)/(-8) - k/(-8). Is w at most as big as 7?
False
Suppose -12 = r + 5*c + 88, -c - 80 = r. Let q be (18/r)/(3/(-1670)). Let a = q + -134. Are a and -1 nonequal?
True
Let m = 78 + -50. Let h = m - 39. Let a = h - -7. Do 0.1 and a have different values?
True
Let m be (-1*2)/(5/(-10)). Let a = -7 + m. Suppose -9 = 2*f - 3. Is f greater than or equal to a?
True
Let k(z) be the third derivative of -2*z**2 + 1/3*z**3 + 0 + 1/120*z**6 + 0*z**4 - 1/12*z**5 + 0*z. Let f be k(5). Which is greater: f or 4?
4
Let x = -0.03 - -1.03. Let y = x - 4. Let f = -4 - -3.9. Which is smaller: y or f?
y
Let u be (-14)/(-14) - (0 - 0). Let z = 4 - 6. Is u at least z?
True
Let g = -9118 - -3413. Let j = 33863/6 + g. Let u = 61 + j. Is u less than or equal to 0?
True
Let y(h) = 5*h**2 - 1. Let t be y(-1). Which is greater: t or 3?
t
Suppose -5*l = -5*h + h + 56, -5*l = -h + 14. Which is bigger: 13 or h?
h
Let a be -2 + (-3 - 1)/2. Suppose -7*f = -2*f - 2*v + 35, 15 = 3*v. Is f smaller than a?
True
Let l = 51 - 51. Is l less than 1/5?
True
Let q(l) = -2*l + 11. Let u be q(6). Which is smaller: 1/15 or u?
u
Suppose 3*h = -2*q - 1 - 7, -2*h + 12 = -3*q. Let v be 5/2*q/35. Which is smaller: -1 or v?
-1
Let t = -853 - -19622/23. Do -1 and t have the same value?
False
Let m = 3.5 + -3.3. Do m and -0.13 have the same value?
False
Let z = 0 - 3. Let u be 1*(-2 + (-3)/z). Which is greater: u or -2/7?
-2/7
Let r = -21 - -20.91. Let i = -0.01 + r. Does 3/4 = i?
False
Let r be (-4 + 6 + -3)*-6. Let y = -5 + r. Which is smaller: -1/3 or y?
-1/3
Let r be 2285/(-210) + (-2)/(-4). Let s = r + 68/7. Suppose 0*l + 14 = 4*x + 5*l, 4*l - 6 = 2*x. Is x >= s?
True
Suppose 0 = -13*b - 135 + 798. Are 50 and b unequal?
True
Suppose 0*l = -3*l - 27. Let s(p) = p**2 + 9*p + 1. Let j be s(l). Which is bigger: j or 2/57?
j
Let l = 0.047 - -3.053. Let z = -1 - -4. Let y = l - z. Is -3 < y?
True
Let w = -0.6 - -4.6. Is -6 less than or equal to w?
True
Let n be (9 - -2) + -3 + -1. Suppose -2*j + n*j = 10. Which is smaller: j or 0?
0
Let y be (-4)/(1*-2) - 0. Let m = -1/68 - -103/68. Which is smaller: y or m?
m
Let b = -52/7 + 229/28. Suppose -d = -14 + 13. Which is smaller: d or b?
b
Suppose 9*c = 4*c + 5. Suppose -g = g + 2. Which is bigger: g or c?
c
Suppose -4*p = -4 + 12. Is p at most as big as 0.2?
True
Let r = -944/13473 + -2/499. Which is greater: r or 0?
0
Let r be (-2)/6 + 2 + -2. Let k(m) = 3*m + 19. Let g be k(-6). Is g greater than or equal to r?
True
Let n = -3/278 + -343/19738. Does 1 = n?
False
Let g = 4 - 3.6. Let b = -4/11 - 3/22. Is g equal to b?
False
Suppose -2*s = -2*c + 2, 0*c + 2 = -2*s - c. Let u be s + 0 - -2 - 2. Let n be (-1)/(-2)*u/(-2). Which is greater: -1 or n?
n
Let j(h) = -h + 9. Let v be j(8). Let c = 5 + v. Are 2 and c equal?
False
Let o = 26 - 53/2. Let f(l) = 2*l**3 - l**2 + 1. Let a be f(-1). Let z = -2 - a. Which is smaller: o or z?
o
Let q(z) be the first derivative of z**2/2 + 9*z - 1. Let u be q(-6). Is u at most 3?
True
Let n = -174/11 + 16. Suppose -2*c + 3*l - 3 = 0, 2*l + 2 = -5*c + 4. Which is greater: c or n?
n
Let j = 5.4 + -4.4. Let s = 0.25 + -0.2. Which is greater: s or j?
j
Let g(x) = 4*x - 9. Let i be g(2). Suppose 3*r + 4*m + 11 = 0, -r + 5*m = r + 15. Is i < r?
False
Let r = 63.8 - 64. Does 5/2 = r?
False
Let h(k) = -k**3 + 9*k**2 - k + 11. Let n be h(9). Let z be (8/(-14))/(6/(-9)). Which is greater: z or n?
n
Let y = 24 + -27. Is -5 < y?
True
Let z = 74/57 + -12/19. Let x(i) = -2*i. Let l be x(-1). Is l bigger than z?
True
Let k be 2 + 3 + -4 - -5. Let c = k - 8. Which is greater: c or -3?
c
Let l be -1 - (0 - (0 + 2)). Which is smaller: -1 or l?
-1
Let w = -17 - -17. Which is greater: -3 or w?
w
Let z = 3489/14 - 249. Let k(d) = -d**3 - 3*d**2 + 4*d. Let b be k(-4). Which is smaller: b or z?
b
Let x = 4541/66 - 391/6. Let p = 236/77 - x. Let n be (-7 - -7) + 0/1. Is p greater than n?
False
Let j = -37 + 79. Which is smaller: j or 43?
j
Let a be (-30)/4*770/21. Let q be (-4)/a*(-20)/8. Which is greater: -1 or q?
q
Let g be 13/(-13) + 59/56. Are g and -1 non-equal?
True
Suppose 0 = 4*k + 3*k. Is k < -1/20?
False
Let k = 9 - 2. Is k < 0.2?
False
Let m = 0.13 - 0.03. Which is smaller: m or 11?
m
Let j(l) = l - 4. Let z be 1 - (1 + 1)*-1. Let f be j(z). Which is greater: f or -3?
f
Let h = 23 + -18. Suppose -3*l = -2*x + 24, 4*l - 9 = -5*x + 5. Which is bigger: x or h?
x
Let c be (-2)/(-8) + 99/(-2). Let d = -49 - c. Let t = 119.2 - 119. Which is smaller: d or t?
t
Let p = -10 - -15. Suppose 0 = 3*z + n - 7, -2*n + 12 = p*z + 2. Is z greater than or equal to 3?
True
Let h = -1.1 - 0.3. Let a = h + 1.2. Which is smaller: -0.4 or a?
-0.4
Let f = -16 - -10. Let n(q) = q + 8. Let x be n(f). Which is bigger: x or 1?
x
Let p be (-2)/(-4) - 105/154. Let j = -4 - -9. Suppose -j*u + 20 = 3*x, -2*u + 8 - 1 = x. Which is smaller: u or p?
p
Suppose g - 4*g + 9 = 0. Let d be 2/g + (-15)/18. Is d equal to 0.1?
False
Let q = -30 - -28. Let i = 3 + -2.9. Which is greater: q or i?
i
Let o = 13 + -14. Which is smaller: -2/107 or o?
o
Suppose -5*y - 2*o = -26, -5*y + 6*y = 2*o - 2. Is y not equal to 5?
True
Let g(m) = -m**3 + 3*m**2 - 2*m - 1. Let u be g(2). Let b = -0.4 - -0.3. Let n = 0 - b. Does u = n?
False
Suppose -3*p = -12, -k + 5*k = -2*p + 48. Suppose -35 = -4*a - h, 2*h = -10 - 0. Is k less than or equal to a?
True
Let n = -11.2 - -11. Let b = 2 - 1.7. Which is greater: n or b?
b
Suppose -4*r = -9*r + 405. Let l be r/(-60) - 9/(-15). Which is bigger: -2 or l?
l
Let v = 111 + -83. Is 28 > v?
False
Let k = -39 - -118/3. Suppose 3*o + 3 = -3*b + 9, -3*b - 2*o = -7. Suppose -b*w + i + 6 = -0*w, 2*i + 2 = -4*w. Is k > w?
False
Let x(u) = u**2 + u - 4. Let q be x(0). Let z = -5 + q. Is -9 not equal to z?
False
Let w be (2 + -1)/((-8)/88). Is w equal to -2/5?
False
Let t = -0.04 + 0.14. Let f = -7 - -8.94. Let a = -0.06 - f. Which is smaller: t or a?
a
Let a be 3 - ((-35)/(-10) + -1). Which is smaller: 1.9 or a?
a
Let c = 398/187 - 26/11. Is c at most as big as -1?
False
Let n = -44 - -45.