-2)/8). Which is bigger: -2/7 or u?
u
Let q be 0*(-4)/(-16) + 0. Which is smaller: 7/15 or q?
q
Suppose 3*c - 7*c = 120. Let o = c + 55. Is 24 smaller than o?
True
Suppose 282 = -6*q + 1470. Suppose 0 = 3*r + q - 195. Which is smaller: -2/81 or r?
r
Let j(t) = -t - 3. Let o be j(-5). Let m = 39 + o. Which is smaller: m or -1/2?
-1/2
Let q = 420880887/3170 + -132770. Let h = q + 74059/1902. Let u = h - 39. Which is smaller: 1 or u?
u
Let y = -0.0142 + -0.1858. Is y less than 7?
True
Let n = -19.8 + 20.5. Which is smaller: 1.8 or n?
n
Let i = 63.23 + -63.3. Do -5 and i have the same value?
False
Suppose -6*a + 7*a - 27 = 5*f, -f - 3 = a. Is a less than or equal to 11/8?
False
Let s be -63 + 0 - (26 - 24). Is -66 >= s?
False
Let r = -42 + 44. Let k = 1.3 + 0.7. Let q = k + -5. Is q < r?
True
Let h be 24/(-2)*(-18)/12. Which is smaller: 20 or h?
h
Suppose 4*l + 5*o - 11 = 5, 5*l = -4*o + 11. Let z = 82788/13 - 6368. Is z less than l?
False
Let h be (2 - (2 - 10/200))*3*-2. Let k = 0.8 - -2.2. Is h at least as big as k?
False
Let q = -2596.62 - -2573. Let j = 7.66 + q. Let k = 16 + j. Is 1 < k?
False
Let a = 135 + -1756/13. Let h(i) = -i + 14. Let o(q) = -13*q. Let d be o(-1). Let s be h(d). Which is greater: s or a?
s
Let m = -58.6 + 58.542. Which is smaller: -1 or m?
-1
Suppose 5*y - 183 = -h, 2*h + 2*y + 2*y - 396 = 0. Let q be ((-24)/h)/(6/(-8)). Is 6 less than or equal to q?
False
Suppose 0 = x - 3*x + 4. Let m = 113/2 - 54. Is m at least x?
True
Let q = 38 - 39.16. Let j = q + 0.06. Let g = 1 + j. Which is smaller: g or 3?
g
Suppose -4*h = -0*h - 8. Suppose -5*j = -1 - 9, 0 = 5*d - 2*j - 16. Let c be 2*d/(-14)*-3. Is h at most as big as c?
False
Let o = 26 + -25.81. Let r = -0.28 + o. Let x = r - 0.11. Which is bigger: -3 or x?
x
Let i be (3 + -5)/((-7)/(-2)) - (-33)/70. Let q = 0.4 - 0.3. Let m = q + 0. Is m equal to i?
False
Let f = 19.027 + -19. Let c = f - 5.227. Let v = 5 + c. Which is bigger: v or 1?
1
Suppose 3*n - 4*c = -2, -3*n - 2*c = -5*c. Let j(t) = 2*t**3 - t**2 + t - 3. Let q be j(3). Let x be (-24)/q*15/(-6). Is x equal to n?
False
Suppose g = 3*g + 14. Let q = -3 + g. Let m = -10 - q. Is m less than or equal to 0?
True
Suppose 0 = 11*h - 9 - 13. Let i = h - -21. Is 24 greater than i?
True
Let i be (-82)/(-4) - (-1 + 5/10). Which is smaller: i or 31?
i
Let m(h) = -50*h**3 + 2*h**2 - 4*h + 2. Let i be m(1). Let r be (i/4)/((-9)/(-54)). Is r smaller than -74?
True
Let h = 12.18 + -12. Let j = h + 0.82. Is j < -17?
False
Let o = -103921/33 - -9353/3. Is -31 less than or equal to o?
False
Let v be 60/(-80) - 1/4. Which is smaller: -1/174 or v?
v
Let x be ((-20)/25)/(4/(-30)). Let d be x*3*(-2)/246. Which is bigger: d or 0?
0
Let w = 0.1 - -8.9. Let m = -8.6 + w. Let c(l) = l**2 + 5*l - 3. Let d be c(-5). Is m at most as big as d?
False
Suppose 6*l - l = s - 14, 0 = -2*s + 4*l + 16. Let r = 151 - 145. Is s less than r?
True
Let x be 510/(-100) - 1/(-10). Let n be (-5 - (x + 3))*2/64. Is 1 bigger than n?
True
Let q = 177/2 + -84. Which is smaller: q or -19?
-19
Let f = -149 - -145. Which is smaller: f or -0.1?
f
Let h be (6*2/(-105))/(462/15). Which is smaller: 1 or h?
h
Let k = 1/140 + 121/2660. Suppose 0 = -54*s + 44*s + 10. Is s < k?
False
Let s(j) = 7*j + 52. Let i be s(-20). Let p = i - -87. Is 2/117 > p?
True
Suppose -25*z - 33*z = 58. Let c be (1 - 0)*(-4)/(-18). Are z and c equal?
False
Suppose -5*f = -4*a + 3 + 49, -3*f + 20 = 4*a. Let g be 685/(-20)*a/6. Let j = g + 46. Which is bigger: j or 0?
j
Suppose 29*u = -28*u + 1197. Suppose 0 = -2*k - g + 45, -65 = -3*k - 2*g + g. Is k less than u?
True
Let u = 32 - 17. Let f = u + -7. Suppose -5*z + 60 = 5*r, -3*r + 2*z = -z - 12. Is f at least as big as r?
True
Let u = -52 - -83. Suppose -5*x = -u + 1. Suppose 2*q = x*q. Are -1/9 and q equal?
False
Let g(l) be the second derivative of -l**4/12 - 2*l**3/3 + 5*l**2/2 - 10*l. Let f be g(-5). Is -2/13 greater than f?
False
Let r = 1.102 + -2.22. Let c = r + 0.018. Is 0.1 smaller than c?
False
Let q = 26 + -14. Let h be (3/(-6))/(1/q). Is -4 at most as big as h?
False
Let l = -51 + 52.08. Let g = -2.1 + 3.2. Let k = l - g. Which is smaller: -2/5 or k?
-2/5
Suppose 5*w = 25, 3*q = -q - 4*w + 8. Let n be q/(-24) + 10/48. Let l = 12.8 - -1.2. Is l at most as big as n?
False
Let s(i) = i**3 - 17*i**2 - 18*i - 3. Let t be s(18). Let p be t - (4 - (6 + 2)). Which is smaller: p or 7/10?
7/10
Let d = -59 - -59. Let a be 2 + -2 + 3/(-42). Which is bigger: d or a?
d
Let q(i) = i**3 - 7*i**2 - 6*i + 80. Let g be q(5). Let d = -11/9 + 469/369. Which is greater: g or d?
d
Let x = -0.0163 - 15.9837. Which is smaller: 1 or x?
x
Suppose 81*v - 2*z = 76*v + 960, -5*v + 3*z = -960. Which is bigger: v or 194?
194
Let v = -127.1 - -127. Suppose o + 3 = 2*o - 5*z, 0 = 2*z. Let q be -8*((0 - 2) + o). Is v >= q?
True
Let h = -77 - -118. Let y = -85 - -87. Is h != y?
True
Let n = 83.05 + -82. Let j = n - 47.05. Is j not equal to 0?
True
Suppose 4*s = -s - 4*b - 13, -s + 5*b = -9. Let k = 2/55 - 113/1595. Is s <= k?
True
Let k be (-8)/12 + (-22)/3. Let v(t) = t**3 + 8*t**2 + 1. Let f be v(k). Suppose -f = 2*m + 1. Is m >= 0?
False
Let c(g) = g + 4. Let u be c(-7). Let y(v) = v**2 - 2. Let r be y(-3). Suppose -r*d - 13 = -6. Is u smaller than d?
True
Let d(j) = -8*j + 44. Let g be d(6). Let s = -81 - -41. Let r be 84/s + (-4)/10. Does r = g?
False
Suppose 4*l = -0*l - 296. Let v be (-4 - l)/(0 - -1). Let g = 218/3 - v. Which is smaller: g or 3?
g
Let h = -0.422 + -0.578. Are -0.276 and h nonequal?
True
Suppose -5 = -2*w + 3*m, w - 4*m = -5*m. Do w and -4 have different values?
True
Let v = 0 + 1. Let l = 1/1472 + -1527/80960. Which is bigger: v or l?
v
Let h = -37 - -41. Let q be (1308/(-330) + h)*(40 - 0). Do q and 1 have the same value?
False
Let a = -12601/1988 + 15/284. Let b = 125/21 + a. Is -7 <= b?
True
Let v = -45/2 + 161/6. Let w = v - 17/3. Which is smaller: -2 or w?
-2
Let o = 1027 - 2045. Which is bigger: o or -1019?
o
Let v = -14/75 - -1/50. Suppose 3*x + 2*t - 6 = 0, x = -2*x - 5*t + 15. Do x and v have the same value?
False
Let g be (-385)/(-154)*2*15. Is g smaller than 75?
False
Suppose 0 = 63*m - 38*m - 100. Do 0 and m have the same value?
False
Suppose 4*l - 2*m = -34, -m + 0*m + 41 = -5*l. Let i be 2/l - (-14)/(-8). Let f be ((-9)/(-126))/(i/8). Which is smaller: f or 0?
f
Let h(i) = i**2 - 7*i + 7. Let d be 26/5 - 20/(-25). Let q be h(d). Which is smaller: 3/4 or q?
3/4
Suppose -52*y + 39*y + 13 = 0. Which is bigger: y or 2/415?
y
Let m(x) = -x**2 + 17*x - 40. Let g(l) = -2*l**2 + 26*l - 60. Let b(a) = -5*g(a) + 8*m(a). Let c be b(-5). Is c >= 66?
False
Let f = 27.8 + 40.2. Which is bigger: f or -1?
f
Let w = -94 + 10. Let o = -86 - w. Which is smaller: o or 5/4?
o
Let v(r) = r**2 + 4*r + 5. Let d be v(-4). Let w = d - -2. Suppose l - w = -3*y, y + 5*l - 34 = -13. Is y equal to 2?
False
Let f(l) = 32 - 8 - l**2 - 4*l + 15*l. Let z be f(10). Is z > 34?
False
Let n be (3 - (2 - 0))*-2. Let u be 190/30 - (-2)/(-6). Let x = u - 9. Which is bigger: x or n?
n
Let l = 4/423 + -1841/846. Which is bigger: 1 or l?
1
Let w be (1 + 0/(2 - 3))/(-1). Is -8/71 greater than w?
True
Suppose 2*l = 2 + 20. Suppose 0 = 6*k - l*k - 90. Is -18 smaller than k?
False
Let x = 39 - 36. Suppose -75 + 72 = x*p. Which is bigger: -2 or p?
p
Let g = -2.1 - 16.9. Let i = g + 19.2. Let k = -3.2 + i. Is k <= 6?
True
Let q = 368355/7 + -52525. Which is bigger: 1 or q?
q
Let s = -10.3 - -10.1. Which is bigger: s or 4?
4
Let t = -244 + 931. Is 688 at most as big as t?
False
Suppose 5*f - 383 = 3*d, -4*f + 2*d + 154 = -2*f. Is 74 bigger than f?
False
Let s = -670 - -1339/2. Let w = -7 + 7. Suppose f + 3*f = w. Which is bigger: s or f?
f
Suppose -n + 4*n - 12 = 0. Suppose 0 = -2*j + n*i - 26, -27 = 4*j - 3*i - 0*i. Which is smaller: -1/5 or j?
j
Let f be (-10)/(-30) - (-374)/(-6). Which is smaller: -61 or f?
f
Let r be 3*(-83)/(-3) - 0/1. Is r > 82?
True
Let k be -2 + (-2 + 8)/2. Let v be 1 + 0 - 47/(-8). Let m = v + -7. Which is bigger: m or k?
k
Let f be 322/246 - (-24)/(-18). Is f >= 1?
False
Let n be 150/1860*(26 + 0). Are n and 1 non-equal?
True
Let o(k) = -2*k**3 + 27*k**2 + 15*k - 7. Let i be o(14). Suppose -11*p = -15 - i. Which is greater: 14/9 or p?
p
Suppose -2*z