0 - 9/(-24))*-4. Is u bigger than n?
False
Suppose -o = -34 + 35. Which is bigger: o or -3/5?
-3/5
Suppose 6 = -0*l + 2*l. Suppose -3 = -2*d - l*f, -2*f + f - 1 = 0. Suppose 4*y = d*y + 1. Are 2 and y nonequal?
True
Let m = -6 - -10. Suppose -7*q + 20 = -3*q. Which is bigger: q or m?
q
Let s be (8/(-2))/(2/15). Let i be (-8)/s + 4/(-6). Is i at least 0.01?
False
Let g = -108 - -108.2. Let l(u) = -u**2 - 6*u + 1. Let z be l(-6). Is z less than g?
False
Let w = 0.027 + -0.017. Which is smaller: w or -6?
-6
Let q be 2/(-12)*324/8. Let w = 7 + q. Is w greater than or equal to 0.1?
True
Let n = 21 - 31. Let w(d) = -d**3 - 11*d**2 - 9*d + 7. Let k be w(n). Is -2 smaller than k?
False
Let v = 16 - 10. Let z(k) = 0*k - k + 2 - v. Let u be z(-3). Is u greater than or equal to 0?
False
Let s be (-2)/(-6) - (-66)/18. Let p be (-6)/9 - s/3. Let n = -7/38 - 6/19. Which is greater: n or p?
n
Suppose 13 = -4*u + 1. Is -3 smaller than u?
False
Suppose -p = -3*m - 39, 0*p + 2*p + 34 = -2*m. Let t be (-60)/m*22/5. Let u = t + -19. Which is greater: 1 or u?
1
Let j be -5 - -2*(-9)/(-6). Let t be 9/12*j/6. Are t and 1 unequal?
True
Let j be 0 - 2 - (5 + 1). Let p(h) = -h**2 - 8*h + 2. Let v be p(j). Suppose -t = -2*t + v. Which is bigger: 1 or t?
t
Suppose u - 3*w = -4*u + 5, 0 = -2*w - 10. Do -3 and u have different values?
True
Let j = 66 + -46. Let v = j - 19.7. Which is bigger: v or -1/6?
v
Let m = -2/145 + -268/1595. Suppose 5*v = v + 12. Suppose -z + 6 = v*z + 5*g, 5*g - 7 = -3*z. Which is greater: m or z?
m
Let y be 4/6*(-21)/287. Which is greater: y or -1?
y
Suppose -2*h - 11 = 3. Let i = 6 + h. Is i >= -2?
True
Let w = 4 + -3. Which is smaller: 4/7 or w?
4/7
Let i = -1 + 1. Suppose 0 = -4*d - 4 - i. Let s(v) = -v - 5. Let b be s(-3). Is d not equal to b?
True
Let n be 2 + 1/(-2)*0. Let x be (-1)/2 + 2/4. Which is smaller: x or n?
x
Let c(s) = -2026*s - 1. Let o be c(1). Let r = o - -26407/13. Let d = 642/143 - r. Is d greater than -1?
True
Let o = -36 + 38. Let b(a) = -a**2 - 4*a + 3. Let h be b(-4). Is h > o?
True
Let a(g) = g. Let i be a(-1). Is -0.1 >= i?
True
Suppose -2*n = 2, 3*u - 6*u - 3*n - 54 = 0. Let o = u - -6. Which is smaller: o or -12?
-12
Let o(a) = a**3 + 23*a**2 - 1. Let l be o(-23). Is l smaller than -2/181?
True
Let r be ((-2)/4)/((-9)/90). Which is smaller: r or 4?
4
Let j be ((-170)/(-7))/(125 + 3). Let w = -3/64 + j. Suppose 0*d + 3 = 3*d. Are d and w equal?
False
Let v = -29 - -27. Is v bigger than -5?
True
Let z = -1 + 3. Suppose z*h - 9 = -h. Let l = -3 + 5. Which is bigger: h or l?
h
Let j be 8/6 + (-7)/21. Let z be (-13 + 13)/(1/j). Which is smaller: -1/28 or z?
-1/28
Let r(h) = h + 7. Let w be r(-12). Let c = w + 8. Which is bigger: c or 4?
4
Let o = -8 - -5. Let n = -4.01 + 0.01. Let x = n - o. Is 2/5 less than or equal to x?
False
Let u be (-3 - -1)*(-6)/(-4). Let m be (0 - 2)*u/(-6). Which is greater: m or -2/19?
-2/19
Let o(x) = x - 4. Let t be o(10). Let b(k) = k**3 - 6*k**2 - k + 2. Let n be b(t). Let s be ((-1)/(-2))/(1/(-10)). Is n not equal to s?
True
Let m = 0.8 - -10.2. Let l = -7.97 + -0.03. Let b = l + m. Which is smaller: b or 0?
0
Let q(p) = p**3 - 12*p**2 - 14*p + 18. Let h be q(13). Suppose -h*u + 0*u = 0. Is u less than 6?
True
Suppose -2*d = 5*p + 10, p = -2*d - d - 41. Which is greater: -13 or d?
-13
Let j be (-3)/10*20/(-15). Does j = 0?
False
Suppose 3*s + 2*s = -4*h + 4, 4*h + 20 = s. Let u = s - 1. Suppose 4*a + u = -1. Is 0 at most as big as a?
False
Suppose 4*a - 16 = 0, 16 - 48 = 4*o - 4*a. Let z be 2/o*0 + -4. Let l be 16/6*1/z. Is l greater than -1?
True
Let q = -13.9 - -7.9. Which is greater: q or 7?
7
Suppose 3*u - 9 = -2*u - 4*r, 5*u - 8 = -3*r. Which is smaller: u or -4/15?
-4/15
Let b(c) = 3 - 4*c - 6 + 11 + 3*c. Let z be b(9). Which is bigger: 1/12 or z?
1/12
Let m be ((-9)/(-18))/((-2)/(-8)). Let d be m*(-3)/(-3) + 2. Suppose 0 = d*t - t. Which is smaller: t or -1?
-1
Suppose -3 = 3*b, 4*a = 5*b - 1 + 2. Which is smaller: 2/65 or a?
a
Suppose 2*j + 0*j + 15 = 5*v, -5*j = 5*v - 50. Suppose -2*m - 6 - 9 = v*p, 3*m = -p - 16. Do -5 and m have the same value?
True
Let w be 3/((-4)/(24/(-9))). Suppose -3 = -f + w. Which is bigger: 6 or f?
6
Let b = 2.82 - -0.38. Let m = b + -3. Which is smaller: m or -1/3?
-1/3
Suppose 5*d = -6*q + 2*q, 2*q = 3*d. Which is smaller: 8/25 or q?
q
Let b(y) = y**2 + y. Let q be b(0). Suppose 3*d = 0, 0*i + 2*i - 2*d - 6 = q. Suppose 2*n - n = -3*a + 2, 3*n + 22 = 5*a. Is a less than i?
True
Let a = 55 + -37. Are a and -1/4 equal?
False
Suppose -2*q + 2*f = 3*f + 6, 0 = -3*q - 4*f - 19. Let y = -36/11 - -111/44. Are q and y unequal?
True
Let y = -17 + 13. Which is smaller: y or -3?
y
Let i be (-182)/18*(-12)/(-44). Let v = 45/11 + i. Is v >= 0?
True
Suppose -5*f + 330 = -0*f + 2*c, -156 = -2*f + 4*c. Let y = f + -139/2. Which is greater: -3 or y?
y
Suppose -2*g + 6 = -5*g. Let v be (-2 + g)*1/(-2). Let z be (1 - 2) + v + 0. Which is greater: z or -1/6?
z
Let d = -10 - -9. Let v = d + 0.9. Which is greater: v or -0.03?
-0.03
Let c = -0.09 + -3.91. Let d = 3.6 + c. Let p = d + 0.5. Is -0.2 < p?
True
Let a be 2/4 - (-7)/(-2). Let p = a + 3. Let m = -8 - -7. Which is smaller: m or p?
m
Let f(g) = -g**2 - 8*g + 8. Let t be f(-9). Are t and -4/51 equal?
False
Suppose -4*h = -4*q + 32, -4*q + 2*h = -22 - 4. Let o(c) = -c**2 - 13*c + 4. Let x be o(-13). Which is smaller: q or x?
x
Suppose 3 = -4*y + 3*n - 0, y = -4*n + 23. Let f(b) = -5*b - 1. Let j be f(-1). Which is greater: y or j?
j
Suppose -28 = -f + 3*f. Let m = f - -15. Which is smaller: m or 5/4?
m
Let j(a) = -a**2 + 7*a - 4. Let z be j(6). Let c = -6 - -10. Which is smaller: c or z?
z
Let x be (-1 - 0)/(-5 + 6). Let j be (7 - 3)*x/(-14). Is -1/3 at most as big as j?
True
Let t = 150 - 154. Is t > 0.24?
False
Suppose -4*a + 2*a = -6. Suppose 0 = -2*d + a*j - 14, 2*d + 4*j = -0*j. Are d and -2/7 non-equal?
True
Let z = 0 + 1. Let d(q) be the third derivative of -q**6/120 - 2*q**5/15 - q**4/3 - 5*q**3/6 + 2*q**2. Let v be d(-7). Is v < z?
False
Let i = 1 + -1. Let q be (-1)/(4 - (-1 - -4)). Which is smaller: q or i?
q
Let s(g) = -g**2 + 20*g - 5. Let t be s(20). Suppose 0*j - 15 = -5*j. Suppose -j*f + 15 = -6*f. Does f = t?
True
Let g = -21.6 + -12.4. Is g at least as big as 2?
False
Let m be (189/126)/(3/(-52)*-2). Is m > 13?
False
Let c be 7 + -6 + 2 + 2. Suppose -c*h + 9 = 2*v, 3*v = -h - 3*h + 10. Which is bigger: h or 2?
2
Let u be (8/(-56))/(1 + 16). Which is bigger: -1 or u?
u
Let f = 6.8 + -7. Is f at most as big as -1/6?
True
Let q(h) = -h - 5. Let f be 2 + 2*21/(-6). Let c be q(f). Which is smaller: -1/4 or c?
-1/4
Let m(d) be the first derivative of -d**2/2 + 6*d - 2. Let k be m(8). Let r = k - -2. Is -1 <= r?
True
Let h = -0.135 + 0.235. Which is smaller: h or -6.1?
-6.1
Let o(n) = n**2 - 8*n + 7. Suppose -5*s + 13 = -2. Suppose -36 = -5*r + s*q + 11, -3*q = -3*r + 33. Let z be o(r). Is -1 at most z?
True
Let f = 12 + -14. Let p = f - -3. Let m be (2/20)/(4/10). Is m <= p?
True
Let h(g) = -60*g. Let s be h(-4). Let p be (8156/(-51))/(2/(-3)). Let w = s - p. Which is bigger: 1/2 or w?
1/2
Let c(q) = q + 7. Let i be c(-10). Let h be 1*3/(-9)*i. Is 1 greater than h?
False
Let n be 2/(-5) + 33/45. Is n < 0?
False
Let i(m) = m + 2. Let g(s) = -s**3 + 8*s**2 - 7*s + 7. Let x be g(7). Let a be i(x). Do 8 and a have different values?
True
Let f be 289/(-36) - (-5)/20. Let k = 734/99 + f. Do k and -1 have the same value?
False
Let k(b) = 3*b**2 + 4*b - 5. Let z be k(-5). Is 50 less than or equal to z?
True
Let g = -1/871 - 18289/1742. Let a = 475681/18 - 26416. Let s = g + a. Which is smaller: s or -1?
-1
Suppose -3*h + 9 = 6*h. Let a be -2*(-3 - 204/(-69)). Which is greater: a or h?
h
Suppose 3*o = -2*t - 29, t - 4*o - 42 = 4*t. Let y be (1/(-10))/((-4)/t). Is y < 1?
True
Let d = -21 + 23.9. Let o = -3 + d. Let c = o + -0.9. Is c smaller than -1?
False
Suppose 2*s + 90 = 7*s. Suppose 0 = o + 2*k - s, -3*o - 4*k = -5*k - 61. Suppose 3*h + 0*h - 2*y = -8, -5*y + o = h. Which is smaller: h or 3?
h
Let g be (-4)/(-10) - 877/5. Let m be g/(-252) + 2/(-3). Which is smaller: 1 or m?
m
Suppose -5*i - 2*c + 16 = -6, -i = 5*c - 9. Suppose -l + 21 = 4*l - q, -5*l = i*q - 41. Are l and 5 equal?
True
Suppose o - 169 = -0*o.