 be (-185)/12 + (-3)/12. Let i = -415 - -399. Which is bigger: i or u?
u
Let p(j) = 13*j + 7. Let s(t) = 8*t + 5. Let c(w) = -5*p(w) + 8*s(w). Let g be c(6). Which is smaller: g or -5?
-5
Suppose 2*i + 4386 = -5*k, 13*k - 17*k = -5*i + 3522. Is k greater than or equal to -878?
True
Suppose 3*q + 5*n = 21, 0*q - 5*q - 5*n + 25 = 0. Is q greater than 10/11?
True
Suppose 2*g = -4 - 6. Let u(a) = -5*a**2 + 5*a + 1. Let c(o) = 11*o**2 - 10*o - 3. Let q(i) = 4*c(i) + 9*u(i). Let t be q(5). Is g <= t?
True
Let h = -646 - -639. Which is smaller: -2/23 or h?
h
Let c = -2077 - -6176/3. Let l = c + 17. Is l < 2/5?
True
Let j = 8926.227 - 8909. Let n = 0.127 - j. Let t = n + 17. Which is bigger: t or -0.04?
-0.04
Let q = -16.336 - -16.3. Which is smaller: q or -0.3?
-0.3
Let p = 136544/333 + -3686/9. Which is smaller: p or 1?
p
Suppose -2*u + 3*t - 4 = 0, -2*u = -u - 4*t + 12. Suppose -u*m + 0*m + 12 = 0. Suppose -4*h = -1 - m. Which is smaller: h or 0?
0
Let x = -8 - 3. Which is smaller: x or -1?
x
Let w(v) = v**2 + v - 3. Let n be w(0). Let o(a) = -a**3 - 2*a**2 + 4*a + 4. Let i be o(n). Is i greater than or equal to -2/29?
True
Let z be (5 + -2)/(13 - 10). Let p = 552/5 + -1526/15. Let a = -460/51 + p. Which is greater: a or z?
z
Let a(r) = -17*r + 9. Let l be a(-8). Which is bigger: l or 144?
l
Let a be (-72)/(-336) - 1950/280. Let n be -9 + (2 - 1/1). Is a smaller than n?
False
Let g(c) = c**3 - c**2 - c + 400. Let f be g(0). Let j be 135/f + (-4)/10. Let o = j + -3/16. Which is greater: 6 or o?
6
Let y = 494 - 10372/21. Suppose 0 = -3*s + 3*s - 5*s. Let k be s/(-1)*3/6. Is k < y?
True
Let b be (1 - 0)/(9 + 154/(-28)). Which is smaller: -4/23 or b?
-4/23
Let t = -27 + 33. Suppose -j + 10 = -5*p - 4*j, -3*j = -3*p - t. Which is bigger: p or 0?
0
Suppose 5*v - 702 = v - 14*v. Let l(k) = 2*k**2 - 8*k - 4. Let t be l(7). Is t less than or equal to v?
True
Let i = 95/17 - 4241/765. Suppose 79*k - 77*k = 2. Which is greater: i or k?
k
Let o be 4 - ((-66054)/1155 + -3). Let x = -184/77 + o. Let d = x - 62. Which is greater: -7 or d?
d
Suppose 6*b + 74 = 68. Which is greater: -21/13 or b?
b
Let d = 2.9616 + 0.0384. Let t = -0.11 + -0.99. Are d and t unequal?
True
Let t be 7/(-20)*(-72)/450. Is 0 greater than or equal to t?
False
Let h be (-141)/9 - 2/(-3). Let c be 2212/2320 + 9/h. Let d = c - 3/29. Is 0.2 at least as big as d?
False
Suppose 9*t - 2*t = 28. Suppose -8*y - 8 = -10*y. Are y and t equal?
True
Let o = 52274/301 + -1216/7. Suppose -3*x = -2*x. Is o less than x?
True
Let z = -36 + 23. Let d = 90 - 102. Does z = d?
False
Let r = 111 - 554/5. Is r smaller than -1?
False
Let t = 39 - 57. Suppose -y = -2*z + 12, 6*y - 2*y - 3*z = -68. Is t != y?
True
Suppose 3 = -3*j - 0. Let c be 4 - j/(-3)*735/7. Is -31 less than c?
False
Suppose 1607 = -11*g - 1352. Is -272 greater than g?
False
Let y be -3*(-3)/((-18)/(-14)). Suppose -12*j = -19*j - y. Which is greater: j or -5/3?
j
Let l be 2803/(-2406)*(-3)/2. Let y = -1/401 - l. Suppose 5*b + 0 = -5. Is b greater than or equal to y?
True
Suppose n = 6*n - 10. Suppose -8*l = -10*l + n. Are l and 1/49 unequal?
True
Let w = -769/2 + 385. Is 2 greater than or equal to w?
True
Let n = -0.3 + 0.2. Let d = -2.5 - -2.16. Let b = 0.37 + d. Do b and n have the same value?
False
Let o = 2 - -15. Suppose 3*t = o - 8. Is t <= -1/3?
False
Let o = -3283 + 75493/23. Which is smaller: o or -1?
-1
Let u(p) = -p**3 + 1. Let i be u(-1). Suppose i*y = -2*y + 8. Let c = 3 - -3. Which is bigger: c or y?
c
Let o(w) = w**2 - 4*w + 3. Let t be o(3). Let k = -70564101/388 - -181866. Let a = k - 1/97. Which is smaller: t or a?
a
Let c = -8.88 + 9. Let s = 6.88 + c. Let b = s - 11. Is b smaller than 0.1?
True
Suppose -4*i = 4*r + 84, -5*r = -i - 3*r - 33. Which is greater: i or -97/4?
-97/4
Let c = 312 - 312. Let h be 1/65*30/18. Which is greater: c or h?
h
Let l = 1 - 0.9. Let u = -2016 + 2016.02. Is l equal to u?
False
Let r = -16 - -16. Suppose -3*h = -4*j + 29, 3*j - 4*h - 3 - 10 = r. Are j and 9 equal?
False
Suppose 4*x - 664 = -5*h, 3*x + 4*h - 207 = 291. Which is greater: x or 167?
167
Suppose -l - a = 2, -5*l - 6 = 2*a + 16. Let q(t) = -2*t + 7. Let h be q(l). Suppose -3*s + h - 13 = 0. Which is greater: s or 5/6?
s
Suppose -11*g - 2016 = 1350. Which is greater: g or -307?
g
Suppose -h - 17 + 16 = 0. Let g be 2*(1 + -2)/1. Let o be g/(-2) - (-17)/(-16). Is h at most as big as o?
True
Suppose 25 = -4*q - 39. Let m be (-422)/(-1092) - 8/q. Let h = 4/21 + m. Which is smaller: h or 1?
1
Let y(l) = -11*l + l**2 + 3 + 0 - 13. Let k be y(12). Which is smaller: k or 15/8?
15/8
Let l = 28 - 27. Let x be ((-4)/(-8) - l)*-6. Which is bigger: x or -2?
x
Let x be 1788/30 + 4/10. Suppose -4*k - 2*d = -9*k + x, 0 = -2*k - 3*d + 5. Is k not equal to 11?
True
Let o = 1174 - 19968/17. Let t = 3/34 + o. Which is smaller: -7/9 or t?
-7/9
Suppose -3*x = x - 1004. Let n = x + -1027/4. Which is greater: -7 or n?
n
Suppose 237*l + 1752 = -5*q + 241*l, 2*l = 5*q + 1746. Do -347 and q have the same value?
False
Let a(n) = n**2 - 8*n - 4. Let i be a(5). Let h = 19 + i. Suppose -2*f = 2*v - 20, -v + 0*v - 4*f + 7 = h. Is 10 greater than v?
False
Let g(k) = -5. Let d(r) = r - 1. Let l(m) = -d(m) - g(m). Let y be l(5). Let u be (y + (1 - 4))/19. Which is greater: -1 or u?
u
Let r = 32 + -15. Let u be r*(-2)/38 + 1. Suppose 3*q + 0 = 3. Which is greater: q or u?
q
Suppose -2*a + r + 5 = -3*a, a + 4*r = -17. Let q be (a/((-3)/(-8)))/((-28)/252). Which is smaller: q or 26?
q
Suppose 0 = -4*y - 2*y + 36. Is y greater than or equal to -2?
True
Suppose 12 = -6*f + 150. Let u = f + -18. Is 3 not equal to u?
True
Suppose 4 - 42 = -a. Suppose 5*p - 3*h = a, 4*h + 31 = 4*p - 1. Do 6 and p have different values?
True
Let c = -8 + 41. Let n = c + -35. Is 1 at least as big as n?
True
Suppose -i = -2*j + 14, 5*j = 2*j + 4*i + 31. Let r be 33*j + 5 + -1. Let b = 854/5 - r. Which is greater: b or 2?
2
Suppose 5*w - 4*n = -0*w + 8, 5*w - 6 = 3*n. Suppose 12 = -2*p - v, w*p + 3 = p + 5*v. Do -6 and p have the same value?
False
Let r be 92/5 - (-22)/(-55). Suppose 3*v = 3*b - 9, 3*v - v + r = -4*b. Let j be ((-6)/(-3) - 5) + b. Is j at most -5?
True
Suppose 5*k + 29 = 14. Let p be (-44)/(-33)*k/23. Which is greater: 0 or p?
0
Let h = 44 - 28. Let b = 15.8 - h. Is b at least as big as -10?
True
Let a = -42 - -40. Let y be (-32)/128 - a/((-56)/(-27)). Is 0 > y?
False
Let i be (4 + 470/(-110))*(-1352)/12. Which is smaller: 32 or i?
i
Let j be 2 + -4 + 3 + 62/(-2). Is -28 less than j?
False
Let k = 69 - 344/5. Is 3/4 != k?
True
Suppose -2*q = -4*q + 66. Suppose 5*d - b = -4*b + q, 2*d - b = 11. Let a = 15/4 + -13/4. Is d at most as big as a?
False
Let f = -14522/681 + -2/227. Suppose 4*l = -3*o - 0*l - 79, 2*l = -8. Which is smaller: f or o?
f
Suppose 4 = 2*u + 6. Let c = 113/5 + -2717/120. Is u less than c?
True
Let n be 5 + -2 + -27 + 10. Suppose -g - 5*w + 25 = 2*g, 4*g + w - 5 = 0. Is n bigger than g?
False
Let z = 1 + 0. Suppose -2*c = 4*b + 2, -2*b - 19 = -8*c + 3*c. Suppose g - p - 1 = 0, z = -c*g - g - p. Which is bigger: g or -2/39?
g
Suppose 0*d - 148 = 2*t + 2*d, -3*d + 12 = 0. Let z be t/70 + 46/(-161). Is z >= -2?
True
Let r = 16 - 30. Let x = -16 - r. Is 1/4 >= x?
True
Suppose 0 = -3*y + 4*y - 2*n + 17, -y - 2*n = 13. Let v(p) = -p**2 + p + 6. Let x be v(-4). Which is greater: x or y?
x
Let z be ((-13)/(-3))/((-2 + -3)/(-30)). Let r = z + -25. Which is smaller: 14/15 or r?
14/15
Let g = -8138/3 - -2676. Is g at most 2?
True
Let w = 20127172/1061 - 18970. Which is bigger: 0 or w?
w
Let j = -183 - -184. Is j at most -1/46?
False
Suppose 0 = -3*w + 3*x - 15, 3*w - 4*x = 31 - 51. Let k be ((-6)/27)/(15/(-72)). Which is smaller: w or k?
w
Let g(o) = 61*o + 80. Let x be g(-2). Which is smaller: x or -0.06?
x
Let b be 3*3/(-3) + -3. Let m(c) = -4*c - 28. Let f be m(-6). Is f greater than b?
True
Let g = 35 - 33. Suppose 0 = -4*u + 2*m - 0*m - 10, -u = -g*m + 10. Does u = 1/5?
False
Let b = 611/30 + -103/6. Suppose -v = -x - 3, 12 = 3*v - 3. Which is greater: x or b?
b
Let q be 378/105 - (-6)/(-10). Suppose -k - q = 3*y, -2*k + 3*y + y = -4. Suppose k*g + 4*g + 12 = -s, 0 = -5*s - g - 3. Which is smaller: s or -1/10?
-1/10
Suppose 10*c - 11*c + 4 = 0. Suppose o = c*w, -o =