Which is greater: k or 2?
2
Let q = -27.64 + -0.36. Let s = q + 16. Let b = 12.1 + s. Which is smaller: 3 or b?
b
Let b = 7.7 - 8. Let m = 2.08 - 2.1. Let p = -0.02 - m. Which is greater: p or b?
p
Let d be (-3596)/1804 - -1 - (12 - 13). Is d != 0?
True
Let m be (-40)/15*(-2)/4*3. Is -12 at most as big as m?
True
Let b(r) = r**2 - 15*r - 29. Let z be b(17). Suppose -z*y = y + y. Which is smaller: -1 or y?
-1
Let w = 29140887 + -2243962565/77. Let k = w - -1484. Are k and -1 non-equal?
True
Suppose -13*x = -9*x + d - 2046, -6 = -3*d. Is 511 > x?
False
Suppose -1786 + 1780 = -6*s. Are s and 5/44 nonequal?
True
Let w be ((-42)/15)/(162/20 + -8). Is w > -29?
True
Let h = 361 - 418. Let d be (2 - (-26)/(-2)) + 2. Let j be (d/h)/(9/(-6)). Does -1 = j?
False
Let z = -2047/85 - -121/5. Let v(i) = 5*i - 9. Let w(r) = -6*r + 10. Let q(n) = -7*v(n) - 6*w(n). Let b be q(-4). Which is smaller: z or b?
b
Let o be 7/(15498/712) - 0. Let j = o + -10/27. Is -1 >= j?
False
Let y be -1 - (4 + -3) - 1. Let b = 5 - 9. Let f = y - b. Which is greater: 0 or f?
f
Let z(f) = -2*f**2 + 13*f - 16. Let h be z(5). Does -2/23 = h?
False
Let o = 15 - 8. Let u be 710/88 - (53/11 - 5). Is o < u?
True
Suppose 0 = 9*i - 12 + 66. Let s be 3*(-1 + 3)/i + 1. Does -1 = s?
False
Let z be (69/4)/((-222)/2960). Which is greater: z or -457/2?
-457/2
Let f(x) = x**2 - 9*x + 11. Let l be f(6). Let p be (2 - l) + 1*-2. Suppose -11 - 13 = -3*k - 3*q, -p = -4*k + q. Is k greater than 4?
False
Suppose 1706 = 12*m + 674. Let x = m + -89. Suppose -2*z + 5*z = -12. Is z less than or equal to x?
True
Let m = -0.398 + 0.35. Let t = 32.048 + m. Let y = t - 31.3. Which is bigger: y or 0?
y
Let h be (36/(-50))/((-6)/30). Suppose 5*m = 3*y + 9*m - 12, y = -3*m + 4. Is y greater than h?
True
Let z = -445 - -444. Which is bigger: -20/149 or z?
-20/149
Let g = -2.1 + 1.8. Let m = g + 11.3. Is -2 at most as big as m?
True
Let x = -15 + -10. Let j = 1.07 + -3.07. Which is bigger: x or j?
j
Let w(j) = j**3 + 46*j**2 + 56*j + 98. Let x be w(-45). Which is smaller: x or -396?
x
Suppose 0 = -7*v + 5*v - 10. Which is bigger: 117 or v?
117
Let q = 0.138 - -69.862. Let c = q + -71. Do c and -16 have the same value?
False
Suppose -2*p = -3*p + 2. Suppose c = -3*c + z + 13, 0 = -2*z - p. Suppose w = c + 4. Which is greater: 3 or w?
w
Let b be 5*-1*(5 + -6). Let d = -3 - 7. Let q be (-8)/d*b/(-3). Which is smaller: q or -0.1?
q
Suppose -5*u + 0*u + 35 = 0. Which is greater: 26 or u?
26
Let k = -192 + 193. Are k and -2/283 equal?
False
Suppose 2*m = -m - 42. Let o = m - -32. Do o and 19 have the same value?
False
Let c be (-28)/(-4)*4/14. Suppose 0 = -2*l + 3*y + 8, -l + 7 = -y - c*y. Which is smaller: l or 5/4?
l
Let x = -0.2 - -0.3. Suppose -3*r = -a + 16, 4*a - r - 3 - 6 = 0. Let o(y) = 8*y**3 - 2*y + 2. Let m be o(a). Which is bigger: m or x?
m
Let r = -16 - -16.18. Let o = r - -6.82. Let i = 1145 - 1144. Which is greater: i or o?
o
Let h = 110 - 112. Is -30/11 less than or equal to h?
True
Let n be (-16)/(-6) - 3/(-9). Let x(v) = v**2 + 19*v. Let u be x(-19). Which is smaller: n or u?
u
Let n = -3/145 + -414/1015. Let h(c) = -21*c - 1133. Let s be h(-54). Which is greater: s or n?
s
Let x = -1971/4 + 492. Is 2/199 bigger than x?
True
Let n = 0 - -1. Let q = 63.1 - 63. Is n greater than q?
True
Let p = -2.538 + 1.57. Let g = p + -0.032. Let t be -3*2/(-3) + 1. Are g and t unequal?
True
Let n(p) = p + 11. Let k be n(-11). Let m = 11 + -7. Suppose k = -m*u + u + 3. Is 3 at most u?
False
Let p be (-3)/3*(-3)/(-1020)*-1522. Let i = p - -2/85. Let s = -0.1 + -0.9. Do s and i have the same value?
False
Let s(k) = -5*k**2 + 38*k - 20. Let d be s(7). Let m(z) = z**3 + 3*z**2 - 4*z - 3. Let p be m(-3). Which is smaller: p or d?
d
Suppose -1 = -2*g - d, 0*d = g - d - 8. Let j be (6/2 - g) + -14. Is -14 not equal to j?
False
Let z(n) = n**3 - 11*n**2 - 11*n - 11. Let r be z(12). Let c be (-5 - -1) + -1 + r. Is -6 at least as big as c?
False
Let h = 29829 + -835323/28. Let l = h + 26/7. Which is smaller: -3/20 or l?
l
Let w = 3.191 + -0.051. Let u = w - 0.14. Let f be (2 - 4) + (-3 - -6). Which is greater: f or u?
u
Suppose v + 2*s = -6, 0 = -8*v + 5*v + 4*s + 32. Is v at most 46/15?
False
Suppose -5*x - 15*x = 880. Let j = x - -219/5. Which is smaller: 0.1 or j?
j
Let l = 24 + -21. Let u(b) = b**2 + 3*b + 2. Let z be u(l). Is z at least as big as 20?
True
Let a = -6 + 12. Suppose -a*j - j - 7 = 0. Suppose 3*r - 5 + 2 = 0. Which is smaller: j or r?
j
Let m = -515 + 496. Suppose -4*q = 157 - 21. Let z be 11/(-22) + m/q. Are -0.1 and z unequal?
True
Let w = 123/65 - 35/13. Let b(x) = -x**3 + 6*x**2 - 5*x + 5. Let t be b(5). Suppose 5*k + m = k - t, 5*m - 21 = 3*k. Which is greater: k or w?
w
Suppose -5*n = -f + 53, 3*n + f + 24 = -f. Let a = n - -8. Do a and -3/5 have the same value?
False
Let i be -3 + -1 + 1 - -55. Let q = -52 + i. Which is greater: 1/22 or q?
1/22
Let r be (-2)/(2*3/(-3)). Let y be (9 - 11)*1 - 0. Which is smaller: y or r?
y
Let v be (-250)/(-14) + -1 + (-3)/(-21). Suppose 2*o + v = b + 6, -4*b + 30 = -o. Which is greater: b or 9?
9
Let v(o) = -o**3 - o**2 + o + 2. Let b be v(0). Let y = 3 - b. Let r(a) = a**3 - 16*a**2 - 37*a + 20. Let i be r(18). Is y < i?
True
Let h = -2653 + 76946/29. Let f = 113/551 - h. Which is smaller: f or 0?
f
Let z(j) = j + 11. Let p be z(-9). Let h be (-4)/(-8)*(2 - p). Let v = -5 + 12. Which is smaller: v or h?
h
Let u be 19/3 + 5/(-15). Suppose u = s - 1. Suppose -f - 6 = -s. Which is greater: f or -2/9?
f
Let c = 59 - 59. Suppose c = 3*i + i + 84. Is i at least as big as -20?
False
Let k = -1.3 - -1.1. Let p = 1/12 - 17/12. Is k at least p?
True
Let v = 5 + -4.96. Let u = v + -0.24. Let h = 10/13 + -84/143. Is u less than h?
True
Let y = -19 + 42. Let j = -23 + y. Suppose -3*h = -j*h + 4*i - 49, h = 3*i - 1. Is 11 > h?
False
Let r be (-1)/(-3) - (-2)/3. Let t be 12/(-30) + 12/(-15). Let x = t + r. Which is smaller: x or -2/5?
-2/5
Let a = -2.06 + 0.06. Let s = 0.7 - 0.7. Let c = -5 - s. Which is greater: c or a?
a
Let w(y) = y - 4. Let s be w(4). Let a = -2456/11 - -224. Which is smaller: s or a?
s
Suppose 8*l = 41 - 49. Are -2/219 and l unequal?
True
Suppose -3*o + 2*u = -1 - 1, -3*u = -5*o + 4. Let f be ((-3)/(-3) - 0)*-2. Let x(p) = -p**3 - 2*p**2 - 2*p - 3. Let n be x(f). Is o at least n?
True
Let g be 1 - 1 - (-29)/2. Let a = g - 16. Let o = 60 - 299/5. Which is smaller: a or o?
a
Let k = -16 - -16. Let c be 3*(0 - 3/33). Which is bigger: k or c?
k
Let c = -0.015 + 23.015. Which is greater: -4 or c?
c
Let l(s) = -3*s + 7*s + 2 + 4 - 3*s. Let p be l(-7). Which is greater: 8/33 or p?
8/33
Let s(y) = 43*y - 1620. Let g be s(38). Suppose 41 = 3*f + 4*b, -4*f - f = 4*b - 71. Which is bigger: g or f?
f
Let v(r) = r - 2. Suppose 2*m + 3*x = -13, -4*x - 14 = m - x. Let l be v(m). Let k = 1090/7 - 156. Which is bigger: l or k?
k
Let i(c) = 2*c**2 - 32*c + 33. Let t be i(15). Which is smaller: t or -3?
-3
Suppose -64 = 3*c + 2*p, 0 = -2*c + 4*c + p + 43. Is -25 bigger than c?
False
Let a be 468/845 - 8/20. Which is smaller: -2/431 or a?
-2/431
Suppose -5*p - 14 = s - 69, 3*p = 2*s - 71. Which is greater: s or -3?
s
Let t be -12 - -16 - (-296)/(-20). Which is bigger: -12 or t?
t
Let p = -15.79 - -16.79. Is p <= 1473?
True
Let j be (-42)/(-8)*((-64)/24 + 4). Which is bigger: -7 or j?
j
Suppose -2*r - 5 = -7*r, 5*x = -4*r + 169. Suppose -2*d - d + x = 0. Let y = d + -6. Which is greater: 6 or y?
6
Let m be 308/(-20) - 4/(-10). Let a = m + 19. Suppose -a*o + 12 = 2*s, -3*o + 6*o = 15. Are -6 and s equal?
False
Suppose -r + 36 - 10 = -3*v, 2*r - 3*v - 49 = 0. Suppose -3*t + r = -1. Suppose 0 = -t*k + 6*k. Is -1/2 equal to k?
False
Let b(u) = -2*u**2 + 10*u + 1. Let g be b(5). Suppose -2*z = 3*j - 3, -7 = -z - 3*z - 5*j. Suppose 2*n + 3*o - 3 = z*n, -4 = -2*n - 4*o. Is n at most g?
True
Suppose -4*g + 17 + 3 = 0. Suppose -g*l + 28 = -3*q - q, -q + 2 = l. Let p = -7147/12897 + -2/1433. Is p less than or equal to q?
False
Let p be ((-576)/(-23936))/((-3)/(-4)). Is p <= 1?
True
Suppose w + 4 - 1 = 3*n, -2*w = -5*n + 6. Suppose -3*i = -n*i. Suppose i = -6*y + 5*y. Which is greater: y or -3/7?
y
Let l = -1.1 - -0.1. Let b = 24.038 - 0.038. Let u = -27 + b. Which is bigger: u or l?
l
Le