uppose 23*x = 22 - 22. Suppose 4*l - 4*a + 8 = x, 5*a = -4*l + 11 + 8. Is -3 greater than l?
False
Suppose -7*a + 20 = -8. Let f be 15/a - (-3)/(-4). Suppose 63 = f*h - 7*h - 3*l, 4*l = -h - 6. Are h and -2/7 nonequal?
True
Let f be (-6)/7 + 66120/(-1995). Let m be 1/(((-6)/74)/3). Is m > f?
False
Suppose 2*w + 0 + 6 = -5*y, -2*w + 3*y = -10. Suppose 10 = w*n + 8. Let t be n/(-2) + 133/98. Which is bigger: 0 or t?
t
Let k = -0.00808 + -55.99192. Is k at most as big as -34?
True
Suppose -17 = -2*w + 5*f, 2*f + 14 = -w - 3*f. Let b be (1*-2*w)/3. Suppose 112 - 43 = -69*t. Which is bigger: b or t?
b
Let w = 279 + -278.976. Let z = w - 1.924. Which is smaller: 1/3 or z?
z
Let q = 179/4 + -45. Let h(m) = 2*m**2 + 14*m + 45. Let k be h(-7). Let j be (-1653)/(-1900) - (k/12 + -3). Which is greater: q or j?
j
Let p(y) = -y**3 - 10*y**2 + 12*y + 12. Let s = 101 + -30. Let v = 60 - s. Let q be p(v). Is -6/77 at least as big as q?
False
Let y(x) = -8*x + 24 + 15 - 3*x - 55 + 38. Let i be y(3). Which is bigger: i or -48/5?
-48/5
Suppose 3*o + 5*b = 5, -378 = 7*o - 3*b - 375. Is o equal to -3687?
False
Let q(b) = b**2 - 3*b - 7. Let t be q(-4). Let m = -180 + 98. Let d be (1/2)/((-2)/m). Is t >= d?
True
Let w = -1254 + 22559/18. Let y be -2*1*-1*(-51)/102. Which is bigger: w or y?
w
Let q = 25 - 21. Let z be (-5 - -7)/(q/10). Let v(h) = h + 3. Let w be v(5). Is w less than z?
False
Suppose -g = 1 - 0. Let b be 8 + 12 + -14 + 312/(-44). Is b at least as big as g?
False
Let k = -35440 + 35430. Is 16 greater than k?
True
Let g = 0.142 - -144.858. Let r = g + -145.017. Which is smaller: r or 1/4?
r
Let n(w) = 2*w**2 + 24*w - 819. Let a be n(-35). Is a bigger than 791?
False
Let s(y) = 7*y - 4. Suppose 4*t - 16 + 0 = 0. Let i be s(t). Let m be (-243)/(-405) - 488/(-20). Which is smaller: i or m?
i
Let y = -3609 - -1636. Is -1974 less than or equal to y?
True
Let a be 1582/(-44)*2/(-124). Let f = 7/124 + a. Suppose -60*g - 4*l - 70 = -62*g, -3*g + 3*l + 54 = 0. Which is smaller: f or g?
f
Let x = 24 + -23. Let t be (x + -4)*238/51. Let b = t - -7. Which is bigger: 4/9 or b?
4/9
Let u = 650 - 231. Let x = u + -364. Is x < 55?
False
Suppose -14*v - 2 + 44 = 0. Let i be (v/(-4))/(-10 + (-253)/(-22)). Which is smaller: i or -17/3?
-17/3
Suppose 69 = 3*m + 4*t, 6803*t = -3*m + 6802*t + 114. Suppose 2*h - 5 = -2*r + 7, 3*r = h + 18. Does m = r?
False
Let n = -307/24 + 15523/1176. Which is smaller: n or 1?
n
Let y = -37 + 41. Suppose -3*b + 2*g = 4*g - 142, -b + y*g = -66. Let l = -52 + b. Which is smaller: l or -5/3?
l
Let b = 64286539/145 + -443353. Which is smaller: 3 or b?
b
Let a = -0.291 + 0.485. Let d = -1.386 - a. Is d < 0.1?
True
Let s = -2017/16152 - 1/8076. Which is smaller: 1/7 or s?
s
Let i = 713 - 710. Suppose -i*a + a = -3*x - 96, -5*x + 240 = 5*a. Which is smaller: 46 or a?
46
Let v(r) = -r**2 + 31*r - 37. Let u be v(33). Let k(s) = -93*s - 1. Let y be k(-1). Let l = y + u. Are -1/4 and l nonequal?
True
Let z = 0.45 - -0.27. Let y = 8587.319 - 8588. Let c = y + z. Is 0 greater than c?
False
Suppose -504*f + 83046 = 3950238. Which is smaller: -7672 or f?
f
Let c = -0.333 - -2.333. Let u = -0.0763 + -128.9237. Is u greater than or equal to c?
False
Suppose 49 + 191 = 10*m. Suppose 16*u - 14*u - m = 0. Let v be u/(-16) + 14/16. Do v and 1/10 have the same value?
False
Let g = -9 - -33. Suppose -25*c = -g*c + 6. Let a(r) = -r**3 - 4*r**2 + 15*r + 4. Let z be a(c). Is -15 <= z?
True
Let j = 1431.544 + -1296.91. Let h = j + 0.366. Which is greater: h or -1?
h
Let d = -0.48 - 39.52. Let s = d + 35. Let z = -6 - s. Which is bigger: -0.5 or z?
-0.5
Let r(f) = 6*f**2 - 81*f - 40. Let z be r(14). Let j be (-699)/(-204) - (-5)/(-20). Do j and z have different values?
True
Let b(x) = 141*x**2 + 5*x - 4. Let t be b(2). Let g be 118/(-38) + 60/t. Let j = -2 - 4. Are j and g unequal?
True
Let w(q) = -11*q + 18. Let m be w(-10). Let d be ((-3)/15)/((-5)/(100/m)). Which is smaller: d or 2?
d
Let v = 86553548 + -8135929081/94. Let o = v + -1111. Which is smaller: -1 or o?
-1
Suppose 4*o + 16 = 3*q, -42*o + 45*o = -21. Is q at least -171/61?
False
Let i be ((-2)/(4/(-2)))/((-139)/(-1112)). Is i smaller than 39/5?
False
Let i = 698.42604 + 0.55396. Let g = i + -711. Let s = 12 + g. Is 6 equal to s?
False
Let a be 15/(-9) + 8372/39 + -13. Which is smaller: 201 or a?
a
Let h be -2*(-12048)/64*(-3 - (-7)/3). Let q = -385 - -134. Is q bigger than h?
False
Let x be 30/93*(-36)/72*(6 - 1). Which is greater: x or -2?
x
Suppose 3*n + 16 = v, -4*n + 3*n - 12 = v. Let i be (-2 - 2324/(-1155))/((-11)/(-5)). Let a = i + -3997/726. Is a > n?
True
Let k be 14874/3108 - 9/2. Suppose -4 = 4*d, -w + d + 2*d = 5. Let m be 34/(-104) + (-2)/w. Is k not equal to m?
True
Let w = -18726 - -18726. Which is greater: -5/473 or w?
w
Suppose 12*d - 2818 = -2974. Let f(w) be the third derivative of w**6/120 + 13*w**5/60 + w**4/24 + 5*w**3/3 + w**2. Let s be f(d). Which is smaller: -13/4 or s?
-13/4
Let m be (7/(-77))/((-3)/(-11358)). Let v = 344 + m. Let o = 2/963 + 1892/16371. Do o and v have different values?
True
Let k(a) be the second derivative of a**3/2 + 27*a**2 - a - 8. Let y be k(-9). Are y and 142/5 non-equal?
True
Let m = -5582/171 - -279585292/8564877. Is m at least 0?
False
Let y be 1192288/9328 + (-4)/(-22). Suppose -2*p + 7*p = 640. Is y greater than or equal to p?
True
Let r = 614 - 732. Which is smaller: r or -121?
-121
Let f = 614/7 + -88. Let b = -0.22 + 0.64. Let k = -0.02 + b. Is k at most f?
False
Let d = 12940 - 12940. Which is smaller: -4/613 or d?
-4/613
Let p = 21550 - 19873. Which is bigger: p or 1676?
p
Let f = -48 + 62. Suppose -k + 1313 = -f*k. Let z = k - -101. Is -0.09 smaller than z?
True
Let c = -546.7 + 546.8. Is c > -1.33?
True
Let f = -193 + 193. Suppose 0 = 16*r - 747 - 949. Is f < r?
True
Let c(t) = -4*t**3 + t**2 - 100*t + 206. Let s be c(2). Let v be 0 - (-26 + (2 - 0)). Let f = 3 - v. Do f and s have the same value?
False
Let g(q) = -5*q - 8. Suppose 0 = -11*c - 40 + 194. Suppose 5*s + 39 = c. Let a be g(s). Which is bigger: 16 or a?
a
Let n = 29 + -55. Let v = -64438/5 + 12752. Let l = 136 + v. Which is smaller: l or n?
n
Suppose 0 = -6*h + 5*h + 3, -m = -4*h + 51. Let g be (1 - (-6)/(-4))*(88 + -10). Is g <= m?
True
Suppose 0*s = -s - 3*w + 280, 4*s - 1112 = -4*w. Let f = s - 268. Is f less than or equal to 73/7?
True
Let r(q) = q**3 + 37*q**2 - 118*q + 35. Suppose 0 = 488*p - 497*p - 360. Let k be r(p). Let f(s) = -s**3 - 7*s**2 + 5*s - 9. Let m be f(-7). Is m < k?
False
Suppose 318*o - 324*o = 0. Which is smaller: o or -18/145?
-18/145
Let o = 3062/3 + -1021. Which is greater: -120.2 or o?
o
Suppose -13317 + 13245 = 3*o. Which is bigger: -382/15 or o?
o
Let s be 52/10 - (-1)/(-5). Suppose s*h - 5*y = 230, y + 127 + 63 = 4*h. Let f be 18/h - 3/8. Which is greater: f or -0.5?
f
Let v = -20876 + 20954. Is -11 at most as big as v?
True
Let k(c) = c**2 - 9*c - 49. Let t be k(13). Suppose -v + 11 - t = 0. Suppose 4 = v*y + 12. Which is smaller: -1/85 or y?
y
Let x(b) = b**3 - b**2. Let v(r) = -5*r**3 + 16*r**2 + 10*r + 3. Let u(h) = v(h) + 6*x(h). Let a be u(-9). Is a != 1?
True
Let u = -122930/39 + 3152. Is -6 less than u?
True
Let t = -0.05 - 0.35. Let u = -55443 + 4324675/78. Let k = 2/39 - u. Is k greater than t?
False
Let r = -234 - -705. Suppose 29 = 5*m - r. Is m > 100?
False
Let a = -0.291868 - -0.215868. Let l = 2 - 3. Let m = 2 + l. Is m less than a?
False
Let i(y) = 5*y**2 - 2*y + 6. Let v(t) = -t**2 + t. Let g(j) = -i(j) - 6*v(j). Let h be g(-3). Suppose 5*z = h, 0*n + n + z = 4. Is n at most as big as 1/6?
False
Let r(g) = 2*g**3 - 27*g**2 + 93*g - 13. Let i be r(7). Which is greater: i or -1/3913?
i
Let z = -25 - -34. Let t = z + -9.28. Let k = 0.48 + t. Is -2 <= k?
True
Let g be 2565/(-6) + 510/34. Do -412 and g have different values?
True
Suppose -6*z - 44 = -50. Let f = -87 + 94. Let l be 2/(-4) + -11*f/(-56). Which is smaller: l or z?
l
Let q be (7/((-35)/10) + 24)/2. Let d(y) = -y**3 + 9*y**2 + 20*y + 24. Let j be d(q). Is -34 equal to j?
False
Let p = 2042 + -2075. Let y = 38 + -71. Is y > p?
False
Let k(x) = 336*x - 4325. Let d be k(-17). Is -10036 at most as big as d?
False
Let p = 276 - 363. Let i = -86 - p. Which is greater: i or 4/57