r -685/29?
-685/29
Suppose 0*u - u = 6. Let k(b) = -5*b - 14. Let l(d) = -14*d - 41. Let j(q) = -11*k(q) + 4*l(q). Let s be j(u). Which is smaller: s or 2?
s
Let m be (30 - 33)*(-61)/3. Let l = 89 - m. Which is smaller: 29 or l?
l
Let k = -0.23 + 12.23. Let w = 12.1 - k. Which is greater: 1/116 or w?
w
Suppose 0 = -4*n - 351 + 363. Suppose -5*k = 5*m - 5, 0*k = -n*k - 2*m + 3. Which is smaller: 6/43 or k?
6/43
Let u = -493 - -1014. Let p = -438 + u. Is 86 < p?
False
Let t be -3 - (18 + (-195)/15). Suppose 3*i + 9 = 2*d, i + 3*i + 14 = 2*d. Let b be -9 - d*(2 - 1). Is b equal to t?
False
Let b be ((-36)/36)/(6/(-2) - 3712/(-1237)). Is -16080/13 at least as big as b?
True
Let x = -21 + 13. Let y = 63364/5 - 12680. Which is smaller: x or y?
x
Let l = -37 + 20. Let c = -32 - -10. Let z be -4*((-28)/(-6) - c/(-33)). Is l greater than z?
False
Let i = 1253/32 - -11211/544. Which is smaller: 60 or i?
i
Let f be (-8)/80 + -71*62/(-44220). Which is greater: f or 2?
2
Let i be -6 + (59 - (10 + -4)). Suppose 0 = 10*q - 43 - i. Let v(x) = -x - 1. Let a be v(-8). Is a equal to q?
False
Let h = 2190 - 2187.34. Which is greater: h or 5?
5
Let l = -965 - -964.99. Let q(p) = -2*p. Let f be q(-6). Which is smaller: f or l?
l
Let z = -27.3 - 0.7. Let v = -541 - -542. Which is smaller: v or z?
z
Let w(x) = -7*x**3 - x**2 - 2*x + 1. Let s be w(1). Let r be 39/s - (-7)/((-14)/(-4)). Which is smaller: -3 or r?
-3
Let r = 37832 + -42241. Is r at most as big as -4409?
True
Let v = 31437/2 + -15044. Which is smaller: 674 or v?
674
Suppose -41505 = -142*r - 24410 + 31327. Is r bigger than 335?
True
Let l(v) = -v**2 - 17*v + 10. Let w be l(-16). Suppose -4 = 2*b - w. Suppose -b*o + 69 = 344. Do -22 and o have different values?
True
Let q = 3167 + -3166. Which is bigger: q or -3/3682?
q
Suppose 2*c + c = y - 379, 4*c + 517 = -y. Let k = 331556889/2587910 + 3/152230. Let w = c + k. Does w = -1?
False
Suppose -4*r - 4*a - 585 = -5*a, 2*r = 4*a - 310. Which is smaller: -156 or r?
-156
Let m be (-76)/(-8) - 2/(-4). Suppose -m = -5*g, 3*g = -2*d + 6*g - 14. Let a be ((-2)/d)/((-1)/(-8)) + -4. Does -5/28 = a?
False
Let j be 3*(-4)/(-306)*(65/(-26) + 1). Which is smaller: j or 66?
j
Let h = 201/26 - 137/26. Let q = 2015 + -4031/2. Do h and q have the same value?
False
Let i = 5785 + -5780. Which is smaller: i or 97/21?
97/21
Let n = 926.151 - 928. Let r = -0.151 + n. Let g = -23 + 36. Is r > g?
False
Let z be (-12298)/(-780) - (-125)/(-5). Which is smaller: z or -10?
-10
Let g = -570 - -534. Which is greater: g or -30?
-30
Suppose 227*a - 220*a - 14 = 0. Suppose k - a = g + 49, -2*k = g + 57. Is -54 at least as big as g?
False
Suppose -4*r = 5*t - 5, -2*r - 7 = -4*t + 23. Let a(l) = -l + 1. Let g be a(-1). Suppose g*p - 43 = -t*q + 20, -5*p = -3*q - 204. Is 39 smaller than p?
False
Suppose -73*g = -78*g + 620. Let u = g + -121. Let x be (355/(-105) - 0) + (-1)/u. Which is smaller: -3 or x?
x
Let j(r) = 4*r**2 + 10*r - 21. Let d be j(5). Let v = -273 + d. Is v > -145?
True
Let g = -0.23 - -0.12. Let c = -0.4248 - -0.3148. Let w = g - c. Which is smaller: w or 1/2?
w
Let h = -8.7 - -278.7. Let z = h + -271. Which is smaller: -3 or z?
-3
Let d(t) = 15*t + 123. Let j be d(-10). Let a(c) = c**3 + 41*c**2 - 85*c + 18. Let m be a(-43). Which is smaller: j or m?
j
Let p(r) = -2*r**2 + 20*r - 5. Let v be p(11). Which is smaller: v or -50?
-50
Let g = 0.11 - -4.89. Let v be (-7050)/(-1050) + (-12)/7. Is g >= v?
True
Let u = -18778.33 - -18883. Let l = u + 1.33. Let n = 119 - l. Is 0.02 bigger than n?
False
Let m be ((-12)/144)/((-2)/54)*4. Suppose 0 = 4*s - 2*k - 38, 2*s + s = 2*k + 28. Let j = 16 - s. Is j equal to m?
False
Let r(i) = 1619*i - 2627. Let y be r(7). Are 8705 and y unequal?
True
Let n = 6478 - 6479. Let g = 4.1 - 2. Is g <= n?
False
Let f be (55/(-15) - -3)/(4/(-42)). Suppose 0 = -7*r - 154 + f. Is r smaller than -20?
True
Let r = 0.07596 + -4722.07596. Is -0.1 smaller than r?
False
Let o(b) = 17*b - 21. Let c(j) = -86*j + 106. Let i(k) = 2*c(k) + 11*o(k). Let v be i(2). Is v at most as big as 0?
False
Let v(x) = -21*x - 7888*x**2 + 1 + 7878*x**2 + 14. Let h be v(-6). Which is smaller: h or -218?
h
Suppose 2*m = -5*i + 5, 5*i - 3*m = 22 + 8. Let d be (-15)/(-20)*4 + i/11. Is d greater than 2?
True
Suppose -3*p - d - 273 = 0, d - 357 = 4*p - 0*d. Let z = 93 + p. Is z equal to -28?
False
Let k = 15.8 - 16. Let z = 2.2 - 2.152. Which is smaller: z or k?
k
Let i = 3433.3 + -3206. Let r = i - 227. Is -0.034 < r?
True
Let c(g) = 2*g + 37. Let j(n) = -n**3 + 3*n - 1. Let v be j(3). Let r be c(v). Let i be 8/(-20) - (4/1 - 4). Which is smaller: r or i?
r
Let q = 4.6 + 4. Let x = q - 12. Let i = x - -4.4. Is i not equal to 1?
False
Suppose -4*j = -2*c + 24 + 116, -5*j = -4*c + 295. Let q = c + -80. Let y be q/2*3/3. Are 18/13 and y non-equal?
True
Let x be -11 - 0 - (3 - 2). Let y = -1307 + 1308. Suppose 0 = -7*h - y - 97. Is x smaller than h?
False
Let r be 18/8 + (-33634)/(-536). Which is smaller: 82 or r?
r
Let u be 2825/(-475) - (112/(-60) - 4/30). Is u equal to 2/7?
False
Let x(o) = -24 + 39 - 3*o**2 - 21 + 4*o + o**3 + 6*o. Let r be x(5). Suppose 4*p + 88 = 4*i, -i + r = -4*p - 0*i. Which is bigger: -45/2 or p?
-45/2
Let y = -1518 - -897. Let a be (3 - 9)/(54/y). Let j(d) = -22*d + 3. Let c be j(-3). Is a at most c?
True
Let l(i) = -16 + 46*i**3 - 24*i**3 - 23*i**3 + 15*i - 15*i**2. Let z be l(-16). Suppose z = -5*q - 21 + 191. Which is smaller: q or 32?
32
Let y = 7823 - 242536/31. Is -1 less than or equal to y?
True
Suppose -10*y = 26 + 84. Let z be (-105)/(-33)*y/((-55)/6). Which is greater: z or 4?
4
Suppose 53*h - 19*h + 9246 = 31*h. Which is bigger: -3083 or h?
h
Suppose -5*a + 5*q = -6*a + 36, 4*q = 5*a - 35. Suppose -23 = -2*v + x + a, 5*v = -x + 78. Let n = 57 - 40. Which is greater: n or v?
n
Suppose -3*v + 432 = -c, -c - 577 = -7*v + 3*v. Let l = 68997/4 + -17105. Let s = l - v. Are 0 and s unequal?
True
Suppose 26*i - 383 = 397. Let c be 912/30 + (-3)/(-15). Which is greater: i or c?
c
Let m = 0.058877 + 54.048123. Let b = m - 0.107. Let p = 55 - b. Which is smaller: p or 5/3?
p
Let b = 538 - 773. Let m = 235.1 + b. Let f be 5/(-15) - 244/6. Is m >= f?
True
Suppose -204*b + 4876 = -227*b. Is -225 != b?
True
Suppose -2*i - 1 - 3 = 0. Let x = i + 21. Let s = x + -75/4. Which is greater: -3 or s?
s
Let y = -524.2 - -35.2. Let h = 783 + y. Does -1/2 = h?
False
Suppose 5*k + 5*f - 150 = 2145, -4*k = -2*f - 1842. Are k and 462 non-equal?
True
Let f(q) = -q**3 + q**2 - q - 108. Let j be f(0). Let t = 82 + j. Let u = -26 - t. Does u = -3/13?
False
Let g be (-4)/(-3)*36/((-12)/(-3)). Let n be ((-86)/g - 0)*(8 + -7). Suppose -5*c + 1 - 36 = 0. Which is bigger: c or n?
c
Let v = -181 + 16. Let p be 24/v*(-105)/2. Is p at most 7?
False
Suppose 3*r + 2*r - 9 = -3*j, 3*r = 4*j + 17. Let d be ((-2)/(-18)*r)/((-40)/18). Suppose -15 = 9*q - 24. Is d at most as big as q?
True
Let t = 0.168 - -30.832. Let b = 30.8 - t. Do 11.3 and b have the same value?
False
Let t = 39 + -37. Suppose -5*b = 4*r - 297 - 6, 0 = 3*b - r - 192. Let g = 60 - b. Which is smaller: t or g?
g
Suppose -22*z = -57*z - 16660. Which is greater: -470 or z?
-470
Let r be (-22)/(-44) - (-12)/24*0. Let o = -373/506 + 18/23. Is o less than r?
True
Suppose 4*k + 118*d + 2477 = 121*d, 3*k = -2*d - 1879. Is k greater than or equal to -1865/3?
False
Suppose -5*n + 75*q - 77*q + 4596 = 0, 4*n = -3*q + 3681. Are 919 and n non-equal?
True
Let w = 0.4069 - 204.1069. Let s = w + 199. Suppose 2*g + 12 = 2*r - 4*r, 4*r + 20 = 0. Which is smaller: g or s?
s
Suppose -936 = -136*o + 142*o. Let h be (-21)/308*o + -3. Which is smaller: h or 9?
h
Let a be 8 + ((-5)/(-2) - (-12666)/(-12)). Which is bigger: -1047 or a?
a
Suppose l - 21 = -2*p, -5*l + 3*p + 17 = -36. Let q(a) = a**3 - 13*a**2 - 8*a + 31. Let u be q(l). Which is greater: -1 or u?
-1
Let f = -1 + 2. Let p = -172 - -112. Let x = p + 959/16. Is f greater than x?
True
Suppose 7 + 38 = 5*n - 3*q, 3*n - 27 = 5*q. Let l(v) = -2*v**2 + 11*v + 68. Let x be l(-4). Let t be (x + 8 + 4/(-52))*2. Which is greater: t or n?
n
Let o = -154 + 165. Let s = -140 + o. Is -129 greater than s?
False
Let p(f) = 31*f + 526. Let k be (-12)/18 - -49*(-1)/3. Let r be p(k). Let n = -1333/11 - 