. Which is greater: m or -3?
m
Let u = 7 - 8. Which is smaller: -3/8 or u?
u
Suppose -5*t = -47 - 58. Suppose 4*w + t = w. Let o be 2/7 - (-23)/w. Which is bigger: -1 or o?
-1
Suppose 0 = -3*l + 4*t + 4, -3*l - 18 = -5*l - 5*t. Let h(u) = -2*u**3 - 3*u**2 + 1. Let s be h(-2). Suppose -l*p = s*w - 19, w + 2 = 5*p - 0*p. Is w at most 3?
True
Let h = -4 - -4.04. Let t = 0.06 + h. Is t smaller than 2/7?
True
Let v = -0.5 - 1. Let b = v + 1.6. Which is smaller: -2/5 or b?
-2/5
Let l(w) = w**2 + 6*w - 4. Let x be l(-6). Suppose 2*v = -2*v + 12*v. Which is bigger: v or x?
v
Let g(m) = m**3 + 4*m**2 - 2*m - 3. Let s be g(-4). Let f = -5 + s. Is f smaller than 1?
True
Suppose 5*d + 12 - 3 = -3*r, 2*r - 7 = d. Which is smaller: -17/6 or d?
d
Let d = 14 - 11. Which is bigger: d or 4?
4
Let q = 1.3 + -5.4. Let v = -4.8 + 0.8. Let o = q - v. Is o less than -0.2?
False
Suppose -4*n + 1 = -4*r - 19, -3*n + r + 17 = 0. Let q be 1/n*(1 - -2). Suppose 7 = 4*k - 1. Which is smaller: k or q?
q
Let o(c) be the second derivative of -c**3/6 + c**2 - 2*c. Let w be o(3). Is w >= -1?
True
Let u = 49 - 61. Which is smaller: -14 or u?
-14
Suppose -o - 99 = 4*s, 2*o + 111 = -4*s - 3*o. Let k = -14 - s. Suppose -5*y + 35 - k = 0. Which is bigger: y or 4?
y
Let s = 21 + -17. Let a be s + (-9)/21 + -3. Is -4 at least as big as a?
False
Let h = -11.79 - -10.8. Let t = 0.01 - h. Let o = t + -2. Is -4 not equal to o?
True
Suppose -9*s + 4*s = 2*x - 21, s + 3 = 2*x. Suppose -x*g = -2*t + 3, -3*g - 5*t = -g - 17. Let o be ((-30)/40)/(30/(-16)). Is o at least g?
False
Let p be (-4)/(-3 + 2 + -1). Let w = -1.22 - -1.3. Is p smaller than w?
False
Suppose 0 = -8*b - 37 - 35. Which is smaller: -12 or b?
-12
Let z be -2*(-12)/(-11) + 2. Which is smaller: -2 or z?
-2
Let l = 395/6623 - 1/179. Which is smaller: l or -1?
-1
Let v be (1 - (-5)/(-6))*-5. Suppose -2 = -c, 0*n + n = -5*c + 20. Let j = 8 - n. Is v > j?
True
Let b(y) = y**2 + 5*y - 5. Let r be b(-5). Suppose -32 + 88 = -14*v. Which is greater: v or r?
v
Suppose -l + 4*w = -8, 4*l - w - 21 = 4*w. Which is greater: l or 2?
l
Let s = -1 - 25. Let f = s - -25.95. Is -1 less than or equal to f?
True
Let o be (-1)/(-2)*2/(-8). Let p be 3 + 0 - 4 - -2. Suppose p = 2*z + x, 2*z = 6*z - 2*x - 6. Do o and z have different values?
True
Let i = -177 - -3010/17. Are 1 and i non-equal?
True
Suppose -27 = 4*p - 7. Suppose 3*v - 5 = 2*v. Suppose 5*m - 3*b + 29 = 0, -5*b + 35 = -v*m - 0*b. Which is smaller: m or p?
p
Let m = -110 - -221. Let b be m/6*(-21)/(-972). Let v = 2/81 - b. Which is greater: v or 0?
0
Let q = -83.1 + 83. Is q at most 16/7?
True
Let f = -10 + 11. Suppose 5*h + f + 4 = 0. Is -4 at most as big as h?
True
Let b = 181 - 81. Let m be b/110*(-6)/5. Are m and 0 non-equal?
True
Let r be 3/((-12)/(-8)) - 3. Is -1/46 != r?
True
Let z be 16/(-24) - 34/(-6). Suppose z*u - 2 = -k - k, 0 = -3*k - 4*u + 3. Let x = 442/5 + -88. Is k less than x?
False
Suppose g = 2*u + 1, 0 = -u + 3*g - 2 - 1. Let k be (3*6/9)/9. Which is greater: u or k?
k
Suppose -4*w = 2*s + 16, -2*w + 3*s = -0*s. Let a be (w/10)/((-5)/(-10)). Which is greater: 0 or a?
0
Let v = 0.6 - 1. Let k = -0.4 - v. Suppose 3*a = -4*u + 13, 10 = 2*a + 2*u - 0. Is k at least as big as a?
False
Suppose 0 = -5*p - 0*g - g - 99, -3*p - 49 = -2*g. Are -20 and p non-equal?
True
Let n be (-1)/(-1) + 1 + 0. Let l be (-2)/3 + (-78)/(-36). Do n and l have the same value?
False
Suppose 0 = 3*t - 19 + 7. Suppose 5*m - t*y = 25, 2*y = 3*m + 3*y - 15. Suppose 3*r + 2*g = -13, 2*g + m = g. Which is smaller: r or -1/3?
r
Suppose -x - 3*j = -1, 17 = 2*x - 5*x + j. Let m(w) = -w - 9. Let u be m(x). Let y be 3*(-4)/6 + -1. Is u at most as big as y?
True
Suppose -5*x = -b + 31, 50 = 5*b - 0*b - 4*x. Suppose 0 = -5*d - 2*w + 4*w + 17, -3*w - 8 = -4*d. Let a = b - d. Which is greater: 3 or a?
3
Let j(i) = i + 5 - 2 - 3 + 1. Let z be j(0). Is 3/2 > z?
True
Suppose -z - 2 = -y, 0*y + 3*y = 4*z + 5. Suppose -z = -4*i + 2*d + 5, -2*d - 6 = 3*i. Is 3/5 equal to i?
False
Let p = -12 - -14. Suppose 4*j - 4 = 0, -p*j = 5*o - o - 6. Is o greater than 3/4?
True
Let q(w) = w**3 - 8*w**2 + 7*w - 1. Let i be q(6). Let t = i - -47. Suppose -t = 2*r - 2*k, -2*k + 4*k - 31 = 5*r. Is -6 less than r?
True
Let t = 1 + 1. Let w(b) = 2 - t - b. Let i be w(1). Is 0 greater than or equal to i?
True
Let r = 36417 + -256908/7. Let n = -285 - r. Is n < -1?
False
Suppose -6 + 2 = -v. Suppose 2*z + 3 = -1. Let q = z + v. Do 5/3 and q have different values?
True
Let n = 2 - 3. Suppose -3*k - 4 + 1 = 0. Let a be (-50)/(-35) - (k - -3). Is n > a?
False
Let s be -2*10/25*10/(-12). Which is bigger: s or -0.2?
s
Let f be (6/9)/(10/6). Let k(u) = u**3 + 9*u**2 + 5. Let x be k(-9). Suppose 0 = -4*r + z - x - 0, 5*r = -5*z - 25. Is f smaller than r?
False
Let u = -1 + 0. Let d be ((-147)/6)/(-2 + 3). Let p = 24 + d. Which is smaller: p or u?
u
Let y = -4.9 + 5. Let o = 0.9 + y. Let d = -2 + 2.1. Which is greater: d or o?
o
Suppose 6*g = 3*g + 24. Let p(c) = c**2 - 7*c - 9. Let k be p(g). Which is smaller: 0 or k?
k
Let q(m) = -m**3 - 2*m**2 - 11*m - 7. Let x(s) = -s**3 - s**2 - 12*s - 8. Let o(f) = 6*q(f) - 5*x(f). Let i be o(-6). Which is smaller: i or -2/3?
i
Suppose -2*c = -4*h - 3*c, 2*h = 3*c. Suppose 1 = -h*z - z. Do -2 and z have the same value?
False
Let k(s) = -s**2 - 8*s - 1. Let j be k(-7). Let n(v) = j - 9 + 3*v + 4. Let d be n(-1). Is d less than or equal to 1?
True
Let g be (-3)/18 + (-951)/126. Let m = 472/63 + g. Which is smaller: m or -1?
-1
Suppose 2 = 2*u + 16. Which is smaller: u or -6?
u
Suppose 38 = 4*l + 2. Let v(z) = 2*z**2 + 2*z - 4. Let h be v(2). Is l >= h?
True
Suppose 14 - 35 = 3*s. Let y = s + 6. Is y bigger than -3/4?
False
Suppose -s + 2*h + 13 = -1, h = -5. Let z be (-1 + s)/((-609)/14). Is 0.1 < z?
False
Let l = 51191/25 + -2048. Is 0 bigger than l?
True
Let u = -7 - -2. Let s be 8/(-12) - (-1)/3. Let o = 1 + s. Which is bigger: o or u?
o
Let s = -28.9 + 29. Is 0.4 less than s?
False
Let w(a) = -a**2 - 7*a - 5. Let f be w(-6). Does 2/5 = f?
False
Let h be 45/(-45) + (-65 - (-4)/2). Which is bigger: h or -65?
h
Let h(m) = 2*m + 14. Let y be h(-7). Which is smaller: 3/4 or y?
y
Let a be 12/(-18) - 5/(-3). Is a equal to 1/117?
False
Suppose 2*a + 0*a = 40. Suppose 4*t - 9 = k, 7*t - 3*k - a = 2*t. Let g be ((-2)/6)/((-11)/3). Which is smaller: g or t?
g
Let o be ((-80)/12)/(-5)*-3. Which is smaller: -13/5 or o?
o
Suppose 5*i + 15 = 5. Let g be ((i - -1) + 2)*0. Let b(t) = t**2 + 6*t. Let d be b(-6). Are d and g non-equal?
False
Let q be (-18)/(-8) - 6/24. Suppose 15 = s + q*s. Suppose s*o - m - 2 = 0, 10 + 5 = 5*m. Are o and 2 equal?
False
Let a(y) = y**2 - 4*y - 4. Let n be (-24)/(-32) - (-34)/8. Let t be a(n). Are -2/17 and t equal?
False
Let i be (8/(-12))/(-3 - 220/24). Which is bigger: i or 0?
i
Let a be ((-1152)/200 - -6)/(14/5). Is 0 smaller than a?
True
Let y be (4/(-20))/((-21)/15). Let d = -2 - -1. Which is smaller: d or y?
d
Suppose x = -2*x - 6. Is x != -2?
False
Let w = 2 - -3. Let h(u) = 12*u - 1. Let i be h(-1). Let m be 28/i - (-10)/w. Which is smaller: -1 or m?
-1
Suppose 0*f + 3 = 3*f. Suppose -3*q = 4 - 7. Let o = 3 - q. Which is smaller: f or o?
f
Let w = -49/1357 - 3/59. Which is smaller: w or 0?
w
Let n = -1 - -1. Suppose n*i = -5*i + 15. Suppose 2*p + 0*p - o - 3 = 0, -p + 5 = 3*o. Which is smaller: i or p?
p
Let c be (-16)/90*24/32. Suppose 0 = -l + 6*l. Which is greater: c or l?
l
Let c(a) = -2*a**2 + a - 2. Let v be c(3). Let j = v - -21. Is 4 < j?
False
Suppose 15*u = -0*u - 30. Suppose -3*c - 60 = 2*c. Let q be (7/c)/((-1)/(-3)). Is q at least u?
True
Let o be (-66)/10 - (-15)/((-225)/6). Is o greater than -8?
True
Let h be -5 + 9 + 2*-1. Suppose -6*f - h*t + 10 = -2*f, f = -2*t + 4. Let p = 0.7 + 0.3. Which is smaller: f or p?
p
Suppose 1 - 16 = -c + o, -54 = -4*c + 2*o. Let m be (-30)/c*(1 + -2). Which is greater: m or 4?
4
Let p be ((-1)/(-2))/((-2)/100). Which is smaller: p or -23?
p
Suppose -2*h = -0*h + 10486. Let r be ((-1182)/(-8))/(h/28). Let o = r - -8/107. Are 0 and o non-equal?
True
Let u be 3/(-5) - (-1392)/20. Let k = u + -209/3. Suppose 18 - 3 = 5*r. Are k and r non-equal?
True
Let z(t) be the third derivative of -t**5/30 + t**4/6 + 2*t**3/3 + 8*t**2. Let m 