m, -3*m + m + 7 = -l. Let n = -0.1 - -0.1. Which is bigger: m or n?
m
Let j be 12/15*(-15)/6. Let g be (2/16)/(j/(-12)). Is g not equal to 2?
True
Let x = 1 - -3. Suppose 0 = -0*v + 2*v + 2*o + 4, x = 2*v - 2*o. Let z = -134 + 674/5. Is z != v?
True
Let k = -13/1540 - 3/110. Is k greater than or equal to 0?
False
Suppose -6*m + 32 = -4*m. Let n be (m/10)/((-4)/(-70)). Let d be (-64)/n + 2/7. Are -1 and d equal?
False
Let j(b) = b - 4. Let n be j(5). Suppose -3*o - 10 = 5*u, -3*u + n = -4*o + 7. Let g = 13/5 + -29/15. Which is smaller: o or g?
o
Let p be (8 + -9)*(0 - 1). Let r be (-2)/9 + 32/90. Which is bigger: r or p?
p
Let t be 1 - (-2 + (-1 - -3)). Which is smaller: t or -2/53?
-2/53
Let r = 0.01 + -0.21. Which is smaller: 16 or r?
r
Suppose 0*q + q = 2. Suppose h + q = 3. Let z be -1*(2 - 2)*h. Is z smaller than 0?
False
Let z = 14 + -14. Let y be -1 + -2 + 62/26. Do z and y have different values?
True
Let w = 26.9 + -27. Is -11 < w?
True
Let w be (-1)/9*1/(-3). Let u(i) = -i**3 + 8*i**2 - 17*i + 11. Let c be u(5). Which is smaller: w or c?
w
Suppose 3*v - 3 = -0*v. Which is smaller: v or 3?
v
Let p = 25/63 + 8/9. Is 1 less than or equal to p?
True
Let i = -12 + 10. Is i >= 2/9?
False
Suppose 5*n + 12 = 4*j + 4, j - 2 = 2*n. Suppose 4*a - 12 = -5*l + 24, -3*a + 12 = 0. Let t be ((-6)/(-15))/(l/(-6)). Which is smaller: n or t?
t
Let i be 8/(-12)*(2 - -4). Which is bigger: -11 or i?
i
Suppose -4*h - 17 = -4*r + 11, -5*r = 2*h + 35. Is -10 less than or equal to h?
True
Let u be ((1/4)/1)/(-5). Suppose -q = -2*i + 4, 0 = 23*i - 21*i + 2*q + 2. Does i = u?
False
Suppose -35 = 5*z + 5*l, -z - 3*z = l + 37. Let w = -10 - z. Let c = 1 + -2. Are c and w unequal?
True
Let y be (20/(-8))/((-3)/6). Is 6 >= y?
True
Let f = 0.72 - 0.72. Suppose 1 = m - 2. Which is bigger: m or f?
m
Let v = -344.9 + 327. Let r = 19 + v. Let d = r + -0.8. Which is smaller: 0.1 or d?
0.1
Let f = -48/2555 + -430207/628530. Let u be 91/246 - (-3)/(-9). Let t = u + f. Which is smaller: 0 or t?
t
Let j(t) = -15*t + 1. Let x be j(-1). Are x and 16 nonequal?
False
Suppose 3*i - 17 = 3*g + g, -3*i = 3*g + 18. Is 0.1 at least as big as g?
True
Let o = 21 - 20. Is -1.3 bigger than o?
False
Let x(i) = -i**2 - 2*i + 1. Let h be x(1). Let z(a) = 2*a - 3. Let o be z(7). Let n = -13 + o. Is n < h?
False
Let p = -16 + 28. Let g = 12 - p. Is g equal to 1?
False
Suppose 0 = a - 2. Suppose 0 = x - 5*q + 23, 3*q - 2*q = a*x + 1. Let c be 1 + -1*1/2. Is x at least c?
True
Let c = -4 + 14. Let u = c + -5. Suppose -u*t + 4 = -1. Which is bigger: t or -1?
t
Suppose -2*u - 3*u = -15. Suppose -24 + 2 = -u*l - 2*o, 4*l - 14 = 5*o. Suppose 0 = 4*x + 12, -4*v + l*x + 47 = x. Which is greater: v or 7?
v
Let w be (-1)/(-12) - (-3)/(-9). Let u(s) = s**2 - 3*s - 11. Let y be u(5). Which is bigger: y or w?
w
Let n(g) = g**3 + 5*g**2 - g. Let q be n(-5). Suppose -5 = 2*j - j, 0 = 4*v + q*j + 21. Which is smaller: -1/4 or v?
-1/4
Let u(p) be the first derivative of -p**3/3 - 7*p**2/2 + 3*p - 1. Suppose -7 = t - 0*t. Let o be u(t). Are 2 and o equal?
False
Suppose -d - d - 6 = 0. Let y be (0 - -2)*(6 - 2). Let v be (2 + y/(-6))*-3. Which is greater: d or v?
v
Let l = -3824/13 + 294. Is l at least -1?
True
Let z be 0/(2/1*-2). Is z greater than -2/43?
True
Let l = -0.3 + 1.3. Let b = 1 - l. Let h = b - -0.1. Which is greater: h or -1/3?
h
Let o(r) = -5*r**2 + 2 - 9 + 1 - 5*r + r**3. Let s be o(6). Let u = 43/8 - 39/8. Is s greater than u?
False
Let m = 42.1 + -42. Let d be 4/14 + (-12)/189. Is m > d?
False
Suppose 2*u - 6 = -k - 0*u, -u = 5*k - 12. Suppose 2*o - 12 = k*b + 4, o + 12 = -4*b. Suppose w - 3*w = o. Is w less than -1?
True
Let o = 2366/5 - 470. Which is bigger: o or 4?
4
Let r(b) = b + 7. Let p be r(-5). Let v be 1/(p + (-27)/15). Let x be v + -6 + 0 + 0. Which is smaller: -2/9 or x?
x
Let q(c) = -c + 2. Let d be q(1). Suppose -h - 7 = -3*s - 1, 2*s + 3*h + 7 = 0. Let m be s + -7*2/10. Which is smaller: d or m?
m
Suppose 12 = -4*x + 3*o, -o + 5 - 1 = 4*x. Let n = 1 + 4. Suppose -d = k - 1, -d - 5*k + 2*k = -n. Which is smaller: x or d?
d
Let p be (-10)/(-12) + (-1)/3. Is p less than or equal to 83?
True
Let s(f) = f**3 + 7*f**2 - 7*f + 9. Let m be s(-8). Let t = 16 + -4. Let u = -9 + t. Is u bigger than m?
True
Let k(m) = -6*m**2 + 3*m - 1. Let d be k(1). Which is greater: -3 or d?
-3
Let g be (3/4)/((-48)/(-12128)). Let m = -17 + 210. Let w = g - m. Is -1 greater than w?
True
Let j = 4 + -6. Suppose 26*n - 11*n + 15 = 0. Which is smaller: j or n?
j
Let o = -2 + 1. Let l = -5.01 - -0.01. Let i = 7 + l. Which is smaller: i or o?
o
Let h = -6 - -5.9. Let i = -0.04 + -0.04. Which is greater: i or h?
i
Let l be -3*(-1 + 12/(-9)). Is 5 less than l?
True
Suppose 5*l = 3*i + 19, -33 = -4*i - 2*l - 3*l. Suppose -3*m - m = -8. Do i and m have the same value?
True
Let y be (-6)/(-10) + (2 - 996/(-15)). Is 68 < y?
True
Let a = -0.14 - 10.86. Let i = a - -13.2. Let k = -2 + i. Is k >= 3?
False
Let j(k) = -5*k**2 - 6*k + 0*k + 3*k + 2*k. Let x be j(-1). Do x and -4 have different values?
False
Let l = 3.8 + 1.2. Is -1/2 bigger than l?
False
Suppose 0 = -5*p + 5 - 0. Suppose 0*f - f + 4*y = -15, -4*f + 12 = -4*y. Is f at most p?
True
Let x = -61654/37 - -1666. Let u = x - -158/259. Let g = 9 + -26/3. Is u >= g?
False
Let m be ((-14)/(-40) - 1) + 4/16. Is m less than 13?
True
Let f(m) = -6*m - 2. Let n be f(1). Which is smaller: n or -9?
-9
Let i be (-16)/72 + 50/(-18). Let b be 2 + 3*i/(-9). Is b bigger than -1/2?
True
Let q = -0.4 + -14.6. Let n = q + 13.9. Let i = n + 0.1. Is 0 < i?
False
Let z(s) = s**2 + 4*s + 1. Let y be z(-4). Let o be 143/2 + (-2)/(-4). Let b be 2 - (-1)/((-38)/o). Which is smaller: y or b?
b
Suppose 0 = -9*n - 2 + 155. Is 18 greater than n?
True
Let l be 3 + (1 - 1)/1. Let a = 1 - l. Which is greater: a or -3?
a
Let h = 9 + -8. Let c be (0/(-2))/(h + 1). Suppose c*m = -m. Is m at most 1/6?
True
Let j = 11 - 2. Let g = j - 5.5. Let w = g - 4. Does 1 = w?
False
Let c be (1 + 8)*4/12. Suppose 31 = c*g - 8. Which is greater: 14 or g?
14
Let t(k) = -k**3 + 3. Let m be t(0). Let i be 2/2 - (m + -6). Suppose -5 = d, 3*a + 12 = -i*d + d. Do a and 1 have the same value?
True
Let o = -1/1203573 + 10938071437/15646449. Let q = 700 - o. Which is greater: q or 2?
2
Let h be (4 + -3 + 0)/1. Let t be ((-52)/20 - -2) + h. Let l(b) = b**2 + 1. Let z be l(0). Is z at most t?
False
Let u = 58 + -105. Let m = u + 11. Let f be (-5)/(-18) + (-8)/m. Which is bigger: 1 or f?
1
Let j = 30 - 26. Is j at most as big as -3/4?
False
Let f be (-8)/(-10) + 4/(-10). Let p(g) = -g. Let y be p(0). Which is smaller: f or y?
y
Let p = 7 - 3. Suppose -p = 4*j - 3*j - 4*v, 5 = -4*j + 5*v. Suppose j*l = l. Which is greater: -0.7 or l?
l
Let f be (-3)/1 + 13 - -2. Let a be (-1)/(-1) + (-16)/f. Is a smaller than -1/4?
True
Suppose -4*l + 114 = -6. Let j be ((-116)/l - -1) + 3. Which is smaller: 2/5 or j?
j
Let h = -2 + 2. Suppose 3 = 3*v - h. Which is smaller: v or 2?
v
Let o = -4.9 - -5. Which is smaller: -1.5 or o?
-1.5
Let u = 2273/11 - 207. Which is bigger: -1 or u?
u
Let g be ((-4)/(-6) + 0)*1. Suppose -5*k = 3*f + 6, -2*k = 3*k + 2*f + 4. Suppose 5 = 5*z - k. Is g at most as big as z?
True
Let b(w) be the third derivative of -w**6/60 + w**4/24 - w**3/3 - w**2. Let g be b(-2). Suppose -2*q = 2*q + g. Is q != -3?
False
Let l = -0.03 + -0.03. Let g = l + -0.14. Let h(b) = -b**3 + 6*b**2 + 8*b - 8. Let c be h(7). Is c not equal to g?
True
Suppose -2*r + 3 = 7. Suppose -4*l = b + 64, -b - 79 = 5*l - 0*l. Let v be 2 + -2 + 12/l. Which is smaller: v or r?
r
Let f = 0.9 + 0.2. Let j = -1 + f. Let l = -2 - -2.1. Are l and j equal?
True
Let x = 0.83 + 22.17. Which is smaller: x or 3?
3
Let c(y) = y**2 + 3*y - 2. Suppose -4*r - 11 = -x, -2*r + 3*x - 7*x - 10 = 0. Let u be c(r). Suppose 5*v = -16 - 4. Is u at least v?
True
Let d = 13 - 17. Suppose 10 = -3*c - 2. Do d and c have different values?
False
Let c = -12.9 + 12.3. Which is smaller: c or -2?
-2
Suppose o + 6*a - 7 = a, 2*a - 12 = -5*o. Suppose 3 = -o*u + 9. Suppose 0 = -0*n + u*n. Which is smaller: -0.1 or n?
-0.1
Let t be ((-2)/6)/(5 - (-14)/(-3)). Which is bigger: t or 0?
0
Let l = -15/4 + 3. Which is smaller: -1 or l?
-1
Suppose 0 = 3*u - 12 - 3. Is 1 at least u?
Fa