et n be (15/4)/((-1)/8). Let u be (170/n)/((-2)/6). Which is greater: c or u?
c
Let s be 28/4 + -6 + -23. Let l be 10/(-30)*(-1 + (-20)/s). Which is smaller: l or 1?
l
Let r = 4432 - 4283. Does 147 = r?
False
Let k = -4 - -9.8. Let a = -7 + k. Let t = -0.2 - a. Is t bigger than -4.2?
True
Let b(y) = 1256*y + 13817. Let v be b(-11). Do v and -23/654 have the same value?
False
Suppose -20 = -4*v - 4. Suppose 2*i - 7 = -10*b + 13*b, 5*b = -v*i + 3. Which is bigger: b or 309?
309
Suppose -2*t = 5*n - 11, -t + 5*n - 7 = -5*t. Let c be 825/(-411)*t + (-4 - 0). Is c not equal to 3?
True
Suppose -124*r = -97*r + 13338. Let v(j) = -64*j + 17. Let x be v(8). Which is bigger: x or r?
r
Let j = -2233/171 - -284/19. Suppose -3*k - 4 = 5*z, 3*k = 2*z + 40 - 30. Do j and k have the same value?
False
Let r = -184 + 338. Let c = -110 + r. Which is smaller: 40 or c?
40
Let o(u) = u**3 + u**2 - 6*u + 2447. Let p be o(0). Are p and 2447 equal?
True
Let d = 3919 - 3108. Which is bigger: d or 813?
813
Let k = 90.48 - -1.52. Let m = 6028 + -5945. Let n = m - k. Which is smaller: -1/3 or n?
n
Suppose 24*r - 28 = 28*r, -3*r - 20 = o. Which is greater: -2/583 or o?
o
Suppose -12370 = 2*s + 3*b, 3*b + 15*b + 12460 = -2*s. Does -6177 = s?
False
Let r = 71 - 70.986. Let v = r - 2.614. Let y = v - -2.55. Is -3 less than y?
True
Let y be (-29)/(-1) - (6 - (14 - 4)). Is y less than -2.4?
False
Let l be (357/98)/(-51) - (-3302)/(-28). Is -120 bigger than l?
False
Let a(n) = n**3 - 6*n**2 + 9*n - 11. Suppose 0 = 12*o - 6*o - 30. Let b be a(o). Suppose 12*l = b*l + 24. Which is smaller: l or 10?
l
Suppose 11*q = 14*q - 90. Suppose 12*t = 9*t + 9. Suppose 5*v = t*d + 159, -8*v - d + 147 = -3*v. Is v < q?
False
Let k be -2*2/14 - (-72757)/217. Suppose k = 7*o - 2*o. Suppose 68 = 7*r - 6*r. Which is greater: o or r?
r
Suppose -4*n + 9*j - 13*j = -40, n - j - 10 = 0. Let g be (55/n)/((-6)/12). Let p(d) = -2*d + 1. Let v be p(6). Is g >= v?
True
Let f = 112744/23 + -4902. Let k = 8746/72933 - 29/453. Let h = f - k. Is -2/3 > h?
False
Let i be ((-130)/3)/(254/381). Let z(f) = -f - 65. Let g be z(0). Is i greater than or equal to g?
True
Let a(t) = t**3 - 8*t**2 - 3*t + 10. Let q be a(9). Let i = 17932 + -17867. Which is bigger: i or q?
i
Let a(x) = 2*x**2 - 49*x - 20. Let r be (-43)/(-2) - (-12)/24. Let i be a(r). Which is bigger: -523/4 or i?
i
Let o = -817 - -516. Let i = o - -177. Which is smaller: 0.1 or i?
i
Suppose 0 = 25*h - 15671 - 82954. Which is bigger: 3943 or h?
h
Suppose 5*t + 21 = -3*d - 4, 0 = 2*t - 2*d + 10. Suppose 4*l - 4*r - 28 = 0, 7*l + 2*r = 2*l + 14. Let f be (-15 - -3)*2/l. Which is smaller: f or t?
f
Let k = 1/122 + -739/854. Which is greater: k or 17?
17
Suppose -4*p = -10*p - 4134. Let f = p - -4826/7. Which is smaller: 0.06 or f?
0.06
Suppose -3*f = -5*o - 9, -4*f - 2*o = -4*o - 12. Suppose 5*v = -4*y - 5, -f*v + 22 = -y + 25. Which is smaller: -8/13 or v?
v
Suppose 0 = 10*c + 117 - 477. Let v be 1*9/c*(-5 + 1). Let m = -32671/19 + 1719. Is m not equal to v?
True
Let n be 7 + -6 - 0 - -1. Let w(s) = 3*s**2 + 4*s - 11. Let y be w(n). Let v be (-3 - 28/(-9))*93. Is y >= v?
False
Let q be ((-55)/(-33) + -1*2)*(-18)/12. Let c = 649/282 - -3/94. Which is smaller: c or q?
q
Suppose 1 = -3*b + 3*z - 14, 3*b - 5*z = -23. Is 3/2150 at most b?
False
Suppose 15*v = 13*v - 3*d + 7838, 0 = -4*v + 2*d + 15612. Which is smaller: 3909 or v?
v
Suppose -60*t + 21*t = 22*t. Are t and -4/103 unequal?
True
Let t be ((-1)/(-174))/((-4)/(-6)). Suppose s - 4 = -2*x + 2, 4*s - x + 3 = 0. Suppose g + s*d + 4 = -d, 5*d = -2*g - 23. Which is smaller: g or t?
t
Let f be ((-2)/364)/(1/(-4)). Let m(n) = 11*n - 64. Let i be m(6). Suppose -54*u - 23*u = -i*u. Is f at most as big as u?
False
Let h = -149/4 - -37. Let s = -13.621 - -1.041. Let d = -12.2 - s. Is d at most h?
False
Let k be (-1 - 127/4)/((-3)/(-12)). Let n = 131 + k. Is n less than 1/158?
True
Suppose 10360 = -4*u + 6*z, -4*u + 2747 = -4*z + 13103. Which is bigger: u or -2588?
u
Suppose 73*z - 191 = 116*z + 148*z. Do z and 21/1651 have the same value?
False
Let g = -1244 - -240102/193. Which is smaller: g or 1?
g
Let w be (12 - 4021020/52)*1/(-51). Let v = 1516 - w. Which is bigger: 0 or v?
v
Suppose 3*w - 4*v = 57 + 10, 0 = v + 4. Suppose 3*n = -5*j + 32, -2*j - w = -5*n - 5. Suppose -5*k = b - 19 - 0, -j*b - k = 0. Which is smaller: b or -2/49?
b
Let a = -27 - -81. Suppose -3*h - 3 + a = 0. Suppose 4*o - h = -21. Which is smaller: 1/43 or o?
o
Let y = -10626 + 27425703/2581. Which is smaller: -1 or y?
-1
Suppose 2*k + k = 2*m - 5, 3*m + 15 = -3*k. Let b(x) = -29*x**3 - 1 + 14*x - 4*x**2 + 28*x**3 + 12. Let a be b(-6). Which is greater: a or m?
a
Let j = -95 - 375. Let w = j + 470. Which is greater: w or 7/58?
7/58
Suppose -4*r = 7 + 45. Let j(c) = -c**2 - 12*c + 150. Suppose -v = -3*a - 63, 4*v = -3*a - 0*v - 48. Let y be j(a). Which is greater: y or r?
y
Suppose 18 = -4*v + 142. Let o = 12 - v. Let f = -0.5 + 0.6. Which is smaller: f or o?
o
Let f be 1 + 7 - (-11 - (-242976)/12788). Which is smaller: 0 or f?
f
Let c = 2271219/986689 - 481/209. Which is greater: 1 or c?
1
Let t = -174 + 290. Let c = t - 122. Which is greater: c or -3/4?
-3/4
Let v be ((-2743)/(-325) - 11)/((-1)/5). Which is bigger: v or -5/6?
v
Let c be 0*(4 + 3/(-1)) + 4. Suppose c*k + 0 + 20 = 0. Which is bigger: 1 or k?
1
Let u = -35.35 + -49.65. Let b = -3/32 + 73/96. Is b less than u?
False
Let o(r) = 7*r + 9. Let d be o(7). Let s = -26972 + 27031. Which is smaller: s or d?
d
Let p(s) = 11*s + 28. Let y(t) = 5*t + 13. Let u(c) = 3*p(c) - 5*y(c). Let j be u(4). Which is bigger: 50 or j?
j
Let n be (-9)/15*1*-5. Suppose n*i = -2*i + 10. Let w be (9/30)/(i/(-4)). Is 0.1 greater than w?
True
Let a = -138/6263 - -2577596/117550247. Which is smaller: 1 or a?
a
Let m be (-32)/8 - 6/(3/3). Let i be ((-16)/m)/(((-8)/(-308))/(-1)). Let d = -14471/235 - i. Which is greater: -1 or d?
d
Suppose 2*n = -5*t + 2832, -3*t - 202 + 1926 = -5*n. Let v be t/(-20) + 21/(-35). Do v and -33 have the same value?
False
Suppose -5*k + 0*k - 3*r = -351, 0 = -4*k + 2*r + 294. Suppose k = -4*n + n. Let v(m) = -2*m**2 + 10*m - 11. Let j be v(3). Is j smaller than n?
False
Let c = -0.0027 + -17.3973. Let j = c - -17.6. Is -108 at most as big as j?
True
Let s(j) = 5*j**3 - 73*j**2 - 26*j - 179. Let d be s(15). Let n be ((-11)/3)/(7/231). Which is smaller: n or d?
n
Let k(v) = v**3 + 5*v**2 - 10*v - 12. Let w be k(-6). Let l be ((-44)/6 - -7) + (-908)/w. Which is bigger: -2/9 or l?
-2/9
Let h be (5110/210)/((-7)/(-6) - 1). Suppose 105*f = 99*f + 870. Is f bigger than h?
False
Let b = 263265 - 263264. Suppose -7 = 5*m + 3*z, -3*m + 16 = m - 3*z. Let n be (-265)/(-89) - 2 - m. Which is bigger: b or n?
b
Let h = 36296 + -36274. Which is smaller: 90 or h?
h
Let m = 1505/243064 + -1/1321. Is -2 > m?
False
Let n = -256 - -256. Suppose -z + d + 3 = 0, d + 1 = -n. Which is smaller: 12/17 or z?
12/17
Suppose 8*v = 10*v + 16. Let a(t) = -t**3 + 9*t**2 - 9*t + 6. Let o be a(8). Let n be (20/v + 3)*o. Is -3 less than n?
True
Suppose u = 10*j - 6*j - 108, 0 = 5*u + 10*j + 600. Suppose 464 = -0*f - 4*f. Are f and u equal?
True
Let q = 267 + -173. Let m = 127 - q. Is m <= 34?
True
Suppose 189*c - 15 = -5*a + 192*c, -2*a - 20 = 4*c. Is a less than -6/713?
False
Suppose -b = -1 - 4. Suppose 1 = 4*q + b. Let k = -0.9 + -9.1. Is q at least as big as k?
True
Suppose 0 = -3*y + 5*o + 22, 4*y - 8*o + 4*o = 8. Let c = -0.4 - 0.1. Which is bigger: c or y?
c
Suppose -93*w + 99*w + 36 = 0. Let z be (-1)/((360/(-32))/(w/4)). Is z != 0.15?
True
Suppose k + 9423 = 5430. Which is greater: -3992 or k?
-3992
Let u(a) = -5*a + 11. Let j(h) = 11*h - 23. Let b(o) = -3*j(o) - 7*u(o). Let n be b(6). Suppose -n*w + 2*w - r = 5, 0 = -3*w - 2*r - 5. Is -3 equal to w?
False
Let f = -8083 - -10677644/1321. Is 0 bigger than f?
False
Let a be (0 + -1)*15/(-870)*29. Is a at most as big as 2031?
True
Let n = -18 + 20. Suppose n = -q + 5. Suppose 7*z - t - 6 = 6*z, q*z + 5*t = 58. Is 11 smaller than z?
False
Let d(z) = -141*z**2 - 85*z + 113. Let k be d(8). Is k > -2?
False
Suppose -5*t = -9*t + 2980. Suppose t = 10*i - 995. Which is smaller: i or 173?
173
Let p = -91 - -96. Suppose 24 = -4*d - 6*z + 5*z, -p*d - 2*z - 27 = 0. 