
w
Let c(l) = l**2 + 8*l + 9. Let m be c(-7). Let u(a) = a + 11. Suppose h + 22 = -3*b, 0*b - 2*h = -b - 12. Let g be u(b). Is m <= g?
True
Let d = 3 - 4. Let a = d + 3. Suppose -1 - a = 3*j. Which is smaller: -2/9 or j?
j
Let g be 50/(-28) - (-3)/2. Let w = 1 + 2. Let r = w + -2. Is g at least as big as r?
False
Suppose -5*k - 24 = 2*v, v = k - 4*v - 6. Let n be ((-1)/10*k)/1. Is 0.4 at most n?
True
Let w = -266 + 1858/7. Is 0 >= w?
True
Let p = 12 - 13. Is -10 at least as big as p?
False
Let w(a) = 1. Let k(v) = v - 2. Let g(p) = -k(p) - 6*w(p). Let j be g(-4). Which is bigger: j or 1?
1
Suppose 2*n - 5*s + 37 = -2*n, -21 = 3*n + 3*s. Let r = n + 12. Let c = -10 + r. Which is bigger: c or -7?
c
Let v = 1.52 + -1.7. Let f = 6.82 - v. Let i = -6 + f. Is i at least as big as 1/3?
True
Let n = 4.7 + -5. Let t = -110 - -108. Is n at most t?
False
Let j(w) = -w**3 - 4*w**2 - 2*w + 2. Let m be j(-2). Let a be (m/7)/((-15)/7). Let b be (-8)/(-12)*(-6)/(-16). Is a less than b?
True
Let h(p) = -p**3 - 4*p**2 + 3. Let a be h(-4). Let k = 7.4 - 6.4. Is a >= k?
True
Let w = -200/707 - 2/707. Is -1/5 less than or equal to w?
False
Let r be ((-8)/(-426))/(-5 + 34/6). Is 1 > r?
True
Let b be 6/16 - 9/24. Let h = 479/40 - 63/5. Which is smaller: b or h?
h
Let y = -2 - -6. Let s = 7 - y. Which is greater: 4 or s?
4
Let q be ((-1)/(-27))/(6/36). Which is smaller: q or -1?
-1
Let k = 43485 + -522145/12. Let p = k - -27. Let t be 1/(-2) + 2/4. Which is bigger: p or t?
t
Let d(l) = -l. Let b be d(10). Which is smaller: -1 or b?
b
Let j be -1 - (-9)/4 - 1. Let d = -8.1 + 4.1. Is j less than or equal to d?
False
Let c = 0.024 - 1.024. Which is greater: c or -22?
c
Let p = 3 - 1. Which is greater: p or 4/9?
p
Let v = 3 + 2. Suppose -5*f - 15 + v = 0. Are f and 3 equal?
False
Suppose -3*v - 1 + 22 = 0. Let p = v + -3. Let a be p/6*(-3)/(-17). Does a = -1?
False
Let d = 0.01 + 0.19. Let f(x) = -x - 3. Let q be f(-4). Let n = q - -1. Which is greater: n or d?
n
Suppose 5*o = -o + 54. Suppose 7*u = 2*u + 50. Is o smaller than u?
True
Let p = 24 - 73/3. Is -1 less than p?
True
Let x = -4.4 + 1.4. Which is greater: x or -4?
x
Let y(i) = -i**2 + 3*i + 2. Let q(m) = -m**2 - 6*m + 5. Let o be q(-5). Let t = o - 6. Let h be y(t). Which is bigger: 0 or h?
0
Let n(d) = 0*d + 0 - 2*d - 6. Let m be n(-6). Is 6 not equal to m?
False
Let p be 3*(-1)/(-9)*-3. Let m be 4/(-6) - 14/6. Let b be ((-1)/(-6))/((-2)/m). Does p = b?
False
Let g = 7 - 29. Is -19 at most as big as g?
False
Let d = -19 + 17. Are -2 and d non-equal?
False
Let x be (-2)/(-1 - -3)*-5. Let r = x - -7. Is r at least 12?
True
Let m(r) = -48*r. Let q be m(-1). Let y be q/(-462) - 4/22. Do 1 and y have the same value?
False
Let m = -75 - -54. Let r = -22.1 - m. Are -0.1 and r non-equal?
True
Let v = 84 + -112. Which is smaller: -30 or v?
-30
Suppose -m - 5 - 15 = 0. Let k = m - -21. Is k at most 1/23?
False
Let f be 96/(-80) - (-1)/5. Is 8 at most f?
False
Let m(g) = 0*g + 2 - 5*g - 1 - 2*g. Let d be m(1). Is d > -5?
False
Suppose a = 3*n - 10, -4*n = -2*n - a - 6. Let q be (-15)/n*(-160)/15. Let w be (-4)/10 + 1/q. Which is smaller: 1 or w?
w
Let m(z) = -z**2 + z - 3. Let b be m(0). Suppose -s = s. Let c = s - b. Is 2 at least as big as c?
False
Suppose -5*h = -h. Is h smaller than 7/6?
True
Let d = -11/3 + 4. Let k be ((-2)/12)/(13/52). Which is bigger: d or k?
d
Let d = 8 + 0. Let x = 0 + -2. Which is smaller: x or d?
x
Let x = 61 - 61.1. Let m = -0.3 + -0.2. Let y = 0 - m. Is x equal to y?
False
Suppose 8 = 4*t - 0*t. Let s be -1 - (t + -1 - -1). Is s less than -4?
False
Let d = 2.3 + -2.2. Which is greater: d or -0.18?
d
Let d = -57 + 61. Which is greater: 3 or d?
d
Suppose l + a + 7 = 16, 4*a + 8 = 0. Suppose -5*r + 2*t = -l, -2*r + t - 6*t = 13. Let i = -1.9 - -2. Which is greater: r or i?
r
Let k be (28/(-8))/(3/(-6)). Suppose 0 = -3*j - r + 2*r - k, 4*r - 11 = -5*j. Which is smaller: j or -3?
-3
Suppose 7 = 5*h + 2. Let i be 1*(4 + h + -5). Which is smaller: -4 or i?
-4
Let n = 2 + 1. Suppose 5*d - 3 = 2*k, 0 = 2*k - k - 4*d + n. Which is greater: k or -1/5?
k
Let d(c) = -2*c. Let n be d(1). Let i be (n/(-12))/(5/6). Does -1/3 = i?
False
Let t(c) = 2*c**2 - 3*c - 2. Let p be t(6). Suppose -4*j + 2*j - 3*s = 22, 0 = 4*j + 2*s + p. Is j at least as big as -14?
True
Let w(q) = -q**3 + 4*q**2 - 4*q + 1. Let v be w(3). Let a = 8 - 7.9. Which is smaller: a or v?
v
Let p = 11 - 7. Suppose -3*s = -p*m - 13, 2*s = -m + 5*s - 1. Is m >= -3?
False
Suppose 0*w = 2*w - 2. Which is smaller: 2 or w?
w
Suppose -3*o - 9 = 3*c, -4*o - 8 = 2*c + c. Let b = o - 2. Is -0.1 < b?
False
Let n = -2 + 3. Let u = 11/6 - 29/18. Which is bigger: u or n?
n
Let s = 0.3 - 0.4. Suppose 8*i - 120 = -184. Is s >= i?
True
Suppose 6*m - 3*z + 152 = 2*m, 0 = 2*m - z + 74. Is -2/3 greater than or equal to m?
True
Let l = -4 + 5. Let w be -6 + (0 + -1)*l. Let s be (w/21)/((-2)/(-3)). Which is smaller: s or 0?
s
Let z be 2/4 + 169/(-416). Which is smaller: 0 or z?
0
Let a(z) = -z**3 + 8*z**2 + 2*z - 12. Let b be a(8). Let k(t) = -1 + 44*t**2 + 4 + t - 43*t**2. Let c be k(0). Which is smaller: b or c?
c
Let y be (24/(-80))/((-6)/(-5)). Is 0 at most as big as y?
False
Suppose -10 = 4*j + 2*u, 2*j - u + 5*u + 8 = 0. Do -4 and j have different values?
True
Suppose -y = 2*t - 13, 0 = 3*t - 0*y + 4*y - 32. Suppose t*m + 3*r = 6, r - 2 = -m - 1. Let i be 0/m*(-2)/(-4). Which is smaller: -1 or i?
-1
Let n(g) be the second derivative of -g**4/12 - 5*g**3/6 - 2*g**2 + 3*g. Let i be n(-5). Which is smaller: -3 or i?
i
Let v = -55 - -39. Let a be 12/v - 2/8. Let s = 2852/15 - 190. Which is smaller: s or a?
a
Let t = 2/2033 + -28512/50825. Let a = -204/275 - t. Let s(c) = -c**3 + 2*c**2 + 2*c + 2. Let h be s(3). Which is smaller: h or a?
h
Let r(l) = l**2 - 9*l - 2. Let q be r(10). Are 8 and q unequal?
False
Let x(q) = -q**3 + q**2 + q + 6. Let f be x(0). Are f and -1 nonequal?
True
Let h(n) = -n**3 - 2*n**2 + 2*n + 65. Let t be h(0). Are 65 and t unequal?
False
Suppose -6 - 13 = -p - 4*d, -5*p + 4*d - 25 = 0. Let i(w) = w**2 + 6*w. Let k be i(-6). Let a be k*2*(-1)/6. Which is bigger: a or p?
a
Let b be 2/(-3)*3 + 0. Let d be 0/(2*-1) + b. Let m = -116/231 - 7/33. Is m at most as big as d?
False
Let l = -2 + 3. Let t = 1 - l. Which is smaller: t or -1/3?
-1/3
Let a be -8*(2/(-4))/(-1). Let z be (-2 - -4)/((-4)/(-18)). Let n be (12/z)/((-1)/3). Is n less than or equal to a?
True
Let u = 72 + -70. Let f be 3/2 - (-1)/(-2). Is f <= u?
True
Let a be -4*((-9)/60)/(-1). Let w be 2*1/(4/(-2)). Is w < a?
True
Let u = 3.1 - 5. Is 2/5 < u?
False
Let h = -3 + 5. Let t be (-1)/h*2*1. Is -2 < t?
True
Let r be 2/(-8)*(-24)/9. Let q(v) = v + 2. Let b be q(-5). Let i be (b/6)/((-2)/4). Which is smaller: i or r?
r
Let s be 1/(-2) + (-3)/6. Let d be (s + (4 - 1))/(-7). Let j(h) = h**2 - h + 1. Let i be j(1). Is i at least d?
True
Suppose 6*g - 2*g + 20 = 0. Which is greater: -14/3 or g?
-14/3
Suppose -4*r + 73 = -n, -3 = -5*r - 5*n + 107. Suppose 4*f = -w + r + 1, -4*w = 0. Suppose 8*d = f*d - 3. Is 2/5 at most d?
False
Suppose 5*n + d + 22 = n, 0 = -5*n - 2*d - 29. Let b = n - -6. Which is bigger: -1/11 or b?
b
Let b be 8/(-60)*3/(-8). Which is smaller: b or 0?
0
Let m = 15 - 12. Suppose -m*y = 13 + 14. Which is smaller: 1/4 or y?
y
Let q be 8 - (-3 + 2 - -3). Let g be (2/q)/((-10)/90). Which is bigger: -5/3 or g?
-5/3
Let o = 10 + -4. Let h = -4 + o. Which is smaller: 4 or h?
h
Let j(f) = -6*f**3 - f**2. Let k be j(-1). Let o = 21 + -13. Let h = o - 4. Which is smaller: h or k?
h
Let k be 1/(-1*(1 + -2)). Let z be k/1*(-2)/(-23). Which is smaller: z or 1?
z
Let z = 45 - 20. Suppose -4*o + 6 = 5*u + 39, 5*o + 3*u = -z. Which is greater: o or -7/5?
-7/5
Let t be 5/(-25) - (-8)/(-10). Let g be 5 + -5 - t/9. Which is greater: g or -1?
g
Let k be (6 - (5 - 2)) + 27. Is 30 != k?
False
Let d = 86 + -80. Is d at least as big as 5?
True
Suppose 0*v + 2*n - 3 = -v, 0 = 3*v + 4*n - 13. Suppose -3*p + 5*h = -4, 0 = 3*p + 5*h + 23 - v. Let b = -7 + 9. Which is bigger: b or p?
b
Let w be (-2)/((-272)/(-122) - 2). Let c = -2447/280 - w. Let h = 77/120 - c. Which is bigger: 0.3 or h?
h
Let w = 3.84 - -0.16. Which is greater: 4/5 or w?
w
Let i be 1/(-6)*(-2)/3. Let y = 0.02 - 0.02. Is y l