pose 0 = 7*w - 43*w + 29 + 7. Let k = 27119/131 + -207. Which is bigger: k or w?
w
Let v be (-15)/(2 + -5) - -1. Let t be (-2 + -1)/(v/28). Let x be t/4 - 2/(-1). Which is smaller: x or -1?
x
Suppose -3*y = 5*f - 43, -2*f - 3*y + 14 + 5 = 0. Let w = f + -15/2. Is 0.18 not equal to w?
True
Let s = -64 - -58. Suppose -4 - 2 = 3*j. Let x be 6 + s*j/(-4). Which is smaller: 4 or x?
x
Suppose 3*c - 138 = 5*p - 46, 4*p - c + 68 = 0. Does p = -18?
False
Suppose -u - 2*z = 17, 5*z = u + 4*u + 25. Let x be 38/10 - (-36)/u. Which is smaller: -1 or x?
-1
Let h = 12 - 11. Suppose 0 = -4*n + 20, -3*n = 4*z - 31 - 8. Suppose 3*f = f + z. Which is smaller: h or f?
h
Let c = -8423 + 488617/58. Let b = c + 2/29. Is b smaller than 2/5?
False
Let f(k) = k**3 - 4*k**2 - 16*k + 55. Let p be f(5). Let r(s) = 31*s + 11. Let i be r(-10). Let o = i - -3294/11. Is p less than or equal to o?
True
Let g be 147/18 + (-2)/12. Let f = -3 - -7. Suppose -f*n + 3*i + 51 = n, -2*i - 13 = -n. Which is bigger: g or n?
n
Suppose 378 + 582 = 30*n. Which is smaller: -2 or n?
-2
Let z be 8/((-48)/6) - (-4)/2. Do z and -138 have the same value?
False
Let v = 18.11 - 19.8. Let x = -1.8 - v. Let d = -0.03 + x. Is -0.1 smaller than d?
False
Let g = 5266/27573 + -2/3939. Is g less than -2?
False
Suppose 0 = 5*z - z, -5*v - 25 = -2*z. Let w = 6 - 16. Is w smaller than v?
True
Let x(u) = -u - 3. Let t be x(4). Let j(v) = v**2 + 7*v + 5. Let l be j(t). Let m be (-7 + -3)*(-2)/l. Is 2 greater than m?
False
Suppose 4*d + 3*t - 19 = 125, -3*t - 12 = 0. Which is smaller: 0 or d?
0
Let y = -905 - -848. Which is greater: y or -3?
-3
Let j be (6 + 0)*(-3)/(-6). Suppose -n + 1 = 0, -5*n = -j*a - 5 + 36. Let h = a - 10. Is h not equal to 0?
True
Let t(o) = -o + 1. Let m be t(-1). Suppose -m*q = 0, 0*y - 4*q - 36 = 4*y. Let k be (3/y)/(1/(-9)). Which is greater: 0 or k?
k
Let d be (-2)/(-8) + 21/(-36). Suppose 5*m - 19 = -24. Which is greater: m or d?
d
Suppose 0 = z + z. Let t be ((-30)/(-75))/(-6 + (-29)/(-5) + 5). Which is bigger: t or z?
t
Let t = 37 - 55. Let i = t + 20. Let n(j) = -j + 5. Let y be n(7). Is y greater than or equal to i?
False
Let c be 20/4 + 52/(-60). Which is bigger: c or 5?
5
Let b(r) = -r**3 - 6*r**2 + 6*r - 5. Let w be b(-7). Let f = w - 0. Let q be 1/(-22) - (-777)/(-814). Which is smaller: f or q?
q
Let p = -7075/59 + 14488469/120950. Let t = p + 6/41. Is 0 less than t?
True
Let k = 124 + -76. Let f be (k/(-45))/(4/(-10)). Is 2/5 at most f?
True
Let c = 27 - 18. Let p = c + -9.2. Let t = 3 - 2.94. Which is greater: p or t?
t
Suppose 5 = r - 6. Suppose 3*k - 22 = -2*f - 8, -k + 38 = 4*f. Which is bigger: r or f?
r
Let c be 0/((-13)/((-117)/18)). Is c < 6/155?
True
Let u = -72 + 229. Is u <= 157?
True
Let r be (-301)/(-1032) - (0 - (-8)/6). Which is bigger: 0 or r?
0
Let d(t) = 2*t**2 - 2*t - 4. Let c be d(-3). Let q = 331 + -311. Are c and q unequal?
False
Let l(r) = -r**2 - 31*r - 254. Let t be l(-14). Are t and -17 non-equal?
True
Let b(i) = 5*i - 47. Let j be b(10). Suppose -3*f - 5 - 4 = 0. Is f at least as big as j?
False
Let a(m) = -m**3 + 12*m**2 + 15*m. Let x be a(13). Let w = x + -77/3. Which is bigger: w or 0?
w
Let m = -16 + 27. Suppose -7*h + 156 = -m*h. Let l = -14 - h. Is 25 at least as big as l?
True
Let b(c) = 10*c - 129. Let i be b(6). Which is bigger: -71 or i?
i
Let k = -38 - -105. Which is smaller: k or 66?
66
Let p be (-1 - 0)/(105/(-30)). Is -116 at least p?
False
Let y(x) = -2*x - 12. Let v be y(-17). Suppose 23 = l + v. Let n be -2 + 1 + 6/10. Which is smaller: l or n?
n
Let k(n) be the second derivative of n**5/20 - 5*n**4/6 + 7*n**3/6 + 19*n**2/2 - 32*n. Let b be k(9). Which is smaller: 0 or b?
0
Let l(j) = j**2 - 4*j + 4. Let u be 90/(-20)*4/(-6). Let g be l(u). Which is bigger: g or -5/12?
g
Let p be 1/(3/(-18)) + 5. Let a be 20/15 + (-4)/(-6) + p. Which is smaller: a or -1/29?
-1/29
Suppose -7*w - 100 - 54 = 0. Let r = -18 - w. Which is smaller: 2 or r?
2
Let f be 4/(-10)*(-1 + 14340/(-35)). Is f > 163?
True
Let j = 887 - 1066. Is j >= -181?
True
Let r be ((-4)/6)/(-1 - -3). Let v = -516 + 517. Is v bigger than r?
True
Suppose -4*j + g = -4216, 2*j + 2*g = 442 + 1666. Let k = -4241/4 + j. Which is smaller: -5 or k?
k
Let t be 24/(-18)*-3*(0 - -1). Suppose -5*s - 16 + 5 = m, -s = -t*m - 44. Are -11 and m unequal?
False
Let i = -34 + 137/4. Let x = 75.84 - 76. Let g = 5.84 - x. Do i and g have different values?
True
Suppose 4*n = -5*x + 60 - 45, -4*x = 3*n - 12. Which is smaller: n or -2/2429?
-2/2429
Suppose -r = 5*t - 9 + 1, -5*r - 20 = -5*t. Suppose -3*m + v = -t*m - 23, -m + 19 = -2*v. Let s be 8/28*(-42)/m. Is -1 greater than or equal to s?
False
Suppose -3*x - j + 15 = -3*j, 2*j = 4*x - 18. Suppose 0 + x = t - 2*b, -26 = -5*t - b. Suppose -3*i = -12, -11 = 2*z - t*z - 2*i. Are z and -2/11 non-equal?
True
Let d be (-3)/(-3) + 33 + -2. Suppose 0 = 2*x + 4*r - d, 2*r = 3*x + 4*r - 36. Let y = 15 - 4. Which is smaller: x or y?
x
Let b be (-191)/5 - 7/(-35). Let z = b - -41. Which is smaller: 8 or z?
z
Let g(k) = k**3 + 28*k**2 + 52*k - 3. Let j be g(-26). Is -22/5 equal to j?
False
Let k(h) = -10 + 5*h + 6*h - 3*h**2 + 2*h**2. Let m be k(9). Let f be m/44*(-2 + 1). Which is bigger: f or 0?
0
Let q(n) = 5*n - 4. Suppose 15 = -0*c + 5*c. Let v be q(c). Suppose -6*d + v*d = 0. Do d and 2/3 have the same value?
False
Let k = 315 - 314.8. Is k < 44?
True
Let o = 679 + -543. Is o <= 136?
True
Let w be (-1)/(4/(8/2)) + 132. Let s = w + -1567/12. Which is smaller: 0 or s?
0
Suppose 3*h = -3*b + 4 - 10, 0 = 3*b + h. Does -1/124 = b?
False
Let a be (-10 - 4/1)/(2/1). Let m be (-40)/a + (-50)/(-175). Which is greater: m or 3?
m
Suppose 4*x = -i + 45, -i - x = 2*i - 135. Let q = -179/4 + i. Which is smaller: q or 0?
0
Let d be (-3)/(-165) - (-2)/(-10). Let a(b) = 2*b + 3. Let x be a(-2). Which is smaller: d or x?
x
Suppose i + 123 = 4*i. Let j = -220 + 261. Are i and j unequal?
False
Let c = -15 + 15.11. Let t = c + -0.01. Let a be 10/18*6/15. Which is bigger: t or a?
a
Suppose -5*v - z = 2*z + 141, 84 = -3*v - 2*z. Let s be 564/(-18) - 4/(-3). Is v at most as big as s?
True
Let q be (7 - 8)*1/(-3)*3. Does -1/68 = q?
False
Suppose -u + 80 = -2*w + 15, 4*w + 3*u = -155. Let i be (-10)/w + (-18)/14. Let o = 0 - i. Is o < 4?
True
Let v be 240/45*(-12)/(-2). Suppose -u + 25 = 5*p, -4*p + 4*u + v = -2*p. Let x = p - 5. Which is smaller: x or 1/5?
1/5
Let j = 274409/219 + -1253. Which is smaller: j or 0?
0
Suppose -6 = 208*n - 211*n. Which is smaller: n or 8?
n
Let z = 220 + -211. Let i be (6/(-9))/(2/(-21)). Which is greater: z or i?
z
Let d(z) = -z + 1 + 2*z + 0*z. Let s be d(3). Suppose 0*o = -s*o. Which is greater: o or 9?
9
Let i(t) = -t**2 + 21*t - 56. Let f be i(18). Suppose -5*u + 32 = -3*n, u + 4 = -4*n - 2*u. Let y be 6/n*16/6. Which is smaller: f or y?
y
Let f be ((-2)/4)/((-8)/(-16)). Let c be -4 - (-2 + f) - -4. Let n be 3/10*c/(-9). Is n greater than -1?
True
Let q = 0.0212 - 0.0612. Is 4/7 bigger than q?
True
Let c be 8 + (-376)/48 + 2/(-3). Which is smaller: -108/13 or c?
-108/13
Let q = 3/12919 + 21479/18771307. Are q and -1 non-equal?
True
Let j be 10/(-3)*(-255)/(-34). Let l be j*(3 + 44/(-16)). Is l at most -7?
False
Let r = -3.8443 - 0.1557. Which is smaller: r or 5.6?
r
Let n = -0.82 + -16.18. Which is smaller: n or -1?
n
Suppose 0 = -8*t + 28 - 20. Which is smaller: 1/178 or t?
1/178
Let i = -3.1 + 6.5. Let t = -3.5 + i. Are t and 0.01 non-equal?
True
Let d be 1 - 0 - 1 - -2. Let s be -2 + (2 - d - -2). Let f be (2/(-6))/((-60)/(-72)). Are s and f non-equal?
True
Let a be ((-2)/28)/(-3 - -4). Suppose 4*u + 4*k - 24 = 0, 5*u - 4*k + 7*k - 20 = 0. Suppose d + 2*s = u, 4*s - 3 = -5*d + 2*d. Which is bigger: d or a?
d
Let c = 177 - 168. Let p be (15/c)/((-10)/(-30)). Which is greater: p or 3?
p
Let b be (-5)/(-15) - (-13)/(-3). Let j be (1 + -37)/4 + b. Let a(q) = 2*q + 11. Let p be a(-12). Do p and j have different values?
False
Let d = -141 + 133. Which is smaller: d or -16?
-16
Let y = 86 + -2. Let f = 84 - y. Which is greater: 2/5 or f?
2/5
Suppose -2*b = u - 18, -20 = -4*u + 4*b + 40. Let f = u - 13. Let q = 1/18 - -29/126. Which is smaller: q or f?
q
Let o be 3/2*4/(-3). Let a = 5885 + -5879. Which is greater: a or o?
a
Let g be (-2124