(-120)). Suppose 0 = -d + n + 16. Which is greater: d or 41?
41
Let a be (42/(-35) - -2)/(3/1320). Suppose 646 = -a*b + 335*b. Suppose 16 - 130 = 3*w. Is b > w?
False
Let h = 2043 + -4518. Let f = h + 19653/8. Which is greater: f or -19?
f
Let y = -876827/551577 + -1/14143. Which is bigger: -2 or y?
y
Let g be 150/189*66/55. Let v be 7/3 + (25/(-15))/5. Is g at most v?
True
Suppose 0 = 4*o - 9 - 167. Let q = o - 44. Suppose q = 5*f - 136 - 99. Which is smaller: 48 or f?
f
Let t(b) = b**2 - 9*b - 4617. Let o be t(76). Which is greater: 478 or o?
478
Let o = 0.46 - 2.56. Let a = o - -3.1. Let u be 88/(-220) + 0 + 118/(-5). Which is smaller: a or u?
u
Let b be (1*-12 + 1)/(28530*(-68)/(-4896)). Does b = 0?
False
Let j(v) = v**3 + 7*v**2 - 83 - 8*v + v + 72. Let q = -44 + 37. Let b be j(q). Is 38 > b?
False
Let q(t) = t**3 - 6*t**2 + 8*t - 3. Let m be q(5). Let l(y) = 2*y**3 + 9*y**2 - 7*y - 4. Let d be l(-5). Let k be m/8*16/d. Which is greater: 3 or k?
k
Let c be 8 + 13928/20 - 12/(-20). Which is greater: c or 704?
c
Let l = -10.37 + -1.03. Let x = l - -93.4. Let r = 81 - x. Which is bigger: r or 0.15?
0.15
Let b = -0.34 + 1.64. Let y = b - 1.06. Let a = 39 + -40. Which is smaller: y or a?
a
Let t(a) = -72*a**2 - 32*a + 47. Let y be t(5). Are -1915 and y non-equal?
True
Let n = 44829 - 44829. Let g = 72/275 + -2/25. Is n greater than or equal to g?
False
Let t be 59 + -53 - (3 - (1612/(-801) + -1)). Which is bigger: -1 or t?
t
Let g = -1/281 - -853/2810. Let w = -77 + 87. Let u = w + -11. Is u < g?
True
Let i = 4 - 6. Let u be i/(-5)*(-40)/56. Let m = -0.33 - 8.67. Is m bigger than u?
False
Let d be (-8)/(-656)*4*(-4)/(-632). Let u = d - -29122/93931. Which is smaller: 0 or u?
0
Let y = -41307 + 272667513/6601. Which is smaller: y or 1?
y
Let o be 3 + -2 - (5 - 4)*-8. Which is bigger: o or 415/41?
415/41
Let r be 7 + 3657/(-4) + -4 + 19/76. Which is greater: r or -905?
-905
Let u = -24.8527 - 0.1473. Are u and -0.4 nonequal?
True
Let q be 2*10*(0 - -8 - 7). Suppose -q*i + 24*i = -2*r - 10, 4*i + r = -15. Is i less than -5?
False
Let q be 5/10*3710/175. Suppose 0 = -y + 3*l + 27, 4*y + y = -l + 55. Is q greater than or equal to y?
False
Let s(m) = 110 + 17 + 6338*m - 6328*m + 85. Let l be s(-22). Let z be -1 - 0 - (2 - -1). Which is smaller: l or z?
l
Let o(j) = j**3 + 16*j**2 - 19*j - 35. Let q be (-10 + 7)/((-9)/(-51)). Let p be o(q). Let d be (-370)/(-184) - (5 - 3). Is d < p?
False
Let t be 80/(-1680) - 2127548/84. Are t and -25328 unequal?
False
Let m = 84 - 85. Let g be ((-2)/1)/m - (-10 + 8). Suppose 2 = -g*r - s, -2*r = -s + 4 - 0. Is 3/34 at least r?
True
Let q be 2724*(-29)/((-1131)/26). Which is greater: 1814 or q?
q
Suppose x + 403 = 3*n, -8*x - 3*n - 427 = -7*x. Let f be 2/5 - (x/25 - 1). Let b(u) = -u + 35. Let j be b(f). Is j < -0.2?
False
Let r = -15483466/1289 + 12012. Which is bigger: r or 0.2?
0.2
Let j be 3558/(-15) - (-51 - -41). Is -228 bigger than j?
False
Let k = -2545 - -2817. Is 270 at most as big as k?
True
Suppose 4*m + 4*o = 4, -5 = -5*m + o + 12. Suppose 5*z + 43 = 3*t, 27 = -m*z + t + 2*t. Let v be ((-228)/z - 5)*2. Which is bigger: v or 48?
48
Suppose -3*s - 31610 = 14*x - 9*x, 3*s + 31630 = -x. Is s < -10545?
False
Suppose 56 = 3*s - 118. Let q = 96 - 37. Which is smaller: s or q?
s
Let a be 9/(-12) + -3 + 252/16. Let i(c) = -c**3 + 13*c**2 - 10*c - 20. Let h be i(a). Is -5 < h?
True
Let b = 5678 + -6432. Which is smaller: -755 or b?
-755
Let j = 465 + -476. Let x = j + 10.9. Which is bigger: x or -8/175?
-8/175
Let g be (7/(14/6))/(0 + 1). Let j be 4/(-6 + g + 4). Suppose 0 = j*x + 5*x - 198. Which is smaller: 20 or x?
20
Let h = 0.6 - -2. Let a = 361.4 - 352.8. Let k = a - h. Which is smaller: k or 2/3?
2/3
Let b(z) = 23*z + 1. Let g be b(-1). Suppose 10 = -3*x + 34. Let j be -21 - (x + -4 + -3). Is j < g?
False
Suppose -3*p = -6*m - 117, 0 = -2*p + 2. Are m and -29 equal?
False
Suppose 2*m = 2*n - n - 12, 2*n - 3*m = 25. Let a be ((-3)/6)/(n/(-28)). Let i = -1/27 - -32/135. Which is smaller: a or i?
i
Suppose -4*h = 0, 2*v - 5*h - 646 = -770. Are -1 and v equal?
False
Let h be 357/(-2584)*(7/(-1) - 578/(-102)). Let b = 2 - 3. Is b >= h?
False
Suppose -38*r + 34*r + 1949 = t, -3*t - 971 = -2*r. Which is smaller: r or 493?
r
Let y = -4087 - -3637. Is y < -450?
False
Let b be ((-198)/55)/((-15)/4300). Let y be -1 + b/114 - 8. Let n(z) = -z**3 - z**2 + z - 1. Let q be n(0). Is y > q?
True
Let t = 1795 - 1795. Is -50/73 > t?
False
Let c be (94 - 411)*3/(-3). Does c = 322?
False
Let n(f) = -f**3 + 7*f**2 + 4*f - 55. Let u be n(6). Suppose u = x, -10*s + 2*x + 2 = -13*s. Are s and 8 unequal?
True
Let t be 9/(-6)*(1862/(-21))/19 - 8. Let l be -1 + (0 - (-14)/34). Is l at least t?
True
Let x be (1 - (-184)/(-16))*-1*(-16)/24. Suppose -92 = -2*n - 6. Let v = n + -146/3. Which is greater: v or x?
v
Let u be (-1)/(-10) + (-41)/(4493 - -17). Let v = -4 + 4. Let l = 0 - v. Which is smaller: l or u?
l
Let w = 811.01 + -798. Let g = w + -1.01. Let v = 3 - 2. Which is greater: g or v?
g
Let u be (-18)/(-630)*7 + (-54468)/15. Are -3632 and u equal?
False
Suppose 310 - 330 = -20*v. Which is smaller: -10/6149 or v?
-10/6149
Let x(g) = 2*g**2 + 8*g - 3. Let t = -8 - -4. Let n be x(t). Which is greater: n or -17/7?
-17/7
Let i be (-80)/15*15/4. Let p be 86/8 + 1 + (-5)/i. Suppose 0 = -z + 2*s + p, 0*z + 2*z + 4*s = -8. Are z and 4 non-equal?
False
Let x be (-60)/(-16)*8/6. Let s be -1 + x/((-100)/(-17)). Let o = 9/40 - s. Which is smaller: 2/11 or o?
2/11
Let a = -104 - -107. Suppose 6*b - 18 = -k + b, a*k + b = 54. Which is greater: k or -0.2?
k
Let a = 2/1435 + 2808/44485. Suppose s = -2, -2*o - 5*s - 5 = -3. Let q(j) = -j**3 + 6*j**2 - 13*j + 19. Let k be q(o). Which is greater: k or a?
a
Suppose 50*k - 51 = 33*k. Let w be ((-369)/k)/(-10 + 5). Which is greater: 24 or w?
w
Let k = 7128 + -1432735/201. Let y = k - -2741/90249. Which is smaller: y or -1?
-1
Let t = -2409385/23 + 104735. Let x = -1642/69 + t. Let q = -662/15 - x. Is 1 <= q?
False
Suppose -o + 10 = 3*t - 69, -5*t = 20. Let z(r) = 105*r + 510. Let f be z(-4). Which is greater: o or f?
o
Let z = 19389 - 19327. Which is smaller: z or 71?
z
Suppose -6*v = 3*k + 30, -2*k = -3*v + k + 12. Which is smaller: -48/25 or v?
v
Let a(x) = -797*x - 1591. Let g be a(-2). Is 224/103 greater than g?
False
Let n = 74 - 35. Let i = n - 73. Let o = i + 33. Is 5 greater than o?
True
Suppose 0 = a + 3*u + 4, 40*a + 2*u - 24 = 42*a. Is a equal to -3/65?
False
Let f = 32 + -27. Suppose 3*i + 62 - 26 = 0. Let t = i + 18. Which is smaller: f or t?
f
Let n = 974 + -972. Is 66/79 at least as big as n?
False
Let f = 31.9 + -4.9. Let v = f - 26.83. Let c = -680 + 680. Does v = c?
False
Let x = -200 - -184. Let n(j) = -6*j - 1. Let a be n(2). Which is smaller: x or a?
x
Let b be 2/(-16)*2 - (-200)/32. Suppose 7*p = 27 - b. Let r be (p - 1)*1 + (-11)/5. Which is smaller: r or -8?
-8
Let q(j) = -j - 33 + 0*j - 4*j + 2*j. Let r be q(-19). Let l be -2*(-4)/r*-3*28. Which is greater: -27 or l?
-27
Let l be (-34)/4 - (-13)/26. Let g = l - -13. Suppose -20 = -4*a, g*o + 2*a = a + 20. Which is bigger: o or 21/10?
o
Let v be 1/(-4) + 1/(-4). Let z be ((-837)/124)/((-3)/4). Suppose 27 = z*d - 90. Which is smaller: v or d?
v
Let i be (272/34 + 558/(-69))*-2. Let y(j) = -j - 6. Let t be y(-7). Which is smaller: t or i?
i
Let k be 222289066/111*897/(-460). Let h = k - -19525054/5. Let p = -337/5 - h. Which is bigger: -1 or p?
p
Suppose -3*p - 256 = -0*p + 5*g, -402 = 5*p - 4*g. Suppose 54*f = 58*f + 236. Let x = p - f. Is x > -26?
True
Suppose -11 = 4*a - 31. Let f(b) = -8*b - 2 + 3*b + 6*b + a*b**2 - 2*b**2. Let g be f(-1). Which is bigger: -2/17 or g?
g
Let h = 143130829297/364 - 393215774. Let k = h + -790. Which is bigger: 0 or k?
k
Suppose -4*h = 34 + 30. Let d be 7/(-2) + (-11)/(44/h). Let z = 14.14 - 14. Which is bigger: d or z?
d
Let p be (-2)/(-10)*(166 + -5411). Is -9428/9 less than or equal to p?
False
Suppose -3*p = -4*n - 22, 58 = 5*p - 9*n + 13*n. Let c be ((p - 4) + -6)*1. Which is greater: c or 2/3637?
2/3637
Let c = -401.2 - 69.8. Let h = c - -481. Which is smaller: -28 or h?
-28
Let g = 561623/18 + -31199. Is g equal to -8?
False
Let g = 15.6 - 19.2. Let q = g + -0.7. Is 1 at least as bi