/106 less than or equal to v?
False
Let q be (-4 - (-27)/9)*(0 + 1). Are q and 1/161 nonequal?
True
Let o = 4583/7 + -655. Which is bigger: o or -7.9?
o
Suppose -15*i + 6016 = i. Which is smaller: 377 or i?
i
Let j = -845 + 844. Which is greater: j or -2?
j
Suppose 4*o = 8*o + 20. Let z be o/(-5)*15*1. Suppose 2*c - 5 = z. Is 10 > c?
False
Suppose 4*l + t - 64 = 128, 4*l = 2*t + 192. Is l smaller than 43?
False
Let j = -113 + 193. Suppose 0 = -5*w - 0*w - j. Let x = w + 11. Which is greater: -4 or x?
-4
Let k be (-3 + 4)/((-3)/(-6)*-2). Let r be 6 - k*(-2)/(-3)*-6. Is r at least 0?
True
Suppose k - 4*k - 15 = 0. Suppose 650 = 14*t + 11*t. Let g = k + t. Is g at least as big as -1?
True
Let c = -20/219 - -2902/36573. Suppose j = 2 - 3. Which is smaller: j or c?
j
Let a = 282.33 - 5.33. Is a != 3?
True
Let v(n) = -n**3 - 9*n**2 - n + 20. Let k be v(-8). Is k > -141/4?
False
Let z be 1*(-21 + (-3)/(-1)). Suppose h - i = 41, h + 4*h + i - 175 = 0. Let u = h - 53. Is u <= z?
False
Let l be ((-102)/85)/(6/(-20)). Suppose l*m = 9*m. Is 1/19 bigger than m?
True
Let m(f) = 2*f - 3. Let w(h) = -h**2 - 5*h - 3. Let u be w(-2). Let l be m(u). Let s = l + 11. Is 13 smaller than s?
True
Let p be (27/(-2))/((-2)/4). Let r(h) = -h**3 + 15*h**2 - 34*h + 306. Let b be r(14). Is b at most p?
True
Let a be 4*(-3)/30 + (-1953)/(-45). Which is bigger: 46 or a?
46
Let b = -236.11 + 234. Let t = b + 0.11. Let n = 1157/7 - 165. Which is bigger: n or t?
n
Let m(x) = -x**2 - 11*x - 8. Let r be m(-10). Let g be 51/(-9) + r + 3. Suppose 0 = -2*o - o. Which is smaller: g or o?
g
Suppose 3*l = -3*d + 3, -3*l + 2*d - 5 = -3*d. Let g = 98 - 100. Let o = l + g. Which is smaller: -2/7 or o?
o
Let p = -29 + 37. Suppose 0 = p*t + 12 - 4. Which is greater: -2/9 or t?
-2/9
Let t be 30/26 + -6 + 0. Which is greater: t or -6?
t
Let m(c) = c**3 - 7*c**2 - 19*c + 14. Let k be m(8). Which is bigger: 2/7 or k?
2/7
Let l(i) = -892*i - 916. Let z be l(-1). Let y(c) = -4*c**2 - 3*c + 4. Let v be y(-3). Which is smaller: v or z?
z
Let f = -36753/2 - -7681437/418. Let r = f + -1/11. Is 0 > r?
False
Let t = 2882675 + -221928786/77. Let r = -483 + t. Are r and 0 non-equal?
True
Suppose 3*v = d + 3 + 2, -6 = 2*d - 2*v. Let w be 0*(d - 3)/(-10). Which is smaller: -2/43 or w?
-2/43
Suppose -25 = -3*i - 2*i. Suppose -5*c = -6*c - 95. Let y be (-1)/(-4) + c/(-20). Is y greater than i?
False
Suppose -5*c + c + d - 13 = 0, -15 = -3*d. Let j be (-2 - -5 - 0) + c. Let n be (13/(195/10))/((-36)/(-4)). Which is smaller: n or j?
n
Let u be ((-12)/(-16))/(-1*(-4)/1072). Is u less than or equal to 202?
True
Suppose -5*k = -30 - 70. Let f be (3/(-1))/(-19 + k). Let n = 5 + f. Which is greater: 5/3 or n?
n
Suppose -4*p - 3*q + q + 20 = 0, 5*p + q = 19. Let d = 6.5 + -4.329. Let i = -0.171 + d. Are i and p nonequal?
True
Suppose t - 5 = 2*t. Let y be (-3)/t + (-8)/(-20). Let n = 53/28 - 15/7. Which is smaller: y or n?
n
Suppose -12*q - 581 = -1697. Suppose 2*a = 5*t - q - 100, -4*t + a + 155 = 0. Is t at most as big as 39?
True
Let j = 1635/14 + -117. Let l = -376 - -376.1. Which is greater: l or j?
l
Let c(j) = j**3 - 9*j**2 + 7*j + 10. Let o be c(8). Suppose 0 = o*g + 2*g + 16. Let v be 5/g - (-1)/4. Are -1/2 and v unequal?
True
Suppose 11 = -3*y - 2*d - 9, 0 = -2*y - 3*d - 20. Suppose t = 52 - 13. Suppose -2*u = -5*z - 10 + t, 0 = -u + z - 7. Do u and y have the same value?
False
Let g = 18 + -54. Let w be (-8)/g + 245/(-495). Are -1 and w unequal?
True
Let t = 2905 - 772731/266. Which is greater: 0 or t?
0
Suppose 2*x - x + 12 = 0. Let m = -25 + 67/5. Let w = x - m. Does 0 = w?
False
Let q(m) = -m**3 - 24*m**2 - 131*m + 17. Let k be q(-13). Is -696/5 less than or equal to k?
True
Suppose 0 = -5*b + 19*b + 6160. Which is smaller: b or -439?
b
Let c be 10/135*(-105)/(-308). Is 1 >= c?
True
Let j = 3.24 - 19.24. Is j greater than -1/6?
False
Let b(n) = n**3 + 2*n - 1. Let d be b(1). Let o(r) = r**2 - 3*r - 14. Let p(g) = 2*g + 26. Let i be p(-10). Let v be o(i). Which is smaller: d or v?
d
Let y be 516/(-513) + -1 + 2. Suppose -72*g + 2 - 2 = 0. Which is smaller: y or g?
y
Let d be (-10 - 23212/(-98)) + 12/(-14). Is 229 less than or equal to d?
False
Let j be (-5)/((-15)/219) - -1. Suppose t = j - 484. Let u be (-65)/26*8/t. Which is smaller: -1 or u?
-1
Suppose -4*t - 5062204 = 62248368. Let f = t + 88244159579/5244. Let j = f - -7/228. Is j > 1?
False
Let p = -41 + 43. Suppose -2*f = -p*q - 3*q - 2, f - 4*q = -2. Is f at least as big as 6?
True
Let m = 11723/13 + -901. Let f = -29 - -30. Which is smaller: m or f?
m
Let x be 13/(-52)*5/(-2). Let w = 11/24 - x. Let f = 1/2 + w. Are f and 1 equal?
False
Suppose -8*q + 0*q = 1432. Which is smaller: q or -178?
q
Suppose -2*o = 4*y - 7 + 17, 0 = o + 3. Which is smaller: -3/245 or y?
y
Let h(s) = s**3 + 3*s - 5. Let g be h(1). Which is smaller: 6/53 or g?
g
Suppose -4*v - 6 = -2*m + 3*m, 0 = -2*m - 3*v - 2. Suppose 3*g - m*g - 5 = w, -w - 4*g = 0. Let r be (-5 - w)*(0 + 0). Which is bigger: r or 4/11?
4/11
Let r be (8/(-6))/2*(-29 - -26). Let p = 8 + -1. Suppose p*y = r*y. Which is smaller: 6/23 or y?
y
Let m = -158 - -69. Let z = m - -90. Let u = 3.2 - 3. Which is greater: u or z?
z
Let t = 63.7 + -52.7. Is t greater than or equal to 2/7?
True
Suppose -2*x - 4 = -4*o, 0 = 2*o - 0 + 4. Is 23 greater than x?
True
Suppose 2*r - 4*r = t - 25, -31 = -2*r - 3*t. Let c = -188 + 177. Let u = r + c. Are 1 and u nonequal?
True
Let m = -1/360 - 713/2520. Is 2/211 at most as big as m?
False
Suppose -y = -4*z - 0*y - 258, -5*y - 270 = 4*z. Let u = z - -67. Let j = 208/7 + -783/28. Is j >= u?
False
Suppose -51 + 121 = -2*a. Let q = 56 + a. Does 21 = q?
True
Let y(j) be the first derivative of j**4/4 + 3*j**3 + 9*j**2/2 - 4*j + 2. Let v be y(-8). Let h be (-1)/(-3) + (-20)/v. Which is greater: h or 0?
h
Let g be (11 - 17)/(-4*2). Let u = 11 + -15. Let p = -3 - u. Is p at most as big as g?
False
Let r(t) = -t**3 - 6*t**2 + 4*t + 3. Let o be r(-6). Let a = o - -43/2. Is a < -0.1?
False
Let k be (-2106)/(-72) + (-1)/4. Suppose 10 - k = -y. Which is smaller: 18 or y?
18
Let m(x) = -x**2 + 2*x + 1. Let w be m(1). Let d be (-3)/2 - (-1)/w. Suppose -3*c + 3 = -0. Is d bigger than c?
False
Suppose 4*v + 3*l + 187 = 0, 0*v - 134 = 3*v + l. Let q = -45 - v. Let d = -1 - 0. Which is greater: q or d?
d
Let c = 19 - 15. Suppose -138 = -5*p - 2*u, -3*p + 58 = -u - c*u. Let j = 38 - p. Do j and 11 have different values?
True
Suppose 41 = -3*w + 2*u, 0*w = 5*w - 3*u + 69. Let v(h) = 13*h**3 - 11*h**2 + 10. Let f be v(-1). Is w at most f?
True
Let n = 121/250 + 2/125. Let q = -0.2 - -0.1. Is n less than or equal to q?
False
Let h be (45/(-10))/(-9)*0. Suppose -5*i - 23 + 8 = h. Suppose -4*g - 1 - 11 = 0. Does g = i?
True
Let b(m) = m**3 - 7*m**2 - 10*m + 9. Let l be b(8). Let z = 3.52 + -0.52. Is z less than l?
False
Let g(a) = 5*a**3 - 12. Let z be g(2). Which is smaller: -6 or z?
-6
Suppose 18*d - 180 = 12*d. Let k(r) = 2*r - 61. Let w be k(d). Is w smaller than 5/21?
True
Suppose x + 5*o + 729 + 298 = 0, 5*x - 2*o = -5081. Which is greater: -1016 or x?
-1016
Let i be (7/6)/(3/18). Let c be (-2)/(-4) + (-1)/(-2). Let a be (c - 2)/(3/(-21)). Are i and a unequal?
False
Let t = -70.29 + 70. Let h = t - -0.29. Which is smaller: h or 0.12?
h
Let c = 354 + -357. Which is greater: c or -71/5?
c
Let d(n) = -n**3 + 5*n**2 + n. Suppose 19*k = 14*k + 25. Let z be d(k). Which is greater: 6 or z?
6
Let v be 1 - 17/15 - 12/(-90). Let l be (v + (-6)/(-64))*(-20)/(-6). Is l >= 1?
False
Let t be 1041/760 - 1 - 9/24. Is 0 less than or equal to t?
False
Let y(c) = -c**3 - 2*c**2 - 3*c - 7. Let l(b) = -2*b**3 - b**2 - 2*b - 8. Let d(a) = 2*l(a) - 3*y(a). Let t be d(5). Let f be (5/(-35))/(4/(-14)). Is t > f?
True
Let l = 565 - 565.1. Is l at most as big as 6.43?
True
Suppose -1046 + 351 = -5*f. Is 134 at least as big as f?
False
Suppose -3*g = i + 8, g + i + 12 = 6. Which is smaller: 1/906 or g?
g
Let l = 78 + -69. Let n = -23.17 + 23. Let x = n - -0.17. Which is bigger: l or x?
l
Suppose 0 = -107*p + 112*p + l - 4, -4*p - 4*l + 16 = 0. Do 62/51 and p have different values?
True
Let k be ((-3)/3 + 65)/2. Let d = -39 + k. Which is bigger: -8 or d?
d
Let z be 216/(-22) + (-2)/11. Let t = 12 + z. Suppose -l + 3