4 = -3*j + 5. Let u be j*(-1)/3*-2. Which is bigger: -0.2 or u?
u
Let q = 0.4 + -0.7. Let l = q - -0.2. Let z = 148/99 + -14/11. Which is smaller: z or l?
l
Suppose -3 = 5*z - 2*z. Let w be 0*1*z/2. Which is smaller: w or 1/4?
w
Let f(x) = -x - 10. Suppose -8*g = -4*g + 28. Let b be f(g). Is b > -5/2?
False
Suppose 2*h = 4*w - 14, -5*w - 4*h = -3*w + 18. Suppose -1 - w = 2*z. Let f(a) = a**3 - 3*a**2 - 5*a + 3. Let s be f(4). Is z at most s?
True
Let h(i) = 4*i**2 + 2*i - 8. Let q(l) = -3*l**2 - 3*l + 7. Let r(f) = 2*h(f) + 3*q(f). Let x be r(-6). Let o = -25/37 - -1/111. Does x = o?
False
Let a = -4477/25 - -179. Is a != 1?
True
Let k be ((-280)/26)/4 + 2*1. Is k != 0?
True
Suppose o + 2 = -2*y, -5*y + 3*o + 2*o = -10. Let p = 4067/18 - 226. Is y >= p?
True
Suppose 4*t - 5*v = -0*t + 5, 30 = -4*t - 2*v. Which is greater: -4 or t?
-4
Suppose 0 = 3*z + z + 1124. Let x = z - -1413/5. Which is greater: 1 or x?
x
Let j be (-73)/(-2) - 2/4. Which is greater: j or 37?
37
Let s = 2/167 + 1165/334. Which is smaller: s or 1?
1
Suppose -t - 6 = 55. Which is bigger: -62 or t?
t
Let o = -0.55 - -0.15. Are 12 and o equal?
False
Suppose -14*h = -9*h + 105. Which is smaller: h or -20?
h
Let s(k) = 2*k**2 + 4*k + 2. Let m(c) = 3*c**2 + 6*c + 3. Let d(l) = 5*m(l) - 8*s(l). Let v be d(-1). Is v >= -2/15?
True
Let k = -7 - -5. Let n be 8/28 + 2/42. Which is smaller: k or n?
k
Let x = -2439/4 - -604. Is x < -7?
False
Suppose 2*s + s - 4*q + 11 = 0, s + 3*q - 5 = 0. Let r be -3 - -1 - s*2. Which is smaller: r or -5/4?
-5/4
Let c = 51/25454 - 7/286. Let z = -257/445 + c. Is -2/7 bigger than z?
True
Let n be 2/78 + 2/(-6). Suppose 0 = 10*z + 10 - 0. Which is greater: n or z?
n
Let a be -1 + 21/18 + (-105)/(-18). Let s be (-6)/4*32/3. Let i = s + 23. Is i > a?
True
Suppose -3*s - 1 = -7. Let w be (2 - 5 - -1)/s. Which is smaller: 0 or w?
w
Suppose 5*l - 18 = -8. Suppose 9*y + 6 = 33. Which is smaller: l or y?
l
Suppose -v = -6*v. Let w(a) = 7*a - 3. Let k be w(2). Let f be (-4)/(-11) + (-2)/k. Does v = f?
False
Let o = -64 - -193/3. Does 0.15 = o?
False
Suppose 5*a + 3*j = -0*j, 0 = -a + 5*j. Let w be (a - 2)*6/4. Let s be -4*(18/8)/w. Which is smaller: 1 or s?
1
Let m be (-1 - 8/(-6))*-18. Which is greater: m or -7?
m
Let t be ((-4)/(-6))/((-2)/(-3)). Let p = 13/12 - 3/4. Which is greater: p or t?
t
Let o be (6/(-4))/((-63)/780). Let i = -1964/105 + o. Which is greater: 1 or i?
1
Let l(f) = -6*f - 2. Let k be l(4). Let b = k + 173/7. Is -1 less than b?
False
Let x be (1/2)/((-12)/(-8)). Let g = 0 - x. Let r(m) = -2*m + 1. Let k be r(1). Which is smaller: k or g?
k
Let z(r) = -r**3 - r**2 - r - 15. Let i be z(0). Let n be (-2 - 39/i)*5. Suppose 0 = -0*t - n*t. Are -4/5 and t equal?
False
Let t(f) = 7*f**2 - 2 + f**3 + 7*f + 10 + 1 - 2. Let n be t(-6). Is 0 greater than or equal to n?
False
Let l = 0.8 + -6.8. Let x = -5 - l. Is -8 greater than x?
False
Let y(s) = -s**2 - 9*s - 8. Let p be y(-7). Suppose -4*h + 3*m - p = 0, -4 + 12 = -4*m. Which is bigger: h or -4?
h
Let i = 1.9 + 0.1. Let v = -1 + i. Which is smaller: v or -1?
-1
Let d(o) = -o - 2. Suppose 3*j + 0*m + 3*m + 27 = 0, -2*m + 7 = -3*j. Let z be d(j). Let b = -47/2 - -25. Do z and b have the same value?
False
Suppose -s - 3 = -32. Is s != 28?
True
Let a = 0 - -1. Let i = -143 + 143.1. Is a >= i?
True
Let r(f) = f**2 - 8*f + 8. Let n be r(6). Let o(m) = -m**3 - 2*m**2 - m - 4. Let p be o(n). Let j = p - 94/3. Is j at least as big as 0?
True
Let q = -4 + 7. Suppose f - 2*f = -q*x - 33, 5*x = -2*f - 66. Let i be 6/(-9) - 14/x. Are i and 0 equal?
False
Let v = 241/336 - 13/16. Suppose -s - s = 0. Is v less than s?
True
Let u be 3/7 + 159/(-21). Which is greater: u or -8?
u
Let k be (-16)/72 + (-16)/(-18). Which is smaller: 1 or k?
k
Suppose g + 4 = -g. Let b = -5 - -5.01. Let a = b - 0.11. Which is smaller: g or a?
g
Let u be 1*(0 - 4/(-12)). Suppose -5*m = -2*o + 1, -4*m + 7*m = 9. Suppose 7 = -5*v - o. Is u smaller than v?
False
Let q = 1/2 + -9/10. Suppose 0 = n + 1 - 2. Is q at least as big as n?
False
Let f = -20 - -12. Are -6 and f unequal?
True
Let u(k) = k**2 + 2*k. Let w(h) = -h. Let y(t) = -u(t) - 3*w(t). Let o be -2 + 5/2 - 7/14. Let i be y(o). Is 3/4 >= i?
True
Let i(s) = -s**3 + 3*s**2 - s - 1. Let v be 20/(-6) - (-5)/15. Let y be 3 + v - (0 - 2). Let b be i(y). Is b less than -1?
False
Suppose 4*q - 33 + 5 = -2*g, 3*q - 35 = -5*g. Suppose 0 = 3*d - 3*m + 3, 0 = d + g*m + 4 - 3. Let b be 4/(-9)*(-2)/4. Is b >= d?
True
Let q = -12 + 1. Let n = -0.02 - -0.22. Let m = -0.2 + n. Is q != m?
True
Let u be (1/(-3) + 1)/(-2). Let y be 3*(5 + (-29)/6). Which is smaller: u or y?
u
Suppose -d - 4*l = 7, -d + 2*d + 5*l = -9. Let w be (12/105)/(d/5). Suppose -m = 5*y - 3, -2*m = 2*y + 3*y - 1. Does y = w?
False
Suppose 0*u + 24 = -4*u - 5*i, 2*i + 10 = -2*u. Is u at most as big as -6/23?
True
Suppose 12*o - 2*o + 90 = 0. Which is smaller: o or -10?
-10
Let w = 135.1 + -142. Let r = 0.12 - -6.88. Let t = r + w. Is 0.06 not equal to t?
True
Let a(g) = g**2 + 3. Let r be a(0). Is r > 17/5?
False
Let g = 3842/5 - 758. Is 9 less than or equal to g?
True
Suppose w = -w. Let n(a) = -a**2 + 8*a - 7. Let c be n(6). Let b be (4/50*c)/(-1). Which is bigger: w or b?
w
Suppose 3 = m, 4*n - 2*m = -0*n - 6. Which is smaller: 1/37 or n?
n
Let u be (-3)/(9/6) - -3. Let h = u - -1. Suppose -2*t + 8 = -h. Which is smaller: t or 4?
4
Suppose 0 = -6*x + 23 + 7. Which is smaller: x or 6?
x
Suppose -y - 36 + 12 = -5*p, 2*y - 3*p + 13 = 0. Let n be 5/10 - y/(-2). Which is bigger: 0 or n?
n
Let i(l) = -l**3 + 7*l**2 - 6*l + 3. Let g be i(6). Let w be 0 + 0 + 0 + 0. Suppose w*s = -g*s. Which is bigger: -1 or s?
s
Suppose -k + 3*d - 1 = -5, -2*k - 32 = 4*d. Which is smaller: -7 or k?
k
Let k be (-8)/(-28) + 1560/(-462). Which is bigger: k or -4?
k
Let i(l) = l - 2. Let r be i(4). Let c(k) = r + 1 - k**3 - 5 + 7*k**2. Let o be c(7). Is o at most as big as -2?
True
Suppose 6*v - 12 = 4*v. Suppose 2*c - v = -4*u, -u - u - 15 = -5*c. Is u at least as big as 1/2?
False
Let g = -2.7 + 2.7. Is -0.38 greater than g?
False
Let a(f) = f**2 - 3*f - 1. Let n(w) = -w**2 + w + 1. Let d(z) = a(z) + 2*n(z). Let u be d(0). Which is smaller: -2/21 or u?
-2/21
Let v = -5 + 3. Let k = -4 - -1. Is v < k?
False
Suppose -5*h + 110 = -5*d, -2*d + 22 + 53 = 5*h. Is 17 smaller than h?
False
Let z be ((2 + -2)/1)/(-2). Which is greater: -1 or z?
z
Let q(j) = -j**2 - 11*j - 19. Let o be q(-9). Let u be 47/(-580) - (-4)/10. Let t = -2/29 + u. Is t bigger than o?
True
Let n = 1709/14 + -122. Which is bigger: n or 0?
n
Let a = 10 - 17. Let j be 0 + (-19)/a + -3. Let q(v) = 4*v**2 - v + 1. Let u be q(1). Which is smaller: j or u?
j
Let v = -23 - -22.9. Is -2 != v?
True
Let x(k) = k**3 - 31*k**2 + 59*k + 42. Let b be x(29). Which is smaller: 72 or b?
b
Suppose 4*a = -2*a - 6. Is 3 >= a?
True
Suppose 0 = 4*i, -2*i - i + 18 = 3*q. Let v(c) = -c**3 + 6*c**2 - 3. Let o be v(q). Which is smaller: -2 or o?
o
Let i be (21/(-9) - 0)*-3. Let y = i - 11. Which is bigger: y or -5?
y
Let p be (-7)/42 + 1/15. Is 0 > p?
True
Let j(d) = d**2 - d - 2. Let b be j(3). Let y = -14 + 19. Let l = b - y. Is 2/15 <= l?
False
Suppose 0 = 5*o + 20, -2*l - 5 - 17 = 5*o. Is l equal to -1/15?
False
Let i be (3/(-4))/(-3)*1. Let t = -198 - -193. Is i less than t?
False
Let y = -1.3 - -0.3. Let j = 0 + y. Let c = j + 2. Which is bigger: -1 or c?
c
Let n = -38 + 41. Let p = 1 + -1. Suppose -t - n*q + p*q = 17, q = -5. Which is greater: t or -1?
-1
Let g = 8/259 - 1790/41181. Is g > 1/4?
False
Let x = 35/9 + -65/9. Is -2 not equal to x?
True
Let x be 0/((2 - 1)*-2). Let u(w) = -w**3 + 2. Let h be u(0). Let k be (-1)/(h - (1 + -1)). Which is bigger: k or x?
x
Let z(c) = -17*c**3 + 3*c - 2. Let n be z(1). Do n and -15 have different values?
True
Suppose -5*a + 4*q = 7, -a + 4*q = a + 10. Is a at least as big as -18?
True
Let g = -96 - -88. Which is smaller: -2 or g?
g
Suppose -i = -3*i + 22. Is i bigger than 7?
True
Suppose 3*r - 4 = 4*q + 4, -5*q - 3*r - 10 = 0. Let a = -2 + q. Is -5 smaller than a?
True
Let f be 1*5/(15/12). Let y be (2/(-6))/(f/12). Suppose -2*g = -g - 4*r + 8, 0 = 2*g - 5*r + 10. Which is smaller: g or y?
y
Let y be 1 + (-5)/(-1) + -2. Let p be (-3)/6 + 2/y. Let t be (0 + 6/9