105 + 45 = 0. Suppose 0 = -4*r - r - l. Does -5 = r?
False
Let o = -0.09 - -0.79. Let i = o - 0.2. Let b = 0.7 - i. Which is smaller: -3 or b?
-3
Suppose l = 4*y - 47, y + 45 = -l + 6*y. Which is smaller: l or -56?
-56
Suppose -2*u + 4 = 3*t, -3*t = -2*u + 2 + 2. Suppose -h = 0, 0 = -u*i + 2*h - 3 - 1. Suppose 2*b = 3*k - 0*k + 3, -4*k - 4 = 4*b. Is b equal to i?
False
Let j be 20/(-35) + 32/7. Suppose -j*v = -2*v. Which is smaller: v or -2?
-2
Let a be 4/(-10) + 18/45. Which is smaller: 2/17 or a?
a
Suppose 5*l + 4*w + 1 = 0, -4*w = 2*l + 15 - 5. Suppose l*q + 16 = o, -2*q - 2 = 2*o + 6. Do o and 0 have the same value?
False
Let k = 0.02 + -7.02. Let g = 5 + k. Which is greater: -0.2 or g?
-0.2
Let s be (-42)/30 + (-2)/(-5). Suppose 3 = 4*c - 5. Suppose -c*h + 5*h = 0. Which is smaller: s or h?
s
Let w be 48/408 + 38/(-34). Are w and 4/9 nonequal?
True
Let r(q) = q + 1. Let b(l) = l + 6. Let x(w) = -b(w) + 2*r(w). Let u be x(3). Which is bigger: u or 1?
1
Let c be (-1)/(-3 - 28/(-8)). Do c and -2 have different values?
False
Suppose 2*q = 5*q + 3. Let a(j) be the second derivative of j**5/20 - j**4/3 + j**3/6 - 2*j**2 + 2*j. Let s be a(4). Which is smaller: q or s?
q
Let f = -2/187 - 929/561. Which is smaller: f or -3?
-3
Let l = -5.9 - -6. Let g = 72 - 76. Which is smaller: l or g?
g
Let o = 4/25 - 27/325. Is 1 at least o?
True
Let n = 2.5 + -0.5. Which is bigger: n or -2/11?
n
Suppose -2*n = -5*n. Suppose 1 = 3*o - 2. Which is smaller: n or o?
n
Let f be (-52)/5 + (-12)/20. Which is bigger: f or -0.1?
-0.1
Let y = -3 - -8. Suppose 0 = -k + y*k. Which is smaller: k or -0.2?
-0.2
Let p be (14/(-140))/(4/30). Is p bigger than 0?
False
Let f = -14 - -24. Which is bigger: 12 or f?
12
Suppose 2*f - 5*f = -117. Let k = -119/3 + f. Are -2/7 and k equal?
False
Suppose 3*q = 2*u + 13, q = -3*u + 4*q - 12. Let i be 1*(-1)/(u - 0). Is i > -1/2?
False
Let d = 13 + 2. Let f = d + -18. Does -0.3 = f?
False
Suppose 3*i = 6*i - 6. Suppose -t + 5*d = 4*t - 25, 0 = 4*t - i*d - 10. Suppose t = -2*h - 3*h - 2*b + 16, -5*b = 4*h - 6. Which is greater: -1 or h?
h
Let v = -89 + 15. Is v != -73?
True
Let m = 529/10 - 52. Which is greater: m or 2?
2
Let g = -153/2 - -78. Is 2 <= g?
False
Suppose -9 = -3*x - 63. Let j = -12 - x. Suppose -5*p - j = 9. Is p at most -2?
True
Suppose 8 - 3 = -5*r. Let v be 2 + -1 + 3 + -2. Suppose -v*x = x. Is r smaller than x?
True
Let w = 9 + -5. Let o = 11 - 6. Is w greater than o?
False
Let w be (2/(-6))/((-7)/189). Let g = -2 - w. Is g equal to -10?
False
Suppose -5*t + 10 + 20 = 0. Let j(r) = r**3 - 5*r**2 - 5*r - 6. Let u be j(t). Let b = 2 - 3. Is b >= u?
False
Let r = -39 + 40. Does -2/29 = r?
False
Let k = 7/5 - 10/3. Let f be 6/(-9) - (2 + -5). Let g = k + f. Is 2/7 greater than or equal to g?
False
Let g(s) = s. Let w be g(-3). Let a = 9 - 6. Let v be a/(-9)*(-3)/(-1). Which is smaller: w or v?
w
Let g = 1933/9 + -215. Let l = 14/9 + g. Let b = -1 - -1. Is l at least as big as b?
True
Let o = 6 - 3. Suppose -o*l - 4 = l. Let f = 3/35 + 2/35. Is l at least f?
False
Let b(w) = -w**2 + 5*w + 2. Let d be b(6). Suppose 0 = -2*f - 1 - 3. Which is smaller: d or f?
d
Let o be 7042/5286 + (-4)/16. Let b = 1/881 + o. Let s = -4/3 + b. Which is bigger: 0 or s?
0
Let x = 142 + -708/5. Which is bigger: 19 or x?
19
Suppose -8 = -3*l + 4. Let s(d) = d + 1. Let t be s(1). Suppose x = 1 + t. Which is bigger: l or x?
l
Let w = 903 - 64114/71. Which is smaller: w or 0?
w
Let d = -51 - -919/18. Which is greater: d or 1?
1
Let j(r) = r**2 - 6*r + 7. Let u be j(5). Let c be 1 + -1 - u/8. Let a = -0.05 + 0.05. Which is smaller: c or a?
c
Let w be -2 - (-2)/((-8)/(-4)). Let n be 3/(-6)*(w - -1). Which is smaller: -2/19 or n?
-2/19
Let v be ((-2)/(-3))/((-4)/6). Let q = 61/2 - 30. Which is bigger: v or q?
q
Let o = -11 - -13. Which is bigger: -2 or o?
o
Suppose 2*i = 3*i + 5. Which is bigger: 0 or i?
0
Suppose 5*o - 4*b + 3 = 0, -4*o + b + 0 = 9. Which is smaller: o or -5/2?
o
Suppose 2*v = -v + 3156. Let t be v/(-1008) - 2/(-4). Let m = t + -1/36. Which is smaller: m or 1?
m
Let h be (-54)/33*3/9. Which is bigger: h or 0?
0
Suppose 0 = 3*z - z - 74. Let k = z + -261/7. Is -0.3 not equal to k?
True
Let s(q) = 2*q**2 + 10*q - 1. Let a be s(-7). Suppose 2*y - y - 4*f + 32 = 0, 3*f - a = y. Let m be (-6)/(-4)*y/(-99). Do 0 and m have the same value?
False
Let x = 2/737 + -797/22110. Which is smaller: 0 or x?
x
Let u = -3 - -2. Let m = -3 + -2. Let t = 3 + m. Which is greater: u or t?
u
Let s be (4/(-4 - -2))/(-2). Let p = 0.05 - 0.4. Let b = 0.05 - p. Are s and b nonequal?
True
Let m be -3 + 9 + (-3 - -3). Let s = m + -13. Is -7 at least as big as s?
True
Let u = 110.06 - 109. Let h = u - 0.06. Which is greater: h or -5?
h
Let k be 6/4*(-196)/(-21). Is k not equal to 15?
True
Let q(a) = -a**2 - 13*a - 13. Let i be q(-12). Which is smaller: i or 2/33?
i
Let z(r) = -4*r - 3. Let d be z(-2). Suppose c + 5*g = -4 - d, 3*g = -6. Which is greater: -1/4 or c?
c
Let s = -6 - 0.4. Which is smaller: -1/2 or s?
s
Let m(w) = -w - 13. Let v be m(-12). Which is greater: v or 2?
2
Let o be ((-46)/(-70) + 2/14)/2. Is -18/5 greater than o?
False
Let n = 17/6 - 53/15. Let d = n - -29/70. Which is bigger: d or 4?
4
Let d = -24437/7635 - -1/1527. Is -3 at least as big as d?
True
Let y = 12 - 11.8. Which is smaller: -2/7 or y?
-2/7
Let l be -2 + 0 - (-1)/5*0. Which is bigger: l or -4/5?
-4/5
Suppose -j - 4*a = -17, 3 = -4*j + 3*a - 5. Which is bigger: -16 or j?
j
Let i = -32 + 32.6. Let a = 9.3 - 10. Let z = i + a. Which is bigger: z or 0?
0
Let u = 32 + -27. Is u at least -2?
True
Let h be 10/(-2)*(-357)/(-85). Do h and -20 have different values?
True
Let w = -0.01 - 0.02. Let m = 0.73 + w. Let u = -0.3 - m. Is 3 < u?
False
Let f = 3.5 - 3.31. Let g = f - -0.01. Which is greater: g or -2?
g
Let p be 2/(-6)*38/2. Is p less than or equal to -7?
False
Let a = 32/75 - -6/25. Is 0 greater than or equal to a?
False
Let v = 1766/9 + -196. Which is smaller: v or -1?
-1
Let f = -1 - -2/3. Let t = 13/2 - 7. Which is smaller: t or f?
t
Let v be ((-4)/3)/(8/(-12)). Are 5/2 and v equal?
False
Let v = -56911 + 512983/9. Let r = 87 - v. Let z = -164 - -163. Which is bigger: z or r?
r
Let l = 151/3 - 49. Is l less than -2?
False
Let v(z) = z**3 - 4*z**2 - 7*z + 2. Let r be v(5). Which is bigger: r or -6?
-6
Let s be 2/(-3)*(-127)/(-2). Let t = s + 43. Which is bigger: 3 or t?
3
Let n(t) be the third derivative of -t**6/120 + t**5/20 + t**2. Let r be n(3). Let g = 1 + r. Is 1 < g?
False
Let i = 185528/99 + -1874. Which is bigger: i or 1?
1
Let u = 521 - 33864/65. Is u at most 0?
False
Let z be 10/20*8/(-6). Which is greater: z or 3?
3
Let x(q) = q**3 + 3*q**2 - 5*q + 1. Let z be x(-4). Suppose 0*t - 3*t + 23 = -5*y, -z*t + 32 = -2*y. Which is bigger: t or 7?
7
Let c(m) = -m**2 + 7*m - 1. Let x be c(7). Let z be x/((-46)/142) - 3. Which is smaller: z or 0?
0
Let v be (-9)/(-3) + (-15)/(-3). Which is greater: 9 or v?
9
Let i = -4 + 4.08. Which is smaller: i or -0.1?
-0.1
Let q = 0.05 + 0.95. Which is greater: 0.2 or q?
q
Suppose 4*i - 10 - 2 = 0. Suppose 5*a + 7 = 17. Which is greater: i or a?
i
Suppose -8*q - 60 = -2*q. Is q at most -9?
True
Suppose 3*z - 9*y + 12*y - 9 = 0, y - 2 = -2*z. Let n = 1/82 - 577/246. Let s = -53/24 - n. Which is bigger: s or z?
s
Let s = -0.28 - -0.18. Which is bigger: s or -16/3?
s
Let x be (-214)/9 - (-20)/(-90). Is x at most -23?
True
Let u be -5 + 2 + 0 + (-4 - -48). Is u less than 40?
False
Let b = 4 + 0. Suppose 0 = -5*u - 3*f - 12, -b*f + 7*f + 12 = -2*u. Which is bigger: u or 6/7?
6/7
Let t = 2.98 + -3. Let v = -0.82 - t. Let j = 0.8 + v. Which is greater: 0.1 or j?
0.1
Let f = 476 - 3308/7. Are 3 and f equal?
False
Let d = 1202 - 56492/47. Is d <= 1?
True
Let f be (4/1 - 45) + 1*2. Is f less than -39?
False
Let l = -15 - -12. Is -0.3 > l?
True
Let w be 0 + 2 + 6/9. Suppose -2*z - 9 = -15. Is w greater than z?
False
Suppose 0 = 4*n - 1 - 11. Suppose 5*q = 3*a - 8, 2*a = 2*q + 7*a - n. Let g be 1 - 1 - 3/21. Which is greater: g or q?
g
Let n be ((-3)/7)/(12/63) - -2. Is n less than or equal to -13?
False
Let z(g) = -2*g**2 - 12*g + 5. Let s be z(-6). Let i = 4 - 0. Which is smaller: s or i?
i
Let g = -3512 - -27945/8. Let x be (300/18)/(16/18). Let q