ppose -25*k + 16*k - 31788 = 3*k. Which is bigger: k or -2650?
k
Let c(u) = -24*u - 26. Suppose -68 + 2 = 11*n. Let r be c(n). Let m = r + -947/8. Which is smaller: m or 0?
m
Let o be (15/510)/((-40)/(-1360)). Suppose -2*n - 5*f = -22, -3*f + 4*f - 6 = -2*n. Let j be 5/4 + 1/n. Are j and o equal?
False
Let y = 51551815/247 - 208711. Which is smaller: y or 0?
0
Let z = 76 + -49. Suppose 0 = -20*q - 7 + z. Which is greater: -6/19 or q?
q
Let b = 10/89 + -1093/12104. Do 1 and b have different values?
True
Let k = 8.653 + -8.453. Which is smaller: k or -285?
-285
Let b be (76/(-190))/((-36)/(-1505))*(-100)/(-35). Is -0.3 less than or equal to b?
False
Let n = -0.0929 - -646.0929. Let m = n - 589.8. Let c = m + -56. Do c and -8 have different values?
True
Let v be (-2 + (-792)/(-395))*-5. Suppose 0 = -2*l - l - 3*g + 9, -l = -g - 11. Suppose -19*a + 12*a = l. Is v > a?
True
Let x be 2/(152/20 - -2). Let z = 18484363/80000184 + 2/303031. Let u = z - x. Which is greater: 1 or u?
1
Let u be (-49)/28 + (-2)/8. Let d be 30/(-20) - u - (-654)/(-4). Is -162 < d?
False
Let a(t) = t**2 - 35*t + 257. Let x be a(29). Let g = -74 + -43. Let d = g + x. Is d at most as big as 0?
True
Suppose -256 = -5*h + 9*h. Let u = h - -66. Suppose -2*x - u - 6 = 2*q, 4*x + 16 = 2*q. Which is greater: -26/5 or x?
x
Suppose 322*j + 37212 = 310*j. Let d = -65099/21 - j. Are d and 2 non-equal?
True
Let s(r) = 408*r - 4081. Let g be s(10). Which is bigger: -2/23721 or g?
-2/23721
Let u = 278 + -276. Which is smaller: 480 or u?
u
Let j = 2453573/8 + -306708. Let h be (-72)/(-3)*2/(-4). Which is smaller: j or h?
h
Let k = 1 - 0. Let m = 156 + -159.1. Let a = m + -6.9. Is k <= a?
False
Let h = 229.5 - 224.5. Which is smaller: 10/13 or h?
10/13
Let w = 144 + -143.9847. Let l = 9.9933 - w. Let z = 0.022 + l. Which is smaller: z or -3/4?
-3/4
Let c = -151193 - -151353. Let d(j) = j**2 + 6*j + 2. Let n be d(-5). Is c at most as big as n?
False
Let m = 0.217 + -99.217. Let o = m - -49. Let h = -167/69 + 48/23. Which is smaller: o or h?
o
Let d = -0.072 - 18.928. Let w = 1.5 + -4.5. Which is greater: w or d?
w
Let w = 0.2 + -0.2. Let s = 1 + w. Let g = 2.0916 + -0.8916. Is s smaller than g?
True
Let m = -7919 + 7918. Which is greater: -152/297 or m?
-152/297
Suppose 3*q + 4*h + 1144 - 316 = 0, q - h + 269 = 0. Let x = -579 - q. Is x at least -308?
True
Let r be 0 - -1 - 8/(-4). Suppose g - l + 0*l = 15, r*g = 2*l + 41. Suppose -g*t + 15*t = 0. Which is bigger: t or 1?
1
Let p be 19799/(-55) + -7 + 1. Let o = p + 366. Which is smaller: -1 or o?
-1
Let t be 17160/4950 + 20/(-6). Is t bigger than 5/158?
True
Let l = 89.48 + -3.48. Let c = -86 + l. Which is greater: -0.32 or c?
c
Let x = -7071 + 7074. Is x != -61.1?
True
Suppose -54*o + 57*o = 9. Suppose o*y + 5*l + 0*l + 31 = 0, 0 = 2*l + 4. Is -15 equal to y?
False
Let o be -10 - 840/(-80) - 2833/(-2). Which is greater: 1415 or o?
o
Let u = 48.8931 + 0.1069. Suppose 0 = 3*k + k - 2*t - 16, 2*k - 3*t - 4 = 0. Let l = k - 7. Is u != l?
True
Let v be (-13)/(-7) - (2 - 45/21). Suppose 4*n = v*o + 3*o - 25, 0 = n + o - 5. Suppose 3*y - 7 = 2*y + 3*r, -5*y - r - 29 = n. Is y greater than -1?
False
Let i = -219.995 + 220. Let w = i - 0. Is 0.2 equal to w?
False
Let o = -381 - -385. Suppose o*g - y = -521, -g - 3*y = 208 - 81. Are -132 and g equal?
False
Let i = -63 + 38. Let u = 12 + i. Let s = 3/20 - -7/20. Is s bigger than u?
True
Let u = -11301 + 56506/5. Is u bigger than 3?
False
Let g(o) = 13*o + 12. Let v(u) = u - 3. Let r(n) = g(n) + 4*v(n). Let x be r(-6). Which is smaller: x or -101?
x
Let s be 2/(-15) + (-3)/(-9). Which is smaller: s or 118?
s
Let r(f) = 46*f**2 - 38*f - 24. Let y be r(-9). Is 4044 greater than or equal to y?
True
Let r = -929 - -529. Let o = 377 + r. Which is smaller: 2/9 or o?
o
Let y be (2/3 - 4)*3. Let i = -8 - y. Suppose -5*n + 0 + 5 = 0, l - 1 = -i*n. Is l >= -2/109?
False
Let m be ((-1815)/(-1089))/(-3 + 6/(-3)). Let g be 1/1 - (0 - 0). Is m >= g?
False
Suppose 2*n + 14 = 4*c, -4*c + n = -25 + 8. Suppose -c*v = -7*v + 4. Suppose -v*g = -5*k - 0*g - 170, -2*k = -2*g + 74. Is k equal to -33?
False
Suppose -4*k - o - 106 = 0, 4*k - 4*o = -91 - 5. Let q = -75 - -50. Which is smaller: q or k?
k
Let w = 245 + -509. Let g = w - -271. Is g smaller than -0.1?
False
Let y be (-23 - -3)/(-5) + -3. Let w be (1/3)/y + (-860)/(-30). Let a(s) = -11*s - 5. Let t be a(-3). Which is greater: w or t?
w
Let z = 0.2 + -0.3. Let m = -32126 + 32118.9. Are z and m equal?
False
Let z be 6/16 - 5265/240*-6. Does 128 = z?
False
Suppose 33271*v + 150 = 33261*v. Suppose -l + 34 = 4*d, -18 + 2 = -4*d. Suppose -l + 2 = 4*s. Is v equal to s?
False
Let v(p) = 68 - p**3 + 10*p + 0 - 114*p**2 + 9*p + 135*p**2. Let g be v(22). Is g != 14/11?
True
Let o be 10886/(-22) - (-2 + (-24)/(-11)). Let i be (-5780)/o - 4/18. Let m(c) = c**3 - 4*c**2 + 3*c - 2. Let t be m(4). Is i at most as big as t?
False
Suppose 45 = -4*f - 5*t + 21, -3*f - 5*t - 18 = 0. Are -4/175 and f non-equal?
True
Let y = 960 + -843. Let j = y - 116. Which is smaller: j or 18/25?
18/25
Suppose -4*o + 11680 = -2*j, -2*j + 6*o - 5*o = 11674. Which is bigger: j or -5837?
j
Let k = 412 + -208. Let i = -203 + k. Is 9 less than i?
False
Let p = -4246 + 4387. Is 140 not equal to p?
True
Let q be ((-8010)/(-120))/(30/8) + 9. Let y = 40 + -13. Are y and q nonequal?
True
Let l = -34136 + 34137. Is -3/4862 less than l?
True
Suppose 3*i - 7 = -3*f + 5, f = 3*i + 8. Let y be ((-30)/(-315))/(356/28). Is y equal to i?
False
Let c = -10 + 6. Suppose 29 = 48*o - 19. Let t be (-6)/24*(2 + -5 + o). Which is smaller: t or c?
c
Suppose -4*k - 132 = 3*p, -376*p = -373*p + 5*k + 135. Which is greater: p or -47?
p
Let a(q) = -71*q + 735. Let c be a(25). Is c at least as big as -1035?
False
Let x be 518/(-49)*(-14)/4. Suppose 0*d - 37 = x*d. Which is greater: d or -195?
d
Suppose 276 = -3*u - 72. Let k be -1 + (u/(-80) - 0). Are -1 and k unequal?
True
Let w be (-3)/12 - (0 - (-13503)/(-28)). Let d be (-2)/4 - (-20261)/42. Let i = w - d. Does i = -1?
False
Let m be ((-6)/(-10))/(4 - 42/10). Let l(f) = -77*f - 18. Let g be l(m). Is 212 equal to g?
False
Let v be -1*(-20)/(220/1287). Is v at least 1293/11?
False
Let q be (-24)/4*(-25)/3. Suppose -3*p + 2*h + 65 = 0, 3*h + q = 5*p - 3*p. Suppose 4*c = -r + 2, 0 = r - 0*c - 2*c - 26. Is r <= p?
True
Suppose 7*b - 5*b = -2983 - 1647. Is b at least -2317?
True
Suppose -5*s - 18 = y + 2*y, 3 = -s. Let f = -2 + 16. Suppose -3*w + f = 4*d, 3*d = -3*w + 4 + 5. Is y at most w?
False
Let k = -44 - -42. Let s be 1/8*4*k. Let d = 152/5 + -4697/155. Is d != s?
True
Let n = -67 - -71. Suppose -2*s = -5*v + v - 40, 4*s = n*v + 76. Suppose -4*c + 24 = -4*k, 0 = 5*k + 5*c - 4*c + s. Are k and -6 equal?
False
Let w(i) = i**2 - 71*i + 839. Let a be w(56). Is -2/1059 bigger than a?
True
Let w = 24 - 24. Let v = -51.19 + -0.81. Let g = v + 104. Is w less than g?
True
Let m = -11169 + 11168.9595. Is m at most -2/3?
False
Let s = -1.913 - -0.513. Let y = -67.9 - -68. Which is bigger: s or y?
y
Let d = 0.09452 - -89.90548. Let f = 0.31 + -0.21. Which is bigger: f or d?
d
Let u(f) = f**3 + 8*f**2 - f + 1. Let j be u(-8). Let m = -56/479 - -62519/6227. Is j < m?
True
Let m(q) = -q**2 - 4*q + 13. Let b be m(-6). Let s(y) = 14*y - 11. Let g be s(b). Suppose -3*z + 2*v + v + 3 = 0, 3 = 4*z - g*v. Are z and 2/111 non-equal?
True
Suppose 0 = -0*b - 3*b - 33. Let r = 564390 - 564419. Which is smaller: b or r?
r
Let h = 5449 + -5449. Which is bigger: 2/10635 or h?
2/10635
Let d(l) = 6*l**2 - 38*l + 47 - 41 - 34. Let s be d(7). Let m be (-98)/(-195) - 4/10. Which is bigger: m or s?
m
Suppose -314*g + 645*g - 7100 = 321*g. Is g at least as big as 710?
True
Let f be (15/108)/(525/(-172305)). Which is bigger: -45 or f?
-45
Let l be (104/(-104))/(0 - -547). Does l = 1?
False
Let g = -3531 - -3529. Which is greater: g or -67/33?
g
Suppose 0 = -369*s + 431*s - 62. Are s and -872 unequal?
True
Let c = -10 - -10. Suppose c = -0*z + 10*z + 30. Let l = 1972 - 21722/11. Is z >= l?
False
Let o(k) = k**2 - 27*k + 2 + 19*k + 9. Let h be o(2). Which is smaller: h or 2/31?
h
Let u(p) = 6*p + 24. Let r(i) = -5*i**3 + 3*i**2 - 3*i + 1. Let v be r(1). Let j be u(v). Let n = 1385/4 - 120487/348. Is j bigger th