is bigger: y or f?
f
Let h = -17/168 + 1/168. Which is smaller: -0.2 or h?
-0.2
Suppose -3*s + 14 = -5*s. Let u = -6 - s. Is 2 > u?
True
Let f(n) = -n - 1. Let r be 1 + 0/(2 + -4). Let j be f(r). Which is greater: j or -3?
j
Let d = -5.4 - 1.6. Let h = -0.09 - -5.09. Let k = h + d. Is 2 not equal to k?
True
Let w be (72/(-42))/(4/(-14)). Let q = w - 11. Which is bigger: q or -4?
-4
Let n(m) = -m**2 + 4*m + 5. Let v be n(4). Let f = v + 0. Suppose 3*t - 18 = 5*b - b, 0 = -3*t - 4*b + 18. Is f equal to t?
False
Let j = 3/2 + -7/6. Let r = 16 + -16.11. Let g = r - 0.29. Which is bigger: j or g?
j
Let w = -0.43 + -59.57. Let z = w - -55.9. Let p = 4 + z. Are p and -1 equal?
False
Let o = -2 + 0. Let q = o + 2. Let b = -3 + q. Which is smaller: b or -2?
b
Suppose 0 = -4*z - 20, z - 1 = -5*h + 3*h. Suppose 5*r = h*r + 2. Is r less than 0?
False
Suppose -2*c + 4*s = -7*c + 2, -4*c + 3*s - 17 = 0. Let q be 12/(-5) - (-5 + -2)/7. Is c at least q?
False
Let w(d) = 3*d + 34. Let r be w(-15). Which is smaller: r or -5?
r
Let j = -1 - 6. Which is greater: -2 or j?
-2
Let f be 2/((-12)/10) - -2. Let a = -0.3 + 0.2. Is a <= f?
True
Let c = -158 - -158. Let t(f) = -f - 5. Let v be t(-4). Let k = c + v. Are k and 0 unequal?
True
Let q be 0 - -7*(-2)/48. Let m = q - -13/168. Let v = -1/2 - m. Which is smaller: v or 0?
v
Let b = -186/5 + 37. Let m = -0.901 - 0.099. Which is smaller: m or b?
m
Let g = 4 + -2. Let n = 85 + -337/4. Is g greater than or equal to n?
True
Let s = 38 + -24. Does 13 = s?
False
Let r = 0.01 + -0.41. Let j = 3.4 + r. Let b be (6/9*3)/(-4). Is b at most j?
True
Let n(h) = -h**3 + 5*h**2 + 6*h - 4. Let d be n(6). Let v(a) = a - 1. Let l be v(d). Let z = -23 + 21. Is l < z?
True
Let j = 5.9 - 6. Let i = j + 0.1. Is -1/5 at most i?
True
Suppose 15 = 5*l, 0 = 4*j + l - 3*l - 2. Let p be j/(-14)*-9 + -1. Let z be ((-3)/(2 - -1))/(-1). Which is smaller: z or p?
p
Let h be 15/45 - (-8)/3. Which is greater: h or 2?
h
Let h(i) = i - 3. Let c be h(3). Suppose c*m + 2*o = 5*m - 26, -4*m - 5*o + 1 = 0. Suppose 3*a + 0*a - 6 = -3*n, -m*a = -5*n - 8. Is n at most as big as 2/3?
True
Let a be 3/12 + 34/(-8). Let u = -2 - a. Let n be 0*(1 + -4 + u). Which is greater: n or -1?
n
Suppose -5*i + 2*v = 10, 0 = -5*i - 2*v + 6 + 4. Suppose 2*j = -0*j + 2. Suppose 3*z - j = 2. Are i and z equal?
False
Suppose q = 4*q - 99. Suppose 5*l + 0*u = -2*u + q, 4*l + u = 27. Is 7 not equal to l?
False
Let o be -1*4*10/60. Let j be 0/(-1 - (-5 + 2)). Suppose j*z - 2*z = 2. Which is greater: z or o?
o
Let f be ((-6)/(5 + -2))/(-2). Let o(a) be the third derivative of -a**6/120 + a**5/12 + a**4/4 + a**3/2 + 4*a**2. Let c be o(6). Which is greater: f or c?
c
Suppose 5*d - 2*d = 12. Suppose 4*b - 10 = -5*f + 24, -5*b = -d*f + 19. Let v = -9 + f. Which is smaller: v or -2?
v
Let a(j) = -j**3 - 7*j**2 + j + 7. Suppose c = 3*h + 20, 5*h + 5*c + 36 = 4*c. Let l be a(h). Let z be (-14)/(-10) - (-6)/(-15). Which is smaller: l or z?
l
Suppose -2*g + 92 = -o, 189 = -5*o + 4*g - 241. Let c be 4/24 + o/(-12). Is c smaller than 7?
False
Let a = -16.15 - -16. Let y = a - -0.15. Let r(x) = -x. Let b be r(-1). Which is bigger: b or y?
b
Let r = -4 + 14. Suppose -2*u - 9 = -3*u. Which is smaller: u or r?
u
Let y = 0.7 - -8.3. Let z = y + -8.8. Which is bigger: 1/4 or z?
1/4
Let v(j) = -j - 10. Let n be v(-6). Let g = 7.38 - 1.28. Let z = 6 - g. Do n and z have the same value?
False
Let j be ((-5)/(5/(-1)))/((-2)/8). Is -19/5 >= j?
True
Suppose 0 = 5*r - 5*a + 30, 4*r + 4 + 10 = -a. Which is smaller: r or -12?
-12
Let w(b) = b + 7. Let a be w(-5). Suppose -a*v = -5*q - v - 7, 3*v = -5*q - 19. Let s(k) = k**2 - 10*k - 28. Let h be s(12). Is h at least q?
False
Let r = 270/7 + -115/3. Let l = -17/105 - r. Are -0.2 and l nonequal?
True
Let u = -36 + 21. Is -15 at least as big as u?
True
Let x be 2/(-3 + -1)*-38. Which is greater: x or 20?
20
Let k = -1367/12 - -114. Are k and 1 nonequal?
True
Let d = -5 + 5. Suppose d = -m - g + 15, -4*m + 0*m - 2*g + 60 = 0. Let p be ((-10)/m)/((-4)/6). Is p greater than or equal to 4?
False
Suppose -5*a = -5*l - 3*a + 18, 2*l - 12 = 2*a. Suppose -l*t = 2 - 0. Let r be 1*t/2*2. Is -1/4 >= r?
True
Let g be -35 - -9 - (-6 + 2 + 1). Is g at least -1?
False
Suppose 31 = -4*k + 159. Let a be (-1)/(-4)*k/12. Which is greater: a or 1?
1
Let q(g) = -g**3 - 2*g**2 + 3*g + 2. Let x be q(-3). Let a be (6/10)/(2/(-10)). Let t be a*(-4)/12*3. Is x greater than t?
False
Suppose 2*f = f. Let k(g) = g**3 + 3 - 4*g + f + 11*g + 7*g**2. Let j be k(-6). Which is smaller: -2 or j?
j
Let f = -37 + 35. Does f = 2?
False
Let v = 13 - 7. Let a be v - 3/(-3)*-2. Suppose o - 4*q = 9, -q - 4 = -a*o + 2. Which is bigger: 2 or o?
2
Let o = -8 + 6. Let q = -3.8 - -6. Let z = q - 2. Is z < o?
False
Let n be 3/(-9)*24/(-10). Suppose 3*s - 5*s = 2*f - 8, 0 = -4*f - 2*s + 12. Is f less than n?
False
Suppose 3*u - s + 12 = 0, -3*s + 1 = -u - 11. Which is smaller: u or -5?
-5
Let w be 1/5 - (-16)/20. Let o = 2 + w. Suppose -k = o*u - 6, 3*k - 7 = 5*u - k. Do 1 and u have the same value?
True
Let x = -576/1465 - 2/293. Which is bigger: x or 0?
0
Let b be 5 - (2 + (-19)/(-7)). Which is bigger: -18 or b?
b
Let r(w) = -w**2 - 12*w - 15. Let g be r(-10). Suppose -g*l + 4 + 3 = 4*u, -u + 5 = -2*l. Is u smaller than 1?
False
Let z be (3/2)/(4/8). Suppose z*d + d - 11 = 3*v, -v = 1. Let y be d/(-6) + (-13)/(-21). Is 1 at most y?
False
Let m = -80 - -80. Is -5/38 < m?
True
Let c(i) = -2*i**2 - 15*i - 4. Let y be c(-8). Suppose -53 - 15 = 4*z. Let g = z - y. Is -4 at most as big as g?
False
Let u = -61/130 + -2/65. Let f = -565 + 5086/9. Which is bigger: f or u?
f
Let n = 3 + 0. Let v = -5 + n. Let q = 5/2 + v. Which is bigger: -1 or q?
q
Suppose -2*b + 3 = -5*b. Which is bigger: b or 2/159?
2/159
Let z = 15 - 21. Let c be (45/18)/((-2)/4). Let j(l) = -l**3 - 4*l**2 + 7*l + 3. Let q be j(c). Which is bigger: z or q?
z
Let p = 2303/8595 + 4/191. Let n = 2/45 + p. Let m = 1/6 + n. Is 1/3 >= m?
False
Let t be 64/4 - (-1 + 3). Let n be (-1)/(t/4 + -1). Do 1 and n have different values?
True
Let n be 1/(2/(-4)) + 2. Let z be 9/(-3) - (-1)/8. Let k = 239/72 + z. Which is greater: n or k?
k
Let j(s) = -s**2 + 9*s + 9. Let i be j(8). Suppose -2*z + 3*z = 5*h - i, 2*h + 7 = 5*z. Let q be (-2 - -2)/(h/2). Is 1 greater than or equal to q?
True
Suppose -6 = -2*l - 4*w + 3*w, 20 = -5*w. Suppose -3 + 4 = -l*s - x, -5*s - 3*x = 3. Which is smaller: s or 3/4?
s
Let s = 937 - 32797/35. Are s and 0 unequal?
True
Let c = 0.137 - -19.863. Which is bigger: c or 0?
c
Let v be ((-76)/15)/(2/18). Let z = v - -91/2. Is z < -1?
False
Let w = 49399/53 + -932. Let m = w + 67/689. Let n = 1 - 2. Is n bigger than m?
False
Let l(n) = 3 - 11*n**2 - 2 + 13*n - 3*n + 7*n**3 - 6*n**3. Let s be l(10). Is -1 greater than s?
False
Let x = 0.02 + -0.32. Let i = -0.1 + 1. Let y = -1 + i. Is x less than y?
True
Let k(c) = -c**3 - 8*c**2 + 7*c - 4. Let l be k(-9). Let i = -14 + l. Is i < -2?
False
Let r = 17 - 22. Is -5 less than or equal to r?
True
Let u = 20 - 18. Let j be (u/(-20))/(10/8). Which is bigger: j or 1?
1
Let p = 7 + -4. Let a = 4 + -3.97. Let j = 0.03 - a. Is p >= j?
True
Let p be (-1)/6*4/(-6). Let d(s) = -s + 16. Let n be d(7). Let u be 1/4 + n/12. Which is bigger: u or p?
u
Let b be (-4)/18 - (-248)/468. Is b greater than or equal to -1?
True
Suppose -9*f - 2 = 25. Is -19/5 != f?
True
Let x be 0*(-1)/3*1. Let j = 1 - x. Let f be j/3*-2 + 1. Is -2/9 >= f?
False
Let r(x) = -x**3 - 2*x**2 + 6*x + 5. Let p be r(-4). Suppose 3*q - 2 = p. Which is smaller: 6 or q?
q
Let q(z) = z**3 + 3*z**2 - 2*z - 1. Let o be q(-3). Let b be 10/18*2/o. Which is smaller: b or 1?
b
Let p be 32/(-8) - (-1 + 0). Which is smaller: -14/5 or p?
p
Suppose 5*k - 8 = 7*k. Let x = -1.03 + 0.03. Let y = 1 + x. Is k at most as big as y?
True
Let w be 44/20 + (-2)/10. Suppose c + 1 = w*c. Which is smaller: 2 or c?
c
Suppose 4*i - 3 = -15. Suppose -r = 1 - 4. Suppose -5*l + 3*l = -2*y + 14, -y - 1 = r*l. Is l != i?
True
Let m be 4371/(-105) - 9/(-21). Let k = m - -41. Which is smaller: 0 or k?
k
Let h = -699/8 + 88. Are h and 0 equal?
False
Let t be (-6)/(-9) + 14/3. Which is smaller: t or 6?
t
Let f(i) = i**2 - 5*i + 2. Let a be f(4). Suppose -3*w = -3, -5*d 