85 - -4/17. Is w != o?
True
Suppose 6 = -o + 3, 3*u + 4*o + 36 = 0. Let j = 9 + u. Which is smaller: j or 3/4?
3/4
Let i be 0 - (0 - 1) - -1. Suppose 11 = i*h + 3. Suppose -y - h = -2. Which is smaller: y or -1?
y
Let b = 1 + -1.1. Let t(r) = r**2 + 3*r - 2. Let f(u) = u**2 + 3*u - 2. Let g be f(-2). Let i be t(g). Is i greater than or equal to b?
True
Let s = -3.5 + 3. Let f = s - -0.52. Let c = -0.22 + f. Which is smaller: c or -1/4?
-1/4
Let y = 4 + -6. Let p = y - 4. Let r be (0 - 2)/(p/9). Which is greater: 1 or r?
r
Let y = -12 + 11. Let m be (-208)/6*12/(-8). Let r = -363/7 + m. Which is greater: y or r?
r
Suppose 0*l - 3*f - 3 = -l, -5*l = f + 17. Which is smaller: -5 or l?
-5
Suppose 11 = -q + 3*q + y, 4*q = -4*y + 20. Suppose 0 = -5*k + 3*k + q. Is k at most as big as 1?
False
Suppose 3*o - 4 = -1. Let u be 358/(-70) + 3*o. Let a = u + 12/5. Is a <= 1?
True
Let a = 31 + -11. Let t be a/(-6)*12/(-5). Let z(q) = q**2 - 9*q + 10. Let g be z(t). Which is greater: -0.3 or g?
g
Let d(f) = f**2 - 7*f - 60. Let h be d(12). Suppose g + 2 = -17. Let i = -131/7 - g. Is h < i?
True
Let q = 4 - 5. Suppose 11*o - 4 = 13*o. Is o greater than q?
False
Let v(i) = 6*i - 3. Let h be v(-4). Let c be 6/(-15) + h/(-5). Suppose 8*q - c = 3*q. Which is smaller: q or 2?
q
Let a(j) = j**3 + 5*j**2 + 2. Let o be a(-5). Let w be 1/o + 2/(-4). Suppose -1 = d - w. Which is smaller: -1/8 or d?
d
Let r = 21 - 131/6. Which is smaller: r or 0?
r
Let u be (-2 - -7)*(-2 - -3). Suppose -5*j - u*p + 209 = 1379, -5*p - 936 = 4*j. Let r = j - -941/4. Is r greater than or equal to 0?
True
Let b = -27 - -219/8. Suppose 0 = -3*h + 2*x + 24, -3 = -h + 2*x - 3*x. Let y be (-2)/(-3) - 10/h. Is y > b?
False
Suppose 4*m - 5*r + 10*r - 48 = 0, r + 3 = m. Suppose 2*l - m*l = -o, 0 = 3*l + 3*o + 18. Suppose -q = -0*q + 2*u - 9, 5*q = -4*u + 15. Does l = q?
True
Let w be (2 + -23)*(-3)/(-9). Suppose -4*x = 2*n - 7*x + 21, -x + 3 = 0. Is n at least as big as w?
True
Let g = -23.8 + 22.83. Let w = 0.03 - 0.06. Let h = g + w. Does h = 2?
False
Let m(h) = h**3 + 5*h**2 + 3*h - 7. Let a(q) = q**3 + 5*q**2 + 4*q - 7. Let g(x) = 5*a(x) - 6*m(x). Let w be g(-5). Is w < -2?
True
Suppose 3*d + d - 5*x = -4, -3*d + 32 = 5*x. Which is bigger: d or 2?
d
Let l = -0.06 + -0.94. Let s = 4 + l. Which is bigger: 0 or s?
s
Let x(y) = -y**3 - y**2 - 2*y - 1. Let b be x(-2). Let j be (-335)/b - (-1 - -2). Let g = -49 - j. Which is smaller: g or 0?
g
Let r = 8 - 11. Let d = r + 3.2. Let y = -0.2 + d. Is 2/9 at least y?
True
Let a(p) = p**3 - 9*p**2 - p + 10. Let k be a(9). Which is smaller: 4/13 or k?
4/13
Let c = -0.9 + 1.1. Are -6 and c nonequal?
True
Let o(q) = -2 - 5*q**3 + 5*q**2 + 7*q**3 - 2 - 3*q - 3*q**3. Let g be o(4). Let y = -525/1336 - -3/167. Which is bigger: g or y?
g
Let f = -1.1 + 2.1. Which is smaller: f or -0.004?
-0.004
Let u = 3.7 + 10.3. Which is bigger: 0 or u?
u
Let f(o) = o - 7. Let g be f(5). Let i be ((-3)/g)/((-3)/(-4)). Let t be (-8)/(-12) - i/3. Is -2/7 less than t?
True
Let b = 1 - 1. Suppose 4*l - l - 6 = b. Suppose 0 = -5*g + 5*s - l + 17, 4*s + 8 = 0. Which is greater: 2/11 or g?
g
Suppose b + 14 = -2*q + 4, q + 5*b = -14. Let f = 35 + -35. Which is smaller: f or q?
q
Let a(m) = 4*m + 4. Let y be a(-6). Is y greater than or equal to -18?
False
Let v = 3 - 3. Let z be 1/3*-1*3. Which is greater: z or v?
v
Let r be -22 + (-1 - (0 - 3)). Let k be ((-2)/3)/(r/(-15)). Which is greater: -1/10 or k?
-1/10
Let d be 2 - (-1 - 69/(-24)). Suppose 0*a + 12 = 4*a. Let z = 2 - a. Is z < d?
True
Let b = -0.4 + 1.4. Let r = b - 1. Let v = r + 1. Is 1 at most v?
True
Let f = 19/21 + -163/273. Which is smaller: 0.2 or f?
0.2
Let j be (-5)/3 + 4/6. Let k = -42043 - -9459413/225. Let y = k - -18/25. Which is bigger: j or y?
y
Let r = 4.3 - 4.3. Is 5/6 greater than r?
True
Let t = 2/95 + -8/19. Is 4 greater than t?
True
Suppose -5*u + 6 = 1. Suppose -c - u = -2*c. Suppose 4*j + 7 = -c. Is j less than -1?
True
Let o(v) = -2*v**3 - v**2 - v - 1. Let b be o(-1). Let p = 0 - 0.1. Which is smaller: p or b?
p
Suppose -t - 2*t = -15. Let z = 5 - t. Are z and 0 nonequal?
False
Let n(y) = -y - 2. Let h = 1 - 3. Let i be n(h). Suppose i = z + c - 6, 2*c - 2 = -3*z + 14. Which is greater: 3 or z?
z
Let m(v) = -v**3 + 5*v**2 - 5*v - 4. Let l(t) = t**3 - 6*t**2 + 6*t + 5. Let j(n) = 5*l(n) + 6*m(n). Let p be j(-1). Is 4 at most as big as p?
False
Let j = -14 - -9. Let b = -3 - j. Which is smaller: -2/15 or b?
-2/15
Suppose 3*q = 5*b - q + 9, 5*b = 3*q - 8. Let c = -1 - b. Suppose c*s + 4*s = -4. Is s less than or equal to 2/13?
True
Let q be (6/(-8))/((-129)/2). Let h = 163/774 + q. Which is smaller: h or 1?
h
Let n be 2/(-5) - (-254)/10. Do n and 24 have different values?
True
Let v = 19 - 17.7. Let j = -0.6 - v. Which is bigger: j or -1?
-1
Let z(p) = -p**3 + 3*p**2 - 2*p + 1. Let o be z(2). Let s = 416/615 - 2/205. Which is smaller: o or s?
s
Let z be 6/(-4)*3/18. Is z at most -0.3?
False
Let a = -178/3 - -4649/78. Let p = 47/6 + -629/78. Let o = a - p. Which is bigger: o or -1?
o
Let n = 33/8 - 217/72. Let x = n - 29/18. Is 7/5 bigger than x?
True
Let h = -1 - -2. Let d be h + -2 + 5/(-20). Is -2 less than d?
True
Let q = 0 + 0. Suppose q*t - 2*t = 14. Is -7 at least t?
True
Suppose -5*y = -1 + 6. Is 1/3 greater than or equal to y?
True
Let s(c) = 2*c - 5. Let p be s(-5). Let i be (p/10)/((-9)/6). Let h be 0 + 3*(-4)/(-42). Do i and h have the same value?
False
Let p = 46 - 36. Which is smaller: -1/3 or p?
-1/3
Let z be (3 - 48/18)/(2/(-6)). Is z at least as big as 1/7?
False
Suppose -r + 0*h - 2 = 4*h, 2*h - 6 = -4*r. Let t be -3*(22/6 - r). Which is greater: -1 or t?
-1
Suppose n + 2*n - g = -2, 25 = 5*g. Is -1/33 at most n?
True
Suppose -3*w = w + 8. Let b be 22/(-10) - 56/70. Which is smaller: b or w?
b
Let b be 0 + (-4 - -4 - 0). Suppose -3*l + 5 + 19 = b. Which is greater: 9 or l?
9
Let m be ((-14)/(-35))/((-17)/(-5)). Which is smaller: m or 0?
0
Suppose -4*y - 7 = -5*c, 2*y = -2 - 4. Suppose 18*f - 1 = 19*f. Let x be (f/(-12))/((-7)/14). Which is smaller: x or c?
c
Let p = 21 + -33. Let a be (-62)/8 + 3/p. Is -7 smaller than a?
False
Suppose 0 = 4*f - 2*f - 16. Is f at least as big as 8?
True
Suppose -l - 21*l - 132 = 0. Suppose -2*y - 28 = 2*y. Do y and l have the same value?
False
Let g = -3/7 - 1/14. Let o = 82 - 904/11. Which is greater: g or o?
o
Suppose 2*w - 1 - 1 = 0. Let u be 0/(w + (0 - -1)). Let z be 1*1/(-1)*1. Is u greater than or equal to z?
True
Let m(y) = 126*y**3 - y**2 + 1. Let j be m(1). Let s be ((-12)/j)/(3/(-7)). Suppose 4*h + 20 = -5*z, 4 = -2*h - 2*z + z. Do s and h have different values?
True
Let s = 1 - -9. Which is bigger: s or 34/3?
34/3
Suppose 7*p = 2*p - 2*i - 70, -2*i = 0. Suppose f + f = d - 12, d = -3*f + 2. Let z be d/(-28)*p/8. Which is smaller: z or 2?
z
Suppose 0 = -2*g - 5 - 13. Let y = g + 9. Let m = -65/7 - -541/56. Which is bigger: m or y?
m
Let b be (2/3)/(1/3). Suppose -k = b*k - 2*q - 2, 0 = 2*k - 5*q - 16. Are -3 and k equal?
False
Let o = -0.9 - -0.87. Let m = -0.9 - -1. Is m less than or equal to o?
False
Let w = 48/5 - 9. Let x = 7.88 + 0.12. Let o = x + -6. Which is bigger: o or w?
o
Let f(a) be the third derivative of -a**2 + 0 - 1/6*a**3 + 1/6*a**4 + 0*a - 1/60*a**5. Let q be f(3). Is 2 bigger than q?
False
Let k be -2 + 1 - 119/(-147). Which is smaller: 1 or k?
k
Let s = -5 + 7. Let n be ((-6)/3 + s)/(-1). Are -2 and n equal?
False
Let c(u) = -u**3 + 6*u**2 + u - 8. Let v be c(6). Let k = v + 4. Is k at least 0?
True
Let h = 10 + -21. Which is greater: h or 0.1?
0.1
Let h = 0.33 + -0.13. Let c be (-2)/3 + 8/12. Which is smaller: h or c?
c
Let g = 0.9 - -0.1. Let w = -0.5 - -0.4. Let s = -2.9 + w. Which is greater: s or g?
g
Suppose 2*u + 4*v = 16, -4*v + 6*v - 8 = 5*u. Let k be u/((-3)/(2 - -1)). Let o be (2/4)/(6/(-4)). Is o bigger than k?
False
Let b = -8 + 13. Which is greater: -3 or b?
b
Suppose 0 = 2*k - 14 + 6. Do 10 and k have the same value?
False
Let j(q) = -q - 4. Let a be j(-4). Suppose a*u + 4*u - 12 = 2*v, 2*u = -5*v + 30. Suppose v*z - 1 = -2*d + 3, 4*d - 3 = -3*z. Which is greater: 3/7 or z?
z
Let l(g) = 4*g**2 - 2*g + 4. Let f(u) = -u + 1. Let s(k) = 4*f(k) - l(k). Let m be s(-1). Which is smaller: -4/3 or m?
m
Let l(p) = -