2*z. Is 20/9 <= f?
False
Suppose 8 = -4*h + 4. Let c = h - 0. Let i = 1 - c. Which is bigger: 1 or i?
i
Let r = 3 - 4. Let h be (r/18)/(3/(-57)). Let z = 5/9 - h. Is z equal to 4?
False
Let f = -23 + 22. Which is greater: -3/4 or f?
-3/4
Let a(c) = c**3 - 4*c**2 + 6*c - 6. Let w be a(4). Are w and 17 equal?
False
Let o = 2 + -2. Let x be (477/(-4))/((-3)/8). Let k = -2547/8 + x. Which is smaller: k or o?
k
Let k be (-5)/(-30) + (-340)/24. Is -15 bigger than k?
False
Let h(u) = -u**3 - 4*u**2 + 5*u + 20. Let f be h(-4). Which is smaller: f or 8/7?
f
Let o be 3*-1*1/(-3). Let l be 9/(-15) - 38/(-30). Is o != l?
True
Suppose c + 1 - 3 = 0. Suppose 7*h - 2*h + 5*b = -25, -h - c*b = 10. Suppose -s - s = h. Which is smaller: s or 2?
s
Let b = -5 + 2. Let u be (-6)/(-18) + 5/b. Is u smaller than -2?
False
Suppose -2*u + 21 = -m, -2*m + 3 = 5. Is 9 greater than u?
False
Suppose -5*z + 17 = -3. Let g = 5 + -11. Let c = z + g. Which is greater: -3 or c?
c
Suppose -4*w + 23 = -1. Let n(f) = -f**2 + 5*f + 3. Let m be n(w). Let i be 3/9 + 1/m. Is -1/3 greater than or equal to i?
False
Let x(o) = -32*o. Let d be x(-1). Is 31 less than d?
True
Let f = 57 + -82. Let x = f + 19. Which is smaller: x or -7?
-7
Let g = 8 - 4. Suppose -13 = h - 0*h - g*c, 0 = 3*h + 3*c - 21. Let i be ((-2)/h)/(-1)*-3. Is -2 at most i?
True
Suppose -n - 4*p - 9 = 0, 3*p - 15 = -n + 7*p. Suppose -2*u + n = -5*u. Which is greater: u or -2?
u
Let z = 0.14 + -0.24. Which is smaller: z or -7/6?
-7/6
Let p = -44 + 60. Is 10 <= p?
True
Let y be 40/30 - 2/(-6). Let m be ((-1)/(-3))/(9/54). Which is smaller: y or m?
y
Let q be (-6)/(-27) - (-241)/9. Let d = q + -26. Does -2 = d?
False
Let a = -36 + 36. Which is bigger: a or 1?
1
Let s = -0.05 + 0.15. Let l = 1 + -0.9. Let x = l + s. Are 2/7 and x non-equal?
True
Let h be 1 + 1*(-17 - -2). Is -9 <= h?
False
Let r = -62/3 + 21. Let f = -14 - -7. Let h = -9 - f. Do r and h have different values?
True
Let l(k) = -2*k**2 - 3*k - 1. Let w(a) = -a. Let i(m) = -m + 2. Let x be i(3). Let u(j) = x*l(j) + 2*w(j). Let f be u(-1). Which is bigger: f or 1?
f
Let k = -7 + -10. Which is bigger: k or -15?
-15
Let k be (2/3)/((-16)/24). Let y(c) = -7*c - 13. Let m(v) = 3*v + 6. Let t(o) = 5*m(o) + 2*y(o). Let x be t(-6). Is k not equal to x?
True
Let w = 0.1 + -0.5. Let t = -8.4 - w. Let p = 8 + t. Is p <= -2/7?
False
Let h(o) = o - 6. Let f be h(8). Suppose -2*j = 3*i - 9, 2*j + 12 = 6*j. Let v = i - f. Is v >= -1/17?
False
Let i be 2/4 - 7/14. Suppose 5*w - 3*u + 3 - 17 = i, -2*u = 6. Is 0 != w?
True
Let s(g) = g**3 + 15*g**2 + 25*g - 14. Let u be s(-13). Let r be 2/3*3/8. Is r less than or equal to u?
False
Let w = -0.132 - 1.528. Let k = -1.7 - w. Which is smaller: -1 or k?
-1
Suppose -5*x - 25 = -5*f, 2*x + 3*f - 8 = 7. Let i be x + (-9)/4 + 2. Let q = i - -13/20. Is 1 greater than q?
True
Suppose 0 = 2*m - 10 + 4. Let t = m + -6. Which is greater: -2 or t?
-2
Suppose -15 + 5 = -2*j. Is 3 <= j?
True
Suppose -3*x + 3 = h + 2*h, 4*x = 3*h - 3. Let r be (-1 + h)*-1*-1. Let f be -2 + -1 - 72/(-27). Are r and f unequal?
True
Let u be 20/(-25) + (1 - 0). Suppose 3*a + 4*l + 15 = 0, -a = 4*a + 4*l + 17. Which is smaller: a or u?
a
Suppose 0 = 3*b - l + 6 - 2, 5*l - 5 = 0. Is -2/233 at most as big as b?
False
Let l(d) = -d**3 - 3*d**2 - 3*d - 1. Let u be 13/3 - 2/6. Suppose -u = -2*g - 2*h, 2*h = -2*g - g + 2. Let f be l(g). Which is smaller: 1/7 or f?
1/7
Let v(z) = -4*z - 1. Let l be v(1). Let a be 0 - ((-1 - l) + -1). Let f be ((-4)/(-10))/(a/5). Which is greater: f or -2?
f
Let d = -26/24123 + 7120697/24123. Let c = d - 295. Is c less than or equal to 1?
True
Let o = 0.3 - 0.1. Do -0.1 and o have different values?
True
Suppose 3*c = -a - 20, 4*c = 4*a - 13 + 45. Let y = a - -12. Which is smaller: 7/3 or y?
y
Let x be 3/(-9) + (-1)/(-3). Let t = -2 - x. Let r be (0 - -2) + 26/(-10). Which is smaller: t or r?
t
Let b be 0 + 2 + -6 - 10/8. Is -5 less than b?
False
Let z(q) be the second derivative of q**4/12 + q**3/6 - 4*q. Let u be z(-1). Is u equal to 2.4?
False
Let u = -0.43 + -3.57. Which is greater: u or -0.6?
-0.6
Let q = -21 - -11. Let t be (-2 - 1) + q/(-3). Is t less than or equal to 3?
True
Let n be (9/6)/((-1)/(-4)). Suppose -4*v + 8 = 4*g, -3*v + 2*g + 3*g = -n. Suppose 4 = -v*u + 4*u. Are 3/5 and u unequal?
True
Let d = -97 + 487/5. Let t = 34.2 + -39. Let y = -5 - t. Which is greater: d or y?
d
Let x(u) = u**3 + 12*u**2 + 12*u + 14. Let q be x(-11). Let r(t) = t**3 - 5*t**2 - 4*t - 8. Let m be r(6). Is q not equal to m?
True
Let k(m) = -m - 1. Let j be k(0). Let n be 0/(2*(0 - j)). Suppose -10 = 4*s + 2. Which is bigger: s or n?
n
Suppose -12 = -m + 4*n, -m + 6 = -3*n + n. Let p = -11/15 - 13/105. Which is bigger: m or p?
m
Let s = -9 + 9. Which is smaller: 0.2 or s?
s
Let s(x) = x**2 + x - 4. Let k be s(3). Is k equal to 6?
False
Let v = -8 - -5. Let u(n) = n**3 + 3*n**2 - n - 2. Let j be u(v). Which is smaller: -3/7 or j?
-3/7
Let y = 3.5 + -0.5. Let i = y + -6. Which is smaller: i or 1?
i
Let v = 125/3 + -43. Is -1 > v?
True
Let s be (-55)/(-119) - (-14)/(-49). Which is smaller: -2/7 or s?
-2/7
Suppose -2*t = r + 31, 3*r - 6 = -t - 29. Let a be 3 + (t/2 - 3). Is -2 greater than or equal to a?
True
Let r = 0.01 - 2.01. Let h be 2 + (1 - (-15)/(-6)). Which is bigger: r or h?
h
Let f(n) = n**3 + 17*n**2 + n + 19. Let v be f(-17). Which is bigger: 8/5 or v?
v
Suppose a = -a + 4. Which is smaller: 11/10 or a?
11/10
Suppose -3*a = -h - 19, -3*h = 2*a + 3 - 1. Suppose 50 = a*n + 15. Let q = 4 - n. Is q greater than -3?
False
Let m = 67 - 75. Does -7 = m?
False
Suppose -q + 12 = 2*t, 5*q - 5*t = -3 - 12. Let o = 66 - 61. Which is bigger: q or o?
o
Let t = -797 + 833.3. Let m = t + -33. Let k = m - 3. Do -1/2 and k have different values?
True
Let u be (-1)/2*1/(-2). Suppose 2*h + 6 = -4*p, 0 = -p - 8*h + 3*h - 15. Suppose p*l - l = 0. Which is smaller: l or u?
l
Suppose 4*v = -3*d, v - d = -0*v + 7. Suppose v*w + 23 = f, 0*f = -w + 5*f - 3. Let p = -5 - w. Are 2 and p unequal?
True
Let c = -116/13 + 1341/143. Is 1 < c?
False
Let i(m) = -3*m - 5. Let a be i(-19). Which is smaller: a or 51?
51
Let z = -18 - -18. Let v be (-2)/4*0/(-3). Are v and z equal?
True
Let m be (-336)/(-20) - (-3)/15. Is m less than or equal to 18?
True
Let b = 0.11 + -1.11. Is 0.12 < b?
False
Suppose -7*n = 3*n + 230. Is -23 less than n?
False
Let x = -15/2 - -99/14. Which is bigger: -1 or x?
x
Suppose -w - d = 30, -5 = -4*w - 5*d - 121. Is -34 < w?
False
Suppose -4*w + 5*h = -1 + 15, -2*h = -5*w - 26. Let c be 6/(-18) - (-4)/w. Let a = 1 - 2. Is a >= c?
True
Suppose -5*o - 3*d - 2*d - 15 = 0, -d = -5*o - 3. Let p(k) = -k**3 + 8*k**2 + 6. Let l be p(8). Let w be 1/((-1)/2*l). Is o at most as big as w?
True
Let k = -13 - -28. Let a = -15 + k. Is a < 2/15?
True
Let l be 2/((-12)/(-9))*2. Suppose -t + 6 = 5*v, v + 4*t - 8 = -l*v. Let a be v*2/6*-1. Is a >= -2?
True
Let m be 3 - (-3 - 8/(-2) - -3). Let d(c) = -c**2 - 3*c - 4. Let l be d(-3). Let u be l/(-3) - 1/3. Which is bigger: u or m?
u
Suppose -2*d - 4*u = -4, 2*u - 2 = -2*d + 4. Let z be ((-12)/(-3))/d*-4. Let k = 0 + -0.1. Does z = k?
False
Let v = 0.63 + 2.47. Let w = v + -3. Let d = 0 + w. Does d = -1/6?
False
Let c(f) = 2*f - 1. Let v be c(3). Let a be (4/v)/((-4)/30). Suppose 0 = 2*z + 6 + 6. Is z at most a?
True
Suppose -5*p + 4 = 3*v - 4*v, -8 = -3*p - 5*v. Let t = p + 2. Which is smaller: 4 or t?
t
Let f be 383/7 - 10/(-35). Is 55 bigger than f?
False
Suppose -4*j + 15 + 49 = 0. Suppose -4*q - j = -3*d, 5*q + d - 11 = -3*d. Let c(h) = -3*h**3 - h - 1. Let n be c(q). Is n < 2?
False
Let p(a) be the first derivative of -2*a**2 + 3. Let r be p(1). Suppose -3 = 2*v + 5. Are r and v nonequal?
False
Suppose 3*l - 13 + 1 = 0. Suppose 4*b + 0*b = l. Is -1/3 >= b?
False
Let h = 3.6 - 1.6. Is 0.1 <= h?
True
Suppose -2*r = -3*r. Which is greater: 7/6 or r?
7/6
Let t be 8/12 + 1 + -3. Does t = -0.1?
False
Let q be 29/9 + 5/(-15). Let k = 113/36 - q. Is k smaller than -1?
False
Let u = 59 + -59.9. Is u != -4?
True
Let a = 0.7 + -2.1. Let r = -0.2 + 0.6. Let y = a + r. Which is bigger: -4 or y?
y
Let n(c) = c**2 - c. Let f(u) = -2*u**2 - 5*u + 4. Let j(x) = f(x) + 3*n(x). Let v be j(7). Is v not equal to -3?
False
Let g(o) = -o*