er: s or r?
s
Suppose 0 = -3*k - k + 4. Let l be 6/(-4) + 795/550. Let w = l + 8/1155. Is k at least w?
True
Let n = -29.2 + 29.32. Is n less than -0.4?
False
Let m(d) = -84*d - 969. Let u be m(-12). Is 11 bigger than u?
False
Suppose -3*g = -3*y - 48, -2*y + 3*g = 54 - 20. Let f be (y/(-6))/((-2)/6). Let c be (-50)/f + 1/(-7). Is 7 greater than or equal to c?
True
Let t(y) = -17*y - 6. Let p be t(-1). Let j be (p - 10) + 1*24. Is j greater than or equal to 27?
False
Let d be 6/18 + 46/6. Suppose d*q - 688 = -168. Which is smaller: q or 66?
q
Let q(l) = -l**2 + 8*l + 45. Let t be q(-18). Is t at least as big as -0.1?
False
Let y = 271 + -230. Which is smaller: 40 or y?
40
Let d be (348/(-30) - 2) + -6. Is d at least -21?
True
Let s(l) = -l**3 - 12*l**2 + 2*l + 19. Let z be s(-12). Which is bigger: 1.4 or z?
1.4
Let j = -47 + 55. Let w be (j + -8)/(-3) - (1 + 3). Is 4 != w?
True
Let q = -2/147255 + -144637/9817. Let d = -15 - q. Which is bigger: 0 or d?
0
Let n(g) = 24*g**2. Let j be n(-1). Suppose -d + 4*p + j = d, -4*p = 20. Is d at most 4?
True
Let b = -4146 + 800180/193. Is 0 smaller than b?
True
Let y be -1 + 29100/(-4) + 4. Let u be (6/27)/(3/y). Let w = u - -534. Which is bigger: w or -5?
w
Let q be (1 + 567)/(-46 - -39). Which is greater: q or -82?
q
Let d(o) = -2*o**3 + 94*o**2 - 5*o + 208. Let u be d(47). Is -12 greater than u?
True
Suppose -4*a = -7 + 7. Are a and 9/43 nonequal?
True
Let i = -6.9 - -6.877. Let o = i - -4.023. Are 0 and o nonequal?
True
Let s(i) = 7*i**2 + 2*i - 2. Let z be s(1). Suppose 19 + 23 = -z*q. Suppose 2*w + 5 = 4*f - 9, 0 = w + 5*f. Which is bigger: w or q?
w
Let g be 257/(-1) - (6 + -12)/(-6). Is 2 > g?
True
Let g(p) = -p + 13. Let w be g(9). Suppose 5*d = -w*c + 60, -c + 34 = 2*c + d. Let t(a) = -a**3 + 9*a**2 + 12*a - 7. Let v be t(c). Which is greater: 14 or v?
14
Suppose 0 = -8*j + 4*j - 40. Which is smaller: -26 or j?
-26
Let u(b) = 0*b + 0 - b**3 + 3*b - 1 - 3*b**2. Let n = 2 - 6. Let q be u(n). Which is bigger: q or 4?
4
Suppose -5*h + 5*w = 30, 3*h + 34 = -5*w + 4*w. Let u be (-26)/h - (3 - 1). Suppose 4*n - r + 11 = 0, 4*n - 2*n - 4*r + 16 = 0. Which is bigger: n or u?
u
Suppose 32*s - 5*j + 208 = 28*s, -4 = j. Is -55 less than or equal to s?
False
Let k = 197 + -198.2. Are 0.08 and k equal?
False
Let q = -343 - -342. Which is smaller: q or 57?
q
Let k be 4/26 + ((-466)/156 - -3). Suppose -5*a = -4*a. Which is smaller: k or a?
a
Let w = 44.7 + -43. Let s = -1.1 + 2.1. Which is smaller: w or s?
s
Let h = 0.194 + 4.337. Let a = -4.5 + h. Is a less than or equal to -1?
False
Suppose -6*y - y + 14 = 0. Suppose -y = -x, 4*m - 3 = 4*x - 39. Which is bigger: -3 or m?
-3
Let c = -9 + 13.5. Let g = -5 + c. Let x = 0.019 - -1.981. Which is smaller: g or x?
g
Let q be (-14)/(-28)*(81 + -1). Let h = 40 - q. Which is smaller: h or 64?
h
Suppose 4*o - 309 = 1143. Suppose 4*w + o = 83. Let k be 2*1 + 80/w. Is k smaller than 0?
False
Let t be (5/((-375)/140))/(18/(-15)). Which is bigger: t or 3?
3
Let l = 320 + -3525/11. Which is greater: l or 1?
1
Let h(i) = -2*i**3 + 10*i**2 + 19*i - 26. Let z be h(8). Is -258 bigger than z?
False
Let i be (-4 - (-7)/7) + 23. Suppose 5*z = -4*f - 93 + 10, -4*f = 8. Let u = i + z. Is 6 bigger than u?
True
Suppose 1 = 3*s - k, 7*k = 2*k + 25. Suppose 10 = s*v - 2. Which is smaller: 7 or v?
v
Suppose 5*j - 15 = d + 4*d, -3*j = 3*d + 9. Let h = -4 - d. Do h and 2/43 have different values?
True
Let b = -10.71 + 5.91. Which is smaller: b or -5?
-5
Let g(p) = 2*p**3 - 2*p - 1. Let j be g(-1). Which is smaller: 2/505 or j?
j
Let r(b) = -5*b**3 - 3*b**2 - 3*b + 2. Let n be r(-4). Let g(v) = -40*v - 288. Let i be g(-7). Let x be n/196 - (-12)/i. Which is smaller: -1 or x?
-1
Let q be 1 + -1*1/1. Suppose -9*g - 42 = -7*g. Let f be 1*g/(-18)*12/105. Which is bigger: q or f?
f
Suppose 0 = -2*i - 2, 0*v + 5*v = 3*i + 533. Suppose -107*k = -v*k + 1. Are -4/43 and k nonequal?
True
Let t be -5 + (2 - (-63)/(-33)). Which is bigger: t or -4?
-4
Let m = 390 - 389. Do m and 15/64 have different values?
True
Let m = -10702/1937 - -72/13. Let a = 4458 + -4458. Which is bigger: a or m?
m
Let p = -164 - -232. Suppose -74 + p = -6*r. Is 2/235 bigger than r?
False
Suppose 20*v - 29*v - 459 = 0. Are -48 and v non-equal?
True
Let l = -206 - -207. Is l <= 1/59?
False
Let y = 17/2 - 10. Is -4/5 at most y?
False
Let d = 14.0827 + 0.0673. Let o = d + -0.15. Let a = o - 13.7. Which is greater: a or 0?
a
Let w be 33/2948*16*-1. Does 0 = w?
False
Let u = -0.09 - 3.91. Let t = u - -8. Let q = -3 - t. Which is smaller: 0.1 or q?
q
Let m(f) = -18*f + 333. Let n be m(18). Which is greater: n or 67/8?
n
Suppose 0 = -5*f + 21 - 86. Let c = -14 - f. Let b(s) = 2*s**2 - 1. Let d be b(c). Is d at most as big as 0?
False
Suppose -2*a = 4*c - 10, -2*c = 2*a + c - 10. Is a >= 9?
False
Let w be (-12)/(-20) + 805/200. Is w at most as big as 5?
True
Let z = 0.82 - 0.74. Let f = -0.18 + z. Which is smaller: -14/3 or f?
-14/3
Suppose -84*x + 87*x = -6. Let p be (-7*(-16)/168)/(x/6). Which is greater: -15/11 or p?
-15/11
Let q = -7 - -19. Let b be 1*(-2)/(-11) - 1309/(-121). Which is smaller: q or b?
b
Let r be (-2241)/(-744) + (4 - (-21)/(-3)). Do r and -1 have the same value?
False
Suppose 2*y - 5*n + 7 = 0, -23 = -5*y - 2*n + 3. Is 30/11 bigger than y?
False
Let h be (-4)/34 + 316/2108. Let v = 16 - 24. Let n = -9 - v. Which is greater: n or h?
h
Let v = -7 - -12. Let h = 9 - v. Let y = -108.1 + 108. Is h != y?
True
Let o = 45 - 16. Let b = o + -24. Which is greater: b or 6?
6
Let l be -9*((-91)/21)/13. Which is bigger: 5/2 or l?
l
Let q = -193181/55 - -17577/5. Let r = q + -12/55. Which is smaller: 2 or r?
2
Suppose 2*v - 6*v - 140 = 0. Let s = 37 + v. Which is smaller: -0.1 or s?
-0.1
Let u = -2/197 - 774/1379. Suppose -3*h - 2 = 4. Is u less than or equal to h?
False
Suppose -q - 4*q = -30. Let u be -5 + (-9)/(-2 - 1). Let r be -2 + (-27)/6*u. Which is smaller: q or r?
q
Let z = -79.7 - 17.3. Let i = z - -97.3. Which is smaller: -4/3 or i?
-4/3
Let h = 3068/5 + -614. Is 222 < h?
False
Let f(h) = h**3 + 22*h**2 + h + 26. Let y be f(-22). Let n = 7 - 13. Let p be (y - n)*-1 + -4. Which is smaller: p or -13?
p
Let b(p) = p**2 + 240. Let n be b(0). Let i = n - 7441/31. Which is greater: i or 1?
1
Let l = 79 + -143. Let i be ((-3)/(-66))/(8/l). Which is smaller: i or -1?
-1
Let g = -107 + 107. Which is greater: 2/327 or g?
2/327
Let u = 25 + -47. Let m = 383 - 384. Is u >= m?
False
Let q = 55 + -29. Let d = -24 + q. Which is greater: d or -1/9?
d
Suppose -84 + 19 = 5*z. Is -13 < z?
False
Let n = -268 + 281. Which is bigger: 9 or n?
n
Let q = 1/995 + 51717/22885. Is q < 1?
False
Suppose -a = -2*n - n + 70, 5*n = -4*a - 195. Let x = 56 + a. Which is smaller: 2/5 or x?
2/5
Let q be ((-4)/(-6))/((-1)/(-3)). Suppose -14*f = -9*f. Suppose f = -14*w + 9*w. Is q at least w?
True
Let n(a) = -a**3 + 7*a**2 - 6*a - 5. Let s be n(6). Let d = s + 7. Let f be (-1342)/(-61) + 56/(-3). Are d and f unequal?
True
Let g(n) = -n**3 + 8*n**2 + 2*n - 12. Let w be g(8). Let v = 4 - w. Suppose 4*t - t = v. Is -2/11 greater than t?
False
Let z be (-34)/10 + -3 + (-68)/(-20). Which is smaller: -11 or z?
-11
Let j = -0.31 - -14.31. Let z = -184 - -184. Which is greater: j or z?
j
Let o = 156.2 + -164.07. Let q = 8 + o. Is 1 not equal to q?
True
Let l be 65/(-33) - (-2 + 0). Let m = -7/33 + l. Suppose 0 = 5*n - 4 - 1. Which is smaller: n or m?
m
Suppose 0 = -2*c - 5*s - 337, -17*s + 12*s + 518 = -3*c. Which is smaller: c or -514/3?
-514/3
Let a = 1.255 - 0.055. Does a = -0.02?
False
Suppose -3*l + 2708 = 4*o - 2*o, 20 = 5*o. Suppose -15*i - l = -6*i. Which is greater: i or -99?
-99
Let q = 20 + -18. Let n = -11 - q. Let p = n - -12. Which is bigger: p or 0.1?
0.1
Let o be 4/6 - (20/30 - 0). Which is smaller: -109 or o?
-109
Let k = -524.1 + 527. Is k bigger than -5?
True
Let r = -15.7 + 16.167. Let l = r - 0.067. Which is greater: l or -1?
l
Let c be (2*2)/(-22 + 18). Which is greater: 2 or c?
2
Let f = -31 - -24. Suppose 0 = 9*r - 7*r - 48. Let m = r - 23. Is f less than m?
True
Let o = 51.54 + 11.41. Let v = o + -63. Which is greater: v or 2/9?
2/9
Suppose q = b + 5*q + 27, 0 = -5*b - 4*q - 87. Suppose -3*m + 2*s + 5 - 50 = 0, -s = -3*m - 45. Is b sma