et x be (w/10)/(2/4). Suppose 5*l - 2 = 3, 9 = -5*f + 4*l. Is x greater than f?
False
Suppose o - v = -5*v + 7, 0 = -5*o + 3*v + 35. Let x(i) = 5*i - 31. Let g be x(8). Is g bigger than o?
True
Let i = 7 - 5. Let n = 1 + 5. Let j be ((-2)/n)/(2/4). Which is smaller: i or j?
j
Let u(w) = w**2 + 11*w - 76. Let c be u(5). Which is greater: c or 38/11?
c
Let z = 1581 + -1541. Which is greater: z or 33?
z
Let k(j) = 5*j + 53. Let h be k(-10). Let a be h/21*7*1/3. Let g = 37/7 - 41/7. Is g > a?
False
Let y = -22 + 49. Let o = 734 + -760. Let b = y + o. Which is smaller: b or -1/3?
-1/3
Let a be ((1 - 2) + 2)*9/3. Suppose c = -3*c - 4*f - 20, -3*f = -a*c + 9. Which is bigger: -2/61 or c?
-2/61
Let m(f) = -f**2 - 3*f - 3. Let t be m(-3). Let r(i) be the second derivative of -i**4/12 + 13*i**3/6 - 15*i**2/2 - 8*i. Let q be r(12). Does t = q?
True
Let n be -8 + (-7)/(28/(-20)). Is 6 not equal to n?
True
Let b = -69 - -78. Suppose 5*m = -31 - b. Which is smaller: -10 or m?
-10
Let a be (7 - 8)/((-1)/2). Let x be 0/(1/(-2)*a). Which is greater: 2/13 or x?
2/13
Suppose 4*m - 2*m + 2 = 0, 4*s + 26 = 2*m. Let c(u) = 6*u**2 + 45*u + 9. Let y be c(-7). Let f(w) = 4*w + 42. Let d be f(y). Which is greater: s or d?
d
Let k = 12418/19 + -654. Let x = 80/171 - k. Is 0 not equal to x?
True
Let t = -15 + 17. Let g be 1 + t - (1 - -1). Which is smaller: g or 2/35?
2/35
Let j = -1679527/169 + 9938. Is j > -1?
True
Let r(j) = -j**3 + 4*j**2 + 2*j + 4. Let h be r(-3). Suppose 4*a - 2*g + h = 3*g, 5*a + 92 = g. Is -18 at least a?
True
Let t(u) = -67*u**3 - 2*u**2 + 1. Let i be t(-2). Let n = 3167/6 - i. Let h be ((4 - 1) + 1)/(-2). Is h at least n?
False
Let d(h) = h**3 + 13*h**2 + 26*h - 2. Let v be d(-3). Let k = 32 - 8. Suppose -5*z + 79 = k. Which is smaller: v or z?
v
Suppose 8*g - 15*g = -14. Suppose 37 = -5*a + 12, g*a + 45 = -5*w. Does w = -6?
False
Let z = -781 - -620. Which is greater: z or -160?
-160
Let b be (-6)/(-2) + (-4)/((-116)/(-89)). Suppose -z = -0*z - 1. Which is smaller: z or b?
b
Let o(p) = -p - 11. Let d be o(5). Suppose 247 = 17*z - 30*z. Which is smaller: z or d?
z
Let n = -5.95 + 3.95. Which is greater: n or 1?
1
Let a = 8 - 6. Let f be a/(-6) - 23/759. Let r(v) = -v**3 + 2*v**2 - v + 1. Let w be r(0). Is w at least as big as f?
True
Let c(t) = -2*t**2 - t - 1. Let b be 2*((-3)/(-2) - 1). Let v = b + -2. Let i be c(v). Which is smaller: -3/2 or i?
i
Suppose g + 0*g - 59 = -3*r, 5*g - 285 = -5*r. Suppose -3*o + 2*q + 32 = 0, -4*o - 7*q = -3*q - g. Let d be 236/(-12) - 4/o. Which is bigger: -21 or d?
d
Let n = 215 + -222. Do n and -5 have different values?
True
Let j be (-12)/(-54) - (-43)/9. Suppose -4*y = -0*y + 12, -2*k - 21 = j*y. Let w be (-26)/35 + k/(-5). Which is smaller: 0 or w?
w
Let h be (501/(-2))/(145/(-20) + 5). Let a = h - 109. Suppose -4*s + 11 = 2*v - v, 4*s - 20 = -4*v. Is v equal to a?
False
Suppose -4*j - 103 = -1103. Let q be j/(-90) + (-3)/(-1). Are q and -1 equal?
False
Let w = 876 + -34166/39. Let x = -35 + 34. Which is bigger: x or w?
w
Let b(j) = j**3 + 17*j**2 - 17*j + 21. Let f be b(-18). Suppose -34 = -r + f*r. Which is smaller: -18 or r?
-18
Suppose 0 = -4*m - 4*c - 184, 4*m = -c - c - 182. Let p = 134/3 + m. Let y = -0.03 + 11.03. Which is smaller: y or p?
p
Let x be (-24)/153*((-196)/(-48) + -4). Are 1 and x equal?
False
Let k be (-88)/286*(-2)/312. Is k at least -1?
True
Let k = -210.6 + 124. Let m = k + 101.61. Let r = m - 15. Which is bigger: -2/7 or r?
r
Suppose 25 = 4*n - 23. Suppose 6*b = 3*w + b + 1, -w - 2*b = -18. Let t = w - n. Which is smaller: t or -5?
-5
Let u be (-612)/22 + (-66)/363. Suppose 60 + 52 = -4*d. Is d greater than u?
False
Let r = 6.6 - 1.31. Let p = r - 4. Let w = p + -1.2. Does w = 0?
False
Let o = -13 + 19. Which is greater: 34/7 or o?
o
Suppose 5 - 10 = -5*n. Suppose 4*a - 3*a = n. Is 0 < a?
True
Let t = -10 + 12. Let a be (-679)/(-63) - t/(-9). Let o be a/(-33)*(-6)/(-2). Which is greater: o or 2/7?
2/7
Suppose 3*h - 2*k - 43 = 0, -55 = -3*h - h + 5*k. Suppose 0 = -r + 4*r + 9, -2*f = r + h. Which is bigger: f or -1?
-1
Let h be (14/14)/(-4 + 9/3). Is 3/511 greater than h?
True
Let i be (-12)/(-5868) + 4 + -4. Which is greater: i or 0?
i
Suppose 2*f - 8 = -2*h, -2*f = 4*h - f - 7. Which is smaller: h or 2/365?
2/365
Suppose 0 = -41*u - 4 + 496. Are u and 2 equal?
False
Let v = -19 - -3. Suppose 3*y + 59 = 14. Is v at least y?
False
Let f be 4 + 1*(-1 - 0). Suppose n + 5*i = -n + 68, -5*n - 3*i = -151. Suppose -n*x = -37*x + 24. Is f > x?
False
Suppose 14 = 3*c + x + 137, 2*x - 90 = 2*c. Let i be c/330 + 6/15. Which is smaller: -1 or i?
-1
Suppose 0 = -4*f - 0 - 24. Let v be 261/(-1188)*f - (-3)/(-2). Is 1.7 greater than v?
True
Let f be (0/2)/(-5 - -7). Let h be ((-5130)/215)/3 - -8. Does h = f?
False
Let x = 3148 - 1007361/320. Let s = x + 689/15680. Let w(a) = -18*a + 144. Let o be w(8). Is s bigger than o?
True
Suppose -2*d + 6 = -4*q - 4, -3*q - 4*d + 9 = 0. Let w be 1/(4 - 1033/258). Let o = w - -9028/35. Is o equal to q?
False
Let u = 884518/315 - 2808. Let g = 307/1260 - u. Which is bigger: 16 or g?
16
Suppose 2*p = 7*p. Suppose p*s = -4*s - 16. Let i be 1/(-1) - (s - -3). Which is smaller: i or -2/15?
-2/15
Suppose 0 = -21*m + 2114 + 301. Which is greater: m or 116?
116
Let j be 376/987 + (-4)/14. Suppose 2*q = -l + 3, 2*l - 2 = -3*q + 3*l. Is q smaller than j?
False
Let l be (-2)/(-3) - (3 - 6483/9). Let v = 6478/9 - l. Which is smaller: v or 1/3?
1/3
Let f(u) = u + 5. Let v be f(-5). Let p be 10/2 - (v + 1). Let r be (-2)/44*p + 0. Which is bigger: r or 1/4?
1/4
Suppose 11*t - 9469 = 6723. Is 1471 at least t?
False
Let r = 864 + -415.9. Let o = r - 471. Let h = o - -23. Which is bigger: 0.4 or h?
0.4
Let r = -293035/35061 - -326/39. Which is bigger: r or 1?
1
Suppose -3*u + 10 = s, 5*s + 38*u = 43*u + 110. Let j = -4 + 21. Is j >= s?
False
Let d(k) = -k**3 - 4*k**2 + 3*k + 20. Let l be d(-4). Let z = 0.12 + -0.02. Is z greater than or equal to l?
False
Suppose -89*v = -85*v - 272. Is 68 greater than or equal to v?
True
Let h = 191/413 + -2/59. Let q(g) = 5*g**2 + 1135 - 1135 - 6*g + g**3. Let b be q(-6). Which is smaller: b or h?
b
Suppose a = -5*a - 36. Let h be ((-32)/72)/((-172)/a). Is h greater than or equal to -1?
True
Suppose -5*n - 5*b = -40, -4*n + b = -2*n - 13. Let u(k) = 3*k - 15. Let o be u(5). Suppose o = 3*z - 24 - 0. Which is greater: z or n?
z
Let t(c) = -c**2 - 12*c + 9. Let y be t(-12). Suppose 5*k + 4*o - 2*o = 33, -k = o - y. Suppose -2*p = p - x - k, p - 15 = 3*x. Which is greater: p or -6/5?
p
Let j be 1*-1 - (-2 - -4). Let o be 6*(-4 - (-45)/10). Suppose 4*b - 3*p = -6*p + o, -35 = 5*b - 4*p. Is b greater than or equal to j?
True
Let y = -1998.076 - -1998. Which is smaller: -6 or y?
-6
Suppose -2*y - 15 = -3*y. Let u be (-5)/(y/(-2))*24. Let t be (-242)/(-14) + (-4)/14. Is u bigger than t?
False
Let d be -3 + (4 - (4 - 6)). Let p(t) = -2*t + 14. Let b be p(6). Suppose -4*y - 4*x + b*x = -16, -y = 3*x + 1. Which is smaller: d or y?
d
Let n = -35241400 - -2995394048/85. Let k = n - -1470. Is 0 > k?
True
Let a be 14 + ((-12)/(-8))/(12/(-32)). Which is greater: 5 or a?
a
Suppose 4*t + 440 = 4*f, -3*f - t = -5*f + 221. Is f at most as big as 111?
True
Let i(l) = -2*l**3 + 7*l**2 - l - 4. Let b(v) = 3*v**3 - 8*v**2 + v + 5. Let a(k) = -3*b(k) - 4*i(k). Let z be a(-3). Is -11 > z?
False
Let h = -427 - -429. Is h <= 0.004?
False
Let j be -1 + 792/(-16) - 3/(-2). Let m = -64 - j. Is -12 >= m?
True
Let h = 8/2709 - -622159/2709. Which is smaller: 229 or h?
229
Let m = 0.19 - -0.3. Let l = 0.59 - m. Is l bigger than -43?
True
Suppose -3 = -35*q + 38*q. Let l be (-1)/(q + 3 + -3). Is l < 26?
True
Let h = -62876/3133 - 280/241. Is h < -22?
False
Suppose 5*n = 3*m + 3, -4*n = -4*m - m - 5. Which is smaller: -6/191 or n?
-6/191
Let z(k) = -37*k - 150. Let j be z(-8). Which is greater: 147 or j?
147
Let c = 538.23 - 546. Is -0.1 at most c?
False
Suppose -4*a + 3*f = 26, -2*a = 2*f + 8 - 2. Let g = a - -10. Let u = -0.072 - -0.072. Do g and u have different values?
True
Let w be (-4)/(14140/3525) + 1. Do 1 and w have the same value?
False
Let g(l) = l**2 + 9*l + 3. Let o be g(-7). Let q be o/22*8/(-82). Let t = -0.03 - 0.07. Is q not equal to t?
True
Let y = 61 - 