= -3*o. Suppose -2*z - 10 = -2*v - 6*z, 2*v + j*z = 0. Which is greater: -17/3 or v?
v
Suppose 2 = 3*u - s - 4*s, 0 = 3*s - 15. Let h(k) = k**3 - 3*k**2 - 15*k - 4. Let m be h(6). Let i = m + -5. Is i <= u?
True
Let g be ((-18)/(-12))/((-2)/(4 + 8)). Let f be 5*(2 + 2*-2). Which is smaller: f or g?
f
Let n be (-1)/(-8)*800/150 - (-2)/(-3). Let t be ((-1)/(-22))/((-1)/6). Are n and t equal?
False
Let o be ((-21)/(-1085))/((-32)/20). Which is smaller: o or 1?
o
Let a = -5.44 + 7.64. Which is bigger: -1/5 or a?
a
Let m = -0.94 + 0.901. Let l = -0.081 + m. Does -0.1 = l?
False
Let n = 11 + -17. Let z be 1/(2 + n + 3). Let s be (-5)/(-10) + z/(-2). Is 22/9 less than or equal to s?
False
Let a = 499 - 502. Let m = -21 + 91/5. Is a at most as big as m?
True
Suppose -20*c + 25*c - 4*k + 2685 = 0, -k = -4*c - 2148. Which is bigger: -538 or c?
c
Let j = -15116 - -7376605/488. Let o = j + 2949/3416. Is o less than 2?
True
Let h(t) = 6*t**2 + 14*t + 32. Let u be h(-4). Is 71 bigger than u?
False
Let f = -8 + 8. Let w be f + (-4)/(-2) + -3. Which is smaller: w or 0?
w
Let n be 0 - 1 - (-22 - -11). Suppose 3*d - 5*o = -23, d + d + 2*o + n = 0. Let k be (d/(-4))/((-36)/(-20)). Which is smaller: 1 or k?
k
Suppose -7*u = -1810 - 1389. Is 0.1 > u?
False
Let o = 7 - 4. Let t = 753 + -753. Is t smaller than o?
True
Let w = -1153/1560 - -17/24. Suppose 0 = 3*m + t + 1 - 3, 2*m - 3 = t. Is w less than m?
True
Let r = -0.0892 - 0.0108. Which is smaller: -2/65 or r?
r
Let t(x) = -4*x - 267. Let k be t(-68). Which is bigger: k or -217?
k
Let s = 20.977 - -0.023. Let y = s - 22. Suppose -3*u = -2*f - 39, -4*u + 0*u - 2*f + 52 = 0. Do y and u have different values?
True
Let y(z) = z**2 - 9*z - 29. Let w be y(12). Suppose 5*d + 15 = 0, -2*v - 3*d - 18 = -w. Is -1/134 > v?
True
Suppose -3*m + 0 = -6. Suppose 3*h = -5*t - 292, -6*h = -m*t - h - 92. Let j be ((-16)/t)/((-6)/14). Is -2 at least as big as j?
False
Let h(z) = 6*z - 2. Let k be h(1). Is k smaller than 1?
False
Let m(n) = 9*n + 11. Let k be m(-3). Let q = 19 + k. Which is smaller: q or 3/2?
3/2
Let x(d) be the third derivative of d**4/8 + 2*d**3/3 - 5*d**2. Let f be x(-3). Let b be (f/35)/(10/(-7)). Which is bigger: 1 or b?
1
Let g(s) = s**2 - 5*s - 3. Let v be g(5). Let m be 1*(-1 - 0)*-4. Suppose 0 = 2*i + 3*f + 5, 4*i = -m*f + 3 - 15. Is v greater than or equal to i?
True
Suppose 0 = -26*l - 4*l - 60. Is 0.5 > l?
True
Let u be 1 - (-10)/(-6) - 728/168. Suppose 4*t = -2*x - 44, x - 3 = 1. Let p = t - -8. Is p less than u?
False
Let p be 4 - 8/(-4)*-2. Suppose 5*q - q = p. Suppose q = -5*x - 4*n + 3*n + 47, -5*n = 2*x - 28. Which is greater: x or 10?
10
Let c = -1262.7 - -1260. Let n = -3.97 + -0.73. Let r = c - n. Which is greater: -1 or r?
r
Let n = 95 - 93. Suppose 3*z + 7 = n*d, -4*z = 3*d + 19 - 4. Does -2/321 = d?
False
Let o be ((-16)/(-170))/(550/125). Is o <= 1?
True
Let k be (7 + (-348)/60)*(-1112)/6. Which is smaller: k or -223?
-223
Let s = 10 - 16. Let g = 864 + -872. Are g and s non-equal?
True
Let b be ((-18)/12)/((-6)/172). Suppose b*g = 47*g + 180. Is -46 not equal to g?
True
Let f(k) = -k**3 + 12*k**2 - 17*k - 34. Let z be f(10). Is -138 at most z?
True
Let i = -2039 + 2134. Which is smaller: 99 or i?
i
Let o = 12/71 - -34/639. Let f be 2/(15/(-21) + 1). Suppose -4*z = -3*d + f, -5*z + 0*z + 2*d - 7 = 0. Which is bigger: z or o?
o
Suppose -14 = -3*m + 2*t, 2*m - 3*t + 2*t - 9 = 0. Suppose -3*p + 5*h = -p + 8, -5*p + m*h - 37 = 0. Which is bigger: -4 or p?
-4
Let b = 3.7 + -4. Let x = b + 0.4. Let i = 2617 + -2621. Is i at most x?
True
Let f(r) = 4*r**3 + 12*r**2 + 6*r - 8. Let n(t) = 5*t**3 + 13*t**2 + 5*t - 8. Let o(l) = -6*f(l) + 5*n(l). Let z be o(8). Which is bigger: z or -15?
-15
Suppose -757 = -51*y + 8. Which is bigger: 2/35 or y?
y
Suppose 3 = q + 1. Suppose -8 = 2*m + q*m. Is m greater than or equal to -11/8?
False
Let u be 13 + -21 + (-102)/(-10) + (-1)/1. Let y be 291/33 + -2 - -2. Let d = y - 9. Which is bigger: u or d?
u
Let j be 23886/(-390) - (-18)/(-30). Is j <= -62?
False
Let v = 1.0011 - 0.9831. Let c = 5 + -21/4. Is c greater than v?
False
Let r(d) = 15*d - 3. Let c be r(1). Let b be -1 - (c/(-20) - 2). Which is smaller: 0.2 or b?
0.2
Suppose 1619 = 10*u + 11409. Is u > -980?
True
Let b be 0 + 0 + (-2 + 3 - 0). Let m = 393 - 4721/12. Is m < b?
True
Let o(j) = -10*j - 25. Let b(g) = -g**3 - 13*g**2 - 6. Let f be b(-13). Let x be o(f). Let m = x + -37. Is 1 less than m?
False
Let b = 342 + -335. Is b > 1?
True
Let v be (-32)/(-12) - 6/(-18). Suppose -n + 20 = -v*n. Let d be (-8)/2 - (0 + n). Which is smaller: 5 or d?
5
Suppose -2*b = 0, -5*k - 4*b = 2 - 12. Let m = 34 - 34. Suppose -3*i = k*n - m*n - 1, 0 = n + i - 3. Which is smaller: 1/3 or n?
1/3
Let a be (0 - 60/(-39))*(-4)/(-30). Are -1 and a nonequal?
True
Suppose 0 = -23*c + 985 - 6137. Which is smaller: -223 or c?
c
Let a = -8 - -12. Suppose -v - 8 = -2*v + 4*t, 4*v = a*t - 16. Is -6 > v?
True
Suppose 107*z = 110*z + 6, 5*z = -5*s - 85. Is -81/5 less than s?
True
Let n = -91 - -136. Let w = n - 74. Let t = 29.1 + w. Is 2/9 at most as big as t?
False
Suppose 0 = 2*g + 11 - 67. Let c(q) = 3*q - 18. Let p be c(15). Which is greater: g or p?
g
Suppose -33 + 21 = -4*i. Suppose -i*q = 2*q - 55. Which is greater: q or 12?
12
Let l = 64045/136 + 658/17. Let o = l - 509. Does 2 = o?
False
Suppose 5*h = -4*z + 2*h - 11, 0 = 4*z - 5*h - 29. Let k = 2 - 0. Suppose -k*n - z = -3*n. Is n less than 2/3?
False
Suppose -27*o - 7 + 7 = 0. Let p = -697/1629 + -3/181. Which is greater: o or p?
o
Let c be ((-21)/(-2))/(((-33)/4)/11). Which is greater: c or -29?
c
Suppose 13 = 6*z - 11. Let c be (1 - (-30)/z) + (-29)/(-58). Does c = -2/5?
False
Let f = -27/8 + 65/24. Let r = -21.52 - -0.52. Let v = -21 - r. Which is greater: f or v?
v
Suppose n = -4*n + 7*n. Suppose -3*t - 54 = -6*t. Let r = t + -19. Which is greater: r or n?
n
Let l be 4/26 - (-3 + (-750)/26). Which is greater: l or 98/3?
98/3
Suppose -14*b - 8*b = 198. Are -5 and b unequal?
True
Let o be (-8 - -4) + 2 + 0. Suppose -12 = -2*v - 0*v. Let n = v + -9. Which is bigger: o or n?
o
Let y = 137.642 + -137.6. Which is bigger: y or 0?
y
Let r be 0/(-10)*1/(-2). Suppose q + 2*q - 6 = r. Suppose -2*h + q = -0. Which is smaller: h or 4/3?
h
Let k = -0.0655 - -0.0655. Which is smaller: 146 or k?
k
Let a = 0.06 + -0.36. Let p = -6 + 18. Suppose p*z = 7*z. Which is greater: z or a?
z
Suppose 0 = x - 3*f - 6, 2*x - 2 = x + 5*f. Let z(c) = c**2 + c + 4. Let i be z(0). Which is greater: i or x?
x
Suppose 96 + 4 = 5*s. Let v = 1/453 + -101/151. Which is greater: v or s?
s
Let z = 23.3 + -23. Let c be (-55)/22*((-8)/(-10))/4. Which is smaller: z or c?
c
Let i(a) = 2 - 9*a + 26 + 25. Let h be i(6). Are h and -7 nonequal?
True
Let h be (-1)/3 + 3/(-27). Let z(u) = -u**3 - 5*u**2 + 15*u - 13. Let y be z(-7). Let d be 8/(-5)*(75/y - -4). Which is smaller: d or h?
h
Suppose -3*w - 10 = 2, 0 = 2*s - w - 1144. Let r = 1727/3 - s. Suppose 0*n + 4*c = n + 9, 0 = n - c - 3. Which is bigger: r or n?
n
Suppose 34 = 3*o - 2*y - 26, -2*y = 0. Let a = o + -9. Let z = -1773 - -1783. Which is smaller: z or a?
z
Let y = -9708/23 + 422. Is y equal to -1?
False
Suppose -26*a + 441 = -4*g - 25*a, 3*a = -g - 120. Which is bigger: g or -112?
g
Let v = 1/1648 - 619/1648. Is 1/27 less than v?
False
Let s be 0/(6/(-24)*4). Which is smaller: s or -4/549?
-4/549
Let b = -88267 + 88215.977. Let t = 51 + b. Which is bigger: t or 0?
0
Let y = 8755 - 113753/13. Which is smaller: y or 5?
y
Let h = -434 - -431. Is 32 equal to h?
False
Let b be 3/9 - 16/(-6). Which is smaller: 0 or b?
0
Let o(x) = 7*x + 26. Let d = 60 - 70. Let i be o(d). Which is greater: i or -1/4?
-1/4
Let j be -2 + -1 + 583/253. Which is smaller: j or 0?
j
Suppose -3*k + 14*k = -539. Let m = -54 - k. Which is smaller: -4 or m?
m
Suppose 1232 + 252 = -4*b. Let z = 33764/91 + b. Is z bigger than 0?
True
Let f = 5/12 + -11/20. Let x = 133.98 - 134. Which is greater: f or x?
x
Suppose m = 2*m - 3. Suppose 2*w - m + 11 = 0. Let a be (-3 + -3)*w/12. Is a less than or equal to 6/11?
False
Let u be 52/(-5)*(3 - 8). Let p be (-12)/(-2)*4/u. Let c be (-91)/(-77) + (-2)/11. Does p = c?
False
Suppose 5*p = -5*z + 158 + 1127, -z = -p + 253. Let j be (-15)/25 + 159/