/418*(-2)/(-8). Is 1 <= o?
False
Suppose -3*l - 5 = -k - l, 3*k - l + 10 = 0. Suppose -9*r - 43 = -151. Let z(u) = u**2 - 11*u - 18. Let n be z(r). Which is greater: k or n?
k
Let d be 285 + (12 + -7 - 1). Is 289 smaller than d?
False
Let i = -234 + 234.1. Do -132 and i have the same value?
False
Let d = -0.022 + 0.322. Do d and -17 have different values?
True
Suppose 3*k + 20 = 5*k. Let s be -4 - ((-12)/(-20) - 36/k). Is s bigger than -3/28?
False
Let r = -57 + -18. Is r less than 2/3?
True
Let x = -1.8 - -9.8. Let q = -157 - -151. Let j = q + x. Which is smaller: 0.06 or j?
0.06
Let b = -347 + 329. Which is greater: b or 2?
2
Let l = 83/158 - 2/79. Which is smaller: -74 or l?
-74
Suppose -2*f - 10 = 20. Let b be 94/(-6) + 1/(-15)*5. Is f bigger than b?
True
Suppose 0 = -4*s + 2*s + 18. Let m(y) = -5*y**2 + 2*y + 1. Let u be m(-1). Let f = s + u. Is f at most -0.2?
False
Let r = -131/4 + 33. Let y = 78.23 + -78. Which is greater: y or r?
r
Let i be 18/(-14) + 2/7. Let y be (-9)/(-21)*(-22)/12*i. Which is smaller: y or 0?
0
Let q = 92 + -278/3. Is 0 at most q?
False
Let r = 455/3 + -149. Let k = -27 + 32. Suppose 0 = p - 1, -k*x - p = p - 17. Is x bigger than r?
True
Let c(q) = 2*q - 13. Let w be c(10). Suppose 42 = 5*p + 2*p. Which is smaller: p or w?
p
Suppose 5*k - 771 = -4*b + 127, 2*k = -2*b + 360. Which is greater: 175 or k?
k
Let a be (-4)/(-6) + 3353/(-84). Which is bigger: a or -39?
-39
Let v = 8.177 + 0.823. Which is smaller: 10/11 or v?
10/11
Let t(c) be the first derivative of 2*c**3/3 - c**2 + 3*c - 15. Let p be t(2). Which is greater: p or 9?
9
Let b be (-8 + 288/30)/((-2)/7). Suppose -2*q + 3 - 13 = 0. Which is bigger: b or q?
q
Suppose 0 = -132*b + 71 - 203. Which is smaller: -62/57 or b?
-62/57
Suppose 3*a + 0*z = 4*z + 34, 5*a + 2*z - 74 = 0. Suppose -34 = -3*d - i, -3*d = -2*i + 7*i - a. Is 13 equal to d?
True
Let n = -19 - -15. Let q(d) = -d**2 - d + 3. Let g(f) = f + 1. Let m(t) = g(t) - q(t). Let u be m(n). Do 7 and u have the same value?
False
Let x = 79 - 78. Let f = 2/3775 - -79253/41525. Which is bigger: f or x?
f
Let a = 2.5 - -1.2. Let d = a + 8.3. Is 1 <= d?
True
Let d = 121/34 - 11201/3145. Which is bigger: d or 0?
0
Let u(q) = -2*q**3 - 77*q**2 - 39*q - 56. Let b be u(-38). Which is smaller: b or -16?
b
Let t = 92 - 156. Which is greater: t or -127/2?
-127/2
Let n = -33 + 36. Let o be (n - (-44)/(-12))*-21 - 1. Let z = 7 - -7. Which is smaller: z or o?
o
Let k be (-1)/2 + (-11)/2. Let x = k + 12. Which is bigger: 7 or x?
7
Let h = 27.7 - 27.5. Which is smaller: 7 or h?
h
Suppose 2*h = -2*b + 2, 0 = 3*b + h + 5. Let j = 5 - 8. Let o = j - b. Is 0 at least o?
True
Let b = -1002 + 187. Let d be ((-1)/1)/((-5215)/b). Let l = 2/149 + d. Does l = 1?
False
Let r = 0.27 - 0.55. Let s = r - 1.72. Let x = -0.3 + 0.2. Is x less than or equal to s?
False
Suppose -3*a - 7 = 5*u, 3*u + 3 = -4*a + 1. Let m be a - 1 - -1*1. Let b be m + -1*(-1 - -2). Which is smaller: 3/8 or b?
b
Suppose t - 2*o = -8 - 10, 5*o - 25 = 0. Let z(m) = -14*m + 145. Let u be z(11). Which is smaller: t or u?
u
Let y(l) = l**3 - 6*l**2 + 4*l - 1. Let w be y(5). Let o(i) = -6*i + 4. Let r be o(w). Suppose 5*z - 2*n = 95, n + r + 33 = 4*z. Which is smaller: z or 18?
z
Suppose 2*b - x = -333, 3*b = 5*b + 4*x + 308. Which is smaller: b or -165?
-165
Let g(u) = 4*u + 20. Let w be g(-7). Let s(y) = -y**3 - 9*y**2 - 7*y - 11. Let p be s(w). Which is smaller: 0 or p?
p
Let z = -142 - -144. Which is smaller: 12/13 or z?
12/13
Suppose d = 2*d. Suppose d = x + 5, j + 4*x - 26 = 8*x. Which is smaller: j or 20/3?
j
Let c = 106.1 - 106. Suppose 0*l + 30 = -5*l. Let n = 5 - l. Is n bigger than c?
True
Suppose u + 3*u + 4*s + 152 = 0, 2*s = 3*u + 119. Let j = u - -157/4. Let b be -8*(-1 + 6 + 42/(-8)). Which is smaller: j or b?
j
Let a be 2/15 + 16/(-120). Let d(h) = -11*h**3 + 2*h**2 + h. Let r be d(-1). Let c be 10/r*12/8. Which is smaller: c or a?
a
Let k be ((91/(-42))/(-13))/((-2)/(-6)). Is -0.085 less than k?
True
Let o be 4534/(-10) - (-12)/30. Let n = o + 47567/105. Which is bigger: n or 1?
1
Let k be (-5)/(3 - 4)*12/(-890). Which is smaller: k or 1?
k
Suppose 21 = y + 2*y. Let n = 18 - y. Let o = -12 + n. Is -3/7 at most as big as o?
False
Suppose -3*q = 3*d - 87, 2*q + 13*d = 8*d + 70. Suppose k = -63 + q. Is -38 < k?
False
Let a(i) = 4*i - 2. Let s(n) = -n - 14. Let l be s(-17). Let b be a(l). Is b <= 6?
False
Let i = 61/2 - 31. Suppose 21 - 511 = 10*u. Let q = u + 47. Which is smaller: i or q?
q
Suppose -r - 5*h - 11 = -34, -r = -5*h + 27. Let o be ((-3)/6)/((-1)/r). Let b = 2471/15 + -165. Which is smaller: o or b?
o
Let p = 103 - 83. Suppose p = 5*b + 100. Which is smaller: b or -0.3?
b
Let w = 0.46 + -27.46. Let v = w - -29. Which is greater: v or -4?
v
Let i be 23/((-1265)/10) - (-180)/22. Which is smaller: i or 111/14?
111/14
Let k = -0.054 - -1.454. Let b = k + -1.6. Are b and 4 equal?
False
Suppose -4*h + 9 = 4*j - 39, 48 = 4*j + 2*h. Let z(r) = -3*r**2 + 34*r - 21. Let y be z(16). Let d = y - -258. Which is smaller: d or j?
j
Suppose -2*o = 5*y - 10, -3*o + 7*o = 5*y - 10. Suppose 13*j + 192 - 842 = o. Is 50 smaller than j?
False
Let k = -9 - 7. Let s = k - -15. Which is bigger: -2 or s?
s
Suppose -12 = 4*b, 3*p + 4*b + 5 + 7 = 0. Let v be (0 - p/(-2))/(-1). Is -2/59 >= v?
False
Let r = -2 + 2.2. Let s = 4 - -12. Let u = s - 20. Are r and u equal?
False
Let h(t) = 8*t**3 - 1. Let l = -23 - -24. Let z be h(l). Which is smaller: 6 or z?
6
Suppose u + 5*t - 10 - 6 = 0, 0 = 3*u + t - 6. Which is smaller: u or -1?
-1
Suppose 0 = -4*y + 3*s + 394, 2*y - 190 = -5*s + 3*s. Do y and 97 have different values?
False
Suppose -16*d - 13*d = 261. Suppose -2 - 1 = 3*n - 3*k, 5 = -n + 3*k. Which is bigger: n or d?
n
Let r = 0.91 - 0.21. Let p = -937 - -936.3. Is p greater than r?
False
Let y be ((-1)/(8/8))/5. Is -2/103 <= y?
False
Let x be -1 + 2 + 24/(-20). Suppose 0 = -l + 5*y + 54, 0 = -2*l + 7*l + 2*y - 405. Let j = -1025/13 + l. Is x equal to j?
False
Let t = 2.41 - 1.11. Let w = t + -1.3. Is w > -66?
True
Let v = 73629/5 - 14663. Which is greater: 63 or v?
63
Let g = -78.16 - -78. Is g not equal to 28?
True
Let w be 1290/16 - 8/(576/(-27)). Which is smaller: w or 78?
78
Suppose 0 = q - 2*q - 16. Let u be (-20)/70 + 228/14. Let k = q + u. Do k and 3 have the same value?
False
Let n(x) be the first derivative of 11*x**3/3 - x**2 - 3*x - 5. Let l be n(2). Is l bigger than 39?
False
Let o = -68 + 95. Let x be -25*(-2 - (-1 + 1/5)). Let g = o - x. Is -3 equal to g?
True
Suppose -14*k + 507 = 1781. Which is bigger: -92 or k?
k
Let f = -420 - -604. Let b = 106 - f. Do b and -78 have the same value?
True
Suppose 0 = -3*l - o + 34, 3*o = 5*l - 0*o - 66. Suppose 5*i - l = i. Suppose 0 = -3*v - 3*q - 12, 4*q = -i*v + 5*q. Is v greater than -1/14?
False
Let t = 1/73 + 139/511. Is 0.084 > t?
False
Let g = 10 + -11. Let k(v) = -v + 13. Let l be k(-19). Is g smaller than l?
True
Let z be (22/99)/((-6)/(-27)). Which is bigger: 8 or z?
8
Suppose 4*w = -5*m + 103, w - 11 = -2*m + 17. Suppose -4*u - w = 10. Which is bigger: u or -1?
-1
Suppose 4*l - 16 = -5*q, 0 = -4*q - 2*l - 5 + 13. Let v(u) = -u**3 + 11*u**2 - 10*u + 12. Let g be v(10). Let b be 4/g - (-28)/(-66). Which is smaller: b or q?
b
Let t = 2.23 - 2.33. Suppose l - 3 = -4. Does l = t?
False
Let h be (-3 + 9/6)/((-1)/2). Is h greater than or equal to 2/7?
True
Suppose -2*g - 30 = -3*g. Let h be ((-406)/21)/(1/3). Let a be -3*h/6*1. Is a smaller than g?
True
Let o = 1 - 4. Let f(q) = 2*q**2 - 11*q + 11. Let y be f(4). Let h be o/y + 90/(-33). Which is greater: -1 or h?
h
Let w be 2 - (1 - 15/(-14)). Let r = -79 + 80. Which is smaller: r or w?
w
Let l = 1/90 - 373/1170. Let f(d) = d + 15. Let x be f(-23). Let h be ((-6)/x)/(3/12) - 3. Which is greater: l or h?
h
Suppose 4*r + 28*h + 15 = 33*h, -2*h + 6 = 5*r. Which is smaller: -3/653 or r?
-3/653
Let l = -210 - -220. Let r = 0.2 - 0.1. Let z = r - 0. Which is smaller: l or z?
z
Suppose 7*d = 2*b + 4*d + 3021, -5*b = -5*d + 7545. Let s = b - -34643/23. Which is smaller: 1 or s?
s
Let f = 13 - 24. Which is greater: -9 or f?
-9
Let h(j) = -14*j + 125. Let c be h(9). Which is smaller: c or -3/149?
c
Suppose w + w + 98 = -4*k, 98 = -2*w + 3*k. Let i = -50 - w. Which i