 0 = -65*y + 62*y - s. Which is smaller: -37/2 or y?
y
Let y = 16 - 1. Let u be 40/y*(-9)/2. Let c = 1356 + -1367. Are u and c nonequal?
True
Let g be (-4)/10 - 35*19/(-475). Which is greater: 15/119 or g?
g
Let s be -110*(-7)/(-3) - 5*(-20)/(-300). Which is smaller: s or -268?
-268
Let v = 83 + -67. Suppose 289 - 17 = v*y. Is y smaller than 17?
False
Let z be (0 + 4)*(-3)/(-4) + -4. Suppose -5*v + 2*v - 4*w = -20, -4*w = -2*v + 40. Let c be (-146)/(-152) - v/16. Which is smaller: z or c?
z
Let p(m) = 1142*m**2 - 4*m - 3. Let k be p(2). Let v be (-3)/6 + k/9170. Which is smaller: v or 0?
v
Let n(a) = a**3 + 22*a**2 + 4*a + 138. Let i be n(-22). Is i at least 59?
False
Suppose 22*d - 16*d = -17700. Let g = 67832/23 + d. Is 0 bigger than g?
True
Let l = -1572 + 1612. Is -2/47 > l?
False
Let c = -38788354/106897 + 2540/7. Is c < 0?
True
Let w(n) = n**2 - 3*n + 3. Let i be w(7). Suppose -4*a - 11 = -v, -3*v + 2*a = -2 - 81. Let t = v - i. Is t greater than 2?
False
Let o = 36.446 - 31.78. Let f = o + -4.6. Let n = f - 0.266. Which is smaller: n or 4/11?
n
Let t be 36/(((-126)/96)/7). Is t less than or equal to -204?
False
Suppose -4*d - 194 + 54 = 0. Let t be (9/4)/(15/d). Let g = 265/52 + t. Is 1 >= g?
True
Let i be 8*(-5)/30*(-5)/24. Let j = -37/36 + i. Let w(n) = -n**3 - 8*n**2 + 8*n - 10. Let h be w(-9). Is j greater than h?
True
Let c be (-347 - -180)*1/17. Which is smaller: -11 or c?
-11
Let k = 78857/12 - 6546. Let a = -505/24 + k. Is 5 < a?
False
Let p(j) = 5*j + 12. Let l(n) = 14*n + 36. Let d(a) = 2*l(a) - 7*p(a). Let s be d(-1). Let q be 475/(-57)*((-15)/4)/s. Which is smaller: -6 or q?
q
Suppose 58*v + 2824 = 62*v. Suppose 111 = 17*l + v. Which is smaller: l or -33?
l
Let u(l) = l**2 - 102*l + 657. Let t be u(95). Is t less than or equal to -1103?
False
Let l = 48 + -431/9. Let t = -106261 - -528612/5. Let g = t - -539. Is l >= g?
False
Suppose -8*b + 5*b + 30 = 0. Let j be (5168/(-20))/(-4) + (-4)/b. Let k = j - 1603/25. Is k > -1?
True
Let v = -847 + 513. Are v and -1/5 equal?
False
Let c = 107 - 111. Let a be (-204)/54 - c - (-2100)/27. Suppose 3*s + 2*z = -44 - 63, a = -2*s + 2*z. Is -37 >= s?
True
Suppose 0 = 9*t - 197 - 1666. Suppose 4*m - 3*w = 820, 4*w + 4 = 5*w. Are m and t non-equal?
True
Let n be 1876/20 - (-5 + 24/5). Which is bigger: 96 or n?
96
Suppose 0 = -4*s - 7*c + 4*c - 91194, -4*s = 5*c + 91190. Let w be 1*-5 - (4 - s/(-2528)). Is w less than 0?
False
Let d = 15751/3 + -5343. Let y = -3632/39 - d. Is y != 1?
True
Suppose -10 = -5*q + 5*n, 1886 = 2*q - n + 1883. Is q bigger than -4/3793?
True
Let c be (-24106)/306 + (-4)/18. Suppose -2*d + 3*o = 187 - 38, 331 = -4*d - 5*o. Is d > c?
False
Let f = -0.1 - -8.1. Let a = 10.93 + -15.93. Which is bigger: f or a?
f
Let w = 2.777 + -0.107. Let m = w - 2.97. Is 75 < m?
False
Let d be ((-4)/(-14))/((-30)/(-14)). Let k = -6480/19 + 1003032/2945. Let b = 2/31 + k. Does d = b?
False
Let g = 126385 - 8467481/67. Which is bigger: g or 6?
6
Let x = -1853 + 1860. Which is greater: 191 or x?
191
Suppose 5*a - 46 = -6. Suppose 200*k - 196*k = 552. Suppose a*u = -k - 214. Which is smaller: u or -45?
-45
Let s = 485 - 489. Let p be s/(-504)*(-24)/(1 - 7). Is -1 smaller than p?
True
Suppose 3*v = 3*q - 18, -4*v - 22 = -5*q + 7. Suppose 4*u = p - 3*p - 26, -2*p + 16 = -3*u. Let t be 47/q - 5/50*u. Which is greater: -1 or t?
t
Suppose 2*w = -0*w - 284. Let q be 1*12/(-18) - w/(-84). Which is greater: -2 or q?
-2
Let s = -24 + -16. Let o = 34 + s. Let y be (-431)/143 + (-4 - (-1 + o)). Which is bigger: 0 or y?
0
Let s be (-1 + 0)*2/4*-32. Suppose -s = z + 3*o, 0*z + 5*o = 2*z + 65. Which is greater: -23 or z?
-23
Let h = 137.7 - 242.6. Let x = 104.9 + h. Let f = -56.048 - -0.048. Is f bigger than x?
False
Let z = -97.4 - -97.4. Let d = -285 + 15391/54. Are d and z equal?
False
Suppose -5*o = 5*j + 40, 2*o - 4*j = j + 12. Let x be (7/(-14))/((-2)/o). Let h be 1 + 18/(-8) - -1. Which is bigger: h or x?
h
Let y = 47 + -68. Let o(j) = -3*j**2 + 16*j + 53. Let q be o(-3). Let v(z) = -z**2 - 24*z - 62. Let m be v(q). Is m < y?
False
Suppose -366*c - 10948 + 70606 = 0. Is 165 at most as big as c?
False
Let h(l) = -l**2 + 5*l - 8. Let r(z) = -2*z**2 + 10*z - 15. Let s(i) = -11*h(i) + 6*r(i). Let c be s(3). Suppose 52 - 22 = -10*p. Is c at most p?
False
Let g be (-58)/(-114) - (-2)/(-3). Let h = 211 - 210. Suppose -24*u + 21*u - 3 = 3*x, -3*x - u = h. Is x bigger than g?
True
Suppose -3*h = -625 + 226. Let g be h/(-38)*(-3)/(-7)*-26. Is 34 < g?
True
Let p = -381 + 382.4. Which is smaller: 624 or p?
p
Let h = -1479 - -1433. Let k be ((-3)/(-9))/(5/(-735)). Is h >= k?
True
Let q = -12925279/9 + 1439300. Let m = 3153 - q. Let x be 10/3*18/(-15). Which is smaller: x or m?
m
Let l = -5152 + 5140. Which is bigger: l or -2?
-2
Let m = -7 + 15. Let p = -320 + 236. Let j be (-60)/p - 276/(-35). Which is smaller: m or j?
m
Let g = 10803 + -11229.1. Which is smaller: g or 2?
g
Suppose 2*r - 5*l = -88, -3*r - 159 + 46 = 2*l. Suppose -3638 = 134*n - 454 + 1908. Is r < n?
True
Let j = -26545 - -26544.71. Let h(p) = 2*p**3 + p**2 - 1. Let w be h(-1). Let n be 0/((-1 - w) + -2). Is j <= n?
True
Let a = -5253.961 + 5254. Are 3 and a equal?
False
Let w be (-740382)/(-221010) - (-2)/(-14) - 3. Let f = w - -2/4865. Let u = f - 523/477. Which is greater: -1 or u?
u
Let p be (4 - 600/33)*2/(-4). Which is smaller: -4/7 or p?
-4/7
Let l be 190/(260/(-26)) - 34. Which is bigger: l or -96?
l
Let o be 5*((-2)/(-5))/(-6 + 7). Suppose 0 = -o*b - 2*q + 8, 3*b + 4*q + 0*q - 15 = 0. Let f be 0/(b/(-2 + 3)*-1). Is f at least as big as -2/9?
True
Let i be 8/12 - 111/234. Let n = -3007 + 3008. Which is smaller: n or i?
i
Suppose -3*k - 4*d = -0*d - 271, -3*k + 2*d + 283 = 0. Let j = 2514 - 2515. Which is greater: j or k?
k
Let r = 72516148 + -27628613456/381. Let w = r + -32077681/4953. Let i = 6371 + w. Which is smaller: i or -2?
i
Let m(o) = 11*o - 14. Let u(k) = -7*k + 9. Let w(n) = 5*m(n) + 8*u(n). Let y be w(-2). Suppose y*p + p + 10 = 3*j, -4*j = 3*p + 6. Is p <= -3?
False
Let b be 4/(-34) - 9548/(-527). Let k = 74 + -56. Let o = k + -18. Which is greater: b or o?
b
Let r(a) = -117 + 74 - 3*a + 66. Let z be r(7). Let j be (48/(-208))/(3/z). Which is smaller: 1 or j?
j
Let q(n) = 2*n**2 + 2*n + 1. Let u be q(-1). Let v = 49 + -95. Let b be 0 + 45/v + 1. Which is smaller: u or b?
b
Let u = -4716 - -1611. Let c = 40421/13 + u. Which is smaller: c or 5?
c
Suppose -73*j + 2832 = -49*j. Which is greater: j or 121?
121
Suppose -5*z - i = -63, 2*z - 10 = 2*i + 8. Suppose z = -3*n + 3*r, 2*r + 2 = 12. Which is smaller: n or -326?
-326
Suppose 4*d = 4*p + 11200, 5*p + 11*d + 14020 = 12*d. Which is bigger: -2806 or p?
p
Let h be -2*((-38)/(-57) + 35/6). Which is bigger: h or -16?
h
Let w = 533/5 + -106. Suppose 46*l - 10 = 45*l. Let y(j) = j**3 - 10*j**2 - 4*j + 42. Let h be y(l). Do w and h have different values?
True
Let w = -2983 - -3029. Let o = -61 + 104. Which is bigger: w or o?
w
Suppose 5*f - 23 = -2*a, 4*a - f + 4 = -5. Let c = 22873/1651 + -180/13. Which is bigger: c or a?
c
Let f(d) = -d**3 - 44*d**2 - 109*d - 1065. Let t be f(-42). Which is bigger: -198 or t?
t
Let o(m) = 12*m + 1. Let a be o(2). Suppose -4*q - a = -9. Let w be (-5)/q - 3249/2356. Is w smaller than -1?
False
Let i = 148.90458 - 0.09658. Let j = i - 149. Which is smaller: 0 or j?
j
Suppose 0*y = 12*y - 1140. Let g be -2 + (-1664)/(-76) + 10/y. Let f be 1 + (18 - 0/(-1)). Does g = f?
False
Let a = -16 - -46. Let w be 4/10 - 2802/a. Let d(h) = 3*h**2 + 97*h + 30. Let c be d(-31). Is w bigger than c?
True
Let b be -9 - (-117)/8*(-114)/(-171). Which is smaller: 4.269 or b?
b
Let u(r) = r**2 + 13*r - 7. Let x = 13 + -6. Let h be u(x). Is 134 smaller than h?
False
Suppose -5*h - 10*i - 4370 = -11*i, 0 = 4*h + 4*i + 3472. Is -873 not equal to h?
False
Let f be (-16)/160 + (-394380)/200. Which is greater: -1969 or f?
-1969
Let i(f) = f**3 - 7*f**2 - 21*f + 22. Let b be i(9). Let a be 9/(-6)*(3/(-1) - b). Let w be (-90)/a + 1 - (8 + -4). Which is smaller: 28 or w?
w
Let r = -3798 - -3433. Which is greater: -2 or r?
-2
Let j = -18275.135 + 18275. Which is bigger: j or -1?
j
Let a = 37 - 33. Suppose 6*d + 2*v = a*d + 6, -4*d + 4 = -4*v. Let t be ((-12)/(-5))/((-2)/(-