 10, -r - 3*r - 5*q = 21. Which is smaller: r or 15/8?
r
Let r be (-13*84/11648)/(3/(-2)). Let f = 2 + -2. Let u = f + 0. Which is smaller: u or r?
u
Let x be ((-36)/(-21))/((-170)/(-105)). Which is smaller: 0 or x?
0
Let r = 45.571 - 43.54. Let z = -0.031 + r. Let d = 1/26 + 15/286. Is z equal to d?
False
Let y = -0.29 - -0.09. Let d = -0.8 + y. Let l = -1 + d. Are l and -2 nonequal?
False
Let x be -1 - ((0 - -3) + -2). Let z be (x + 21/3)*1. Which is smaller: z or 2?
2
Let w = 18 - 20.4. Let u = -1718.3 - -1721. Let f = u + w. Which is smaller: f or -0.4?
-0.4
Let v(k) = -k**2 - k**2 - k - k**2 + 2 - 2*k**2. Let m be v(-2). Is m equal to -16?
True
Let i be 7/(-2) - (-2)/4. Let q(s) = 47*s + 74. Let v be q(-10). Let x be i/(v/8)*21. Is x greater than or equal to 1?
True
Let r = 222 - 227. Is r > -41/7?
True
Let q(y) = -y**2 - 17*y - 17. Let v be q(-16). Let c(x) = x**2 + 13*x - 6. Let g be c(-11). Let m be 0 - 2/g*-4. Is m != v?
True
Let j(b) = 6*b**2 + 53*b - 10. Let y be j(-9). Which is greater: y or 2/543?
2/543
Let o = -3.5 + 3.5. Let z = 0.06 + 3.94. Which is greater: z or o?
z
Let n(g) = -4*g + 23. Let a be n(-9). Is a > 0.2?
True
Let x be ((-10)/(-39))/((-11)/(-99)). Is 2 > x?
False
Let v = 218 - 205. Which is bigger: v or 11?
v
Let x = -0.21 + 0.14. Let j = x + 1.07. Is j != 2/5?
True
Let l = 1672 - 1671. Which is smaller: l or -367?
-367
Suppose 0*o = -o. Let z be (-7)/(-35) + 24/(-115). Let c = 217/1495 - z. Which is smaller: o or c?
o
Suppose -3*u - 44 = -4*q, 5*u - 3*q + 7*q = -116. Let l = -7 - 16. Let v = l - u. Is v < -4?
False
Suppose -4*g - 2*s = g + 9, -3*s = -g - 12. Let b be g/3 - (2 + (-49)/11). Is 0 greater than or equal to b?
False
Let m(c) = -c**2 + 12*c - 46. Let r be m(4). Which is bigger: r or -180/13?
-180/13
Suppose 3*d - 3*r = -204 - 33, -2*r + 2 = 0. Is d less than or equal to -712/9?
False
Let q = 307 - 322.9. Let u = q - -16. Which is bigger: u or 2.5?
2.5
Suppose -3 = 3*x - 78. Let u be 10/x + 74/(-160). Let w = u - 3/16. Which is bigger: 0 or w?
0
Let c be (3 - 52/(-20))*(-35)/(-14). Which is greater: c or 0.1?
c
Let p(f) = 14*f**3 - 5*f**2 + 4*f + 6. Let u be p(3). Let g = 8769/25 - u. Is -1 > g?
False
Let i = 14 + -12. Let y be i/(-4) + 2 + 0. Let n = -5/3 + y. Which is smaller: 0.2 or n?
n
Let l = -441 + 461. Which is greater: l or 5?
l
Let r be 4/20 - (-4 - 887/(-210)). Let y = r - -16/231. Let z = 0 - 1. Which is smaller: y or z?
z
Let q = -0.114 + 11.114. Which is bigger: -1 or q?
q
Let u(a) = -9*a - 68. Let x be u(-8). Is -16 bigger than x?
False
Let a be 14/(-5)*(-8)/(-16)*-70. Which is bigger: 99 or a?
99
Let r(l) = -l + 8. Let b be r(6). Let v be ((-3)/((-15)/(-5)))/(9/117). Is b > v?
True
Let t(r) = r**2 - 21*r + 36. Let y be t(13). Is -68 less than y?
False
Let k = -1855 + 1856. Is k <= 60?
True
Suppose 2*s + t - 1479 = 0, -5*s - 2*t + 732 = -4*s. Which is smaller: 743 or s?
s
Suppose 3*t - 40 + 15 = -4*y, -3*t = 3*y - 21. Let g be (-24)/16 + 2 + (-10)/y. Let x be (1 + (-1 - -3))/(-1). Is x less than or equal to g?
True
Let j = -0.5001 - 0.0199. Let f = -1 + 1.28. Let s = j - f. Is 2 equal to s?
False
Let a = -83.4 + 82.4. Do a and 38 have the same value?
False
Let q = 30217923971 + -48692528110448962/1611379. Let j = q - -1/8617. Is j less than or equal to -1?
False
Let a be (-1)/(3 - 6) - (311 + 6). Is -318 equal to a?
False
Let n(q) = -447*q**3 + q**2. Let z be n(1). Is z smaller than -446?
False
Let j = 28.1 - 28.2. Do -202 and j have the same value?
False
Suppose -b + 2 + 2 = 0. Suppose 2*p + 0 = c - 3, 6 = 2*p - b*c. Which is bigger: -1 or p?
-1
Let z = -20 - -4. Let x be (6/16)/((-2)/z). Which is bigger: x or 2?
x
Let d(a) = a**2 + 4*a + 1. Suppose s + 25 = -4*s. Let m be d(s). Let n = m - 5. Is n at least as big as 0.1?
True
Let k(g) = -3*g**2 + g + 1. Let o be k(-1). Let z be ((-14)/(-224))/(o/(-4)). Let y be (-1 - -2 - 2)*1. Is z <= y?
False
Let k = -3.33 - -17.33. Is k at least as big as -13?
True
Let q(u) = -u**3 + 3*u**2 + 5*u - 4. Let p be q(4). Let f = 0.3 - 0.8. Let x = 0.4 + f. Does p = x?
False
Let l be 184/10*(-70)/(-7). Let f be l/(-44) + 5 + -1. Which is greater: f or -2?
f
Suppose -3*t - 5*b = t - 11, -3*t + b + 13 = 0. Suppose c + 1 = -5*o + 4*c, t*o - c + 5 = 0. Let m = 2 + 2. Is m greater than o?
True
Let l be (-2)/(-8) + 2 + (-585)/228. Let v = -12.1 + 12. Is l smaller than v?
True
Let w = 75 - 71. Which is smaller: -3 or w?
-3
Let u = 91.0442 + -0.0442. Is 2/3 >= u?
False
Let a be (3 + (-432)/140)*4631. Let c = a + 397. Let x = 3 - 4. Which is smaller: x or c?
x
Let i = 1.3 - 1. Let z = 0.29 - i. Let b = -0.172 + 0.072. Which is smaller: z or b?
b
Let w(b) = b**2 - 4*b + 4. Let c be w(3). Suppose y - 2*l = c, -3*y + 8 = 5*l - 6. Let o be 2/y*21/14. Is o smaller than -2/19?
False
Let b = -1922 - -5815/3. Let p = -199/12 + b. Which is smaller: 0.5 or p?
p
Suppose 75*n - 83*n - 128 = 0. Which is smaller: n or -2/3?
n
Let v = -15 + 10. Which is smaller: v or -4/5?
v
Let p = 25 + -37. Let v = 4 + p. Let g = 8.2 + v. Which is bigger: 4 or g?
4
Suppose -2*r + r = 1042. Let x = r - -2037/2. Is x greater than -24?
True
Suppose 7*q = 8*q + 22. Let o = q + 21. Which is smaller: o or -1/7?
o
Suppose 10*p - 14*p + 520 = 0. Let q be 364/p - 1/((-2)/(-6)). Let j = 2 + -1. Which is greater: j or q?
j
Let d = -17/4 + 23/4. Suppose 14 = 3*j - 2*t, -t + 2*t - 6 = -5*j. Is d less than or equal to j?
True
Let d be (-18)/(-297)*(-2 + 1). Which is smaller: 2/15 or d?
d
Let m be (-324)/3 + (-1)/1. Let f = -1/6092 + -4629913/42644. Let c = m - f. Is c >= 1?
False
Let j = -3.63 + 0.13. Let i = -27.5 + 28.5. Which is smaller: i or j?
j
Let j(z) = -z**2 + 11*z + 8. Let n be j(7). Let l be ((-12)/(-9))/((-4)/n). Let k be 76/l + 4 - -3. Is -2 greater than or equal to k?
False
Let d = 1887.5 - 1886. Is 19 equal to d?
False
Let y be 3*12/(-18) + (-25)/(-9). Which is smaller: 0 or y?
0
Let y be (-2 - 2)/(-3 + 1). Suppose -z + 32 = z + 4*f, -5*z + y*f + 56 = 0. Suppose 3*s = -s + z. Which is smaller: 6 or s?
s
Let o be 4/(-6) + (-44)/6. Let h = 40 - 27. Let i = -12 + h. Is i < o?
False
Let m = -124 - -110.6. Let t = -13.5 - m. Is -2/3 at most t?
True
Let d = -166149/7 + 23514. Let y = -221 - d. Let j(c) = -3*c + 57. Let s be j(19). Is s less than y?
True
Suppose 0 = -5*g + 14 + 26. Suppose 3*l - g = 4*p, 0*l + 4 = -2*p - 3*l. Let h be 1/(22/(-10) - p). Which is smaller: h or 2?
h
Suppose 9*b - 10*b + 4 = 0. Suppose -3*s - s = -72. Suppose 5*j + s = -b*h, 6 = -2*j + 4*j - 5*h. Is j at most -4?
False
Let a = -166721950 + 5563011305225/33367. Let y = -2/547 + a. Is y at least as big as -1?
True
Let y = -80 - -47. Let a be ((-2)/y)/((-4)/(-12)). Which is smaller: -9 or a?
-9
Let z = 0.059 - 0.259. Which is smaller: 1/18 or z?
z
Let z = -15 + 19. Suppose -z*f = -3*p - 396, p + p - 2*f + 264 = 0. Let b be (-408)/p + (-1 - 2). Which is greater: b or -1?
b
Suppose 3*v - t = 7*v - 16, 0 = -5*v - t + 20. Let d(w) = w**3 - 4*w**2 + w + 6. Let i be d(3). Is v less than i?
False
Let o = 72594343/76 - 955226. Let b = -147/4 - o. Which is smaller: 0 or b?
0
Let x = -4.11 + 3.7. Let l = x - -0.11. Which is smaller: -4 or l?
-4
Suppose 24*s - 17*s - 217 = 0. Which is bigger: s or 33?
33
Let v = 513 + -513. Let d = 0.04 + 0.14. Is v greater than d?
False
Let y = -105557/5615 - 1/1123. Is y at most as big as -20?
False
Suppose 3*q = 2*d - 14, -9*d = -4*d - 4*q - 21. Do 13/38 and d have the same value?
False
Let w = -2 - -2.04. Let f = 192 + -192.02. Let j = f + w. Is -2/7 != j?
True
Suppose -4*p + 8 = 0, -6 = a + 2*p + 36. Which is greater: -48 or a?
a
Let m be ((-16)/(-56) + 0)/(-2). Let f be (-10)/30*2/(-2). Is m less than or equal to f?
True
Let w = -109 + 114. Let p(b) = b + 6. Let f be p(-6). Suppose f = w*z - 4*z. Which is bigger: 4/11 or z?
4/11
Let s be 22/8 - (-1)/4. Suppose 2*i + s - 13 = 0. Suppose 1 - i = -4*z. Which is smaller: z or -1/13?
-1/13
Let m = -135 - -3373/25. Let x(d) = -2*d**2 - 6*d - 5. Let w be x(-2). Is m less than w?
False
Suppose -2*j + 3*j + 2*c + 150 = 0, -3*j = 3*c + 441. Let p = 0 - -5. Let q be p - 1 - j/(-30). Is -2 bigger than q?
False
Suppose 4075 = 10*k - 35*k. Is k < -164?
False
Suppose 0 = 5*j + 4*m + 77, m = 15*j - 11*j + 49. Let w(t) = -3*t + 5. Let z be w(-4). Let q = z + -