 a or -8?
-8
Suppose 6 = -3*j - 9. Suppose 6 = -5*d + 36. Let i = d + j. Which is smaller: -2/5 or i?
-2/5
Let k = 0 - -2. Let n be 2/1*(-25)/(-10). Suppose -13 = -n*w + 2. Which is smaller: w or k?
k
Let j = -3.2 - -2.6. Let k = 7 - 7.7. Let c = k - j. Which is bigger: c or -1?
c
Let h = 0.156 - 0.056. Which is greater: -0.07 or h?
h
Suppose 4 - 3 = -p. Let x be 10/(-3)*(-18)/10. Suppose 9 = -3*m, 3*m - m = -3*y - x. Is p smaller than y?
True
Let f = -11 - -9. Do -5/4 and f have different values?
True
Let o = -30 - -33. Let b be (-26)/(-6) - (-2)/(-6). Is b less than o?
False
Let o = -72 - -71. Is -7/6 at least o?
False
Suppose z - 5*m + 21 = -0*m, 2*z = 2*m - 18. Let o be 1*z - -3 - -8. Is o less than 3?
False
Suppose x + 4 = 3*x. Suppose 0 = -x*i + i. Suppose i = -9*y + 4*y - 15, 0 = -5*g - 3*y - 4. Which is smaller: g or 0?
0
Let l = 2 - -3. Suppose -g + 4*g - 36 = 0. Suppose 0 = -2*a - b - 3, 4*b + g = -l*a + 3*b. Is -3 greater than or equal to a?
True
Let r(o) = o**3 - 5*o**2 - 6*o + 1. Let l be r(6). Let b = -2 + l. Let j = 167/11 + -15. Which is greater: j or b?
j
Let d = -19.8 + 20. Are d and -6 non-equal?
True
Let d = -107.96 + 108. Let u = -11/2 - -5. Which is bigger: d or u?
d
Let v(c) = -c**2 + 3*c - 3. Let b be v(3). Let y = 1 + -3. Which is smaller: b or y?
b
Let n(p) = p + 4. Let m be n(-2). Suppose 2*l = 0, -5*z - m*l = l + 555. Let c = z - -441/4. Is -1 != c?
True
Let k(g) = -g**2 - 15*g - 1. Let v be k(-15). Which is smaller: 2/107 or v?
v
Let c = 124.2 + -124. Which is smaller: -20/7 or c?
-20/7
Let o be (-148)/(-20) + -2*4/20. Let h be (2/4)/((-2)/(-8)). Let b be ((-18)/21)/(h/(-14)). Which is smaller: o or b?
b
Suppose -5*k - 10 = -5. Which is bigger: -2/11 or k?
-2/11
Let x = -149.98 + 150. Are x and 0.2 equal?
False
Let w = -6.94 - -7. Let r = w + -0.06. Is r less than or equal to -1/2?
False
Suppose -4*w + u + 26 = 5, 0 = 4*w + u - 11. Which is bigger: 9/2 or w?
9/2
Let s = -1 - -1. Let u = -5.1 + 5. Let h = s - u. Do -1/2 and h have the same value?
False
Let n = -4.08 - -0.08. Let y = 1.1 + 3.9. Let a = n + y. Is -1 at least a?
False
Let z be 12/20*98/3. Let q = z + -872/45. Are q and 8 unequal?
True
Let r(j) = -j**2 + 6*j. Let m be r(5). Suppose 2*z + m = -1. Let d = z - 2. Is -5 bigger than d?
False
Suppose -13*i + 14*i = 0. Is i smaller than 1/11?
True
Let m = 0 - 0. Let u = 27 + -53/2. Is u at least as big as m?
True
Suppose -14337257 = -2*x - 3*x + 4*d, 5*x = d + 14337248. Let n = x - 100332087/35. Let w = 818 - n. Is 1 less than or equal to w?
False
Let w be (-8 + -1)/((-6)/8). Let b be (-4)/3*(-18)/w. Suppose 0 = 5*q + b*d - 38, -2*q - 36 = -6*q - 3*d. Are 6 and q unequal?
False
Suppose 3*z = w - 26, -w - 30 = 4*z - 0*z. Let r = -12 - z. Is r greater than -5?
True
Let g = -967/8 + 121. Let o = -10 + 9. Which is smaller: g or o?
o
Let x be 1 - 2 - (-10)/15. Let r = -3.95 - -4. Let c = 1.95 + r. Which is smaller: x or c?
x
Let f = 175 + -170.2. Is -1/4 bigger than f?
False
Let n = 2/3 - 4/3. Let k = 5 + -5. Suppose k*d - 2*d = 0. Which is greater: d or n?
d
Let b be (-35)/(-45) + 5/(-15). Is b equal to 1?
False
Suppose 2*i = 3*o - 6*o - 1, 31 = 2*o - 5*i. Let q = 0 - o. Let d = 0 + q. Which is smaller: -4 or d?
-4
Let y(d) = -d**3 - 12*d**2 - 12*d + 4. Let j be y(-11). Do 15 and j have the same value?
True
Let w(q) = q**3 - 11*q**2 + 20*q - 20. Let m be w(9). Let s = -9 - -6. Is m at least s?
True
Suppose -4*z + 64 = 5*y, z + 0*z - 60 = -4*y. Is y not equal to 16?
False
Let r = -175 - -192. Which is smaller: 15 or r?
15
Let r be (-3)/2 + 3/((-162)/(-57)). Is r smaller than 3?
True
Let y(t) = t**3 - 6*t**2 + 5. Suppose 0 = -5*g - 5*a + 35, g + 5*a = -2*g + 23. Let h be y(g). Suppose m - 2*m + h = 0. Is 5 bigger than m?
False
Let c = -106 - -103. Are -1.8 and c non-equal?
True
Let h = -30 - -29. Which is greater: -1/2 or h?
-1/2
Let g = 9 + -13. Let p = g - -6. Is p less than or equal to -3?
False
Let k(j) = -j**3 + 2*j. Suppose -2*l = 4*g - 16, 5*g + 2*l = -0*l + 18. Let x be k(g). Let d(b) = -b - 4. Let r be d(x). Which is smaller: 1 or r?
r
Suppose -5*m + d = 5, -5*m + 3*m = 5*d + 2. Let l be ((-2)/(-6))/((-16)/(-18) - 1). Is l > m?
False
Let t = 23.9 - 29. Let x = t + 5. Which is smaller: -0.2 or x?
-0.2
Let a(h) = -h + 18. Let o be a(15). Is o at least as big as 5/3?
True
Suppose 0 = 2*c + 2*c + 16. Let f = -25.9 - -26. Which is bigger: f or c?
f
Let g = -28 - -17. Is -11 at least as big as g?
True
Let i = 0.065 - 18.065. Is -0.1 at most as big as i?
False
Let j be -6*6/8*2. Let n be ((-2)/6)/((-12)/j). Which is bigger: 1/3 or n?
1/3
Let q = -6 + 4.6. Let n = q + 0.4. Which is greater: 2 or n?
2
Let y = 80 - 398/5. Let b = 69 - 75.1. Let p = -0.1 - b. Is y greater than p?
False
Let n be (-26)/65 - (-36)/(-10). Is -1 >= n?
True
Suppose c - 30 = 5*n, -2*c - c + 25 = -2*n. Suppose 4*f + 0*f + b = 1, 10 = -c*f - 5*b. Let g be (-3)/(-12) - (-4)/(-16). Is g at least as big as f?
False
Let l(i) = i**2 - 4*i - 5. Let x be l(5). Suppose -4*g + 9*g + 5 = x. Is g less than -1?
False
Suppose b + b = -4*i + 266, 5*i - 20 = 0. Which is smaller: 0 or b?
0
Suppose 2 = -r - 1. Let h = 158 - 482/3. Which is greater: h or r?
h
Let t be 33/2 - (-4)/(-8). Suppose 4*z + r = 8, z - 2*r - t + 5 = 0. Suppose 0 = -4*g + 2*g - 4*f, 1 = g + f. Is g smaller than z?
True
Let l(d) = d**2 - 10*d + 1. Let g be l(4). Which is bigger: g or -22?
-22
Let q(a) be the third derivative of a**4/24 + a**3/3 + a**2. Let m be q(-4). Is m smaller than -1?
True
Let t = 581/8 + -73. Suppose 9*l - 4 = 5*l. Which is smaller: t or l?
t
Let u = -6/253 + 608/4301. Which is smaller: u or 1?
u
Let h = -4807/9 - -3994/9. Let t = -92 - h. Suppose 3*m - 2 = 5*m. Which is greater: m or t?
m
Let n be 18/4 - (-12)/(-4). Do 2 and n have the same value?
False
Let v = 0.19 - 16.19. Are v and 2 non-equal?
True
Suppose -5*n + 3*j = 5, -5 = j - 2*j. Let r be (102/(-935))/(1/(-5)). Do n and r have the same value?
False
Let w = 434/27267 + -4/149. Which is smaller: w or 0?
w
Suppose q - 22 = -4*c, -5*q = -5*c + 3*c. Suppose 0*n = c*n. Is 0.1 != n?
True
Let y = -1225/78 + 97/6. Which is smaller: 1 or y?
y
Let m = 28 - 194/7. Is m at most as big as -4?
False
Suppose 4 = b + 3*i - 2*i, 2*b - 11 = -3*i. Do b and -1/3 have the same value?
False
Let f = 15 - 10. Let i be (f + 4)*(-1)/(-3). Let n(t) = t**3 - 3*t**2 - t. Let u be n(i). Is -2 bigger than u?
True
Let u be (-552)/60 - (-1)/5. Is u <= -7?
True
Let r = -18 + 19. Are -2/7 and r unequal?
True
Suppose -8 = 5*y + 97. Is -21 less than y?
False
Let x = 22 - 23. Let u be 3/(-6) - -1 - 1. Is u bigger than x?
True
Suppose -4*r - 3*j + j = -2, 5*j + 7 = 2*r. Which is bigger: -2/325 or r?
r
Let f(i) = i + 4. Let u be ((-10)/(-8))/(1/(-4)). Let d be f(u). Let x be (-1 + 0)/(5 - 4). Is d smaller than x?
False
Let m = -212/15 + 43/3. Which is smaller: 0.02 or m?
0.02
Let q = 2 - 2. Let x = -0.7 - -0.6. Is q >= x?
True
Let f = 152 - 1519/10. Is 1/4 bigger than f?
True
Let p = 33 + -26. Which is smaller: 2 or p?
2
Let p = -7 - -24. Suppose n - 3 + 16 = -3*d, -5*n = 3*d + p. Are n and 0 unequal?
True
Suppose -m = -3*m. Let x be -1*(0 + m/(-3)). Which is smaller: 1 or x?
x
Let u(z) = -z**3 - 4*z**2 + 3*z - 9. Let x be u(-5). Is x equal to 2/109?
False
Let y = -335/6 + 55. Let f = -3/2 - y. Let m = 0.1 - 0.1. Which is greater: f or m?
m
Let a be 24/(-10) - 4/(-10). Let p(g) = g**3 - g + 5. Let f(l) = -1. Let w(z) = -3*f(z) - p(z). Let h be w(a). Is 4 < h?
False
Suppose 0 = 4*c + 47 + 29. Which is smaller: -18 or c?
c
Let o = -1 - -1. Let s = o - 3. Let a = 150 + -152. Is s greater than or equal to a?
False
Suppose -5*o - 5*q = -5, -4*o + 13 = q - 3. Let m be 2/7 - (-1 - -1). Is o at most as big as m?
False
Let r be (-16)/(-15) + 2/(-10)*2. Let v = 2 - 3. Which is bigger: v or r?
r
Let o = -79.9 - -80. Which is smaller: 0.053 or o?
0.053
Let f be 4 + (240/51)/(-1). Does f = -2?
False
Let l be -1 + 2 - (5 + -3 - 3). Let x = 4 + -1. Which is bigger: x or l?
x
Let c = -6 - -5. Suppose -n + 68 = 278. Let k be (-2)/(-7) + 81/n. Which is smaller: c or k?
c
Let d(g) = 5*g - 3. Let l be d(4). Which is greater: 16 or l?
l
Suppose -5*k + 5 = -0. Let v = k + 0. Is v at most -2/5?
False
Let l be (-8)/(-9) - 18/18. Is 2/5 <= l?
False
Let o(c) = -c**3