5)/7 + 80/(-280). Is c at most l?
True
Let v = -44 + 46. Suppose v*d = -s - 2 - 1, -3*s = -3*d + 18. Let w(j) = j**2 + 5*j - 1. Let a be w(-3). Which is smaller: s or a?
a
Suppose 0 = -7*h - 3*h + 10. Let w be h + 5/(70/18). Is w != -3?
True
Let t = -1185/11 + 27299/253. Which is bigger: t or 1/11?
t
Let g be ((-3)/66)/(67/(-1474)). Let l be (-1 + 10)*212/(-66). Let d = l + 29. Is g at least as big as d?
True
Let l(t) = -31*t**2 - 48*t - 3. Let x be l(-12). Is -3891 at least as big as x?
True
Let h = -233.28 + 234. Let b = -0.62 + h. Which is smaller: 0.18 or b?
b
Let g(x) = -180*x + 15. Let y be g(-1). Let w be (-34)/(-17)*21/y. Which is greater: 0 or w?
w
Let g(y) = 10*y - 228. Let q be g(22). Let k be ((-3)/12)/((-2)/q). Which is smaller: 2/41 or k?
k
Let q(t) = 5*t**2 + 663*t - 361. Let u be q(-115). Is -10480 bigger than u?
True
Let m be -42 + (-2 - 2) - (-75)/25. Is m at least as big as -291/7?
False
Suppose 21*q - 464 + 5000 = 0. Let b = 227 + q. Let k = -4 + 1. Is k at most as big as b?
True
Suppose -12*q = -9*q + 3. Let i be (-6)/(-140)*5*(-39)/9. Which is greater: i or q?
i
Let m = -242 - -239. Let f be -8*m/36 + (-340)/384. Does 1 = f?
False
Suppose -11*o + 9101 - 65344 = 0. Which is smaller: o or -5115?
-5115
Suppose 64 = 3*a + k, -5*k + 56 = -9*a + 12*a. Are a and 232/11 unequal?
True
Let l(i) = i**3 - 10*i**2 + 6*i + 32. Let d be (5 - 0) + 4 + 0. Let s be l(d). Are 1 and s unequal?
True
Let q be (-6045726)/11809 + (-2)/49. Which is smaller: -487 or q?
q
Let p = -12164/7 + 1738. Let z = -25/51 + -133/561. Is p at most z?
False
Let k = -765.7 - -765.6226. Which is smaller: k or 2/9?
k
Suppose -336 = 4*q - 5*u, -4*q - 2*u - 205 = 131. Let k = -99 - q. Are -15 and k unequal?
False
Let z = -3947 - -3955. Which is smaller: -0.418 or z?
-0.418
Let n be (-2)/((-5)/1375*10). Is 241 less than or equal to n?
False
Let u(v) = -v**3 + v**2 - 2*v + 4. Suppose 15 = 5*p - 0*p. Let m be u(p). Let r = -20 - m. Is -2/35 at least as big as r?
False
Let z(s) = 11*s**2 + 125*s - 84. Let d be z(-12). Which is greater: d or 6/3907?
6/3907
Let s be 913/3073 + 20/(-70). Is s greater than 1?
False
Let v be 36/176*(-1)/6. Suppose 147*c + 250*c = -397. Which is smaller: c or v?
c
Let a be (88/(-48345))/8*4/(-2). Are a and 0 non-equal?
True
Let h = 69 - 66. Suppose 2*g = 2, 2*k - 28 = 3*g + g. Suppose -q = h*q - k. Which is smaller: -2 or q?
-2
Let m = -19 - -12. Let j(w) = 2*w**2 + 19*w + 45. Let y be j(-6). Let x = y - m. Is x >= 19/2?
True
Let c be ((-14)/(-5))/(37/((-111)/6)). Is -1 smaller than c?
False
Let r = 36 - 2017. Which is smaller: -1982 or r?
-1982
Let p = -0.006 - 43.194. Let t = -42.4 - p. Is t bigger than -0.31?
True
Let k = 105.7 + -104.7. Let q = -16.21 + 0.21. Let w = 23 + q. Do k and w have the same value?
False
Suppose -4*p - 4 = 20. Let v be (-57)/(-11) - p/(-33). Suppose w = 2*q + 5 - 3, -w + 4*q = 0. Which is smaller: w or v?
w
Suppose -35*c - 267 = -32*c. Let m be (-896)/10 - (-9)/15. Is c less than m?
False
Suppose 4*c - 23 = 5. Let b = 197 - -13. Let d = 217 - b. Is d <= c?
True
Let o(r) = -r**2 + 55*r + 5116. Let t be o(106). Which is smaller: t or -295?
-295
Suppose -4*d - 6*d - 1760 = 0. Let u = d + 3871/22. Let c = -44 - -43. Which is greater: c or u?
u
Let x(o) = 7*o**2 + 26*o + 27. Let l be x(-1). Let g be 38/l - (-1 - (-48)/8). Are 0.042 and g equal?
False
Let t(m) = m**2 + 9*m - 13. Let d be t(2). Let f be 18 + 1 - d/(1*-3). Which is smaller: f or -2/5?
-2/5
Suppose 5*o - 25 = 15. Let w be ((-12)/(-15))/(56/588). Which is smaller: w or o?
o
Let t(i) = 0 + 142*i + 3 - 143*i. Let s be t(11). Which is smaller: -3 or s?
s
Let n(h) = -2*h**2 - 19*h - 6. Let d be n(-9). Let k(r) = 11*r + 5*r**2 + 7*r**2 - 16*r**2 - 4 + r**3. Let y be k(d). Which is bigger: 18 or y?
y
Let z = -30.54 - -30. Let r = -280 - -280.33. Let f = r + z. Which is smaller: 2 or f?
f
Let x be ((-820)/(-304))/((-15)/(-144)). Are 25 and x non-equal?
True
Let f(o) = 4*o - 6. Let p be f(8). Let t = 18 - p. Suppose -3*z + 2*z = 5*l - 3, -l = 2*z + 12. Is z bigger than t?
True
Let p = -37 - -37. Suppose p*r = 2*x + 3*r - 86, 198 = 5*x - r. Let y = x - 40. Is -11/5 > y?
False
Let y = -6726 - -6757. Are y and 34 equal?
False
Let d be (-12)/(-66) - (-57)/(-11) - 3771/(-441). Is d less than 3?
False
Let t = -436 - -471. Suppose 32*x = 99 - t. Is -103 greater than x?
False
Suppose 141 = -74*z + 363. Which is bigger: 57/17 or z?
57/17
Let n = -462 + 511. Let y be ((-21)/n)/((-15)/130). Is y bigger than 4?
False
Let h = -128809/7 + 18440. Let a = 39 - h. Let d = a + 17/14. Are -0.1 and d unequal?
True
Let t = 136.103 - 0.103. Let j = 135.81 - t. Let a = -0.11 + j. Is a <= 16?
True
Suppose -93*m - 309*m + 40*m = -33*m. Let c = -28595/25419 + -7/687. Is m < c?
False
Suppose -2*v + 0 = -4. Let y = 7.1 - 13.4. Let g = -9.3 - y. Is v greater than g?
True
Let b(m) = 2*m**2 + 2*m - 6. Let o be b(5). Suppose 4 = 55*p - o*p. Let c be ((1 - 2)/p)/((-26)/16). Is c equal to 1?
False
Let y = 0 - 0.123. Let j = 2.797 - y. Let w = j - 1.52. Is w < 0.03?
False
Suppose -2*u = t - 3, -5*t = -0*u - 2*u - 27. Let j = 9284209981/7281858675 + -1/6438425. Let s = -34/29 + j. Is u >= s?
False
Let f = -141/220 + -24653/14740. Which is bigger: -3 or f?
f
Let p be (378/(-12))/(-21)*164. Are 239 and p equal?
False
Let a = 8843 - 8843. Does a = -1/9005?
False
Let b = 854 - 836. Let x be 2/b + ((-4917)/27 - -9). Does x = -175?
False
Let o be (12/10)/((-7)/35). Suppose 2*k - 3*a - 9 = 2*a, 1 = -a. Suppose k*p + 7 = -t - 0*t, 0 = 4*p - t + 11. Which is greater: p or o?
p
Let r be (-2)/(-12)*(-82)/(-3). Let a = -101975 + 101981. Which is bigger: r or a?
a
Let l(m) = -m - 6. Let o be l(-10). Suppose 3*w + 566 = -x, o*x = -4*w - w - 948. Do -188 and w have the same value?
True
Suppose 0 = o - 2 + 3. Suppose 24*w - 7*w + 986 = 0. Let y be w/164 + -4 + (-54)/(-12). Which is bigger: y or o?
y
Let q = -1210 - -1738. Let f = q - 527. Which is smaller: -26 or f?
-26
Let l = 4031 - 4049.14. Is -5 <= l?
False
Suppose 45*t + 620 = -17 - 308. Which is smaller: -14 or t?
t
Suppose -50*m + 3094964 = -68*m + 209*m. Is 16204 < m?
False
Let k = -4.04 + 3.615. Let u = -0.225 - k. Let t = -2 + 0. Which is greater: t or u?
u
Suppose 21*x + 305 + 31 = 0. Let o be 34/(-102)*(-4)/(x/(-6)). Do o and 49 have the same value?
False
Let d be (-39)/(-3 - 21/(-8)). Let m = d + -101. Let n be 57/(-76)*(-2 + 32/m). Do -8 and n have different values?
True
Let w = -195 - -113. Let a = w - -42. Let q = -40.3 - a. Which is smaller: -1/4 or q?
q
Let d = 0.63 + -0.673. Let b = d + 0.043. Let l(y) = y**3 - 14*y**2 - 14*y - 12. Let z be l(15). Which is bigger: b or z?
z
Let f = -3176 + 3131. Which is greater: f or -8/3?
-8/3
Let p = -8342 - -9964. Which is bigger: -4 or p?
p
Suppose -18*w = -5747 - 19399. Which is bigger: w or 1399?
1399
Suppose -4*i + 31*n + 178 = 36*n, 0 = 2*i - n - 82. Which is bigger: 866/21 or i?
i
Let h be (-3)/((-3)/4) + (9 - 10). Let r(q) = -2*q - 8. Let n be r(h). Which is bigger: -15 or n?
n
Let g be (-129)/(-2)*(-88)/66. Let q = g + 106. Let m be (16/q)/(5/45). Is m < 6?
False
Let a = 399.136 + -2.136. Which is smaller: 3 or a?
3
Let s = -7 + 9.5. Let l = -16389.1 - -16389. Is l less than s?
True
Let f(q) = q**3 - 14*q**2 + q - 23. Let c be f(14). Let d be 1335/12 + c*2/(-24). Is 112 bigger than d?
False
Suppose 3*p - 755 = -3*q - 62, q + 3*p - 241 = 0. Let s = q - 226. Is 16/47 less than s?
False
Suppose 3*h + 22 = a, 2*h + 20 = -2*a - 0*a. Let l be 2 + (-2)/(h/(-275)). Which is smaller: l or -67?
-67
Let i = 125 - 53. Let h be (8/(-6))/(i/27 - 2). Which is bigger: -10/11 or h?
-10/11
Suppose 39*o + 78 = 45*o. Let h(p) = -p**2 + 16*p - 32. Let w be h(o). Which is smaller: 6 or w?
6
Let c(i) = 31*i**3 - 4*i**2 + 5*i - 2. Let t be c(1). Let s = 30 - t. Which is smaller: 2/1573 or s?
s
Suppose 4*u + 206 + 94 = 0. Let w be (-292)/(-16)*1*-1*4. Is w > u?
True
Let h = -153 + 83. Let r be (-15)/75 - (-6)/h. Which is smaller: r or 1/18?
r
Let d = 269 - 155. Let g = -10.8 - -10.9. Which is greater: g or d?
d
Let x = -14956 - -15644. Is x bigger than 4133/6?
False
Let b = -293.0097 + 0.0097. Let h = -237 - b. Which is bigger: -0.1 or h?
h
Let z(t) = 2*t - 4. Let q be z(3). Suppose -15*g + 12*g + 32 = 5*f, 5*f - 8 = 3*g.