 Is -17/3 less than or equal to o?
False
Suppose 3*c - 46 = -7. Suppose 9 = v - c. Suppose -2*q - 3*d = d + v, 4*d + 16 = 4*q. Which is bigger: q or 1/11?
1/11
Suppose z - 2*z = -7. Suppose c = -5*m + 121, -88 = -4*m - 3*c - 0*c. Let b = 32 - m. Are b and z equal?
True
Let s be 3/((-1)/(-2)*-3). Let k be 250/780 + -2*s/(-24). Is -1 greater than k?
False
Let g(d) = -2*d**2 - 14*d - 1. Let h be g(-7). Which is smaller: h or -271?
-271
Let z = 125 + -72. Let a be 15/(z/18 + -3). Let k be -5 + 1 + a/(-69). Is -1 equal to k?
False
Let z be -4 + 315/65 + -1. Suppose -4*y + 3*y = 0. Let k = 1 + y. Which is smaller: k or z?
z
Let o = -8 + 7. Suppose 67 - 22 = -5*q. Let r = 9 + q. Which is bigger: r or o?
r
Let x = 123.8 + -129. Let i = 8.2 + -6. Let o = i + x. Which is smaller: o or -4?
-4
Let k = -1115 - -2076. Is 960 greater than k?
False
Let j = -11/125468 - 71578889/6900740. Let c = -91/10 - j. Which is smaller: 1 or c?
1
Suppose 46 = -4*l + 3*l. Let d = l - -55. Let c = 31 - 22. Is d bigger than c?
False
Let d be (-2 + -8)*2/(-4). Let m = -7 + d. Let f be (m/((-4)/6))/(-11). Which is greater: 1 or f?
1
Let y(s) = -2*s + 11. Suppose 16 = 7*c - 3*c. Let m be y(c). Is m at least as big as 5?
False
Let u = 0.3 + -0.11. Let n = u + -0.19. Which is smaller: n or 5?
n
Let h be (-5)/((-10)/(-6)) - -2. Let i = -18952/27 - -702. Which is greater: i or h?
i
Suppose -y - 2*v + 42 = 10, -96 = -3*y - 2*v. Suppose 5*w + 0*w + 55 = -5*s, 2*w - 3*s = -y. Which is bigger: 1 or w?
1
Let b be 20/3 + (-7)/(-21). Let t be 6/18 - b/15. Let j = 1/15 - t. Are j and -1 non-equal?
True
Let z = -0.01 + -0.07. Let g = 0.18 + z. Let k = 16.959 - -0.041. Is g equal to k?
False
Let v be 1/(27/6) - 125/(-45). Suppose -3*c - 4*k = -3 - 1, -v*c - 3*k = -3. Which is bigger: 0.13 or c?
0.13
Let l(p) = -p**2 - 2*p + 4. Let n be l(-3). Suppose 3*y = 3*b - 53 + 14, 0 = -4*b + 12. Let i be (-2)/y - 4*(-6)/(-120). Which is smaller: n or i?
i
Let d = 4 + -3.7. Let k = -12 + 11. Let q = -2 + k. Is d equal to q?
False
Let z be (-1)/((3/17)/(4209/92)). Does z = -260?
False
Let y = -75 + 336. Let j be 4/(-20) + y/(-95) + 2. Which is smaller: j or -2?
-2
Let x = 8.84 - -0.16. Let r = x - 8. Let b = -37 + 36.9. Is r at least as big as b?
True
Suppose 0 = 3*r - 2*k + 2603, 4*r - 4*k + 1911 = -1553. Do r and -871 have the same value?
True
Let m(q) = -q + 19. Let j be m(9). Suppose k = 3*k + j. Are -2 and k nonequal?
True
Suppose -4*q = 4*h - 0*q + 28, -3*q = h + 13. Let g be ((-2)/(-3))/(2/18). Let l be h/72*8*g. Are -2 and l unequal?
True
Let b = -4 + 3. Let j be b/((-3)/(-9)*1). Let i be j/((-2 + 1)*3). Is -4 greater than i?
False
Suppose -2 = i + 4*q - 8, -i + q + 11 = 0. Let u = 4 + 3. Is i > u?
True
Let b = -345 + 246. Let o = -12 + 10. Let w be b/22*o/(-12). Is 0 < w?
False
Suppose 7*u - 12*u - 75 = 3*g, -5*u - 85 = 5*g. Suppose 4*y + 6 = -42. Is u bigger than y?
False
Let f = 5668347 + -243774829/43. Let z = -835 - f. Are 1 and z non-equal?
True
Let y = 119 + -52. Let m = -332/5 + y. Let o = -1 + 1.1. Is o < m?
True
Suppose -7 + 667 = 15*d. Which is bigger: -0.2 or d?
d
Suppose 304*o = 299*o + 1500. Is o greater than 300?
False
Let d(m) = 4*m + m**2 + 4*m + 10 - 10*m + 3*m. Let i be d(0). Let c = 11 - i. Is 3/10 != c?
True
Suppose -212*z + 215*z + 144 = 0. Which is smaller: z or -187/4?
z
Let m = -3238/28417 + 31/181. Is -1 != m?
True
Let d = 0 - 0.05. Let a = -45.2 + 232.2. Let x = a + -186. Is x at most as big as d?
False
Let j = -0.106 + 0.046. Let a = 0.01 - -1.99. Is a < j?
False
Let i = 15 + -12. Let t be (-9)/i - (0 - 1). Let p be 12/(-108) - (3/(-27) + 0). Is t smaller than p?
True
Let b(k) = 40*k + 10. Let g be b(-2). Which is greater: g or -344/5?
-344/5
Let k = -4 + 3. Let s = 22 - 21.68. Let z = -0.12 + s. Which is bigger: k or z?
z
Suppose -9*b + 6 = -10*b - 3*o, 2*b + 3*o = -3. Let i be (-1)/3 - (-38)/15. Which is bigger: b or i?
b
Let n = -303 - -621/2. Which is smaller: 9 or n?
n
Let t be (-1)/(37/(-5659)) + 0. Suppose 2*b + 0*s - 3*s + 291 = 0, -4*b = -3*s + 597. Let x = t + b. Is -2/7 at least as big as x?
False
Let x be ((-324)/(-57) - 3) + -3. Suppose -8 = -5*d - 2*w, d - 3*w - 2 = -14. Suppose -5*s = -d*s - 5. Which is greater: s or x?
s
Let c(o) = -o**3 + 10*o**2 + 13*o + 10. Let z be c(11). Suppose -24*h = -z*h. Is 8/11 > h?
True
Suppose -7*h = -12*h - 25. Let b be (-14 - h)*2/3. Which is bigger: -5 or b?
-5
Suppose 0 = -2*p - 25 + 13. Let j = 4 + p. Let m = 7/3 + -17/6. Which is smaller: m or j?
j
Suppose -2*m + 40 = 2*m. Let s be (7/35*-6)/((-68)/m). Does -1 = s?
False
Let w(d) = -d**3 - 10*d**2 + 12*d + 10. Let s = 102 - 113. Let b be w(s). Is 6/17 smaller than b?
False
Suppose 4*t - 21 = -5*k, -4*k = 2*t - t - 19. Let z be (1 - t)*14/84. Is z < 3/8?
True
Let j = 3/49553 - -235327185/198212. Let m = j - 1180. Is 8 > m?
True
Let p be 4/26 + (-2664)/(-13949). Is 4 < p?
False
Let h(l) = -l**2 - 13*l - 10. Let y be h(-8). Let b = -37 + y. Is b >= -7?
True
Let n be (-1)/(-3) - (-10)/6. Suppose -a + 0 = -n. Let x = -226562/5 + 45314. Which is greater: a or x?
a
Let p be (7/(14/(-2)))/(18/303). Which is bigger: p or -16?
-16
Let d = -81.23 + 82. Let l = d - 0.07. Let a = -0.8 + l. Which is bigger: a or -6/7?
a
Let k = -7 + 9. Suppose 5*y = -k*f, -5*y - 26 = -5*f + 44. Do 1/7 and f have different values?
True
Let u be (4/10)/((-1)/(-120)). Let h be (-40)/u*3/4. Let c be -1*2/4*4. Does h = c?
False
Let r be 0/(5 + -2)*1. Which is smaller: -7/44 or r?
-7/44
Let y = 10 + -6. Let d be (-5 + 2/y)/((-3)/(-4)). Is 1/3 bigger than d?
True
Suppose -2*w + 5*w = -5*m + 21, -3*m + 4*w + 1 = 0. Let x = -3.2 - -3.115. Let p = x + -0.015. Which is bigger: p or m?
m
Let c = -34 + 41. Let l = -16 - -8.9. Let w = c + l. Which is smaller: w or 7?
w
Let y be ((-6)/(-104))/(90/(-60)). Which is smaller: -0.24 or y?
-0.24
Let b be 3/12 - (-28)/16*1. Suppose b - 6 = k. Which is greater: k or -2?
-2
Let n(v) = v + 11. Let b be n(-6). Suppose -3 - 11 = 5*d + 3*x, b*d - x + 2 = 0. Is d != -7?
True
Let f = -287/35040 - 1/480. Which is bigger: f or 1?
1
Let s be 18/(-5)*15/3. Let f = 20 + s. Which is smaller: f or 9/13?
9/13
Let r be (-8)/10*(1 + 3 + -9). Suppose 24 = -r*w + 28. Which is greater: -2/25 or w?
w
Suppose -4*o - 3*x = -117, -x = -5*o + 2*o + 91. Let l be 3/5 - 87/o. Is l greater than -2?
False
Let h(m) = -15*m**2 - m + 1. Let r be h(1). Suppose 31*i + 3*j - 21 = 33*i, 0 = -4*i + 2*j - 54. Is i less than r?
False
Suppose 3*g + 5 = -d + 2*g, d - 3*g = 7. Let a be d*((-196)/16)/(-7). Let u = -6 + 3. Is a at most u?
True
Suppose -8 - 182 = -5*s - 2*g, 4*s = g + 152. Suppose -4*m + s = 5*d, -5*d - m + 19 = -13. Is 1 equal to d?
False
Let x = -2.1 + 0.3. Let v = x - -1.67. Let f = v - -0.15. Which is greater: f or 0?
f
Let m = -217 + 217. Which is smaller: m or -0.103?
-0.103
Let o = -12 - -4. Let b be (o/(-4) - 2) + 0. Which is greater: b or -2/45?
b
Let o be (-3)/(-3) + 1 - 9. Let d = -1 + o. Let w be (-50)/(-60)*d/(-30). Are w and -1 equal?
False
Let r(k) = k + 1. Let m be r(-3). Let a = -13 + 4. Let p be (2/(-6))/(a/(-54)). Is p less than m?
False
Let z(x) = -x**3 - 11*x**2 - 9*x + 9. Let v be z(-10). Let t(b) = -2*b**3 + 3*b**2. Let d be t(2). Let j be ((-1)/4)/(13/d). Is j bigger than v?
True
Suppose 3*t = 5*a - 33 - 25, 5*t = 3*a - 86. Let l(m) = -m**3 + 56*m**2 + 175*m + 104. Let p be l(59). Which is greater: t or p?
p
Let q(t) be the first derivative of 11*t**3/3 + 5*t**2/2 + 4*t - 7. Let h be q(-1). Which is smaller: h or 7?
7
Let j = -2.005 - -0.005. Let c be 3/(-15) + 57/(-15). Let w = c - -4. Which is greater: j or w?
w
Suppose -2*x - 2*x = -4*c - 20, -4*x - c = -15. Let j be 0*(49/21)/7. Which is greater: j or x?
x
Suppose -y = j + 37, -2*j + 76 = -4*j - 3*y. Let m be (-124)/(-238) - (-10)/j. Are 1 and m non-equal?
True
Suppose -23 = 3*w - 4*w. Let n be -3 - (-8)/(-12)*474/16. Let v = n + w. Is 3/13 bigger than v?
False
Let a = -3 + -1. Let s = 8 + a. Let l = s - 4.3. Is l equal to 0?
False
Let l(k) = -k + 7. Let m be l(5). Let z = -757 + 758. Which is greater: m or z?
m
Let h = -1.6 + 0.5. Let t = h + -0.8. Let m = 5.1 - t. Which is smaller: 1 or m?
1
Suppose 4*k - 76 = -5*r, -11*k = -r - 6*k - 8. Suppose -r*o - 15 + 39 = 0. Let d = -565/4 - -142. Which is bigger: o or d?
o