2. Is q <= r?
True
Let h be 31 + (-1 - (-1 - 2)) + -1. Let l be (14/(-4))/((-16)/h). Which is smaller: l or -4?
-4
Let p be -30*(-1 + 185/25). Is -192 less than p?
False
Let x be (3 + -5 - -3)/((-1)/(-2)). Let r be (24/x)/((-99)/(-6)). Which is smaller: r or 1/4?
1/4
Suppose -136 = -5*q - y - y, -5*q = -3*y - 146. Let l = q - 31. Let j(b) = 2*b + 4. Let o be j(l). Is o smaller than -10?
False
Let s = 37 + -35. Let l(f) = -f + 1. Suppose 2 - 4 = -x - 2*w, -4 = -w. Let k be l(x). Is k >= s?
True
Let w = -769 + 774. Which is bigger: -26 or w?
w
Let n = 651839/489 + -1333. Is -1 < n?
True
Let w be (-1)/2 - ((-965)/10)/(-1). Which is greater: -4 or w?
-4
Let u be (-18)/4*(-140)/21. Suppose 0*i - u = i. Let m be (-12)/18*i/(-4). Is -7 smaller than m?
True
Let d = -14 + 14.33. Let j = d - -1.67. Which is smaller: j or 2/19?
2/19
Let u = 716 - 705. Which is smaller: 22 or u?
u
Let s = -3476 + 3471. Let g(h) = -h**2 + 2*h + 4. Let o be g(4). Do o and s have the same value?
False
Suppose 4*l - 107 + 30 = 3*h, 0 = -3*l + h + 59. Let a be 195/l + 2/8. Let c be (-8)/(-16)*(-8)/a. Which is smaller: c or 1/6?
c
Let k be 1/(-3) + (-19)/(-3). Let o(h) = 12*h - 118. Let z be o(11). Let m be (-2)/(-3) + z/k. Is 2 smaller than m?
True
Suppose -10*s + 5*s - 20 = 0. Let a = -190 - -420. Let o be a/(-70) + s/(-14). Which is greater: -4 or o?
o
Let s = -1/1513 - -28752/7565. Are 4 and s non-equal?
True
Suppose 2*h + 5*r - 66 = 0, 4*h - h + r = 73. Let d = -9 + h. Is 11 not equal to d?
True
Suppose 3*i - 27 = -6. Let y be 66/8 + (-3)/(-4). Which is bigger: i or y?
y
Suppose 305*x - 7 = 298*x. Are x and 12 non-equal?
True
Let m = -1329 + 1327. Is m less than -72?
False
Let t = -3257/2 + 1597. Let s = t + 31. Which is smaller: s or -36?
-36
Let n(f) = -3*f - 24. Let o be n(-10). Let t(j) = 7 + 4*j + j - o*j. Let w be t(6). Is w at least as big as 1/3?
True
Let b = 27.5 - 7.5. Let i = -22 + b. Which is smaller: 3/10 or i?
i
Let i = -1642/95 - -88/5. Are -2 and i equal?
False
Let l = -2 - -3. Suppose 0 = -4*t, 4*q + 3*t + 20 = -0*q. Let p = q - -5. Which is smaller: l or p?
p
Let g(q) = -2*q + 27*q - 20 + 16 + 13*q. Let c be g(1). Which is greater: 33 or c?
c
Suppose -2*d = -d + 10. Let g be ((-24)/d)/(4/(-20)). Is -12 at least as big as g?
True
Let j = -874 - -4194/5. Is j != -36?
True
Let z(p) = 7*p - 1. Let n be z(-2). Let j be ((-6)/5)/((-3)/n). Suppose -2*l + 6*l + 24 = -k, -3*l = -3*k + 18. Is j at least l?
True
Let n = -36 - -35. Let j = 74 - -103. Let u = -1241/7 + j. Is u greater than n?
True
Let o = -0.01 + -0.1. Let d = 20 + -19.86. Let i = o + d. Do 1 and i have the same value?
False
Let a = 132.8 - 133. Which is bigger: -206 or a?
a
Let d be (4 + -1 + -2)/(-1). Let k(l) = -2*l - 9*l**2 - 4*l + 3*l + 4*l. Let h be k(d). Is -10 at least as big as h?
True
Let f be (-2)/4*(1 + -1). Suppose -b + 4*q = 6*q - 10, -2*q + 10 = f. Let l be (-2)/8*((-2688)/40)/14. Is l greater than b?
True
Let j be 56/(-6) + 9/27. Let k be (6/j)/(469/21). Which is smaller: 0 or k?
k
Suppose 15 = -13*u + 18*u. Suppose 7 = -u*j - 8, 3*g - 2*j + 17 = 0. Is g less than -9?
False
Let s = 499 + -494. Is s equal to 110/17?
False
Let l = -0.04 + 3.04. Let q = 8 - l. Let c be (((-2)/1 - -3) + 1)/1. Which is greater: c or q?
q
Suppose -2*f = 5*s + 581, -3*f - 5*s - 544 = 330. Is -293 greater than or equal to f?
True
Let o = 0.0814 - 0.1814. Is o equal to -66?
False
Let u = 2711/5 - 34713/65. Which is bigger: u or 7?
u
Suppose 0 = 2*l + 17 + 65. Let z = l + 33. Which is smaller: z or -10?
-10
Let q be 448/88 + -7 + 4. Are 2 and q non-equal?
True
Let j(s) = s**3 - 4*s**2 - 3*s + 27. Let o be j(3). Let l = -0.25 - -0.28. Which is smaller: l or o?
l
Let b = -44 - -44.1. Let y = 17 + 44. Is y greater than b?
True
Let v = 15 + -16. Let t be (-4)/18 - (-25199)/(-45). Let q = t + 558. Is q at least as big as v?
False
Let t = -0.176 + -0.034. Let r = -0.61 - t. Let a be 4/(-6) - (-4)/9. Which is bigger: a or r?
a
Suppose -4*j - 26 = -2*p - 5*j, -4*j + 26 = 2*p. Let y = p - 12. Is 2/107 greater than y?
False
Let t = 7 - 13. Let c be 1*3/(-3) + -1. Let m be 15/9*(c - 1). Do t and m have the same value?
False
Let c = 531 - 565.8. Which is smaller: c or 0?
c
Let y be ((-15)/(-6))/((-5)/10). Let u be (y - (2 - 4)) + 6. Let h be (-1)/(-15)*u/2. Is 0 equal to h?
False
Let o = -13 + 7. Let k be 8*(-4)/480 + (-59)/15. Do o and k have the same value?
False
Suppose 3*o - 116 = -o. Suppose -3*m = -5*u + 13, -3*u - 2 = 3*m - o. Are m and 21/4 equal?
False
Let v be 4 + -9 - (-170)/8. Is v greater than 17?
False
Let s = 25 - 14. Let l be (-1)/(-1) - (s + -12). Is 3 >= l?
True
Suppose 3*a = 6 - 0. Let n be (-6)/(-3)*a + -3. Suppose 0 = 4*k + 6*l - 4*l - 16, -5*l = -10. Which is smaller: k or n?
n
Suppose 5*f = y - 3*y + 1147, -915 = -4*f + y. Let p = -104 - f. Let r be (-8)/(-14) + p/252. Which is greater: 3 or r?
3
Let h(g) = g**3 + 5*g**2 + 2*g - 2. Let c be h(-4). Let z(x) = -x**3 + 6*x**2 - x - 11. Let o be z(c). Which is smaller: -18 or o?
-18
Let w = 83 + -56. Let f = w - 27. Is 2/5 <= f?
False
Suppose -6*i - 1182 = 5*l - 3*i, 236 = -l - i. Which is smaller: l or -236?
l
Let q = -91 + 52. Let t = 26 + q. Let b = t - -13. Which is greater: b or -1?
b
Suppose 2*q + 2 = -4*h - 6, 5*h - q = 4. Let u = 2194 + -120673/55. Which is smaller: u or h?
u
Let s = 4 - 16. Suppose -5*l + 3*l + 16 = -4*w, 0 = 2*l + w - 6. Suppose 2*g = -4*u - u - 55, 0 = -l*g. Is u at least s?
True
Let n = -2.21 - -0.01. Let y = n - -1.2. Let k = 1.4 - 9.4. Is k bigger than y?
False
Let d = 94 - 61. Suppose 0 = -2*u + 2*h + 18, -2*h + d = 3*u + h. Let f(p) = p**2 - 11*p + 11. Let k be f(u). Is -0.4 <= k?
True
Let t = 11.3 - 10.3. Which is bigger: -132 or t?
t
Let n = 112 - 110.04. Let q = n - 1.9. Let b = 0.06 - q. Are -0.01 and b non-equal?
True
Let v = 228 + -467. Are v and -239 equal?
True
Let d be (2 - 9)*(-2 + 3). Let y = -10 - d. Let i be 9 + -6 + 8/y. Is 0 greater than i?
False
Suppose 0 = 4*s - u - 10 - 22, 5*u - 8 = -4*s. Suppose 3 = 8*g - s*g. Let j be 1/((-52)/(-18) - g). Which is smaller: j or 1?
j
Let x be (-4)/(-10) + (-224)/735. Let o = x - -13/84. Let q = -1.1 - 5.9. Which is smaller: q or o?
q
Let t(j) = 2*j**3 - 12*j**2 - 15*j + 8. Let w be t(7). Is w less than or equal to 2/587?
False
Suppose 0 = -3*l - 2*l - 2*h - 96, 4*l + h = -75. Let z be (-2 - 0) + 10 + -8. Let f = -18 + z. Is f bigger than l?
False
Suppose 143*o - 147*o = -108. Is 29 < o?
False
Let n(c) = 6*c - 16. Let w(k) = -3*k + 8. Let p(s) = -4*n(s) - 9*w(s). Let i be p(4). Suppose 2 = -3*f + 17. Which is smaller: i or f?
i
Let h = 3/65 + -28/2015. Let a = 110 - 109. Are h and a unequal?
True
Let p = 37.088 + -0.088. Let d = -36.8 + p. Let s = 7 - 7.3. Is s greater than d?
False
Let s be 2/5 + 1848/105. Suppose -2*y + 52 = -s. Which is bigger: 67/2 or y?
y
Let z = 4 - -3. Let q = z + -13. Let g be (-14)/(-78) - 20/(-130). Are g and q unequal?
True
Let u = 391 - 293. Which is bigger: u or 96?
u
Suppose 0 = 22*a - 20 + 108. Is a > -5/2?
False
Let a be (-3468)/(-30) + (7 - 11). Is 112 less than a?
False
Suppose 3*a + 5*m = 11 + 2, 5*m = -5. Let x(d) = 2*d**2 + 36*d + 98. Let w be x(-15). Which is greater: w or a?
w
Let s = 7 + -8. Let o(z) = 2*z**2 - 15*z + 10. Let j(p) = -p + 1. Let q(d) = 6*j(d) - o(d). Let g be q(4). Is s at most g?
True
Let k(l) = -l**2 + 3*l + 2. Let w be k(3). Is 64/27 greater than w?
True
Suppose 4*c - 90 = 18. Is c greater than 29?
False
Let c = -352/5 + 70. Let p = 0.4 + -1.5. Let x = p - 0.1. Which is greater: c or x?
c
Let o = 65 + -66. Let s = -0.02 + -0.28. Let l = s - -0.2. Is o at most as big as l?
True
Let z be 2/22 + 3/(-5379)*196. Is z at least -2?
True
Let h = -646 + 531. Is h less than -0.2?
True
Suppose -244 - 266 = 15*p. Is p equal to -31?
False
Let l be -12 - -2 - (-1 + 0). Let p = -2887/3 + 953. Is p smaller than l?
True
Let l = 703.66 - 712. Let j = 8.3 + l. Which is bigger: -1/4 or j?
j
Let k be 40/3 + 4/(-12). Let m = 23 - k. Suppose 30 = -0*s + 3*s. Is s != m?
False
Let h be 2472/(-410) - (29 - 35). Is 1 less than or equal to h?
False
Let r(p) = p**3 + p**2 + 2*p. Let v be r(0). Suppose -2*i + 1 = -b + 2*b, 2*b + 2*i = v. Is 1/37 less than b?
False
Suppose 5*l + 10 = 0, -l - 1201 = 3*b - 230. Is -322 greater than or equa