 - 6 = 0, 0 = d + 1. Which is bigger: -2/2719 or q?
q
Let t be (-1)/5 + (-291)/(-5) + -1. Suppose -4*v = 67 + t. Which is smaller: v or -179/6?
v
Let u(s) = 12*s**2 - 39*s + 89. Let c be u(3). Are c and 82 equal?
False
Let h(k) = k - 42. Let w be h(16). Let u be (110/w)/1 + -3. Let y = 4256/585 + u. Which is smaller: 0 or y?
0
Suppose -59*d = -51*d - 48. Let q be (-44)/(-24) - 9/d. Let h = 48 - 16. Are q and h nonequal?
True
Suppose 0 = 200*i - 194*i - 462. Let b be 57*(-24)/(-18) + 2 + -1. Is i at least as big as b?
True
Suppose 0 = -0*j + 6*j - 1806. Let y be 9/(-15) - (7 + j/(-35)). Which is greater: -6/47 or y?
y
Let r = 1301893053/728 - 14310141/8. Let n = r - -453. Are -1 and n nonequal?
True
Let l(x) be the third derivative of x**5/60 + 11*x**4/24 - 23*x**3/3 + 2*x**2 - 19. Let o be l(-19). Suppose f - 2*f + 105 = 0. Which is greater: f or o?
o
Let f(v) = -2*v**3 - 31*v**2 + 15*v - 55. Let u be f(-16). Which is greater: 29 or u?
29
Let j = -12999 - -12999.05. Which is smaller: j or -341?
-341
Suppose -t = 5*a - 10, 0 = -9*a + 4*a + t + 20. Let m(q) = -q**3 + 2*q**2 - q + 1. Let b be m(a). Suppose -10*h - 1 = 89. Which is smaller: h or b?
b
Let z = -2.5 - 13.5. Let a = -15.9 - z. Which is smaller: a or -134?
-134
Suppose 0 = 4*r + p + 4, 3*r - 2*p - 19 = -11. Suppose r = 11*u + 267 - 278. Is u != 3/320?
True
Let x = -0.05847 + 0.06307. Is x > -7?
True
Suppose 3*r = -g + 1, g + g = -4*r. Let y = -274 + 374. Let o be 3/y*(12 + -10)/(-1). Is r at most o?
False
Suppose -13*b + 320 = -21*b. Let w = 62 + b. Which is smaller: 158/7 or w?
w
Let g be ((-318)/(-5))/(24/800). Is g != 2119?
True
Let z(f) = 161*f - 222. Let g be z(-9). Are g and -1671 equal?
True
Let l = 2.06 + -0.06. Let r be 63/28 - 44304/19136. Which is bigger: l or r?
l
Let h be -9 + -2*133/(-38). Suppose -4*a - 2*n + 710 = 0, n = -a - 2*n + 190. Let l be (-260)/a + (-2)/(-10). Are l and h nonequal?
True
Suppose -14*u - 30*u = 24*u + 33660. Which is greater: -486 or u?
-486
Let p = -2203/10924 - 132/2731. Let d = -2702/99 - -205099/7524. Let x = d - -1/171. Which is bigger: p or x?
x
Suppose 0 = -4*m + i - 378, 2*m + 184 = -0*m + 3*i. Let l be m/(-35)*(1779/(-900) - -2). Let o = 1/300 + l. Are 0 and o unequal?
True
Let y = 156.182 + 35.818. Let u = -0.4 - -1.4. Is y at least u?
True
Let f = -1444708/47102655 - -1/68763. Is f < -1?
False
Let w = -10373 - -27620. Is w smaller than -1?
False
Let y = -653.8 + 398.8. Which is smaller: y or -2?
y
Let z = 79 + -67. Let l be (-8 + z + -5)*2/301. Let f = -608/903 - l. Which is smaller: 0.04 or f?
f
Suppose 7015*f = 7034*f + 69578. Is -3662 greater than f?
False
Let l = 1289 + -1309. Suppose 5*u - r + 75 = 0, -u - 7 = r + 8. Is u less than l?
False
Let g = 18556 + -18542. Let k(d) = -d**3 + d**2 + 10. Let t be k(0). Suppose 2*v = t + 16. Are v and g equal?
False
Suppose 3*j - 5*j + 4 = 0. Let o be (-580)/770 + j/11. Let v = -366 - -364. Which is greater: v or o?
o
Suppose 2*y = -o - 3*o + 76, 3*y = -o + 119. Suppose -48*k - 464 = -y*k. Which is smaller: k or -60?
-60
Let i be 12*75/120*88/(-6). Suppose 5*q = -4*d - 545, 5*q - 5*d = -420 - 125. Are q and i nonequal?
True
Let w be 113 + (124/(-93))/((-6)/(-27)). Is -5 > w?
False
Suppose 4*o - 14 = -50. Let x = -80.995 - -81. Let w = 0.995 + x. Which is smaller: o or w?
o
Let r be 1*(8 - 7 - -16). Let o be 525/r - (-54)/459. Is 34 bigger than o?
True
Suppose 10 + 0 = 5*b. Let u be (4/b)/(2/4). Let p be (-1012)/(-220) - ((-39)/(-15) - 3). Which is smaller: u or p?
u
Suppose 0 = 7*r - 2*r + 65. Let y(j) = 2*j + 18. Let o be y(-7). Suppose 0 = -o*k + 3*n - 44, -3*k + 5*n - 4 - 18 = 0. Which is bigger: r or k?
r
Let x = 2 + -1.97. Let d = -24.83 + 8.86. Let a = x - d. Is 1 at least a?
False
Let t = 945352733/348 + -2716561. Let u = t + 732/29. Let r = u - -19/12. Which is bigger: -2 or r?
-2
Let w(f) = -f**3 + 21*f**2 - 42*f - 28. Let s be w(18). Let a be -1 + -1 + s/(-196) + 3. Which is greater: a or 0?
a
Let y = 6 + 59. Let d = 128 - y. Is d not equal to -0.1?
True
Let s(d) = -23*d - 19. Let u be s(0). Which is smaller: -64 or u?
-64
Let q = -0.2 - -0.2. Let n = 1738 + -1742. Let t = n - q. Which is smaller: t or 3?
t
Let p(o) = -o**3 + 26*o**2 + 24*o + 128. Let l be p(27). Which is smaller: 117 or l?
l
Let m = -191/61 + 140263/44835. Let o = 844571 - 844572. Which is smaller: o or m?
o
Let j(s) = 5*s + 66. Let p be j(-13). Let u be 8/(-2)*(-54)/264 - p. Let a be 4 - (-4)/((-8)/6). Is a bigger than u?
True
Suppose -3*l = -8*l + 30. Let n(w) = w - 2. Let o be n(l). Let x be (3/(-1))/1*1. Is o less than x?
False
Suppose -5358 = 20*q - 33*q + 11*q. Is 2680 greater than q?
True
Let j = -133 - -78. Let n = -32 - j. Let z = n - 23.1. Is 0.2 not equal to z?
True
Let v = -526 + 529. Suppose 36*b = 32*b + 4*a + 140, 5*a = v*b - 99. Is b <= 34?
False
Let n = -2905 - -2904.9. Which is bigger: n or 3648?
3648
Let a = -33.035 + 33. Let m = 44.035 + a. Let f = m + -43. Is f > 29?
False
Let v(h) = 0*h**2 + 6*h + h**2 + 2 - 7. Let n(g) = g**2 - 23*g + 7. Let r be n(23). Let a be v(r). Are 85 and a equal?
False
Let x(c) = c**3 - 9*c**2 - c + 11. Let v be x(9). Suppose v*f = -0*f + 2. Let a = 6232/6177 + -70/71. Which is bigger: f or a?
f
Suppose -c = 10*c + 12*c + 38318. Is -1666 at most as big as c?
True
Let c = 5004 + -4683. Which is greater: c or 325?
325
Let j(v) = 3*v + 1. Let n be j(1). Let o be (2/n)/((-10)/88). Let z = 52266 - 52269. Do z and o have the same value?
False
Let s = -59 - -69. Suppose s*z - 8*z - 588 = 0. Suppose 14*a + z = 20*a. Which is greater: a or 50?
50
Suppose 41095 = 52*v + 137295. Which is smaller: v or -1849?
v
Suppose -5*h - 2*g = -21, 5*h + 5*g = -6 + 21. Suppose -o - 11 - 47 = h*n, -5*o - 5*n - 330 = 0. Which is bigger: o or -67?
-67
Let g(t) = t**3 + t**2 - 3*t - 2. Let l be g(-2). Suppose -11*y - 1380 = -5*y. Let b be (-2)/(0 - y/(-20)). Is b less than or equal to l?
False
Let i = -1961 + 1960.9. Which is smaller: -1.92 or i?
-1.92
Let n(i) = 85*i**2 - 5*i - 6. Let k be n(-1). Let a be k/(-63) + 2/6. Does a = 1/40?
False
Let q = -759 - -775. Let d be (9/(-6))/((-9)/66). Which is greater: q or d?
q
Let r(d) = -1444*d**3 + 8*d**2 + 7*d - 17. Let u be r(1). Is u bigger than -1449?
True
Let u = -225 - -225. Let o be (u + (-30)/3)*116/(-8). Which is smaller: o or -0.1?
-0.1
Let h = -15410 - -25356. Let m = 99541/10 - h. Is m >= 7?
True
Let z = 1/4215 + -1406/4215. Suppose -4*j - 3 = 1. Which is smaller: z or j?
j
Let f = 25/553 + -857/4977. Is -1 greater than f?
False
Let n = 227 - 158.3. Let d = 68.7 - n. Are d and 1/545 non-equal?
True
Let w = -75 + 74.51. Let s = -8028 - -8028.49. Let y = w + s. Is -4 at least as big as y?
False
Let k be -4 + 5*(-2)/(-15) + (-3036)/(-684). Suppose 2 = i + 3*i + g, 0 = i + 3*g - 6. Is k equal to i?
False
Suppose 3484 = -7*b + 19709 + 30528. Is b less than 6679?
False
Let q = -1/16 - 987/848. Is -2 bigger than q?
False
Suppose -3*i = -21, -4*t + 398 = -5*i + 437. Are -11/89 and t nonequal?
True
Let a(f) = 345*f**3 - 28*f**2 + 24*f + 3. Let m be a(1). Which is smaller: -9 or m?
-9
Let x(p) = -p + 3. Let a be x(-2). Suppose 6*q = a*q + 10. Suppose 4*y = q*y + 294. Is y at most -50?
False
Let v be (-13)/(-4) + (-23)/92. Let u = -2.7 - -2. Let z = 0.6 + u. Is z equal to v?
False
Let j(t) = -2*t**3 - 14*t**2 + 34*t + 232. Let y be j(-7). Is -12 not equal to y?
True
Let m be (-1799 + 8)/(-9) + 6. Which is bigger: 204 or m?
m
Let b = 231.78 + -261.1. Let v = -0.13 - -0.45. Let p = v + b. Is 0 bigger than p?
True
Let s(x) = -821*x - 113. Let t be s(-5). Let d = t - 307393/77. Is d smaller than -1?
False
Let g(w) = w - 3. Let d be g(15). Suppose 5*s - 4 = -3*p + d, 4*s + p = 17. Suppose 3*u - 4*m - 20 = 0, s*m = 4*u + m - 20. Is u less than -1?
False
Let d be (-116)/348 - (0 - (-32)/(-6)). Suppose -3*a = -y + 31, -d*a = y - 0*a - 55. Which is bigger: y or 44?
44
Suppose s - 6*s + 5*s = -4*s. Which is smaller: 20/363 or s?
s
Let n = -2/765 + -19117/3060. Let o be (5494/82 - 73)*-7*2/(-12). Which is smaller: n or o?
o
Let j = 2966/45 - 196/3. Let o = j - -434/495. Is o smaller than -1/3?
False
Let j(z) = z**3 + 5*z**2 + 4*z - 1. Let q be j(-3). Let o be (-1)/28*(q - 11). Let k = -0.04 + 0.14. Which is greater: k or o?
o
Let j be 0 - (-16)/12*-6. Suppos