Which is smaller: -70 or z?
z
Let d = -311 + 11508/37. Let v = 13 - 8. Suppose -2*h = s - v + 13, 4*s = 5*h + 20. Which is greater: d or s?
d
Let k = -1.439 - -185.639. Let g = k + -206. Let r = 22 + g. Does r = 4?
False
Let z = 22.8 + -22.676. Which is bigger: z or -1/4?
z
Let t be (-71)/284 - 22/(-56). Is t smaller than 1/195?
False
Let y = -303/5 - -3949/65. Suppose -4*s - 8 = -j, -16 = -0*s - 4*s - 5*j. Is s >= y?
False
Let u(f) = -2*f**2 - 9*f + f**2 - 4 + 3*f. Let n be u(-4). Suppose -77 + 98 = 7*o. Is n <= o?
False
Suppose -5*w + 5 = 0, 0 = -i - i - 3*w - 21. Let f = 386 + -397. Does i = f?
False
Let s(u) = -u - 4. Let m(r) = r**2 - 15*r + 11. Let q be m(14). Let h be s(q). Which is smaller: h or -2/81?
h
Let d = -84857/434 - -391/2. Let k = d + -2125/1953. Suppose f + 6 = -2*f. Which is smaller: f or k?
f
Let j = 477 - 262. Which is greater: 216 or j?
216
Let d(f) = 2*f**2 - f. Let u be d(-1). Let v be (-25)/(-10) + (-3)/u. Is v at most -7?
False
Suppose x + 2*p = 2*x + 4, 5*x + 44 = -2*p. Is -10 at least x?
False
Let f = -242 + 117. Which is greater: -124 or f?
-124
Let s = 28.1 - 3.1. Let g = s + -21. Is 0.1 at most as big as g?
True
Suppose 0 = -12*h + 2*h - 5*h. Is h > 4/227?
False
Let r(b) = b**3 - 4*b + 30. Let a be r(0). Suppose -3*k - 2*k = -145. Is a smaller than k?
False
Let x = -1002/3535 + -6/101. Which is bigger: x or 1?
1
Let p = 217 + -276. Which is smaller: p or -58?
p
Let f(r) = r**2 + 6*r - 5. Let m be f(-7). Suppose -3*u - 35 = m*u. Suppose -2 = x, 5*x - 20 = 225*c - 220*c. Which is smaller: c or u?
u
Let a be (-2 - -1)*5/190. Which is smaller: -1 or a?
-1
Let j = 295 - 294.6. Which is greater: 0.15 or j?
j
Let n = -453 - -452. Is -102 greater than n?
False
Let d = 43 - 41. Suppose 23 = d*k - k. Which is smaller: k or 22?
22
Suppose 0 = a + 4, 3*a = -4*s + 3 - 19. Let z be (-321)/(-323) + (-1 - 0). Is z >= s?
True
Let m = 0.8 + 4.2. Suppose 2*h = v + 6, 4*v - 2 = 3*v. Which is smaller: m or h?
h
Let g be (-12 - -1) + (-17763)/(-1612). Suppose 4*h - 11 = 2*k - 1, -3*k - 15 = -5*h. Is h > g?
False
Let z be (-4)/50 + -4 + 0 + 4. Let k(h) = h**3 - 6*h**2 - 7*h - 1. Let w be k(7). Which is smaller: z or w?
w
Let w = -0.249 + 18.149. Let b = w + 8.1. Is 0 bigger than b?
False
Let y(d) = -d + 14. Let j be y(11). Let m = -3 + j. Let a be (m*(-2)/2)/(-2). Is -2 greater than a?
False
Let i = -4727 - -4722. Let r = -3 - -2. Is i less than r?
True
Let d be 6/(-2) - (18460/(-1230) - -12). Is 0 < d?
True
Let d = 6 - 5. Let l(b) = -4*b**2 + b. Let t be l(d). Let j be -1 + t + 4 + 1. Is 1 greater than j?
False
Let b = -73149 - -4462247/61. Let g = -106273/41053 + b. Let x = -1281/43745 - g. Which is greater: x or -1?
x
Let b = -1070 - -1503. Let f = -9957/23 + b. Is f > 0?
True
Let z = -30 - -23. Let c be (-184)/(-18) + 6/(-27). Let g = c - 18. Is g smaller than z?
True
Suppose 3*w - 7 = -4*t + 7, 14 = 3*t + 4*w. Suppose t*r = -r. Is 3/20 less than or equal to r?
False
Let p = 2034 + -2035. Which is smaller: p or -53/38?
-53/38
Let m = 22 + -32. Let z be (-451)/(-308) - 7/4. Which is smaller: z or m?
m
Let f(a) be the third derivative of a**5/60 - a**4/8 - a**3/6 + 6*a**2. Let y be f(10). Let z be 8/y*(-12)/(-16). Which is greater: 0 or z?
z
Let q = 242 + -242.2. Is q not equal to -50?
True
Let r = 364 - 338. Suppose 0*j - 80 = 4*j. Let s be j/70 + r/(-7). Is s equal to -8/3?
False
Let c be (2/(-4)*-2)/(45/(-45)). Are 1/380 and c equal?
False
Let f(n) = 4*n + 4 + 2 - 1 + n**2. Let v be f(-4). Suppose -v = -2*i + d, 0*d = 3*i - 4*d - 15. Is i > 0?
True
Let f = -5.08 + 5. Let x = 0.07 - f. Let u = 0.05 - x. Which is smaller: u or 2/15?
u
Let h = 0.586 - 0.586. Is h at least as big as 1/89?
False
Let z(m) = -m**2 - m + 6. Suppose 4*j = 5*j. Let y be z(j). Let b be y/(-24) + (-11)/(-28). Is b smaller than 0?
False
Let w = -929 - -574. Let n = 8521/24 + w. Let i = n + -3/8. Which is bigger: i or 2/5?
2/5
Let q = -3 - -4. Let p = -11 - -10.6. Are p and q non-equal?
True
Suppose 86*t = 81*t - 880. Is -178 < t?
True
Let w = -3 - -3. Let m = 228/13 - 1583/91. Which is bigger: w or m?
m
Let w = -0.97 - -0.94. Let q = 24.57 + -26.6. Let y = q - w. Which is smaller: 0 or y?
y
Suppose -259 = 24*c + 77. Is c >= -0.39?
False
Suppose 2 = -w, 2*m - 3*w - 4 = 2*w. Let g be (-2)/m - (-4)/(-6). Let x(c) = c**2 - 48*c - 205. Let o be x(52). Which is bigger: o or g?
o
Suppose -20 = -4*y - 3*c, -4*y + c + 24 = 5*c. Suppose -y*r - r = -12. Suppose -3*n + r = 1. Is -1/13 != n?
True
Let i(t) = -3*t**3 - 3*t**2 - 4*t - 2. Let y be i(-2). Suppose -2*k + k - 4*r = -18, -3*k - 3*r = -y. Which is bigger: 10/9 or k?
k
Let z = 410 + -412. Which is smaller: z or -12?
-12
Let o(m) = -m**3 - m**2 + m - 1. Let f(t) = -t**3 - t**2 + 4*t - 1. Let u(j) = f(j) - 2*o(j). Let s be u(-1). Is s less than -2/15?
True
Let v(c) = 7*c + 23. Let h be v(10). Let z = h - 114. Is -1 >= z?
True
Let a(r) = r**3 + 72*r**2 + 76*r + 355. Let y be a(-71). Let c = 1925351/442 - 4356. Let v = c + 409/442. Is y at most v?
True
Let q be 2/(-8) + 2436/(-112) - -3. Suppose -2*f - f = 54. Is f at least as big as q?
True
Let s be 18*(3/(-9) - -1). Let u(n) = -n**2 + 68*n + 623. Let m be u(-8). Are s and m non-equal?
True
Let n be (3/76)/(6/4). Let v = -1/710 - -1423/2130. Is n greater than v?
False
Let u(z) = z**3 - z**2 + 2*z - 1. Let f be (4/(-6))/(2/(-3)). Let y be u(f). Let h be 3/2 + 0/(-1). Which is smaller: h or y?
y
Let j be (3/(-6))/((-1)/(-52)). Let u = 29 + j. Suppose -5*g = 3*v - 11, -g = -u*v + 3*g + 29. Which is smaller: 25/4 or v?
25/4
Let u = -16515/16 - -1032. Let q = 0.1 + -0.1. Which is smaller: q or u?
u
Let b be (-4852)/(-102) - 11/66. Let g = 4/17 - b. Let l = g + 47. Are 1 and l non-equal?
True
Let m be 1/(1*2 - 45/21). Is -26 at most as big as m?
True
Suppose 0 = -5*z + 2*d + 15, d + 3 = 3*z - 7. Suppose 4*n + 9 = -5*l, n + z*l = -2*n - 8. Which is greater: n or -14/13?
n
Let q = 19 - 33. Let m = -13 - q. Suppose -13 = -4*z - m. Which is smaller: 4 or z?
z
Let v = -295716/101 + 2928. Which is smaller: v or -1?
-1
Let u(x) be the first derivative of -x**3/3 - 5*x**2 - 17*x - 2. Let j be (-2 + (-32)/(-12))*-12. Let b be u(j). Is -1/7 < b?
False
Let n = -0.14 + 0.26. Let u = -0.8 - 1.2. Which is smaller: u or n?
u
Let l(x) = x**2 + 20*x - 95. Let z be l(4). Which is smaller: -1/9 or z?
-1/9
Let v = -33 - -31. Let r(q) be the first derivative of -q**3/3 - 3*q**2/2 - q - 5. Let p be r(v). Is 1/4 bigger than p?
False
Let r be (-21)/6 - (-4)/(-8). Suppose -2*u = -6*u + 24. Let j(p) = -5*p + 26. Let w be j(u). Is w less than or equal to r?
True
Let b = 0 + 0. Let q be ((-14)/(-6))/(16/(-288)). Let f = -48 - q. Which is greater: f or b?
b
Let l(y) = -2*y**2 - 37*y - 84. Let i be l(-9). Is 606/7 at most as big as i?
True
Suppose 9*c - 385 - 506 = 0. Which is smaller: 199/2 or c?
c
Suppose f - 17 = -1. Suppose 0 = 6*b - 10*b - f. Let t be 24/(-15)*(-20)/(-8). Is b bigger than t?
False
Suppose -3*f + 36 = 4*u, -4*f + 0*f - u + 35 = 0. Suppose -2*g = -2*h + f, -5*h - 30 = 4*g + g. Which is bigger: g or -14/3?
-14/3
Suppose 5*d - 474 = -y, -5*y + 2*d = 1306 - 3622. Is 464 <= y?
True
Let r = -7 + 20. Is 13 equal to r?
True
Let p be ((-36)/(-15))/(10/75). Suppose p = 5*y - 7. Is y greater than or equal to 7/2?
True
Let o be 1/(-5) - 216/20. Let b = 3 + o. Is b at least as big as -9?
True
Let v be 3/(-2160)*-295 + (-2)/9. Is -1 at least v?
False
Let h = 32.54 - 32.5. Let w = 3 - 2.7. Is w smaller than h?
False
Suppose -o - 1 - 28 = -4*l, 85 = -5*o + 5*l. Are o and -11 equal?
False
Let r = -369 - -412. Which is bigger: r or 41?
r
Let r(d) = -d**3 - 12*d**2 - 11*d + 2. Let y be r(-11). Suppose -y*b = -2*n + 10, -3*n - 2*b - 18 = -7*n. Let o be n/2*(6 - 1). Which is bigger: 11 or o?
11
Let u(h) = -5*h**2 - 16*h - 23. Let y(d) = -9*d**2 - 31*d - 45. Let b(q) = -7*u(q) + 4*y(q). Let j be b(-6). Which is bigger: 18 or j?
18
Let m be (-8 + (-184)/(-20))/(12/(-15)). Are m and -93 equal?
False
Let b be (-7)/(35/(-20))*7/28. Is -4/129 at least b?
False
Suppose -5*a = -2*l - 19, -2*l - 3*a = -18 - 3. Let o be (-2)/4 + 5 + (-3)/18. Which is smaller: o or l?
l
Let y = 91 + -93. Which is greater: -3/2 or y?
-3/2
Suppose -12*i - 1210 = -334. Is -73 != i?
False
Let s = 0.08 - 0.28. Let j = s + 0.3. Are