 Suppose 2*m + 5*w + 33 = 0, w = 2*w + x. Is m equal to -9?
True
Let b = -145 + 1013/7. Which is smaller: b or 10?
b
Let u = 14 - 10. Is 8 <= u?
False
Let q be (-6*7/7)/(1/(-2)). Is 11 <= q?
True
Let y = 24 + -32. Let k = -10 + y. Is k bigger than -19?
True
Let k be -7 + 9 - 56/10. Is -4 smaller than k?
True
Let i(s) = s. Let g be i(4). Let b be 1 + 30/5 + -2. Suppose b*t = g*t - 1. Which is smaller: t or 0?
t
Let w(c) = -c - 1. Suppose -2*o - 3 = o, 5*j = -4*o - 9. Let q be w(j). Let d = 29 - 30. Which is smaller: d or q?
d
Suppose -7*i = 2*i + 54. Which is smaller: i or -31/6?
i
Let n(m) = -13*m - 3. Let g(v) = 26*v + 7. Let y(o) = 2*g(o) + 5*n(o). Let c be y(-1). Suppose c = 4*s + 4. Which is smaller: s or 0?
0
Let u be 6/18 - (-1)/(-3). Suppose -17 = 5*j + 3*v, 3*j + 5*v + 7 = -u*v. Is -3 at least as big as j?
True
Let q = 30048 + -12966. Let p be 19554/q - (-1)/(-1). Let s = -2/219 - p. Is s > 1?
False
Suppose -w - 4 = -j, -4*j = -3*w + 8*w + 20. Let p = -1 + 1. Suppose 4*g - 16 = -4*k, 2*g + 2*g - 12 = p. Which is smaller: k or j?
j
Let n = -81.98 - -82. Is -6 not equal to n?
True
Let t = 23/9 - 26/9. Which is greater: t or 2?
2
Let o be (-15)/10*2 - -2. Is o greater than or equal to -4/49?
False
Suppose -3*n = 4*y - 5, 0*y + 15 = 4*n - 3*y. Suppose -5*w - 3*g = 9, -2*w + g = -w - n. Suppose 0 = -2*j - 3*j. Is j not equal to w?
False
Let w(z) be the third derivative of z**4/24 + 7*z**3/6 - 3*z**2. Let m be w(-5). Which is smaller: m or 1?
1
Suppose -9*n + 6*n - 9 = 0. Which is smaller: -2 or n?
n
Let l be (0 - 1) + (-10)/(-8 - -3). Which is greater: l or 11?
11
Let r = -7 + 7.2. Which is smaller: r or -2/13?
-2/13
Let u = 16 + -15.93. Let c = u - -8.93. Which is smaller: 0 or c?
0
Let d = -2 + 0. Let v = 0 + -3. Let i = v + 3. Is i smaller than d?
False
Let n = -4.97 - -5. Let d = -1.4 + 1.5. Which is bigger: d or n?
d
Let c be 10/(-25) - (-22)/30. Let h be 1/2*0 + 4. Suppose -3*u - 1 = -h*u. Which is smaller: u or c?
c
Let n be (-8)/((-40)/(-61))*(2 - 1). Do n and -12 have different values?
True
Let y be 5/10*1/(-2). Is -1 less than y?
True
Suppose -4*v = -f, v + 3*f + 16 = -3*v. Let b(l) be the third derivative of -l**5/60 - 5*l**4/24 - 2*l**3/3 + 2*l**2. Let k be b(-4). Which is greater: v or k?
k
Let p = -31553 + 1420016/45. Let m = 3/55 - 1567/495. Let y = p + m. Are 1 and y equal?
False
Let c = 14 - 10. Suppose 4*h - 12 = c*x - 4, -h + 22 = 3*x. Suppose 0 = -8*m + h*m. Which is smaller: -4/3 or m?
-4/3
Suppose -2*v + 5 = -7*v - n, 0 = 4*v - 2*n - 10. Let m(o) = 3*o - 6. Let b be m(2). Is v less than or equal to b?
True
Suppose -5*d + 16 = -4. Suppose -s = d*l + 3, 5*l - l + 4*s = 0. Let a be ((-2)/(-36))/(l/4). Is a at least as big as -1?
True
Suppose -5*g + 39 = -21. Let b be g/(-3)*35/(-40). Does 3 = b?
False
Suppose 4*f - 236 = 756. Let w = -416 + f. Let x = 508/3 + w. Which is greater: x or 2?
2
Suppose 4*z = -2 + 22. Let a = z - 6. Which is greater: a or 1?
1
Suppose 15 = f + 2*f. Are 5 and f equal?
True
Let z(o) = -o**3 - o**2 + o. Let j(i) = 5*i**3 - 2*i**2 - 13*i + 1. Let g(c) = j(c) + 6*z(c). Let s be g(-7). Are s and -2 equal?
False
Let k = 26 - 20. Is k >= 21/4?
True
Suppose -2 + 4 = -w. Let q be -2*24 - (-3 - w). Let h = q - -237/5. Is 0.4 greater than h?
False
Let l be (-2 - 1)*(-57)/(-54). Let p = -2/3 - l. Is p <= 3?
True
Let i be (170/(-35) - -4)/(4/(-14)). Suppose 0 = m - 5*m + 20. Which is smaller: i or m?
i
Suppose 7*t - 5*t = 12. Which is greater: 5 or t?
t
Let a be 18336/90 - (-2)/(-6). Let q = a + -202. Do q and 0 have the same value?
False
Let i = -0.44 - -0.4. Let l = 0.04 + i. Let j = l + -0.1. Which is greater: 0.1 or j?
0.1
Let f be (-2 - -1 - -9) + 1. Which is smaller: f or 7?
7
Let f = 0.1 - 0.2. Let y = -3 + 3.1. Let l = f + y. Is l at least 0?
True
Let c be 3/3 - 1*3. Suppose -3*a + 2*a - 51 = 4*l, 2*l + 3*a = -33. Let w be l/9*(-6)/(-4). Is w < c?
False
Suppose -p + p - 2*p = 0. Is p greater than 8/11?
False
Suppose -2*u = -4*u - 0*u. Is u bigger than 7?
False
Let l be -1 - (2/1 + -1). Let j(r) = -r + 20. Let f be j(18). Is l at most as big as f?
True
Let c be 108/56 + 6/(-3). Which is bigger: 1 or c?
1
Suppose 0 = -5*b + 10, 0*x + 2*x - 3*b = -4. Let s be 3 + -2 - (-12)/2. Suppose 0 = -5*k - 2*h - 3 + 4, k - s = 3*h. Is x <= k?
True
Suppose 0 = -2*z - 0*z - 2. Is z equal to -1/7?
False
Suppose 19 = 2*g - 2*x - 3*x, -5*x = 15. Is 0 equal to g?
False
Let g = 0.007 + -0.107. Let l be 14/8 - 1/(-4). Let y be (-1)/l - (-5)/4. Is g less than y?
True
Let u = -1 - -9/5. Let o(t) = -t - 10. Let m be o(-10). Does m = u?
False
Let t be -2*(3 - (-26)/4). Let r = t + 12. Is r > -7?
False
Let g(r) = r + 14. Let a be g(-8). Suppose -a + 3 = -v. Suppose -5*i - 14 = -3*l, -v*l - 8 = 2*i - 5*l. Which is smaller: i or 0.1?
i
Let l be 9/6 - (-1)/(-2). Suppose -l = 2*b - 5. Let x be (3/21)/(1/b). Is 1/2 != x?
True
Let w = -0.8 + -0.2. Let u = 110 - 122. Is w at least as big as u?
True
Let x be (-11)/5*-2 - 4. Is x at most 4?
True
Let w be ((-3)/12)/((-7)/(-4)). Which is bigger: 0 or w?
0
Let a = -0.1 + 0.09. Let o = 67.31 + -67. Let n = a + o. Which is smaller: -0.1 or n?
-0.1
Suppose 0 = 5*w + 4*q + 4, 3*w - 1 = 3*q + 2. Suppose -16*y - 1 = -15*y. Is y bigger than w?
False
Suppose -4*p = 4*f - 24, 2*f - p - 4 = p. Suppose -f*n = -7*n + 12. Is n greater than 1?
True
Let p = 1.05 - 0.05. Let v = 1 + p. Are v and 0.1 unequal?
True
Suppose -4 = -2*r - 2*r. Which is smaller: r or 2/55?
2/55
Suppose 0 = -3*l + 5*l - 2. Suppose 0 = -2*x, -x + l = -d + 2*x. Let z be -3*(-1)/d - -3. Which is smaller: 2/9 or z?
z
Let p = -3 - -5. Let a = 0.14 + 1.66. Let g = a - p. Which is greater: g or -1?
g
Let j = 30 - 35. Is -6 at least as big as j?
False
Let a = -0.02 - 0.08. Let j = 3.1 + a. Is j smaller than -1/7?
False
Suppose -3*a - d - 4 = 0, -2*d - 2*d = 4*a. Let c be (1/(-3))/(20/216). Let g = c + 16/5. Is a > g?
False
Let s = -4 - -8. Let j = 5.4 + -2.4. Which is bigger: s or j?
s
Suppose -5*f + 3*v = 2*v + 11, -f + 4*v = 6. Let t = -28 + 31. Let n be t + (183/(-33) - f). Which is smaller: n or -1?
-1
Let q = 10 - 11. Is q smaller than -3/10?
True
Let t(m) = m**3 + 7*m**2 + m + 10. Let z be t(-7). Suppose -3*k + 11 = q, k - 2 + 15 = 3*q. Let j = z - k. Which is bigger: j or -1/5?
j
Let i = -6 - -2. Let t(o) = -o - 5. Let c be 4/18 + 16/(-72). Let d be t(c). Which is bigger: i or d?
i
Let k = 3 + -1. Let r = -2 + k. Suppose 2*t + 11 = -4*b - 3, 3*t + 2*b = -9. Which is smaller: r or t?
t
Let q = -2 - -1.8. Let i = -1128/11 + 18912/187. Let t = i - -86/85. Is q at least t?
True
Let i(m) = -m**2 - 4*m - 2. Let y be i(-3). Suppose 2*n = -7*n + n. Is n != y?
True
Let c = 0 - 2. Let p = 0 - c. Let s be (0/3)/p + 2. Which is smaller: s or 4?
s
Let b = 1203/956 + -2/239. Let z(n) = -n + 2. Let j be z(1). Which is smaller: b or j?
j
Let s = -2.65 - -2.6. Which is smaller: -1 or s?
-1
Suppose -7*g = 2*v - 3*g + 10, 3*v + 3 = -2*g. Suppose 0 = k + 2*t - 9, -3*k = -k + 3*t - 13. Let s be (k/v)/((-1)/3). Which is smaller: s or 4?
s
Suppose 4*u + 4 = 4*k, 3*k + 1 = 8*u - 3*u. Suppose -k*r = -5*b - 22, 4*r + 3*b + 21 = 2. Are r and -1 equal?
True
Let k = -6 + 4. Let v = k + 2. Are -1/2 and v unequal?
True
Let c(r) = r**3 - 8*r**2 + 2. Let v be c(8). Let s be 1 + (v - (1 - -4)). Let q be (s + 2)*2/4. Is q bigger than 2/27?
False
Suppose 7*o - 9*o = -6. Let p be (-30)/9*(-6)/5. Suppose 4*f + 3*y - 10 = 0, p + 4 = -4*y. Which is greater: f or o?
f
Let x = 1/150 - -637/75. Is 8 greater than or equal to x?
False
Let l(z) = 3 - 2*z + 2*z**2 - 6 - z**2. Let n be l(3). Which is greater: n or -3/5?
n
Let s be 2/70 - (5 + -5). Let z = s - 107/70. Which is smaller: 2/5 or z?
z
Let h be (6 - 7)/(1/5). Is h at least -5?
True
Let w be -40*(26/10 - 3). Let k = w - 17. Let f(l) = -l**2 + 4*l - 2. Let r be f(4). Which is smaller: k or r?
r
Suppose -5*s = -0*r - 4*r + 604, 3*s = 3*r - 363. Let o be 6/(-4)*32/s. Which is bigger: o or 0?
o
Let w(o) = o**2 - 10*o + 16. Suppose 21 = -4*m + 53. Let p be w(m). Are 1 and p nonequal?
True
Suppose -14*c = -16*c - 4. Is c at most as big as -12/19?
True
Let u(s) = -10*s - 1. Let x be u(-1). Suppose 0*t - 4 = -t. Let p be ((-6)/x)/(t/(-6)). Is 1 != p?
False
Let z = 1 + -5. Let w be z/(-18)*(-3678)/(-170). Let g = -84/17 