. Let m = -10.1 - h. Which is greater: -13 or m?
m
Suppose -5*q = -3 - 2. Is -1/12 greater than or equal to q?
False
Let g be 2/2 + 4 - 2. Suppose -g*b - b = -16. Let n(v) = v - 3. Let f be n(b). Which is greater: 0 or f?
f
Let j be (0/(-3))/(1 - -1). Suppose 2*g - k = g, 5*g + 3*k = j. Suppose -4*z - 8 = -g*z. Which is smaller: z or -1/2?
z
Let n(g) = -2*g**2 - g. Let j = 5 + -6. Let y be n(j). Is 1/4 < y?
False
Let d = -0.7 + 0.6. Let w be 1/2 - 3/6. Suppose z + 3*z = w. Is d not equal to z?
True
Suppose -v - 4*x - 20 = 0, 3*v - 2*x + 6*x = -20. Suppose -6*w + 10 = -4*w. Suppose w*b - f = -v*f + 12, 4*f = 2*b + 6. Which is smaller: b or 2?
2
Suppose 0 = 3*z + z - 8. Which is smaller: 24/11 or z?
z
Suppose -6 = 3*z - 9. Let c = -7 - -4.5. Let h = -0.5 - c. Are h and z equal?
False
Suppose 10*n + 303 + 87 = 0. Is -38 greater than n?
True
Let k(x) = x**3 + 3*x**2 + x + 4. Let p be k(-3). Let c be -5 + -6 + (-2 - -5). Let t be c/9 + (-2)/(-3). Which is smaller: p or t?
t
Let f = 359/3 + -120. Is -2/79 > f?
True
Suppose -10 + 5 = 5*l. Let r be 1 + l + 3 - 3. Which is smaller: r or -1/2?
-1/2
Suppose 0 = -2*y - 3*y + 3*p + 120, 110 = 5*y - p. Which is greater: y or 22?
22
Let k = -369 + 2550/7. Suppose v + 2 = 3*s, -v - s - 8 = 2*s. Let j = k - v. Which is smaller: j or -0.3?
-0.3
Let t(b) = b - 10. Let k be t(6). Is -4 <= k?
True
Let k be (0 + -2)*(-1)/(-2). Let r = -81/5 - -65/4. Is k equal to r?
False
Suppose 325 = -5*i + 5*t, 4*i + 3*t + 25 = -270. Let n be 8/44 + i/22. Let j = n + 5. Is j at most as big as 5/4?
False
Suppose -u - 14 = u. Let m = u - -12. Is 3 equal to m?
False
Let x(l) be the second derivative of -l**4/24 + 2*l**3/3 + l**2/2 - l. Let a(z) be the first derivative of x(z). Let t be a(6). Is -3 smaller than t?
True
Let k(w) = -w - 5. Let g(r) = -2*r - 10. Let f(a) = 2*g(a) - 5*k(a). Let b(m) = 1. Let t(p) = -6*b(p) + f(p). Let h be t(5). Which is smaller: 5 or h?
h
Suppose 0 = 3*j + 3, -4*m + 2*j = -4 + 2. Suppose -2*t - 2*t + 8 = m. Is 2 equal to t?
True
Suppose 3*l - t + 25 = -2*l, -4*l = -4*t + 4. Let o be 4/l - 40/12. Is -4 less than or equal to o?
True
Suppose -3*w = -2*w + 3*p - 20, 0 = w - 5*p + 20. Suppose -6*z + w*z - 3*c = -3, -z = -4*c - 24. Let q = 38/3 - z. Are q and 2 equal?
False
Let w be (7 + -1)/3 + 3. Suppose 0 = -2*s + d - w - 8, -3*d + 31 = -4*s. Let u = 4 + s. Which is smaller: -1 or u?
-1
Suppose 6 - 2 = 2*l. Suppose -30 = -3*w - l*w. Suppose -3*z + 2*b + 20 = 0, -2*z - 2*b - b = -9. Is z at least as big as w?
True
Let a(v) = v - 39. Let l be a(8). Is l less than or equal to -31?
True
Suppose -20 = -3*p - 8. Is -2 greater than or equal to p?
False
Let c be (-32)/(-24)*(-3)/10. Let z be (3 - 2/1)*2. Let w be z + (-1)/((-3)/(-8)). Which is smaller: c or w?
w
Let x(f) = -321*f**3 + 2*f + 1. Let m be x(-1). Let c = -2563/8 + m. Which is greater: c or 0?
0
Let g(b) = -b - 4. Let f be g(-3). Which is bigger: -3/4 or f?
-3/4
Let y be -4 + 1 + (2 - 1). Let r(z) = -z**3 + 5*z**2 + 6*z - 3. Let f be r(6). Let l = y - f. Are l and 0 unequal?
True
Let g be 4 + (1 + 1 - 142). Let y be 4 - 90*(-6)/g. Which is smaller: y or -1?
-1
Let t be 4/(2/3 + 0). Suppose 0 = -2*b - 0 + 8. Which is smaller: b or t?
b
Let p(v) be the second derivative of v**3/6 - 2*v**2 - v. Let u be p(6). Let l be (0 + 1/u)/3. Are 0 and l equal?
False
Suppose -m - 5 = -d - d, 0 = 2*m - 2. Suppose l = d*u + 3 - 4, -4*l = 5*u + 4. Are l and -1 equal?
True
Suppose 0 = -m - b, -4*m + 4*b - 6 = -5*m. Let h(s) = s**2 + 3*s + 1. Let g be h(m). Let v(p) = -2*p**2 - 2*p + 2. Let z be v(-2). Which is bigger: g or z?
g
Let t = 6 - 5. Let c = t + -1.2. Let r = 0.2 - 0.1. Which is smaller: r or c?
c
Let d(p) = -p - 5. Let a be d(-8). Let m be 7/(-3) - (-1)/a. Let x = 33 - 131/4. Do m and x have different values?
True
Let n(f) = -6*f. Let q(g) = 12*g + 2 - 3 - 5*g. Let r(u) = 6*n(u) + 5*q(u). Let l be r(-5). Is l at least as big as 0?
True
Let x be (-6)/15 - 709/15. Let z = x - -48. Is z not equal to 0.5?
True
Let v(m) = -5*m - 1. Let g be v(-2). Are 12 and g equal?
False
Let x = -6 - -4. Let u be ((-9)/x - 4)*-2. Which is greater: u or -2/3?
-2/3
Suppose 356 = z + 3*z - 5*m, 0 = -3*z + 5*m + 267. Let v = -447/5 + z. Which is bigger: v or -1?
v
Let b be (0 + (-15)/6)*2/10. Which is smaller: -1/36 or b?
b
Suppose -a = 2*w + 2*w - 315, -4*a - 222 = -3*w. Let v = -389/5 + w. Let d = 1 + 0. Which is smaller: v or d?
v
Let y(p) = -4*p**3 - 9*p**2 + p. Let x(d) = 3*d**3 + 8*d**2 - d + 1. Let u(z) = 5*x(z) + 4*y(z). Let m be u(4). Which is greater: m or -2?
m
Suppose 0 = 5*u + 5*z - 25, u - 6*u + 2*z = -32. Let p(g) = -g**2 + 7*g. Let f be p(6). Are f and u unequal?
False
Let v(w) = -w**2 + w + 4. Let y be v(0). Suppose y = d + 2. Let l be (3 - (d - -1))/2. Which is smaller: 1/5 or l?
l
Suppose 0*v = -6*v + 12. Which is bigger: v or 8/7?
v
Let u(w) be the third derivative of w**7/840 - w**6/60 - w**5/120 + w**4/3 - w**3/3 - w**2. Let h(c) be the first derivative of u(c). Let n be h(6). Is 3 <= n?
False
Let s = 1/80 + -37/400. Let c be 6/(-4)*2/3. Are s and c equal?
False
Suppose u - 1 = 1. Let a be (4 + u + -4)*1. Suppose 3*r - o + 9 = -3*o, o = 5*r + a. Which is greater: 2/5 or r?
2/5
Let t(o) = 2*o**2 - 9*o**3 + 4*o - o - 2*o. Let d be t(-1). Suppose d + 5 = 5*b. Is 0 at least as big as b?
False
Suppose 5*o = 3*s + 8*o, 3*s - 3*o + 12 = 0. Is s != -27?
True
Suppose v - 2*v = -5*u + 19, u = v + 15. Suppose 0*d = -2*d + 5*f + 13, 5*f - 15 = -5*d. Let z be (1/v)/(1/d). Is z at most 1?
True
Let o be ((-3)/4)/((4158/12)/(-7)). Let u = 24/36601 - 5022257/12078330. Let v = o + u. Is v >= 0?
False
Let k = -0.8 + 12.8. Let u = 14 - k. Is -2/9 less than or equal to u?
True
Suppose -5 - 20 = -5*x. Suppose 0 = 2*r - x*r - 36. Let t be (-3)/(-2)*16/r. Which is greater: -1 or t?
-1
Suppose 3*t = 2*u - 16, 7*u - 18 = 2*t + 2*u. Let s(f) = -f**2 - 4*f - 1. Let p be s(t). Let a be 3/(0 + (-1)/1). Is a bigger than p?
False
Suppose -12 = p + p. Let q be p - -2*(-2)/(-2). Let f be (q/((-40)/(-3)))/(-3). Which is smaller: 0 or f?
0
Suppose 3*s + 0*o - o - 3 = 0, -5*s = -4*o + 2. Let j be 2 - (-2 + 2 - s). Suppose v - j*v = -3. Does 0 = v?
False
Suppose 0 = -2*o + 7*o - 5. Suppose 5*n = -25, -d + 22 = -5*n - 6. Which is smaller: d or o?
o
Let t = 1 - 2. Let g be (t - (2 + -2)) + -10. Which is bigger: g or -10?
-10
Let d be 4/(-18) - (-3)/(-108). Suppose -4 - 3 = -s. Suppose s*q = 2*q - 5. Is d equal to q?
False
Let q = -278 - -573/2. Does q = 9?
False
Let c(o) = o + 5. Let n be c(-3). Do 3/5 and n have the same value?
False
Let n be 12/(-4) - 24/3. Which is smaller: -12 or n?
-12
Let d = -27 + 80/3. Suppose 0 = -2*n - 0 + 4. Suppose n*u = -2*u. Which is greater: d or u?
u
Let l(r) = r**2 - 4*r + 5. Let g be l(4). Let f = 3 - 12. Let z = f - -13. Which is smaller: z or g?
z
Let n(x) = -4013683*x + 5. Let p be n(7). Let w = 111034506131/3952 + p. Let c = w - -1/304. Which is smaller: c or -1/2?
-1/2
Suppose 5*w + 3*i + 15 = 0, 3*w + 3*i + 15 = -w. Which is smaller: -15 or w?
-15
Let y = -1 - -0.99. Let r = y - -0.01. Is -1 > r?
False
Let d be (1/(2/(-1)))/((-54)/108). Is 5/28 at least d?
False
Let h = 13 - 1. Let u be (-4)/h - 2/6. Let r = -22/3 - -35/6. Which is bigger: r or u?
u
Let o be (3 - (-5)/(-2))*2. Let m be o*(-3 + 4/2). Let r(l) = l**2 - 1. Let v be r(m). Is 2 equal to v?
False
Suppose -3*b - b = 96. Is b > -24?
False
Let a = 2/11 - 52/165. Is 0 at most a?
False
Let k = 7 + -11. Let j = 5 + k. Let m = j + -1.1. Is m < -0.3?
False
Let w(i) be the third derivative of i**4/24 + 2*i**3/3 - i**2. Let p be w(-3). Let k be 105/196 + p/(-4). Do 1 and k have different values?
True
Let h(d) = -d**2 - 8*d - 4. Let q be h(-7). Let o be -1 + 2/(-2) + q. Which is bigger: 1/7 or o?
o
Let q be (9/12)/((-3)/(-8)). Let n be (6/18)/(q - 1). Which is bigger: 1 or n?
1
Let z = 40 + -11. Which is greater: -1/4 or z?
z
Let i = 2 + -3. Which is smaller: i or 1/4?
i
Let x(c) = c**3 - 3*c**2 - 5*c + 4. Let l be x(4). Is l smaller than 9/8?
True
Let y(p) = 13*p - 6. Let z be y(2). Which is bigger: 19 or z?
z
Suppose -3*s - 2*y = s - 28, 4*s = -3*y + 28. Let g = -27/4 + s. Which is bigger: g or 3?
3
Suppose -3*j = -49 - 20. Are j and 3 equal?
False
Let w(m) = m - 8. Let o be w(4). Let l = -4 - o. Suppose