93)/6*(-8)/(-36). Which is greater: k or q?
q
Let b be (-5831)/(-9485) - (10/(-25) - -1). Which is smaller: 1 or b?
b
Let u(c) = 2*c + 40. Let k be u(-17). Let j = -4 + k. Suppose -j*l = 3*m - 24, m - 10 = 3*l - 4*l. Which is greater: 2 or l?
l
Let n = 0.9 - 0.5. Let u be 657/120 - (-5)/(-1). Let v = u - 7/8. Which is bigger: n or v?
n
Suppose 1 = 2*q - 5*k, 5*q - 2*k = 4*q + 1. Suppose j + 8 = 4*h - 1, -2*j - 8 = -q*h. Let b(v) = 33*v + 297. Let o be b(-9). Which is smaller: o or h?
o
Let d(g) = -g - 19. Suppose -84 = 16*n - 12*n. Let o be d(n). Is 1 not equal to o?
True
Suppose f + 3*j + 20 = -5, 0 = 2*f - j + 57. Let v be 96/f + (2 - -1). Which is smaller: 1 or v?
v
Let p(s) = -s**3 + 16*s**2 - 14*s - 17. Let w be p(15). Let h be -3 + ((-1006)/2 - w). Let l = 4544/9 + h. Is 2 >= l?
True
Let x be ((-6)/(-99))/(115/(-69)). Is x at least as big as 1?
False
Let c = -1 + 2. Let u be ((-6)/(-5))/(c/(-10)). Let z be 10/4*4186/(-805). Which is greater: u or z?
u
Let f = -0.0129 + -125.9871. Which is smaller: 0.01 or f?
f
Let b = -9/698 + -5251/25826. Is b bigger than -1?
True
Let u(s) = -9*s - 2. Let w be u(-1). Suppose 3*a - 20 = w*a. Which is smaller: a or -3?
a
Let u = -0.384 - -0.484. Let q = -2 - 1. Let o be -2 + (540/(-87))/q. Which is bigger: u or o?
u
Suppose -2*y = -v + 11, -4*v = -3*y + y - 50. Let g = v + -15. Which is bigger: g or -8/9?
-8/9
Let b be 6/10 + 2/5. Let h = -43/170 - 21/85. Does h = b?
False
Let i(y) = -6*y + 1. Let k be 2/(-4)*(-24)/(-2). Let h(x) = -7*x + 1. Let w(q) = k*i(q) + 5*h(q). Let d be w(2). Do d and -1/5 have different values?
True
Suppose 0 = 2*z + 1423 + 481. Is -953 at least z?
False
Let r = 3 - 3. Suppose -o = -0*o - 40. Let m be ((-36)/o)/((-48)/(-20)). Is m less than r?
True
Let y = -9167660/837 - -10953. Is y not equal to -1?
True
Let c = 49 + 75. Let p = 127 - c. Which is greater: p or -7?
p
Suppose -o + y = 0, -6 = 2*o + 9*y - 5*y. Do o and -1/1155 have the same value?
False
Let p = 94 - 93.51. Let o = 0.49 - p. Which is bigger: o or -0.006?
o
Let t = 79.61 + -79. Let o = -0.46 + t. Is 1 smaller than o?
False
Let y = -10 + 13. Let t be (-2)/y - (-247)/390. Suppose 3*n = 0, 0 = k - 3*k - 3*n. Which is smaller: t or k?
t
Let a = 411 - 78503/191. Is 0 greater than or equal to a?
True
Suppose -d - 1 + 0 = 0. Let b = -79 + 76. Let g = 12/5 + b. Is g equal to d?
False
Let v be -2*((-2)/4 - 1). Suppose -35*d - 264 = 51. Let u be (-3)/d*(-10 - v). Is -4 bigger than u?
True
Suppose 10 = 5*p - 15. Suppose -p*b = -4*b - 3*b. Is b at least -1?
True
Suppose -2 = -v + f, 3*v - 5*v = 3*f - 9. Let t be 22/v*(-214)/(-12). Let c = -131 + t. Which is greater: c or 1?
1
Let u = -71507/105 - -681. Which is smaller: u or 1?
u
Let w = -66 - -99. Is 33 <= w?
True
Let b = 21 + -1. Let p be ((-106)/(-66) + -1)/(b/30). Is 0.1 > p?
False
Let s = -44 - -33. Let w = 18 + s. Let x = -64/13 + 271/26. Is w greater than x?
True
Let n(j) = -2*j + 7. Let z be n(4). Suppose 3704 = 4*v - 2*u, 0*u - 5*u = 2*v - 1864. Let d be -2*3/v*3. Is d != z?
True
Let l = 6.41 + -6. Let q = l - 0.61. Is q >= 8?
False
Let q = 0.5 + -0.541. Let t = q - 0.014. Which is greater: -0.1 or t?
t
Let x = -13498/25 - -540. Let r be -4 - (-3 - 1)/(-1). Let n(p) = -p - 9. Let k be n(r). Is x greater than k?
True
Let c = -10 - -9. Let j be 3/(-6)*0 + c. Is j less than or equal to 1/60?
True
Suppose -6 = 3*k + 3, 4*k + 6 = -g. Let s be 0*(2 + -3 + 0). Let v be (s + -15)*(-44)/110. Is g less than or equal to v?
True
Let z = -496.8 - -495. Is z != 0.13?
True
Suppose -6*k + k = -15. Let o = 0.613 - 0.003. Let z = o - 0.59. Which is greater: z or k?
k
Suppose 4*g - 2 = -t - t, -g + 4 = 4*t. Let w = 13 + -7. Suppose -w*i + 9*i - 3 = g. Is 0 greater than i?
False
Let k = 0.101 + -0.054. Let r = 0.053 + k. Is -1/26 less than or equal to r?
True
Let a = -8 + 11. Suppose 4*k + 17 = -i, 0*i + 2*i - a*k - 21 = 0. Let n be 2/8*-6*(-4)/3. Which is smaller: i or n?
n
Let n = -647 + 650. Are n and -153 unequal?
True
Let t be (-4)/162*(-1200)/(-160). Is 0 bigger than t?
True
Suppose 9*k - 57 = 6*k. Suppose -5*m + k + 11 = 0. Let c be 1/m*33/11. Which is bigger: 1 or c?
1
Suppose 4*r = 3*o + 2, -2*r = r - 2*o - 2. Let y be (79/(-75) + 1)/(r/(-9)). Is y at most as big as 1?
True
Let h = 7 - 37. Let w be ((-6)/h + 17/(-60))/(-1). Are -1 and w unequal?
True
Suppose 792 = 13*c - 2302. Is 238 smaller than c?
False
Let z = -33/47 + 2891/235. Are z and 12 equal?
False
Let u = -27501/75779 + -5/6889. Suppose 0 = 5*v - 25, 5*v + 0*v = 4*l + 25. Let x be l/(0 + 2 - 0). Are x and u unequal?
True
Let l = 41.7 + -49.7. Suppose -p = 2*p. Do p and l have different values?
True
Let p = -10 - -8. Let s be ((-43 + 3)/p)/(-1). Let a = 23 + s. Which is bigger: 4 or a?
4
Let o(w) = 6*w - 19. Let p be o(10). Suppose -4*x + 2*u - 11 = p, 0 = 3*x - 4*u + 49. Which is greater: x or -13?
x
Let n be ((-66)/18 - -4)*21 - 6. Are -1/253 and n nonequal?
True
Let z be -9*-4*63/(-28). Which is smaller: -83 or z?
-83
Let n = -277 + 82268/297. Let q = 3 - 3. Is n > q?
False
Let v = 3869.39 - 3846. Let c = v - -0.61. Are c and -1 non-equal?
True
Let q = 483/2 + -231. Let c(k) = 8*k + 3. Let g be c(1). Is g at least q?
True
Let m be (3/(-2))/((-3)/(-42)). Let s = 20 + m. Does 6/37 = s?
False
Let r = -8.5 + 8.7. Let o = 2.2 - 2. Let k = r - o. Which is greater: 1/14 or k?
1/14
Let g be ((-30)/(-2))/(2/(-2)). Let b be (g/6 + 2)/1. Suppose -3*j + 4*j + 2 = 0. Is b equal to j?
False
Let s be 22/4*16/44 - -24. Is 13 greater than s?
False
Suppose 14*b - 364 = -994. Which is smaller: -40 or b?
b
Suppose -6*b + 6 = -3*b. Suppose 3 = -b*r + 3. Which is greater: -1/72 or r?
r
Let h = -1950.1 - -1853. Let c = h + 107. Let z = c + -10. Which is greater: z or -0.01?
-0.01
Let n be (0 + (-1)/2)*-38. Suppose -5*y - h = -100, 2*h - 76 = -5*y + n. Suppose -2*u - y = -5*u - 5*l, u - 5 = -l. Which is greater: u or 3?
3
Let y(q) = -q**2 + 2*q + 36. Let d = -12 + 12. Let f be y(d). Suppose 2*k = 6*k - f. Are k and 9 equal?
True
Let c(o) = -9*o**3 - o**2. Let r be c(1). Let b be ((-40)/28)/(1/7). Let q = b - r. Is q > -2/13?
True
Suppose -28 = r + 3*b, 0 = -r + 3*b - 2*b - 28. Let x = -139 - -249. Suppose 3*u = 23 - x. Is r at most as big as u?
False
Let l = -4602 + 2209. Let b = l + 442707/185. Are b and 0 non-equal?
True
Suppose 4*c - 180 = 13*c. Let s be (4/5 - 2)*c/6. Are 4 and s nonequal?
False
Let i(p) = 2*p + 26. Let n be i(-12). Suppose 4*r + 20 = -3*x, r - x + 0*x = n. Is r at most as big as -6/7?
True
Let w = -3 - -2.8. Let j = 8.7 + -8. Which is greater: j or w?
j
Let y = -1449 + 1430. Is -46 smaller than y?
True
Let x = -9 - -17. Let q = 136.4 + -145. Let o = -9.6 - q. Which is smaller: x or o?
o
Let w be ((-2 + 0)/18)/(155/93). Is -1 at least w?
False
Let g be 192/27 + -5 - (0 - -1). Let r be (-6)/8 - 6/(-8). Is r less than or equal to g?
True
Let g(c) = -8*c - 232. Let m be g(-34). Let l(y) = 3*y**2 + 2*y - 1. Let q be l(-4). Is q equal to m?
False
Let p(s) = -23*s - 351. Let h be p(-15). Which is smaller: h or 26?
h
Let t(z) = z**3 - 8*z**2 - 10*z + 10. Let v be t(9). Let g be ((-2 + 0)/v)/((-4)/(-2)). Let o be 5*((-4)/170 - 0). Is o equal to g?
False
Suppose -3*c - 26 = -11, -4*z + 2*c - 70 = 0. Is z less than or equal to -17?
True
Let p(h) = 4*h - 15. Let k be p(5). Suppose -k*f + 2*o = 30, -2*f - 3*f - 25 = -o. Let w be f + (-7)/((-21)/18). Is w at least 4/3?
True
Suppose -103 + 5 = -2*l. Suppose 2*s + 2*d = -s + l, -2*s + 4*d + 6 = 0. Let a = 21 - 10. Is a >= s?
False
Suppose -3*h - 32 = 76. Let o = h + 30. Which is bigger: o or -1?
-1
Let u = 19 + -16. Suppose 3*j = 5*r - 13, -u*r - 2*r + 14 = -4*j. Let f be (0 + 1 + 0)*0. Are f and r equal?
False
Suppose 0 = -3*m - y - 8, -24 = m + 3*y - 8*y. Let q be -3 - (15 + -5 + m). Are q and -11 nonequal?
True
Suppose -2*r + 8 = -r. Suppose -r*k = -4*k - 12. Let a be -4 + 1 + k + -1. Do a and 2/61 have the same value?
False
Let v(f) = -3*f - 25. Let h be v(-6). Let w = -120 - -451/4. Is h greater than or equal to w?
True
Let h(m) = m**2 + 4*m - 1. Let d be h(-7). Is 19 equal to d?
False
Let r = 0.5 + -2.9. Let z = r - -14.4. Let d be 1 + (5 + 9)/(-7). Which is smaller: z or d?
d
Let q = 0.11 - -0.89. Let x = -11.019 + 0.019. Is x greater than q?
False
Let m be (-2781)/(-45)*(-9