111 or y?
-2/111
Let k = -13.43 + 13.33. Let r = -57 + 56.71. Is k not equal to r?
True
Let w = 396.2 + -396. Which is bigger: w or -2/7?
w
Suppose -6*a + a = 0. Suppose -7*m - 3 + 31 = a. Let n = 3 - 0. Which is bigger: n or m?
m
Let n(f) = 2*f - 22. Let z be n(12). Let y be ((-270)/6)/(z + -1). Is y equal to -46?
False
Suppose -2*l - 238 + 246 = 0. Suppose 3*t - 18 + 6 = -5*f, -5*f = 5*t - 20. Is t greater than or equal to l?
True
Let q = -12/799 + -1312/125443. Is q less than or equal to 0?
True
Let w(c) = -5*c + 29. Let i be w(7). Let a be -2*((-3 - i) + 142/(-48)). Is 0 bigger than a?
True
Let u be (-3)/((-3)/15*-15). Which is smaller: 2.36 or u?
u
Let r(y) = y**3 - y**2 - 9. Let g be r(4). Which is smaller: g or 37?
37
Let o = 3174 + -2709. Are o and 466 equal?
False
Let n(l) = l. Let o(z) = 2*z - 1. Let y(b) = n(b) - o(b). Let k be y(6). Let r = k + 6. Which is smaller: r or 2/11?
2/11
Let m = 0.17 - 17.17. Let w = -11 - m. Let z be (-767)/1062 - 3/(-6). Which is greater: z or w?
w
Let q = 73 + -78. Let b be 7 + -4 + q - (-2)/1. Is b > -1/83?
True
Let b be (42/567)/(3/(-1368)). Which is greater: -33 or b?
-33
Let u = 30.98 + -31.1. Let o = 0.8 - 0.92. Let i = o - u. Is i at least as big as 0?
True
Suppose 0 = -2*o + 3*o + 5*n + 5, 4*o - 2*n = 90. Suppose 0 = -19*l + o*l + 7. Let a be (-8)/(-28) - (-44)/l. Which is smaller: a or -14/3?
a
Let w = 9083131/34 + -266734. Let i = -417 + w. Is i at least 1?
False
Let j = 14 - 22. Let t(o) = 2*o**3 - 15*o**2 + 6*o + 35. Let z be t(7). Let x be (-27)/(-21) + j/z. Do x and 5/8 have the same value?
False
Let n be (60/18)/(1 - (-5047)/(-21)). Which is smaller: -1 or n?
-1
Suppose -5*t + 27 + 6 = 2*k, -k = -2*t - 12. Let z be (-4)/k - (-171)/(-63). Is z <= -4?
False
Let o(w) = -3*w + 6. Let b be o(9). Let f = b + 21. Let n = 27/2 + -13. Is f at least as big as n?
False
Let x = -1436 + 45957/32. Which is bigger: x or 1?
1
Let i(y) = -20*y + 554. Let a be i(28). Which is greater: -1/117 or a?
-1/117
Let d be (-2)/1*(-80)/20. Let u = 10 - d. Suppose 2*l = -3*p - 12 - 1, 4*p = -u*l - 14. Is 0 greater than p?
True
Let w be (-2)/(-4) - 14/12. Which is bigger: 41 or w?
41
Let b(v) = 3*v + 15. Let c be b(-5). Is -4/13 equal to c?
False
Let j be -5 - (-7 - -7) - -9. Is j at most as big as -5?
False
Let z = 41 - 75. Is -33 at least as big as z?
True
Suppose 4*f + 55 = -2*n - 31, 0 = -5*f - 5. Which is smaller: n or -42?
-42
Let f = 367/630 + -26/45. Is f bigger than -1?
True
Let c(i) = -6*i**3 - 2*i + 1. Let m be c(1). Let r be 4/m - (-4)/7. Let q(f) = f - 6. Let g be q(6). Are r and g nonequal?
False
Let z(r) = r**3 - 13*r**2 + r - 22. Let t be z(12). Is t less than or equal to -154?
True
Suppose -5*u - 1036 = -1036. Does 1/35 = u?
False
Let p = 1.8 - 1.1. Let n = 6315 - 12629/2. Which is smaller: p or n?
n
Let o be (714/(-1365))/((-16)/10). Let p = o + -1/13. Which is smaller: p or 1?
p
Let u(l) = 8*l + 59. Let g be u(-5). Which is smaller: g or 20?
g
Let y = -2300 - -2300.9. Is y greater than or equal to 1/7?
True
Let a(o) be the second derivative of -o**5/20 + 2*o**4/3 + o**3/6 - 5*o**2 + 55*o. Let n be 66/9 - (-4)/6. Let h be a(n). Are 0 and h non-equal?
True
Let c = 14.2 - 27.8. Let j = 11 + c. Let t = j + 0.6. Do 2 and t have different values?
True
Let i = -2367/5 - -479. Let f = -25 - -32. Suppose -3*b = w - f*b + 13, 0 = 5*b - 25. Which is smaller: i or w?
i
Let a = 12.18 - 0.18. Let u = -17 + a. Let d = -16/9 - -14/9. Is d at least as big as u?
True
Let m(d) = 3*d**2 + d - 11. Let n be m(3). Is 19 greater than or equal to n?
True
Let j = 0.3 + -0.28. Let n = j - -0.18. Let h = 5/8 + -31/24. Is h bigger than n?
False
Let l be ((-26)/(-52))/(2/8). Let b be l*(0 + 30/5). Which is smaller: b or 10?
10
Let b(s) = 3*s**2 - 8*s - 30. Let n be b(8). Let p be (-2 + 1)*(-14)/n. Let a be 4/14 - (-6)/(-21). Are p and a nonequal?
True
Let c be ((-6)/10)/(-2*(-7)/(-70)). Let n be (-4)/10 + (-2)/(-5). Let w be (0/(c - n))/1. Which is smaller: 8/9 or w?
w
Let o be -8 + -9 + 0 + -2 + 1. Which is greater: o or 5?
5
Let x = -1179.2 - -1178.2. Let g = 16 - 67. Which is bigger: g or x?
x
Let i be (0 + (-40)/14)/(132/(-154)). Are i and 3 unequal?
True
Let c = 1 + 15. Suppose y + 3*y = c. Suppose -y*n = 2*f, -n - 6*f + 9 = -f. Which is smaller: 2/5 or n?
n
Let a = 4 - 2. Let p be 5*(1 + (1 - 1)). Suppose p*c = a*d + 2*c + 6, -3*d + 2*c = 4. Which is bigger: -5 or d?
d
Suppose -a = -v + 149, -3*a - 741 = 2*a - 3*v. Is a > -147?
False
Let y = -34514/18495 - 2/3699. Does y = 0?
False
Let p = 3/5 - 19/15. Let h be 8 + ((-1880)/48)/5. Which is smaller: p or h?
p
Suppose 8*t - 3*t + 8 = -r, -4*t + 12 = 0. Let j = -13 - r. Let d be 4/j - (-602)/(-1680). Which is smaller: -1 or d?
-1
Let v(p) = -p**2 - 8*p + 2. Let k(q) = -q**3 - 4*q**2 - q - 2. Let j be k(-3). Let x be v(j). Suppose 4*c - 2 = x. Is 2 greater than or equal to c?
True
Let i be 6/18 + (-16)/3. Let m = i + 12. Let b be 1/(1*m/3). Which is smaller: b or 0?
0
Let o be 2 - (-13)/((-104)/440). Which is bigger: -0.1 or o?
-0.1
Let h = 71 - 35. Let k be 8/h - (1 - (-75)/(-27)). Is k bigger than 9/16?
True
Suppose 5*d + 3*d = 152. Let a = d - 16. Is 8/5 bigger than a?
False
Let c(t) = -2*t**2 - t - 1. Let g be c(-1). Which is smaller: -276 or g?
-276
Let t(s) = -7*s - 251. Let d be t(-36). Which is greater: -19/55 or d?
d
Let b = 3481/754 - 106/29. Is 2 less than b?
False
Suppose -6*v = -2*v + n - 5, 0 = -3*n + 15. Is v >= -10/43?
True
Suppose -9 + 29 = 5*v. Let q be (5 + 51/6)/(14/v). Which is greater: 5 or q?
5
Let a(v) = 7*v - 9. Let g(y) = -3*y + 5. Let d(q) = -4*a(q) - 9*g(q). Let r be d(-8). Are r and 1 equal?
False
Suppose 0 = r + h + 1, 2*h - 2 = 5*r - 4. Let t be (2 + r)*(-8)/(-16). Which is smaller: 0.08 or t?
0.08
Let k be 1/(-2)*140/7. Let d be k/78*22/(-55). Are 0 and d nonequal?
True
Suppose -4*a + 97 - 25 = 0. Suppose -2*c = 4*v - 2*v - a, 3*v - 2*c = 2. Suppose -3*b = 5*q - 46, 0 = -v*q - 5 + 25. Which is smaller: 8 or b?
b
Let h = -72.89 + 72. Let y = -1 + 1.11. Let s = y - h. Which is greater: s or 4?
4
Let s be -5*(3/(-15))/((-2)/4). Let u(l) = -l - 5. Let f be u(s). Is 0.4 less than f?
False
Let d = 5391 + -5384. Let i = -1 - -0.95. Which is smaller: i or d?
i
Suppose l + 11 = -2*b, -5*l + 5 = -3*b - 5. Let y be (4 + -14 + l)*1. Which is greater: y or -3?
-3
Suppose -371 = -6*h - 71. Suppose 49 = -3*c - h. Is -32 at most as big as c?
False
Suppose 0 = 2*r - 6*r + 24. Suppose 2*c - r*c + v - 9 = 0, 0 = 4*c + 5*v - 21. Is -5 <= c?
True
Let l(a) = -29*a - 725. Let t be l(-9). Is t greater than or equal to -461?
False
Let g = 7 + -13. Let d be (-32)/g*(-3 + 0). Let f be (2/d)/((-21)/12). Which is greater: 0 or f?
f
Let s be ((-2)/(-3))/((-1)/(-6)). Let b(c) = 2*c + 3 - 3*c + s - 2. Let x be b(8). Which is smaller: -5 or x?
-5
Let x = -1181 + 1184. Suppose 5*z + 3*f - 16 = 7*f, 20 = 4*z - 5*f. Suppose z*u - 4 = -2*u - 2*s, -9 = -2*u - x*s. Which is smaller: u or -1?
u
Let h(l) = l**3 - l + 10. Let i be h(0). Let c = 192/5 - 148/5. Which is smaller: i or c?
c
Let r = -76.6 + -15.4. Which is greater: r or 1?
1
Let d = 0.035 + 132.965. Let j = d - 102. Is -1 equal to j?
False
Suppose -2*l - 6 = -0. Let i be -4*(5 + l - 4). Which is smaller: -1 or i?
-1
Let w be -1 - -1 - 28/(-14). Let s be 0 + w/16*2. Is s smaller than 1?
True
Let c(o) = -195*o - 69. Let k be c(-3). Which is smaller: 517 or k?
k
Suppose -1 - 5 = 3*f, -5*f + 80 = 5*c. Let o = c - 12. Suppose 2*i = 0, -l + 2*i - o*i = 0. Which is greater: -3/7 or l?
l
Let v be ((-10)/(-8))/5 - 39/(-52). Let d(z) = z + 10. Let r be d(-8). Let l be ((-8*v)/4)/r. Which is bigger: l or -2?
l
Let z = -12 - -16. Suppose z*h - 24 = -u, 37 = 3*h - 0*u - 4*u. Let n be 1/(-5)*(h - -1). Which is bigger: n or 1/3?
1/3
Let b = -1457 - -1380. Which is smaller: b or -2/5?
b
Suppose -2*i - 104 = -2*d, -92 = 2*d - 4*d + 5*i. Suppose -d = -6*l + 4. Let o be (4/l)/(5/50). Is 5 at most o?
False
Let x = 29.5 + -21. Let v = -9 + x. Let p = 0.8 + v. Is p at most -1?
False
Let t(c) be the third derivative of c**6/120 - c**5/30 - c**4/24 - c**3 + 2*c**2. Let z be t(3). Let x = 2 + -3. Is z bigger than x?
True
Let w = 0.016 - 0.116. Which is smaller: 78 or w?
w
Let r = -419 - -393. Are r and -24 equal?
False
Let a be ((-5)/(-2))/((-4