e -4*i - 2 = -4*w + 2*w, 3*i + 7 = -4*w. Which is smaller: w or -1/10?
w
Let d = 2/3016875 - 1449306764/21118125. Let c be -2 + (4272/15)/(-4). Let x = d - c. Are x and 5 non-equal?
True
Suppose 14*w + 2*w - 2384 = 0. Are w and 149 equal?
True
Let j = 266 + -266. Is -2/303 less than j?
True
Let f(v) = -4*v**3 - 4*v**2 - v - 14. Let m be f(-6). Is m > 713?
False
Suppose 4*x + 11 = 15. Let r be ((0 - -5) + -17)*x/(-2). Which is greater: r or 7?
7
Let p = 1.8318 - -0.1682. Is p at least as big as 2/27?
True
Suppose 4*j = -4*c + 112, -c + 10 = 2*j - 23. Suppose 24 = -r + c. Which is greater: -3/2 or r?
r
Let u be (3 + 168/(-40))*(0 - -1). Which is bigger: u or -0.04?
-0.04
Let h(n) = 2*n**3 - 7*n**2 - 74*n + 381. Let c be h(5). Which is smaller: 84 or c?
84
Suppose -p - 4*m = -269, -4*p + 199 = 3*m - 916. Is 282 at most p?
False
Let l be (-3285)/(-54)*(-3)/15*-2. Is 25 <= l?
False
Let h(f) = f**3 - 3*f**2 + 23*f + 226. Let l be h(-7). Which is bigger: l or 0?
0
Let o(t) = -t**3 - 7*t**2 - 5*t + 8. Let c be o(-6). Let z(s) = -3*s**3 + 0*s**2 - 1 - s**c + 2*s**3 + 9*s**2. Let j be z(8). Are j and -2/3 equal?
False
Suppose -4 - 28 = -8*t. Suppose -t*h = -35 + 59. Which is smaller: -4 or h?
h
Let m = 94 - 94. Let r = -0.33 + 45.33. Which is smaller: m or r?
m
Let t = -816 - -8169/10. Suppose -5*i + r = 4*r - 6, 3*i = -r + 2. Which is greater: i or t?
t
Let v = 7 - -11. Suppose -v*t + 16*t = 0. Is t >= 1?
False
Suppose -5*a = 66 - 6. Let p(h) = -h**3 - 11*h**2 + 11*h - 7. Let m be p(a). Suppose 8 = -w + m*w. Which is greater: w or 0?
w
Suppose -3*r + 11*r + 80 = 0. Suppose -9 = h + 3*y + 4, 4*h - 4 = 2*y. Let v(j) = 8*j**3 - j**2. Let o be v(h). Is o greater than r?
True
Let h be (-8 + 1 + -7)/2. Let a be ((-10)/6)/(4/12). Are h and a unequal?
True
Let a = 0.6 + -0.43. Let f = a - 1.47. Let r = -1.3 - f. Is 3 equal to r?
False
Let g(m) = -m**3 - 2*m**2 + 2*m. Let t be g(-3). Suppose 15 = -w + 5*f + 2, -5*f + 15 = 0. Suppose -w - 30 = -8*o. Which is bigger: t or o?
o
Let j = 53 - 475/9. Let p(h) = 2*h - 2. Let o be p(-2). Let f(d) = d + 7. Let n be f(o). Is j less than or equal to n?
True
Let m = 0.05 + -0.15. Let g = -17.13 + 17. Let f = g + -0.77. Which is smaller: m or f?
f
Let x = 116 + -165. Let g = 25093/4 - 6322. Let a = g - x. Do a and 0 have different values?
True
Let s be (2/4)/((-2)/4). Let l = -13 - -14. Let b be l - (-36)/(-20) - -1. Which is greater: b or s?
b
Let t(h) = h**3 - 2*h**2 - 3*h - 1. Let b be t(3). Let w be (2/(-6))/(13/(-78)) + -7. Let k be (-4 - w) + 13/(-15). Which is greater: b or k?
k
Let q(s) = -s**3 + 7*s**2 + 2*s - 3. Let o be q(7). Let b = o - 7. Suppose -b*p = p. Which is smaller: -2/5 or p?
-2/5
Let k(p) = p**3 + 4*p**2 - 5*p + 1. Let a be k(-5). Suppose o - 3 + 2 = 0. Let j be (20/(-14)*o)/(1 + -3). Which is smaller: a or j?
j
Let f be 4/(-14)*-1 + 2/14. Is 6 bigger than f?
True
Let i = 18630.04 + -18630. Let v = 0.5 + -9.5. Which is greater: v or i?
i
Let o be -5*1/((-15)/6). Suppose i - o*i = -3. Suppose 2*v + 16 = -4*c + 2*c, -i*c = 4*v + 30. Which is smaller: v or -7?
-7
Let s be ((-48)/32)/((-3)/62). Let f = s - 30. Is 1 greater than f?
False
Let x = -0.8 - 0.1. Let h = 0.094 + -0.394. Is h at least x?
True
Let u be (1/(-7))/(-2 - (-172)/60). Which is bigger: u or 0?
0
Let i be 82/41 + 99/(-51). Is i at most as big as 1?
True
Let o(s) = -s**3 - 10*s**2 + 16*s - 132. Let c be o(-13). Which is bigger: -1/4 or c?
c
Let b be 1*(0 + 4/(-10)). Let h be -1 - ((-238)/(-21) - 10)*(-75)/110. Is b less than h?
True
Suppose 882 + 562 = 722*r. Let h(f) = f**2 - 3*f - 1. Let d be h(4). Let y = 7 - d. Which is smaller: r or y?
r
Suppose -j = 2*j + 6. Suppose 0 = 3*l - 9 - 0. Suppose -3*r - 3 = -l*w + 6, -5 = r. Are j and w nonequal?
False
Let g(l) = -32*l + 193. Let a be g(11). Are a and -158 unequal?
True
Let l = -128.32 + -1.78. Let o = -130 - l. Let t = -0.11 + -10.89. Which is greater: t or o?
o
Suppose -384 = -0*m - 3*m. Suppose -563 = -5*k - m. Let o = k + -1128/13. Is o at least 1?
False
Let s(n) = n**2 - 3*n + 3. Let z be s(3). Suppose 0 = 3*j + z + 6. Are -3 and j non-equal?
False
Let g be (1 + 0)*(-12)/6. Let m(y) be the third derivative of -y**4/24 - y**3/3 - y**2. Let z be m(g). Is 0 greater than z?
False
Let y = -99 - -132. Let i be 88/y*(-1)/(-2). Is -1/8 > i?
False
Let j be (-4)/(-8) + ((-9)/6)/3. Which is smaller: j or 2/815?
j
Let a = -3 + -4. Let q = -0.011 + 7.211. Let b = a + q. Is b bigger than 2/5?
False
Let d = -2 - -50. Let t = d - 53. Is 1 equal to t?
False
Let m = -20 - -12. Let t be (-2 + 3)/((-4)/m). Which is greater: 2/3 or t?
t
Let h(x) = 69*x + 494. Let l be h(-12). Is l less than or equal to -335?
False
Let s = -33 + 28. Let j(m) = m**3 + 5*m**2 + m + 1. Let r be j(s). Let d = -1 + -4. Which is smaller: d or r?
d
Suppose -223*p + 213*p = 3470. Is p at most -348?
False
Let b = -267 + 264. Let z be -2*(1 - (-2)/4). Is b < z?
False
Let i(r) = r**3 - r**2 - 4*r + 3. Let b be i(0). Suppose -1 = b*m + 14. Is 8 bigger than m?
True
Let s = -0.0668 + 3.0668. Suppose w = -0*w - 6. Let u = 4 + w. Are s and u equal?
False
Suppose -376 + 61 = -9*q. Suppose -17 = -2*u + 53. Do q and u have the same value?
True
Let n = 4.9 - 5. Let t = -49 - -86. Which is smaller: n or t?
n
Suppose 5*t + 8*d - 12*d - 409 = 0, 4*t = -4*d + 320. Is t greater than 80?
True
Suppose -4 = k, -6*k + 3*k = -3*d - 12. Let w(m) = m**2 + 6*m - 8. Let g be w(d). Let v be 138/(-135) + g/10. Is v less than -2?
False
Suppose -p + 4*p - 9 = 0. Suppose 2*g - 11 = -p. Let y be (33/(-8) + g)*-2. Which is bigger: y or -0.1?
y
Let b(f) = -3*f + 27. Let g be b(8). Let c be 2 + 1 - (3 - (g - 10)). Do c and -0.2 have the same value?
False
Let q = 0.223 + -0.323. Is q >= 35?
False
Let b be 2*(-9)/(-12)*7/(-21). Suppose 2*i = -i - 6. Which is smaller: i or b?
i
Let v be 2 + (-3 - 87) + -2. Let c be v/70 + (-4)/(-14). Let u be 1 - -2 - (-321)/(-105). Which is bigger: u or c?
u
Let z = 0 + -15. Let l be (-19)/((-152)/(-90)) - (9 + -5). Which is smaller: z or l?
l
Let p = 236 + -242. Is -36 at most p?
True
Suppose 0 = 4*i - 5*f + 11, 2*i - 2*f + 13 = 7. Do i and -38/9 have different values?
True
Let o be 13 - (-2)/12*-1100. Which is greater: -170 or o?
-170
Let p be 2/(2/49)*1. Suppose 3*d = -5*i - 22, 8*d = 3*d + 4*i - p. Which is smaller: d or -10?
-10
Let x(r) = 7*r + 4. Let q be x(3). Let j = 303 - 277. Which is greater: j or q?
j
Let a = -11 + 3. Let z(f) = -5*f - 12. Let p(d) = -4*d - 11. Let b(g) = -4*p(g) + 3*z(g). Let r be b(a). Which is bigger: -1/6 or r?
r
Let q be (-20)/(-5) + 1*-1. Let h be ((18/21)/q)/1. Let d = -202 - -1009/5. Is h smaller than d?
False
Let n = 2 - 2. Suppose -30 = -5*z + 5*t, -3*z + 12*t = 14*t - 3. Suppose 5*k + 22 = z*k. Is k <= n?
True
Let i = 1 - 2. Let z = 1 + i. Let n = -2700 + 24301/9. Which is smaller: n or z?
z
Suppose -10*b + 12 = -8*b + 5*h, b + 4*h = 0. Which is greater: -1/3 or b?
b
Let h(y) = 4*y + 1. Let n be h(-1). Let z be (-5 + 4)/(n/(-81)). Which is bigger: z or 1?
1
Let v = 504 - 503. Let m be (-3)/(-12) + 98/184. Which is smaller: m or v?
m
Let a be (-976)/24*(29/(-2) + -2). Does 671 = a?
True
Let m = -6.28 - -7.28. Is 1/4 >= m?
False
Let v = -0.22 - -0.02. Let h = -1.2 - v. Are h and -1/8 unequal?
True
Let m = -192 + 191.923. Let d = 0.123 - m. Which is greater: -7 or d?
d
Let a(b) = b + 2. Let j be a(-5). Suppose 4*k + 18 = -2*g, 0 = 4*k - 7*k + 2*g - 17. Let m = -5 - k. Do j and m have different values?
True
Let n = -0.0385 + 0.0385. Let l = 24/5 - 23/5. Which is smaller: l or n?
n
Let n be (-33)/(-12) - (2 + 0). Let s = 415 - 414. Is n at least s?
False
Let n(o) = o**3 + 53*o**2 + 49*o - 12. Let x be n(-52). Is 144 less than or equal to x?
True
Let s = 135 + -325. Let a = -1079010/11 + 97902. Let g = s - a. Which is smaller: g or 1/4?
g
Let n be ((-6)/5)/((-447)/(-30) + 7). Are 1 and n unequal?
True
Let a = -154 - -2465/16. Which is smaller: a or 0?
0
Let h = -1.17 + 0.17. Is h > -178?
True
Let k(x) = 3*x - 4. Let p be k(-6). Let s(g) = 2*g + 14. Let h be s(p). Which is smaller: h or -31?
-31
Let d = -0.054 - 0.046. Let a = -0.3 + -0.7. Let k = 1 + a. Which is bigger: d or k?
k
Let u(n) = n**3 + 19*n**2 + 18*n. Let i be (-390)/20 + (-6)/(-4). Let f be u(i). Does f = 4/19?
False
Let q be (-1)/