4)/56*8. Let k = q - d. Which is bigger: 8 or k?
8
Let w be (-6)/(-21) - 303/399. Let v = -43778 - -43779. Which is smaller: w or v?
w
Let y = 40 - 34.8. Let v = -81.8 + 89. Let o = y - v. Which is greater: -1/10 or o?
-1/10
Let p = 42 + -32. Suppose -12*c = -p*c - 6*c. Suppose b - t + 21 = -0*b, b - 5*t + 33 = c. Is -17 less than b?
False
Let b be (0 + 2)*9/6. Suppose 9*m + 6 = b*m. Let g be ((-2)/(3 + m))/(4/(-52)). Which is bigger: 14 or g?
14
Let u(a) = 18*a**2 - 8 - 2*a - 8*a + 18*a + 0*a**2. Let h be u(1). Let w be (h/(-10))/(2/30*3). Is -14 bigger than w?
False
Let m = 229 + -157. Let r = 75.24 - 2.74. Let x = r - m. Which is smaller: x or -11?
-11
Let d be (-3 - (-5)/(75/(-178))) + (-16)/(-24). Let l be 21*((-28)/(-12) - 3). Which is bigger: d or l?
l
Let c(m) = -4*m**3 + 238*m**2 + 4*m + 119. Let g be c(59). Is g > 7317?
False
Let g(i) = i**2 + 21*i + 26. Let l = 104 - 26. Let v be l/(-4) + (30/(-12) - -2). Let w be g(v). Is w less than or equal to 7?
True
Let j = -146 - -116. Let d be (-1038)/j + (-3)/5. Is 36 bigger than d?
True
Let x = 463 - -2202. Is -2/3 greater than x?
False
Let p = 145/22382 - 3/589. Which is smaller: -1 or p?
-1
Let d = 17097 + -17098. Let w be (-3 + 0)/((-11)/(-2)). Let p = -21/22 + w. Is p less than d?
True
Let a = 33 - 34. Let l = -73 + 41. Is l at least as big as a?
False
Let w(t) = 7*t**2 + 2*t + 4. Let g be w(4). Let k be 30/(-35) + 48840/385. Is k equal to g?
False
Let x = -112.585 + 112.545. Suppose -l - 2*l = -33. Which is smaller: l or x?
x
Let g(h) = -4*h + 30. Let y be g(7). Let x = -3 - -3. Suppose 3*w - 3 + 0 = 2*k, y*w - 2 = x. Which is bigger: 4 or k?
4
Let r = 242 + -272. Let g be r/9*((-42)/(-4))/3. Which is smaller: -13 or g?
-13
Let s(t) = -14*t**2 - 73*t - 32. Let v be s(-5). Are -1/4 and v non-equal?
True
Let i be -35 - -39 - (-126)/(-31). Let u be (-4)/16 - 2981/(-16740). Let g = u - i. Which is smaller: g or 1?
g
Let l be (8976/77)/12*3. Let y(z) = -z**3 + z**2 + 4*z + 5. Let k be y(-3). Which is smaller: k or l?
k
Let x = 538 + -556. Suppose -7*r - 36 - 83 = 0. Is x at most r?
True
Let v = 63162798948/145 - 435608228. Let j = v + 2718. Are j and -0.1 equal?
False
Let j be -4 + -7*((-2707356)/(-364452) - 8). Which is greater: j or 1?
1
Let n = 2/415 - 4649/706330. Let l = n - -13691/42550. Which is smaller: 0 or l?
0
Let i = 3.449 + -2.449. Which is greater: i or 6329?
6329
Let i be 48/(-20) + (-1610)/(-25). Let y = -56 + 112. Let c = i - y. Is c less than 23/4?
False
Let g = 267 - 179. Let z = 207 + -120. Is g at least z?
True
Let s be (-96)/(-45)*2760/264. Is 23 > s?
True
Let x(c) = -70*c + 5471. Let w be x(91). Is -9 at most as big as w?
False
Let j = 18110 - 18109.9. Is 6633 at least as big as j?
True
Let l be 14/3*(2 - 75/6). Let n = l + 62. Let b be 288/n - 6/39. Which is bigger: b or 20?
b
Suppose 3*s = -4*i - 618, -228 = -48*s + 49*s + 5*i. Which is bigger: s or -201?
s
Let b = 149 - 95.6. Let k = b - 28.4. Which is smaller: 7/5 or k?
7/5
Let h(a) = -68*a**2 + 167*a + 122. Let g be h(-19). Which is smaller: -0.1 or g?
g
Let k be (3 - 1)/((9 - 7)/(6/(-6))). Let j = 99/7 - 8219/581. Which is greater: j or k?
j
Let k(o) = 9*o - 12*o + 6*o + 10 + 10. Let b be k(0). Let q = 13 - b. Is -4/5 bigger than q?
True
Let p = -2041031/100750 + 628/31. Which is smaller: p or 1?
p
Suppose 3*c - 14 = -x - c, -3*x = -3*c + 3. Let r(z) = -32*z**2 - 6*z + 10. Let q be r(x). Is -129 at most q?
False
Let z = 413 + -392.1. Let w = z + -17.9. Is w < -20?
False
Suppose -5*i + 0*i + 20 = 0, i - 20 = -4*v. Suppose -v*u - 528 = 2632. Let p be u/(-6)*(-3)/15*-1. Which is smaller: 26 or p?
26
Let u = 10422 - 10731. Is -4 less than u?
False
Let x be 45/189 + -6*9/162. Are -2/3 and x nonequal?
True
Let k(s) = 2*s - 22. Let n be k(16). Let y be (6/3 - -13)/((-15)/n). Let t be (-4)/y - 1/(25/(-140)). Which is bigger: t or 5?
t
Let i be 66/5*-16 - 4/(-8)*8. Is i bigger than 1?
False
Let w = -2374 - -3308. Which is smaller: w or 935?
w
Let p be (-2)/(-14)*(-2 - -1). Let u be 4 - 5*(3 - (0 + 2)). Let i be (10/20)/(u/(-2)). Is i less than or equal to p?
False
Let r be (-3 + -2041)/(14/(-35)). Let i be (-4108)/r + (-484)/(-55) + -8. Which is bigger: 0 or i?
0
Let c = 717.7 + 178.3. Let u = c - 896.1. Do u and 243 have different values?
True
Let s(k) = -k**2 + 28*k + 1. Let h be s(28). Let u be (-8)/(-2 - 2) + h. Let b(z) = z**3 + 3*z**2 - 1. Let r be b(-2). Is r >= u?
True
Let r = 14091 - 14124. Is r at most -83/5?
True
Let y be ((10/127965)/1)/(106/159). Which is bigger: y or 0?
y
Let t be 0 - (-8)/60 - (-187)/(-165). Is -385 >= t?
False
Let w = -4070.91 - -4071. Which is greater: -1/2 or w?
w
Let f = -60608943 + 41481282. Let b = 258988527889/13540 + f. Let p = b - -1/677. Which is greater: -1 or p?
p
Let a = 97 + -85. Let h = 62 + a. Suppose w = 3*t + 187, -t + 0*w - 2*w = h. Is -64 greater than t?
False
Let a = 2/103471 + -1138233/2690246. Is a greater than or equal to 1/16?
False
Suppose 2*t - 481 = a + 1181, 2*t - 1622 = -4*a. Is 826 bigger than t?
False
Suppose -13*o + 4*g - 201 = 0, 3*o - 12*g + 14*g = -61. Which is smaller: o or -158/9?
-158/9
Suppose w - 13 = -5*c, -4*w = -4*c + 7*c - 52. Let a(n) = 5*n - 2. Let q be a(1). Which is smaller: q or w?
q
Let y = 76/105 + -1198/1365. Which is smaller: y or -787?
-787
Let z be (12/(-8))/((-1)/6). Suppose -2*b + 25 - z = 0. Let a be ((-3)/(-6))/(4/b). Is a at least as big as 0.33?
True
Let c(j) = -35*j + 2. Let o be c(2). Let z = 41 + o. Let f = -0.0954 - -0.1954. Which is bigger: z or f?
f
Suppose 3*n - 12 = l, -5*l + 0*n + 25 = 2*n. Suppose -4*i = -2*p + 24, -5*i + 2*p + l*p = 40. Let m be (-24)/32 - 139/i. Is m less than or equal to 35?
True
Let b(w) = w**2 - 40*w + 243. Let y be b(6). Which is smaller: y or 1872/47?
y
Let i = 823 + -416. Suppose 7*g + 433 + i = 0. Is -116 at least as big as g?
True
Suppose -9828 = 752*f - 748*f. Which is smaller: f or -2458?
-2458
Let w = -857 - -168. Let g = 692 + w. Are g and 1.41 equal?
False
Let l(w) = -2*w**2 + 175*w - 2998. Let z be l(65). Which is greater: -2672/37 or z?
-2672/37
Let i = -283 - -424. Let r = -141 + i. Which is smaller: r or 5/73?
r
Let f = 90 + -87. Suppose 2*y - 2 = 2*r, 4*y + r - 7 = -f. Suppose 4*d - 24 = -5*s, -6 = -d - 0*d - 5*s. Does d = y?
False
Let o = 115 + -62. Let k = 59 - o. Is k < 9/2?
False
Let s = -24443/35442 + 68/99. Which is smaller: -0.1 or s?
-0.1
Let f be (-198)/(6/(-10)*5/15). Let v be (-1 + 984/f)/3. Which is greater: v or -1?
v
Suppose 55 - 57 = -4*u + 6*u. Does 2/1015 = u?
False
Let d = -71157 - -71157. Suppose 292 = 4*p - 156. Which is bigger: p or d?
p
Let g be 8/(-20)*11/2. Let h be (-8 + 14 + -7)*(-34)/20. Let x = g + h. Is x <= 0?
True
Suppose -6204 = 210*j - 1466 + 3452. Suppose -2*o + 3*t + 9 = -5*o, 3*o + 2*t + 4 = 0. Suppose o*l + 4*n = -60, -5*n + 15 = -2*n. Which is smaller: j or l?
l
Suppose 16 = -2*p - 5*b + b, 4*p = -4*b - 28. Let h be (p/21)/(6/(-21)). Is h < -1/6?
False
Suppose -136*f = -104*f - 3424. Is f greater than 1190/11?
False
Let n = 11811 + -12235. Which is greater: n or -0.03?
-0.03
Let v = 1255 + -576. Let g = v + -678.73. Is g <= -10?
False
Let c = -14.549 + -0.351. Let z = -44 - -29. Let u = z - c. Which is smaller: u or -5/3?
-5/3
Let z = -3006 + 2948.6. Do z and 0.2 have the same value?
False
Let s(z) = 5*z**3 + 2*z**2 + z - 3. Let x be s(1). Suppose -4*o + 2*m = -7*o + 1, -4*m = 3*o - x. Is o less than 3/113?
True
Let y = -4/19635 - -13598/2493645. Is y bigger than 2/7?
False
Let w(q) = q**2 - 15*q + 41. Suppose -6*x + 43 = -29. Let r be w(x). Which is smaller: 4 or r?
4
Let d = -179.08 - 1.92. Let z = d - -180. Is z at most -2/25?
True
Suppose -30*h - 113387 = 117913. Is -7711 equal to h?
False
Let s be 16/20 + 0 + (-1456)/70. Which is bigger: -534/25 or s?
s
Let u = -0.167 + -6.593. Let d = u + -0.24. Do d and 7 have different values?
True
Let d be 7*1 + 134 + -12 + 9. Is 140 at least as big as d?
True
Let a be (-2)/(-1) + -1 + -1. Let t = -21612961/20 + 1081029. Let h = 381 - t. Is a at least as big as h?
False
Let o be 1*4*-3 + 0. Let y(s) = -22*s + 1595. Let p be y(71). Let z be 6 + -8 + p/o. Are z and -4 non-equal?
True
Let p be (5 - 60/16)*(-316)/(-34). Let c = p + 15/17. Let o = -71/6 + c. Which is smaller: -18 or o?
-18
Let j be -6*6