= -5*q + 92. Let d = b - -71/4. Which is smaller: d or u?
d
Let b be 0*((-9)/6 - -2). Suppose 0 = 3*h - b*h. Let c(w) = w + 2. Let r be c(-1). Which is bigger: h or r?
r
Let h(m) = 3 + 7*m**2 + 7 - 3 + 7*m - m**3. Let u be h(8). Is 1/10 at most u?
False
Suppose -l - 5*b + 33 = 0, b - 113 = -5*l + 2*b. Which is smaller: l or 24?
l
Let c(y) = y**3 + 9*y**2 + 9*y + 7. Let u be c(-8). Let r = -2/27 + 41/189. Is r at most u?
False
Let g = -98 - -688/7. Let w(i) = -4*i - 10. Let s be w(0). Let u be (-2)/10 - (-8)/s. Which is smaller: u or g?
u
Let b = 4.94 - 5. Let f = 3.06 + b. Which is smaller: -0.1 or f?
-0.1
Let f = 9 - 61. Is -52 > f?
False
Suppose -3*n + 7 = 5*t, -2*n - 4 = -4*t + 3*t. Suppose -t*h = -7*h + 25. Suppose -2*o + 8 = -2. Is o less than h?
False
Suppose -2 - 2 = -2*o. Let m be (-1)/((0 - 2)/o). Is m > -1/20?
True
Let r be 2232/(-126) - 2/7. Are -17 and r nonequal?
True
Suppose -3*l + 108 = l. Let y = 47 - l. Let u = y + -58/3. Is 0 greater than or equal to u?
False
Let k(d) = -2*d + 9. Let s be k(-7). Suppose -3*w = -4*u + 8, 0 = -2*w - 3*u - 0*u + s. Is 2 bigger than w?
False
Let m = 0 + 0. Let z be 1/2 - (-7962)/42. Let w = 190 - z. Is m bigger than w?
True
Let s = -3 + -9. Let w = -147.1 + 147. Which is smaller: w or s?
s
Let n be (-4)/(-6) - (-7)/3. Let t be ((-3)/6)/((-3)/6). Which is bigger: n or t?
n
Suppose 23 = r - 5*k, 0 = 5*r + k + 2*k + 25. Let j be (15/6 - 1)*-2. Do r and j have different values?
True
Suppose -2*c + 2 = -c. Let l(s) = -6*s - 4*s**2 - 1 - s**3 + 3*s + 8*s**c. Let o be l(3). Is -2 >= o?
False
Suppose 0*b + 10 = 2*b. Suppose 6 = 3*c + b*a, c - 5*a = -0*a - 18. Suppose 0 = 4*x - 0*n + 4*n, -4*x - 12 = -2*n. Is x > c?
True
Suppose 0 = 2*i - 3*v + 17, -4*i - 3*v = 2*v + 1. Let c be (-9)/6 + (-2)/i. Let t = -1 - -2. Which is greater: t or c?
t
Let p(d) = -d**3 + d**2 - 2. Let n be p(3). Is n > -19?
False
Let v = 18 - 9. Let p = -11 + v. Is p smaller than -1/4?
True
Let o = -9 - -16. Let h = o - 5. Which is smaller: h or 0?
0
Let z(x) = 15*x**3 + 18*x**2 - 33*x - 15. Let b(w) = 7*w**3 + 9*w**2 - 16*w - 7. Let c(p) = 13*b(p) - 6*z(p). Let d be c(-10). Which is bigger: d or 2/5?
2/5
Suppose 4 = 3*k - 2*z, -k - z + 3 = -0. Suppose 3*t = 4*t + k*w - 11, 5*w - 10 = t. Suppose r - 2 + t = 0. Which is greater: -2 or r?
-2
Let l be -3*2/6*-3. Which is smaller: 2 or l?
2
Let w = -0.05 + 5.05. Let f = 5 - w. Which is greater: f or -0.1?
f
Let p be -1*-4*3/21. Suppose -u = -5*u. Which is greater: u or p?
p
Let i = 12.2 + -10. Let m = 0.2 - i. Which is greater: m or 1/2?
1/2
Let b be 3 + -2 + 0 + -1. Let m(r) = -r**3 - 5*r**2 - 6*r - 6. Let s be m(-4). Is s smaller than b?
False
Let n = -1 + 0. Let v = -87/4 + 175/8. Which is bigger: v or n?
v
Suppose -4 + 2 = -2*v. Let a = -5.68 + -0.32. Which is greater: a or v?
v
Let s = -15077 - -45715/3. Let l = -163 + s. Which is bigger: -3 or l?
l
Let h = 0.1 + 0.04. Which is smaller: 1 or h?
h
Let v = 0.025 + 0.375. Which is smaller: -1 or v?
-1
Let j(a) = a**2 - a + 1. Let r be j(1). Suppose 17 - 75 = -2*c - 5*s, 2*s - 4 = 0. Suppose -2*y - y - 14 = q, -q - 5*y = c. Is r at most q?
True
Let g = 10/9 - 1. Which is smaller: g or 0?
0
Let j(x) = x**2 + 6*x + 5. Let h = 5 + -10. Let q be j(h). Is -1/13 >= q?
False
Suppose 6*z + 186 + 36 = 0. Are -37 and z unequal?
False
Let m(p) = 4*p**2 - 3*p - 1. Let i be m(3). Is i at most 25?
False
Let c(w) = w**2 - 6*w + 6. Let d be c(5). Suppose 0 = -5*q - 2*l - 9, 5*l + 13 = -4*q - 1. Are d and q unequal?
True
Suppose -3*z + 3 = -15. Let f = 8 - z. Let r be f + 1 + 3/(-3). Do r and 2 have the same value?
True
Let f = 10/9 + -43/36. Which is bigger: f or 1?
1
Let s = -15 - -19. Suppose 0 = 5*o - 2*c - 0 - 3, -5*c = -s*o - 1. Is o < 1?
False
Let t = -0.1 - -0.1. Let c = 3 - 6. Is c < t?
True
Let y = -185258/83 - -2232. Is y smaller than -1?
False
Let h = -78 - -128. Let o be h/10*(-2)/(-25). Is -2/5 != o?
True
Let l = 5 - 16. Which is smaller: l or 0?
l
Let s be -1*(5/1 + -3). Let v be ((-2)/(-106))/((-3)/9). Let i = v - 144/265. Is i greater than s?
True
Suppose -2*l - 1 = -m + 2, 0 = -l - 4*m - 24. Are -3 and l non-equal?
True
Let l = 537 + -529.98. Let b = 7 - l. Let j = b + -0.08. Is -1 greater than j?
False
Let p be 2/(2/(3 - 2)). Let c = 908 + -59018/65. Which is bigger: c or p?
p
Suppose -3*g + 10 = 28. Let m be (-2)/g + (-6)/9. Which is bigger: -1 or m?
m
Suppose -2*l + c = 15, -2*c + 4 = -6. Let g be (l + 2)/(3 + -4). Let j be (-9)/6*2/g. Is j at most as big as 1?
True
Let l = 2 + -5. Let y be -1 - (2 + l + 3). Let g = y - -3. Is -1/4 at least as big as g?
False
Let r = -6.03 + 6. Let h = r + -0.27. Do h and -1 have the same value?
False
Let r = 9 - -4. Which is smaller: r or 12?
12
Suppose -2*x = 0, -5*v + 2*v - 39 = 4*x. Let r be (-4)/v*(-6)/8. Does r = -1?
False
Let r = 483066/3047 + -1744/11. Which is smaller: r or 1?
r
Suppose -6 - 6 = -2*t - 2*l, 5*t = -2*l + 18. Let h = 6830/7 - 973. Let i = h + -3. Is t at most as big as i?
False
Let q(a) = a**3 + 11*a**2 + 10*a. Let r be q(-10). Which is bigger: -2/87 or r?
r
Let p = -33 - -34. Which is smaller: 0 or p?
0
Let z = 3 - 2.8. Let t = -0.3 + 0.4. Let d = t + -1.1. Which is smaller: d or z?
d
Let n be 2/(-3) + (-8)/6. Suppose 0 = -5*x + s + 6, -4*x + 2*x + 5*s - 16 = 0. Let u be 6/(-9) - x/24. Are u and n equal?
False
Let p(b) = -b - 8. Let x be p(-13). Suppose -1 = -m + x*r, 3*m - 5*r = m + 2. Are m and 1 unequal?
False
Suppose -32 - 8 = -2*k. Suppose -4*f + k = f. Suppose -2*i + f + 0 = 0. Which is smaller: i or 1?
1
Let a = 21.8 - 20.8. Which is greater: -105 or a?
a
Let k = -7 - -14. Which is smaller: 2/3 or k?
2/3
Suppose 5*i + 11 = -3*a, -4*a - 31 = -9*a + 4*i. Let b be (-4)/a*(-9)/(-42). Which is greater: b or 1?
1
Suppose 0 = 3*a - 6*a - 9. Let n = a - -1. Suppose 5*k = 6*w - 11*w - 20, 3*w - 4*k + 5 = 0. Do n and w have the same value?
False
Let k(g) = 7*g - 6. Let o(w) = 6*w - 5. Let p(y) = -3*k(y) + 4*o(y). Let q be p(-2). Let m = 4 + q. Is m greater than -3?
False
Let h be 1/(-5) - 78/(-90). Do 0 and h have the same value?
False
Suppose -2*f = 2*f. Suppose -4*y + y + 9 = f. Suppose 2*h - y*h = 1. Which is bigger: 1/7 or h?
1/7
Let n = -6 - -4. Which is greater: -6 or n?
n
Let x = -1 + 0. Let c = 4 - 2. Let h be (2 - c)/(-3)*-1. Is x bigger than h?
False
Suppose 2*x - 11 = h, -x + 26 + 47 = -5*h. Is h less than or equal to -0.1?
True
Let o be (-2 - (-58)/28) + 0. Let f = -7 + 6. Which is bigger: o or f?
o
Let i(t) = -t**3 - 7*t**2 + 9*t + 8. Let l be i(-8). Let k be (8/78)/(4/(-6)). Which is bigger: k or l?
l
Suppose 0 = 4*m + 264 + 40. Let i be (-7)/(1 + m/71). Let l = i + -99. Which is bigger: -0.1 or l?
l
Let a = 3.8 - -22.2. Which is smaller: -1 or a?
-1
Let k be 9568/(-1911) + 7 + -2. Does k = 0?
False
Let a = 6 - 3. Is a at most -3?
False
Suppose 3*p + 42 - 150 = 0. Do 33 and p have the same value?
False
Let m = 4 + 0. Let z be (-4 + 2)/(-2) - m. Is z less than -1?
True
Let r be (-6)/5*10/14. Which is greater: r or -1?
r
Let z = 2/321 - 446/2889. Is 1 > z?
True
Let q = 8301/19 - 437. Is 2/3 greater than q?
True
Let l be (-302)/(-10) - (-4)/(-20). Let o be l*(1 + 66/(-70)). Does o = 3?
False
Let h be 5/40*-4 + 2/(-4). Is -2/3 != h?
True
Let r = -46 + 42.9. Let z = r + 3. Let m = 0.1 + z. Is m >= -6?
True
Let u be ((-3)/(-2))/(12/(-32)). Let v = u + 6. Let q be 4/(-3)*(-9)/v. Is q != 6?
False
Let d(q) = 2*q + 5. Let n(i) = -2*i - 4. Let x(l) = -3*d(l) - 4*n(l). Let f be x(2). Suppose -4*p = f*y - 16, -6 + 2 = -y. Which is greater: -2 or p?
p
Let h = -0.06 + 0.07. Let c = h - 1.01. Which is smaller: 3/4 or c?
c
Suppose -4*x + 2*x + 3*n = 16, 0 = x + 5*n - 5. Does -5 = x?
True
Let a(j) = j**3 - 8*j**2 + 7*j - 1. Let c be 8 + (-4)/(-4)*-1. Let b be a(c). Let h = 1 + -1. Which is smaller: b or h?
b
Let w be 4*1/2*(-14)/28. Do 1/37 and w have different values?
True
Suppose 10*i + 820 = -0*i. Is i less than or equal to -82?
True
Suppose 4 = -8*t + 44. Which is smaller: 8 or t?
t
Let y(t) = -t**3 - 4*t**2 - 2*t + 2. Let u = 9 + -11. Let o be y(u). Which is greater: 4 or o?
4
Let l = -3 + 3. Suppose -2*p - 2 + l = 0. Let v = -2 + p. Are v and -3/2 equal?
False
Let c be (-5)/40 + 391/(-8). Which is greater: c or 0?
0
Let z = -11 + 15. Let q(t) be the first derivative of -t