q be (0 + 856/6)*o/970. Which is greater: q or 42?
q
Let s = -0.224 - 8.876. Let l = s - -9.037. Let t = l + 0.463. Is 1 greater than or equal to t?
True
Let w(p) = -p**3 - 3*p**2 + 6*p - 3. Let z be w(-5). Suppose -71*v + 2357 = 966 + 539. Which is smaller: z or v?
v
Let r be 11/(-76 - 1)*(0 + 0). Is -50/707 greater than r?
False
Let b be (-117)/(-24) + (-9)/(-72). Suppose b = 5*f - 0*f. Which is smaller: 26/17 or f?
f
Suppose 2*q = -x + 2, 0*x - 13 = q + 4*x. Suppose q = 4*u - 5. Let p be (-18)/24 + u/(-8) + -53. Which is bigger: -55 or p?
p
Let s(k) = k**2 - 3*k - 15. Let a be s(-4). Suppose 0 = -q - q + 8. Suppose 38 + 14 = q*x. Is x != a?
False
Suppose 22*y - 9*y = 169. Let u = y + -13. Suppose -3*l - 2*i = 7, u = -l - 3*i - 3 - 4. Is l at most as big as -2/197?
True
Let l = 144.7 - 149.44. Let t = -37 + 37.1. Which is smaller: t or l?
l
Suppose -23*g + 25*g - 2100 = -5*v, -6 = -3*v. Is 1046 greater than or equal to g?
True
Suppose -4*a + 20 = a. Let k(q) = -4*q**2 + 11 - q**3 + 6*q**2 - a*q**2 - 3*q + 2. Let b be k(4). Which is greater: b or -94?
-94
Suppose 3*h = 472*h + 16831 + 8964. Do h and -1263/23 have different values?
True
Let f(j) = j**2 - 16*j + 13. Let q be f(15). Let m be 5/(q*14/20) + 4. Suppose 0 = 4*r + 2*c, -r = -7*c + 3*c - 9. Which is smaller: r or m?
m
Let r = -0.0488 - 349.9512. Let n = r - -381.1. Let x = n + -1.1. Which is bigger: x or -0.1?
x
Let c = 2369/4 + -588. Suppose -29 = l + a, -20 - 29 = l - 3*a. Let o = -31 - l. Which is smaller: c or o?
o
Let s be 711/99 + -7 + (-78738)/419749. Which is smaller: 1 or s?
s
Suppose 147*g - 150*g - 4*z = -395, 5*g - 4*z - 733 = 0. Is g not equal to 105?
True
Let x = -138 - -140. Suppose 42 = -o - x*i + 14, -2*i = 0. Is 2 smaller than o?
False
Let j = -664 - -511. Which is bigger: j or -150?
-150
Let w = -574 - -9. Let r = 862 + w. Are r and 1 equal?
False
Suppose 0 = -4*r + 3*r + 115. Let v = 5406/47 - r. Suppose 57*j - 162 = -162. Which is smaller: v or j?
j
Let h be (-1 - (-6)/4)*0. Let m = 7454759/14 + -532712. Let r = 229 + m. Which is smaller: r or h?
r
Let s = -17185 - -1873033/109. Which is smaller: s or -2?
-2
Suppose 81*m + 5058 = 87*m. Let h = 841 - m. Which is smaller: h or 0.134?
h
Let d be (-21 - (-263525)/12550)*(-2)/(-2). Is d <= -1?
False
Let l = -17 - -19. Suppose -4*n = l*y - 0*y - 44, -3*n + 31 = y. Let c be 9 - n - 4/(-14). Which is bigger: c or -5?
c
Let o(w) = w**2 - 14*w + 7. Let j be o(16). Let l(t) = -t**3 + 17*t**2 + t + 21. Let d be l(17). Is j != d?
True
Let x be (1 + (0 - 30/(-9)))*-3. Let t(g) = g**2 - 9*g + 10. Suppose -2*k + 20 = 3*y + 3*k, 2*y = 2*k + 8. Let n be t(y). Is n equal to x?
False
Let x = 56 - 671/12. Let n be (-12 + 2)*9/(-5). Suppose n*y = -13*y - 31. Do x and y have different values?
True
Let k = -1999 - -33971/17. Suppose -152*c = -156*c + 20. Suppose 15 = -c*m, 3*a - 5*m - 14 = 1. Is a at least as big as k?
True
Suppose 92 = -4*l - 3*r, -4*l - 4*r = 268 - 168. Let b be (-8)/(-3)*(-99)/(-6). Suppose b = -3*i + 2. Is l less than or equal to i?
True
Let i = 69698/3 - 354274922/15249. Which is smaller: 1 or i?
i
Let u = -2/31701 - 31697/63402. Is -0.8044 at most u?
True
Let y(w) = 4*w + 41. Let a be y(0). Let s be (246/(-12))/(((-5)/2)/(-5)). Let t = s + a. Which is smaller: t or -3/5?
-3/5
Let n be (2/4)/(2/(-152)). Let k be (n/(-4))/((-3)/(-6)). Let r be 11/((-99)/(-252)) + (5 - 14). Is k <= r?
True
Let g(q) = 5 + q**2 + 67*q + 61*q - 120*q. Let l be g(-7). Let u = -2 - -7. Is u at least as big as l?
True
Let h be -9*((-1)/(-3))/(-1). Let p be (h/2)/(9/(-132)). Let x(u) = u**3 + 54*u**2 + 65*u - 287. Let d be x(-3). Which is smaller: p or d?
d
Let t = 54 + -90. Let v = t + 37. Let q be 3*v - (-11)/(-44). Which is smaller: q or 4?
q
Let r(l) = -l**2 + 4*l + 9. Let p be r(5). Suppose 5*s - 2*c - p = 4*s, -3*s - 2*c = -4. Suppose 22 + 12 = s*b. Is 16 less than or equal to b?
True
Let h = 1.1 - 1. Suppose 73*k - 17*k - 87528 = 0. Let z = 1561 - k. Is z equal to h?
False
Let y = 265 - 576. Let s = 310.6 + y. Is -26 <= s?
True
Suppose -2*x - 3 - 1 = 0. Let t be (-85)/(x/(1*(-5)/15)). Are -13 and t nonequal?
True
Let o = -12.495 - 0.845. Are 2/7 and o non-equal?
True
Suppose -8*r + 8*g = -10*r + 40, 20 = 4*g. Which is bigger: r or 1/557?
1/557
Let c be (-1 - 4)*45/(-225)*6/63. Let f = 3 - 5. Is f smaller than c?
True
Let g(m) = m**3 - 14*m**2 + m - 12. Let t be g(14). Suppose -5*u = -2*s - 36, 0*s = -s + t. Let j = -537 + 547. Which is smaller: u or j?
u
Suppose 0 = -5*n - 4*x + 907, 367 = 2*n + 71*x - 70*x. Is n greater than or equal to 186?
True
Let a = -152.044 - -0.044. Let b = a - -187. Let q = -0.03 - -0.03. Which is bigger: q or b?
b
Let z = 763 - 817. Which is smaller: -57 or z?
-57
Let x(b) = 3*b + 3. Let r be x(1). Suppose 5*c - 10 = -y, 2*c - 2*y - r = -c. Let t(f) = 4*f - 1. Let u be t(-2). Which is bigger: c or u?
c
Suppose 3*a + 11 = -2*d, -4*a - 6 = -2*a + d. Let f = 712 - 696. Let y be 8 - 2 - (-14 + f). Is y != a?
True
Suppose 77 - 68 = 3*p. Suppose p*u - 5 - 11 = 4*c, -2 = -2*c - u. Which is smaller: c or -1/125?
c
Let d be ((-470)/20 - -30)/((-2)/(8/2)). Is d > 4?
False
Let n = -2510 - -2523. Which is smaller: n or 38?
n
Let d(k) = -22*k + 11. Let t be d(-9). Suppose t = 5*z + f, 4*z - 5*f + 2*f = 152. Is z equal to 39?
False
Suppose -19418*m - 8910 = -19407*m. Which is smaller: -808 or m?
m
Let i(k) = -10 + 55*k - 61*k + 13 - 10 - k**3 - 3*k**2. Let v be i(-2). Which is bigger: v or 2?
2
Suppose 0 = l - 1 - 3. Let z be 158/(-1738) - (-2 - (-34)/(-11)). Suppose -l*h = z*a + 85, 3*h + 0 = a - 2. Is a > -23/2?
False
Let j(u) = 7*u + 69. Let s be j(-11). Let l be (3/6)/(s/(-132)). Do 8 and l have the same value?
False
Let p = 111 - 78. Let y = 40 - p. Let l = -6 + 5. Which is smaller: y or l?
l
Let n = -2 + 18. Suppose -n*g = -20*g - 344. Let f = 35 + g. Is f smaller than -51?
False
Let u = -0.07 - 0.13. Let l = -1607.4 - -1607.425. Is l < u?
False
Let a be 2/(-6)*(-2)/(-2). Let u be (1 + 114/(-4))*(-678)/3955 + -5. Is a less than u?
True
Suppose -64 = 2*t - 4*w, -67 - 81 = 4*t - 3*w. Which is greater: t or -277/7?
-277/7
Let w = -157 - -902. Let i = w - 745.1. Which is smaller: i or 111?
i
Suppose 3*j + 16*v - 13*v + 6 = 0, v + 2 = 5*j. Suppose -2*w = -23*u + 27*u + 138, -3*u + 4*w - 109 = j. Which is bigger: -38 or u?
u
Let x(l) = -l**2 + 9*l - 7. Let c be x(8). Suppose -p - 3*v = v - 314, p - 322 = 4*v. Let n be (1276/p)/1 - (-316)/(-79). Is n at most c?
True
Suppose 3*w = 3*g - g - 15, 5*g = 4*w + 41. Let x(f) = -7*f + 43. Let b be x(g). Is -0.7 not equal to b?
True
Let z = -15445/9 - -1714. Suppose 251*c - 253*c - 62 = -4*v, 2*v - 27 = -3*c. Are c and z nonequal?
True
Let f = 43 - 22. Let h be (-2 + 0/3)*f/(-14). Suppose 3 + 40 = 4*t + 5*s, -2*t + h*s + 49 = 0. Which is smaller: t or 15?
15
Let c be 10/(-2)*(-6)/(-6). Let q = c + -28. Let i be ((-1)/(-12))/((-1)/q). Are 3 and i equal?
False
Let p be (-2)/(-13) - 2842/3094. Suppose -b = -3*m + b - 6, 0 = -2*m + 4*b - 4. Do p and m have the same value?
False
Let p = -851/1272 + 1/424. Is p equal to 109.21?
False
Let h(t) = 91*t + 92. Let x be 4 - 1 - ((-5 - -3) + 0). Let n be h(x). Which is smaller: n or 548?
n
Let i(k) = -3*k**3 + 168*k**2 + 12*k + 356. Let s be i(56). Which is smaller: s or -4?
-4
Let m = 15 - 15. Let n be 1/(-1) + ((-46240)/(-2328))/20. Which is greater: m or n?
m
Let j be 1*-1 + 0*2/(-16). Let n(a) = 6*a**3 + a**2 + 3*a + 2. Let o be n(j). Let v be (-8)/(-16)*(-1 + (-7)/o). Which is greater: v or -1?
v
Let h = -2162.74 + 2163. Let x = -119 + 123. Which is greater: h or x?
x
Suppose 3*z + 19 = -4*r + 56, -4*z - 2*r + 56 = 0. Suppose 4*y = -y - z. Let j = 513/194 + -402/97. Which is greater: y or j?
j
Let m = -129.1 - -124. Let d = m + 5.3. Is d greater than -0.11?
True
Suppose -4*p = -2 - 2. Suppose 2*f = f + p. Let z be 226/114 - (-10 - (-17 + 5)). Which is smaller: f or z?
z
Suppose -13*y = -11*y + 20. Let r be (-15)/y*(4/3 + 0). Suppose -4*m + 2 = -26. Is m not equal to r?
True
Suppose 0 = 3*i - 90 + 33. Suppose 0*d + 4*d + 5*h = 128, -11 = -d + 4*h. Suppose -9 + d = l. Which is smaller: i or l?
l
Suppose 5*j - 10 - 10 = 0, 4*x + 4*j - 20 = 0. Let h be (45/12 + -4)/(7/2352*2534). Which is smaller: h or x?
h
Let i = 703.1 + -537. Let t = i