u - 5*c = 4*u - 20. Which is greater: u or -5?
u
Let v = -4 - -8. Let k be ((1 - v)/(-9))/(-1). Is -1 less than k?
True
Let w be ((-9)/12)/((-18)/28). Suppose -n - 6*z + 3 = -3*z, -2 = -n - 2*z. Are w and n unequal?
True
Let c = -102 - -103. Which is smaller: c or 44?
c
Let d = -0.08 + 0.38. Let x = -7 + 6.6. Let z = d + x. Is z at most 2?
True
Suppose 13 = -2*a - 5*j - 0, -2*a - 6 = -2*j. Let d = a + 0. Let z be -1 + -6*(-2)/d. Which is smaller: -5 or z?
-5
Let d = -25 - -17. Let c be 3/12 + 2/d. Suppose y = 4*x + 11, 4*x - 5*y = -c*x + 9. Are x and -3 equal?
False
Let q be ((48/3)/(-2))/3. Suppose -i + 0*i - 5*k = 13, 3*i - 2*k + 5 = 0. Is i greater than or equal to q?
False
Let l = -89 + 89. Which is bigger: l or -3/26?
l
Suppose p + 4*z + 16 = 0, -16*p + z = -20*p + 11. Suppose 25 = 5*d + 10. Which is smaller: d or p?
d
Let w(b) = 3. Let d(v) = v + 3. Let y(l) = -3*d(l) + 3*w(l). Let x be y(-2). Is 7 less than x?
False
Suppose 0 + 5 = 5*d. Let j be d + (-1)/(1/1). Let m be (0 - 6/27)*-1. Which is smaller: m or j?
j
Let z be ((-67)/1 + 0)*1. Let o = -403/6 - z. Which is smaller: o or 1?
o
Let o be ((-34)/85)/(8/5). Does -4.1 = o?
False
Let w(d) = -d**3 - 30*d**2 - 30*d - 27. Let g be w(-29). Let m = 1489/6 - 247. Which is smaller: m or g?
m
Let j = -5.9 + 4. Let y = 2 + j. Which is greater: 2/7 or y?
2/7
Let j(l) = -l**3 + 16*l**2 + 16*l + 17. Let k be j(17). Is 9 != k?
True
Let l be -1 - 172/36 - -2. Is l less than -5?
False
Let s = 0.112 - 20.112. Which is smaller: s or -1?
s
Let t(y) be the third derivative of -y**7/5040 + 7*y**6/720 + y**5/60 + y**2. Let a(o) be the third derivative of t(o). Let m be a(7). Is m smaller than 0?
False
Let l = 1/2661 - -1553/588081. Let i = -75896/51 - -1488. Let h = l + i. Is h < -1?
False
Let n = 2 + -8. Let w be (-3)/9 - 4/n. Which is greater: 0.09 or w?
w
Let z(m) = -m**3 + 2*m**2 - 1. Let d be z(2). Let c be 2*((-10)/(-4) + d). Let j be 0/14 + 5*1. Which is greater: c or j?
j
Let h = -2/7945 - 45398/7945. Which is greater: -6 or h?
h
Let v = 1 + 15. Which is smaller: 17 or v?
v
Let p = 12/11 + -106/77. Which is smaller: -10 or p?
-10
Let f be 7/(-42) - (-47)/(-6). Is -10 greater than or equal to f?
False
Let x be 1/(-4 - -4 - 1). Which is smaller: -8 or x?
-8
Suppose -f + 4*k - 148 = 3*f, -k - 191 = 5*f. Is -38 smaller than f?
False
Let g(o) = -2*o + 2. Let m be g(-4). Let i be (-33)/45 - (-4)/m. Let x = -2 - -1. Is i greater than x?
True
Suppose 0*u + 36 = 4*u. Suppose 3*h - u = 0, h - 2*h + 7 = 2*q. Which is smaller: -2 or q?
-2
Let f be 2/(-6) - 8/(-6). Suppose f = 2*l - 1. Suppose l + 2 = -3*t. Is t <= -1?
True
Let r = -3 + 3.1. Let n be (-1 - -3)/((-8)/108). Let t be (3/(n/6))/2. Which is smaller: r or t?
t
Let z = 2 - 7. Let v = -6 - z. Which is bigger: 1 or v?
1
Suppose 0 = 4*s + 3*z - 33, -s - 3*z = 2*s - 21. Which is smaller: 2/9 or s?
2/9
Let r be 2/5*20/11. Which is smaller: r or 2?
r
Let b(i) = -i - 8. Let g be b(-7). Let t be g/(-4) - 294/24. Is t greater than or equal to -11?
False
Let l be (-2)/4 + (-13)/(-2). Suppose 4*o - 2 = -l. Suppose 2*a = -3*g + 2, 0*a + 8 = -2*a + 2*g. Does o = a?
False
Suppose 3*v - 24 = -v. Suppose 0 = -2*u + v - 0. Which is smaller: u or 1?
1
Suppose -60 = 5*q - 0*q. Let t be (q/(-30))/(9/(-5)). Which is smaller: t or 0.2?
t
Suppose -15 = -5*s + 2*d, s + 3*d + 2*d = -24. Suppose -z = -0*z + s. Do z and 2/9 have the same value?
False
Suppose -4*o - 3 = -15. Suppose o*h - 6*h = 0. Which is bigger: 2/13 or h?
2/13
Let b be 3/9 + 1941/36. Let f = 8905/164 - b. Which is bigger: f or 1?
1
Let h = 0.02 + 0.08. Let u = -9.2 + 14.5. Let f = u - 5. Which is smaller: h or f?
h
Let t(d) = d**2 - 6*d + 5. Let i be t(4). Let b = -3 - i. Let l = 3/5 - -3/20. Is b at least as big as l?
False
Suppose -x - 4*o = -8, 2*o + 23 + 39 = 5*x. Are 13 and x unequal?
True
Let t(y) = -y + 4. Let l be t(0). Let h(s) = -s**2 + 5*s - 1. Let f be h(l). Is 1 greater than f?
False
Let k be ((-3)/402)/(1/4). Which is smaller: k or 0?
k
Let t = -0.09 - 0.21. Let f = -0.5 - t. Which is smaller: f or -0.5?
-0.5
Suppose 5*f - 114 = 2*f. Let z be ((-8)/(-6))/((-1)/(-3)). Suppose -z*t = -5*p + f, 3*p + t + t = 14. Is 5 <= p?
True
Let b be (((-18)/12)/(-3))/(2/(-12)). Which is smaller: -6 or b?
-6
Let s be 46/(-23)*((-78)/(-4) - -1). Which is greater: -40 or s?
-40
Let b = -1.84 + 1.7. Let f = 0.09 + b. Let t = 0.15 + f. Which is smaller: t or 0?
0
Let u be (-33)/42 - 2/(-4). Let q(m) = m + 1. Let y be q(1). Suppose 7 = 5*b - 3*a, 0 = y*b - 3*a - 0 - 10. Which is greater: u or b?
u
Let d be 7*(-3 - (-31)/7). Which is bigger: d or 11?
11
Let f = -4 - -5. Which is smaller: f or 37?
f
Let l = 22925/96 + 305/32. Let t = -252 + l. Let c = t - -23/6. Which is smaller: 1 or c?
c
Suppose -3*p + 74 - 14 = 0. Is p at most as big as 19?
False
Let z be ((-1)/(-9))/((-20)/40). Which is greater: 6 or z?
6
Suppose -5*s + 6 = 1. Let w be (s + -8 - -3) + 0. Which is smaller: -5 or w?
-5
Let y = -9 - -7. Let h be ((-1)/(-10))/(y/12). Which is bigger: -2 or h?
h
Let z = 3 + -1. Which is smaller: z or 14?
z
Let u be 4 - ((-832)/28 - 2). Let b = u + -36. Is -0.2 bigger than b?
True
Let y(t) = -19*t - 9. Let s be y(-6). Let c be 1/2*(-20)/s. Which is smaller: 0 or c?
c
Suppose 0 = -2*q, q = -2*w - 2 + 4. Suppose 5*g - g = -8. Let y = g - -4. Which is greater: w or y?
y
Let u = -9.2 - -17. Let p = -9 + 17. Let o = p - u. Which is smaller: -1/4 or o?
-1/4
Let k = 0.22 + -0.1. Let b = 0.23 - k. Let y = 0.01 - b. Is y smaller than 1?
True
Let r = -14 - -5. Let z = r - -4. Is -5 < z?
False
Let j = 65 + -391/6. Which is smaller: 0 or j?
j
Let q = 0.003 - 1.003. Which is bigger: q or -1/26?
-1/26
Let z = -0.389 - -0.189. Is z at most -2/87?
True
Let c be 222/(-110) + (-16)/88. Which is smaller: -1 or c?
c
Let a be 2 + -4 - 16/(-10). Which is smaller: 115 or a?
a
Let d be 1/(-9 - 0)*1. Which is bigger: 1 or d?
1
Suppose -3*t = 3*t + 6. Is 3/20 less than t?
False
Let f = -558612 - -10611043/19. Let h = f - -136. Which is greater: 0 or h?
0
Let a(m) = m**3 + 9*m**2 - 9*m + 5. Let v be a(-10). Let q = v - 0. Which is smaller: -8 or q?
-8
Let p = 32 - 54. Let d be (-4)/p - 118/44. Which is smaller: d or -2?
d
Let f = 0.6 + -0.2. Let j = 0 - f. Is -1/2 < j?
True
Suppose -3*i - 5*v = -7, 2*i - 5*v + 4*v + 4 = 0. Let k = 1 + 0. Let o = -3 + k. Do o and i have the same value?
False
Suppose -2*y = y - 15. Suppose l - 14 = -2*x, 2*l = -2*l - y*x + 41. Suppose p = -3*n - n - 4, -l*n + 2*p - 16 = 0. Is -3/2 less than or equal to n?
False
Let t be 1*(125/45)/5. Which is smaller: t or 0?
0
Let j = -5 - -11. Is 6 < j?
False
Let r = -4 - -5. Let q = 0.6 - 5.6. Which is smaller: r or q?
q
Suppose -5 = 4*q + 3. Let d be (-32)/(-6) + q/6. Which is bigger: d or 8?
8
Let q = 12.3 - 12. Which is smaller: q or -2?
-2
Let g = -33 + 97/3. Which is bigger: -2 or g?
g
Let l = 0.21 - -10.79. Let a = l - 11.6. Is 0 at most a?
False
Suppose 2*o + 2*o = 80. Let l be (6/o)/((-2)/5). Is -1 at least as big as l?
False
Suppose -4*c - 23 = -5*u, -c + 19 + 19 = 5*u. Suppose 3*r - r = -5*m - 20, -r - u = m. Is -6/11 <= m?
False
Let f(s) = -s**2 + 5*s - 1. Let l be f(5). Let q be (-2)/(-5) + (-36)/(-10). Let y be (1 + 0)/(3 - q). Is y > l?
False
Let p = 0.08 + 0.92. Let b = p - 0.48. Let m = b + -0.02. Is 1 not equal to m?
True
Suppose 0*q - 5 = -5*q. Which is smaller: 7/4 or q?
q
Let i = 87 - 80. Is i > 0.1?
True
Suppose -5*y + 2*y = -18. Let t be 69/27 + y/(-2). Is t bigger than 1?
False
Let s be (-20)/21 - (-18)/27. Is s at least 19?
False
Let f = 26.2 + -26. Which is bigger: -4/11 or f?
f
Suppose -4*c = -4*m - 12, -5*c + 0*m = 3*m + 1. Suppose o - c = 2*o. Let p = 2/17 + -23/51. Which is bigger: p or o?
p
Let y = -0.016 + -1.984. Is y bigger than -2/27?
False
Let s = 5 - 7. Let u be ((-1)/2*0)/2. Which is smaller: u or s?
s
Suppose 1 = -3*n + 22. Let o(u) = n*u + 2*u**2 - 2*u**2 + 3 + u**2. Let m be o(-6). Is m greater than -3?
False
Let i(s) = -s + 2. Let t be i(-2). Suppose 0 = 3*g - t*b + 17, g - 21 = -2*b - 2*b. Is -2/13 bigger than g?
False
Let c = 0.32 + -0.52. Which is bigger: 1/4 or c?
1/4
Suppose 0 = b - 9*b - 56. Is b at most as big as -4?
True
Let u = 3.04 - 0.04. Let b = u + -3. Let n = 3 + -3.2. Which is smaller: n or b?
n
Let h = -1 + -0.5. Let 