/18*(-6)/(-2). Let t = h - -1. Which is bigger: y or t?
t
Let x(k) = -2*k**2 - k. Suppose -2*j + 3*u + 0*u = -13, -2*j = 5*u + 27. Let o be x(j). Which is smaller: o or -10?
-10
Suppose -340*a + 331*a + 207 = 0. Which is smaller: 268/11 or a?
a
Let a(r) = -r**2 - 11*r - 14. Let u be a(-10). Let o(b) = -2*b**2 + b**3 - 5*b + b**2 + 4*b**2 - 6. Let q be o(u). Are -7 and q unequal?
True
Let z(s) = s**2 + s. Let g be z(4). Let d be (-28)/g*12/14. Is d at least as big as -0.2?
False
Let d(n) = n**2 + 2*n - 23. Let j be d(-6). Let s be (-3)/(-5) - 8/24. Is j less than s?
False
Suppose -4*u - 24 = -3*h, -6*u = 4*h - u - 1. Let j be -1 + 22/h - 3. Which is smaller: j or 1/8?
1/8
Let u = 862/7 + -122. Let v be (10/(-105))/((-1)/9). Let z = u - v. Which is smaller: z or -1?
-1
Let z = -62.9 - -63.2. Which is smaller: 1/49 or z?
1/49
Let z = -47.8 + -53.2. Which is smaller: -5/2 or z?
z
Let v be 92/22 - (-26)/(-143). Let b be v + 0 - 5 - 5. Which is smaller: b or -2?
b
Suppose -s + 2*r + 40 = 4*r, 0 = -2*s + 5*r + 98. Let t be -3 - (3 - 288/s). Let v = -6 - -7. Is t at most as big as v?
True
Let q = -24 - -13. Let b = 4 + q. Let g = b - -8. Which is smaller: g or 2/7?
2/7
Suppose 0 = 57*k - 58*k - 21. Is k >= -67/3?
True
Suppose -2*l = 1391 + 1499. Which is smaller: l or -1446?
-1446
Let o(w) = -3*w + 17. Let r be o(7). Let k be 1/r - (-42)/8. Suppose 0 = -c + k*c - 5*q - 28, -5*q - 21 = -3*c. Is c > 6?
True
Let t be (-3)/(-15) - (-1)/(-5). Suppose 29 = 13*w + 16*w. Which is greater: t or w?
w
Let y = 9.7 - 11. Let c = y + 1.39. Let b be -5*((-7)/(-28))/(-3*25/60). Are c and b equal?
False
Let x = 67 - 125. Let n = 66 + x. Which is bigger: n or -2?
n
Let u = -33 + 28. Let n(j) = -5*j - 21. Let a be n(u). Which is bigger: a or 5?
5
Suppose -24*r + 338 = -2134. Is r at most as big as 415/4?
True
Let p be ((-1810)/(-260) + -7)/(1/(-108)). Is p not equal to 0.09?
True
Let t = -23.91 - -24. Let c = t - 0.09. Is c greater than -1.4?
True
Let u(j) = 3*j + 5. Let t(r) = -r. Let a(m) = 5*t(m) + u(m). Let q be a(0). Which is bigger: q or 6?
6
Let m = -5 - -9. Let w be (m/8)/1*694. Let h = w - 5897/17. Is h at most as big as -1?
False
Let b = -3868 - -3862. Let t be 2/5 - 8/(-30). Is t at least b?
True
Let b = -0.7 + -1.3. Let q = 2.2 + b. Let h = -1.8 - q. Is h >= -2?
True
Let p be 8/44 - (-2)/(-11). Let o be (-4 + (-56)/(-21))*27/(-66). Are p and o unequal?
True
Let d be 2 + -2 + 2 - 7. Let h be (-2)/d + 658/(-20). Let a = 32 + h. Is 2 < a?
False
Let x be (0 - -5)/(((-56)/105)/8). Suppose -4*g - 4*m - 288 = 0, 6*m - 158 = 2*g + m. Which is smaller: g or x?
x
Let c(y) = 2*y**3 - 14*y**2 + 10*y - 25. Let v be c(7). Is v at most as big as 44?
False
Let i be (270/(-60))/(6/16). Is -14 less than i?
True
Let l(t) = 7 - 3*t - 2 - 8*t + 14*t - t**2. Let y be l(4). Is y >= 3/4?
True
Let d be (-1230)/2652 + (-6)/39. Is d >= 0?
False
Let d = 70 - 46. Let r = 24 - d. Does r = 4/3?
False
Let p = 241/10395 - 1/270. Which is bigger: 0 or p?
p
Let y = 719/2 - 39553/110. Let c be 156/(-44)*6/10. Let m = c + y. Which is smaller: -2 or m?
m
Let b(x) = 2*x**2 + 7*x - 8. Let j(k) = -3*k**2 - 14*k + 16. Let i(d) = 5*b(d) + 3*j(d). Let r be i(4). Is r greater than -1?
False
Let v be 8/((-14)/(-7)) + (-438)/21. Is -18 less than or equal to v?
True
Let i = -2.1 - -2. Let w = -1815 - -1812.6. Is w greater than i?
False
Let z be (4 - 3)/((-2)/6). Let t be (1/70)/(z/(-102)). Let d = t + -1/5. Is d > 0.3?
False
Suppose -8*l - 440 + 40 = 0. Which is smaller: l or 0.2?
l
Let a = -25.45 - -25. Let h = a + -0.55. Which is greater: -34 or h?
h
Let h = -25.942 - 0.058. Let y = h - -24. Let j = 0.05 - -6.95. Are y and j equal?
False
Let v(q) be the first derivative of 5*q**4/4 - q**2/2 - q - 8. Let m be v(-1). Suppose x + 1 + 4 = 0. Is m equal to x?
True
Suppose 5*v = -v + 36. Let p(h) = h**2. Let d(o) = 7*o**2 - o - 1. Let r(n) = v*p(n) - 2*d(n). Let x be r(-2). Is -34 < x?
False
Let s(n) = n**2 - 5*n - 3. Let h be s(6). Suppose -2*q = h*q - 65. Suppose -q = -2*m - 5. Is 1 less than m?
True
Let n be 2 + 4 + 2424/(-192). Is n at least as big as -6?
False
Let a = 7/9 + -4/9. Let x be (-8)/(-12)*18/4. Suppose 0 = 2*p + x - 1. Is a less than or equal to p?
False
Let m(h) = 16*h**2 - 10*h - 13. Let q be m(3). Are q and 110 unequal?
True
Let x = 5198/13 - 418. Is x bigger than -19?
True
Let l be (-1 - 2)/(0 - -10). Suppose 5*v = 2*b - 14, 5*v + 3 = -b + 10. Let w be (0 + -1)/(6 - b). Is w at most as big as l?
False
Let l = 0.21 + -15.21. Let m = l - -5. Let d = m - -7. Which is smaller: 2/11 or d?
d
Suppose 5*h = -13 - 17. Let j = -14 + 8. Is j at least h?
True
Let z = 11 + 49. Suppose 11*b - 7*b = -z. Is -17 at least b?
False
Let k = -34 + 24. Let m = -10.4 - k. Let i = m - -0.5. Is -2 less than i?
True
Suppose 0 = -16*p + 3*p + 26. Suppose 0 = 5*n, -5*g - 4*n + 2*n + 15 = 0. Suppose -3*x - g = p*u - 4, u - 5*x + 6 = 0. Are u and 3/10 equal?
False
Let i = -323 - -313. Which is smaller: -8 or i?
i
Let x = -22 - -26. Let d be x/5 + (-424)/(-20). Suppose 0 = -d*t + 19*t. Is -4/17 less than or equal to t?
True
Let m = -191/42 - -29/6. Suppose 5*k + 8 = k. Let a be -9*(4 - (-6)/k). Are a and m nonequal?
True
Let o = 1182 - 1187. Let l be (-42)/(-8)*(-4)/6. Is l bigger than o?
True
Let a = -284 - -284. Which is bigger: a or 0.04?
0.04
Suppose -3 = -2*d + 1. Suppose d*n + 3 = 4*m - 1, 3*n + 8 = 4*m. Do 0.11 and m have different values?
True
Suppose 5*s - 112 = -4*l, 3*s + 72 = 4*l - 2*s. Suppose l*i + 26 = 10*i. Let u be 21/8*(-2)/3. Which is smaller: i or u?
i
Suppose 0 = 5*c - 2*i + 5*i - 19, 3*i = -c + 11. Suppose w = 2*k - 2, 3*w + 4 + c = k. Suppose k = -5*x + s - 2*s - 21, 4*s = 16. Which is smaller: -1 or x?
x
Let i be 766*(-6)/240*5. Is i greater than -96?
True
Suppose -2*r + 130 = -5*n, 2*n + 5*r + 6 = -17. Let c = -4 + 4. Suppose c*s = -2*s - 46. Is s smaller than n?
False
Let k = 74.1 + -72. Let v = k + 6.9. Is -1/3 < v?
True
Let z(q) = q**2 + 10*q - 11. Suppose 0*i = 3*i + 33. Let y be z(i). Suppose -5*d + d = y. Which is greater: d or 1?
1
Let s = -58 - -41. Suppose 0 = -7*v + 14*v + 112. Does s = v?
False
Let l = 6/2057 - -880378/6171. Which is greater: 144 or l?
144
Let j(q) = -27*q**3 + 2*q**2 - 1. Let r be j(-1). Suppose 0 = f - 5*f - r. Let t = -103 - -95. Is t greater than f?
False
Let j = 104 + -92.2. Let u = 10.8 - j. Let p = 23.87 + -24. Is u smaller than p?
True
Let i = -467/5 + 92. Which is smaller: 1/4 or i?
i
Let m be (-911120)/(-1518) - 6/33. Let i = m + -600. Is i less than or equal to 1?
True
Let n be (3/15 - 6/15)*-5. Is n < 2/851?
False
Let z = 360 - 383. Which is smaller: 18 or z?
z
Let k be 2 - (9 + 0/1). Suppose c - 3*w + 4 + 3 = 0, -4*c + 3*w + 17 = 0. Let f(o) = -o + 1. Let p be f(c). Are p and k non-equal?
False
Suppose 0 = -3*z - 4 + 10. Suppose -4*r + 4*t + 22 = -z*r, t + 7 = r. Suppose 14 = 4*a - 0*a + 2*n, 0 = -2*a - r*n + 13. Which is smaller: -4 or a?
-4
Let o be (-194)/(-64) + 105 + -108. Which is smaller: o or 1.8?
o
Let x = 15 + -22. Let i = x - -13. Let n(l) = l**3 - 5*l**2 - 5*l - 5. Let w be n(i). Which is greater: -2/5 or w?
w
Let m = 700/3 + -66536/285. Is m at most as big as 0?
True
Let p = 4.5 - 0.23. Let k = -0.27 + p. Let y = -7 + k. Is y greater than 0?
False
Suppose 13 + 2 = 5*a. Let x(z) = 11*z. Let t be x(a). Which is smaller: 35 or t?
t
Let l = -1015 - -893. Which is smaller: -0.1 or l?
l
Let o = 51/20 + -23/10. Which is smaller: -141 or o?
-141
Let s(j) = j**3 + 3*j**2 - 5*j - 17. Let v be s(-5). Let u be v/(-7) + (-1 - -1) + -1. Let q be 0 + (7 - 1) + 1. Which is bigger: q or u?
q
Let h = -1016 + 13206/13. Which is greater: 0.014 or h?
0.014
Let o be (-4 - -8)*99/(-12). Let y = 28 + o. Let a be -5 + (1 - -3 - 2). Are a and y unequal?
True
Let t = 335 + -334. Let u = 0.34 - 0.04. Which is bigger: t or u?
t
Let r = 229/909 - 3/101. Which is greater: -45 or r?
r
Let u = -129 - -132. Suppose -i = -4*z + 121, -u*i - 146 = -4*z - 23. Is 57/2 bigger than z?
False
Let d = 365.225 - 0.225. Is 0 at least d?
False
Let y = -203/5658 - -5/69. Let g = -347/41 - y. Which is greater: -9 or g?
g
Let b be (5 + (-57)/6)/(81/12 - -3). Suppose 4*x = -0*x. Is b less than x?
True
Let t(j) = -78*j + 2. Let y be t(1). Let s be ((-8)/14)/(y/(-28) - 3). Which is greater