 r equal to 0?
False
Suppose 3*d + 15 + 7 = 5*z, -2*d = -4*z + 18. Suppose 0 = 4*l - 11 - d. Let h(s) = -s**3 - 7*s**2 + 7*s - 4. Let u be h(-8). Which is smaller: l or u?
l
Let a be 5/((-10)/6) - (-2 + -1). Let q = -36/649 + 14/59. Is a less than or equal to q?
True
Let s = -7372/153 + 434/9. Which is bigger: s or 1?
1
Let i = -2 - -7. Suppose 13 - i = -2*j. Suppose 4*d + 3 = d. Which is smaller: j or d?
j
Suppose 10 = -2*x + 4*x. Which is bigger: 0.1 or x?
x
Let h = 226/27 + -76/9. Is h smaller than 1?
True
Let x be (-6)/4 + 225/210. Which is smaller: 1 or x?
x
Suppose -25 = -13*x + 118. Which is bigger: 5 or x?
x
Suppose -4*o + 44 = -0*o. Suppose -5*r = -20, 0 = -3*a + r - 3*r + o. Let y = -61/212 - -2/53. Is a > y?
True
Let j = -13/4 + 47/12. Which is smaller: j or 11?
j
Suppose -5*s + 3*m + 2*m = -45, -5*s - 4*m + 72 = 0. Let f = s - 13. Which is smaller: -2/9 or f?
f
Let r be (-3)/(((-1)/(-1))/(-1)). Suppose -r*k = 3 - 0. Does k = -2/19?
False
Let s be 48/20 - (-4)/(-10). Let z be s/(-74)*-39 + -1. Is z equal to 1?
False
Let q = 1.6 + -1.51. Let d = -5.91 - q. Let l = -8 - d. Which is greater: 1/2 or l?
1/2
Let k(c) = -2 + c + 4 - 1 + 2. Let f be k(-4). Which is smaller: f or -2/5?
f
Let o be 0/((-5)/(15/(-6))). Suppose -4*j + j + 3*f = o, f = -3. Let p(a) = a**2 + 6*a + 5. Let y be p(-4). Is y bigger than j?
False
Let q be 59/(-10) - (-2)/5. Is q > -7?
True
Let g be (90/(-280))/((-12)/14). Which is greater: 0 or g?
g
Suppose m - c + 31 = -m, 2*c = -4*m - 42. Let s = m + 8. Which is greater: s or -6?
s
Let p be (1 + 1)*(-1)/(-4). Let c(b) = b**2 + 4*b + 4. Let u be c(-4). Suppose -2 - 12 = -5*n - h, -4*n = u*h - 24. Does p = n?
False
Let x = -29 - -7. Let n be (-26)/22 + (-4)/x. Do n and -7/5 have different values?
True
Let n = 14 - 8. Is n less than or equal to 1?
False
Let m = 120474 - 592042/5. Let p = m - 2095. Let b = p + 30. Which is greater: 1 or b?
1
Let z = -0.7 - -0.5. Suppose -2*i = -3*b - 0*b + 20, 20 = -5*i. Let t be (1/(-2))/((-6)/b). Is t equal to z?
False
Suppose -3*l - 2*l = -15. Suppose 2 = 5*k + 3*n - 20, 12 = 3*k + l*n. Is k at least as big as -1?
True
Suppose 2*p = -4*f + 6*f - 4, -12 = -3*p. Let a be (f/(-30))/(4/30). Let j = -2 + 0. Is a bigger than j?
True
Let d = -1 + 0. Let r(f) = -57*f - 6. Let g be r(3). Let u = g + 2303/13. Is d at most u?
True
Let f be ((-6)/(-4))/(38/4). Let l = 55/133 + f. Let q = l + -9/28. Is 0 less than q?
True
Suppose g = -3*h - 9, 2*h = 6*g - g - 6. Let q be 3 - (1 + (0 - 3)). Suppose q*k - 3*k = g. Is k greater than 2/9?
False
Let i be (-3)/6*-2*1. Let s be (i - -1) + (-6)/3. Suppose 3*z = z. Is s greater than z?
False
Suppose 3*a + r - 53 = 6*r, -3*a + 4*r + 49 = 0. Which is smaller: a or 17?
a
Suppose -3*s = -0*s + 18. Let d be (-1)/(2/s) + -3. Is -2/5 greater than or equal to d?
False
Let q = 0.05 + -0.15. Let i = -9.2 - -10. Let l = -0.7 + i. Which is bigger: l or q?
l
Let x(r) = 4 + 5*r - 4*r - 2*r. Let k be x(5). Let a = -18/23 + 77/69. Which is smaller: k or a?
k
Suppose -2*c - 5*q = -44, -2*c - 4*q - 1 = -43. Which is greater: 16 or c?
c
Let x = -64 + 41. Are -23 and x non-equal?
False
Let l = -9/23 - -109/161. Is 1 greater than or equal to l?
True
Let w be 3*-2*6/(-9). Suppose -3*m = -w*m. Is m > 1/3?
False
Let y(h) = -h**3 - 4*h**2 - h + 1. Let j be y(-3). Let n be 3 - 1 - (-2 - j). Which is smaller: n or -6?
-6
Let c(z) = -z**2 + 6*z - 5. Let l be c(4). Which is bigger: 7 or l?
7
Let n be (-4)/((-12)/(-3))*1. Which is smaller: n or -4?
-4
Let d = -3 + 3.1. Let l = 15 - 12. Let u be (l + 19/(-5))*5. Is u at least d?
False
Suppose -24 - 1 = 5*g. Let w be (2/g)/((-4)/5). Which is smaller: 1/4 or w?
1/4
Suppose 0*p + p + 5*k - 14 = 0, -5*k + 18 = 2*p. Suppose -p = -2*q + q. Suppose -q*t = -t. Which is greater: -1/4 or t?
t
Let y(z) = 225*z**3 + 2*z**2 + z. Let i be y(-1). Let o be 2/(-11) + i/(-22). Suppose 0 = -0*m + 2*m + 2*d - o, -2*m - 3*d + 14 = 0. Is m > 2?
False
Let j be ((-9)/(-18))/(6/(-4)). Is j at least -0.02?
False
Let b = 10 + -5. Let v be (-3)/((-2 + 1)*b). Let r be -1 + -2 - (-98)/28. Which is smaller: r or v?
r
Let h = 1065969677302/7456485 - -190715/64839. Let s = -142963 + h. Let b = -12/23 - s. Which is smaller: 0 or b?
0
Let w be (0 - -6 - 3) + -2. Which is smaller: 6 or w?
w
Suppose 0 = o + 2, 0 = 3*x + o - 10 - 0. Suppose w - 5 = -x. Which is greater: 1/7 or w?
w
Let g be (-2)/5*1700/(-288). Let u = g + -9/4. Suppose -3*z + 5*k = -2 + 10, -3*z - 2*k - 1 = 0. Is z bigger than u?
False
Let b = 16.11 - 16. Let y = -0.49 - b. Which is bigger: y or 1?
1
Let h be 108/(-1)*12/(-126). Which is greater: 11 or h?
11
Let k(d) = d**3 + 5*d**2 - 7*d - 9. Let x be k(-6). Let u be 3/6*(-3 - x). Is u smaller than 4?
True
Let q = -17 - -47. Let d be 4/8 - q/4. Which is smaller: d or -8?
-8
Let k(g) = -2*g**3 + 5*g**2 + 3*g. Let a be k(5). Let n be ((-6)/10)/(11/a). Suppose -5*q + v = -11 - 13, 3*v - 8 = -q. Is q < n?
True
Suppose 0 = -4*w - 0 - 4. Let v = 1 + w. Which is smaller: -3/5 or v?
-3/5
Let f = 18 + -25. Which is smaller: 2 or f?
f
Suppose 9*g = 23*g - 98. Which is smaller: 5 or g?
5
Let u = -6 - -4. Let p = 3 + u. Which is smaller: 0.1 or p?
0.1
Let h be (-3)/((-9)/(-2))*-3. Let x be (-1)/h - 5/2. Let b be 20/(-12) - 2/18*3. Is b less than x?
False
Let s(d) = d**3 - d - 8. Let z be s(0). Which is bigger: -10 or z?
z
Suppose -6 + 19 = 2*l + m, 3*l + 3*m - 24 = 0. Let v be -2 + -1 - (-14)/(-2). Let c = 16 + v. Which is greater: l or c?
c
Let m be ((-18)/28)/((-4)/24). Which is bigger: 3 or m?
m
Suppose 5*u - 19 = u - 5*t, -u + 3*t - 8 = 0. Suppose -u = -3*p + 4*y, -3 = -y - 4. Which is bigger: p or 0?
0
Let w = -1386342635/1253 - -1106419. Let s = 2/179 - w. Is s less than 0.1?
True
Let d = -10 - -6. Let b = 108 - 118.1. Let a = -10 - b. Is a at least as big as d?
True
Let p(x) = -x**3 + 4*x**2 - 4*x + 2. Let d be p(2). Is 6/7 equal to d?
False
Let b(m) = -3*m + 1. Let d be b(1). Let s be 7*-2*d/(-20). Which is smaller: s or 0?
s
Let r = -0.4 - -0.3. Suppose 5*x + 9 + 6 = 5*a, 0 = -a. Which is smaller: x or r?
x
Let x be (1/(-46))/(19/(-8)). Let f = 3532/3933 - x. Is 2 bigger than f?
True
Suppose -2*u + 5*v = 2, u - 3*v + 0 = -1. Is u greater than or equal to -4?
True
Suppose 4*h - 13 = 19. Which is greater: 6 or h?
h
Let y = 0.38 + 1.72. Let w = -0.1 + y. Which is greater: w or 2/15?
w
Let m = -5 - -5.05. Let t = -0.11 - m. Let i = -0.06 - t. Which is smaller: 4/3 or i?
i
Let u = -1 + 1. Suppose 5*w = -12 - 3. Let c be (2/(-6) - u)*w. Which is greater: -2/9 or c?
c
Suppose 18 = s - 2*c + 2, 4*s - c - 29 = 0. Let a be s*1*(-5)/(-40). Let l(p) = p**3 + 5*p**2 + 3*p - 4. Let u be l(-4). Which is greater: a or u?
a
Let p be -4 + 2 + (-128)/(-62). Let o be 1*0*4/12. Which is bigger: o or p?
p
Suppose 3*r + 3*x - 45 = 0, -r + 4*x + 48 = 4*r. Let t be (-1)/12 + (-3)/r. Let i = -1 - -1. Which is smaller: t or i?
t
Let c = 1 + -2. Is 6/19 at least c?
True
Suppose -15*l + 13*l = -36. Which is bigger: 20 or l?
20
Let t = 1131/10 - 113. Which is bigger: t or -1?
t
Let z(v) = -v**3 - 3*v**2 - 5*v + 4. Let d be z(6). Let b = -5948/17 - d. Is 0 >= b?
False
Let o = 0.078 + 1.922. Is o smaller than -2/75?
False
Let s = -8066/3027 - 2/1009. Is -3 less than s?
True
Let z(j) = 0*j**2 + 3*j**2 - 5*j + 11 - 5*j - 2*j**2. Let k be z(9). Which is bigger: 4/7 or k?
k
Suppose 5 = 4*d + 53. Are -12 and d non-equal?
False
Let f = 4.08 - 4. Let q = 0.88 - f. Let x = q + -0.7. Which is greater: x or 2?
2
Suppose 4 = x + 2*q, 2*x - 16 = -x - 5*q. Suppose 3*p - 16 = -4*n - 0*n, -5*p + 3*n = x. Suppose m - 1 + 5 = p. Is -4 >= m?
True
Let q be (4 + -5)*-1 - (1 + 0). Which is smaller: 4/11 or q?
q
Let i be 50/15 - (1 - 6/9). Suppose 2*f = -5*x - 22, -12 = -4*f + 4*x - 0*x. Let a be (2/(-4))/(f/4). Which is smaller: i or a?
a
Let x = 13 + -8. Let n be 13/5 - (-2)/x. Which is bigger: n or 4?
4
Let y = -20 - -22. Which is greater: 1 or y?
y
Let i be (-11)/(-2) - (-16)/32. Is 7 > i?
True
Let a be (-136)/119 + 2/(-7). Does -1 = a?
False
Suppose -g + 5*m + 14 = 0, 5*m - 60 = -3*g + 2. Which is greater: 0.2 or g?
g
Let o = -35 - -34.9. Which is greater: -0.3 or o?
o
Suppose -2 + 12 = -5*w. Let t = 0 + w. Let f be 1 + 53/(-35) + 10/(-35). Which is greater: t or f?
f
Let q = 7 - 4. Let u(n) = n. Let w