4984/g)/(8/10) - -4. Which is greater: y or 50?
50
Let w be ((-106)/212)/(-2 - (0 + 18822/(-9412))). Which is smaller: w or 1?
1
Let h be (-4)/(-14) - (-37)/(-7). Let z(y) = 13*y - 2. Let w(q) = 37*q - 6. Let r(b) = -6*w(b) + 17*z(b). Let s be r(h). Is s not equal to 7?
False
Let m = 6444 + -45034/7. Let w = -72812 - -72824. Which is bigger: w or m?
w
Let f = -602.5 - -566. Let x = -27.5 - f. Which is smaller: -13 or x?
-13
Suppose -3*d - 9*m = 186, 11 = 3*m + 17. Which is bigger: -36 or d?
-36
Let b(x) = -x**3 + x + 1. Let g(s) = 2*s**3 - 2*s**2 + 2*s + 5. Let o(h) = -3*b(h) - g(h). Let l be o(-3). Are l and -11/20 unequal?
True
Suppose 5*b + 5 = -5. Let g = -26432/17 - -1554. Which is greater: b or g?
g
Let h = 12 + 134. Let w = -147 + h. Let f = -0.03 + 0.33. Which is greater: f or w?
f
Let z be (-6056)/2904*234/30. Let r = z - -8/121. Which is smaller: r or -16?
r
Suppose -4*a + 20 = 3*q, 44*q - 40*q - 5 = -a. Let b be 10/(-35) + (-95)/(-308). Is q at most as big as b?
True
Suppose 0 = 28*c - 1431 + 1515. Is -69/17 smaller than c?
True
Suppose -3*s + 2*u + u = -9, -2*s + 4*u = -8. Let d be 36/10*(-350)/(-210). Let l be (1 + 2)/(26/d). Which is smaller: s or l?
l
Let o be ((-360)/16)/9 - 1/2. Let l be (-4 - o) + 33/12 + -1. Let x = -6 - -5.94. Is x equal to l?
False
Let t(q) = -63*q**2 + 637*q + 17. Let c be t(10). Which is smaller: 86 or c?
86
Suppose 8 = 4*l, 9*g - 5*g - 5*l - 10 = 0. Suppose -4*k = -20, 8*y + 10 = 5*y + g*k. Is 1 < y?
True
Suppose h - 5*z = -11, 5*h + 8*z - 4*z - 3 = 0. Let c be ((-10)/4 - -2)/h. Let u(p) = p**2 - 4*p + 1. Let r be u(4). Which is smaller: c or r?
c
Let z = -63/17 + -518/85. Let n(q) = -q**2 - 13*q - 9. Let v = -10 + -3. Let g be n(v). Which is smaller: g or z?
z
Let o(i) = -3*i**2 + 27*i - 25. Let p be o(8). Is -88/65 less than or equal to p?
True
Suppose 20*i - 3854 = -414. Which is greater: i or 1031/6?
i
Suppose 3*i - 10*r + 16 = -6*r, 5*r = -3*i - 61. Let y be -12*((-10)/8)/(9 - 10). Which is greater: y or i?
i
Let f(q) = 10*q - 3. Let n be f(1). Suppose -1 = -s - 2*w - 5, 2*s - n = -w. Suppose -3*x = 4*z - s, -5*x = -3*z - x + 17. Is z not equal to 2?
True
Let k be 1392/20 - 9*(-2)/(-30). Let b = 69 - k. Which is greater: b or 12/13?
12/13
Suppose d = -z - 2*z - 20, z - 20 = 3*d. Let w(r) = r**3 + 7*r**2 - 8*r + 1. Let j be w(d). Let a be (j - 2) + 28/42. Which is greater: -8 or a?
a
Let b = 3.28 + -488.28. Let w = b - -486. Is 22/9 at least as big as w?
True
Let t be ((-25)/(-35) - 1) + (37630/(-840))/1. Which is bigger: -45 or t?
-45
Let r = -30366 + 30366.05. Is 0 > r?
False
Let a = 53 - 48.8. Let f = -3.2 + a. Is -1.97 < f?
True
Let r be 3 + (288736/99972 - 6) + 1/9. Which is smaller: 0 or r?
r
Suppose 917*v - 902 = 939*v. Which is smaller: v or -321/8?
v
Suppose -4*b = -2*b + 10, 4*z + 5*b - 15 = 0. Let t be ((-33)/z - -3)*(-35)/84. Suppose 5*l + 0*l = -5*q, 4*q - 5 = l. Is l at least t?
False
Suppose 5*p - 2*r + r = 49, -4*p + 3*r = -48. Let k be 12/(-10)*1*(-60)/p. Let j be (-7)/(-16) - (20/k - 2). Is j smaller than -1?
False
Let d(i) = -22*i**2 + 13*i + 3. Let a be d(-2). Let p = 112 + a. Let b be 896/3465 - 4/18. Is p less than or equal to b?
False
Let r = 14093 + -1028833/73. Is r at least as big as -2?
True
Suppose 9732 + 6826 = -34*h. Let v be -2 - (2449/5 + -2). Let p = v - h. Is -2 equal to p?
False
Suppose 3*k - 479 = -4*w, -11*k + 7*k = -20. Is w >= 112?
True
Suppose -5 = n - 23. Let k = 10 - n. Let t = 317 - 321. Which is smaller: t or k?
k
Let q = 2.6 - -9.4. Suppose -5*b = -4*m + 28, 5*m - 14 = 2*b + 2*m. Let n be ((-10)/b)/5*0/(-5). Is n at least q?
False
Let s be 315/(-25) + (-4)/10. Suppose 0 = 2*h - 4*d - 370, -2*h = -2*d - 257 - 119. Suppose 0 = -193*a + h*a - 22. Which is bigger: a or s?
a
Let v be 6455/99 + (-1590)/(-1749). Which is smaller: 65 or v?
65
Let n = 60.65 - 60.5441. Is n > -0.1?
True
Let t be ((-2564)/1354 - -2)*(-29)/87. Is t < 1?
True
Let z = -324743/476574 + -11/4863. Which is smaller: -1 or z?
-1
Let g(p) = 2*p**2. Let c be (2/(-6))/(2 + (-148)/72). Suppose 10*b = 13*b + c. Let l be g(b). Which is smaller: 10 or l?
l
Let q(x) = -1112*x - 2224. Let d be q(-2). Which is bigger: 11/2083 or d?
11/2083
Let v(u) = u**3 - 9*u**2 + 9*u - 14. Let k be v(9). Let z = -66 + k. Let w = 25069/14350 - 87/50. Is z > w?
True
Suppose 2*b + 1 = 19. Suppose 91 = 5*d - b. Let n = 34 + -33. Is d != n?
True
Let l(a) = a**3 - 14*a**2 + 28*a - 45. Let c be l(12). Let f be c - 0/2 - (3 - 5). Is f < 33/8?
False
Let b = -610 + 530.4. Let l = b - 7.4. Is 1/3 < l?
False
Let l(t) = -5*t**3 + t**2 - 17*t - 57. Let f be l(-7). Is 1825 greater than f?
False
Let w(f) = 13*f - 1044. Let y be w(-68). Which is smaller: y or -1930?
-1930
Let f = 0 + -6. Let y be 51/9 - (-4)/f. Suppose -d - u = -3*u + 1, -y*d + u = 5. Is d at most -1?
True
Let a(h) = -4*h**2 + 3*h**2 + 3*h**2 + 4*h + 0*h**2 - 1. Let d be a(-3). Let m be (d - 2) + -2 - 0/(-2). Are m and -2/39 equal?
False
Let l = 1.8 - 9.8. Let r = -379 + 435.2. Let g = 53.2 - r. Is g > l?
True
Let r(m) = -m**3 + 7*m**2 - 13*m + 16. Let a be r(5). Let t be a*(2 + -204 - -2). Which is bigger: t or -201?
t
Let r = 61 + -57. Let q be 5*((-105)/275 + (-2)/(-11)). Do q and r have the same value?
False
Let v(s) = 103*s + 650. Let k be v(19). Is k greater than 2609?
False
Let y(p) = 147*p + 214. Let x be y(-2). Which is smaller: -85 or x?
-85
Let l be (-19 + 74949/3948)/(-88 + 0 + 1). Is 1 at most as big as l?
False
Let h = 83/12 - 26827/3876. Let n = h - -1457/35530. Let v be 2/(6 + 0 - 4). Is v < n?
False
Let w = -2/219 - -4609/1095. Is w equal to 63?
False
Let x be (8/18)/((-6)/(-27)). Suppose -x*d - 693 + 705 = 0. Which is bigger: 28/5 or d?
d
Let n = -14811 + 9588. Is -5223 at least as big as n?
True
Let x = -39034/7 - -585562/105. Let w = x + -2/21. Is w less than or equal to 0.13?
False
Let b be 179 - (0 + (-6 - -11 - 2)). Suppose 2*g = -r + 350, 2*r + 530 = 3*g + r. Is g greater than or equal to b?
True
Let q be 19/39 + 74/(-481). Let o be (18/3)/(-2) - -6. Let g be (-1 + 1 + o)*-1. Which is smaller: q or g?
g
Let t = -21 - 43. Let q = -22 - t. Let i be 5/3*693/q. Which is bigger: 27 or i?
i
Let z be (742/4 - (-3 - -3)) + 41/(-82). Is 198 at most z?
False
Let v(r) = -341*r + 32. Let p be v(-12). Let q = p + -342288/83. Are q and 0.1 equal?
False
Let x(s) = -s**2 - 20*s - 52. Let k be x(-3). Which is smaller: -26/281 or k?
k
Suppose 5*y - 5 + 4 = 3*o, -3*o + 19 = 5*y. Let c be 194/18 - (-10)/45. Let h be 211/(-11) + y/c. Is -17 bigger than h?
True
Suppose -2*w + 23 - 45 = 0. Let k be ((-23)/27 - 3)*3. Which is smaller: k or w?
k
Suppose 0 = 3*y + 2*f, 2*f = -y - 0*f + 4. Let r = 4.1 - 4.2. Which is smaller: r or y?
y
Let f(m) = m**3 - 60*m + 195. Let g be f(4). Which is bigger: g or -18?
g
Suppose -40 = 4*b + 4*j, -3*b + 4*j + 0*j - 23 = 0. Let k = -4 - b. Suppose 2*y - 5*o = -16, k*y = 6*o - 2*o - 6. Is y at most 1?
False
Let s be -30 + (-6640)/(-128) + 0 + (-2)/(-16). Which is smaller: s or 294/13?
s
Let l = -74531 + 4248407/57. Which is smaller: l or 2?
2
Suppose -5*m = -3*h + 42, 3*h - 6*m + 11*m - 12 = 0. Is h at most -123?
False
Suppose 0 = 30*r - 31*r + 5. Let o be (-3*10)/r - 61. Do -68 and o have the same value?
False
Let m be ((-2962)/156)/(3427/447) - 4/26. Which is smaller: -3 or m?
-3
Let s be (-6)/(-458)*3/63*-5690. Let h = -5/229 + s. Which is greater: h or -3?
-3
Let x(z) = -z + 21. Let w be x(12). Let b be (w*45/10)/((-2)/(-4)). Does 159/2 = b?
False
Let k = 45 - 71. Let w(n) = -2*n**3 - 55*n**2 + 86*n - 30. Let y be w(-29). Let p be (y - 33) + 196/28. Is p <= k?
True
Suppose 2*x - i + 533 = 0, -4*i + 1328 = -3*x - 2*x. Let g = x + 262. Which is smaller: -17 or g?
-17
Suppose 2*a - 2*r - 18 = 0, 4*r + 27 - 7 = 0. Let h be a/6 + 272/51. Let c be (7 - h)/((-1)/(-10)). Is 8 >= c?
False
Let p(t) = 9*t**2 + 13*t - 27. Let s be p(6). Suppose -46*k = -43*k + s. Which is smaller: k or -123?
k
Let s = -1 + -2. Let g be ((-133)/(-21))/((-5)/s). Suppose 0 = 2*h + 3*j - 22, -h - 3*j + 20 = 3. Which is smaller: h or g?
g
Let g = -4 + -41. Let b = 7.74 + -0.84. Let w = 6.9 - b. Which is greater: g or w?
w
Let s = 761.5 - 760.5. Which is bigger: s or 1637?
1637
Let g = 1627 - 2784. Is -1157 greater than or equal to g?
True
Let l(v) = 17*v - 