+ 13, 23*w - 24*w + 5 = -2*o. Is 48/91 equal to w?
False
Let w be (-1)/((-4)/3)*21. Let v(b) = -b**3 - 45*b**2 - 273*b - 12269. Let u be v(-45). Which is smaller: w or u?
w
Suppose -548*z + 520*z = -84. Which is smaller: 47/27 or z?
47/27
Suppose 8*m = 3*m - 10. Let u = -42352858192/43373811 - 2/3336447. Let v = -977 - u. Which is smaller: v or m?
m
Suppose 12*l = 58*l - 46. Which is smaller: 5/8256 or l?
5/8256
Let y be (((-32)/6 - 0) + 133/57)/3. Let h = 75632485247/586551195 + -875632/6795. Let d = -2/2333 - h. Which is greater: d or y?
d
Suppose 5*r - 23 = -4*t, 2*r + 11 = t + 2. Is r > -15/323?
False
Let o(k) = k + 31. Let f be o(-14). Suppose -3*h + 295 = 2*h. Let c = h + f. Which is greater: 77 or c?
77
Let b = 233 + -196.7. Let q = b + -32.6. Let h = 4 + -3. Is h not equal to q?
True
Let j be 4/(-40)*-1 - (-5549)/310. Which is smaller: j or -16?
-16
Suppose 0 = u + 5*u - 8*u. Which is smaller: 91/73 or u?
u
Let k(y) = 2*y**2 + 5*y + 68. Let c be k(-9). Suppose -o - c = -r, 0 = 2*r + 3 - 7. Which is greater: o or -182?
-182
Let o = -14046/29 + 2144746/4437. Which is greater: 0 or o?
0
Let q(a) = -8*a + 2. Let l be q(-2). Suppose -1214 - 1636 = -164*d + 14*d. Is d greater than l?
True
Let t = -11 - -15. Let i be (t/16)/((-115)/(-120)). Let z = -0.2 - -0.1. Which is bigger: i or z?
i
Let n = 108 - -35. Suppose 6*v = 17*v + n. Let r(y) = -y**3 - 15*y**2 - 27*y - 1. Let x be r(v). Is 12 smaller than x?
False
Suppose 825 - 4014 - 10856 = 265*o. Are 0.2 and o nonequal?
True
Let s(d) = 51*d**2. Let v be s(-1). Suppose 2*o - 20 = -3*t + v, -3*o + 90 = -t. Suppose 4*m - r = -m - o, 3*r + 12 = 0. Which is bigger: -8 or m?
m
Let p be (-9)/(225/(-16309510)) - 6/15. Let n be (-442340)/p - 4/(-6). Let w = n - 5/393. Are -1 and w nonequal?
True
Let k = -2.8 + -39.2. Let v = k + 81. Let x = 38 - v. Which is smaller: x or 33?
x
Suppose 4*w = 0, 3*z - 2*w = -26 - 7. Is z greater than -17?
True
Let y = -5/814 - -32411/108262. Are y and 1 equal?
False
Let y(p) = -5*p**3 - 3*p**2 - 8*p - 10. Let z be y(-4). Suppose -3*f + z = 396. Which is smaller: f or -31?
f
Let q be ((-2)/(-4))/1 + (-16794)/(-36) + -14. Which is smaller: 431 or q?
431
Suppose -5*z + 81 = 31. Let x be z*((-144)/(-66))/6 + -2. Is x smaller than 0.2?
False
Let p(m) = -m + 3. Suppose 3*t + 16 = -h, 180 = -5*h - t + 6*t. Let b be p(h). Which is bigger: -2 or b?
b
Let k be 18/8 - 3/12. Let q be 0 - (2/(-4) + 5/k). Let o = -182 + 538/3. Which is smaller: q or o?
o
Let h = 2/12715 + -509/2543. Which is smaller: 1350 or h?
h
Let o = 613 - 14031/23. Is 2 bigger than o?
False
Suppose -2*p + p = 5*p. Suppose -4*r + 12 = 2*m + m, p = -m + r - 3. Is 4/7 bigger than m?
True
Suppose -8*h + 66 = -10*h. Let z = h - -115. Let n be (z/20 - 4)*4. Is n greater than 0?
True
Let d(k) = -27*k - 108. Let h be d(-4). Which is greater: -17/86 or h?
h
Let a = -8330 + 8353. Which is bigger: 1/70 or a?
a
Let y = -0.02 - 1.48. Let r = 373 + -368. Which is bigger: y or r?
r
Let n(j) be the second derivative of 1/6*j**3 - 17/2*j**2 - 5*j + 0. Let x be n(5). Do -13 and x have the same value?
False
Suppose -17*b = 12*b + 28*b - 23*b. Is 9635/3 smaller than b?
False
Let q be (-129)/(-4)*(-108)/(-81). Is 30 < q?
True
Let u be 1029/882*(0 + 1446). Is 1686 < u?
True
Let y be ((-1448)/543)/((-10)/19896). Which is bigger: 5306 or y?
5306
Let h = -83 - -86.3. Let k = h - 12.4. Let p = -9 - k. Do 0 and p have the same value?
False
Let h(r) = r**3 + 10*r**2 - 4*r + 4. Let t be h(-8). Suppose 22*l = -2*j + 25*l + 343, -2*j = -2*l - 336. Which is bigger: j or t?
t
Let w = 8 - 7. Let b = 6/283 + -775/23206. Let k = b - 111/4346. Which is smaller: w or k?
k
Suppose -109650 = 173*c - 2736. Is c at most 6?
True
Let g = 0.11106 + -0.01106. Let u(z) = 12*z - 1. Let m be u(-9). Let a = 431/4 + m. Which is smaller: g or a?
a
Let u(p) = p**2 - 8*p + 38. Let g be u(12). Let w = 163 - g. Are 76 and w nonequal?
True
Let w = 31 - 29. Suppose -d - 2*q + 15 = 0, -4*d + 7 = -w*q - 23. Suppose -3*j + 6 = -d*j. Which is bigger: -20/13 or j?
j
Suppose 928*s + 2*m = 930*s + 10, 3*s + 2*m = -20. Which is smaller: -129/28 or s?
s
Let a be (-2)/7 + (-440)/77. Let d be a - 7/(98/(-35)). Which is bigger: -3 or d?
-3
Let b be 38 - (-1 + (0 - 1)). Let o = -11625 - -11667. Which is smaller: b or o?
b
Let w be ((-5 - -4)/(-2))/(1/312). Suppose -w*d - 86 = -155*d. Do -86 and d have the same value?
True
Suppose 132 = -0*y - 3*y. Suppose -17*n = -12*n + 225. Let m = y - n. Which is greater: m or 1/7?
m
Let f = 170 + -54. Let n = -1310 - -3931/3. Which is bigger: n or f?
f
Let s(a) = -a**3 - 5*a**2 + 2*a + 4. Let z be s(-5). Let b = 19344/181 + 3337643/1448. Let p = 2407 - b. Is z at most as big as p?
True
Let c be ((-20)/(440/1661))/((-9)/12 - -1). Which is smaller: -304 or c?
-304
Suppose 8*m = 48 - 144. Let b be m/(-36) - (-4)/(-3). Let f be (-2)/b - 4/3. Is f at least as big as 1?
False
Let m = -12745 + 12747.6. Are -206 and m equal?
False
Let h = -4896 - -4463. Is h equal to 0.1?
False
Suppose -97 = -5*b + 203. Let m be ((-16)/3)/((-5)/b). Is 62 less than or equal to m?
True
Let d be (24/(-10))/6 + (-10)/(-25). Is d greater than -35/29?
True
Let a be (-8)/48 + (-4604)/(-27408). Let n = 91381/15988 - a. Which is bigger: n or 5?
n
Let p = 1626 - 14633/9. Let m(l) = l + 2. Suppose -3 = 5*t + 7. Let n be m(t). Is p > n?
True
Let c be 45/12 + 2/(8/(-3)). Suppose 0 = c*o - 29 - 1. Suppose w = -4*w - o. Which is greater: 17 or w?
17
Suppose -1 = -p - 4*r - 22, -5*p - 57 = -4*r. Let y = -162 - -218. Let f be (-6)/(-16) + (-637)/y. Is p greater than f?
False
Let g = -240 - -274. Suppose 0 = 4*p + 5*q + 165 - 51, -p = 4*q + g. Which is smaller: p or -27?
-27
Let o be 7*15/25*((-27352)/(-24))/13. Is 368 at most as big as o?
True
Let s = -2.47 - -2.7268. Let v = s + -0.0568. Which is greater: -49 or v?
v
Let j = 14.567 + 79.433. Which is greater: 3 or j?
j
Let m(s) be the first derivative of -8*s**2 + 60*s + 7. Let b be m(8). Is b greater than or equal to -69?
True
Let i = 17775.29 + -17696. Let d = 15.01 + i. Let h = 94 - d. Which is greater: 1 or h?
1
Let n = 292.82 - 172.82. Which is bigger: n or -34?
n
Let f = 148.41 + 2137.59. Which is bigger: f or 1/5?
f
Let b be (66/22)/((-6)/548). Let p = b - -275. Is 0.006 at most p?
True
Let a = -3381.89 - -3382. Which is bigger: a or 0.2?
0.2
Let t(o) = -24*o**2 + 6*o - 6. Let v(u) = u + 13. Let c be v(-11). Let a be t(c). Let z be (785/a + (-2)/(-9))*2. Which is bigger: z or -15?
-15
Let a = -0.194 + -119.806. Let p = 119.4 + a. Which is smaller: p or -1/2?
p
Suppose 9897 = 58*q + 2241. Is 263/2 smaller than q?
True
Let o = -229/3 - -81. Suppose 0 = 20*y - 457 - 663. Let m = y - 51. Is o greater than or equal to m?
False
Let p = 48 - 42. Let v(n) = n + 5. Let d be v(-2). Let r be 1/p*-1 - (-1)/d. Is 0 < r?
True
Let o(a) = 5*a + 79. Suppose 0 = -4*s - 37 - 27. Let h be o(s). Let g be (h - -8)*1/7. Is g > 1/50?
True
Suppose 81*r = 78*r + 18. Let o be (14 - -5)*(4 - r). Is o smaller than -0.1?
True
Let q = 84 - 84.39. Let s = 74.39 + -75. Let i = s + q. Do 27 and i have the same value?
False
Let n = -2/5 + -1/10. Let m = 2.7 - 2.61. Let a = 0.16 - m. Is n equal to a?
False
Let h = 0.2387 + -0.1387. Which is bigger: h or -2233?
h
Suppose 9 = 3*i, 8*i - 45 = 2*j + 3*i. Let n be ((-60)/(-28))/j + (-8)/(-7). Is -3/635 at least as big as n?
False
Let q = 86.74 - 86.55. Which is bigger: -422 or q?
q
Let a = 4172.9 + -4395. Let n = -222 - a. Which is greater: 1/327 or n?
n
Suppose 800*f - 815*f + 15 = 0. Is f bigger than 2/1783?
True
Let y(u) = -3*u**2 - 45*u - 171. Let g be y(-5). Are g and 38 equal?
False
Let w = 3.6 - 3.6. Suppose 2 = -2*k, -3*x - 2*k + 2 = -k. Suppose 2*p + 19 = -x. Which is bigger: p or w?
w
Suppose -122 = -5*p - 107. Suppose k - 1 = 0, g - p = -k + 2*k. Suppose -g*o = 38 + 110. Which is smaller: 1 or o?
o
Let f(d) = d**3 + 6*d**2 - 7*d + 6. Let s be f(-7). Suppose 4*t = 4*p + 84, -6400*p + 6402*p - 78 = -4*t. Which is smaller: s or t?
s
Let g be -1*(-40 - -20)/4600. Let j be (-2)/(-5) + (-2)/5. Which is smaller: j or g?
j
Let i(t) = 33*t + 1765. Let w be i(-61). Which is smaller: w or -0.3?
w
Let b(s) = 0*s**3 - 1 - 4*s**2 - 3*s**3 + 2*s**3 + s. Let w be b(-4). Let c be -5504 - -5502 - (-1 + 1). Which is small