 Let v be 1/(-2) - 13/(-18). Which is smaller: u or v?
v
Let j = 28846/27 + -1068. Is -1 greater than j?
False
Let w = 62 - 69. Which is bigger: -2 or w?
-2
Let v = -26 + 33. Which is smaller: v or 6?
6
Let k(r) = -r**3 + 16*r**2 - 15*r + 2. Let b be k(15). Let c be -2*(-38)/20 - 2. Are b and c non-equal?
True
Let f be 0 + -2*(-39)/(-10). Is f bigger than -8?
True
Let x = -8 + 10. Which is smaller: 0.1 or x?
0.1
Let v be -3*(-5)/((-75)/35). Which is smaller: v or -5?
v
Let o be 1/(70/66) - 1. Suppose -13*r = -16*r. Is o less than r?
True
Let d(u) = 2*u + 34. Let h be d(-16). Which is smaller: h or -9?
-9
Let p = 6 + 4. Let l be 3/4*8/p. Which is smaller: l or 0?
0
Let s = 6 - 11. Do -5 and s have the same value?
True
Let o = 71/209 + -3/19. Let h = -23 + 11. Let t = h + 12. Which is bigger: t or o?
o
Suppose 0 = -y + 3*y + 2. Let b be -1 + 2*-3 - y. Let d be (b - -3) + 4 + 0. Which is greater: 2 or d?
2
Let r(q) = q**3 - 13*q**2 - 31*q + 21. Let u be r(15). Do 5 and u have different values?
True
Let u be (-4)/26 + (-335)/(-65). Suppose 5*o = j + 1, -4*j = o - 2*o + 4. Suppose o = -4*v + 5*g + 10, -u = -4*v + 2*g - 1. Is v greater than or equal to -1?
True
Let u = 17 + -16.85. Let x = -0.35 + u. Is x at least as big as -0.2?
True
Let p be 2 - -1*(1 - -1). Suppose -n + p = n. Suppose -3*t + n*t - 3 = 0. Are t and -4 unequal?
True
Let x = -0.22 - -0.12. Which is greater: 3 or x?
3
Let n(c) = c + 6. Let a be n(-6). Suppose f + a = x - 1, -4*f - 4*x + 36 = 0. Suppose f*l - 4 = 8. Is 3 > l?
False
Suppose -4*h = -5*h - j - 6, 5*h + 18 = -j. Suppose 0*d = 4*d + 16. Which is bigger: h or d?
h
Let d(r) = 3*r - 4*r + 0*r - 2. Let w be d(-2). Let s be ((-1)/(-2))/(4/(-8)). Is w at most as big as s?
False
Suppose 25 = 3*l + 2*l. Suppose 0*a - 18 = -4*a - 5*n, -l*n - 10 = 0. Suppose -5*q - 2*r = a - 2, 3*q = -4*r - 17. Does q = 1/4?
False
Suppose 10 - 50 = 2*v. Let a = 28 + v. Suppose 2*p + a = -2*p. Which is smaller: p or 1?
p
Let j = -6 - 4.2. Let h = j + 9. Let x = -0.2 - h. Is x at most as big as -2/3?
False
Let m = 2.8 + -2.7. Let k be 5/3*(4 - 1). Let h = -2 + k. Is h smaller than m?
False
Let n = -83 + 53. Is n > -31?
True
Suppose -11 = 5*x - 4*t - 1, -3*t = 3*x - 21. Suppose 10 = -5*p + x*c - 3, p + 1 = 2*c. Do -2 and p have the same value?
False
Suppose 5*v = 4*f - 17, -8 = -v + 5*f - 3. Is 3/2 >= v?
True
Let c be 2 + 2 - (7 - 1). Let u = 152 - 611/4. Is c bigger than u?
False
Let w be 4*(23/(-4) + 2). Let o = -6 - w. Let v(x) = x - 2. Let i be v(o). Is i less than or equal to 6?
False
Let v(a) = -a**3 + 5*a**2 + 2*a - 7. Let l be v(5). Let h = -7 - -11. Suppose -f + b = -2*f + 5, l*b - 16 = -h*f. Is -1 at most as big as f?
True
Let t = 14 - 17. Which is smaller: -2 or t?
t
Suppose -4*k - 115 = -q, -7*k = -2*k - 2*q + 140. Is -30 at most k?
True
Let y = 0 - -3. Suppose -6 = -y*s + 5*s. Does s = -5/3?
False
Suppose 0 = 2*c + 3*c - 20. Let g(y) = -y**3 + 5*y**2 + 7*y - 2. Let i be g(6). Is c < i?
False
Let b = -19 - -22. Suppose -b*x = 2*w - 22, 0 = -x - x + 4. Is 0 less than w?
True
Let p be 8 + -2 + 2 + -2. Suppose -3*r + 5*b - 4 = -3, -5*r - p = -4*b. Are r and -2 non-equal?
False
Let u be 3/(-2)*(-40)/15. Suppose 3*m = -0*m + 36. Let v = -7 + m. Which is smaller: u or v?
u
Let h(w) = -w + 4. Suppose 0 = -4*q - q + 5, -4*u + 2*q = -10. Let s be h(u). Do 2 and s have different values?
True
Let m(l) = l**2 - 2. Let z = -7 + 5. Let o be m(z). Suppose 0 = o*q + 3*q - 20. Is q greater than 3?
True
Let m be ((-60)/13)/(-2) - 2. Which is smaller: 1 or m?
m
Let w = 5 - 5. Suppose 3*a - 4 - 5 = w. Suppose 5*k - 1 + 11 = y, -k = a*y + 2. Is -1/2 <= y?
True
Let w = 115 + -198. Let m = 65/21 - -1675/21. Let l = w + m. Is l bigger than -1?
True
Let d = 33 + -20. Suppose d = -3*i - 14. Let g be 6/i - 22/(-24). Is g greater than or equal to -1?
True
Let x(v) be the second derivative of -v + 1/6*v**3 - v**2 + 0. Let c be x(3). Is 2/11 > c?
False
Let a(p) = p**2. Let y be (-63)/(-36) - (-6)/(-8). Let f be a(y). Which is smaller: f or 3/10?
3/10
Suppose -4*r + 2*q = 14, -3*r = -3*q - 2*q + 21. Let n be r - (-4 + 2) - -4. Do n and -0.1 have the same value?
False
Let t(j) = j - 1. Let u be t(0). Is 2 bigger than u?
True
Suppose -4*r + 2*b + 74 + 376 = 0, -3*r + 330 = -4*b. Is r bigger than 113?
True
Suppose -8*y + 4*y + 23 = -3*m, 0 = -m - 5. Suppose 0*a - 4*r + 1 = 3*a, -2*a = y*r. Suppose -4*w + 1 = -2*g + 7, 3*w = -g - 7. Which is smaller: w or a?
w
Let w be (1 + -1)*(4 + -3). Let b = -42 - -297/7. Is w less than b?
True
Suppose -5*v + 3*v = 0. Suppose v = -6*f + f. Is f less than 1/2?
True
Suppose 2*i = 4 - 6. Are -1/31 and i equal?
False
Let g(d) = d - 4. Let n be g(3). Let t be 2 - (9 - -2)*2/6. Which is smaller: n or t?
t
Let u = -11 + 5. Let i = u + 6.1. Is i at most as big as 3?
True
Suppose 60 = -11*r + 5*r. Let d = 23 - 32. Which is smaller: r or d?
r
Let b = -6 + 7. Let w = b - 3. Let i = -4 - -3. Are i and w equal?
False
Suppose 194 - 71 = 3*j. Which is smaller: 1 or j?
1
Suppose -y + 4*s - 6*s = 5, s = 5*y - 30. Suppose 0 = -m + y*n + 14, 0 = 5*m + 3*n - n + 11. Let u = -98/3 - -32. Is m less than or equal to u?
True
Let q = 25 - 23. Let u be (-1 + 0)/(1 + 0). Let p be 0 - u - (-1 + 1). Is q > p?
True
Suppose -2*p - i = -0*p + 70, -175 = 5*p - 3*i. Is p not equal to -36?
True
Let q(m) = m. Let v be q(-2). Let s be 2/(-8)*v*0. Suppose -2 = c - s*c. Which is greater: c or 0?
0
Let i = 0.8 + -0.4. Let f = 1.4 - 2. Let g = f - i. Which is bigger: g or -0.2?
-0.2
Let d = -17 - -16. Which is bigger: d or -4/3?
d
Let t = 17 + -10. Let m = -7 + t. Is m < -3?
False
Let m = 11 + -5. Let a(t) = -t**2 + 6*t. Let y be a(m). Which is smaller: -1/9 or y?
-1/9
Suppose 0 = -0*v - 2*v - 8. Let s = v - -1. Let u = 15 + -17. Is s smaller than u?
True
Let k be (-1 - 1) + 14/6. Let r = -15.05 + 15. Which is smaller: r or k?
r
Let m be (-8)/(-44) + 212/(-440). Suppose -5*d - 6 = l, 15 = 5*l - 4*d - 13. Suppose l*n + 7 = -5*b, -2*n = 2*b - 3*b + 7. Is m at least b?
False
Let h(q) be the third derivative of -q**5/60 - 3*q**4/4 - 7*q**3/6 - 5*q**2. Let n be h(-18). Is n bigger than -7?
False
Let q be ((-4)/(-12))/(2/30). Suppose -31 = -q*t - 1. Is t at most as big as 6?
True
Let t = -0.017 + -2.983. Is -9 greater than or equal to t?
False
Let o be 1/(-4) + (-15)/(-12). Let w be (-12)/(-8) - (-38)/(-28). Which is bigger: w or o?
o
Suppose -4*p + 10 = p. Let x be (-15)/(-10) - (-3)/(-2). Which is greater: x or p?
p
Suppose -z + 5*d = -27, -18 = -4*z + 2*d - 0. Suppose p + 0*p + 3*s = 18, 0 = -z*p + 5*s - 19. Suppose p = g - 3*w, w + 3 = -3*g - 2*w. Is 2/13 smaller than g?
False
Let l = 3.3 - 3. Let y = 0 + -2. Which is bigger: y or l?
l
Let p = -1943/7 - -277. Is 1/4 smaller than p?
False
Suppose -l + 11 = -2*p, l - 10 = -l. Which is greater: p or -5?
p
Suppose k - 4 = 4*y, 0 = -0*k + 2*k - y - 1. Which is smaller: k or -0.1?
-0.1
Suppose 0 = g - 2*g + 2. Suppose -g*l + 12 = l. Suppose -5*v = 1 + l. Is v bigger than 2/11?
False
Let p be (2/4)/((-5)/34). Do -3 and p have the same value?
False
Suppose 13 = -x + 4*u - 9*u, 0 = -5*x - 5*u - 25. Let c be (2 - -3 - 1)/(-1). Which is bigger: c or x?
x
Let y be 0/(-3 - -2) + -31. Are -31 and y equal?
True
Let v = -1/67 - 129/335. Which is smaller: v or 2.6?
v
Suppose -9*w - 9 = -0. Let x = 11/9 - 59/63. Which is smaller: w or x?
w
Let a = 19.5 + -19. Is -0.5 >= a?
False
Let j be -3*18/45*40/(-54). Suppose -2*z + 3*z = 0. Which is bigger: j or z?
j
Let r = 2 + -2. Let q = -1 - -0.7. Which is bigger: r or q?
r
Let n = 6 + -5.7. Let q be (-2)/(-11) + (-5)/(-220)*3. Is n != q?
True
Suppose -14 - 38 = 2*u. Do u and -24 have different values?
True
Let n(f) = f**3 - f**2 + f + 3. Let k be n(3). Let b be ((-1)/(-2))/((-44)/k). Do b and -1 have the same value?
False
Suppose 6*p = p. Suppose 0 = 2*k - p*k - 3*f + 17, -20 = -4*f. Which is smaller: -4 or k?
-4
Suppose 2*y - 1 = -3*h - 3, 4*y - 10 = h. Let d(m) = -m**2 - 6*m. Let z be d(-6). Is h greater than z?
False
Let y = 2.67 + -1.07. Are -1/4 and y equal?
False
Let f be 74/20 + -9 + 6. Is 1 <= f?
False
Let k = 2.9 + -3. Which is greater: k or 0.3?
0.3
Suppose -c - 2 = -2*c. Suppose g + 3*r - 1 = -0*g, 3*g = -c*r + 3. Let f be (-6 + 4)/(-2 - 9). Which is smaller: g or f?
f
Let r be 78/8 - (-