 -0.19. Let r = a + 17.1. Let c = r + -2. Which is bigger: -2/7 or c?
c
Let r(m) = -m - 7. Let j = 7 + -16. Let u be r(j). Let s be 1/(u/((-2)/1)). Which is smaller: -2/5 or s?
s
Let f be (-16)/6 + (-4)/(-6). Let j = 10 + f. Suppose 2*l - 11 = 4*n - 1, -3*l = n - j. Does n = 0?
False
Suppose 2 + 26 = -4*l. Let j(f) = -f**2 - 2*f + 2. Let x be j(-4). Which is greater: x or l?
x
Let l(y) = y**3 - 2*y**2 - 2*y + 3. Let n(t) = t - 9. Let b be n(11). Let w be l(b). Which is bigger: -2/67 or w?
-2/67
Let a = -67 - -66.9. Is 6.2 smaller than a?
False
Let a be -5*(-8)/(-4)*-2. Are a and 20 unequal?
False
Let l be -3 + (103/42 - (-6)/12). Is -1 at most as big as l?
True
Let j(v) = v + 3. Let m be j(0). Suppose 46 = m*k + 16. Let x = k + -6. Is 4 greater than x?
False
Let c = -1.34 - 0.06. Let z = c - -1.4. Does -0.3 = z?
False
Suppose 0 = 6*f - 3*f - 9. Suppose 0 = -0*d + d - f. Let h = -2 + 5. Is d not equal to h?
False
Suppose 28 = -5*t + 33. Which is bigger: -3/16 or t?
t
Let u be 1/(-3) + 14/6. Let i = -10 + 14. Suppose 0 = -0*v - 3*v - 4*d + i, 0 = -5*v + 2*d + 24. Does v = u?
False
Let d = -31.9 - -32. Which is smaller: d or -0.3?
-0.3
Let x be (-8)/316*(1 + 1/(-2)). Which is smaller: x or 1?
x
Suppose -2*h + 3*i + 35 = 0, -h - 3*i - 2 = 2*i. Suppose 5*y + 7 = -h. Let r be 3*(-2)/y*2. Is 3 >= r?
True
Let n = -7/19 - -85/76. Is n <= 0?
False
Let i = -20/3 - -6. Let c = 0.4 + -0.2. Let a = -0.4 + c. Is a smaller than i?
False
Suppose -5*b = -4 - 1. Is b at least as big as 2/87?
True
Let o be 0 + -1 - (-2)/4. Let i = 11 + 0. Let c = -11.2 + i. Is c not equal to o?
True
Suppose 13 = -5*b - 3*t + t, 3*t + 16 = -4*b. Let u = -75 + 376/5. Which is smaller: b or u?
b
Let w = 1 - 3. Which is smaller: -4 or w?
-4
Let b(j) = -3*j + 5. Let w be b(4). Which is bigger: -5 or w?
-5
Suppose 30 = -2*y + 5*w - 11, -y + 5*w = 8. Let o be (-12)/(-66) - (-28)/y. Suppose 5*z + 25 = -0*z. Which is greater: o or z?
o
Let g = 21/34 - 2/17. Let m = -3 + 5. Suppose -m*q = -3*q. Is q smaller than g?
True
Let r = 43 + -10. Suppose z = -2*z + r. Is z greater than or equal to 12?
False
Let f = 0.1 - 1.1. Let o = 3 + -3.4. Let m = o - -0.2. Is f greater than m?
False
Let i(a) = 9*a - 1. Let w be i(1). Let f = w + -13. Let h be 1/(-10)*(3 + f). Which is greater: h or 2/3?
2/3
Let n be (-201)/(-39) - (3 - 111/39). Let d = 10 + -4. Is n not equal to d?
True
Let y = 7 - 3. Suppose -5*k = y*l + 11, 0 = -l + 2*k + 7. Is l at most as big as 4/9?
False
Let q be 59/4 - (-2)/8. Let h be (4/(-48))/(q/12). Is 0 > h?
True
Let v(a) = a**3 - a**2 - 2*a - 4. Let k be v(5). Let o = -256/3 + k. Which is smaller: o or -4?
-4
Let i = 0 + -2. Let h = -2 - i. Let l = -121/4 + 31. Which is smaller: l or h?
h
Let k(l) = -4*l + 28. Let h be k(14). Which is greater: -55/2 or h?
-55/2
Let b = 3 + -3.5. Which is bigger: b or -1?
b
Suppose -5*q = -23 + 3. Do q and 1 have the same value?
False
Let a be (-2)/1*(-1 - (-116)/118). Is 1 at most a?
False
Let b(r) = 3*r - 2. Let i be b(2). Let d be 16/4 - -4 - i. Is 4 < d?
False
Let w(g) = -g - 9. Let s be w(-9). Which is smaller: 4/9 or s?
s
Let y(z) = z**3 + z**2 - 1. Let m be y(-1). Let f(k) = k**2 - 8*k + 5. Let d be f(7). Is d <= m?
True
Let m = -8 - -12. Let y be 0/(1 + 4/m). Suppose 5*p + 5 + 0 = 0. Is p less than y?
True
Let t = -82091 - -1889906/23. Let p = t + -79. Let d = 82/207 + p. Which is smaller: 1 or d?
d
Let t(p) = p**3 + 9*p**2 + 5. Let w be t(-9). Let m = -9 + w. Do m and -4 have the same value?
True
Let u = -27 - -15. Let s(y) = y**3 + 12*y**2 - 1. Let i be s(u). Which is greater: 0.06 or i?
0.06
Suppose 11 = -j - 3*m, 17 - 6 = -4*j - m. Suppose 0 = b + 7*f - 2*f + 15, 0 = -3*b + f + 3. Which is smaller: b or j?
j
Let s be 1/36 + (-10)/(-45). Is s less than 0?
False
Let m be -1 + 1 - 0 - 0. Suppose m = 3*c - 2*c + 2. Let s be 0 + (-5)/((-15)/c). Which is smaller: s or 0.4?
s
Suppose -131 - 1 = 11*k. Which is smaller: -1 or k?
k
Let g(b) = -4*b + 1. Let z be g(5). Let x be (-2)/7 + z/7. Let v be 1*-3 + (-8)/x. Which is bigger: 2 or v?
2
Suppose 2*d = -5*q - 5, -q - 2*d = -6*q + 15. Let i(l) = l**3 - 5*l**2 - 7*l + 5. Let t be i(6). Let r = q + t. Which is bigger: 2/3 or r?
2/3
Let z be 1/(3/(-741)) - 1. Let q = z + 1244/5. Let m = q - 1. Which is bigger: m or -0.1?
-0.1
Let w = -11 + 15. Suppose -w*a - 3*i - 13 = 6, a + 16 = -3*i. Let o = -18 + 71/4. Are o and a equal?
False
Let g be (8 - (5 - 1))/((-2)/(-3)). Which is smaller: g or 9?
g
Let l = -2081 - -39551/19. Let i be (-27)/(-285)*10/8. Let o = l + i. Which is smaller: o or 1?
o
Let r = 7 - 6. Let l = -6 + 0. Let h be (6/(-9))/(2/l). Is r at least h?
False
Suppose -i + 4 - 1 = 0. Is i less than or equal to 0.4?
False
Let n be (-160)/(-28) - 2/(-7). Is 7 bigger than n?
True
Let k = 63/13 + -5. Suppose -d + 0*m - 14 = 3*m, -4*m = 20. Which is smaller: k or d?
k
Let w = 41 - 78. Which is greater: w or -36?
-36
Let z(n) = n**3 + 8*n**2 - n - 7. Let y be z(-8). Suppose -9 = 4*v + 3. Let p be (v - -2) + (3 - 1). Is y greater than or equal to p?
True
Suppose -4*d + 6 - 14 = 0. Which is greater: -7/10 or d?
-7/10
Let m be -2 - (48/27 - 4). Which is smaller: 1 or m?
m
Suppose 0 = 3*i - i - 6. Is i at most 1?
False
Let q = 11 + -10.78. Let g = -0.12 + q. Which is smaller: -0.18 or g?
-0.18
Suppose 3*h = -4*c + 17, -2*c + 7 = -5*h + 18. Suppose 9 = h*n - 3*a, 8*n - 5*a = 5*n + 19. Let z = 0 - 0. Is n bigger than z?
False
Let y = 15 + -9. Suppose -2*u = -0*u + y. Are -2 and u unequal?
True
Let j be 0 + 70 + 0 + 2. Let r be 3*(-3)/j*-10. Is r greater than 0?
True
Let m be (-2)/(-4)*(-4)/(-10). Let p = -3 - 7. Let r = 9 + p. Are r and m unequal?
True
Suppose 4*a + 2*x = 10, 3*a - 7 = -a - x. Let m be a*(2 - 8/3). Let p(f) = f**2 - 33*f + 89. Let j be p(30). Which is bigger: m or j?
m
Let j be -1*(-15098)/540*2. Let a = j - 43/135. Let k = a - 56. Are 0 and k unequal?
True
Let j be (-1)/3 + (-2)/6. Suppose 0 = 5*m + 5*k - 3*k + 6, -m = 4*k + 12. Let i be m - -1 - (-6)/(-10). Is j at most i?
True
Let h = -21/11 + 169/77. Suppose -w = -5*y - 9, w - 3*y - 9 = 4*w. Is w smaller than h?
True
Let k(g) = -2*g - 1. Let n be k(5). Let f be (n/(-231))/(1/2). Is 0 at least as big as f?
False
Let d be 4/(-30) + 329/105. Let i be (1/(-2))/(1/(-2)). Is d greater than i?
True
Let k be 1*(2 + (-1 - -3)). Let u be 1/(((-30)/k)/1). Which is smaller: 1 or u?
u
Suppose -50 = 3*q + 40. Let x = 119/4 + q. Which is smaller: -1 or x?
-1
Let u = -8 + 12. Suppose -u*p = -13 + 5. Is 2 equal to p?
True
Let f(q) = 1 + 2*q + 2 - 3*q. Let h = 71 - 67. Let p be f(h). Is p bigger than -1?
False
Let f(g) = 2*g - 15. Let h be f(27). Which is smaller: h or 38?
38
Let a be 2/4 + 13/78. Which is greater: a or 2/13?
a
Suppose 0*i + 2*i = -h, 4*i = 20. Let n = -2 - h. Are 8 and n unequal?
False
Let v(c) = c**2 - c + 4. Let r be v(0). Let a be 52/14 + (-2)/(-7). Is r != a?
False
Suppose 2*w - 3*a - 10 = 3, 8 = w - a. Suppose -2*f + 6*f + w = c, 0 = -3*f - 5*c + 9. Is f at most as big as -2?
True
Suppose -3*p - w = 26, -p - 2*w = -3*w + 6. Let r be (1/2)/(1/p). Let i be (-129)/27 - ((-22)/(-18) + -1). Is r > i?
True
Let k = 37 - 36. Let h = 3/28 + 5/84. Is k less than or equal to h?
False
Suppose -5*h - r - 5 = -0*h, -2*h - 2 = -r. Let f be (0/h)/(-2 + 3). Which is smaller: -1 or f?
-1
Let l = -0.2 + 0.6. Let z = 0.7 + -0.8. Let t = z + l. Which is smaller: t or -1?
-1
Let f(j) = -j**3 - j**2 - j - 1. Let i be f(-2). Suppose 0 = i*n - n. Is n equal to 0?
True
Let b be 2/(-5) + (-60)/(-25). Suppose -3*t = -4 - b. Which is smaller: t or 5/6?
5/6
Let v = 2 - -1. Suppose 3*m = 3*a - 15, 0 = -v*m + 4*a + 1 - 18. Suppose -2*t - 7 = h, -h - 3*t - 8 = -2*h. Which is smaller: m or h?
m
Suppose -2*p + 0*p = 0. Suppose p = -4*a - 4*z + 24, -4*a + 3*z = -0*a + 11. Which is smaller: -3 or a?
-3
Let y(o) = -o + 6. Let b be y(4). Let x = -5665/36 + 633/4. Do b and x have different values?
True
Suppose -3*o - 8 = j + 6, 3*j + 7 = -2*o. Let q be o + 4 - 167/1. Let a = -1347/8 - q. Is a at most -1?
False
Let i = -18 - -28. Let x(r) = -r**2 - 10*r. Let g be x(-9). Which is bigger: g or i?
i
Suppose 8*k = 3*k - 40. Let t = -5 - k. Suppose 0 = -2*o - 5*f + 16, -2*f - 2*f = 3*o - 17. Is o greater than or equal to t?
True
Suppose -2*l = -4*l + 8. Let q = l + -3.