ppose 0 = -5*y + 2*v - 13 - 69, 5*y = -v - w. Let x = 11 - 26. Which is smaller: y or x?
y
Suppose -3*i - 6570 = -2346. Let w = -9805/7 - i. Is 7 at least as big as w?
False
Let o(z) = z + 9. Let c be o(-3). Let a be (-1)/c - ((-13)/6 + 2). Which is greater: a or -1/52?
a
Let k = 0.01 + -0.01. Let u = 3 - k. Let m = -0.6 + 0.5. Which is smaller: u or m?
m
Let a be 294*-2*51/156. Suppose 3*r - 33 = 3*t - 612, 3 = -3*r. Let m = a + t. Is -1 >= m?
False
Let z = -1257/842 + -2746357/24418. Let c = z + 114. Is c less than or equal to 1?
True
Let i = -449 + 562. Is i >= 111?
True
Let o = 6475/17 + -381. Suppose 0 = -i + 6 - 3. Suppose -i = 3*k - 0*k. Is k < o?
True
Let h = -993 + 908. Which is greater: h or -88?
h
Let z(r) = 5*r**3 - 3 + r**2 - 3*r**3 - r**3 - 2*r**3 + r. Let g be z(0). Let n be (-2)/5*5/g. Is n at most as big as -4?
False
Let h = 0.11 - -0.09. Let n = -6.6 - -8. Let z = n + -2.4. Which is bigger: h or z?
h
Suppose 0 = 12*j - 37*j. Does -1/45 = j?
False
Let u be (100/(-70))/((-2)/(-14)). Which is greater: u or -0.2?
-0.2
Let a be 161/21 + 16/12. Let t = -26 + 18. Let l = a + t. Which is greater: -11 or l?
l
Suppose -4*d - 22 = -2. Let n = -632 + 893. Let i = n - 263. Is i less than or equal to d?
False
Let o = -17/6 + 8/3. Let b(m) be the second derivative of -m**3/6 + 5*m**2/2 + m. Let u be b(4). Which is smaller: u or o?
o
Let n be -2 + 2/5 + (-40)/(-25). Let c be -4 + (236/80 - -1). Do n and c have the same value?
False
Suppose 3*f = -o + 235, -3*f + 723 = 11*o - 8*o. Are o and 975/4 unequal?
True
Let z = 3432/5 + -31628/45. Let w = -1951/117 - z. Which is bigger: w or 1?
1
Let u be 6 + -20 + 2 + 7. Let g(i) = -3*i + 5. Let f be (5/(-2))/(-5)*8. Let k be g(f). Is k at least u?
False
Suppose 0 = -14*f + 5*f + 675. Let h be 4/3*f/240. Which is greater: h or -1?
h
Let c(z) = -103*z**2 + 2*z - 4. Let u(s) = -s**3 - 6*s**2 + 2. Let j be u(-6). Let o be c(j). Let f = o + 2892/7. Which is bigger: f or 0?
f
Let u = -55 - -37. Let a be u/(-4)*((-4)/3 - -2). Is a greater than 4?
False
Let q be (120/700)/(2/(520/(-6))). Is q at least -8?
True
Let l = -4 + 2.7. Let y = l + 14.3. Let p = -9/160 + -11/32. Which is smaller: p or y?
p
Suppose 0 = 5*l - s + 10, 0 = 6*l - 2*l + 2*s + 8. Let w be (l/10)/(14/6055). Let u = -88 - w. Which is smaller: -3 or u?
-3
Let n(u) = 7*u - 49. Let s be n(7). Are -5 and s nonequal?
True
Let v be 0*((-54)/18 + 7/2). Is 0.5 less than or equal to v?
False
Suppose -3*l + 0*k + 2*k + 23 = 0, -2*k + 2 = 2*l. Suppose -6 = 3*o, 2*o - 72 = -5*b + 3*o. Let i = b + -7. Is l at least as big as i?
False
Let w = -1.2 + -13.8. Let d = w + 14. Let z = 51 - 40. Is z bigger than d?
True
Suppose 5*w + 5 + 0 = 0. Let c be ((-27)/(-3) - 4) + 1. Suppose -6 = c*h - 4*h. Which is smaller: h or w?
h
Suppose 0 = -3*s - 0*k + 5*k + 11, 4*s - 3 = -5*k. Suppose 2*f - 6 = 3*n + f, 5*f = 2*n + 17. Is s >= n?
True
Let s = 9 + -3. Let r(q) = 3*q + 35. Let u(l) = -l - 12. Let i(f) = s*r(f) + 17*u(f). Let y be i(-5). Which is greater: 1/15 or y?
y
Let j be 352/6*(-8 - -5). Is j greater than or equal to -176?
True
Let t(w) = 9*w + 271. Let b be t(-30). Do -1/403 and b have the same value?
False
Let c = 370 - 370.02. Is -2 less than c?
True
Let f = 6 + -10. Let o be 108/(-88)*f + -4. Let l(y) = -y + 8. Let g be l(6). Which is smaller: g or o?
o
Let u be (-7 + -3)*(-44)/8. Are u and -0.6 equal?
False
Suppose 2 = -h - 0. Let k be (h - -1)/((-1)/2). Suppose 11*t = 10*t - k. Which is smaller: t or -1?
t
Suppose -3*o - d - 3 = 0, -4*d = -o + 4 + 8. Which is bigger: o or 2/125?
2/125
Let y = 3.94 + 44.06. Is 2/13 at most y?
True
Let i = 563/13 + 79/39. Let d = i + -45. Is d greater than -1.5?
True
Let w be 2/(-4)*-2 - 1. Suppose 2*b + 3*v + 9 = w, 6*b - 2*b = -2*v - 6. Let p be 8/(-30) + (-4)/10. Which is greater: b or p?
b
Suppose 0 = -i + 5, k - 2*i - 51 = 63. Which is smaller: 126 or k?
k
Let r be (-5 - -4) + -4 + (-23 - -5). Is 2 at most r?
False
Let p = -4 - -3. Let i = 271.1 + -253. Let a = i - 16. Is a <= p?
False
Suppose 17 = -z - 5*y, -z = z - 3*y + 8. Suppose 4*w - 21 = -117. Let v = w + 16. Which is smaller: z or v?
v
Suppose -5*b = c + 398 - 107, -566 = 2*c + 2*b. Let v = c - -8991/32. Is v less than -1?
False
Let z be 980/(-294)*42/4. Are -44 and z nonequal?
True
Let a = -3/4 - -1/12. Does a = 1?
False
Let m be (-2 - 3) + (-17 - -61). Are 30 and m unequal?
True
Let a = 78 - 56. Let x = a + -10. Let u = x - 13. Which is bigger: -2/3 or u?
-2/3
Suppose -1 = p, 4*p + 16 = 2*u - 0. Let k(s) = -16*s - 243. Let n(m) = 8*m + 123. Let j(x) = 3*k(x) + 5*n(x). Let i be j(-15). Are i and u unequal?
False
Let t = -79 - -81. Suppose -v - t*k = -44, 4*v + 2*k = -2*k + 176. Is 45 at most v?
False
Let z(h) = -35*h - 63. Let y be z(-14). Is y less than 427?
False
Let a = -599 - -553. Is a at most as big as -48?
False
Suppose -60*a = 60 - 180. Does 7/6 = a?
False
Let f be -5 - 8/(-2) - (-8)/4. Is 10/39 less than f?
True
Suppose 0 = -5*c + 5, -f - 1 + 10 = 5*c. Suppose -5*x = f*m + 18, -4*x = 4*m - 5*m + 6. Is m < -2?
False
Let q = -1317 + 1314.7. Let g = 0.03 - -4.97. Let u = g + -4. Which is greater: q or u?
u
Suppose -3 = -k, 0*b + 2*b + k = -53. Let o = -17 - b. Suppose 3*w + 2 = o, -5*c = 2*w + 4. Which is smaller: -1 or c?
c
Let j be (0 - 8/(-6))*(-165)/(-11). Let g(c) = -c**3 + 19*c**2 + 19*c + 21. Let a be g(j). Which is smaller: a or -1/159?
-1/159
Let g be (2/(-4 + 0))/(1/(-74)). Does 37 = g?
True
Let p(k) = k**2 - 4*k + 1. Suppose -o + 7 - 2 = 0. Suppose o*y - 6 = 9. Let z be p(y). Is z > -1?
False
Suppose -2 = -l - 0*l. Suppose -3*m + 3*f - 12 = 0, 2*m = -0*m - l*f + 12. Are 6/11 and m equal?
False
Let o be 330/4 + (-322)/28 + 11. Is 77 > o?
False
Let u be (0 + (-6)/(-9))*-3. Let w be (-2 + (-380)/(-185))/(u*1). Is -1 less than or equal to w?
True
Let f(j) = -j**2 + 4*j + 38. Let l be f(8). Is l greater than 78/11?
False
Let z = -10 + 6. Let x = 229 + -232. Is z at most x?
True
Let c = 202 - 201. Which is greater: 2296 or c?
2296
Suppose 3 + 2 = 5*o. Let f = -229/10 + 23. Which is smaller: f or o?
f
Let j(c) = 3*c + 50. Let n be j(-16). Let l = 3 - 2. Which is greater: l or n?
n
Let a be (-1)/7*(1 - 0). Let t = 1179 - 1181. Which is bigger: a or t?
a
Suppose 0 = 15*d - 12*d + 192. Is d < -64?
False
Let x = 224862/82175 - -2/4325. Do x and 3 have the same value?
False
Let a be (-6)/4*(-5 + 3). Let u be -2 - (1767/(-270) + a). Let c = 2/45 - u. Which is bigger: -1 or c?
-1
Let n be (-1)/(-9) + (-1695)/(-10260). Let i = n + 9/19. Which is smaller: 2 or i?
i
Suppose y - 229 = -255. Is y not equal to -25?
True
Let i be ((-24)/330)/((-36)/(-10)). Which is smaller: i or 1?
i
Let z be 3*(-3 + (-15)/(-3)). Suppose -z*l + l + 15 = 0. Suppose l*q = 6*q + 3. Is -5/4 greater than or equal to q?
False
Suppose 3*b + 5 - 2 = 0. Suppose 6*c + 96 = -0*c. Let j be (-68)/c*1 - b. Is 5 bigger than j?
False
Suppose -45*w + 43*w = 4. Is w less than or equal to -18.6?
False
Let b be 2 + -5 - 1*2. Let k be 2/14 + 330/(-168)*-4. Let x(i) = i**3 - 8*i**2 - 2*i + 11. Let n be x(k). Is b less than n?
False
Let k be (1 - -1)/(2/4). Suppose 0 = 6*r - k*r - 28. Suppose 2*c = -0*c - r. Which is greater: -6 or c?
-6
Let c = -868.2 + 868. Let t(v) be the first derivative of v**2/2 + 3. Let z be t(4). Is c greater than or equal to z?
False
Suppose -8*f = -6*f - 4. Let g be -3 - (4/1*-1 + f). Is 1/3 greater than or equal to g?
True
Suppose 0 = -f + 2*r - 154, -2*f - 788 = 3*f - 4*r. Is -158 equal to f?
False
Let n(m) = m**2 + 46*m - 911. Let j be n(-61). Is j greater than 6?
False
Let f be 2325/(-150)*5*1*-2. Is f not equal to 154?
True
Let q(v) = -v**3 + v**2 + 3*v + 1. Let b be q(-2). Let f = -4 + b. Suppose 0 = -5*n + f*n + 12. Is n equal to 5?
False
Let q be 6/14*2*-7. Suppose 2*f - 3 + 10 = 3*z, 4*f - 2*z = 6. Let j be -9 + -6*f/q. Is -6 greater than j?
False
Let y(f) = f**3 + 14*f**2 - f - 5. Let i be y(-14). Suppose v - 5*o = i, -5*o + 87 = 5*v - 2*v. Let t = -25 - -48. Is t < v?
True
Let l be (7 + -1)/3 + 21. Suppose -19 = 4*j - 2*z + l, -5*j = 5*z + 30. Is j less than or equal to -9?
True
Suppose 3*g - 5*f - 265 = -f, 4*f - 463 = -5*g. Which is smaller: 92 or g?
g
Suppose 1260 = -6*s + s. Which is smaller: -251 or s?
s
Suppose 0*m - 3*m = -3*x + 207, 351 = 5*x + m. Let i