 4. Suppose -u - g = l - 1, -4*u = -d*l + 11. Which is greater: -4/7 or u?
-4/7
Suppose 5*k + 3*t + 1 = 7*t, 2*t + 7 = 5*k. Which is smaller: k or 5?
k
Let y(i) = -8*i - 20. Let b be y(-4). Which is smaller: b or 15?
b
Let n = -11 + -12. Let a = n - -22.94. Which is smaller: -2/3 or a?
-2/3
Let d = 705 + -697. Is 0 at most d?
True
Let i(a) = 2*a + 35. Let q be i(-14). Suppose 0 = -q*c - 4 - 10. Let w(t) = t**3 + 4*t**2 - 1. Let h be w(-4). Is c at most h?
True
Suppose 4*x = 8 + 8, 0 = 4*o + 4*x - 28. Suppose -5*y - 8 = -d, 5*y - 3 = o*d - 17. Let j be ((-8)/18)/(0 - 2). Is j at least as big as y?
True
Let y = 1 - 1. Let f be y - (-4 - 1429/(-10)). Let l = -139 - f. Which is smaller: 0 or l?
l
Suppose -n + 10*n = -162. Let t be ((-2)/(-99))/1*(-9)/n. Is t not equal to 1?
True
Let h be ((-12)/14)/(294/(-56)). Let z = -9 - -10. Which is bigger: h or z?
z
Let x be ((-8)/4)/((-2)/((-164)/18)). Suppose -4*i = 5*v + 60, -3*v - 2*v = -3*i + 25. Is v at most as big as x?
False
Let z(b) = 15*b**2 - b. Let t be z(1). Let q = 17 - t. Suppose -4*g - 10 = -2*x, -1 = -2*x + q*g + 11. Is 9 != x?
False
Let l be 1/4 - 695/(-20). Suppose -4*x = 16, -j + x = l + 10. Which is smaller: j or -50?
-50
Let t(a) = -181*a - 124. Let h be t(0). Which is greater: -119 or h?
-119
Let w = 166 + -127. Are 37 and w non-equal?
True
Let o(j) = -j**3 + 12*j**2 + 16*j - 40. Let w be o(13). Let p = -74 - -445/6. Is w equal to p?
False
Let y be (1 - -4) + (-6)/6. Suppose -u + 3*u = y*k - 14, 3*u + 5*k = 23. Let j = 299/4 - 74. Which is bigger: u or j?
u
Let c = 735 - 726. Is -6 < c?
True
Let a = 52 + -38. Let l = a + 10. Which is smaller: 1 or l?
1
Let q = -60 - -100. Let w = q + -39.2. Which is bigger: 1 or w?
1
Suppose 478 = 4*d - 718. Let h = -4483/15 + d. Suppose 20*a - 48 = -48. Is a > h?
False
Suppose -14*h = -19*h - z + 4085, -5*h + 4085 = 3*z. Is 819 greater than h?
True
Let h = -395 - -1964/5. Let x = 2 + h. Suppose -3*r + 1056 - 1053 = 0. Which is bigger: x or r?
r
Let f be -2 + 3 - (0 + 3). Let x be 5 + -4 + (-10)/f. Suppose 0 = 2*o - x - 24. Is o at most 16?
True
Let n(t) = -2*t**2 - t + 20. Let g be n(-6). Which is smaller: g or -48?
-48
Let i(r) = -8*r + 4 + 4 + 2*r - 2 - r**2. Let s be i(-6). Let p be (s + -1)*(-1)/(-1). Is 6 at least as big as p?
True
Suppose -h - 3 = -5*n, 5*n - 85*h + 80*h = -5. Is 7/58 <= n?
True
Let r = -5 - -14.2. Let o = r + -9.3. Let h = 1 + -2. Is h less than o?
True
Suppose 28 + 0 = 7*h. Suppose -2 + h = -z. Is -13/4 > z?
False
Suppose -77*v + 82*v + 5 = -3*h, 5*h = -4*v - 4. Is v > -1/480?
False
Let o = -1423 + 1424. Let t = 82/35 + -15/7. Is t less than or equal to o?
True
Let c be (5/1005)/((-2)/36). Is c less than 1?
True
Let h = 240/4991 + -1/217. Is h greater than -2/25?
True
Let g = 2551/7614 + -28/81. Which is smaller: -1 or g?
-1
Suppose 0 = c + 2*f - 3*f + 6, 0 = -4*c - f + 1. Let a be (-375)/(-30)*(-1)/(-15). Is c at most a?
True
Let g be (-4)/174*(-42)/112. Which is smaller: 1 or g?
g
Let h = -6 - -7. Let w be (-8)/10*((-1)/h)/1. Which is smaller: 0 or w?
0
Let l = -105 + 107.04. Let b = l + -0.04. Let t = 15.9 + -15. Which is smaller: b or t?
t
Let f = -313 + 2499/8. Let u(j) = -j - 2. Let a be u(-2). Which is smaller: f or a?
f
Let h be (4/10)/((-16)/400). Let b = 12 + h. Suppose -2*y = -4*q - 4*y + 4, -q + 1 = b*y. Which is smaller: q or -1/5?
-1/5
Let m = -4 - -21. Suppose 2*p + 5 - m = 0. Suppose -p*q - 2 = -4*q. Are q and 2/17 unequal?
True
Let n = -1390/9 - -154. Let s = 5 - 43/9. Let d = s + n. Is 1 >= d?
True
Let a = -0.072 - -0.035. Let k(i) = -i**3 - 21*i**2 - 37*i + 20. Let n be k(-19). Are n and a unequal?
True
Let a = -0.058 + -0.071. Let r = a - -0.029. Which is smaller: 1.5 or r?
r
Let g(b) = b**3 + 10*b**2 - 3*b - 11. Let m be g(-10). Let j = m + -27. Let t(o) = o**3 - 6*o**2 + 2*o + 6. Let d be t(5). Is d != j?
True
Let c be (5 - (-1 + 4) - 0)*10. Which is greater: 96/5 or c?
c
Let p = 18/97 - 14/97. Is p greater than -1?
True
Let p be 1 + (-1)/1 + -18. Let s = 33 + p. Is s at most 15?
True
Let p = 2/3271 + -29495/91588. Which is smaller: p or -1?
-1
Let b = 16 + -19.7. Let g = b - -3.3. Are g and 0 equal?
False
Suppose 0*y = -y - 2*c + 67, -2*y - 3*c = -132. Suppose 2*z + y = -5*w, 4*z + 10 + 51 = -5*w. Which is smaller: w or -12?
w
Suppose 0 = -2*h + 2*l - 4, -l = -4*h - 0*l + 4. Suppose w - 4*a - 2 = 0, h*a + a = 3. Let y be (-10)/w*(-42)/35. Which is greater: 8/5 or y?
y
Let y = 34 + -6. Let l = 29.2 - y. Which is greater: l or 2/3?
l
Let z be (-24 - -2)*(-2)/8*-4. Is 7 < z?
False
Suppose 14*z - 495 = -1195. Which is smaller: -47 or z?
z
Let q = -0.4 - 7.6. Let w = -14 - q. Let b = w - -6.3. Do b and 2 have the same value?
False
Let t be 20*(-6)/2*1. Let k = t - -42. Which is greater: k or -17?
-17
Let z = 1/9018 - 75167/153306. Let f = z + -3/17. Which is smaller: f or -1?
-1
Let h be 48/(-5 - -13)*(-3)/(-45). Let x = -4 - 0. Let m = -3.9 - x. Does m = h?
False
Let j = 0.18 - -8.82. Let s = 10 - j. Which is greater: s or 2/5?
s
Let t be ((-9)/(-12))/((-42)/(-4)). Let z(g) = 75*g - 6676. Let c be z(89). Is t greater than c?
True
Let w = -6 + 12. Suppose t + 4*l - w = -4*t, -t + 5*l - 22 = 0. Which is greater: t or 2?
2
Let h = 25 - 28. Let o = 13 - 13.1. Which is smaller: o or h?
h
Suppose -h + 452 = h + 2*s, -3*s = -4*h + 890. Suppose -h = 9*f - 53. Which is smaller: f or -20?
-20
Let s = 0.2257 + -0.0257. Is s at least as big as 82?
False
Suppose 0*y = -5*f + 3*y - 120, 4*f - 4*y + 88 = 0. Let w = f - -25. Let n = -31 + 94/3. Which is greater: n or w?
n
Let k = -3 - -1. Let n(h) = h**3 + 7*h**2 + 4*h + 24. Let j be n(-7). Let p = j - -11. Which is bigger: p or k?
p
Suppose -4*u - u = -5*m - 5, -7 = u + 3*m. Which is bigger: u or -2/2211?
-2/2211
Let n = -477 - -697. Is 219 > n?
False
Let d = 0.29 - 0.3. Suppose -4*l + 7*l - 21 = 0. Suppose -l*j + 0*j + 7 = 0. Which is bigger: j or d?
j
Let q = 1156/1325 + -22/25. Are 1 and q nonequal?
True
Suppose -6*r = -3*r. Suppose -2*o + 2 = -r*o. Let n = 14553 + -130979/9. Which is smaller: o or n?
n
Let h be 6 + (-1)/(-1) - 2. Let p = -5 - 50. Let c = p - -58. Are c and h nonequal?
True
Let r = 9.8 - -4.2. Let o = r - 13. Is 1 at least as big as o?
True
Let x = 27/85 - 2/17. Let f = -16 + 16. Are x and f non-equal?
True
Let j = -643 - -653. Suppose 1 = -v + 3*y - 0, -3*y = v - 17. Is v bigger than j?
False
Let p = 6 + 7. Let b = 13 - p. Let x = b + 1. Which is smaller: x or 5?
x
Let p be -10 + 1 + (-31 - -39). Which is smaller: 1/40 or p?
p
Suppose 2*u + 2*h + 24 = 0, -2*h + 16 = -u - 4*h. Let o = -12 + 8. Is u < o?
True
Let a be 6*((-1)/3)/((-6)/(-36)). Is a bigger than -1/3?
False
Let b(o) = -o + 7 - 5*o - 5 + 1. Let a be b(5). Is a bigger than -25?
False
Suppose -4*d + 212 = -2*q - d, 4*q = 2*d - 424. Is -106 <= q?
True
Let v = 207 + -214. Which is greater: v or 4?
4
Let h = 47 + -44. Which is bigger: 5/3 or h?
h
Let d = 31309/182 - 172. Which is smaller: -1 or d?
-1
Let v = 1/75 + -17/25. Are v and -1/43 unequal?
True
Suppose 2*n + 2*q + 2 = 0, -5*n = -6*n + 5*q - 19. Let k(y) = -y**3 + 7*y**2 - 7*y + 2. Let l be k(6). Is n > l?
False
Let v(j) = -j**3 - 5*j**2 + 36*j + 3. Let t be v(-9). Which is smaller: t or -1.2?
-1.2
Let c = 192.8 - 193. Does c = -0.031?
False
Let c = 59177/42939 + -29/367. Let w = c - 14/13. Let d(q) = -q**2 + 1. Let i be d(1). Is i < w?
True
Suppose -3*l = -b - 82 + 25, -4*l = -b - 56. Which is bigger: 2 or b?
2
Let j(s) = -s**3 + 3*s**2 + 4*s - 6. Let w be j(5). Let y = 15 + w. Let f be 9/y*(-2)/3. Which is smaller: f or -2/9?
-2/9
Suppose -2*s + 11*c - 7*c - 766 = 0, 4*s = 3*c - 1507. Is s bigger than -374?
True
Suppose 50 = 5*y - 2*t - t, 5*t - 25 = 0. Let b = 2 + 7. Suppose -3 - b = -k. Are y and k non-equal?
True
Suppose -3*p + 23 - 6 = -5*c, 0 = 5*c + 5. Suppose 2*t + 2 = p*t. Let b = 6896/13 - 530. Is b less than or equal to t?
True
Suppose 120 = -4*w + 124. Which is bigger: -1/666 or w?
w
Let d be (-2)/((-65)/20 - -3). Suppose -q = 3*h + 6, q = 6*h - 2*h + d. Is q not equal to -1?
True
Let j = -14/3 + 107/21. Let k be (-8)/(-2) + (6 - -1). Suppose -4*z + 9*z = -k*z. Is z equal to j?
False
Let g be 1 + 1840620/(-10578)*(-1)/(-166). Let b = g - 2/3569. Which is smaller: b or 1?
b
Let z(x) be the first derivative of -x**2/2 - 8*x