 most as big as f?
False
Let p(z) = -13759*z**2 - 7*z + 4. Let f be p(5). Let x = -7221671/21 - f. Let a = -117 + x. Which is bigger: 0 or a?
0
Let k(t) = t**2 - 10*t + 13. Let o be k(9). Suppose -o*l + 23 = -u, 3*u + 3*l = u + 9. Let m be 0 - (u + -1)/(-4). Which is smaller: m or -2?
-2
Let d be -1 - (-13 + -2) - 1. Let n = d - 34. Is 1 smaller than n?
False
Suppose -j - h = -1, h = 3*j - 7 - 8. Suppose j*y + 5 = -l, -4*y + 9 = 5*l - 2*l. Suppose -37*g + 13*g = -192. Is l <= g?
True
Let n = -1737 + 1733. Which is smaller: n or -91/25?
n
Suppose -4*r + 4 = -4, 5*y + 2*r + 6 = 0. Let k(g) = -17*g - 13. Let i be k(-2). Let x be 7/i + y/4. Is x equal to 1?
False
Let m = -0.04 + -20.01. Let d = -20 - m. Is d bigger than 1?
False
Let z = 9 - -36. Suppose -201 = -3*u - z. Which is bigger: u or 51?
u
Let v(r) = 5*r + 21. Let k be v(-7). Let h(o) = -o - 18. Let d be h(k). Which is smaller: d or -5?
-5
Let h be -3 - ((-36)/48)/((-2)/(-88)). Let b be 3/18 - (-19)/h. Let q = -1.2 + 1.1. Which is greater: q or b?
b
Let p = -134 - -156. Which is smaller: 65/3 or p?
65/3
Let m be 0/(-1) + (-1)/(4/(-16)). Suppose -17 = 2*j - 3*l, m*l - 2 + 14 = 0. Which is smaller: -0.1 or j?
j
Let v(c) = -c**3 - 3*c**2 + 8*c + 6. Let g = 14 + -19. Let p be v(g). Suppose 3*q + l + l = -2, 0 = 4*l + p. Is q >= 2?
True
Let r be 208/122 + -7*20/70. Which is greater: -1 or r?
r
Suppose 0 = 3*d + 3*l - 42, -5*l - 66 = -3*d - 16. Let k = d - 16. Is 4 smaller than k?
False
Let w = -245/6 - -445/12. Let p = -9 - -4. Is w >= p?
True
Suppose 0 = -21*a + 17*a - 24. Let l = -19 - a. Let b = 62 - 188/3. Is b < l?
False
Let p = -46.6 + -3.4. Let h = -21 - p. Which is smaller: h or -1?
-1
Let w(l) = -l**2 - 7*l - 1. Let c be w(-5). Suppose 3 = d + c. Let s be 1 + 3/((-15)/10). Is s bigger than d?
True
Let c be (39/(-26))/(6/(-280)). Let z = 212/3 - c. Let i = 3 - 2.9. Which is bigger: z or i?
z
Let u(m) = -4*m + 21. Let g(w) = -6*w + 32. Let x(s) = -5*g(s) + 7*u(s). Let v(t) = -t. Let a(c) = -3*v(c) - x(c). Let p be a(-14). Which is bigger: p or 4?
4
Let r = 0 + -11. Let o be 94/(-8) + (-1)/4. Is o < r?
True
Suppose -3*u + 12 = 0, -6*u + 8 = -5*d - 4*u. Are d and 1/403 nonequal?
True
Let x(f) = 2*f**3 - 3*f**2 + 23. Let a be x(4). Which is greater: a or 104?
104
Let z = 137/20 + -29/4. Let t be 3/((-27)/(-12))*3. Let c be (t/88)/((-1)/4). Which is greater: c or z?
c
Let a = -662.9448 + -0.9552. Let i = a - -634. Let z = -30 - i. Is z at least -1/2?
True
Let w = -3143/60 - -274/5. Which is bigger: 1 or w?
w
Suppose -6*v - 10 = -4*v + 2*i, 3*i + 16 = -4*v. Let c be (-5 - v - 3) + -1. Let k = -9 - c. Which is bigger: -2 or k?
k
Let q = -60530/7 - -8749. Let z = q - 102. Which is smaller: 10 or z?
z
Let t = 70.174 + -0.174. Let w = t - 71. Do -83 and w have the same value?
False
Let x = -2192/12325 + 1/725. Is 0 != x?
True
Let k = 524 + -538. Do k and -3 have the same value?
False
Let q = 21 + -17. Suppose -q*f - 5 = -3*j, -3*f = -j + f - 1. Which is smaller: -0.7 or j?
-0.7
Let v(j) = 43*j - 214. Let b be v(5). Which is smaller: 34 or b?
b
Let p = 31.993 + 0.007. Let j = -0.52 + 32.52. Let k = j - p. Which is smaller: 0.01 or k?
k
Let u = 41/18 - 961/414. Suppose -4*g - t = 3*t - 4, 4*g + t - 1 = 0. Is u less than or equal to g?
True
Let m = -40/221 - -61301/337467. Are m and -1 equal?
False
Suppose -3 = -4*z + 1. Let o be (-7536)/3766 + 4/2. Let g = o + -3652/107331. Is g less than or equal to z?
True
Let k = 23 - 41. Let t = k + 6. Suppose -5*x - 24 - 32 = -4*g, 3*x + 38 = -2*g. Are t and x non-equal?
False
Let i be (1/(6/1))/((-13)/1352). Let h = i + 154/9. Which is smaller: h or -0.1?
h
Let g be 501/(-8)*(-3)/(-9)*-2. Which is smaller: g or 41?
41
Suppose 10*x - 14*x + 48 = 0. Let y be 2559/(-10)*(-8)/x. Let u = -172 + y. Are -2 and u equal?
False
Let s be (-1 - -1)/7 + 1*4. Suppose -132 = 3*k + s*f - 25, 4*f + 181 = -5*k. Is -38 at least k?
False
Let y = 1.95 - 0.15. Let v = -5.1 - -6. Let o = y - v. Which is smaller: 2 or o?
o
Let d = 235/2 + -21621/184. Which is bigger: d or 0?
0
Let f be (0 - 2) + 0/(-1). Let z be 8/f - 161/(-69). Is -1 bigger than z?
True
Let m(r) = 5*r**2 + 10*r + 16. Let c(o) = 3*o**2 + 7*o + 11. Let u(z) = -8*c(z) + 5*m(z). Let t be u(-4). Is 31 at most t?
True
Let h = -9 - -41. Let d = h - 31. Which is greater: d or 6/13?
d
Suppose 0 = 9*z - 14*z + 10210. Let u = z - 696. Let x = u - 14818/11. Which is greater: -2 or x?
x
Let c be (4/22)/(-54 - 46). Are 1 and c equal?
False
Suppose 7*j - 190 = -3*z + 3*j, 4*z = -3*j + 258. Is 66 greater than or equal to z?
True
Suppose -46 = -4*a + 2*h - h, -10 = 5*h. Suppose 10*g = a*g. Are g and -2/9 equal?
False
Let g = 26.91 - 27. Let x = -0.19 - g. Are -5 and x nonequal?
True
Let p be (84 - 17)/(0 + 2/(-4)). Which is bigger: -0.2 or p?
-0.2
Suppose -23 = -4*p - 3. Let k be -3 + (2 - (-9 + 3)). Suppose 0*z + z + p*t = k, -3*z + 3*t = 3. Is z at most -1?
False
Suppose 5*a = -6 - 4, 3*a - 24 = -2*u. Suppose -2*x = -4*x - 5*l - 80, x + 50 = -5*l. Let t = x + 46. Is t at least u?
True
Let b(o) = o**3 - o**2 - 7*o + 4. Let x be b(3). Let j(n) = n**2 - 3*n + 1. Let f be j(x). Is 4/7 < f?
False
Let m(v) be the third derivative of -v**4/24 + 11*v**3/6 + 3*v**2. Let w be m(17). Is w less than or equal to -3?
True
Suppose 0 = o - 0*o - r - 9, o + 4*r = -6. Let g be 1*-3 - (3 - o). Suppose 2*v + g = -2. Are -1/5 and v equal?
False
Let t(s) = s**3 - 6*s**2 - 5*s + 8. Let u be t(7). Suppose -u + 76 = -3*n. Is n > -15?
False
Let n = -7989 - -1901379/238. Is n <= 1?
True
Let i(g) = -12*g**2 + 0 + g**3 - 3 - 1 - 6 - 12*g. Let m be i(13). Which is greater: 0 or m?
m
Let r be 6/70 - 5/(-25). Let s(h) = -4*h**2 + h - 1. Let v be s(1). Let c = v - -4. Which is smaller: r or c?
c
Let c = -1 + 3. Let f = 5 - c. Let i = -1/62 + 65/186. Which is smaller: i or f?
i
Let h be ((-21)/595)/(16/10). Let d = 349/408 + h. Which is smaller: d or 0?
0
Let y be 1*-11 + -2 + 0. Let w be 15/((-10)/5 + 1). Let u(q) = -2*q - 30. Let r be u(w). Is r at least as big as y?
True
Let q(i) = -51*i + 13. Let b be q(-3). Suppose 54 = -5*h - b. Are h and -45 nonequal?
True
Suppose -20*y - 82 = 21*y. Let d = 0 + 2. Do y and d have different values?
True
Let f be -2 + (-5)/((-10)/2). Let q = -89 - -60. Which is smaller: f or q?
q
Let b = 388 - 389. Which is smaller: 2/99 or b?
b
Let m be (4 + (-1 - 0))/(-33 - 8). Are -1 and m equal?
False
Suppose -25 = x - f, -6*x - f = -3*x + 83. Let b be 2/(6/x*3). Let u be (-15)/(-18) + b/6. Which is bigger: -1 or u?
u
Suppose 5*i - 4*i - 2 = 0. Suppose s - 3*n + 10 = 0, -i*n - 3 + 11 = -2*s. Which is smaller: -1/8 or s?
s
Let y be (36/15)/(4066/95). Which is smaller: -1 or y?
-1
Suppose -4*f + 677 = 2*n - 1483, -5*f - 2*n = -2700. Is f != 539?
True
Let t = 1766.3 - 1766. Is 478 bigger than t?
True
Let v = 7 + 13. Let m = 9 - v. Let x = m + 11. Which is greater: 0.5 or x?
0.5
Let p(a) be the third derivative of -a**5/60 - 5*a**4/12 - 25*a**3/6 - 29*a**2. Let k be p(-6). Let n = 4.94 - 5. Which is bigger: n or k?
n
Suppose 0 = -3*r + q + 31, 5*r + 0*q - 46 = -4*q. Let c be 4/r - 8/(-5). Suppose -3*i + 5 + 2 = c*s, 4*s = i - 7. Which is greater: -3/8 or s?
-3/8
Let r = -630 + 891. Is -2 less than r?
True
Let s(v) = -v + 1. Let y be s(-2). Suppose -5 = o - y. Let f be (-5)/3 - 40/30. Is o at least as big as f?
True
Let c = -14 + 12.2. Let d = c - -1.73. Let q = d - 0.23. Which is greater: -2 or q?
q
Let s = 3/1654 + -5445/266294. Is 0 bigger than s?
True
Let r = 2 - -1. Suppose 0 = 1280*i - 1285*i + 70. Suppose i = r*v - 28. Is 16 greater than v?
True
Let h be ((-1286)/28)/((-7)/14). Let d = h - 92. Is d > -1?
True
Suppose 0 = 5*w - 5*b + 45, -2*b + 0*b - 38 = 2*w. Suppose -1538 - 1234 = -4*d. Let k be 275/d - (-4)/w. Is k at least as big as 0?
True
Let a be 969/204 - (-1)/4. Let p = 3 + 3. Let j be (p/(-15))/((-2)/a). Which is greater: j or 9/5?
9/5
Suppose 2*x + 3*o = 5 + 3, -5*o - 45 = -5*x. Let n be 4/((12/(-8))/(-3)). Which is greater: n or x?
n
Let s = -354 - -354.02. Are s and 0.08 non-equal?
True
Let y = -5 - 5. Let z = y - -10.18. Let v = 0.148 + 0.052. Is z bigger than v?
False
Let r be (((-325)/(-26))/(-25))/(13/70). Which is smaller: -4 or r?
-4
Suppose -2*q + 7*q + 15 = 0, -50 = -5*f + 5*q. Suppose -g + 38 = f. Let o = g - 