-42))/(2/18). Suppose -4*f - 840 = -11*f. Let b = f - 118. Which is greater: p or b?
b
Suppose 4*t - 3*g + 2474 = 0, -t - 398 - 229 = -5*g. Let y = -595 - t. Suppose -4*a + 60 = -a. Is y <= a?
False
Let p be 28/(-24)*-2*(2/(-7) + 0). Let s = 0.02 - 3.02. Let k = s - -3.02. Is p <= k?
True
Suppose -4*h = 4*f + 5632, h - 3*f = 1123 - 2535. Is -1410 at most as big as h?
True
Let z = -6356 - -2132. Let t = z - -971523/230. Is 1 < t?
False
Suppose -50*l = -550 - 50. Suppose -l*z - 289 = -8*z - i, -i - 287 = 4*z. Which is bigger: -71 or z?
-71
Suppose -108*v + 6673 + 13927 = -5*v. Which is bigger: 21 or v?
v
Let p(d) = 6*d - 4. Let g be p(-4). Let v be (-8)/g + 0 - (-1401)/21. Suppose -v = -5*h + 4*y, h = -5*y + y - 1. Which is bigger: h or 6?
h
Let s = 0.108 + -0.968. Let q = s - -1.66. Is -1 not equal to q?
True
Let l = -22/679 + -951892/2037. Which is smaller: -468 or l?
-468
Let b(p) = 22*p**2 + 3*p - 6. Let a be b(2). Suppose -3*q + a = -0*v + 2*v, -v = 3*q - 41. Is v at least -1/4?
True
Let r = 0.0037 + -413.0037. Let a = -413 - r. Let o = -5 + 5.6. Which is greater: o or a?
o
Let m be 2/(-14)*-9822 + 316/(-2212) - -2. Which is greater: 1407 or m?
1407
Let y(o) = -3*o - 9. Let j(l) = 7*l + 18. Let n(q) = 2*j(q) + 5*y(q). Let z be n(6). Let f = z + 3. Is f != -11?
True
Let p = 6594 + -6594. Are 10/501 and p equal?
False
Let y(w) = 2*w**2 - w - 4. Let h be y(2). Suppose -5*o - 60 = h*u, -u - 27*o + 23*o = 33. Which is smaller: u or -20?
u
Let h = 3.053 + -3.353. Is 0.155 <= h?
False
Let w = 22.998 + -23. Let z = 53.002 + w. Let v = 52.9 - z. Which is smaller: v or 1/5?
v
Let c = -59 - -49. Let u = -7 + c. Let g = -12 + u. Which is smaller: 0.1 or g?
g
Let l = 26.53 - 0.53. Let n = l - 26. Let f = -0.93 + -1.47. Which is smaller: f or n?
f
Let k = -669 + 664.87. Let j = 27.23 + k. Let d = j - 23. Do 7 and d have different values?
True
Let j = -1471 + 4417/3. Let q = -6 - -4. Is j equal to q?
False
Let t be -4 - (-40)/9 - (7 + (-90532)/13788). Which is bigger: t or 1?
1
Let n = 1.1664 - 0.1664. Is n less than -1.02?
False
Let s be (8/5)/((-88)/(-220)). Let x be s + 2144/1144 + 12/(-2). Which is smaller: x or 1?
x
Suppose -3*l = -p - 9, 3*l = 4*p + p + 9. Let z be -2 + (p - 1) + (-224)/(-77). Which is greater: z or 0.13?
0.13
Let y be ((-10)/15)/((-8)/888). Let r = y - 2296/31. Suppose 1 = q - 0. Which is bigger: q or r?
q
Let z(u) = 13*u**2 - u + 18. Let x be z(4). Let w = -208 + x. Are w and 11 equal?
False
Suppose 5*n - 62*q = -64*q - 37423, 20 = -5*q. Is n smaller than -7485?
False
Let a = 98980187824/3763 + -26303531. Let q be (-4)/426*(0 + 21). Let x = q + a. Is -1 at least as big as x?
False
Let p = -14 + 4. Let b be (-16)/(-6) - (-39)/117. Let x be (p/4)/(b/24*-4). Which is bigger: x or -8?
x
Let v = -1059 + 1923. Let j = v - 4293/5. Which is bigger: j or 6?
6
Let m be 56/14*(-4)/(16/(-681)). Suppose -5*o - 2*t = -1294 + 153, 3*o = -3*t + m. Is 230 greater than or equal to o?
True
Let o be (-3)/7 + ((-3622)/189 - -18). Which is greater: o or -1?
-1
Let g = 54 - 325/6. Let h = -30862 + 216425/7. Let o = -56 + h. Which is smaller: g or o?
g
Let r(v) = 52*v - 727. Let w be r(14). Which is smaller: 1/144 or w?
1/144
Let c = 1/2830 + 138599/200930. Is 0 greater than c?
False
Let j = -2545 + 2534. Which is smaller: j or -433/44?
j
Let t be (-2)/2*(-5 + 1 + 1). Suppose 0*y = t*y - 3*z - 39, 3*z + 21 = y. Which is smaller: y or 7?
7
Let b(g) = -g**3 + 13*g**2 - g + 8. Let p(k) = k**3 - 12*k**2 - 8. Let d(f) = -5*b(f) - 6*p(f). Let x be d(8). Let o = -0.07 + -0.03. Which is greater: x or o?
o
Let z be (1/2)/(3/(-3102)). Let i = z - -1633/3. Is 27 less than or equal to i?
True
Suppose -25*g = -28*g - 18. Let i be (1*162)/g - 2. Suppose 3*u = -0*u - 87. Is i not equal to u?
False
Let d(p) = -33*p + 2350. Let u be d(29). Is u <= 4?
False
Let k = -106 + 117. Suppose -k*a + 413 = -4*a. Which is smaller: 60 or a?
a
Let f = 145288 + -145286. Suppose -u = -3*g - 14, 1 = -3*g - u - 3. Is g > f?
False
Let y = 5845 + -5845.17. Are y and 104 non-equal?
True
Let r = 54 + -213/4. Let z(s) = -2*s**2 + 16*s - 7. Let f be z(7). Suppose 2*w + 5 = f. Is w greater than or equal to r?
True
Suppose -16*g + 116*g - 11400 = 0. Are g and 114 non-equal?
False
Let f = 1338/155 - 280/31. Which is greater: f or 1/25?
1/25
Suppose -10*b - b = -6149. Let f = b + -552. Suppose 7*a - 2*a = 20. Is a bigger than f?
False
Let x be (-1)/6 + 1986/36. Let y(r) = 37*r - 20. Let l be y(5). Suppose -3*d - l = -6*d. Are x and d unequal?
False
Let c = 15609 - 17332. Is 4 bigger than c?
True
Let w be (32/80)/((-27)/45). Do -127 and w have different values?
True
Let z = -427 - -431. Let d be (4/(4/(-15)))/((-7)/(-7)). Let c be ((-3)/4)/(d/70)*2. Which is greater: z or c?
c
Let h be ((-21)/9)/(44/(-13596)). Which is smaller: 722 or h?
h
Let n = -114 + 108. Let k be ((-49)/(-7))/21 + (-316)/n. Does k = 52?
False
Let d be (-370)/(-35)*-7*9. Is -666 >= d?
True
Let m = -941 + 1636. Let g = m - 691. Which is bigger: 3/10 or g?
g
Suppose 3*k + 2*a = -6, -a - 9 + 4 = 2*k. Is k smaller than 335?
True
Let o(t) = -13*t**2 - 19*t - 36. Let w be o(-3). Is -66 > w?
True
Suppose 3*i + 0*o - o - 5 = 0, -3*i + 11 = 5*o. Suppose k = -i*k. Let p be 4 + (1 - k - -24). Which is greater: p or 27?
p
Let r be 3 + (-202883)/345 + (-2)/(-30). Which is smaller: -2927/5 or r?
-2927/5
Let o = 1773 + -1772.739. Is o < 0?
False
Let u(o) = -9*o - 103. Suppose -2*x = q + 23, -10*x = -8*x + 4*q + 32. Let n be u(x). Which is bigger: n or -18?
n
Suppose n + 4 = 3*o + 2, -3*o + 6 = 3*n. Let k be (282/(-18) + o)*-12. Which is smaller: k or 1?
1
Let b = 220.01 + 4.99. Let l = b + -226. Which is smaller: l or 9/5?
l
Let q = 0.10248 + -0.02548. Is q > -67?
True
Let b(p) = 26*p**2 - 95*p + 701. Let h be b(8). Is 1606 >= h?
True
Let s = -61 + 11.03. Let h = -50 - s. Let y = -2.03 - h. Which is bigger: y or -4/7?
-4/7
Let m = -15 + 17. Suppose 10 = -0*u + m*u, 2*u - 12 = -p. Let v = -12991/31 + 419. Which is bigger: p or v?
p
Let s be (84/24)/(7/8). Which is smaller: s or 106/29?
106/29
Let h be 29/4 - 637/196. Let s be 0/1 + -2 - -1. Let g be (5/(-1))/(-1 + s). Which is smaller: g or h?
g
Let d = -3 - -29. Let v = 1040 - 1017. Is d smaller than v?
False
Let x = -1 - 4. Let f be (-7 - (-5 - 0))*-4. Suppose 2*u + f = 2*l, 0 = -5*u - l + 2*l. Is u at most x?
False
Suppose 13 = -5*v - 3*n, 61*v = 62*v + 2*n + 4. Which is smaller: v or -43/42?
v
Let l(q) = 1584*q - 3151*q - 6 - q**2 + 1578*q. Let c = 0 + 13. Let b be l(c). Which is smaller: -31 or b?
b
Let u(g) = -3*g - 2. Let k be u(-2). Let p be ((-45)/20)/(-3)*k. Suppose 0 = 2*t + p*i + 180, 4*t - 2*i = -330 - 46. Which is smaller: -2/3 or t?
t
Let z = -0.03 + 1.03. Let s = z + -3. Let r = 0.218 - 1.718. Is s < r?
True
Suppose 0 = -36*t + 46*t + 80. Let b be -8 + 21388/1336 + t. Is 0 smaller than b?
True
Let z = 16 - -19. Let v be (3 - -14)/(2/4). Let y = z - v. Is 7/8 greater than y?
False
Let r = -6218 + 6229. Which is smaller: r or 69/7?
69/7
Let t = -657 + 716. Let j = t - 156. Is 4 > j?
True
Let s(v) = 10*v + 13. Let y be (-8)/6*4/(16/12). Let x be s(y). Let j be (30/x)/(-5)*10. Which is bigger: 1 or j?
j
Let w(k) = -3*k**3 - 106*k**2 + 69*k - 46. Let z be w(-36). Suppose z - 27 = 7*m. Let h = 37/2 - 14. Is m bigger than h?
True
Suppose -m + 1 = 5*r, -20 = -r - 3*r + 4*m. Is -10/321 != r?
True
Let s = -17522 + 16801. Is -722 > s?
False
Suppose 12*k = -k + 325. Suppose -2*j = -5*o - k, -21 = 5*o - j + 9. Let y be 3/(-15)*-39*-1. Which is bigger: y or o?
o
Suppose 48*h - 50*h = 574. Let m be (-84)/8*36/h. Let q = 4063/3116 - m. Which is bigger: -1 or q?
q
Let v = 4546.637 - 4547. Is v != 4?
True
Let i be (-39 - -27) + -18*(-12)/18. Which is greater: -29/327 or i?
i
Let k = -532 + 540. Let i be 3/1*-92*k/(-32). Which is greater: 73 or i?
73
Let g = 182 - 306. Let o be (8/g)/((-10)/15). Which is bigger: o or -3/4?
o
Let i = 0.83 - -1.07. Let a = -1.2 + i. Let j = 3.3 + a. Which is smaller: j or 1?
1
Suppose 22 = -3*y - 4*h, -2*y - 4*h + 2 = -3*y. Suppose 3*i + 258 = -3*d - 66, 3*i - 3*d + 318 = 0. Let z = i - -100. Is z at least y?
False
Let z(y) = -4*y**3 + 3*y**3 + 63 + 2*y - 5*y**2 - 64. Let l be z(-5). Which is smaller: l or -10?
l
Suppose -2 = 2*v + 6. Let t be (v/6 - (8 - 8))*