= -n - 3. Suppose 0 = 2*z - 4, 3*z - 26 = -3*m - 5. Let t be u(m). Do -7 and t have different values?
True
Suppose -4*q - 2 = 14. Let f = q + 8. Suppose -f*m = -8 - 0. Which is bigger: 3/5 or m?
m
Suppose 0 = 4*u - 1 - 7. Suppose -u*d + 3*d = -50. Let k be (d/(-8))/(-5) - -1. Are k and 0 nonequal?
True
Suppose 0 = q - 3*x, -5 = 4*q - 3*x - 23. Let f be (-4)/q - 20/6. Let v be 6/12*1/f. Do v and 1 have the same value?
False
Let y be 4 + -6 + 0 + -6. Let h be (y/30)/(84/18). Is -0.1 smaller than h?
True
Let q = 1.5 - 1.5. Suppose 2*g + 0*c = 4*c + 4, -5*g + c = 8. Which is greater: q or g?
q
Let g = 2268431/35 + -64808. Let k = -23/5 + g. Is k greater than 0.1?
False
Let k = 51 + -21. Let v be (k/9)/(-5)*1. Let l = -5 + 5. Is l > v?
True
Let s be (-5 - 1)*3/(-6). Let r = s - 4. Which is greater: 3/7 or r?
3/7
Let o = -42 - -26. Let y = o + 13. Which is bigger: -1 or y?
-1
Suppose 0 = -5*q + 2*k + 35, 5*q = 4*k + 22 + 23. Suppose -w = -q*g - 3*w + 31, 0 = 4*g - 5*w - 5. Is 3 greater than g?
False
Let u be (-4)/6 + (-14)/(-21). Suppose 2*o + u*o = 0. Which is smaller: o or -3/5?
-3/5
Suppose -19 = 5*w - 24. Let g be (-3 - 66/(-21))*-2. Which is smaller: g or w?
g
Let b(l) = -3*l + 7. Let f be b(5). Let w = -1 + f. Which is smaller: -10 or w?
-10
Suppose -1 = -3*f - 2*g, 3*g + 4 = 3*f - 2*f. Which is smaller: f or 8/7?
f
Suppose 0 = -w - 5 + 10. Suppose w*l + 25 = 5*n, 4 = 3*l + l + 2*n. Which is bigger: l or -6/17?
-6/17
Let x = 19/40 + -7/8. Which is smaller: x or 1?
x
Let z be (-8)/(-14)*72/1. Let f = z + -41. Which is smaller: 1/4 or f?
f
Let r = 0.02 + -5.02. Let w = -5.1 - r. Is 12 less than w?
False
Let q = 3/5 - 1/10. Which is smaller: q or 1?
q
Let d = -4255/43 - -99. Suppose 5*l + a = 10, l - 15 = 6*l - 4*a. Which is greater: d or l?
l
Let m be (4 - 3)*((-3)/(-4) + -1). Is 13 smaller than m?
False
Suppose 2*g = 3*g + 3*v - 12, -31 = -2*g + v. Is g greater than 13?
True
Let n be ((20/12)/(-5)*0)/3. Which is smaller: 10 or n?
n
Let c = -24 + 14. Let q = 13 + c. Which is bigger: q or 0.1?
q
Suppose 3*y = -0*y + 6. Suppose -f + 16 = 2*s + 4*f, 8 = y*f. Is -1 smaller than s?
False
Suppose -4*r - 3*b = r - 31, 0 = -b - 3. Suppose 8 = -4*l + r*l. Which is bigger: 1/2 or l?
l
Let h = 3/2 - 31/14. Are 0 and h unequal?
True
Let f be ((-16)/(-2))/2 - 2. Let a = f + 0. Let o be ((-2 + a)/(-1))/(-1). Is o < 1?
True
Let a = -8 - -6. Which is smaller: a or -3?
-3
Let o(m) be the third derivative of m**4/24 + m**3 + 2*m**2. Let s be o(-5). Let l = -2 + s. Do l and 0 have the same value?
False
Let q(x) = -x**3 - x**2 + 3*x + 3. Let f be q(-2). Which is smaller: f or 2/9?
2/9
Let z be (4/60)/(-3 - -2). Which is bigger: z or 0.1?
0.1
Let c(k) = 11*k - 3. Let n be c(1). Suppose -g + 7 = n*m - 3*m, 6 = -4*g - 3*m. Which is smaller: 0.03 or g?
g
Suppose z - 15 = -4*k + 9, -38 = -3*z + 5*k. Suppose 0 = -5*p + z + 9. Suppose -5*c = -4*j - 31, j - p*c = -2*j - 27. Is j smaller than -4?
False
Let r = -36 + 28. Is r not equal to -7?
True
Let g = 0.04 + 0.26. Let b = 2.3 - g. Is 2 > b?
False
Let q = -1.096 - -0.096. Which is smaller: q or 0.02?
q
Let v = -8/81 + 265/1863. Is v <= 1?
True
Let s = 481 + -469.01. Let v = -12 + s. Which is smaller: v or 1?
v
Suppose 2*z - 4*k + 8 = 0, 4*k + 3 = -4*z - 1. Let m(j) = j**2 + 2*j + 3. Let i be m(-3). Let d be i + -4 + 5*-1. Which is smaller: d or z?
d
Let b be 0/1 - 5*2. Suppose -4*c - 4*u = -16 + 48, 4*c + 3*u + 34 = 0. Is b >= c?
True
Let s = -169 + 4226/25. Is 0.1 < s?
False
Let i be (-10)/(-55) + (-44626)/(-66). Let v = i + -684. Is v bigger than -9?
True
Let n be -1*(-1 + 1 + 0). Suppose -2*h + 32 = 4*i - n*h, -3*i + h = -24. Is i bigger than 8?
False
Suppose 0 = -3*b - 10 + 22. Let j be 6/b*8/6. Suppose 0 = -5*a + 3*g - 6, 0 = -0*a + 3*a + j*g - 4. Is -1 at most as big as a?
True
Suppose -7*q + 131 = -9. Is 2 > q?
False
Let q be ((-120)/(-28))/((-2)/(-14)). Let r be q/(-80) - 1/(-4). Which is greater: 1 or r?
1
Let a = -4 - -6. Suppose 0 = a*w - 6 - 34. Let z = w + -41/2. Which is smaller: 0.1 or z?
z
Let x be (-350)/(-80) + 1*-4. Let r = x + -25/24. Is r less than -1?
False
Let t = 0.24 + -0.14. Let o = -0.05 - -0.45. Is o smaller than t?
False
Let a = -22.14 + 23. Let q = -0.06 + a. Let c = 1 - q. Which is greater: c or 0.1?
c
Let c(u) = -u + 1. Let z be c(-7). Let y = 11 + -2. Which is smaller: y or z?
z
Let f be (-102)/(9*3/18). Which is smaller: f or -69?
-69
Let l = -5 - -9. Suppose -2*v - 2*v - l*s + 32 = 0, -2*s = -3*v + 4. Suppose 2*g - 6 = 0, v*c + 0*c + 3*g - 5 = 0. Is 0 <= c?
False
Let l(o) = -2*o**2 + 2*o + 1. Let h be l(2). Let d = -7 - h. Are d and -3 equal?
False
Let q = 101/24 + -13/3. Which is smaller: -0.1 or q?
q
Let s be 2 + 3 + (-1)/((-3)/(-6)). Let i(c) = c**3 - 3*c**2 + c + 1. Let y be i(3). Which is bigger: y or s?
y
Let r = 583 - 46053/79. Which is greater: -1 or r?
r
Let l(h) be the second derivative of h**4/12 + h**3/3 + h**2/2 + h. Let k be l(-2). Is 0 > k?
False
Suppose 3*m + 5*x - 14 = 3*x, 5*m - 2*x = 18. Let q = 3 + -3. Suppose q = g - 2 - 0. Which is smaller: m or g?
g
Let w be 38/52 - (-3)/(-6). Is w greater than 0?
True
Let j be (10/9)/(9/108). Let c = 15 + -1. Let x = j - c. Which is smaller: -1 or x?
-1
Let n = 432 - 15986/37. Let u(d) = d + 15. Let b be u(-15). Which is smaller: b or n?
n
Let q be 1/(-2 + (-5450)/(-2674)). Let z = 1/725 + -57278/2175. Let a = q + z. Is -1 at least as big as a?
False
Suppose -2*b = -4*h - b + 37, -2*b - 50 = -5*h. Let g be (-1 - -1)*1 + 7. Is g at most h?
True
Let d = 1.6 - 0.8. Let i = d + -0.5. Let b = i - 0.1. Is b not equal to -1?
True
Let x be (0 - 1) + 0 + 3. Suppose x*k + 31 = -5*j, -5*j + 3*k - 2 = 14. Is j at most as big as -5?
True
Let g be ((-6)/16)/(9/(-6)). Let s = 0.1 - 0.2. Is s > g?
False
Let i(w) = w**3 - 4*w**2 - 3*w + 6. Let y be i(4). Let h be ((-2)/y)/((-7)/(-126)). Are h and 6 equal?
True
Let j = 0.5 + -0.8. Let a = -0.1 + j. Which is greater: -2 or a?
a
Let s(v) = 10*v**2 - 2*v + 1. Suppose -5*x + x - n + 1 = 0, 3*x = -n. Let r be s(x). Suppose -w = 2*w + r. Is w at most as big as -4?
False
Let i = -3.7 + 6.6. Let f = 3 - i. Let n = 1028/9 - 114. Is n equal to f?
False
Suppose -3*i + 23 = d, -i - 19 = -5*d - 0. Suppose i*m - 4*m = 6. Suppose 0*u - m = -3*u. Is u <= 1?
True
Let f be (-9)/(-6)*(-6)/9. Is -2/37 <= f?
False
Let n = 1 - -1. Let s = -1 - n. Which is smaller: s or -2?
s
Let p = 9 - 9. Let f be 2/(-2) - (-5 + -1). Suppose f*k - 5 = -p*k. Which is smaller: 2/9 or k?
2/9
Let g be (-6)/(-2) - (2 + 1). Suppose -7*r + 3*r + 12 = g. Is 2 bigger than r?
False
Let c = 15 + -23. Let d be ((-4)/2)/(c/(-36)). Let u be 4/3*d/(-15). Is u at most 2?
True
Let d be ((-18)/28 - (-28)/49)*-8. Let r = 55/147 + -2/49. Which is smaller: d or r?
r
Suppose 2*c = 1 + 19. Let f(z) = z - 12. Let w be f(c). Which is bigger: w or -1/4?
-1/4
Let p(a) = -a**2 - 3*a - 2. Let k be p(-3). Let s = k - -6. Suppose -5*h = s*t - 2*h - 10, 4*t = -h + 6. Which is greater: 0 or t?
t
Let r be (-4)/(-18) + 184/(-504). Is 1 less than or equal to r?
False
Let r(n) = n + 5. Let f be r(-5). Let d = -1 + f. Let o = 88.9 - 89. Is d bigger than o?
False
Let q be ((-8)/(-10))/(9/(-135)). Let r be (2/3)/(q/(-18)). Let o be 2/(-3) + (-3)/(-9). Are r and o nonequal?
True
Let k be ((-6)/(-10))/(3/(-15)). Is k < -7/3?
True
Suppose 3*k + 2*k - 15 = 0. Let d(z) = z + 1. Let s(r) = -r. Let u(f) = k*s(f) + 2*d(f). Let v be u(2). Which is greater: 1/2 or v?
1/2
Suppose 2*v + 3*i = 1 - 8, -2*v - 2*i - 10 = 0. Is v != -7?
True
Let m be 3/(-15) - (-2456)/13530. Let j = 1/33 - m. Which is smaller: j or 1?
j
Let g(y) = -3*y. Let m be g(1). Let b = 5 + m. Which is greater: b or 3?
3
Suppose 5*j - 40 = -0*j + 3*g, 0 = 2*j - 2*g - 20. Let k be (6/(-15))/((-4)/j). Suppose 0 = 4*x - 4*s - 8, -5 - 5 = -5*x - 5*s. Which is bigger: k or x?
x
Let w = -13 + 3. Let x be (-3)/((-6)/w) + 1. Let m be 6/(-21) - x/14. Is -2/9 >= m?
False
Let q be (-9)/15 + (-4)/(-10). Let b = -5.3 + 0.3. Let r = b - -6. Which is smaller: r or q?
q
Suppose -s + 0*s = -3. Suppose -4*k + 0*k - 5 = -3*t, s*t + 3*k = -9. Let d be (-4)/4*4/8. Is t at least d?
False
Let o = -57 - -6. Which is greater: o or -52?
o
Let q = -14 + 7. Let i(o) = -o**3 - 7*o**2. Let z be i(q). Let k be ((-2)/6)/((-1)/3). Does z = k?
Fal