6*m - r*b. Let u = -2/11 + 27/88. Which is smaller: m or u?
m
Let d = 29 + -27. Suppose 2 = -d*l - 6. Does l = -6?
False
Let j = 217 + -397. Is -181 != j?
True
Let q = 331 - 303. Do q and 29 have the same value?
False
Let d = 1.9 - -45.1. Let h = 47.2 - d. Are h and -1 unequal?
True
Let a be 3/(-54) - 125158/(-396). Is a greater than 315?
True
Suppose -23*s + 3296 - 24410 = 0. Is s at most as big as -917?
True
Let w be -1 + 2/((-12)/1). Let q(a) = -a**2 - 31*a + 30. Let f be q(-32). Is f > w?
False
Let j(s) = s**2 - 4*s + 3. Suppose 2*x + 10 = 46. Let q = x - 15. Let r be j(q). Which is smaller: 2 or r?
r
Let n be 3 + 6005/30*-2. Let t = 2135/6 + n. Let q = t - -43. Is q < 1/2?
False
Suppose -9 - 19 = -4*o. Suppose -s - 12 = -m, -2*s + 20 = m - o*s. Which is greater: 5 or m?
m
Let o = -62 - -554/9. Let g = 9 + -6. Suppose -g*u = u. Is u smaller than o?
False
Let q be (15/(-30))/((-2)/112). Suppose -2*m + q + 54 = 4*o, -3*o + 5*m = -94. Which is greater: o or 22?
o
Let x = -2 + -5. Let a = x + 6. Let o = 21/31 + -107/341. Which is bigger: o or a?
o
Suppose -7*a + 8 = -6*a. Let n = a - 8. Let s = 71/8 + -433/56. Which is greater: s or n?
s
Let b = -9.8 + 11. Let a = 0.2 - b. Let u be (-28)/6 - -1*(9 + -4). Is a smaller than u?
True
Let q = 19.3 - 19. Let o = q - -1.4. Let b = -1.4 + o. Are b and -2 unequal?
True
Let c = -0.254 - -2.254. Is c less than or equal to -0.44?
False
Let u = -41/198 + -1/66. Is u greater than 0?
False
Let k be (-1)/4 + 396/48. Suppose 4*z - k = 3*z. Suppose z*s - 5*s = 0. Which is greater: s or -2/29?
s
Let s be (-120)/(-100) - (2 - (-1018)/(-35)). Which is smaller: 28 or s?
28
Let c = 443 - 235. Which is smaller: 209 or c?
c
Let v = 159 + -30. Is 129 != v?
False
Suppose -5*k + 0 = -10. Suppose 2*s = -4*d + 66, 0*d - k*s = -3*d + 67. Is d less than 18?
False
Let c be ((14 + -2)/6)/(21/24). Which is smaller: c or 0.3?
0.3
Let y(m) = -m + 5. Let p be y(2). Is p at most as big as 16/7?
False
Let k(g) = -g**3 - 14*g**2 - 12*g + 16. Let b be k(-13). Suppose -b*a + 3 = 0, -5*a + 85 = -c + 3*c. Is c at most as big as 41?
True
Let q(u) = 10*u - 58. Let a be q(6). Which is smaller: 33/14 or a?
a
Suppose -342*m + 7 = -335*m. Does m = -4/139?
False
Let h(c) be the third derivative of c**6/120 + c**5/30 + c**4/12 - c**3/6 - 5*c**2. Let n be h(-2). Let m = n - -4. Is -2/7 != m?
True
Let n = -495 + 509.05. Let y = n + -14. Let r = y + -0.05. Are r and -2 equal?
False
Let u = 233 + -233. Is -0.342 at least u?
False
Suppose -96 = -2*t + 32. Is 65 < t?
False
Let w be (-882)/27 - (-1)/(-3). Let h = 34 + w. Let c be (7 - h)*(-5)/110. Which is smaller: c or -0.1?
c
Let o = -239 + 216. Let g = 23 + -43. Is o less than or equal to g?
True
Let s(m) = -m + 13. Let i be s(11). Let f be -4*(i + 48/(-28)). Is f less than or equal to 0?
True
Let k = 2128 + -2127. Let d be 53/95 - 8/20. Is k bigger than d?
True
Let j be (-8)/6*90/(-380). Which is smaller: j or 1?
j
Let w(p) = p**3 + 5*p**2 - 23*p + 17. Let t be w(-8). Do 10 and t have different values?
True
Let t = -16/7 + -18/7. Which is bigger: t or -6?
t
Let n = -7 - -13. Let h = 24.1 + -24. Is h <= n?
True
Let q(s) = 7*s**3 + s**2 - 3*s + 2. Let z be q(1). Let u be (z/5 + 8/(-20))/(-1). Is u equal to 3?
False
Suppose -5*d + 5 + 17 = 4*r, r + d - 6 = 0. Suppose r - 3 = 5*c. Let z be (-5)/45*1/c. Is z less than 0.1?
True
Let p = 15 - 12. Suppose 15 + 7 = -3*x - 5*z, p*x + 3*z = -12. Let f = 1 + x. Is 5/2 smaller than f?
False
Let m(f) = f - 20. Let v be m(14). Let r = -6 + -1. Which is smaller: v or r?
r
Let l(q) = -q**2 - 14*q + 85. Let c be l(-24). Is -154 at most c?
False
Let a(o) = 16 - 27 + 3*o + 17. Let d be ((-6)/(-3))/((-4)/6). Let c be a(d). Are c and -4 equal?
False
Suppose -c = -0 - 5. Suppose 0*z + 2 = 2*z + 3*b, 4*z = -3*b + 10. Suppose -21 - z = -5*y. Is c at least y?
True
Suppose q + 58 = -4*q + o, 2*q - 4*o + 16 = 0. Let u be -3*(-7 + 8) - 8. Which is smaller: u or q?
q
Let l = 9028/7 + -1288. Which is bigger: l or 0.2?
l
Suppose 2*n = 5*g - 0*n - 65, -2*n + 1 = g. Let w = -12 + g. Let c be 1*(-1)/10*2. Is w > c?
False
Suppose 2*z = 1 + 1. Let m = 741/77 - 98/11. Which is greater: z or m?
z
Let p = 118 - 184. Let n be p/(-168) - (-3)/4. Is n smaller than 1?
False
Suppose 5*m + 28 = 4*v, -6*m = -2*m - 2*v + 20. Let q be -2 + (-25)/15 + m/(-6). Let k(w) = -w - 11. Let o be k(-7). Is o >= q?
False
Suppose -4*g + 321 + 303 = 0. Let h be (-16260)/104 - (-1)/2. Let q = h + g. Which is smaller: 0 or q?
0
Let h = -96 - -83. Let z = 76 + -88. Which is bigger: h or z?
z
Let k = 0.21 - 0.166. Let b = 1.744 - k. Which is bigger: -1/4 or b?
b
Let g = 51 - 64.6. Let i = -14 - g. Suppose -2*n + 3 = t - 11, -3*t + 12 = n. Which is greater: n or i?
n
Suppose 2*y - 4 + 4 = 0. Let a be (y + 1)/((-6)/42*-7). Which is greater: a or 0.031?
a
Let y be ((-1)/(-2)*0 + 0)*1. Let i be y/(6 + -4) + (-1)/(-79). Which is smaller: 0 or i?
0
Let z be (-1 - 5 - -4) + -64. Let j = z + 70. Let q be 1/2 + (-22)/(-4). Which is smaller: j or q?
j
Let s(q) = q**3 + 17*q**2 - 19*q - 17. Let b be s(-18). Let h be ((-4)/(-31))/((-5)/(-45)). Let o = 34/31 - h. Which is smaller: b or o?
o
Let b be 20/24 - 8/6. Let r = -2125/2456 + -3/307. Let j = r - b. Is j bigger than -0.1?
False
Let l = 8.2 + -8.6. Which is smaller: l or -0.22?
l
Let g = -3.96 - -3.76. Which is bigger: g or -445?
g
Let g = -18.8 - -18.7. Let h = 0.34 - 0.66. Is h greater than or equal to g?
False
Suppose 0*k + 4*k - 12 = 0. Suppose z + 2*v - k = 0, -7*z + 4*v = -3*z. Which is bigger: 16/7 or z?
16/7
Let m = 1 + 3. Suppose -t = -2*t + 5*h - 31, -m*h = 3*t + 17. Let u(x) = -x**3 + 21*x**2 - 24*x + 70. Let j be u(20). Which is greater: j or t?
j
Let f be (18 + 3 + -1)/((-6)/(-81)). Which is smaller: 271 or f?
f
Let z be (-2*1 + 0)/(-109). Suppose 0 = -9*a - 8 + 17. Which is greater: a or z?
a
Let s = 1075 - 914. Is s bigger than 161?
False
Let k = -16 + 21. Which is bigger: -10 or k?
k
Let a be -4 + (-3 - (-46)/5). Let w = 79 - 48. Suppose -4*h = -5*n + w, -n = -2*n - 3*h - 9. Are a and n equal?
False
Suppose l = -4*l - 530. Let c = l + 2012/19. Which is smaller: c or 1?
c
Suppose 1 = 2*p - 7. Suppose -4*t + 28 = -p. Let u(s) = s + 13. Let d be u(-3). Is t >= d?
False
Let n(f) = -2*f**2 + 8*f + 7. Let i(g) = -3*g**2 + 15*g + 13. Let j(c) = -4*i(c) + 7*n(c). Suppose 0 = -2*q + 27 - 35. Let a be j(q). Is a less than -19?
False
Let i be 3/24 + (-824)/448 + 2. Which is bigger: -51/7 or i?
i
Let h = -129862 - -4415003/34. Let g = -9 - h. Which is bigger: g or 1?
1
Let r = 0.201 + -0.201. Which is smaller: -0.0718 or r?
-0.0718
Let v = -25 + 20. Let g be (-3)/(v/10*(-54)/(-4)). Is 0 less than g?
True
Let h be ((-2)/4760)/(0 + 45/(-2778)). Let m = -3/238 + h. Is 0 < m?
True
Let q = 2249171/272 + -8269. Are 1 and q equal?
False
Let g = 216.918 + -201. Let n = -0.082 - g. Which is smaller: -1/3 or n?
n
Suppose 6*b = -9*b + 19*b. Let i = -13.988 - -14. Is b > i?
False
Let i be 236/6*2/(-8). Let b = i + 31/3. Suppose 3*k = r - 5 + 7, 0 = 3*k - 3. Is b greater than r?
False
Let t(x) = x - 12. Let l be t(14). Suppose -w - 4*v + 3*v + 8 = 0, 4*w = 5*v - 4. Suppose 0 = k - w*k + 6. Is l bigger than k?
False
Let h(p) = p**3 + 31*p**2 - 100*p + 68. Let i be h(-34). Is -2/2131 at most i?
True
Let a = -64 + 246. Suppose -4*q - 3*d = -2*d - a, -3*q - 5*d = -128. Suppose -q = -4*v - 10. Is v less than 9?
False
Suppose 4*b = -0*b + 2*q + 2, 0 = 5*b + 2*q + 2. Suppose 2*s - 3*t + 21 = -0, 5*s = 2*t - 25. Is s not equal to b?
True
Let j be 12/(-8) - ((-22)/4 - -1). Suppose -x - x + 5*u + 16 = 0, j*x + 4*u - 47 = 0. Which is bigger: x or 5?
x
Let g = -11 + 12. Let r be ((-2)/4 + 2)*(-68)/(-51). Which is greater: g or r?
r
Suppose 7*a - 27 = 8*a. Let b = -27 - a. Let d = 18 - 73/4. Does d = b?
False
Let g = 1/1151 + 150779/2302. Is 66 less than or equal to g?
False
Let h be (42 + 1)/(1 + (-88)/99). Which is bigger: h or 2?
h
Suppose 132 - 132 = 8*s. Let q = 279/14 + -39/2. Do q and s have different values?
True
Let n be (-40)/(-18) + (-4)/18. Suppose -2*s + 12 = n*s. Suppose -s*p = -8*p, 4*y + 28 = -p. Does -6 = y?
False
Let c = -8 - 0. Let z = -18 - c. Is z bigger than 0?
False
Let h = 11/108 + -47/108. Is h not equal to 104?
True
Let k(r) = -r + 4. Let z be k(3). Let p be z/(