 = -0.19 + 0.1. Let a = -5884.91 - -5900. Let b = a + i. Is 2 > b?
False
Let m be (-1 + 0)*(-5)/(-5). Let w(q) = q**2 - 61*q - 2974. Let y be w(-32). Which is smaller: y or m?
m
Let d = 18342 - 128769/7. Suppose 3*b = p - 152, 2*b + 27*p - 22*p = -158. Which is smaller: b or d?
b
Let z = 150148 + -1202841/8. Let u = z + 207. Is u greater than or equal to -11?
True
Suppose -10 = -2*a, -3*n + 4*a - 7 + 29 = 0. Suppose -11*c = -n*c + 9. Suppose h = -2*k + 8, h - 3 = -4*k + c*k. Is k bigger than 19/3?
False
Suppose -8 = -2*p - 0*p + a, 0 = -5*a + 10. Suppose 5*c + 20 = p*q, -6*c = -c - 2*q + 26. Let d be (c/5*1)/((-6)/15). Are d and 3 nonequal?
False
Let y be 4294/(-1260) - 2/(-7). Let d = y + 20/9. Let q = -25 + 25. Which is smaller: q or d?
d
Let x = 3 - 3.04. Let r = -4.69324 + 10.59324. Which is bigger: x or r?
r
Let c = -58371/46 - -1269. Let n = 199/230 - c. Is n <= 12?
True
Let d = -3328.8 - -3329. Is d at most -318?
False
Let v = 367 - 413. Which is smaller: v or -47?
-47
Suppose 5*r = v + 117 - 281, -r + 295 = 2*v. Let z = v + -152. Which is smaller: -30/7 or z?
-30/7
Let w = 8 + -3. Suppose -135 = -5*d + i + 2*i, -125 = -w*d + i. Let g be 97/(-4) - (-6)/d. Which is smaller: -23 or g?
g
Let z(p) = 434*p - 1. Let n be z(-2). Let f be (19/(-6) - -2)*(15433280/2072)/(-10). Let k = n + f. Which is smaller: 1 or k?
k
Suppose -13*g = 19*g - 1 + 1. Which is greater: g or -32/149?
g
Let z(x) = -39*x**2 + 4*x + 1. Let p be z(0). Which is bigger: p or -814?
p
Suppose 81*c + 31953 - 123969 = 0. Is c greater than or equal to 10222/9?
True
Let k = 314 - 222. Let h be (k/69)/(2/(-3)). Let n(v) = -v**3 - 3*v**2 - 4*v - 5. Let a be n(h). Do 3/10 and a have different values?
True
Let s(u) = -34*u**2 + 4*u - 3. Let v be s(1). Let z = v - -35. Suppose -z*c + 3*k = 7, 3*k + k = 2*c + 10. Is 2/17 >= c?
False
Let f = 209.1 + -1.1. Let u = f - 205. Which is smaller: 29 or u?
u
Suppose 2*j - 8*j - 1170 = 0. Let o = 39 + j. Let a be o/27 + 10/(-45). Are -8 and a unequal?
True
Suppose w + 5*j = 5, w - 3*w + 3*j = 3. Let t = -18265/2838 - -212/33. Is w > t?
True
Let t = 52 + -52.1. Let k = -0.03 - 0.77. Let g = 0.66 + k. Which is smaller: t or g?
g
Let n be ((-2)/(-170))/(129/390). Is n at least as big as -1?
True
Suppose 0 = -3*u + 21 - 9. Let k be u - (592/22)/(-2). Which is bigger: 16 or k?
k
Let g = -6011 - -6159. Is 448/3 at least g?
True
Suppose 0 = 3*y + y - 3728. Let i = y + -519. Suppose -i = -9*h + 379. Are h and 87 non-equal?
True
Suppose 48*v - 14*v + 20103 = 1267. Are -0.1 and v equal?
False
Suppose 3*j + 480 = 9*j. Let v = -104 + 184. Let q be 7/(35/v)*5. Is q bigger than j?
False
Let w = 7 + -6.9. Let c = 97 - 60. Let q = -29 + c. Is q at least as big as w?
True
Let p = 184 + -164. Suppose -3*o = p*o - 46. Which is smaller: o or 8/13?
8/13
Suppose -4*t + 3*s + 1584 = -1819, -t - 2*s = -859. Which is greater: t or 852?
t
Let w = 2386 + -2380.7. Let q = -7 + 6.9. Is w at most as big as q?
False
Let r = -46.05591 + 0.05591. Which is greater: -3 or r?
-3
Let d be (7 - -1)*(-22 + 21). Let y be 1*2/d*(-8)/10. Are -1.3 and y unequal?
True
Let i(z) = -z + 21. Let x be i(9). Let p(g) = -7*g + 85. Let u be p(x). Which is bigger: 2/19 or u?
u
Suppose -1368*b + 21648 = -1344*b. Do 901 and b have different values?
True
Let u be (-12)/18*(27 + -3). Let f(c) = -6*c**2 - 4*c + 2. Let h be f(-2). Let a be (4 + -3)/(-1) + h. Which is smaller: u or a?
u
Let l = -9 + -23. Let m = 6575 + -6606. Which is smaller: l or m?
l
Let l = -19354 + 19846. Is 493 smaller than l?
False
Let f(q) be the third derivative of -q**6/60 - q**5/6 + q**4/6 + 11*q**3/3 + 10*q**2 - 10*q. Let n be f(-5). Let c = -1 + -1. Which is smaller: c or n?
c
Suppose -5*w + 140 + 10 = 0. Let z be (-1)/14 + w/315. Is z greater than or equal to -1?
True
Let p = -211 + -281. Let r = p + 491.99. Is r bigger than 38?
False
Let a(q) = q + 33. Let p be a(-33). Suppose 22*r - 3793 + 21635 = p. Is -810 equal to r?
False
Suppose -4*p = y + 47, -y + 113 = -4*p + 64. Is p smaller than -2/31?
True
Let j(i) = -2*i**3 + 5*i**2 + 4*i + 1. Let u(r) = -r - 3. Let p be u(-6). Let n be j(p). Let c be n/(-18) - (1 - 77/(-18)). Is c at most -5?
True
Suppose -m = 4*x - 58, 14 = 3*m - 3*x - 100. Let y be (-6)/2*m/(-14). Are y and -4 non-equal?
True
Let q be 29/(-3)*18/3 + 1. Let o = 61 + q. Suppose -6*l - 8 = -4*l. Are l and o nonequal?
True
Let w be (-5 + 6)/((-755)/(-260) - 3). Which is bigger: w or -10?
-10
Let k be 3875/1085*(-7)/(-292)*(-148)/(-10). Which is smaller: 0 or k?
0
Let y = 3060 - 2980. Is 3 >= y?
False
Let d = -35 - -39. Suppose 0 = -3*a + d*q - 20, -5*a + 3*a + 4*q - 20 = 0. Suppose a = -6*p + 9*p - 9. Is p > 3?
False
Suppose -f + 6*f - 15 = 0. Let l(m) = -m**3 + 10*m**2 - 14*m + 9. Let i be l(8). Suppose -17*y + 94 + i = 0. Is y >= f?
True
Let l be 115/16675*-3*(1 - 2). Let k = l + -32/145. Which is greater: k or -6?
k
Let z(p) = 26*p**2 + 188*p + 191. Let x be z(-6). Let c be (-1454)/(-6300) + (-6)/27. Which is smaller: x or c?
x
Let l = 6 - 13. Let g(m) = 2*m**2 - 12*m + 4. Let d be g(6). Suppose -10*f = 44 - d. Which is bigger: l or f?
f
Let a = -11 + 312. Let t = a - 441. Is -140 smaller than t?
False
Suppose -5*g + 102*j - 97*j = 7100, g + 1408 = -j. Which is smaller: -2829/2 or g?
-2829/2
Let s = -0.91 - -86.91. Let p = s - 115. Which is greater: -0.3 or p?
-0.3
Let w = -34951 + 35954. Which is greater: 1001 or w?
w
Let h = -44027.3 + 44046. Which is greater: h or 2/167?
h
Let p = 265.85 - 265. Let l = -0.88 + p. Is l equal to 1/19?
False
Suppose 115*w + 30407 = 102*w. Let s = w + 4803/2. Is 62 smaller than s?
True
Suppose -20*k = -33*k + 325. Suppose 0 = -d - 2*g - k, 2*d - g = 16 - 41. Suppose -4*v = 9 + 47. Is v bigger than d?
True
Let h(r) = r**3 - 9*r**2 - 19*r**2 - 93*r + 32*r - 13 + 42. Let x be h(30). Which is bigger: x or 1.06?
1.06
Let d(z) = 434*z**3 + 14*z**2 + 8*z - 3. Let b be d(-1). Do -3 and b have the same value?
False
Let m(x) = x**2 - 7*x - 77. Let r be m(-6). Let b be (-3)/(-6150)*-8*(-15)/18. Let d = b - -61/2255. Which is greater: r or d?
r
Let l(j) = j**3 + 7*j**2 - 20*j - 12. Let x be l(-7). Suppose -2*n - 3*f = 2*n - 93, -4*f = -4*n + x. Which is greater: n or 29?
29
Let x = -21.9 + 27.8. Let o = 99.7 + -107. Let n = x + o. Which is greater: n or 0.2?
0.2
Let d = 178433/53 - 3367. Suppose -1824*u = -1821*u + 3. Is u less than or equal to d?
True
Let a be (5 - -23)*(-7)/(-2). Let t = a - 103. Which is smaller: -0.03 or t?
t
Let p be 6/(-18)*81/(-3). Let f be p/(-27)*-1*699. Is f bigger than 0?
True
Suppose -13778 = 5*a + 2*o, -67*o + 69*o - 8270 = 3*a. Does a = -2754?
False
Let x(v) = -v**2 - 8*v. Let g(m) = -m**3 + 8*m**2 - 7*m - 8. Let a be g(7). Let f be x(a). Let z = -2000 - -26012/13. Is z greater than f?
True
Let d(r) = -r**3 + 29*r**2 - 325*r - 38. Let t be d(27). Is -7355 equal to t?
True
Let m = 157106 + -3162386676/20129. Let w = m - -43016/27757891. Which is bigger: -1 or w?
w
Suppose -3*k + 4 = 3*x - 2, -k = -x - 2. Let n be 0 + 18 - (0/3 - -2). Let t be (20/n)/(-5)*6. Is t at least x?
False
Let i = 274843/6 - 45807. Is -4/1177 <= i?
True
Suppose 0 = -2*s - 13*s - 3675. Let i be -2*s/924*(-24)/(-21). Is -0.1 < i?
True
Suppose 3*h - 2*p = 3, 0 = -h - 4*p - 77 + 64. Is -50/7 at least h?
False
Suppose b - 2*n = 20, -3*b - 2*n = -4*n - 40. Let v(y) = -75*y + 2790. Let h be v(37). Which is smaller: h or b?
b
Let f = -18 - -194. Let g = f - 108. Is g less than or equal to 1?
False
Let k = -3822439/47 + 81325. Which is bigger: k or -3?
-3
Suppose 0 = -447*l + 463*l - 557 - 9907. Is l bigger than 0.4?
True
Suppose -8*p + 155 = 547. Suppose 20 = 2*i + 2*i, 4*i - 114 = 2*k. Are p and k unequal?
True
Let v be (-537 - -537)/(2 - -1). Let g be 3/5*(-4)/(-30). Are v and g equal?
False
Let n = 1870 + -237488/127. Let f(l) = l**3 + 8*l**2 + 5*l - 14. Let i be 6/(-3) - (1 + 4 + 0). Let y be f(i). Which is smaller: n or y?
y
Let w be 4/(-298)*(-15378)/(-72)*-2. Let v = w - 10/149. Suppose -c - 4*c = -30. Which is smaller: v or c?
v
Let y(s) = 66*s + 1966. Let h be y(-14). Which is bigger: h or 6245/6?
h
Let v = 2 + 0. Let d be 1/v*(10 - -2). Let g be d/(-21)*2/(-4). Is -4 != g?
True
Let d(h) be the first derivative of 5*h**3/3 + 2*h**2 - 6*h + 5. Let w(n) = n**2 - 1. Let t(s) = d(s