5. Let l be 1/(-2) - (-7)/10. Let a = l + w. Which is greater: a or 0.2?
a
Suppose a = -x - 3 + 5, 0 = -4*a + 3*x + 8. Let i = 3 - 1. Suppose a*m = -i*m. Which is smaller: m or 1?
m
Let q = -101219/321 - -946/3. Which is smaller: -1 or q?
-1
Suppose 0 = s - 0*s - 6. Suppose 9 - 12 = -k + 9. Which is greater: k or s?
k
Suppose 0 = -3*u - 3 + 9. Let r = 173/5 - 162/5. Which is bigger: u or r?
r
Suppose -5*u + 12 = 4*h, 4*h + h + 4*u = 6. Which is greater: 38 or h?
38
Suppose -11 + 66 = 5*u. Suppose 4*l - 84 = u*l. Is l >= -13?
True
Let i be (2 + 3)/(-5) - -66. Let q = 28 - i. Are -35 and q equal?
False
Let b(y) = -y**2 + 2*y + 7. Let d = -16 - -19. Let n be b(d). Suppose -3*m - n = -7*m. Is m >= -2?
True
Let q(w) = -9*w + 105. Let d be q(14). Is d bigger than -17?
False
Let x(j) = j**2 - 7*j - 9. Let s = 5 - -3. Let o be x(s). Let h be -3*o/3 - -2. Is 2 greater than or equal to h?
False
Let t = 95 - 97. Let g be (-6)/(-24) - (150/56 + t). Which is greater: 2/5 or g?
2/5
Suppose -4*u = -4*w + 8, -3*w = u - 4 - 2. Suppose 5*n - 5 = -w*o + 7, -2*o - 4*n = -8. Let y be -8*(4/o - 1). Which is smaller: y or 17?
y
Let k(s) = 4*s**2 - 2*s + 5. Let o be k(4). Let g = -3449 - -3508. Which is greater: g or o?
o
Let q(g) = -g**3 - 4*g**2 - 2*g + 1. Let w be q(-3). Let p = w - -6. Suppose 5*f + 4*z - p = 0, f = -z - 4 + 5. Is 1 at most as big as f?
False
Let s(t) = t - 5. Let q be s(-6). Let p = 10 + q. Which is smaller: 6/43 or p?
p
Suppose 257*x = 265*x. Let h be 0 + 1 + 83/(-81). Does x = h?
False
Suppose 4*d + 3*a = 6, 10 = -5*a - 0*a. Let w(m) = -4*m - 1. Let g be w(d). Is g bigger than -13?
False
Let q = -41 + 37. Let k = -1.9 + 2. Which is greater: q or k?
k
Let i(g) = g**2 - 5*g. Let r be i(4). Let b be (24/6)/(-3 + 2). Is r greater than b?
False
Let y be 309/(-4066) - (-6)/114. Which is bigger: y or -1?
y
Let r = -169 + 182. Is r <= 13?
True
Suppose l - 1 - 3 = 0. Let x be (4/10)/(l/(-20)). Let t(k) = 6*k + 38. Let h be t(-7). Which is bigger: x or h?
x
Let f = 3155/8 - 393. Which is bigger: 0 or f?
f
Let o = 4.0445 + -0.0445. Which is greater: o or -29?
o
Let k = -2.15 - -0.15. Which is bigger: k or -1.5?
-1.5
Suppose -13 - 7 = -4*u. Let d = u + -3. Let w = -4/17 + 46/51. Is d less than w?
False
Let d = 6 - -10. Let n = d - 20. Let f be n/(-18) - 910/45. Are -20 and f non-equal?
False
Let l = 32/97 + 3206/1455. Which is greater: l or -1?
l
Let q be 12*(-6)/(-28)*-1. Let v be 12/2*3/9. Suppose 0 = -v*t - 4. Which is greater: t or q?
t
Suppose k + 0*u = -4*u + 13, 2*u - 6 = 0. Let d = -2093/41 + 51. Which is greater: k or d?
k
Let q(z) = 2*z**3 - 2*z**2 - 2*z - 1. Let o be q(-1). Let g be (-2*(-2)/(-4))/(-1). Let b be ((-2)/4)/(g/4). Are o and b unequal?
True
Let n(a) = -149*a - 1. Let g be n(-1). Let u be 3/4 - g/240. Let l = 1 + -2. Which is smaller: u or l?
l
Let i = -1757 - -1398. Does i = -359?
True
Let s = 658 + -591. Which is bigger: 68 or s?
68
Let i = -5172/283327 - -16/599. Which is bigger: i or 0?
i
Suppose -32*s = -27*s - 50. Suppose -95 = -5*p + s*p. Let n(v) = -v - 20. Let j be n(0). Is j != p?
True
Let k(x) = -x**3 + 4*x**2 - 5*x + 7. Let o be k(3). Which is smaller: o or 1140?
o
Let z = 89745/14 + -6414. Does -3 = z?
False
Let u = 9.87 - 8.97. Is u at most -4.7?
False
Suppose 4*y = -0*y + 24. Let n be -1*16 + (y - 7). Is -18 at least n?
False
Let q be (-2)/(-8) + 3/(-12). Let v be 2/5*178/4. Let b = v + -717/40. Which is greater: q or b?
q
Suppose 4*o - o - 23 = -m, 8 = 4*o. Let t(s) = -s**3 + 17*s**2 + 2*s - 9. Let w be t(m). Is 24 less than w?
True
Suppose h = 4*i + 6, 3*h - 4*h + i + 9 = 0. Let d = h + -5. Suppose 0 = 4*g - 2*x - 26, 0 = 3*g + 3*x - 15. Is d at least g?
False
Let s = 4.4 + -4.367. Let m = s - 0.303. Which is smaller: m or -0.1?
m
Let l(i) = -i**2 - 10*i + 4. Let u be l(-10). Let r be 2*9/6*1. Suppose r = -y + u. Which is bigger: 1/8 or y?
y
Suppose 0 = -w - 2*t - 24, 39 = -3*w + 3*t + 2*t. Let v be w/(-210)*30/2. Which is greater: v or 2?
2
Let g = 9.12 + -0.12. Let a = -2 + g. Let z = a - 6.9. Which is smaller: 1.3 or z?
z
Let b be 6/4*2*(-16)/(-48). Is b greater than or equal to -1/171?
True
Suppose 0 = -14*w + 16*w - 4. Let x be (w/1)/(1/(-7)). Let f be (2 - 1)*(x - -12). Do f and -7/5 have different values?
True
Let y = 139.3 - 78.2. Let f = 58 - y. Which is smaller: f or 0.1?
f
Suppose 22 = 6*w - 32. Suppose 0 = o - 48 - w. Is 57 bigger than o?
False
Let j = -4646.09 - -4646. Let c be ((-2)/(-10))/(1*-1). Which is smaller: j or c?
c
Suppose 13 = -4*a + 9. Is a not equal to 1/9?
True
Let u = -3501862711/5895600 + -18/122825. Let j = -594 - u. Is 1 bigger than j?
True
Let w be (-24)/(-84) - 136/(-112). Is -13/16 >= w?
False
Let v = -502 + 492. Is v less than 6?
True
Let d = -0.28 - -0.18. Is d greater than or equal to -5/11?
True
Let i be -19 + 23 + (-1 - -1). Suppose i*h + 1 = 5, 0 = 5*b - 2*h + 7. Is b greater than -3/11?
False
Let s = -38 + 44. Suppose s = 11*i - 5. Is i less than -2/121?
False
Let o = 7677 + -84209/11. Is 22 < o?
False
Let c(w) = -w**2 + 14*w - 31. Let y be c(10). Let s be (-2)/6*y/(-21). Which is smaller: s or -2/7?
-2/7
Let p = -0.03 + 1.03. Let o be ((-4)/6)/(640/(-113)). Let v = o + 1/64. Is v less than or equal to p?
True
Let d = 0.1 + 0.9. Let f = -377647141/510 - -740485. Let y = -1/102 + f. Which is smaller: y or d?
y
Let l be (15/(-6))/(6/(-12)). Suppose l*r = -12 + 22. Suppose -g - 3*m = -6, -m = 5*g + r*m - 6. Are 1 and g equal?
False
Let r = 57.919 + 0.951. Let b = -59 + r. Is b at least -2/9?
True
Let s(d) = 9*d**2 + d - 1. Let c be s(1). Let t = c + 21. Are t and 30 nonequal?
False
Suppose -2*o = 5*z + 21, -4*o = -0*z + 5*z + 17. Suppose d + 3*d - 20 = -c, -o*d = -4. Suppose 6*t - 2*t = -c. Which is bigger: t or -4?
t
Let y = 0.12 - -17.88. Let g = 11 - y. Let d = -8 - g. Is d != -6?
True
Suppose 0 = -k - 5*c - 183, c - 690 = 2*k + 2*k. Which is greater: -171 or k?
-171
Let y(o) = 6*o**2 + 16*o - 3. Let f be y(-3). Which is smaller: f or 7/3?
7/3
Suppose 5*p - 500 = 5*w, -29*w + 31*w + 4*p = -194. Which is bigger: -103 or w?
w
Let n be 42/63 + 46/3. Let u(m) = -m**3 + 3*m**2 - m - 1. Let t be u(2). Let v be (t/(-2))/(1/(-34)). Is n smaller than v?
True
Let y = 136/23 - 6. Which is greater: y or 0?
0
Suppose -32*o + 4374 = -6218. Which is bigger: 332 or o?
332
Let r be (4/(-3) + 2)*4/8. Let o be (-3)/3*1 - -6. Which is smaller: o or r?
r
Suppose -5*h + 344 + 171 = 5*w, -5*h + 531 = -3*w. Is h bigger than -1/2?
True
Let s = 1954 - 1249. Which is smaller: 704 or s?
704
Suppose 15 = 10*u - 5*u. Suppose 2*i = -5*d + 77, -6*d - u*i - 12 = -7*d. Which is smaller: 100/7 or d?
100/7
Let p = -440 + 421.4. Which is smaller: 0.1 or p?
p
Let p = -0.247 + 9.447. Which is smaller: -1/4 or p?
-1/4
Suppose 26*o + 150 = 41*o. Let r = -7 + 15. Is r at most o?
True
Let h be (12/(-156))/((-1)/2). Suppose -4*s - 3*z = -9 + 3, -4*s + 8 = 4*z. Which is greater: h or s?
h
Suppose 2*i + 2*s = -16, 0*s = 3*s + 9. Suppose 4*f - 3*f - 4*v - 11 = 0, -v = -f + 5. Let p be f*(16/(-20) - 1). Which is bigger: p or i?
i
Let y = 1259/6 - 209. Let c = 2 + -1. Is c greater than or equal to y?
True
Let q = 0.453 - 0.253. Is 1.9 <= q?
False
Suppose -2*j - 2*w - 4 + 14 = 0, 0 = 3*j - 3*w - 15. Suppose 4*n - 10 = -0*a - a, -j*a - 22 = 2*n. Which is bigger: a or -8?
a
Let t = -1.2 - -0.2. Let d = -23 + 23.02. Let a = d - -0.18. Is t smaller than a?
True
Let h be (-375)/63 - (-154)/22. Is h at most as big as 1?
False
Let x = 17 - 33. Let f = x + 21. Suppose -n = -f*n - 20, -2*a + 5*n + 35 = 0. Is 5 greater than or equal to a?
True
Let g = 0.11 - -2.89. Let t = g - 9. Let j = t + 6. Which is greater: j or 0.06?
0.06
Let w = 2763.04 + -2763. Which is greater: w or -47?
w
Suppose -2 - 3 = -4*s + 3*i, 0 = -3*s + 5*i + 1. Let o be (-4)/(-8)*0 + s. Suppose 0 = -b + 5*k - 2, -o*b + 12 = 2*k - 8. Are b and 8 equal?
True
Let f(t) = -2*t**2 + 77*t - 198. Let h be f(36). Is h not equal to -224/13?
True
Let b be ((-636)/(-18))/(12/162*-3). Which is smaller: -156 or b?
b
Let u(d) = 2*d**2 - 5*d + 18. Let c be u(6). Suppose -c = -j - j. Is 31 < j?
False
Let y(b) = b**2 - 11*b + 17. Let f be y(9). Let h = -0.45 + -7.55. Do f and h have the same value?
False
Let f = 2 + 5. Let l = -21 - -23. Let a = l - -3. Is a less than f?
True
L