) + 2/(-12). Are -1 and r unequal?
True
Let g = 2955 + -2955. Is 1/2902 at most as big as g?
False
Let f = -5713 + 5718. Which is bigger: f or -0.0108?
f
Let u = -2448 - -2877.72. Let l = u - 425. Are -1 and l unequal?
True
Let d be -3 + 0 - (-77)/11. Suppose 0 = -w - 3*k, -3*w - d*k = k + 8. Is w bigger than 5?
False
Suppose 0 = 22*y - 59 - 689. Suppose y + 78 = -7*w. Is w >= -15?
False
Let c be (0 - -117 - 3)*(-11)/11 - 7. Are c and 7 non-equal?
True
Let i(a) = a**3 + 11*a**2 - 3*a + 25. Let s be i(-11). Suppose -3*k + 48 + 24 = 0. Suppose -o - d = -k - 29, -4*o - d + 224 = 0. Is s <= o?
False
Let v be 0*(0 + 1 + 0). Let o(m) = -7*m**3 + 5*m - 4. Let b be o(5). Let u be -9*2/(-42) + 394/b. Which is smaller: v or u?
u
Let z = -3320 - -4125. Do 803 and z have different values?
True
Let g = -0.1 - -0.2. Suppose -2*h - 1 + 11 = 3*u, -5 = -h - 3*u. Suppose h*o - 136 = -176. Do o and g have the same value?
False
Suppose -5*c - 550 = -4*y, -6 = -0*c + 3*c. Suppose -2*q + 5*q = 4*z - y, 0 = -3*z + 5*q + 104. Let h be 12 + 1*(-13 - -34). Is z at most as big as h?
True
Suppose -5*k - 149 = c, -3*k - 30*c = -34*c + 94. Which is smaller: k or 3?
k
Let v be (-66)/55 - (-8)/10. Let t = 4.58 + -26.58. Is t > v?
False
Let x = 681.27 + -677. Let z = x + -4.37. Is -12.3 not equal to z?
True
Let l be 8 + (1 - 316*(-99)/(-3474)). Let c = 35/2 + -18. Which is bigger: l or c?
l
Let c be 56/(-52) + (-10)/(-130). Which is smaller: c or 5/573?
c
Let x = 4.5 - 2.5. Let t = 1359 + -1361.8. Is x greater than t?
True
Let f be -4*(1 - 37/42). Suppose 19 = -23*q + 19. Suppose 2*n + 2*k + 10 = q, 0 = k - 1 + 6. Which is bigger: f or n?
n
Let g(p) = -44*p + 1055. Let j be g(24). Which is smaller: j or -13/43?
j
Let q(i) = -16*i + 80. Let t be 2 - (6 + -4 - 5). Let a be q(t). Which is smaller: 6/139 or a?
a
Let a = 17.38 + -17. Let f(l) = 3*l**3 + 42*l**2 - 9*l + 20. Let h be f(-14). Let p = h - 146. Is a < p?
False
Let t(k) = -30*k + 1733. Let u be t(37). Which is smaller: u or 632?
u
Let l = -7446 - -7469. Does l = 36?
False
Suppose -2*j = -p + 367, 0 = 2*p + 3*j - 604 - 151. Let t be (-1498)/(-4) - 1330/532. Which is smaller: p or t?
t
Let k = 0.94436 + 0.05564. Let d = -4 - -4.2. Let i = d - 0.2. Is i equal to k?
False
Suppose 991*s = 1084*s - 272583. Is s at most as big as 5859/2?
False
Let l(i) = 95*i + 9. Let z be l(-2). Let f = -161 - z. Which is smaller: f or 1?
1
Let d(r) = 20*r + 46. Let m(x) = 41*x + 91. Let i(s) = 5*d(s) - 3*m(s). Let c be i(-4). Let t be 54 + (-4)/1 + 0. Is c at most as big as t?
True
Suppose m + 2*p - 16 = 5*p, -5*p - 8 = m. Let z be ((-3 - m)*-3)/(4 - 2). Which is smaller: z or 113/8?
113/8
Suppose -71*p - x + 1956 = -67*p, -2*p + 956 = -5*x. Do p and 478 have different values?
True
Let i be 145400/(-65) - -1 - 2/26. Is i greater than -11179/5?
False
Suppose 0 = 2*y - g - 13, 2*y + 3*g = -g - 12. Let s(p) = -2*p + 12. Let c be s(y). Suppose 2*m - 9 = 3*w, -w + c*m = -4*w + 9. Does 3/8 = w?
False
Suppose -37 = 12*v - 169. Suppose 25*c = 21*c + 24. Is v at most as big as c?
False
Let c be -373 - -2*(0 - 1). Let s(w) = -w**3 - 38*w**2 - 35*w + 82. Let m be s(-37). Let h be c/(-6)*m/(-10). Which is smaller: -49 or h?
h
Let c be 34*((-6)/(-1))/(17 - 11). Let r(f) = -32*f + 2. Let u be r(-1). Is c > u?
False
Let z(a) = -a**3 - 5*a**2 - 8*a - 9. Let f be z(-5). Let o be f + -34 + 7 + 0. Suppose -o = 4*k - 96. Which is bigger: 24 or k?
24
Let t = 413 - 395. Suppose t*x = 12*x - 264. Which is smaller: x or -42?
x
Let t(v) = 4*v - 29. Let j be t(-12). Let m = 71 + j. Let n be m/54*(-6)/79. Is 0 bigger than n?
False
Let i be (-17024)/(-6396) + (-2)/6. Let k be (24/208 + 1)/((-1)/(-2)). Let o = i - k. Is -1 < o?
True
Let o(p) be the third derivative of p**5/60 + 5*p**4/24 - 43*p**3/6 + 21*p**2 + 1. Let a be o(5). Is a bigger than 19/3?
True
Suppose 0 = 4*w - 2*w + 182. Let j be (4/(-80)*5)/(7/2492). Which is smaller: w or j?
w
Suppose 108 = 2*s + 3*g, 5*s - 63 = -4*g + 214. Suppose 0*n + 3*n + 2*w - 163 = 0, 212 = 4*n + 4*w. Is n < s?
False
Let g = -78 + 251. Let t = 96 - g. Let y = t + 66. Which is smaller: y or 1?
y
Let r = 3 + -5. Let t = r - -2.1. Let j(a) = -4*a**3 - 42*a**2 + 261*a - 76. Let d be j(-15). Which is smaller: d or t?
t
Let b = 98.2917 + -0.2917. Let q = 0 - 0.1. Which is bigger: b or q?
b
Let v = 172 - 170. Let g be (-1)/4*10 - (-3)/v. Let p be (10/(-25))/((-48)/(-50)). Is g < p?
True
Let t(x) = -9*x - 239. Let k be t(-16). Which is greater: -98 or k?
k
Let o be (-7279618)/366 - ((-28)/(-12) - 2). Is o equal to -19889?
False
Suppose 461 + 79 = -45*l. Suppose 20 = 3*t + 2. Let k be t/(-36) - (-3 - (-146)/l). Is 17 <= k?
False
Let h = 139 + -138.926. Let b = 4.6 + -4.426. Let c = h - b. Which is smaller: c or 7?
c
Let f be -1 + 169 - (8 + -18 - -14). Let u = f - 2623/16. Suppose 4*o = 2 + 2. Which is greater: o or u?
o
Suppose -4*k - 250 = -p - 4*p, -3*p = -3*k - 153. Suppose 0 = -3*z - 145 + 16. Let i = p + z. Which is smaller: i or 11?
i
Let p = 55 - 59. Let w be 4/(-8) - (-50)/4. Let s be 3 - 44/w*1. Which is bigger: s or p?
s
Suppose 3*c - 2*c = 2. Suppose 52 - 44 = c*u. Suppose 15 = -u*o - 21. Is -5 at least o?
True
Let h = -20 - -5. Let z(a) = 279*a - 67. Let u be z(5). Let t = 3938/3 - u. Which is greater: t or h?
h
Let i be (-6)/(-8) + -1 - (-111)/12. Suppose 26*j = -i*j + 350. Is 9 greater than j?
False
Let p = 14973/25 + -599. Let l(m) = -m**3 - 4*m**2. Let z be l(-4). Suppose 5*t = 5 - z. Is p less than t?
True
Let d be (-13 - -12)/(-2)*-1742. Is -871 greater than or equal to d?
True
Suppose -41*r = -52*r - 26741. Is r equal to 0.1?
False
Let l = -1093263/71053645 - -2/1093133. Let b(t) = 3*t**3 - t**2 + t - 1. Let y be b(1). Suppose 0 = 3*r - y*r. Is r greater than or equal to l?
True
Let k = -111/263 - -18305/33401. Is k != 0?
True
Let u = 18.74 - 18.4226. Let i = u - 0.0374. Is -0.06 greater than or equal to i?
False
Let z = 6.744 + -0.344. Let u = z + -7.4. Which is greater: u or 104?
104
Let d be (-6016)/(-9) + 28/(-63). Let k = d - 667. Which is greater: 0 or k?
k
Let k = 1566 - 1565.8. Let i = -34.964 + -0.036. Is i at most k?
True
Suppose 5*k + 5*r - 60 = 0, 0 = 5*k - 4*r + 2*r - 25. Let d be k/(-9)*-3 - 3. Let h = -8736 + 8758. Which is bigger: d or h?
h
Let q = 48 - 10. Let l be (-152)/20 + 7 - (-4018)/105. Which is smaller: l or q?
l
Let f be (19 - (26 + 10)) + 18. Let d be (-4)/10 + (-63)/(-145). Is f at most as big as d?
False
Let q = 297 + -307. Let t be q/(-75)*5 - (-6)/(-9). Is t greater than or equal to -1/196?
True
Suppose -17 - 3 = -3*w + 4*r, -3*r - 15 = 2*w. Which is smaller: w or 10/1747?
w
Suppose 7*l + 24 = 3*l. Let n be (1329/(-6)*14)/(-5). Let k = 614 - n. Is l equal to k?
False
Let b be 2577/24 + (-2 - (-19 - -13)). Which is smaller: b or 110?
110
Let n = -6952.17 + 6952. Is 39 at most as big as n?
False
Let h = 2407840/48669595671 + -2/1162037. Which is smaller: h or 1?
h
Let j be 14/63 - (-2)/(-9). Suppose 24*c + 341 + 1099 = j. Which is greater: c or -56?
-56
Let m(j) = -10 - 26 - 14 + 29 + j**2 + 9*j. Let i be m(4). Suppose 27 = -3*f + 120. Is i bigger than f?
False
Suppose 1 = b - 1. Let q be (-3 - -5 - 5)*160/(-24). Suppose -h + q = -2*h - b*g, h = -3*g - 23. Is -13 at most h?
False
Let f be 30/7 + (-4)/14. Suppose -5*b + 8 = -3*u - 6, -4*u + f*b = 8. Let s be (-26)/(-91) - (-6)/(-70). Is u not equal to s?
True
Let f be (1/((-9)/(-42)))/(6/(-909)). Is -1413/2 at least as big as f?
True
Let k be (-6)/(-12)*(-46)/(-7). Let l = -124872 - -124874. Is k > l?
True
Let b = 1.834 - 2.534. Let q be (36/10)/((-12)/(-270)). Let d = -485/6 + q. Which is bigger: d or b?
d
Let c = -8 - 19. Let y = -236 - -236.0357. Let g = y + 0.1643. Which is bigger: c or g?
g
Let m = -19602/7 - -59391/35. Let v = m - -1097. Which is greater: v or -7?
v
Let h be ((-3279)/(-9))/(368/72 + -5). Is h <= 3279?
True
Let k = -11465245/51 - -682982/3. Let w = 2851 - k. Are w and -1 equal?
False
Let b be (-80 + -4)*1/1. Let y = -85 - b. Which is smaller: -6/41 or y?
y
Let g = 1477081/3265 + -2262/5. Let x = g + -1237/45057. Is -1 greater than x?
False
Let m = 91.2 + -87.2. Which is greater: m or 47?
47
Let i = 6170 + -6093. Which is smaller: 78 or i?
i
Let c = 39 + 11. Suppose 10 = 60*q - c*q. Which is bigger: q or -2/539?
q
Le