: o or q?
o
Suppose -10 = 2*a, 190 = 3*q - 58*a + 53*a. Which is smaller: q or 5?
5
Let u(v) = v**2 - 10. Let d(s) = 2*s**3 - 2*s**2 - s - 2. Let x be d(2). Let l be u(x). Suppose l*w + 6 = -0*w. Which is smaller: -1/8 or w?
w
Let k = 0.205 + -0.095. Which is bigger: -4 or k?
k
Let o be 0 - (22/28)/(1/654). Let j = o - -513. Which is greater: 4 or j?
4
Let k be (4/(-5))/(3/(-495)). Is 130 less than or equal to k?
True
Let m = 35.936 + 0.064. Let g = m + -34. Which is greater: g or -1.7?
g
Let q = 164/411 - -2/2055. Which is greater: -2/17 or q?
q
Let j = 0.8 - 1. Let w(i) = -i**2 + 4*i + 21. Let y be w(11). Let a = y + 52. Which is smaller: a or j?
a
Let n be (10/(-15))/(2/(-6)). Let l be 5 - -1*(n + -5). Let d be l/(-14) - (-2)/14. Is d <= -1?
False
Let k be 15/(-51)*(112/180)/14. Let t be (4/6)/(2/3). Which is smaller: t or k?
k
Let n = 10 - 15. Suppose 6*j + 0*j + 36 = 0. Which is bigger: j or n?
n
Suppose f = 5*f + 16. Let g = 7 - 15. Let z = g - -7.9. Is f smaller than z?
True
Let r = -84 - -78. Let g(i) = 9*i + 38. Let f be g(r). Which is greater: f or -15?
-15
Suppose -f + 3*o + 2 = 0, 3*f + 3*o = -f + 8. Suppose 67 = 2*x + 27. Suppose -2*w = f*w - x. Is 4 <= w?
True
Let t(x) = -83*x - 587. Let h be t(-10). Is 241 bigger than h?
False
Let q = 2 + -3. Let j be (-60)/(-80) - (-34)/8 - 4. Suppose -101 = 5*b - 2*d, 5*d + 11 - j = 0. Are q and b nonequal?
True
Suppose -4*u - 7*r - 164 = -2*r, -r - 134 = 3*u. Let p be 1/(u/4) + 0. Is p not equal to 1?
True
Let z be -1*(-1)/(-2)*0. Suppose -4*q + 100 = -4*v, -v - 4*v + 127 = 4*q. Let w be q/36 - (-3)/(-9). Which is smaller: z or w?
z
Let g = -5/13 + 71/117. Suppose -4*b = -8, 0 = 5*u - b - 11 - 7. Suppose -1 = -u*h + d - 0*d, -5*h + 3*d + 10 = 0. Is h equal to g?
False
Let f = 875 - 757. Are -5 and f equal?
False
Suppose 0 = 2*s - s. Let z be (11 + -9)*15*29/2. Let g be (-30)/50 - (-3)/(z/92). Which is smaller: g or s?
s
Let s = -0.23 + 0.37. Which is smaller: -2 or s?
-2
Let r be (75/3)/(2/6). Suppose 7*z + r = -16. Is -14 at least z?
False
Let j be -18 + 12/18*9. Is j equal to -12?
True
Let r be (-6)/6 - (2 - 1) - -2. Suppose 4*h - 15 = -4*m + m, 5*h = 2*m - 10. Suppose -2*c + h*c = r. Is -1/9 at least c?
False
Let t = -1129 + 1330. Are t and 200 equal?
False
Let q = 41 - 67. Let n = -30 - q. Let u(r) = -3*r + 5. Let w be u(3). Do n and w have different values?
False
Let q = 0.64 + 0.1. Let o = q - 0.45. Are 1/2 and o unequal?
True
Let y be 6 + (-5)/(5/34). Do -146/5 and y have the same value?
False
Let y(l) = -2*l + 2*l - 6 + 3*l. Let z be y(4). Suppose 8*s = -793 + 833. Which is smaller: z or s?
s
Let m = -24.77 - 0.23. Let v = m + 25.4. Which is smaller: -2 or v?
-2
Suppose -2*o + 0*o = 0. Suppose b + 2 + 1 = 0. Let a be (-156)/(-18)*b/(-2). Is a less than o?
False
Suppose 0 = -a + 4, 12*m + 2*a = 14*m + 90. Which is bigger: -39 or m?
-39
Let s = -285 + 5413/19. Let v(o) = -o**3 + 3*o**2 + 10*o + 5. Let d be v(5). Suppose 0 = -2*y + k - 0*k + 2, d*k + 19 = y. Is y at most as big as s?
True
Suppose 16*x + 280 = 728. Does x = 30?
False
Let s(z) be the second derivative of 5*z**4/4 - z**3/6 + 2*z. Let q be s(1). Let d be 8/12 + q/6. Which is smaller: 2 or d?
2
Suppose -38*t + 1674 = 268. Let g(n) = n**2 + n + 6. Let z be g(5). Which is smaller: z or t?
z
Suppose -6*i + 236 = -310. Suppose 5*v - i = -86. Which is bigger: v or -0.71?
v
Let w = -979879/398 - -2462. Do w and 1 have the same value?
False
Let o(n) = -15*n**3 + 14*n**2 - 6*n + 7. Let v be o(1). Let i = 7078/19 + -234236/513. Let j = i + 84. Do v and j have different values?
True
Let i = 139 - 140. Is i smaller than 105?
True
Suppose 5*p + 677 = -j, 6*p - 2*p + 3*j + 546 = 0. Which is smaller: p or -136?
-136
Let g = 87 + -83. Let u = -0.04 + 0.04. Is g at least u?
True
Suppose 0 = -s - s. Suppose s*k - k = -8. Let u be 3/(-20) - 2/k. Which is greater: u or 0?
0
Suppose t + 11 = -3*v - 0*t, v - 3*t - 3 = 0. Let b be -25 + (-8)/(-2) - v. Let y = b - -17. Which is bigger: y or 20?
20
Let b(x) = -25*x + 474. Let y be b(19). Is y < -1/401?
True
Let s = -411 + 412. Which is greater: s or -6/193?
s
Let v(s) = s**3 + 10*s**2 + 8*s - 7. Let g be v(-9). Let l be 144/30 - (g - -1). Suppose -19*r + 33 = 14. Which is smaller: r or l?
r
Let f be (-4)/(-6) + 1357/(-69). Let y = f - -22. Suppose -a = 4*c, -5*c - 2*a + y = -0*a. Are c and -6/13 unequal?
True
Suppose -2*s + s = 0. Let t be (2/8 - s)*(-8)/26. Is t <= -1?
False
Let a = 1067/16008 - 1/696. Which is bigger: a or -1?
a
Let u be ((-2042)/(-12))/(12/(-432)*-6). Is 1019 less than u?
True
Let j be 1855/60 - 3/(-36). Which is greater: j or 32?
32
Let l be 1 - 7 - 222/(-37). Is l at most -8/51?
False
Let c(h) = -2*h**2 + 2*h + 2. Let i be (0 + 24)*10/30. Suppose 0 = 2*u - 6*u + i. Let b be c(u). Is -5/2 bigger than b?
False
Let b = -4 - -4.08. Let j = b + -8.08. Let u = -8 - j. Are u and 0 non-equal?
False
Suppose 3*y + 11 = 71. Let c = 21 - y. Is -2/33 smaller than c?
True
Let g be (-8)/(-3)*12/8. Let d = -4 + g. Let r = 124/57 - 54/19. Are r and d nonequal?
True
Let i = -757 - -489. Which is smaller: 1 or i?
i
Let y be ((-60)/(-3) + 2)/(8/28). Suppose -11 = -4*a + 2*r + y, 5*r + 82 = 4*a. Is a at most 23?
True
Suppose 0 = -r + 5*r. Suppose -8*o + 3*o + 13 = 2*n, -4*o - n + 8 = r. Suppose -z + o = -1. Is z < 3?
True
Let u be 2/12*15669/12. Let g = u + -217. Which is smaller: 1 or g?
g
Let d = -16/7 - -19/7. Is 7/4 smaller than d?
False
Suppose -3*m = -4*w - m, -w + 2*m - 6 = 0. Suppose w*y + 1 = y. Let n be ((-2)/6)/((-12)/(-54)). Which is smaller: y or n?
n
Let k(d) = -2 - 3 + 3 - 6*d. Let r be k(-2). Let t(z) = -34*z - 601. Let b be t(-18). Which is smaller: b or r?
r
Let z = -3526/21 + 168. Let i be (-2 + 36/8)*2. Suppose -t - 5 = 0, -2*a + 4*t - 3 = i*t. Which is greater: z or a?
a
Suppose 9*q = 4*q - 5. Let n be -15*-1*(3 + -4). Let w be (3/n)/(12/20). Which is greater: q or w?
w
Let y = 1514 + -1469. Is y bigger than 44?
True
Suppose 2*f + 3 = -3*n + 1, 0 = 3*f + 3. Suppose 0 = -n*w + 5*w + 30. Is w >= -24/5?
False
Let m = -18.6 + 19. Let z = -3.6 - m. Let y = 3 + z. Do -3/5 and y have the same value?
False
Let i = -1.14 - -1.04. Is -2/111 at least as big as i?
True
Let i = 444/5 - 418/5. Are i and 6 unequal?
True
Let x = 280 - 265. Is -1 smaller than x?
True
Suppose 5*l - 3*u + 161 = 0, 3*l + l + 139 = -u. Are -30 and l non-equal?
True
Let q be (-1)/(3/9) + 9. Suppose t - q*t = -a - 7, -3*a = 6. Are -1/54 and t non-equal?
True
Let q be 5 + -1 + (2 + -1)/(-1). Suppose -5*x + 0*x = 15, 2*j - 17 = -q*x. Which is bigger: 14 or j?
14
Let l = 924 - 926.015. Let c = l - -0.015. Is 1 at least as big as c?
True
Let y = 31 - 31.48. Let g = -0.48 - y. Let p be (-2)/(-10) + 2/(-30). Which is smaller: p or g?
g
Let w = 143 + -146. Let k be (-3*w/(-45))/(2/(-15)). Is -5 at most as big as k?
True
Let u = 26 + -42. Let i = u - -20. Let b = 1 - 1.2. Is b at least as big as i?
False
Let l be (2/4)/((-5)/20). Let t = l + 3. Let u = -17 + 18. Is u smaller than t?
False
Suppose 4 = 4*y - b - 24, 2*b = -4*y + 16. Suppose -5*p = y*c - 4*c + 1236, 16 = 4*p. Let z = 11929/19 + c. Which is greater: 1 or z?
1
Let r = 26/53 + -631/530. Let g(q) = q**3 - 65*q**2 - 63*q - 199. Let p be g(66). Is r at least p?
True
Suppose -5*m - 3*c - 139 = 0, -4*m = 2*c + 120 - 10. Let v be 1/(1/(-2)*m). Suppose 2*y = -2*d - 2 + 4, 5*d = 3*y + 5. Which is greater: v or y?
v
Let r = 8691 - 8792.29. Let w = r - 1.71. Is w at least as big as 1?
False
Suppose 6*j + 10 = j. Let t be j/5 - (-13234)/(-65). Let a = t - -1838/9. Which is bigger: -1 or a?
a
Let s = 953 + -1044.9. Let k = 92 + s. Which is greater: 4/7 or k?
4/7
Let w = 1.6 + -7.6. Let o = 9735.9 + -9736. Which is greater: w or o?
o
Suppose 15*g - 39 - 171 = 0. Let b = 10723/727 - -1/2908. Is g less than b?
True
Let o be (-24)/(-21)*(-56)/(-16). Let n be (o - (-92)/(-6))/(-10) - 1. Is -3/4 at least as big as n?
False
Suppose -5*m + 11 + 3 = -2*y, 0 = 5*y - 3*m + 16. Let q = 0 - y. Which is bigger: 3/4 or q?
q
Let l = 0 - 5. Let z = -3 - l. Let f = -1.6 + 1.3. Is z <= f?
False
Suppose -150*k + 148*k = 18. Is -11 less than k?
True
Let t = -10 + 7. Let o = 50.44 - 0.44. Let p = -50 + o. Are t and p non-equal?
True
Let q = 80.1 - 97. Let v = q + 17. Let a = 2 + -1. Is a bigg