 Which is greater: b or -773/13?
b
Suppose -2*v + 4*k = 4620, 3*v + 6919 = -237*k + 232*k. Is -2307 >= v?
True
Suppose -2*k = 807 - 769. Let l be (-9)/(-69)*k + (5 - 2). Which is greater: l or -1?
l
Suppose 0*j = -4*j - 4*u + 20, 3*u - 3 = 0. Suppose j*r - r = 0. Let l = -62137/14 - -4438. Which is smaller: l or r?
l
Let t(f) = -f**2 + 8*f - 11. Let v be t(2). Let k be -3 + (-1 - 0)*v. Which is smaller: -2 or k?
k
Let g(a) = -15*a**2 + 188*a + 4044. Let w be g(-22). Are -7352 and w non-equal?
False
Let y(r) = r**3 - 3*r**2 - 135*r + 64. Let v be y(13). Which is greater: v or 44/695?
44/695
Let r = -25 + 22. Let a = -4.2 + -30.8. Is r less than a?
False
Let g = -14891 - -14890.97. Which is greater: g or 1.298?
1.298
Let u = 1171 + -391. Let t = u - 61618/79. Is t >= 1?
False
Let z(g) = 9*g + 84. Let u be z(-5). Let c = -49 + 35. Let a = c + 52. Do a and u have different values?
True
Let p = -280.4 - 9.6. Let j = p - -294. Is j less than -12?
False
Let c be -7 - (1522/2 + -10). Is -5300/7 at most as big as c?
False
Suppose -54 = 7*r + 12*j - 9*j, j = -4. Is r greater than or equal to -118?
True
Suppose -m - 4*b = -15, 4*b = -7*m + 3*m + 12. Let y be ((-150)/45)/(m/(-3)). Let s be 12/8*y/(-65). Does 0 = s?
False
Suppose 55*z - 12 = 43*z. Which is smaller: 185 or z?
z
Let t = 38779/835 + -7/167. Which is bigger: t or 45?
t
Let u = -7 - -13. Let g be 9/(-12) - (-14510)/(-24). Let k = g - -611. Is k < u?
True
Suppose 0 = 2*n + 3*s - 5, 2*n + 167*s - 7 = 162*s. Suppose 3*o = -9 - 24. Let h = 78/7 + o. Is n greater than h?
True
Let t be ((-8)/(-129))/((-3)/45). Let z = -428/645 - t. Let a(g) = -g**3 - 14*g**2 + 2*g. Let l be a(0). Which is greater: l or z?
z
Let j be ((-1)/2)/(1 + (-1)/2). Let m be j/(-2) + (-4)/664*79. Let x = m - 208/1743. Are x and 0 equal?
False
Let x be ((-2)/(-18))/((-37)/(-333)). Is -1/6675 > x?
False
Suppose -3*y + 52 = 10*y. Let p be (6 + 20/(-3) + 0)/y. Which is greater: -0.067 or p?
-0.067
Let c = 286.98 + -252.48. Which is smaller: -1/4 or c?
-1/4
Let o = 2.9 - -21.2. Let j = 24 - o. Let v = -0.6 + j. Which is bigger: 0.2 or v?
0.2
Let i be -22*-10*14/(-56). Which is smaller: i or -66?
-66
Let m be 5/((8 - 4)/4). Suppose -4*n + 747 = -j, m*j + 133 - 1048 = -5*n. Is n not equal to 186?
False
Let h(y) = -14*y**3 - 5*y**2 - 100*y + 313. Let x be h(3). Is x < -2054/5?
False
Let w = -4810255420/55841 + 86142. Which is smaller: 0 or w?
0
Suppose c + 3 = -2*c. Suppose 0 = -8*y + 5 - 21. Let w be (240/(-88) - -3)/(3/y). Is c not equal to w?
True
Suppose 4*h - 50797 = a, -2*h - 5*a + 25397 = -6*a. Let m be -2 + 3 - -5*(-2490)/h. Which is greater: m or -1?
m
Suppose -11*g - 575 + 508 - 505 = 0. Which is bigger: -95 or g?
g
Let v(j) = -15*j + 1. Let w be v(3). Let i(z) = -9*z**2 - 49*z - 15. Suppose 0 = -19*m + 10*m - 54. Let b be i(m). Are b and w unequal?
True
Suppose 3*n - 2*k = 239, -k + 21 = -n + 99. Which is smaller: n or 69?
69
Let s = -163708 - -163769. Let n = -20 - -81. Are s and n nonequal?
False
Let x be 3/4*(-19)/((-38)/8). Suppose -x*k - 134 - 121 = 0. Is k at most as big as 0.2?
True
Let a = 382 - 302. Is 71 > a?
False
Let l = -4754/3 + 9505/6. Let q(x) = x**2 - 60. Let c be q(0). Is c less than l?
True
Suppose -42 = 5*f + 33. Let p = 16 + f. Let v be ((-8)/(-20))/((-324)/(-120)). Which is greater: v or p?
p
Let t = 159.55 - 2.55. Let x = 138.3 - t. Let z = 11.7 + x. Is z less than -0.7?
True
Suppose -3*p + 5*p = 420. Suppose p = -2*n + 8*n. Let d = 35 - n. Is d at most as big as 3/26?
True
Let d be 32/(-56) - (-28)/392. Which is bigger: d or -33.94?
d
Let s(x) = -x**2 - 6*x - 5. Let y be s(-5). Let m be 4092/750696*(-4)/11. Which is smaller: y or m?
m
Let y(s) = s**3 + s**2 - 505*s - 23. Let o be y(22). Which is smaller: 3.35 or o?
o
Let o = -11.043 - -0.043. Let v = -6981 - -6984. Which is greater: o or v?
v
Let t be (90528/(-1120) - (-3)/7)*(-20)/3. Which is smaller: t or 543?
t
Let a(t) = 2*t**2 - 2*t + 7. Let p be a(0). Let c(h) = h**3 + 3*h**2 - 2*h - 3. Let v be c(-2). Suppose -v*j + 0 + p = -4*m, 3*j = 3*m + 9. Is -9 >= m?
False
Suppose 40*w - 10952 = 6048. Let u = w + -482. Which is smaller: -54 or u?
u
Suppose -2*c = 2*c - 12. Suppose 3*q = 2*w + c, 2*q - 4 - 11 = -3*w. Let g be 8/(-3)*w - -3. Is 4 less than or equal to g?
False
Let i = -1155203/3 + 391380. Let f = i - 6382. Let a = f - -72. Is 3 < a?
False
Let s be 12/42 + (0 - (-288)/(-28)). Let y be (-2 - (-334)/s) + (-27)/45. Which is smaller: -35 or y?
y
Suppose 20 = 4*g, -t - 9*g = -5*g - 23. Suppose -5*i = 2*f - 39, 0 = -4*f + 6*i - t*i + 117. Is -1 <= f?
True
Suppose r + 1888 = 3*h, 5*h + 5*r - 506 - 2654 = 0. Is h not equal to 629?
True
Let c = 3394 + -3395. Is 5243 >= c?
True
Let x = 322 - 436. Let a be 87/(-8)*19/(x/8). Which is smaller: a or 15?
a
Let f be 116/10 + 57/(-95). Let p(n) = n**3 - 11*n**2 + 3. Let g be p(f). Suppose -4*v - 3*k = 8, 9 = 2*v + g*v - k. Is 11/9 >= v?
True
Let a(m) = -m**3 - 7*m**2 - 9*m - 9. Let g be a(-6). Let r = -1110 - -1992. Let x be (-3)/(-15) + (r/(-45))/(-2). Are g and x non-equal?
True
Let c(p) = -35*p + 26. Let l be c(1). Let a be 5 + (3/l)/(2/36). Is a at least 1/403?
False
Let d(f) = -69*f + 6197. Let k be d(92). Let s = -232 - -82. Are k and s unequal?
True
Let y = -9 + 14. Suppose 0*g - 55 = 3*g - q, -y*g + 5*q = 75. Suppose 18*m - 17*m = 8*m + 140. Do g and m have the same value?
True
Let y = -21595 + 34263. Is 12667 less than or equal to y?
True
Let l be (-4)/6 + 63/(-27). Let z be (4/(-19))/(l + 89). Let c = z - -1688/22059. Which is greater: -1 or c?
c
Let i = 0.2509 + -0.2909. Let j = 7 - 21. Is j smaller than i?
True
Suppose -4*y - 3 = -3*r + 3962, -5*y - 5288 = -4*r. Is 1331 at most r?
False
Suppose 5*w = -6 + 1. Let j be -620*48/127260 - (0 - (-6)/(-63)). Is j >= w?
True
Let c(k) = -k**3 - 75*k**2 + 21*k + 1574. Let p be c(-75). Is p bigger than -5/36?
False
Let q(d) = -2*d - 24. Let z be q(-14). Suppose -18 = z*i - 18. Which is smaller: -1 or i?
-1
Let v = 4 - 8. Let g be -15*50/1125*18/12. Which is smaller: v or g?
v
Let f = -417 + 425. Suppose f*k = 3*k. Which is smaller: k or -2/183?
-2/183
Let v be ((-49)/3417)/(14/(-8988)). Let f = -156/17 + v. Is f >= -1?
True
Let s = -327 - -253. Let v be 164/(-14) - (-5 - s/14). Suppose 4*o + 76 = -o - 4*z, -3*z = 12. Is o > v?
False
Let o = -181 + 201. Let v be 7/21 + o/(-15). Are v and 12/35 unequal?
True
Let y(x) = -18*x - 1437. Let b be y(-80). Is 47/21 greater than b?
False
Let m be 30/25 + (-2556)/2205. Let l = -435405043/245 + 1777166. Let y = m + l. Is y less than 2?
False
Let q = -3533 - -876183/248. Which is bigger: q or 1?
1
Let t = 427.7 + -374.685. Let j = t - 53. Let c = 0.015 - j. Is c > 92?
False
Suppose 2*y - 2*w = -2*y - 66, 32 = -2*y + 2*w. Let z(i) = -9*i - 153. Let b be z(y). Which is smaller: b or -20/83?
-20/83
Let w be (0/(15 - 8))/(-2 - 1). Let a be (6 - 4) + (-1222)/(-12). Let j = a + -103. Is j < w?
False
Let w be (-3056)/(-48) + (-5)/6. Which is greater: 62 or w?
w
Suppose 2*q + q + 5112 = 0. Let k be ((-29701)/140*-2)/(5/(-20)). Let i = q - k. Which is smaller: -8 or i?
-8
Let m = 18/24473 + -8248661/1713110. Let v be 41/5*(-1)/2. Let y = v - m. Which is bigger: 4 or y?
4
Let i be 2*(-42)/(-147)*(-21)/(-54). Which is smaller: i or 22/5?
i
Let n(l) = l**2 + 18*l + 17. Let t be n(-17). Let h be t + 2 + 0 + 1 + -73. Let b = h + 20. Is b greater than -50?
False
Let s be (3 + 138)*(-1 + -4). Let d = s - -705. Which is smaller: -5/6 or d?
-5/6
Let w be (-25)/((-250)/4) + ((-8)/10)/2. Is -14/393 equal to w?
False
Suppose 3*a + 4*d = -9, 0 - 3 = a - 4*d. Let i(y) be the third derivative of -y**6/120 - y**5/12 - y**4/3 - y**3 - 297*y**2. Let u be i(a). Does u = -1/22?
False
Let y(k) be the first derivative of k**4/4 + 2*k**3/3 - 5*k**2/2 + 3*k - 4. Suppose 9*c = 384 - 366. Let h be y(c). Which is smaller: h or 12?
h
Suppose -2*z - 2730 - 22 = 0. Let r = 48156/35 + z. Which is greater: 1 or r?
1
Let h be (-12)/112*7/(-2). Let v = 1/40 + h. Suppose 7*u - 701*u = -149*u. Are u and v equal?
False
Let o = -505 + 554. Suppose 53*h = o*h + 1188. Do h and 298 have the same value?
False
Let s = -0.1805 + 7.4505. Let z = -2.03 - s. Let f = -9.34 - z. Are f and -0.1 equal?
False
Let a be 70/49*(-42)/(-4). Let q be 2/8*(-2 - -78). Is q at least 