. Which is greater: y or 2/7?
y
Let z be (-147)/1911 + 3356/26. Which is smaller: z or 132?
z
Let z = 606 - 35752/59. Is z at most as big as -1?
False
Let d(q) = q**2 + 8*q - 10. Let n be d(4). Suppose -n*s = -33*s + 125. Are s and -24 nonequal?
True
Let m = 625 + -925. Is m equal to -302?
False
Let h = 667 - 610. Which is smaller: 54 or h?
54
Let w(p) = -6*p - 16. Let t be w(-3). Suppose 2*r + t*r + 2*r = 0. Is r > 12/5?
False
Suppose -5*x + 0*x = 0. Let h be 4/172*(2/(-6) + 0). Which is smaller: x or h?
h
Let q(x) = x**3 + 12*x**2 - 10*x - 25. Let p be q(-13). Which is greater: p or -47?
-47
Let p = -14473/348036 - -17/388. Let v = -168/14053 - p. Are 0 and v equal?
False
Let g = 74.055 - 0.055. Let f = -75 + g. Is 1/3 smaller than f?
False
Let k(w) = -w**2 + 6*w - 8. Let n be k(9). Let f(m) = 34*m - 308. Let u be f(8). Which is greater: n or u?
n
Suppose -4*j = 114 - 78. Which is smaller: -7 or j?
j
Let i = 0.17 + -0.1. Let j = -1.7 - -1.67. Let w = i - j. Which is smaller: w or -0.08?
-0.08
Let c(u) = -u**3 + 7*u**2 - 4*u - 7. Let x be c(6). Suppose 0*d = x*d + 10. Do d and -16/7 have different values?
True
Let r = 0 + -3. Let o = 67.9 + 0.1. Let h = -68 + o. Which is smaller: r or h?
r
Let b(x) = -6*x + 6*x + x. Let o be b(2). Suppose -s = s. Which is smaller: s or o?
s
Let i = -317 - -297.3. Let h = -6.3 + i. Let f = h + 28. Which is bigger: f or -0.2?
f
Let l be 63/(-15) - -2 - (-1 - 1). Let z = 161/5 + -2717/85. Which is greater: l or z?
z
Let b = -2.1 - -12.1. Let g = b - 4. Let w be 9/(-21) + (-10)/(-7). Is w less than g?
True
Let j = -175 + 174.8. Which is smaller: j or 57?
j
Let o be 27/45 + (-492)/(-30). Which is greater: 143/8 or o?
143/8
Let r(d) = d + 2. Let l be r(2). Let a(q) = -q**2 + 8*q - 5. Let w be a(7). Suppose 0 = -k - w*y, -k - l*y = 4*k. Which is smaller: k or 1/2?
k
Let m be (-5 - -5) + 8/(-2). Let q be 3/(247 + -1)*m. Which is smaller: q or -1?
-1
Let i be (-2 + 4)/((-6)/9). Suppose 0 = -3*t - 4*x - 19, 2*t + 4 = 4*x - 2. Which is bigger: t or i?
i
Let s = -259 + 2077/8. Let t(z) = z**3 - 2*z**2 - 9*z + 6. Let j be t(4). Suppose -7*h + 5 = -j*h. Which is smaller: h or s?
s
Let f = 17.58 - 29.31. Let z = 0.27 - f. Let h = -11 + z. Which is bigger: h or 4/5?
h
Let c = -595 - -8926/15. Is c equal to -2/7?
False
Let p = -1208.2 + 1208. Suppose -358 + 79 = -3*w. Let t be w/390 + 3/(-15). Are t and p nonequal?
True
Let c be 1 + 0 - (1 - -330). Suppose 0 = 4*t - 158 + 150. Let x be 5/c - t/(-11). Which is greater: -2 or x?
x
Let u(b) = b + 7. Let t be u(-7). Which is bigger: -1/17 or t?
t
Let o be 7*(-205)/190 - -3 - -4. Is o at most -1?
False
Let d = 477 - 478. Let p = -47/123 + 2/41. Which is bigger: d or p?
p
Let y be 26008/(-34) - 37/629. Which is bigger: y or -764?
-764
Let m = -241 + 223. Which is smaller: m or -88/5?
m
Suppose 15 = -27*b - 12. Does -15/17 = b?
False
Let i = 718.8 - 719. Which is smaller: i or 1/20?
i
Suppose 258*h = 287*h. Is 6/55 equal to h?
False
Let d = 724 - 733. Which is greater: 15 or d?
15
Let d be 93/186*520/7. Which is smaller: d or 38?
d
Let c = 0.28 - -14.72. Let g = -25 + c. Let s = -9 - g. Which is smaller: s or 3?
s
Let a = -21 - -49. Let t be 30/(-7) + 8/a. Let z be (-6)/t*-1*-2. Which is greater: z or 4?
4
Let k be 1 + 0 - 1*-11. Suppose -3*b = -4*r - 6*b - k, -5*r + 3*b + 12 = 0. Let h be 598/(-483) - (-12)/21. Are h and r unequal?
True
Let y be (13*2/(-3))/18*6. Is -4 bigger than y?
False
Let u = 486 - 487. Which is greater: u or -2/1921?
-2/1921
Suppose 0 = 2*y + 3*y - 15, -5*f = 4*y - 22. Suppose -5*v = -4*v - f. Is 3 > v?
True
Let d be (-7 - (-102)/15)/(1/(-4)). Is 0 not equal to d?
True
Let n(k) = -15*k - 3. Let a be n(-2). Suppose -4*j = 3*m - 43 - 32, j - 2*m - a = 0. Are j and 19 unequal?
True
Let a be (1/(-134))/((-30)/(-4) + -1). Let w = 10457/4355 + a. Is 3 bigger than w?
True
Let t be (-16)/56 + (-312)/(-945). Suppose 1 = w - 2*u, 7 = 5*w + 4*u + 2. Which is smaller: t or w?
t
Let g = 149 - 170.1. Let c = -21 - g. Is -64 at most as big as c?
True
Let m(g) = g**3 + 4*g**2 - 11*g - 52. Let h be m(-4). Let n(w) be the third derivative of w**5/60 - w**4/3 - 2*w**2. Let d be n(7). Which is smaller: h or d?
h
Let i(o) = 2*o**3 - 4*o**2 + 6*o + 3. Let j be i(-4). Let t be j/(-45) - (-2)/(-5). Let v = t + -41/9. Which is greater: v or 1?
1
Let v = 410 + -481. Which is bigger: -72 or v?
v
Let x = -13192/73245 - -6/1285. Which is smaller: x or 0?
x
Let n = 97 + 19. Let h = n - 115.8. Is h less than -0.6?
False
Let h = -806 + 710. Is h < -98?
False
Let v(i) = -5*i + 4. Let l be v(-2). Suppose -l*o = -11*o - 9. Is o > 3?
False
Let n = 238.9885 - -0.0115. Which is greater: 0 or n?
n
Let o = -1140 - -2049. Do o and 910 have the same value?
False
Suppose 0*u + 2*u - 10 = 0. Let k be 10*u/((-75)/(-6)). Let c(y) = -y**2 - 20*y - 31. Let s be c(-18). Is s bigger than k?
True
Suppose -o = 3*w + 9, 2*w + 6 = o - 0*o. Suppose -c + 2*c = -3*h + 7, o = -5*c - 10. Is h less than 1?
False
Let p(q) = -q**2 + 8*q - 13. Let n be p(6). Let i = -2/7 - -39/112. Are n and i non-equal?
True
Let w(d) = -2*d - 8. Let c be w(-4). Suppose 5*r + 4 - 89 = c. Let n = r - 28. Is n smaller than -1/3?
True
Let f be 884/(-65) - (-4)/(-10). Let m(x) = -x + 8. Let w be m(-6). Let r = w + f. Are r and -2/5 equal?
False
Let m be ((-6)/(-4) - (-82)/(-60))*5. Is 165 equal to m?
False
Let v(g) = g + 2. Let u be v(4). Let p = -3 + u. Suppose p*b - 3 = -0. Is b bigger than 1/3?
True
Let u be ((-3)/(-1))/(9/6). Suppose -13 = 3*g - z, -3*z = -g - u*g - 9. Let q be (-8)/28*(-21)/9*(-60)/8. Do q and g have different values?
False
Suppose 0 = 2*h - 3*p - 2*p + 7, 2*h + 2*p = 14. Let n be 8/(-20) + (-152)/(-5). Suppose -4*d - 4*y - 18 = d, 3*d = h*y - n. Is -5 equal to d?
False
Suppose -f + 2*n - 4 = 0, 4*f + n + n - 14 = 0. Let q be -7 + (-3 - -9 - f). Which is smaller: q or -24/7?
-24/7
Let b(v) = v + 7. Let o be b(-7). Suppose o = -m - 3 + 16. Let y = -9 + m. Are 4 and y unequal?
False
Let t(v) = v**2 + 3*v + 1. Let p be t(-4). Let l be (-5)/(-10)*p/(-3). Suppose -2*n = 2*k + 12, 3*k - 6*k = -4*n + 4. Which is bigger: n or l?
l
Suppose 0 = -4*p - 38 + 106. Let u = 20 + -2. Which is smaller: p or u?
p
Let u be 2/(-12) - 657/(-54). Let k(s) = -s**2 + 12*s + 1. Let f be k(u). Which is bigger: f or 10/17?
f
Let u = 93 - 161. Let q = u - -70. Are 5/9 and q unequal?
True
Let d(v) = v**3 - 25*v**2 + 53*v - 137. Let t be d(21). Are -2/5 and t non-equal?
True
Let y be (-40)/15*((-49)/4 + 1). Suppose 4*v - 14 = y. Let k(x) = 5*x + 1. Let g be k(2). Are g and v equal?
True
Let f be ((15/60)/(6/8))/(-2). Let d = f - -1/15. Which is bigger: d or -1?
d
Let q = -27.51 - -28.7. Let c = 0.89 - q. Is c <= 6/23?
True
Suppose 0*o + o - 3 = -z, 3*z - 3*o = 9. Let i be (-2 + 0)/(z - 2). Do -1/2 and i have the same value?
False
Let k be (6 + (-262)/45)*10. Which is greater: k or -1?
k
Let u(n) = -n**2 + 5*n + 8. Let h be u(6). Is -3/53 smaller than h?
True
Let x = -2680 + 2673. Is x at most as big as -9?
False
Let a(f) = -f**3 + 62*f**2 - 173*f + 83. Let m be a(59). Do 317 and m have different values?
True
Suppose -30*i + 312 = -18*i. Which is bigger: 4/7 or i?
i
Let o be (-5)/(6/(-4) + -1). Suppose 4*l + o*l + 12 = 0. Let d be ((-81)/36)/(l/(-8)). Are -8 and d unequal?
True
Let n = 312849 + -12203216/39. Let v = n + 54. Is v at most -1?
False
Let c = -5.92 - 0.08. Let l = 1.34 - 1.84. Which is smaller: l or c?
c
Suppose 9*q = 32*q + 2714. Is q less than or equal to -117?
True
Let n be 0/1 - (0 - 3). Suppose n*h + r + 4 = 0, h - 3*r + 1 = 3. Let c = h - 1. Is c greater than 2?
False
Let z = 8 - -60. Let g be 4 + (-4 - 8/z). Does g = -3/5?
False
Suppose 0 = -2*k - 3*v - 13, 8*v - 5*v - 12 = 3*k. Which is bigger: k or -4?
-4
Let r be ((-4)/6)/((268/(-9))/(-2)). Which is smaller: r or 0?
r
Let r = -467.97 - -468. Is r > -2/177?
True
Suppose 4*u - 154 = 11*u. Let y = 23 - 48. Let z = y - u. Is 0 less than z?
False
Let x = -187 + 266. Which is smaller: x or 78?
78
Let c be (-14)/(-70) - (-6)/(-5). Which is greater: -1/24 or c?
-1/24
Let r(p) = -p**3 - 57*p**2 - 87*p + 131. Let h be r(-56). Are 1867 and h unequal?
False
Let j = -7 - -9. Suppose -w - 5*o - 26 = j*w, w + 6 = -o. Let p = w + 3. Which is bigger: p or 2?
2
Let a(o) = o - 4. Let u be a(4