ppose 7*n - 18 = 6*n. Suppose -34*l + n = -28*l. Suppose 6 + 43 = -2*a - l*r, r + 83 = -4*a. Is -20 at least a?
True
Let o = 236226/7 + -243182/7. Which is bigger: -993 or o?
-993
Suppose 3*h = 16*j - 15 - 99, 42 = -5*h + 2*j. Is h at least 1344?
False
Let y be -28 - (-850)/30 - (-2 - (-7)/3). Which is greater: y or 3/4255?
3/4255
Suppose 6*j - 15*j = -18. Suppose 3*o + 49 = -5*h + 4*h, -64 = h - j*o. Which is smaller: h or -54?
h
Let n(u) = u**3 - 29*u**2 + 31*u - 85. Let y be n(28). Which is greater: 2/4163 or y?
2/4163
Suppose 5*f = -2*a + 165, 12*a - 17*f - 903 = -18*f. Are -21 and a equal?
False
Let y = -126739/224601 - -96/169. Are y and 0 nonequal?
True
Let d = 4999 - 14998/3. Which is smaller: d or -0.456?
-0.456
Suppose 4*s = -2*a + 6*s - 12446, 0 = 4*a + 3*s + 24906. Is -6224 at least a?
True
Let a = -0.15838 + 0.14648. Which is greater: a or -4?
a
Let w(i) = -i**3 - 3*i**2 + 2*i + 4. Suppose 12 = 51*t - 55*t. Let m be w(t). Let a be m/3 - (-40)/5376*86. Is 1 > a?
True
Let x be -1*2/4 + 5/2. Let q be (1 - 3/x)*(3 + -9). Let u = -83/252 + 3/28. Is q smaller than u?
False
Let z = -0.0376 - 1.1624. Let w = -0.157 + 3.157. Are w and z nonequal?
True
Let c(x) = -x - 5. Let i be c(11). Let y = 28 - 44. Let p(f) = -f - 29. Let k be p(y). Which is smaller: k or i?
i
Let f = -5 + 6.16. Let t = f - 1.067. Let o = 14097 - 14097. Which is greater: t or o?
t
Let b = 1077/2 + -515855/958. Which is bigger: b or -1?
b
Let o(i) be the third derivative of -i**5/12 - 31*i**4/24 + i**3/2 + 64*i**2. Let u be o(4). Are -200 and u equal?
False
Let g = -11.075 + 6.224. Let f = g + -0.149. Is f not equal to 11?
True
Let g be 3 + (59 + -5)/(-6). Suppose x - 3*x = 30. Let w(b) = b + 13. Let v be w(x). Which is bigger: v or g?
v
Let r be (-5247)/583 + 214/(-9) + 0. Which is smaller: r or -32?
r
Let p(d) = -35*d - 1836. Let w be p(-53). Is 19 at most as big as w?
True
Suppose 2*y - 1 - 3 = 0. Suppose -y*j + 5*j = -9. Let d(w) = 85*w + 2802. Let v be d(-33). Is j at most v?
True
Let t be 80/15*(-3)/(-2). Suppose 2*h + t = 6*h. Is -2/15 >= h?
False
Suppose -353*l + 412*l = -144904. Is l equal to -2456?
True
Let v = 6 + -6.4. Let k = 23520 - 23493. Which is greater: k or v?
k
Let c = 105.43 + 1.57. Let r = 105.77 - c. Which is smaller: r or -1?
r
Let f = -63 - -1647. Let q = f - 11115/7. Which is bigger: q or 2/3?
2/3
Let u be 2 + ((-2023)/168 - -10). Let i = -1.8 + 1.7. Is i less than u?
True
Let b = -12.1983 + -19.8017. Let c = 7 + -1. Let i(h) = -h + 5. Let x be i(c). Is x less than b?
False
Suppose 1 = -a - 0*a - 3*z, -5*a + 12 = -2*z. Suppose j - a*c + 6 = 0, 2*j - 3*c + 11 = -0*c. Let x be j/(-6)*(-6)/(-4). Is x less than 20/13?
True
Suppose -65*j - 2265 = -55. Is -163 < j?
True
Let t be 16743416/5581084 - (3 + 0). Is 1 at most as big as t?
False
Suppose 4*d - 2*c - 70 = 0, -30 - 2 = -2*d - 2*c. Suppose -j - d = -4*r + 37, 5*j = -5*r - 270. Let u = -27 - j. Which is bigger: u or 26?
u
Let m be (-12)/16 - (-1711)/(-348). Which is smaller: m or -0.08?
m
Let q be (-1 + 5/3)/(8/63876). Let h = -32009/6 + q. Which is smaller: -12 or h?
-12
Suppose 0 = -7*o - 4*n - 116, 2*o - 2*n - 228 + 280 = 0. Which is bigger: o or 8/41?
8/41
Let z = -5.8 + 5.26. Let q = 361 - 361.84. Let d = q - z. Which is smaller: 1/3 or d?
d
Let d be 150/(-200) - (-3)/4. Which is smaller: -1/7798 or d?
-1/7798
Let h = 58 + -27. Let k be (4/(-14) - (-66)/(-63))/(864/(-20088)). Is h <= k?
True
Suppose -4*w - 8*o - 699 = -3*o, 4*w + 2*o + 702 = 0. Is w less than -1589/9?
False
Suppose f - u - 10 = 0, -5*u = -f - 7 + 37. Suppose 4*w + 3*m - 1 = 0, -29*w + 27*w - f*m - 3 = 0. Is w less than 1/36?
False
Suppose 7*h = -1766 - 2308. Let k = h + 576. Is -6 <= k?
True
Let h be -5 + (1 + 0)/(6/(-39))*-6. Let p be 1/(10/(-4) - -2). Let y be (-1)/(p/(-24))*h/(-102). Which is bigger: -5 or y?
y
Let c = -548.1 + 547. Let v = 7.9 + -11. Let d = c - v. Which is greater: d or 1.6?
d
Let m = 5741 - 5740.8. Which is smaller: -0.032 or m?
-0.032
Let f(c) = -c**2 + 12*c - 9. Let u be f(8). Let s = u - 12. Let b(o) = -6*o - 139. Let l be b(-25). Is l at most as big as s?
True
Let q(g) = -g**3 - 39*g**2 - 23*g + 569. Let i be q(-38). Which is smaller: 3/1666 or i?
i
Let u(z) = -2*z**3 + 9*z**2 + 5*z - 2. Let m be u(5). Let j be ((-28)/(-10))/(7/(70/m)). Are j and -16 equal?
False
Let n(z) = -z**3 + 6*z**2 + 4*z - 6. Let j be n(6). Let c = -12 + j. Suppose 0 = -c*b + b + 25. Which is smaller: 18/5 or b?
18/5
Let l be (-52)/(-130)*(-170)/(-4). Let t be (-34)/l - 2/(-1). Is t greater than 7/50?
False
Let m = 701 + -1223. Let f = m - -1107. Let a be (3/(f/(-6)))/((-18)/(-10)). Is 1 <= a?
False
Let y = -307 + 279. Let g = y + 27.77. Let l be (1 + 1)/12*-2. Does l = g?
False
Let t(i) = i**3 - 4*i**2 - 8*i + 9. Let y be t(5). Let b be (-84)/35*(-20)/y. Suppose -4*j + 4*r = j + 34, 2*r = -3*j - 16. Which is greater: j or b?
j
Suppose -2*o - 90 = 142. Let u = o + 127. Suppose 5*i + 0 = 4*d + u, -d = 4*i - 13. Is d at least as big as -2/9?
True
Let v be (6 - 2)*3660/15. Which is smaller: 969 or v?
969
Suppose -712*v + 2 = -176*v + 2. Is -6/12337 at most as big as v?
True
Let p = -5191 + 4674.9. Let z = p + 514. Is 2 greater than or equal to z?
True
Let x = -668134/23 + 29018. Is x equal to -2?
False
Let s be ((-3120)/(-11050))/(2 + -1 + 1). Which is greater: -8 or s?
s
Suppose -4*q - 9 = -9*q + z, -4*q + 4*z = -4. Let r(v) = v**3 + 4*v**2 - v - 4. Let b be r(q). Let c be b/(-10) + 12/30. Which is bigger: c or -1?
-1
Let f = 6735 - 6734. Which is bigger: -1/9940 or f?
f
Let d = -37 - -43. Suppose -2*t = -d*t + 8. Suppose -66 = -2*i + t. Which is smaller: 35 or i?
i
Let k(s) = -2*s**3 - 42*s**2 + s + 23. Let h be k(-21). Let n be 42 + h*(-12)/8. Which is smaller: n or 38?
38
Let q = -4.11 - -1.11. Let d = -3174.1 + 3171. Which is bigger: q or d?
q
Let n = -244.85 + 244.75. Is n > 8618?
False
Let w be ((-1)/(-5) - ((-2572)/40 + 0))*-2. Which is greater: w or -132?
w
Let g be 5 - 1*5789/1155. Let b = -31/165 + g. Which is bigger: 0 or b?
0
Suppose 25685 = -158*o + 10517. Is o < -39?
True
Let c be (-4 + -1)/((-15)/195). Suppose -4*p = -111 - c. Suppose -g - p = 3*g. Which is smaller: g or -12?
-12
Let r be 47 + -40 - (2 + (-317)/(-35)). Do r and -5 have the same value?
False
Let k be (-1080)/35*39/6. Let p = 200 + k. Let h = 0.069 + -0.069. Which is bigger: h or p?
h
Let c = 3704.1 - 3720.1. Is c bigger than -75?
True
Let t be 83/(((-138)/23)/(-6)). Which is smaller: -37 or t?
-37
Let u = 6644 + -33219/5. Is u less than -2/129?
False
Let c = 227 + -146. Let x = -76 + c. Let v be -3 + (x - 6) - 9. Which is smaller: -8 or v?
v
Let l = 24 - 25. Let k be (-3 - -19)/((-5)/l). Suppose -v + 2 = -2*m - 1, -3*v = -m - 9. Which is smaller: k or v?
v
Let z be 3 + (-32)/(-6)*-3. Let r = -146 - -70. Let a = r - -62. Which is greater: z or a?
z
Suppose 0 = -144*m + 30*m - 118*m - 3016. Is m smaller than 19?
True
Let o be -2 - -7 - (-9 + (-140721)/(-10052)). Let r = o - -73231/7180. Let s = 1 + 10. Is r less than s?
True
Let z be -4 + 36/8 + 711/6. Let m = -118 + z. Which is smaller: -1/11 or m?
-1/11
Let a = 42 + -39. Let u be a/(-18)*0*(-1 - -2). Which is greater: -1/15 or u?
u
Let m be 8456/4226 - (-8)/(-4). Let b = 6870 - 6870. Which is smaller: b or m?
b
Suppose -7014*o = -7021*o - 1120 + 24759. Does 3378 = o?
False
Suppose 0 = -2*h - 2*p - 14, -9 = -16*p + 19*p. Let k(b) = 34*b + 130. Let m be k(h). Which is bigger: 3 or m?
3
Let x(l) = -l**3 + 25*l**2 - 25*l + 28. Let k be x(24). Let t be k + 0 + -4 + 6. Which is smaller: 3 or t?
3
Let z be 3504/28 + 12/14. Suppose z - 177 = 3*w. Which is bigger: w or -21?
w
Suppose 2*i + 3*v - 12 = 0, 0 = -4*i + 2*v + 33 - 9. Suppose 2*o = i*o - 44. Let x be (-15)/(-5)*((-25)/(-3) + -5). Which is smaller: x or o?
x
Let l be (1/3)/((-34)/(-12) + -3). Let x be (0 - l/(-3))*33 + -4. Which is bigger: x or -24?
-24
Suppose 5*y + 63 = d, 2*d = 5*d - 3*y - 153. Let k = d + -91. Is k < -45?
False
Suppose -4*y - 5 = -3*v, -40*y + 2*v = -35*y - 6. Which is smaller: 48 or y?
y
Let i = 8547 - 8549. Do i and -3/644 have different values?
True
Let u = 65 + -15. Suppose b = -4*w + 2*b - u, 4*w = -3*b - 42. Let l = -96 + 86. Do w and l have the same value?
False
Let w = 40 + -36. Suppose w*t - 50 = -6*t. Suppose t