ose 0 = -3*j - 2 + 8. Let a be 16/g*j/(-24). Which is greater: 0 or a?
a
Let k = -3 - -9. Let y = -11/2 + k. Which is smaller: -2/5 or y?
-2/5
Let c = 0.1 + -1.3. Let h = c + 0.2. Is h equal to -0.1?
False
Suppose -r + 4*r = -4*f + 26, 2*r - 9 = -f. Let v be 1 - (-2)/(1 + f). Which is smaller: 1 or v?
1
Suppose -7 = -d - 1. Let a = d - 5. Which is greater: a or -2/5?
a
Let t be 6/(2 + 7/(-2)). Let b(l) = l**2 - 6*l - 10. Let p be b(8). Let m = t + p. Is m at most as big as 2?
True
Let z = -15 - -24. Suppose 0*g + 8 = 2*g - 2*h, z = 2*g - h. Is g bigger than 2/7?
True
Suppose -2*l = 3*l + 15. Does l = -4?
False
Let b = -149 - -148.93. Which is smaller: 9 or b?
b
Suppose 5*v + 8 + 62 = 0. Which is smaller: v or -1?
v
Suppose 2*m - 4*u - 6 = -0, -4*m - 4*u = -48. Let b be (-12)/(-40)*-2*-15. Do m and b have the same value?
True
Let h(m) = -m**2 + 9*m - 10. Let a be h(7). Suppose 4*k - 5*g + 12 = 3*k, -2 = -g. Let f be (-13)/(-4) - k/(-8). Is a >= f?
True
Let l(u) = -u**2 - 5*u + 2. Let s be l(-5). Let y(j) = -2*j - 1. Let o be y(-1). Suppose o = -d + 2. Are d and s nonequal?
True
Let g = 0.2 + -1.2. Let q = 0.17 - -4.83. Let w = q - 4.9. Is w greater than or equal to g?
True
Let k be (-4)/3*18/32. Let b = 11 + -10. Suppose -b = 5*l - 4*l. Which is smaller: l or k?
l
Let i be ((-66)/45)/(2/(-264)). Let t be -194 - (-1)/((-2)/(-2)). Let k = t + i. Are 1 and k nonequal?
True
Let i = -9 - -10.8. Let m = i + 0.2. Let l = -13 + 12. Is l at most m?
True
Suppose 86*i - 90*i - 32 = 0. Is i not equal to -8?
False
Let v be -2*2/(-4)*3. Which is greater: v or 2?
v
Suppose 0 = 4*p + 4 + 4. Suppose 6 = -5*n + 1. Which is smaller: n or p?
p
Let d(q) = -q**3 + 7*q**2 - q + 8. Let u be d(7). Suppose 0 = -2*f - 4, c - 8 = 4*c - 2*f. Let l = -4 - c. Which is smaller: l or u?
l
Let y = 38377/56 - 4672/7. Let u = -18 + y. Is u smaller than -1?
False
Let w(g) = g**2 - 1. Let y be (-5)/(-10) - 6/(-4). Let l be w(y). Is 2 < l?
True
Let m = -0.7 + -3.3. Let t = 4 + m. Which is smaller: 1/5 or t?
t
Let v be (45/10 + -5)*24. Is -12 less than v?
False
Let i = -198 + 192. Is i equal to -2/23?
False
Let s(w) = w**3 - 17*w**2 - 17*w + 22. Let d be s(18). Suppose -d = -4*o - 12. Which is greater: 5 or o?
o
Suppose -3*x + 5 = -2*l - 8, -4*x = -2*l - 18. Suppose n - x*n = 0. Let h be n/(3*3/9). Is 2/5 at least as big as h?
True
Let v = -621/31 - -20. Which is greater: 1 or v?
1
Let o = -22 + 23. Which is bigger: o or -4?
o
Let o = -70 - -699/10. Let j be (-2)/4*0*1. Is j < o?
False
Let a = 11 - 27. Let k be (a/(-3))/((-45)/6). Let c = 1/9 + k. Is -2 greater than c?
False
Let l be 48/(-21) - 4/(-14). Let t be (-2)/(1*-2) + l. Let h be t*3/((-3)/1). Which is smaller: 0.1 or h?
0.1
Let y = -3 - -5. Let u = -2.23 + 0.33. Let z = u + y. Which is smaller: 1 or z?
z
Suppose -3*z = z - 16. Suppose -4 = -r - z*u + 7, -2*r = -2*u + 8. Which is bigger: r or -0.7?
-0.7
Let k(s) be the second derivative of -4*s**2 + s + 0 - 2/3*s**3 + 1/12*s**4. Let w be k(6). Are 0 and w non-equal?
True
Let g = -4 + 4.17. Let m = -0.07 + g. Which is smaller: 1 or m?
m
Suppose -25 = -j - 0. Is -1 smaller than j?
True
Suppose -3*n - 13 = 5*i, -2*n - 2*n - 26 = -2*i. Let z = -6 - n. Let l be 2 + z - 2 - 1. Which is smaller: -0.1 or l?
l
Let m = 1.5 - -0.5. Let n = 7 - m. Are -0.1 and n non-equal?
True
Suppose 0 = 2*i - 3*v - 7, 2*v = -2. Suppose 0 = -d + 2*d - i. Is 2 > d?
False
Suppose 0 = 5*w + 4*s + 36, -3*w - 31 + 5 = -2*s. Let c = 12 + w. Let b be (-2)/(-3) + 26/6. Is b > c?
True
Let x(q) = -q**2 - 2*q + 1. Let g be x(1). Let i be 2/(-2) + 1 + -1. Is g greater than or equal to i?
False
Let q = 11 + -8. Suppose 39 = 5*r + 3*v, 0*v - q*v - 6 = 0. Is 9 < r?
False
Let x be 3/(9/6)*5/(-105). Is 0 at most x?
False
Let o = 77 - 77.2. Which is smaller: 1/8 or o?
o
Let k = 1/1697 + -3537/242671. Which is greater: k or -1?
k
Let p = -3.1 - 0.9. Let x = -3.8 - p. Let q = x + -0.3. Which is greater: q or -2/3?
q
Let h be (-6)/3*34/(-2). Is h >= 36?
False
Suppose -44 = o - 3*o. Suppose 0 = 4*k - 2*d - o, -d = 3*k + 4*d - 23. Is 6 < k?
False
Let w(z) = 3*z + 6. Let d be w(-4). Let a = -71.9 - -72. Which is bigger: a or d?
a
Let j be (18/474)/((-3)/(-2)). Let o = 140/711 + j. Suppose -5*w + 22 = 4*k, -2*k = -5*w + 2*k - 2. Which is smaller: w or o?
o
Let y be 2/5 + (-56)/(-10). Suppose -3*u + 27 = -57. Suppose -5*t - u = -3*b, 0*b + 5*t = b - 16. Is y bigger than b?
False
Let u = 9.85 - -0.35. Let p = 39 - 49. Let y = p + u. Is -3 > y?
False
Let p = -72.1 + 72.1. Let u = 0.09 + -0.1. Which is smaller: u or p?
u
Let x = -4.039 - -0.039. Is 1.2 >= x?
True
Let m = 2.92 + 3.2. Let a = 3 + -3.12. Let j = m + a. Which is bigger: -1 or j?
j
Let m = 11 + 1. Let z = 2 + -2. Suppose -2*t - 2*t - m = z. Which is greater: -5 or t?
t
Let w(k) = -3*k - 26. Let a be w(-11). Let l be 7 - (1 + -1)/2. Is l at least a?
True
Let m = 3 - 1. Let g be (m/(-3))/((-4)/36). Suppose 5*c - g = 4. Which is greater: -2/7 or c?
c
Let b = 1 - 0.9. Let d = -673150661/651 - -1034026. Let a = -2/93 - d. Which is smaller: a or b?
a
Suppose 5*b = 0, 0*j + j - 5*b = -6. Let o(c) = -c**2 - 7*c - 6. Let h be o(j). Do h and -3 have the same value?
False
Let w be (-1 - 6/(-9))*3. Let k be -19 - (w - -4)/(-3). Let y be (6/(-2))/(k/(-24)). Which is smaller: y or -2?
y
Let q = -8 + 10. Let s = -2.1 + q. Which is bigger: s or -1?
s
Let v be (21/(-9))/(-7)*9. Is 5 at least v?
True
Let v be (-570)/20*4/6. Is v less than -19?
False
Suppose v = 5*k + 11, -5*v + 4*k - k = -121. Suppose v = 2*q - 22. Is q smaller than 24?
False
Let y = -13 - -7. Let b be 8/y + 2 - 1. Is b less than 0.1?
True
Let m = 3/19 + -1/247. Suppose 3*w + 3 + 12 = 0. Let s = w - -6. Is m < s?
True
Let g = 1 + -1. Let n(k) = -4*k**2 + 2*k**2 + 3*k**2 - 11*k - 10. Let j be n(12). Which is bigger: g or j?
j
Suppose 4*m - 5*u = -29, 2*u = -3*m - 41 + 2. Which is bigger: -12 or m?
m
Let t(v) = v**3 + 4*v**2 - v - 5. Let d be t(-4). Which is bigger: d or 23?
23
Let z = 0 - -2. Let n(u) = u**2 - u + 1. Let y be n(z). Suppose 5*w = -3*k - 5, -5*k = -3*w - k - y. Is w greater than or equal to -1?
True
Let z(n) = -n**3 - 8*n**2 + 9*n - 2. Let c be z(-9). Let k be (-244)/(-6) + (-2 - c). Let m = -40 + k. Which is smaller: 0 or m?
0
Suppose -3*h - 60 = 2*h. Let v be 0 - -1 - (-14)/h. Which is greater: 2/9 or v?
2/9
Let a = 6570661/30 + -218936. Let q = a - 86. Which is greater: q or 0?
q
Suppose -2*j = -4*y - 5 + 1, 3*y = j - 2. Suppose -5*c = 4*n - c, -6 = 2*c. Which is smaller: j or n?
j
Let u = -2.7 + 1.7. Let j = -2 - -2.5. Let i = -7.5 + j. Which is bigger: i or u?
u
Let k(m) = 2*m**2 + 5*m - m**3 - 1 + 0*m**3 - 3*m + 0*m**2. Let v be k(2). Let b = 2 - v. Is b != 1/4?
True
Let d(v) = -v**3 + v**2 + v - 1. Let m be d(0). Let a be (2/12)/(m/(-3)). Let l(q) = -q**3 + 4*q**2 - q - 4. Let b be l(2). Which is smaller: a or b?
a
Let n(b) = -12*b - 8. Let d be n(-1). Which is smaller: 2 or d?
2
Suppose 5*w + 11 = -3*o, -w - 6 = 2*o + 2*w. Suppose 0 = -o*m + 5*m + 2. Let i be (-3)/10*(-10)/12. Are m and i equal?
False
Let q = -4.9 + 5. Let k = q - -2.9. Let r be (-9)/42*(-4)/(-3). Which is greater: r or k?
k
Let g = -0.07 - 6.93. Let t = -7 - g. Which is smaller: -0.04 or t?
-0.04
Suppose 5*q = -2*j + 23, j = -0*j - 4*q + 19. Suppose 2*a - 3 = 5. Let z = 4 - a. Which is smaller: j or z?
j
Suppose -4*t + 4 + 4 = 0. Let j be (-2)/(-20)*t + 0. Is j < -1?
False
Suppose v - 12 = -v + h, 5*v = 2*h + 31. Let q(f) = 3*f**2 + f. Let k be q(1). Suppose -2*y - o + 7 = 0, 3*y = 6*o - k*o - v. Is 1 <= y?
True
Let u = 0.02 - 7.02. Let l = 8 + u. Is l >= 1?
True
Let p be (-204)/(-42) + 2/14. Let m = 0 + 1. Suppose p*o - 9 - m = 0. Is o greater than or equal to 0?
True
Let z be 3/(9/(-6)) + 2. Let s be 2 - 2 - (2 + -3). Which is greater: s or z?
s
Let j = 255346/728061 + 2/12773. Let i = j - -6/19. Let g = -3.3 - -0.3. Is g at least i?
False
Let a = 113 - 455/4. Is -2 greater than a?
False
Let r = -15 + 15.11. Let p = r - 4.11. Let v = p + 3. Which is smaller: -0.2 or v?
v
Let f = 10 - 5. Let s(p) = -2*p + 2. Let o be s(f). Which is smaller: -7 or o?
o
Let w = -19.9 + -6.1. Let o = w - -16. Let p = 8 + o. Which is greater: p or 0.02?
0.02
Let m = 5/1102 - 17737/23142. Is m at least as big as -2?
True
Let f be ((-2)/(-8))/1*-1