 2.5 + -2.5. Let l = r + q. Which is smaller: l or 1/2?
l
Let s be 0 + 1 + -3 + 0. Let x be 57/135 + s/10. Let t be 2/(-8) - 2/(-8). Is x at least t?
True
Let h be (4 + (-25)/5)*-19*1. Do 25 and h have different values?
True
Let l be 294/(-4)*(0 + -2). Let f be (-7)/l + (-2)/(-6). Which is smaller: -1 or f?
-1
Suppose -4*n = 16, -y + 0*y + 2*n = -6. Let m(b) = -b - 6. Let f be m(-3). Which is smaller: f or y?
f
Let w be (-30)/(-56) + (-4)/14. Let h = -0.9 + -0.1. Which is smaller: w or h?
h
Let u be (0 - 1) + 84/140. Which is smaller: -30 or u?
-30
Let u = -0.52 + 0.34. Is -1 < u?
True
Let y be (-4)/(-10) + (-7)/10. Let u be (-7)/21 - (-4)/3. Which is bigger: u or y?
u
Let h = 0.7 - -0.3. Suppose 0 = 4*b + o - 13, -b + 3*b + 6 = 2*o. Which is smaller: b or h?
h
Let q be (-2)/4 - (-62)/4. Suppose 2*b = -3*b + q. Is b bigger than 2?
True
Let u = -9 - -9. Which is smaller: u or -4/3?
-4/3
Suppose 2 = -3*u + 32. Suppose 5*a = u, l + a - 1 = -0*l. Let z be -3 - (0 + (-1)/2*5). Which is bigger: z or l?
z
Let x(z) = 6*z + 7. Let l be x(-1). Which is bigger: 7/15 or l?
l
Let h(k) = -k**3 - k**2 + 3*k + 3. Suppose 4*x = -5*y - 30, 2*y = 6*y + 2*x + 18. Let j be h(y). Do j and -1/9 have the same value?
False
Let a be -1*(-3)/(9/(-12)). Let x be (-5 + 3)/(a/6). Which is greater: x or 0?
x
Let c = -1 + 4. Let d be (c - 2)/16*-2. Which is smaller: 1 or d?
d
Let x = -56 + 56. Do 0 and x have the same value?
True
Let w(y) = -y + 9. Let k be w(-9). Which is smaller: k or 17?
17
Suppose 2*m - 43 = -3*u - 0*u, u - 5*m = 20. Let x be ((-1)/3)/(10/u). Do 0 and x have different values?
True
Let u be 21/1*(-33)/(-15). Let h = u + -46. Is -1 < h?
True
Let i(h) = h**2 + 8*h + 8. Let x be i(-7). Let f(y) = 1 + y - x + 2 - 4. Let z be f(4). Which is smaller: 4/3 or z?
4/3
Suppose 3*a - 8 = -a. Suppose -3*u - 5*w + 18 = -u, a*u + 4*w - 16 = 0. Is 3 smaller than u?
True
Let n = 16.26 + -0.26. Let s = n - 18. Let i be (-26)/(-42) + 2/(-7). Is s > i?
False
Let c(y) = y**3 + 4*y**2 - 6*y - 1. Let v be c(-5). Let u be 3/1*v/3. Let j be 2/u + (-4)/6. Which is bigger: -1 or j?
j
Let p = -0.18 + 2.78. Let h = 6.6 + -6. Let q = h - p. Which is greater: q or -0.1?
-0.1
Let y be (16/(-246))/1*84/(-112). Which is smaller: 1 or y?
y
Let t = -14253557/225 - -63349. Let x = -2/25 + t. Which is smaller: -1 or x?
-1
Suppose 8 = 3*j - 4*j. Is j > -8?
False
Let v(l) = l + 2. Let o be v(2). Suppose 0 = 4*g - 4*w, 2*g - 4*w = -g - o. Suppose 2 - g = 2*m. Which is bigger: 1 or m?
1
Let z = 15/13 - 125/52. Is 0 at most z?
False
Let s = -0.04 + 5.04. Let z = 0.16 + -6.16. Let j = s + z. Is j not equal to 1?
True
Let r = -6.2 - -2.4. Let y = -0.1 + r. Let w = -4 - y. Which is smaller: w or 2?
w
Suppose k - 1 = -5*x, -5*k + 4*x + 0 = -5. Is k at least 2?
False
Let d be 4 - (-75)/(-20) - 63/220. Are d and 0 equal?
False
Suppose -6 = -x - 3*x + 2*q, 0 = -x - 2*q - 11. Which is smaller: x or 1?
x
Suppose -1 = -c - 5*z, 0*z = -2*z. Let u be 3*3/(-3) + c. Is -2/3 equal to u?
False
Suppose -3*m = -3*k - 6, -3*k = 4*m - 5*m + 4. Let j(n) = n. Let h be j(-4). Let g be (4/(-18))/(3 + h). Which is smaller: g or k?
k
Let q be 259/(-28) + (-2)/(-8). Let v = -0.2 - -0.1. Which is smaller: q or v?
q
Let r = 5.034 + -0.034. Is -1/3 smaller than r?
True
Suppose 4*v - 8*v = 16. Are v and -1 equal?
False
Suppose 4*p = l + 2*l - 13, -p - 3*l = -8. Is -2/95 at most as big as p?
False
Let y be (-1 - -1)/(-2) + -1. Let h be 4/(-56) - 3/6. Which is smaller: y or h?
y
Suppose -360 = -9*d + d. Which is smaller: d or -1?
-1
Let o = 0.5 - 0.3. Let q = -0.09 + 0.09. Let i = q - o. Which is bigger: -4 or i?
i
Let m be (-1)/((-11)/(-4) - -2). Let c(a) = a**2 + 24*a - 1. Let y be c(-24). Which is smaller: y or m?
y
Suppose 2*l - 46 = -0*x + 2*x, 0 = 5*l + 5*x - 125. Is l greater than 76/3?
False
Suppose -2 = -2*m + m. Suppose 0 = -m*f - f - 117. Let s be f/12 + (-2)/(-8). Is s bigger than 1/4?
False
Let u be ((-6)/8)/((-6)/4). Let i = 229 - 1143/5. Which is greater: i or u?
u
Suppose -3*h - 4*s = -252, 16 - 108 = -h - 4*s. Let m be ((-2)/(-3))/(h/(-45)). Let v be (0 + 0 + 0)/(-2). Is m at most v?
True
Let n = 67.003 - 0.003. Is -1 <= n?
True
Let k(d) = d - 4. Let p be k(7). Suppose -1 = -4*j + p. Let y be (9/(-12))/((-1)/2). Is j != y?
True
Let y = 100724 - 5539658/55. Let r = 28/11 - y. Does r = -0.2?
False
Suppose 14 = -3*w + 5*q, 4*q - 11 = -4*w + 13. Is 2 > w?
False
Let x(u) be the third derivative of u**5/120 - 7*u**4/24 + u**3/6 + 2*u**2. Let g(f) be the first derivative of x(f). Let d be g(8). Which is smaller: d or 1/2?
1/2
Let z be (13 + -1)*(-56)/(-12). Let k = z + -278/5. Which is smaller: k or 0.2?
0.2
Let o be (-2)/5 + 41854/134435. Let s = o - -2/1169. Is s equal to -1?
False
Let f = 0 + -4. Let x = f - -3.9. Let r = -2 - -3. Is x less than r?
True
Let c be (-28)/(-98) - (-88)/(-14). Which is smaller: c or -29/5?
c
Let m = 393/5 + -78. Suppose 0 = -0*x - x. Which is smaller: x or m?
x
Let p = -23 - -4. Let g = -19 - p. Which is greater: -2/7 or g?
g
Suppose -2*f = -5*z - 5, -z + 4*f = 8 - 25. Is z != -7/2?
True
Let f be 421/(-9) + 1*(-4)/18. Is f bigger than -46?
False
Suppose 0 = 3*v + 2*g + 116, -3*g - 12 = -0*g. Are -36 and v nonequal?
False
Let v = -39.2 + -9.8. Which is greater: 1 or v?
1
Suppose 2*j + 4*y = -2, -y - 2 = -2*j - 3*y. Let g = j + -1. Let x be 2/(-4)*1 + 1. Is x >= g?
False
Let p = -18 - -19. Is 6 > p?
True
Suppose -g - 80 = -5*g. Suppose -g = 5*b - b. Which is greater: -6 or b?
b
Let p(v) = v**2 - 8*v - 5. Suppose 0 = 4*r + 4*t - 24, r - 9 = t - 5*t. Let j be p(r). Let s = 81/4 + j. Which is smaller: s or 0?
0
Let l = -1/51 - -6/17. Let h be ((-18)/12)/(15/(-4)). Which is bigger: h or l?
h
Suppose v = 9*v + 8. Which is smaller: -0.083 or v?
v
Let p(l) = l - 1. Let r be p(1). Suppose -12 = -4*m - 4*v, 0 = 3*m - v - 1 - 4. Let j be (-12)/(-260) - m/10. Which is smaller: r or j?
j
Suppose -q - q = 0. Let h be (-3)/(-2)*(-4 + -1 - -3). Which is bigger: q or h?
q
Let m be ((-3)/(-4))/(264/(-16)). Is m equal to 0?
False
Suppose 0 = -2*o + 4 - 14, -15 = -3*r + 3*o. Suppose q - 3*q = -48. Suppose 0 = -n + 4, 4*n + n = 4*c + q. Which is smaller: c or r?
c
Let l be 183/(-21) + (-2)/7. Let g = 7 + l. Which is smaller: -7/5 or g?
g
Suppose 2*o - 5*o = 105. Is o at least as big as -36?
True
Let q be 1/(-4 - (-164)/40). Let v(w) = -w**2 + 11*w - 9. Let k be v(q). Does k = 0.1?
False
Let w(f) = 4*f. Let q be w(1). Let g be 23/q + (-3)/(-12). Which is bigger: g or 5?
g
Let g(f) = 2*f + 13. Let w be g(-7). Let r be -2 - 2/(756/(-718)). Let o = -5/27 + r. Which is smaller: o or w?
w
Let d be -1 + 1 + -2 - 0. Let u be (22/(-4) + d)/(-6). Is u less than or equal to 1?
False
Suppose 0*f = f + 1. Does f = -7/3?
False
Let k be (8/(-6))/((-2)/6). Let x be ((-3)/6*-4)/1 + 4. Which is smaller: k or x?
k
Let f(l) = l**2 + l - 31. Let v be f(5). Does 1/57 = v?
False
Suppose 5*x = k - 4*k + 296, 253 = 4*x - 3*k. Is 62 bigger than x?
True
Let k = 15 - 10. Suppose -a - 4*a = k. Which is bigger: a or -2?
a
Let k(a) = a - 12. Let h be k(12). Suppose -8 = -h*q - 2*q. Which is smaller: 1 or q?
1
Suppose 3*y - 2*y = 5*g + 7, 4*y = -12. Let r be 9 - 11 - (g - 1). Which is smaller: 1/9 or r?
1/9
Let a = 0 - 3. Let n be 4/a - 3/(-9). Which is greater: n or -2/9?
-2/9
Let u be (5 - 0)*(4 - 2). Suppose -52 = -4*r - 5*i + i, -3*r - 5*i = -47. Is u smaller than r?
False
Let a = 18 + -15. Does a = 2?
False
Suppose 3 = t - 0*t + m, -5*t - m = -23. Suppose t*w = 4*w + 1. Let q = 1 - w. Is 0 greater than or equal to q?
True
Let l = -6 - 6. Which is smaller: l or -11?
l
Let l be (0/4)/(-1 - -2). Suppose -5*h - s + 0*s = 3, 2*s + 6 = 2*h. Suppose h = 3*r - 5*r + y, 0 = 5*r - y + 3. Which is bigger: r or l?
l
Let v be 6/9 + (-6)/(-36). Are 1 and v equal?
False
Let j = -8 - -29. Suppose -3*i + j = -0*i. Is i less than 4?
False
Let r = -13.8 + 15. Let i = r + -1. Is 1 at least as big as i?
True
Let r(a) be the second derivative of a**5/20 - 7*a**4/12 - 3*a**2/2 - a. Let d be r(7). Is d not equal to -6?
True
Suppose -4*r - 2*k + 6 = -14, 0 = -2*r + 2*k + 4. Is 3 < r?
True
Let j = 3.93 + -0.73. Which is bigger: j or 0.2?
j
Suppose -3*a + 2*a - 13 = 5*x, -2*a - 3*x = 19. Suppose 5*g - 3*w + 27 = 0, 8*g + 31 = 3*g + 4*w. Let b = a - g. Is b g