881 - -2.119. Which is greater: m or b?
b
Let r = 82.8 - 83. Which is smaller: r or 47?
r
Let a(q) = -2 + 3*q - 2 + 5*q - 7*q. Let r be a(-13). Is -17 less than or equal to r?
True
Let g = -467 + 470.07. Let f = g + -0.07. Do f and 2/7 have the same value?
False
Let s = -0.9 + 1. Let q = 79/7 + 106/21. Let x = -17 + q. Is s >= x?
True
Let l be (-8 - (-345)/42)/(72/28). Which is smaller: -0.042 or l?
-0.042
Let y be (-1)/(-1 - 0) + -1. Let s be 1*(11 - (y - 1)). Let f be (-2)/7 - s/(-21). Which is smaller: 1 or f?
f
Let l be (-26)/40 + 2/5. Let x = -1078/9 - -7564/63. Which is greater: l or x?
x
Suppose -d + 3*x + 17 = 0, -8*d - 4*x - 1 = -5*d. Which is smaller: -13 or d?
-13
Let z = 113 - 170. Which is greater: -56 or z?
-56
Let y = -16 + 17. Suppose 26 = x + x + 3*m, 48 = 4*x + 5*m. Suppose l = -2*q, x*l = -5*q + 3*l. Do y and q have different values?
True
Suppose 20 = 5*b - 3*l + 3, b + 5*l = -19. Suppose 2*t + 3*z = -5, -2*t - 50 = 2*t - 2*z. Let s(k) = -k**2 - 9*k + 12. Let v be s(t). Which is greater: b or v?
v
Let k = 45 - 135. Which is smaller: 0.2 or k?
k
Let q = 0.246 + -1.346. Which is smaller: 0.1 or q?
q
Suppose -p - 3 = 5*f - 21, 24 = 5*p + 3*f. Let n be 3 - 168/p*1. Let b be 3/4 + n/76. Is b not equal to 2?
True
Let i = -2.6 + -10.4. Let q = 53 + -65. Let f = i - q. Is f != -1/3?
True
Let q(n) = -2*n**3 + 20*n**2 + 24*n - 14. Let a be q(11). Let z be (-6)/(-27) - (-52)/9. Which is greater: z or a?
a
Let v = -2.1339 + 0.1339. Is 0.2 at most v?
False
Let r be ((-3)/2)/(36/(-48)). Suppose -91 = -r*z - 17. Do 37 and z have the same value?
True
Let h = 408 - 648. Which is bigger: h or -238?
-238
Let q = -603 - -624. Is 22 at most as big as q?
False
Let d = -457 + 248. Let n = -123826 - -1612457/13. Let k = d + n. Which is bigger: k or -0.3?
k
Let z = -4 + 6.5. Let y = -3.58 - -0.08. Let o = y + z. Are o and 3 equal?
False
Let l = -21129/3473201 - -6/5857. Are 1 and l non-equal?
True
Let t(n) = n**2 - 61*n - 278. Let c be t(-4). Let w be (-255)/12 - 2/(-8). Is w equal to c?
False
Let h = -24.26 + 0.26. Is -1.2 bigger than h?
True
Let r = -53 + 51. Let q be (r - -6) + (0 - 3). Let z be (-2 - -2)/(1*2). Which is bigger: q or z?
q
Suppose 3*u - 14 = -0*u + 2*n, 4*u - 2*n = 16. Suppose u*f = 7*f - 20. Suppose -3*l = z + 1, f*l = -5*z + 3*z. Which is smaller: -7 or l?
-7
Let n be (-3592)/(-6) + 12/(-18). Is 598 < n?
False
Let p = 1325 - 1326. Let b be (-2)/3 - (-256)/366. Is p equal to b?
False
Let o = -227 - -757/3. Is 26 equal to o?
False
Let b be ((-1)/5)/(1/(-7)) - 1. Suppose 2*p = 2, -4*p + 0*p + 1 = -3*f. Which is bigger: f or b?
f
Suppose 4*y - 1 = 2*i + 13, 3*y = 12. Is -4/87 < i?
True
Let j be 3*(7/(-3) + 2). Let k(y) = -y - 15. Suppose 0 = 2*p - 4 + 34. Let c be k(p). Which is greater: j or c?
c
Suppose -5*h = -6*h - 315. Let s be ((-1)/(-3))/(39*(-7)/h). Which is smaller: s or 1?
s
Let b = 40 + -44. Let g = 4 + b. Which is smaller: 2/53 or g?
g
Let g = -96 - -17. Let w = -78.7 - g. Are -1 and w unequal?
True
Let j = -7/104 - -3/8. Let u be -2 + -8 + 6/3. Let y(b) = -b - 8. Let q be y(u). Which is greater: q or j?
j
Let j = -57 + 56.03. Let s = 0.03 - j. Is -4/21 < s?
True
Let j = 1 + 2. Let w be ((-21)/406)/(j/4). Suppose -7*f + 13*f = -6. Which is bigger: w or f?
w
Suppose -4*l - 38 = -s + 46, -2*l = 4*s - 282. Let g = 74 - s. Is g at least as big as -9/5?
True
Let x = 229 - 61. Which is greater: x or -0.2?
x
Let x = 66 + -15. Suppose 0 = -5*l - x - 9. Is -45/4 less than or equal to l?
False
Let h(p) = 2*p**3 + 16*p**2 + 5*p + 40. Let y be h(-8). Which is bigger: y or 102?
102
Let b = 0.174 - 0.274. Which is smaller: 0.012 or b?
b
Let g be (-22 - 5)*(0 + -1). Let p be 66/135 + 3/g. Which is bigger: p or 1?
1
Let i = -22 - -25. Suppose 0 = -i*k + 3 + 3. Which is smaller: 7/4 or k?
7/4
Let h be 1/(-2)*2 + 4. Suppose 5*w + 5 - 17 = 4*o, -2*o = -h*w + 6. Suppose -1 = 5*p + 2*r + 18, w = -4*p + r - 10. Is -4 != p?
True
Suppose -4*u - 12 + 20 = 0. Let x be 8/u - 68 - 3. Is -69 at least as big as x?
False
Let g(n) = 5*n - 21. Let b = -22 + 27. Let r be g(b). Let a = -216 + 656/3. Is a at most as big as r?
True
Suppose -4*u + 5*u = 0. Are u and 129 nonequal?
True
Let t = -5 + 2. Let k = -14 + 25. Let a = -10 + k. Is t >= a?
False
Let f(n) = -35*n - 1. Let z be f(1). Let h = 15819/5 + -172019/55. Let l = z + h. Do l and 1 have the same value?
False
Let r = 8 - 12. Let o = r - -5. Let i = -0.16 - -0.06. Are i and o equal?
False
Let d = 1 - 1. Let i = -9793/3 - -3096. Let c = i - -167. Is d less than or equal to c?
False
Let h = -33 + 1. Let o = 9 - 41. Is h less than o?
False
Suppose 2 = -5*c + 17. Suppose 25 = 5*m, -3 + 5 = -c*a + m. Let t be (-49)/21 - a*-3. Is -0.2 != t?
True
Let t = 2/7293 + 60773/7293. Let z(j) = 3*j**2 + j - 1. Let i be z(-2). Which is bigger: i or t?
i
Let z(w) = -w**2 + 74. Let h be z(0). Let i = h - 1849/25. Which is bigger: i or 0?
i
Let i be (-90)/117*(1 - 2). Suppose 4*n + 9 - 17 = 0. Which is smaller: i or n?
i
Let a = 1416 + -1359. Is a > 4/3?
True
Let r = 16 + 52. Let w = r + -69. Let z be (-1)/(-2) + 2/(-8). Which is greater: w or z?
z
Suppose -258 = -12*q + 6*q. Let y = -38 + q. Is 5 at most y?
True
Let g(o) be the first derivative of o**4/4 + 5*o**3/3 + 3*o**2 - o + 16. Let v be g(-3). Let t = 6 + -10. Are v and t unequal?
True
Let a(o) = -o**3 - 4*o**2 - 2*o - 8. Let k be a(-4). Suppose 0 = 2*q - 4*r - 18, -q + 3*q - 3*r - 15 = k. Suppose 0*c - c + q = 0. Is c equal to 1?
False
Let o(q) = q**3 + q**2. Let r be o(1). Suppose 0 = -r*s - 4, 0 = 2*k + 2*k - 2*s + 20. Which is smaller: -1 or k?
k
Let z be 4/(2/(-7)*-11). Suppose 0 = -4*c + 3*u - 3, -5*u = 29*c - 32*c - 5. Is c smaller than z?
True
Let x(w) = -w**3 - 5*w**2 + 8*w + 6. Let n be x(-6). Suppose -15 + 39 = -4*q. Is q smaller than n?
False
Let g(u) = -u. Let t be g(3). Let k be (-2)/4 - (1 + t). Suppose 7 = 4*s - 1. Which is bigger: s or k?
s
Suppose 169 = 12*u + u. Let c(y) = -2*y + 26. Let v be c(u). Are v and -1/16 non-equal?
True
Suppose 11 = 5*b - 29. Let k be (-24)/27*-2*1/b. Which is bigger: k or -1?
k
Suppose -2*k - 7 = 5*g - 9, 0 = g. Is 20/49 at least k?
False
Let r = 18.1 + -17.9. Which is smaller: -1/21 or r?
-1/21
Let l = -232378/141825 + 100/61. Which is greater: 0 or l?
l
Let s = -100 - 88. Which is smaller: 2/3 or s?
s
Let s be 3/(-3)*(0 - 1). Suppose 4*i = 5*r + 2*i - 11, 2*r + s = -i. Which is greater: 1/113 or r?
r
Let x(q) = q - 6. Let j(s) = -s**3 + 10*s**2 - 9*s + 6. Let k be j(9). Let d be x(k). Is d not equal to -7/10?
True
Let d = 348 - -407. Let z be -2 + d/385*1. Are z and 1 non-equal?
True
Let c(u) = -u**3 - u**2 - u. Let p(l) = -l + 5. Let s be p(-6). Let r = s + -11. Let g be c(r). Do -0.11 and g have the same value?
False
Let h = -2479 - -1026307/414. Is h smaller than 0?
False
Let i be (-6018)/(-7227) + (-30)/36. Is i at least 0?
False
Let l = -1.11 - -0.41. Is l bigger than 0?
False
Let u(r) = -22*r + 5. Let x(w) = -23*w + 6. Let k(h) = 4*u(h) - 3*x(h). Let g be k(-1). Are g and 21 non-equal?
False
Let q(j) = -5*j**2 + 103*j + 24. Let c be q(21). Which is greater: -13 or c?
-13
Let x be (-24)/(-8) - 30/11. Let f(z) = z**2 - 15*z + 21. Let y be f(15). Let h = y + -20. Which is bigger: h or x?
h
Let s be -13 - (0 - 3 - -2). Let a be (14 + -1)*(0 + -1). Which is greater: a or s?
s
Let s = -34 + 94. Which is bigger: -1 or s?
s
Let n(t) = -t**2 + t + 2. Let o be n(3). Let a = 97 + -91. Let w = a - 9. Which is bigger: o or w?
w
Let g be 306/385 + (1 - 40/25). Let a = g + -2/7. Let j = -0.3 + 0.2. Which is bigger: a or j?
a
Let h = 0.3511 + 0.0199. Which is smaller: 0 or h?
0
Suppose r + 3 - 32 = 5*a, -5*a = -3*r + 37. Suppose 0 = 5*d - b - 18, -r*d - 3*b + 14 = -4*b. Suppose d*c = c. Is 1/12 greater than or equal to c?
True
Let k = -2292.4 - -2286.4. Let u = 4 + -6. Let s be u - ((0 - 2) + 1). Which is bigger: s or k?
s
Let y = 49339/33 + -1495. Which is bigger: y or -1?
y
Suppose d - 5*w = -0 - 2, 4*w + 10 = -5*d. Let k be (3 + d - 5)/1. Let o be 18/(-10)*30/9. Are o and k equal?
False
Let q = 1 + -0.6. Suppose l - 5*l = -5*n - 4, 2*n + 3 = 3*l. Suppose 4*g + 3*a = n, -3*g + 3*a = a. Which is greater: g or q?
q
Suppose 0*m = -5*m. Let j be 4 - 1 - 30 - 1. Let o be -4 + 2 - j/15. Is o at least as big as m?
False
Let