. Suppose 2*o + x = -2*a, -5*o + 4*a - 32 = 5. Which is bigger: -10 or o?
o
Let y = -32 - -51. Let u = -0.19 - -0.49. Which is greater: y or u?
y
Suppose -2*l = 2*b, 4*b + 5 = l + 15. Let a(x) = -9*x - 2. Let h be a(l). Let r be (12/h)/((-12)/8). Does r = 8?
False
Let p = -44.85 + -0.15. Let y = p + 44.1. Which is greater: y or 0?
0
Suppose -4*t = n - 1, -9*t + 12*t - 17 = -4*n. Let l(o) = 14*o**3 - o. Let s be l(1). Let i = n + s. Which is smaller: i or 19?
i
Let s = 219 + -198. Is 22 > s?
True
Suppose 2*y = -5*a - 368, -8 = -16*a + 20*a. Which is greater: y or -359/2?
y
Suppose -4*o = -0*o - 8. Suppose -25 = -5*m, s - 7 = -m + o*m. Let z = -13 + s. Is z != -9/5?
True
Let f = 19/237 - -112499/948. Is 120 at least as big as f?
True
Let q be ((-21)/(-7))/(402/4). Let p(i) = i**2 + 5*i - 6. Let y be p(-6). Which is bigger: q or y?
q
Let n = -488 - -489. Is -3/301 less than or equal to n?
True
Suppose -4*m + 224 = i - 127, 3*m - i = 258. Which is smaller: m or 85?
85
Let l = -24939/1285 + 2/257. Is -18 smaller than l?
False
Let q = 17 - 17.3. Let a = 0 + q. Is -6 equal to a?
False
Let s = 24 - 37. Suppose 0 = -4*w + 3*g + 2*g - 23, 0 = 2*w - 5*g + 19. Is s at least w?
False
Let g(c) = c**3 + 17*c**2 - 2*c - 28. Let n be g(-17). Suppose -18 - 144 = -n*m. Do m and 27 have different values?
False
Suppose 12*w = 17*w + 2415. Is w greater than -482?
False
Suppose -4*j + 4*t - 204 = -0*t, j + 4*t = -71. Let l be 24/(-33) + (-10)/j. Which is bigger: -1 or l?
l
Let u be 4/22 - 150/(-385). Let q be (0 - 3) + (0 - (0 - 4)). Which is smaller: u or q?
u
Suppose 2*b - 6*b = 36. Let d(t) = -t**3 + 8*t**2 - 4*t - 31. Let u be d(7). Which is greater: u or b?
b
Let u = 1/9886 + 1512553/49430. Is 32 less than u?
False
Suppose 0 = -14*p - 5*p. Let s(m) = -m**3 - 9*m**2 - 8*m + 7. Let w be s(-8). Is w at least as big as p?
True
Let n(d) = d - 2. Let f be 1 - 1 - (-9 + -2). Let h be n(f). Let z = -2 + h. Is 4 less than z?
True
Let v = -4.3 - 0.7. Let n = -5 - v. Let a = -0.3 + n. Which is smaller: a or 3?
a
Suppose 3*b - 228 = -3*v, 0 = -b - b + v + 164. Is -2 greater than b?
False
Let v = -2943 - -50081/17. Which is bigger: v or 4?
4
Let d be ((-52)/6)/(-3*6/189). Let k = d - 88. Which is greater: k or 7/2?
7/2
Let m = -9.69 - -10. Let h = -0.69 - m. Which is smaller: h or -29?
-29
Let c = -590/77 - -45/11. Which is smaller: c or -3?
c
Let j be ((-15792)/(-440))/(-6) - 2/10. Which is bigger: j or -6?
-6
Let p(f) = -11*f + 220. Let c be p(21). Are -0.12 and c equal?
False
Let w be (8 + -4)*14/(-8). Let a(k) = k**2 + 8*k + 6. Let v be a(w). Let m = 35 - 839/24. Which is smaller: m or v?
v
Let r = -386 + 381. Let f = 0 + 0. Which is greater: r or f?
f
Let q be (-1)/((-15)/223) - 36/(-270). Suppose 7*z - 4*z = -3*h + q, 2*h = z - 14. Is z >= 6?
True
Suppose 0 = -3*f - 2*d - 114, -3*d + 171 = -5*f - 0*d. Let x be ((-6)/(-12))/((-2)/f). Which is bigger: x or 1/3?
x
Let w = 37/143 + -1/13. Suppose 7*l + m = -13, -4 = -l + m + 1. Which is smaller: w or l?
l
Let x(h) = -6*h + 10. Let t be x(4). Which is smaller: t or -55/4?
t
Let g = 246 - -81. Let q = g - 349.3. Let r = q - -23. Which is greater: 0.1 or r?
r
Suppose 0 = -4*p - 12 - 8. Suppose -10*j + 8*j - r = -62, r + 58 = 2*j. Suppose -j = 5*n - 3*b, 2*n - 5*n + 3*b - 18 = 0. Which is smaller: p or n?
n
Let r be (-160)/54 - (18 - 19) - -2. Is 4 at least as big as r?
True
Let u = -0.088 - 0.044. Let z = -0.058 + u. Is z > -1/3?
True
Let d = 258.58 + -256. Let b = d - 0.58. Is b != 9?
True
Let q(y) = -3*y**3 - 2*y**2 - y. Let b be q(-1). Suppose -4*l - x + 9 = 28, 7 = -b*l - x. Is -5 greater than l?
True
Let q be ((-30)/178)/((-42)/(-28)). Is -1 greater than or equal to q?
False
Let x = 0.2707 + -109.3707. Let n = 102 + x. Let w = n + 0.1. Which is bigger: w or -1/3?
-1/3
Suppose 0 = -2*s - 3*s + 20. Suppose 18 = s*d - 2*n, -2*n = -2*d + 3*n + 21. Suppose 0 = 2*j + 7*b - 5*b + 2, 4*j = -b + 11. Is d at least j?
False
Let q = -8 + -14. Let a = -21.733 + -0.067. Let o = a - q. Is 0.7 at most o?
False
Let u(i) = 6*i + 8. Let h(n) = 7*n + 9. Let y(l) = 5*h(l) - 6*u(l). Let k be y(-3). Do 2/139 and k have the same value?
False
Let k be (5 - (-20)/10) + -8. Which is smaller: k or -41?
-41
Suppose 0*w + 5*w - 16 = -2*a, -a = 2*w - 6. Let g(y) = -y**2 + 4*y. Let l be g(w). Suppose 14*c + 29 = 12*c - 5*x, x - 1 = 3*c. Is c at most as big as l?
True
Let i be (0 - 1) + 61*-3. Suppose 4*v - 3*x + 75 = 0, -3 = 2*v - x + 32. Let q be (-3)/v - i/(-20). Are -9 and q unequal?
False
Let u(q) = -2*q**2 + 14*q + 15. Let x be u(8). Let s(f) = f**3 - 12*f**2 + 10*f + 12. Let b be s(11). Which is smaller: b or x?
x
Suppose 0 = 3*x - s - 272, 5*s + 10 = -0. Suppose -2*m = 3*m + x. Let u = 17 + m. Which is smaller: u or -1/8?
u
Suppose k = -5*a - 89, -k = a + k + 25. Let n = -180.9 - -181. Are a and n unequal?
True
Let c = 0.356 - -0.744. Which is greater: c or 15?
15
Let q be -2*(755/(-150) + 5)*18. Is q smaller than 5?
True
Let j = -32.3 + 31. Let b = 0.3 + j. Let d(a) = -a**3 + 14*a**2 - 21*a - 35. Let r be d(12). Which is smaller: r or b?
b
Let h(p) = 3*p + 13. Let x be h(-4). Suppose 3*o = d - 6, -4*o - x = -d + 7. Is -4 bigger than d?
False
Let k = -22 - -15. Let s be 2 + (-4 - -4) + k. Let h be ((-8)/80)/((-2)/s). Which is smaller: h or -2/9?
h
Let m be (-72)/(-16) + (-6)/4. Let b be (2/(-24))/(m + 21/(-6)). Which is smaller: b or -2?
-2
Let s be (-32)/496 + 64/31. Let i = 3 - 2. Is s at least i?
True
Suppose -3*z = -1 - 2. Let q be 14*-2*z/4. Let l = -9 - q. Is -4/7 < l?
False
Let v(w) = -4*w - 38 + w**2 + 4*w + 4*w. Let o be v(0). Which is greater: -37 or o?
-37
Let w = 225.5 + -92.6. Let l = 133 - w. Is -36 bigger than l?
False
Let q be ((-66)/(-220))/((-24)/(-20)). Is q at most as big as 278?
True
Let s = -121.92 + 119. Let u = s + -0.08. Let h = u + 7. Which is smaller: h or -2?
-2
Let u = 2.37 - 2. Let q = 0.13 - u. Let x = -0.14 - q. Which is bigger: -3 or x?
x
Let r(y) be the third derivative of 3*y**4/8 - y**3/2 + 3*y**2. Let s be r(2). Let c be s/(-75) - (-1 - -1). Which is smaller: c or 1/4?
c
Let m(n) = -4*n + 5. Let y be m(4). Let l = y - -14. Let t be 325/(-78) - (-2)/l. Which is bigger: t or -4?
t
Suppose -33*s - 34*s = -134. Which is bigger: 33 or s?
33
Let i = -376 + 392. Is i at least 198/13?
True
Let r = -40 - -40.025. Let x = 0.025 - r. Which is smaller: x or -7?
-7
Let x(r) = 2*r**2 - 17*r - 9. Let n be x(9). Suppose -9*p + 3*p - 2*p = n. Does -12/13 = p?
False
Let z(p) be the third derivative of 67*p**4/8 + 9*p**2. Let q be z(-10). Let s be 1280/q + (-4)/(-6). Which is greater: s or 1?
1
Suppose -5*s - 16 = -7*s. Let m = 3 + s. Let j = 6 - -4. Which is bigger: m or j?
m
Let m = 131 + -88. Suppose 3*o = 4*o - m. Let t = -171/4 + o. Is t less than -1?
False
Let o = 823.94 + -837. Let r = o + 13. Which is smaller: r or 2?
r
Let o be (-344)/1710 - (3 + (-174)/54). Is 0 less than or equal to o?
True
Let g(j) = 2*j + 23. Let v be g(-10). Let d = v + -2. Suppose 2*q - 3*q = -2*y - 7, 0 = -5*q + y - d. Is q greater than or equal to -1?
True
Let o be 2*1/(-4)*(-1 - -1). Suppose -2*q + 13 + 9 = o. Is -2/5 smaller than q?
True
Let s = 0.04 - 0.04. Let f = -0.14 - -0.26. Let z = 9.12 - f. Is s at most as big as z?
True
Suppose -4*v + 2 = -3*v + j, 4*v + 8 = 4*j. Let g be ((-2)/(-6))/((-12)/10). Which is smaller: g or v?
g
Let y(o) = -o**2 + 13*o - 2. Let x be y(-4). Let r be 104/234*((-67)/x + -1). Which is bigger: 1 or r?
1
Let f(u) = 5*u**2 + u + 2. Let t be f(-1). Suppose 10*n - 4 = t. Are -2/37 and n equal?
False
Suppose 3*g = -3, 9 = u - 5*g - 6. Which is smaller: 11 or u?
u
Let z = 73 - 61. Suppose -12 - z = -3*q. Let k(v) = v**2 - v + 9. Let r be k(0). Is r smaller than q?
False
Let h = 2.519 - 2.56. Are h and 2/27 equal?
False
Let i = -11351/9 + 1261. Which is smaller: -69 or i?
-69
Suppose 4373 = -125*f + 1623. Which is smaller: f or -104/5?
f
Let a = 0.031 + 37.969. Let f = -1 - a. Let j = f + 37. Is j equal to 15/7?
False
Let j be (0 + 3)*(-5)/15. Suppose 7 - 16 = 3*t. Which is greater: j or t?
j
Let m(g) = -3*g**2 + 13*g + 1. Let f(x) = 2*x**2 - 9*x - 1. Let n(p) = 7*f(p) + 5*m(p). Let t be n(2). Is t smaller than -10?
False
Let k = 168.2 + -168.3. Is 1101 equal to k?
False
Let k(m) = m**2 - 2*m - 3. Let x be k(3).