 have the same value?
False
Let m = 1 - 0.9. Let p = 13 - 2. Let r = p - 8. Which is smaller: r or m?
m
Let z = -0.4 - 1.6. Let c = z - -2. Are 0 and c nonequal?
False
Let k(s) = -8*s - 18. Let m be k(10). Is -98 at most as big as m?
True
Suppose 4*o = -16, -o = 5*q + 2*o - 3. Let h = -3 + q. Suppose u - 6*u + 25 = h. Are u and 4 equal?
False
Let l be (-2)/(-6) + 1/15. Let b(a) = 4*a**3 + 2*a**2 - 2*a + 1. Let w be b(1). Suppose -4*u + 12 = s, 0 = 2*s + u + 2 - w. Is l < s?
False
Let i = -5 - 6. Is i < -10?
True
Suppose 7 = -5*x + 2. Which is smaller: 2/15 or x?
x
Let s = 4573/13 - 352. Which is smaller: 0 or s?
s
Let x be (-4)/(-26) + (-497)/273. Is 1 at most x?
False
Let b = 1.71 + -1.51. Are -58 and b non-equal?
True
Let l = 7 - 19. Is l < -14?
False
Suppose -5*u = -10 - 10. Suppose -u*m = m. Which is greater: m or 2/7?
2/7
Let p = -13 - -12. Does -8/5 = p?
False
Let w = -4 + 4.8. Let d = w + -1. Let r = -2 + 1. Is d at least as big as r?
True
Let u(k) = 7*k**2 - 5*k**3 + 4*k**3 + 0*k**3 + 3 + 0*k**3 - 6*k. Let m = 15 + -9. Let v be u(m). Is 3 at least v?
True
Suppose 10*u - 9*u + 79 = 0. Are u and -79 unequal?
False
Let s = -17 - -26. Suppose s = -3*b - 3, 5*b + 17 = -3*q. Let u = q - -1. Is 2 smaller than u?
False
Let t be 2/10 + 138/(-10). Let h = t + 14. Let x(d) = d - 7. Let q be x(6). Is q smaller than h?
True
Let v be -1*2 + 28/21. Which is smaller: v or -2?
-2
Let z = -144/7 + 21. Which is greater: z or -0.1?
z
Let y = 0 + -0.04. Let b = 2.1 + -0.06. Let h = y + b. Is h less than -0.1?
False
Let x be (-11 + 8)/((-87)/(-4)). Does -1 = x?
False
Let d = -3 + 13. Suppose -2*w + d = 0, 3*p = 5*w - 24 - 7. Is -2 <= p?
True
Let x(o) = -o**2 + 8*o - 4. Let q be x(7). Suppose -q*a = 2*a. Suppose 3*r - r - c + 4 = a, 4*r = -2*c. Which is smaller: r or 1/3?
r
Let r = -5 + 7. Let v be 0/((r - 4) + 0). Suppose 2*o = -o + 6, v = -5*w + 3*o - 11. Is 2 > w?
True
Let l(o) = -o**3 + 4*o**2 - 3*o + 1. Let w be l(3). Let n be (-6)/8 - (-5 - -2 - -2). Does n = w?
False
Let j be 4 - ((3 - 0) + (-6 - -7)). Which is smaller: j or 1/39?
j
Suppose 3*b = f + 16, 33 = -4*f + 2*b + 9. Suppose -4*d - 1 = -3*d. Let z be d/(2/6) - 1. Do z and f have different values?
False
Let x(y) = 31*y**2 - y. Let k be x(1). Let u = -92/3 + k. Let p = 16 + -15. Which is smaller: p or u?
u
Let w be 0/(2 - 0/(-1)). Suppose 0 = p + 2 - 5. Let y be (2 - w)*p/(-6). Which is smaller: 0 or y?
y
Suppose 2*q = 5*q - 12. Let g be (q - 2) + 20/(-8). Which is bigger: g or 2/3?
2/3
Let r(a) = -a**3 + 5*a**2 + 14*a - 1. Let n be r(7). Is n equal to -2/3?
False
Suppose 0 = -2*s - 3*s + 20. Suppose s*r = 3*r - 2. Let n = 0 - r. Do n and 1 have the same value?
False
Let k be (-54)/(-7) - (-4)/14. Let m(r) = 11*r**3 - 2*r**2 + 1. Let q be m(-1). Let f = q + k. Which is smaller: f or -3?
f
Let s = -23.11 - -0.11. Are s and -1 non-equal?
True
Suppose 0*v + 7 = v. Let p be 2 - 1 - (-1 + v). Is -5 at most as big as p?
True
Let n = 73 + -104. Is n at most as big as -59/2?
True
Let w(k) = -2*k**2 + 1. Let l be w(1). Which is greater: -1/10 or l?
-1/10
Let s(l) = -l**3 + 3*l**2 + 5*l - 2. Let v be s(4). Let z be v/(1 - 8738/494). Let t = -2/229 - z. Are 1 and t unequal?
True
Let u = -40 - -40. Which is bigger: u or -0.2?
u
Let s = -1 - 0. Suppose -w + i = 2 - 1, 0 = 2*w - 5*i + 11. Is s < w?
True
Let a = -12 - -8. Let t be a/2*(-24)/(-16). Which is bigger: t or -1?
-1
Let p = 10.57 + -10.5. Is p less than or equal to 6?
True
Let o = -1/384 + 787/7296. Let p = 60 + -60. Which is smaller: p or o?
p
Suppose 0 = -3*d + 5*l - 6, -3*d + l = 4*l + 6. Let k be 5 + 0*d/(-6). Suppose -k*o = -0*o. Which is greater: 1/2 or o?
1/2
Let u be 10/2 + -2 + 0. Let l = -33 + 63. Let p be u/((-4)/(16/l)). Is 1 equal to p?
False
Let z = 8 - 5. Suppose -2*n - 5 = 3*l, n - z + 1 = 0. Suppose 3*y = -10 - 2. Which is smaller: y or l?
y
Suppose -n - 4*m - 12 = 3*n, -4*n - 5*m - 14 = 0. Let j be (-2)/(-4) - (-3)/(-6). Let c be j/1*(4 - 3). Is n bigger than c?
False
Suppose 0 = 5*k + 4*s - s - 41, -4*k - 4*s = -36. Which is smaller: 2 or k?
2
Suppose m + 6 = 3. Let j be -8 - m - (-2)/(-1). Let t(w) = w + 7. Let s be t(j). Which is bigger: 1/7 or s?
1/7
Let r(u) = -12*u + 3. Let m be r(-5). Suppose 5*p - 2*b + 237 = -m, -5*p - 310 = -4*b. Let c = p - -235/4. Which is greater: c or 1?
1
Suppose 4*z - 45 = -h, -2*h - 17 = -2*z + 3*h. Let l = -7 + z. Suppose l*t = t. Is -4/3 not equal to t?
True
Suppose 2 = 5*n - 3. Is -1/52 less than or equal to n?
True
Let r(q) = -q**2 - 5*q - 3. Let b be r(-3). Let n = 6 - 6. Which is bigger: n or b?
b
Suppose 9*r + 47 = 8*r. Is -45 >= r?
True
Let r(y) = y**3 + 3*y**2 - 4*y. Let a be r(-4). Suppose a = -5*b - 22 - 8. Let l(n) = 2*n**2 + 20*n - 6. Let k be l(-10). Do b and k have different values?
False
Suppose -6 = 5*g - 21. Is g at most as big as -12?
False
Let o = 0.165 + -6.865. Let t = o - -7. Let d = 3.9 - 4. Is t bigger than d?
True
Suppose -4*u - 3 = -11. Is u greater than 2?
False
Let w be (-1)/3*(-3)/(-4). Let n be 3/(9/(-3))*3. Let o be n/(-6) - (-2)/4. Which is bigger: w or o?
o
Let r = 24 - 31. Is -0.4 <= r?
False
Let a = -0.0421 - 0.9579. Let z = 22 - 20.9. Are a and z nonequal?
True
Let j(s) = s**3 + 8*s**2 - 3*s. Let o be j(-8). Suppose 2*m - o = -4. Let n be 2/m + 0/3. Which is bigger: n or 1?
1
Let u = -23/325 - 4/25. Is u at most as big as 1?
True
Let a be (((-20)/4)/(-5))/(-3 + 2). Is a less than or equal to 6/13?
True
Let d be (-8)/108*-24 + -2. Which is smaller: 1 or d?
d
Let x = -97/4 + 24. Are x and -1 non-equal?
True
Let v = -6 - -3. Let t = v + 5. Let k(w) = -w + 2. Let g be k(t). Which is bigger: 3/7 or g?
3/7
Let w = -47 + 46.77. Which is bigger: -0.1 or w?
-0.1
Let l = 4/163 - -31/5379. Which is bigger: l or 0?
l
Let x be 2/(-10) - 28/10. Which is greater: -4 or x?
x
Let f = 3 - 2. Suppose -6 = 3*d + 4*r, r - 2 = -2*d - f. Which is smaller: 0.1 or d?
0.1
Suppose 4*w - 3 = 7*w. Is w < 0.8?
True
Suppose -5 = -j - d - 4*d, -2*j + 5*d = 5. Suppose l = -1 - j. Is l less than 1/21?
True
Let j be (-8)/(-28) - (-159)/(-777). Let q = -89/185 + j. Is q less than -1?
False
Suppose 3*i + p - 53 = -2*i, 5*p + 5 = 2*i. Which is greater: i or -1?
i
Let m be ((-10)/(-15))/(14/(-6)). Is 0 less than or equal to m?
False
Let g be ((-1)/2)/(5*2/(-4)). Suppose 0*o + o + 8 = k, 0 = -5*o - 10. Let p(j) = j - 5. Let c be p(k). Are c and g unequal?
True
Let j = 3 - -3. Suppose -3*h = -h + 5*f + 2, 2 = h + f. Let q = h - j. Which is smaller: -3/4 or q?
q
Let b(l) = -3*l + 10. Let m be b(4). Is m at most -16/7?
False
Let v = -4.1 - 0.9. Let t = 6 + v. Are 2/5 and t non-equal?
True
Let w = -240 - -1915/8. Which is greater: w or -2?
w
Let l = 2.92 - -0.08. Let k = l - -1. Let u = -3.9 + k. Is u less than or equal to 0.1?
True
Suppose 0*d + 4*j + 18 = d, 0 = -d - 3*j + 32. Let n be (-2)/(d/4 + -3). Is -2 at least as big as n?
False
Suppose 179 = 3*a + 170. Let c(f) = 2*f**2 + f + 1. Let t(n) = -n**2 - n - 1. Let m be t(-1). Let u be c(m). Is a at least as big as u?
True
Let m be 0 + 0 - (-3 + 1 + -2). Which is smaller: 3 or m?
3
Let a = -168.84 + 174. Let c = 6.2 - a. Let v = c + -0.04. Is -0.3 <= v?
True
Let v = 2 - 22. Let i = -21 - v. Which is smaller: i or 3?
i
Let m(i) = 2*i + 6. Let w be m(-5). Let z(r) = -5*r**2 + r + 1. Let f be z(-1). Is w at least f?
True
Suppose 0 = p + 3*p - 8. Suppose 3*g + 7 = -z, -z + 3*z = -p*g - 6. Suppose 0 = -4*y + 1 - 5. Is z < y?
False
Let m(h) = -h**3 + 2*h**2 + 2*h + 2. Let x be m(3). Are -2/27 and x non-equal?
True
Let l = -4 + 4. Suppose l = 3*u + 5*z - 1 - 9, 2*u - 5*z = -10. Are 1/4 and u equal?
False
Let w = -4 + 12. Suppose 7*k + 104 = -w. Is k less than or equal to -15?
True
Let w(g) = -g**2 + 7*g + 6. Let q be w(7). Let p be 38/40 - q/(-24). Is 2 at most p?
False
Let n = -18 + 18.22. Let c = -0.72 + n. Which is bigger: c or -0.1?
-0.1
Suppose -z = 3*l - 9 + 2, 0 = -5*l + 2*z + 19. Let j be (2 - 7/l)*-1. Which is smaller: j or -1?
-1
Suppose 3*p + 5*v = -46 + 1, v = -5*p - 53. Let g be (2/(4/p))/(-1). Are 5 and g unequal?
False
Let v = 3 + -5. Let y be (1/v)/((-1)/1). Does 1 = y?
False
Let f(o) = -o**3 + 8*o**2 + 7*o + 13. Let u be f(9). Is -4 equal to u?
False
Let g be 3 + 1 + 12/(-3). Let z = -14 + 12. Which is bigger: z or g?
g
Suppose 2*g - j = 