e (43780/6252 + -7)/(-2). Which is smaller: d or 0?
d
Suppose 0 = f + f + 6. Let v(r) = r**3 + r - 1. Let a(t) = 4*t**3 + 3*t**2 + 4*t - 1. Let s(q) = a(q) - 5*v(q). Let i be s(3). Which is smaller: i or f?
f
Let o be (1 + 0)/((-48)/(-18)). Suppose -2*j + 3*q + 2 = -0*j, -16 = -2*j - 4*q. Suppose -1 = -3*d - j. Is d greater than or equal to o?
False
Let b = -26 + 22.2. Let s = b + -0.2. Suppose -2*z = 5*r + 9, 4*z - 3*r - r = -4. Which is smaller: s or z?
s
Let b(g) = -g**3 - 9*g**2 + 2*g + 13. Let c be b(-9). Let p = c - -16. Suppose -p*y + 6*y = 55. Is -11 at most as big as y?
True
Let h = -11 + 22. Let r = h - 8. Which is bigger: -10 or r?
r
Suppose -17*c = -21*c + 4, 2*c + 787 = 3*g. Which is smaller: g or 265?
g
Suppose 3*w + 9 = -3*s, 2*w = 10*s - 9*s + 6. Which is smaller: w or -26/77?
-26/77
Let p(i) = 6*i**2 + i - 63. Let m be p(0). Which is smaller: -61 or m?
m
Let j = 2 - -24. Let z be (-1)/(-4)*24/j. Let v = 22/39 - z. Is 1 greater than or equal to v?
True
Let v = 0 + -8. Let x(w) = -w - 8. Let m be x(v). Is -0.1 > m?
False
Let s(l) = 3*l**2 + 4*l + 5. Let h be s(-3). Let n = -18 + h. Which is greater: 9/5 or n?
n
Suppose -2*j - 105 = 3*q + 104, -4*j + 8 = 0. Let g = q - -72. Is g at most as big as -1/76?
False
Let b(a) = a**2 + 2*a + 2. Let v be b(-1). Let u be v*31*(-2 - -3). Is u at most 30?
False
Suppose -14*u + 12 = -12*u. Suppose 2*m + u - 12 = 0. Suppose 0 = m*f - 5*f - 16. Is -8 < f?
False
Let y = -45 - -39. Let d be (1 - 1)/((-12)/y). Is d bigger than -80?
True
Let r = 0.02 - 0.05. Let w = -0.07 + r. Let d = -15 - -15. Which is bigger: d or w?
d
Let y(v) = v**2 + 78*v + 363. Let l be y(-5). Let j be (0 + 4)*(-9)/(-2). Let d be 1/(-3) + (-22)/j. Which is greater: d or l?
d
Suppose -2*o = 191 - 61. Let k be -3*((-8)/3)/4. Let f be o/(-15) - (2 + k). Is -0.1 greater than or equal to f?
False
Suppose -r - x = -4*r + 2, 4*r = -3*x - 19. Let f(s) = s**2 - 7*s - 2. Let a be f(7). Is r >= a?
True
Let y(s) = -s**3 - 5*s**2 + 6*s - 2. Let u be (3 + -2)/((-5)/(-10)). Suppose -5*o + 5*p = -5 + 45, 0 = 3*o - u*p + 22. Let d be y(o). Which is smaller: d or -3?
-3
Let k = 0.191 - -81.809. Let d = 77 - k. Is d bigger than 4?
False
Let n = -2359/496 - -130/31. Which is greater: -1 or n?
n
Let d be 0/(-2 + -1) + -7. Let p be 3 + d + 92/22. Are p and 0 non-equal?
True
Let n be (-4)/(-48)*-4 + (-98)/(-6). Let i = -5 - -21. Suppose -4*a - n = -s, s - i = 3*s + 4*a. Is s greater than -1/16?
True
Suppose -b = u - 5, -4*b + 3 = -b - 3*u. Suppose 0 = b*z - 109 + 43. Is 26 <= z?
False
Suppose -3*o + 509 = 710. Is 2 greater than o?
True
Let u = 56.84 - -1.16. Let c = -58.1 + u. Which is smaller: 1 or c?
c
Let l be (288/56)/(-6) + 2584/(-28). Which is smaller: l or -92?
l
Suppose -3*g - i = -3, 2*g + 14*i - 1 = 13*i. Let s be 381/(-665) + 2/5. Let b = -6/19 - s. Is g <= b?
False
Let b = 0.0386 - 1.0386. Is b greater than -12/37?
False
Let f be (-4)/(-20)*2*(5 + 30). Which is bigger: f or 9?
f
Let l(m) = -m**2 + 11*m + 5. Let u be l(11). Suppose -3*r = z - 8*r - 1, -u*z = r - 5. Let x = -103/770 - -3/70. Is x equal to z?
False
Let w(y) = -y**3 + 2*y**2 + 4*y - 1. Let v be (15/10)/((-4)/(-8)). Let u be w(v). Which is greater: u or 3/4?
u
Let l be (-2)/2*1*1. Suppose 2*g - 20 = w, 0*g - w = -3*g + 30. Let z = -211/21 + g. Is z equal to l?
False
Let w be (99084/(-368))/((-6)/(-8)). Which is bigger: w or 2?
2
Suppose 2*d = 2*i + 44, -66 = -0*i + 3*i + 3*d. Let y = 43 + i. Suppose x - 7 = -k - 1, -3*k + y = 4*x. Which is bigger: 1 or k?
k
Suppose 2*z + 5*t = 25 + 4, 0 = z + 4*t - 22. Let v be (3/1)/(z/8). Let u(w) = 10*w**3 - w**2 + 2*w - 1. Let o be u(1). Are v and o equal?
False
Let y be 0*(2 + 9/(-6)). Let k be 9/(-15)*(-4)/(-3). Which is smaller: k or y?
k
Suppose 0 = g + 2. Let j = -8 + 7.7. Which is smaller: j or g?
g
Let s = 268 - 10721/40. Is 0 smaller than s?
False
Let o = -0.056 - -0.536. Let m = 0 - 0.02. Let p = m - o. Which is bigger: 0 or p?
0
Let t(h) = -h**2 - 4*h. Let p be t(-4). Let j be (-7)/294*-6*-1. Does j = p?
False
Let u(g) = -g**3 + 3*g + 2. Let m be u(-1). Is -2/583 smaller than m?
True
Let x be (32/(-24) - -2) + (-156940)/33. Let g = 4752 + x. Which is greater: g or -3?
-3
Let c be ((-15)/(-10))/(-3*(4 + -2)). Which is smaller: c or -36/17?
-36/17
Suppose 2*v + 5*y = 45, 3*y = -0*v - 4*v + 55. Which is bigger: v or 1?
v
Let y = -50.012 + 50. Let j = -0.088 + y. Which is bigger: j or 2/19?
2/19
Let h = 0.05 - 35.25. Which is greater: h or -0.2?
-0.2
Let r(g) = g**2 + 2*g - 2. Let a be r(2). Suppose -3*x + a*x + 51 = 0. Which is smaller: -16 or x?
x
Let s = -2/21359 + -2605708/961155. Let r be -87*(-2)/(-90) + 4/(-6). Let l = r - s. Does 0 = l?
False
Let x = 474 + -469. Which is smaller: 2/13 or x?
2/13
Let m = 6 - -3. Suppose m*o = 7*o - 2. Let r = -803 - -23289/29. Which is smaller: o or r?
o
Let c = -171 + 3421/20. Let w be ((-24)/(-60))/((-162)/30 + 5). Is c <= w?
False
Let q = 5.31 - 30.31. Let t = 2 - 1.9. Which is bigger: q or t?
t
Let b = 345 - 639. Which is smaller: b or -0.1?
b
Let c = -1689 + 28824/17. Which is smaller: 6 or c?
6
Let k = -8 - -1. Let l = 5.2 - 32. Let i = l + 27. Are k and i equal?
False
Let j be (18/(-408))/(9/(-24)). Suppose 3*c + 3*g = -9, 3*c + g - 5 = 5*g. Are j and c equal?
False
Suppose -p + 4*l - l + 3 = 0, -5*p - 2*l - 2 = 0. Let t be (-2)/4*(5 + -5). Suppose 3*u + 2*u + 10 = t. Which is bigger: u or p?
p
Let b(a) = -3 - 9 + 3*a - 11 - 10. Let v be b(14). Do v and 10 have the same value?
False
Suppose 0 = m + m - 5*y - 30, 4*m = 3*y + 32. Suppose 10*w = 6*w + 56. Let s be (16/(-14))/((-15)/(735/w)). Is m bigger than s?
True
Let n(d) = d**3 + 7*d**2 + 4*d - 6. Let s be n(-6). Let p be (7 - 3)/(s/3). Suppose p*w = 5*x + 1 + 2, 0 = 5*x + 5*w - 25. Is x > 1/26?
True
Let h(i) = -i**2 + i + 6. Let k be h(-2). Suppose -3*n - 5*d + 19 - 6 = k, -4*n = 2*d - 8. Is -2 at most as big as n?
True
Let q be (6/104)/(-21 + 18). Do q and 0 have the same value?
False
Let q be (49/(-14) - -4)/((-2)/24). Let p be 3/q - (465/(-306) + 1). Is 0 smaller than p?
True
Let b(q) = q + 3. Let i = -22 + 18. Let z be b(i). Let l be (5 + -2 + z)*-2. Is -2 greater than l?
True
Let r(i) = i**2 + i + 1. Let z be r(-4). Let c = z + -5. Suppose -2*g - y - 2 = 0, 3*g + 3*y - 2 + c = 0. Is 0 less than g?
False
Let p(d) = 3*d**2 - 2*d - 2. Let a be p(3). Let g be 1/(-3) - 4/(-12)*55. Do a and g have different values?
True
Let t(v) = -20*v - 280. Let d be t(-14). Which is greater: 1/70 or d?
1/70
Let q = 3543/5 + -711. Let n = 1.314 + -1.214. Is q smaller than n?
True
Let p = 45.8 - 81.7. Which is smaller: p or -1/2?
p
Let c be (-39)/52 - 778/8. Let v = 11 + c. Is v > -88?
True
Let f = 307 - 274. Which is smaller: -1 or f?
-1
Suppose -3*j - 345 = 3*m, j + 461 - 1 = -4*m. Which is greater: m or -116?
m
Suppose 5*p - 13 = -3*u + 7, 20 = u - p. Let m be (u/(-6))/(3/(-18)). Let k = m + -17. Which is smaller: 3 or k?
k
Suppose 2*n = 5*t + 147, -2*t - 5*n + 2*n - 74 = 0. Is t smaller than -32?
False
Let h = -5014 - -4981.03. Let v = h + -0.03. Let m = v + 32.9. Is -0.07 at least m?
True
Let o = 0 - -0.39. Let k = 0.39 - o. Is k at most as big as -9?
False
Suppose 0*p + 28 = -4*p. Let i be (-21)/(3/(-1))*-1. Do i and p have the same value?
True
Let o be (2/6)/(1/3). Suppose 2*u - p = -14, 5*u = 2*p - 5*p - 35. Let l be (2/3)/(u/(-42)*2). Which is bigger: l or o?
l
Suppose -3*i = -5*z + 15, -3*z + 4*i = -0*z + 2. Suppose 2*p = 6*p - z*p. Let n = -5/189 + -7/27. Which is greater: n or p?
p
Let o = -118 + 146. Does o = 29?
False
Let d be 2*-1 - (-4 - (-38576)/30124). Let q = 6/443 - d. Which is bigger: 0 or q?
0
Let w be (-6)/((-4)/8*6). Suppose -4*z = -3*z + w. Which is smaller: z or -1?
z
Let g be 2/4 - 48/32. Is g != 2/23?
True
Suppose -7*j = -3*j - 2808. Let c be (-5 - -1) + (-6972)/j. Let w = -124/9 - c. Is w smaller than 1?
True
Suppose -4*b = b. Let d(u) = -u**2 - u + 45. Let n be d(b). Suppose -4*v = v + n. Is v at most -9?
True
Let z be (-2)/3 + 24*20/(-1575). Which is bigger: z or 0?
0
Let j = -25 + 54. Let t(m) = 66*m - 725. Let x be t(11). Which is smaller: j or x?
x
Let g be 60/(-12) - (-4 - -337). Is -337 bigger than g?
True
Let z be 2/5 - 1272/(-60). Let l = z + -329/15. Let w = 1 + -2. Which is smaller: l or w?
w
Let p = 252 