*3 - 4*a. Let d be y(-3). Let x = 19 + d. Let u be 18/6 + (0 - x). Which is smaller: u or 0.14?
u
Suppose -4*k - 2*q + 20 = 0, 2*k = 7*k + 2*q - 24. Let a = k - 3. Suppose 5*j + 3*i + 57 = 0, -4*i - a = -4*j - 21. Which is bigger: -10 or j?
j
Suppose 14*o - 13*o + 4 = 0. Let w be 7/14 + (-98)/o. Is w < 1?
False
Let y = -9.7 - 2.3. Let u = 15 + y. Which is smaller: 4 or u?
u
Suppose 3 + 5 = -2*d. Suppose 86 = 2*u - 2*n, 0*u - 5*n + 19 = u. Let o be (u/9 + -3)*-3. Is d at least as big as o?
True
Let m be (-4)/6*(1 - 2)*243. Let j be 36/m + 1/(-45). Are 0.05 and j unequal?
True
Let c(x) = 8 + 13*x + 4*x**2 + x**2 - 4*x**2. Let g be c(-9). Are g and -28 nonequal?
False
Let c = 2429 + -611. Suppose -8*o + 1894 = -c. Let t = o - 1378/3. Which is smaller: t or 6?
t
Let u = -658.3 - -611. Which is bigger: -0.1 or u?
-0.1
Let f be 32/(-80)*1 - (-332)/1130. Is 1 greater than f?
True
Let w = 0.06 - -12.94. Let q = w + -7. Let i = 1 + q. Which is smaller: i or -1?
-1
Let k be ((-20)/(-30))/((-10)/15). Is k > -3.79?
True
Let x = -5516500/241 + 22890. Which is greater: x or 1?
1
Let c = -129 - -129. Which is smaller: c or -0.041?
-0.041
Let t be 42/(-2)*5/(-20)*4. Suppose -26*c = -t*c. Which is smaller: 2/65 or c?
c
Suppose 2*n = -2*c - 4, -4 = -5*c + 1. Let t be (-3 + n)/((-21)/9). Let l be (1/2)/((-5)/(-30)). Is l >= t?
True
Suppose 0 = -8*h + 5*h + 933. Let m = h - 2201/7. Is -2 at most as big as m?
False
Let n = 172655/176 + -981. Let k = n + -87/176. Which is greater: k or -30?
k
Let m = 110 + -110.5. Is 5 greater than or equal to m?
True
Let u = 251/4 - 63. Let t be -3 - 6 - 11245/(-1235). Is u bigger than t?
False
Suppose 2*u = 2*a - 0*a - 60, -4*a - 5*u + 102 = 0. Which is bigger: a or 83/3?
a
Let d = 107.9 - 95. Let q = 158 + -145. Let t = d - q. Is -1.5 at most t?
True
Suppose 2*x + r - 74 = 3*x, 20 = -5*r. Is x less than -79?
False
Let d = 252 - 300. Which is bigger: -442/9 or d?
d
Let w = 7 + 7. Let h = w + -16. Is -1/2 less than h?
False
Let z = 2/123 + -385/984. Let i = 13 + 3. Let l = 17 - i. Which is greater: l or z?
l
Let v = -0.0457 - 0.0059. Which is smaller: 0.1 or v?
v
Let v = 70 - 58. Let g be 3*1 - (v + -8). Which is greater: g or 1/92?
1/92
Let g be (507/(-91))/((-6)/4). Is 1/3 at least as big as g?
False
Let w = 11.97 + -11.87. Are w and -2/175 nonequal?
True
Let f = 5 - 4.4. Let z = 2104 + -2090. Is z >= f?
True
Let i be (2/(-3) + (-772)/3)*-6. Let x be (-2)/(-4) + 0 - 750/i. Which is greater: -1 or x?
x
Let y be 3/(9 + 3) - 8/14. Does y = 1?
False
Let y = 12 + -21. Let n = y + 6. Let q be 1/6*n/18. Which is smaller: q or 0?
q
Suppose 5*b = -5*d - 20, -3*b = 13*d - 8*d + 14. Does d = -17/70?
False
Let f be (-2)/3*1392/(-80). Let j = f + -61/5. Suppose p = -2*p, -4*p - 4 = 4*b. Which is greater: j or b?
j
Let j = 1/9 - 11/18. Let i(s) = s**3 + 15*s**2 - 30. Let v be i(-15). Let m = 23 + v. Is j != m?
True
Suppose -4*y = -y - 6. Suppose y = k + 3. Let n = 20 + -841/42. Is n smaller than k?
False
Suppose 5*k - 2*g = 78, -38*k = -36*k + 2*g - 34. Are k and 14 unequal?
True
Let g be 6/(-27) + 208115/107415. Let m = g + -1/1023. Let n(k) = k - 2. Let q be n(4). Which is smaller: q or m?
m
Let y be (-1)/3 - 9/(-4). Let f = -79/60 + y. Let o be ((-1 + 0)*-1)/(3 - 2). Is o greater than f?
True
Let f(i) = 21*i**2 - i - 1. Let b be f(-1). Suppose -o = -2*n + 4, -5*o - b + 1 = 4*n. Which is greater: -2 or n?
n
Let t(a) = 3*a**3 - 4*a**2 - 3*a - 11. Let o(y) = -y**3 + 1. Let n(l) = -4*o(l) - t(l). Let s be n(-3). Which is smaller: 35/6 or s?
35/6
Let r(s) be the third derivative of -s**5/60 - s**4/12 + 3*s**2. Let p be r(-1). Let n = 2 - p. Which is bigger: 2/7 or n?
n
Let d = -0.33 - -10.33. Let s = 24 - 23.8. Is d at least as big as s?
True
Suppose 4*d + 8*z + 79 = 9*z, d - 4 = 5*z. Is d at most as big as -139/7?
True
Let t = 1548793/395 + -3921. Let n = -5941/3160 - t. Which is greater: n or -3?
n
Let i = 33.251 + -33.3. Is i less than -2?
False
Suppose -h = -6*h - 5. Let j be 111/(-1702)*(2/7 - (-88)/84). Is j <= h?
False
Let b be 24/(-72)*(-6)/(-2). Is -11/39 > b?
True
Let a(w) = w**2 - 8*w + 7. Let h be (14/(-6))/((-2)/12*2). Let d be a(h). Let k be 6*1/(2 + -12). Is k > d?
False
Let d be 2 + ((-540)/(-5) - 4). Let s = d - 107. Which is bigger: s or -5/42?
-5/42
Let q = 15/4 - 53/12. Is q less than or equal to -9/8?
False
Let s(j) = -j**2 - 4*j + 2. Let q(l) = 4*l**3 + l**2 - 1. Let p be q(-1). Let i be s(p). Suppose b - 4*t + i*t = -6, -15 = 5*b - 5*t. Which is greater: b or 27?
27
Suppose -354*c + 352*c = -18. Suppose 2 = -t + 4*n + 29, t = -4*n + 35. Suppose -5*h = -u + 15, h + t = 3*u - 0*h. Which is smaller: u or c?
c
Let l = -55509/15470 - -33/1190. Let g = l - -12/91. Which is smaller: g or -3?
g
Let b = -1/1064 - -2795/2128. Which is bigger: 1 or b?
b
Let d = 12 - 7. Suppose 0 = -5*u - d, -3*u = 2*r - 7*u - 14. Which is smaller: 19/5 or r?
19/5
Let o be 2*-673*(14/(-28))/(-1). Which is greater: -2/13 or o?
-2/13
Let a = -9 - -1. Let g(f) = f**3 + 17*f**2 + 59*f - 11. Let d be g(-5). Which is smaller: a or d?
a
Suppose 14*d + 45 = 29*d. Which is smaller: d or 16?
d
Let o be (-2)/3 + (-1480)/(-60). Let w = 26 - o. Let n be 0 - 2*w/(-4). Which is bigger: n or 2/3?
n
Let v(f) = f**3 - 11*f**2 - 2. Let t be v(11). Let y be (-3)/6 - (-5)/t. Let i be 24/(-30) - (-38)/10 - 6. Are y and i nonequal?
False
Let s be (-8)/6*18/(-2076). Suppose 8 = -4*n - 4*h, 5*n - 2 = -4*h - 9. Which is greater: s or n?
n
Let h = 16 - 115/7. Suppose 3*y - 5*y = 30. Let k be 1 + 63/y + 3. Which is smaller: h or k?
h
Let h be ((-6)/(-9))/(1/18*-1). Let k(w) = 2*w + 27. Let q be k(h). Which is greater: 1 or q?
q
Let n = 52/1163 + -71831/227948. Let q = 219 + -10732/49. Let h = n - q. Is h less than or equal to 1/3?
True
Suppose -2*s + v + 20 = 0, -2 = -3*s + 2*v + 30. Suppose -116 = s*z + 100. Which is smaller: -26 or z?
z
Suppose 5*j + 20 = 0, 0*h = -3*h - 3*j - 12. Let d(t) = -t + 4. Let p be d(h). Suppose 4*n = -4*z, z + p*n + 5 = 2*n. Is 4 smaller than z?
True
Suppose -3*p - 4*g - 13 = 0, 3*p + 79 - 73 = 3*g. Suppose -l - 3*l + 32 = 0. Suppose -4*m = l, m = -2*f - f - 20. Which is greater: f or p?
p
Let x = -409/4 + 9259/92. Are x and -1 unequal?
True
Let w(c) = -14*c. Let t be 1/1 - (-6)/(-3). Let q be w(t). Does q = 12?
False
Suppose -8 = -3*m + 103. Is 0.1 at least m?
False
Let b = 4580/9 + -509. Suppose 0*d + 3*d = -6. Which is greater: d or b?
b
Let j = 0.97 - -0.13. Let o = 162 - 160.7. Let z = j - o. Is 1 at most as big as z?
False
Let t be 2/(20/(-5) - -2). Let v = -10 + 6.4. Let o = v - -22.6. Which is smaller: t or o?
t
Let c = -6 - 0. Let s = 0.848 - -0.152. Which is bigger: c or s?
s
Let v be 1/(-60)*(560/88 + -6). Is -2 < v?
True
Let b be (-22)/(-22)*(-2)/(-76). Let h = -10/19 + b. Which is smaller: 3/11 or h?
h
Let s be 164*-1 - ((-60)/5)/4. Which is bigger: -162 or s?
s
Suppose 5*g + 91 = -3*w, 2*g + 20 = -5*w - 5. Is -20 <= g?
True
Suppose 59 = -4*i - 3*h, -2*i + 3*h - 11 + 4 = 0. Suppose -32*t - 513 = -161. Let d = t - i. Do d and 1/3 have the same value?
False
Let v be -123*12/45 + (-1 - -1). Let c = v - -33. Which is bigger: c or 5?
5
Let o be (24/496)/(9/24). Let s = 2 - 1. Suppose 0 = -4*h - s - 3. Which is smaller: o or h?
h
Suppose -3*u = -2*v - 4*u + 3, -3*v - 5*u + 15 = 0. Let h be (-66)/(-42) - (-4)/1. Let d = h + -333/56. Are v and d non-equal?
True
Let k(a) = -a**3 + 7*a**2 - 6*a + 4. Let s be k(6). Suppose t + 3*t = -s. Are -2/23 and t non-equal?
True
Suppose 4*r + r + 77 = -2*l, 124 = -4*l - 4*r. Let b = -24 + -22. Let w be b/l + -2 + 0. Is w at most 0?
True
Let p = 2804/5 + -10781/20. Do p and 23 have the same value?
False
Let b = -353 + 353.1. Is b less than or equal to -9?
False
Let b = 13 - 10. Is b less than or equal to -3/4?
False
Let y(l) = 4*l**3 + l + 1. Let o(q) = -11*q**3 + q**2 - 3*q - 2. Let c(v) = -3*o(v) - 8*y(v). Let r be c(3). Let x = -449/42 + 65/6. Which is bigger: x or r?
r
Let h(l) = l**3 - 32*l**2 - 34*l + 31. Let d be h(33). Is -14 != d?
True
Suppose 0 = -20*q + 26*q - 30. Is 8 less than q?
False
Suppose 3*k + 37 = 5*g, -3*k + 5*k = 4*g - 28. Suppose -4*i + 33 = 5*c, g*c - 35 + 14 = 2*i. Suppose v + 5*z = -9, -v - 5 = i*z - 2. Does 5 = v?
False
Suppose 5*a - 235 = 10. Is 49 smaller than a?
False
Let b