 z = 8 + -14. Let b = z + 5. Is -2/5 <= b?
False
Let u = -6277/301 - -145/7. Which is bigger: -1 or u?
u
Let m be 1/(-4)*4/(-1). Let p be (-2)/2*(m + -1). Let y be -2 - ((-388)/170 + (-12)/(-30)). Is p greater than or equal to y?
True
Let v = 7 - 11. Let n(a) = -a**3 - 3*a**2 + 5*a - 1. Let k be n(v). Are k and -6 unequal?
True
Let s(a) = a + 6. Let c be s(-5). Let h = 0 - c. Which is smaller: 2/3 or h?
h
Suppose -3*c - 6 = -3*z, 0*c + 3*c - 18 = -5*z. Suppose -u - 2*u - 17 = 4*k, 0 = 2*u + z*k + 12. Which is smaller: u or -2?
u
Let b = -236/5 - -48. Which is bigger: b or -1?
b
Let m = 13 - 8. Is 0 less than or equal to m?
True
Let h = 34.92 + -35. Which is smaller: h or 0?
h
Suppose 0 = -j + 2*g + 3, -g + 1 = 3*j - 3*g. Which is smaller: j or -2/89?
j
Let n = -103/2 - -50. Let w = 6 - 7. Which is smaller: n or w?
n
Suppose -2*v + 360 = 8*v. Which is bigger: v or 34?
v
Let p = -0.1 - -0.2. Let b(y) = 11*y + 8. Let r be b(-1). Which is bigger: r or p?
p
Let i = -39841011/487 - -81809. Let p = -13669/24837 + i. Let r = 1/17 - p. Is 0 less than r?
True
Let t be 5/((-15)/(-24)) + 0. Suppose 4*h = 2*h + t. Suppose -2 - 2 = -h*n. Is 1 not equal to n?
False
Let s(z) = -z**2 - 16*z - 18. Let q be s(-15). Which is smaller: -1 or q?
q
Suppose -m + 28 = 5*x, 0*m - 3*m - 6 = -3*x. Do m and 3 have different values?
False
Let d = -107/6 - -18. Which is bigger: 0.04 or d?
d
Let y = -6416/5 + 1278. Is y at least as big as -5?
False
Suppose -34 - 6 = -5*m. Let s = -38/5 + m. Which is bigger: 1 or s?
1
Let c = 3.2 - 3. Let y = c - 0.2. Let p = 3 + -2. Which is smaller: y or p?
y
Let y be (-5)/(-2)*-14*1. Let m = y + 67. Let s = m + -225/7. Do 0 and s have different values?
True
Suppose -48 = -31*b + 25*b. Are 69/8 and b equal?
False
Suppose 4*g - 4*k = k - 27, -2*k = -2*g - 12. Let v(w) = -w**2 + 9*w + 5. Let m be v(10). Let t = m - -1. Is t bigger than g?
False
Suppose 2*i = 3*w - 6, 2*w + 0 - 4 = -i. Let c be ((-21)/49)/((-16)/14). Which is bigger: c or i?
c
Let b be 4 + 2 + 162/(-26). Which is greater: 1 or b?
1
Suppose -5*l + z - 26 = 0, -l + 2*l - 2 = 2*z. Suppose -3*q = -c - 21, -q - 5 = -c - 16. Does l = c?
True
Let g(x) = 6881*x + 1. Let u be g(2). Let o = u + -54539/4. Let l = o - 129. Which is bigger: 0 or l?
0
Let t be 4 + -1 - (-8 + 21). Is -49/5 greater than t?
True
Suppose 2 = l + 6. Let p = 8 - l. Let x be (-6)/(-9) + (-8)/p. Is x < -3/4?
False
Suppose g - 7 + 4 = 0. Suppose 4*w + 13 = c - g, 2*c = 2*w + 8. Is c equal to 1?
False
Let m(v) = -v**2 + 1. Let i(h) = -h - 4. Let f be i(-7). Suppose 3*l = f*x - 0*x - 9, 4*x + 6 = -2*l. Let a be m(x). Is 1 greater than a?
False
Let c be (-10 + 9)/((-2)/(-4)). Let h = -0.4 + 0.3. Is h <= c?
False
Suppose 0 = -5*b - s + 6*s + 60, -s + 30 = 2*b. Which is bigger: 15 or b?
15
Suppose -4*i + 12 = -w, -2*i - 3*w = -6*i + 12. Suppose -r + i*r - 2 = 0. Let l(j) = -j + 5. Let s be l(2). Which is smaller: s or r?
r
Suppose -3 = -d - 5*y, 2*d - 5*d + 2*y - 8 = 0. Let f be (2/(-6)*0)/d. Let z = -41/58 + 6/29. Is z greater than f?
False
Let j(v) be the second derivative of v**5/20 + v**4/12 - 2*v**3/3 + v**2/2 + 6*v. Let u be j(2). Which is smaller: 3 or u?
3
Suppose -4*g = -p + 15, g - 6*g = 20. Do p and -2/3 have different values?
True
Let d = 1 + -1. Let g = -0.023 - -0.123. Are d and g nonequal?
True
Suppose 18*r - 95 = 23*r. Is -19 > r?
False
Suppose 19*o - 22*o = 0. Let s = o - -6. Is s greater than 8?
False
Let f(o) = -o**3 + 5*o**2 - 6*o + 2. Let h be f(4). Let x be (h/(-18))/(-3 - 0). Which is bigger: 1 or x?
1
Suppose -5*g - 2*s + 1 = s, -5*g - 4*s + 3 = 0. Which is smaller: -2/83 or g?
g
Suppose -o + 0*o - 16 = 3*q, 5*o + 5*q = -60. Let h be 9/12 - o/8. Is h > 3?
False
Let o be (-11)/22 - 2/(-4). Is o smaller than -0.8?
False
Let x be 1/((-3)/12)*-1. Let i = x - 0. Suppose 0 = i*g - 4*n, -3*g + 4 = -5*g + 4*n. Which is smaller: g or 3?
g
Let p = 1.3 - -0.7. Let w = 2 - p. Which is greater: 11 or w?
11
Let p = -9 - -24. Is -1 != p?
True
Let x(j) be the second derivative of -1/12*j**4 + 3*j + 1/2*j**2 + 0 - 4/3*j**3. Let h be x(-8). Is -1/12 >= h?
False
Let u be 0 + -1*10*-1. Let b be (4/u)/(2/(-10)). Let t be 0/b*2/(-4). Is t equal to -1?
False
Let c be 14/91 - 40/(-78). Suppose 0*z - 2*z - 2 = 0. Is z less than c?
True
Let u be 78/4 + 13/26. Let s = u - 19. Which is smaller: -2/33 or s?
-2/33
Let j be (-28)/(-5) + 2/5. Let b be -1 - (-1*j + 0). Suppose 2*z = -3*n - 10, -b*z = -n - 0 + 25. Is 0 less than or equal to n?
True
Let d = 1 - 1. Suppose 0 = -2*z - 0*z - 4*y + 22, -5*z - 2*y = -31. Suppose -3 = 3*j + 4*m - z*m, -5*j = 5*m + 5. Is j at least d?
False
Let u be (6/(-75))/(12/80). Let j = 1/15 - u. Which is bigger: j or 1?
1
Let i be 21/(-14) - (-3)/(-2). Let x(u) be the first derivative of u**3/3 + u**2 - 2*u - 2. Let o be x(i). Which is smaller: 3/5 or o?
3/5
Let k = 0 + -9. Which is greater: -10 or k?
k
Suppose -4*b - 8*b - 24 = 0. Is b greater than 1?
False
Let w = 2732/9 - 304. Which is smaller: 0 or w?
w
Suppose -5*s - 5 = -0*s. Let p = 2 - 2. Which is smaller: p or s?
s
Let f = 2/1185 - 8692/1185. Which is smaller: -8 or f?
-8
Let z = 10.8 + -12. Let p = -0.3 - z. Let j = p + -1. Is j less than or equal to 5?
True
Let u = -8 - -22. Suppose 0 = -2*y + 2*t - 0*t - 4, -u = -2*y - 4*t. Is y bigger than 3/7?
True
Let g = -9.5 + 13. Let i = 3 - g. Are 2/5 and i non-equal?
True
Let x = 10 - 51. Is x < -41?
False
Let n = 0.8 - -0.2. Let w = 1 + -3. Let u = n - w. Which is smaller: 0.1 or u?
0.1
Suppose 2 = -5*i + 7. Let v be (4 + -2 + i)*-1. Let a = -1 - v. Is a > 2?
False
Let i(h) = -h - 1. Let t be i(-5). Let z = t - 1. Let w be 2/(-1)*1/z. Which is bigger: w or 0?
0
Suppose -n = n + 56. Are n and -28 unequal?
False
Let j be (-5)/20*56/(-49). Let h = -1153/7 - -165. Are h and j unequal?
False
Let w = 0 + -3. Let h = 2 + w. Which is smaller: -2/5 or h?
h
Let z(f) = f**2 + 2*f - 7. Let r be z(2). Which is smaller: 1/3 or r?
1/3
Suppose 0*p + 3*p + 3*p = 0. Is p at most as big as 1/8?
True
Let t = -153 + 153. Are t and 0 unequal?
False
Let u = 8 - 7.8. Is u >= 0.07?
True
Let z = -1 - 5. Let t be (-2262)/22 - z/(-33). Let i = 405/4 + t. Are -2 and i equal?
False
Let n(t) = t**3 - 7*t**2 + 6*t - 4. Let x be n(6). Let l be (-112)/49 + x/(-14). Is -2 <= l?
True
Let c be 3/5*(-10)/(-4). Suppose -4*w - 7 = -27. Suppose 0 = w*f - 6 - 4. Is f at most c?
False
Let w(f) = -2*f**2 + 2*f + 1. Suppose -2 = 2*t - 0*t. Let j be w(t). Let g be (-8)/3 - 2/(-3). Is g greater than or equal to j?
True
Let v be (-34)/84 - (-5)/(-30). Which is greater: -2 or v?
v
Suppose -5 + 3 = -s. Let x be s - 2 - (-15)/(-2). Which is bigger: -7 or x?
-7
Let r(s) = -s**3 + 8*s**2 - 13*s - 1. Let a be r(6). Which is greater: a or -39/7?
-39/7
Let f = 4 + -6. Let x be (-3)/(-2)*f/6. Suppose 2*a = g - 2*g - 3, 2*a - 5*g = -9. Which is greater: x or a?
x
Let d = -0.3 + 1.3. Let v = -15.4 - -28. Let p = v - 13. Which is bigger: d or p?
d
Let l be 2*-13*12/(-8). Suppose 5*p = 2*v - 3*v - 86, 0 = -2*p - 5*v - l. Which is smaller: -16 or p?
p
Suppose -3*w - 1 = d, w - 4 = 5*d + 1. Let b be (-2)/(1 - (-23)/(-9)). Which is greater: b or w?
b
Suppose -26 = -0*v - 2*v. Suppose 3*x + y = -10, 2*y = -3*x - 2*y - v. Let s = x + 4. Which is smaller: s or 3/2?
s
Let v = 3 - -8. Is v equal to 11?
True
Let i be (-2)/(-3) - 4/(-12). Let k = 25/14 + -9/7. Which is smaller: k or i?
k
Let b(z) = 2*z**3 - 4*z**2 + 2. Let v be b(3). Suppose 0 = -4*p - 0*p - v. Let g = 6 + p. Which is smaller: 2/13 or g?
2/13
Let a be 4/(3/((-3)/(-2))). Suppose 4*w - 4*s = -8, 4*s + 0*s = -a*w + 2. Let i = 15/7 + -16/7. Are i and w equal?
False
Let j be (-3)/(-20)*-1*4. Suppose 0 = 3*r - 15 + 3. Suppose -2*o - g = r, -5 = -o + 3*g + 7. Is j >= o?
False
Let p = -20 + 20. Is -2/11 not equal to p?
True
Let r(g) = -g + 7. Let v be r(-7). Let s = v + -4. Let m(d) = d**2 - 9*d - 10. Let y be m(s). Which is greater: 1/11 or y?
1/11
Let p(b) = 9*b - 3. Let t be p(4). Let v be (-6)/(-9)*t - -2. Let k be 1/4 - 6/v. Do -1/4 and k have different values?
True
Let w be 3 + 2 + -3 - 120/55. Suppose 3*o - 2 - 1 = 0. Let f = 0 + o. Does f = w?
False
Let f(t) be the third derivative of t**5/60 - t**4/24 - t**3/3 - 3*t**2. Let d be f(2). Suppose 0 = 6*a - 2*a + 12. Which is bigger: d or a?
d
Let