ose 16 = -0*v + 2*v. Let l(w) = w**3 - 6*w**2 - 9*w + 24. Let x be l(v). Suppose 6*p = 14*p - x. Which is smaller: 7 or p?
7
Let t = 991.51 + -991. Let l = t + 27.49. Is 0.8 < l?
True
Let t = -5492 - -5474. Which is bigger: 19 or t?
19
Let t(n) = n**2 - 4*n - 8. Let d be t(6). Suppose -z = -d*b + 29, 0 = 3*b - 4*z - 4 - 21. Suppose b*p - p = -24. Is p >= -5?
True
Let t = 0.027 - 4.327. Let z = 4.5 + t. Suppose 0*c = -2*c + s - 12, 4*s = -4*c - 24. Which is smaller: c or z?
c
Let z = 13704 + -13704.09. Which is greater: z or 255?
255
Let s = -3527 - -3515. Is -1.67 at most s?
False
Let a = -63 - -65. Let y be (12/8)/(a - -868). Is y greater than -1?
True
Suppose 32*c + 220 = 87*c. Let q be 66/c*(-11 + (-1074)/(-90)). Which is greater: 14 or q?
q
Let j be (1/(-2) + 0)/(3/(-1392)). Let z = j + -71. Let l = z - 139. Are l and 20 equal?
False
Let a(t) = 4*t**2 - 4*t - 2. Let v be a(-2). Let i be 0 - (-3 + -1*2). Suppose -i*j + v = 2. Is j bigger than 1?
True
Let k = 274 - 289. Let x be ((-69)/2)/(k/(-80)). Is -0.1 smaller than x?
False
Let u = 11 - 11. Let b = 391 + -654. Is u at least as big as b?
True
Let t = 47 - 80. Suppose -41*f = -10*f + 1085. Are t and f equal?
False
Let g(t) = 3*t - 45. Let h be g(8). Let s = 30 - h. Let y = s + -53. Is y at least as big as -2?
True
Suppose -5*f + 44 = 3*v, -5*f = -3*v - 2*v - 60. Suppose 3 - f = -7*w. Which is bigger: -2/25 or w?
w
Let m(f) = -11*f - 207. Let s be m(-19). Suppose -2*x + 15 = -u, 0*x + 3*x = -4*u - 5. Suppose 2*o = -2*a + s, -x*o = -15 + 5. Which is greater: a or -2?
a
Let o = 15737.1 + -15554.986. Let m = -182 + o. Are -2/5 and m nonequal?
True
Suppose 4*b + 16 = 2*j, -2*j + b + 5 - 4 = 0. Let h be 2*9/j - -1. Let m be (4 - -1) + (h - -4). Which is smaller: m or -2/105?
-2/105
Let b(j) = -j**2 + 8*j - 2. Let u be b(7). Let w = -0.1782 + 0.1582. Is w greater than or equal to u?
False
Let w = 2038 - 2037.9. Let c be 10*2*3/(-12). Let i = 27 - c. Which is greater: w or i?
i
Let t = -9717 + 14002. Is 4285 equal to t?
True
Let l = 148.99 + -144. Let s = -11.99 + l. Are -8/11 and s equal?
False
Let t be ((-3500)/(-75))/((-12)/(-9)). Which is smaller: -34/5 or t?
-34/5
Suppose 0 = -0*r + 2*r - 5*f + 23, 3*f - 20 = -5*r. Let w be ((-2175)/1090 + 1 + 1)*r. Is w != 0?
True
Let o = 1567 + -7833/5. Which is smaller: o or 1/158?
1/158
Suppose j - 21 + 1 = 0. Suppose 481*k + 199 = 446*k + 864. Is j greater than k?
True
Let f(n) = 2*n**3 - 14*n**2 + 12*n + 3. Let w be f(6). Suppose -5*t = -25, 4*m + 10 = -t + w*t. Suppose -s - 2*b + 8 = -m*s, -5*b + 13 = -s. Is -3 equal to s?
False
Let z = 1681/84 + -19/28. Suppose -2*s = g - 30, 4*s + 40 = 16*g - 13*g. Is z equal to g?
False
Let k = 53 - 258/5. Let i be ((-4)/5)/(-2 + 22/10). Let t be 2/(1 - (i + 3)). Do k and t have different values?
True
Suppose -4*n + 174 = 122. Suppose 3*o - 10 = -4*k, -12*k + n*k + 5*o - 11 = 0. Let p = 828/7 + -118. Are k and p unequal?
True
Let w be (1*-165)/(-1 - -4 - 2). Let j be 2165/w + 7 - 2/(-3). Which is smaller: j or -4?
j
Let r = -1210/9 + 7408/63. Which is smaller: r or -2?
r
Suppose 71*r - 4 = 564. Suppose -4*u - 6*t + 2*t - 4 = 0, 5*u = 3*t + 3. Which is smaller: u or r?
u
Let r be 2130/(15/(-3)) + 6. Let n be (-588)/r + -2*(-2)/(-10). Are n and 6/131 equal?
False
Let h = 48741/1864 + -11/466. Are 27 and h unequal?
True
Let p be (-5)/4*56504/42. Does p = -1681?
False
Suppose 0*u = 3*u - 3. Let o = 150540/37 + -12206/3. Is o greater than or equal to u?
False
Let p = -8743/6 - -1459. Is 3 >= p?
True
Let x = 7.77 + -11.68. Let b = 244 + -243.9. Do b and x have the same value?
False
Suppose 2*w = -w - w. Suppose -6*s + 20 + 4 = w. Let b(x) = x + 20. Let q be b(-12). Which is smaller: q or s?
s
Suppose -293 = -5*m + 3*s - 2*s, s - 61 = -m. Suppose 0*b - 4*r = -3*b - 157, -5*b - 300 = r. Let y = 0 - b. Do m and y have different values?
False
Let w = 431529 + -2164357/5. Let r = -1347 - w. Is r at least as big as -4?
False
Let v(t) = 4*t**2 + 136*t + 676. Let o be v(-28). Which is bigger: 393 or o?
393
Let d(z) = -2*z - 21. Let u be d(-11). Let o be u + 3/(-4 + (-14)/(-8)). Is o at most as big as 2/191?
True
Let g be -22*22/(-1694)*7. Which is smaller: 224/153 or g?
224/153
Let l = 8 - 7. Let o be ((-6)/15)/(l/(-50)). Suppose -10*u + 23*u - 273 = 0. Is o <= u?
True
Suppose -106*h = -146 + 1948. Let t = 0.4 + -0.3. Which is bigger: t or h?
t
Let f = -309064/21393 - -6/2377. Let l be -80 + 21 - 990/(-22). Which is smaller: l or f?
f
Suppose -w + 19 = -2*w. Suppose 1081 = 7*r - 88. Let h be (-36)/81 + r/(-9). Is h at least as big as w?
True
Let p = -41 - -37. Let d be 18 + -18 - 2*2/p. Let z be -3 - (-2 + (-94)/98). Do d and z have the same value?
False
Let x be (-2 - (-1 + -2))*2. Suppose -l - 80 = x*d + 50, d - 5 = 0. Is -140 smaller than l?
False
Suppose -965 = 6*j - j. Let r = j + 123. Is -69 at least as big as r?
True
Suppose -3*t + m = -17, 4*t - 4 = -3*m - 3. Which is smaller: t or 73/15?
t
Let b = 12 + -10. Let i = -0.1885 - 4.9725. Let r = i - -0.161. Which is greater: b or r?
b
Let c be 1/(-3) + (1385373/(-207))/(-11). Let o = c - 608. Which is greater: 5 or o?
5
Suppose 0 = 98*n - 103*n + 425. Let s = n - 83. Which is bigger: 5 or s?
5
Let g be 3 + -2 + 7 + -2. Suppose 23*x - 20*x = -g. Let h be ((-20)/45)/x - 254/171. Which is greater: -1 or h?
-1
Let x be 7/((-7)/6) + (-246246)/(-30771) + -2. Does x = 1?
False
Let u = -151.161 + 152.3. Let i = 0.239 - u. Which is smaller: 0.02 or i?
i
Let j be 0 + -2 - (8 + -5). Let r(c) be the second derivative of -c**5/20 + c**4/2 - 5*c**3/3 + c**2/2 + 11*c - 1. Let s be r(4). Which is smaller: s or j?
s
Let x be (-36460)/(-126140) + 4/(-14). Are -3 and x unequal?
True
Let o be (1/(-7) - -1) + (24 - 226590/9114). Let x = 5 - 5. Which is greater: x or o?
x
Let y = 7703/5 + -1348. Let t = y + -193. Which is smaller: t or -41?
-41
Let s be (-1)/((16/68)/4). Let h be (10/(-6))/(s/36). Let r = -4637/1309 + h. Which is smaller: 0 or r?
r
Suppose 179*b + 3*b + 4*b = -744. Is b greater than -88/19?
True
Suppose 0 = -8*l + 2*l - 176 - 406. Is -0.11 != l?
True
Let g be -13 - 1 - 7665/(-525). Is 13/3 less than g?
False
Let z be 82*(-5)/((-9)/((-27)/6)). Which is smaller: z or -168?
z
Let z = -1766 - -1867. Let k(s) = -27*s - 7. Let g be k(-4). Is g at most as big as z?
True
Let b = 120.6 + -606.6. Let c = b + 484. Which is bigger: c or -0.01?
-0.01
Let d = -862.5 - -866.5. Which is bigger: d or 2260?
2260
Let k(g) be the first derivative of -g**3/3 - 3*g**2 - 7*g + 16. Let x be -3*(3 - 1) + 2. Let a be k(x). Is 1 at most as big as a?
True
Let z = -10 + 8. Let d = -946/9 + 6359/45. Let y = 34 - d. Which is greater: z or y?
z
Suppose -51*q + 38*q + 377 = 0. Suppose -33 = 2*w - 95. Is q greater than w?
False
Let q = -4257.1 + 4257. Which is greater: -493 or q?
q
Suppose -781 = 8*c + 99. Let f(u) = u**3 + 90*u**2 - 186*u - 297. Let g be f(-92). Does c = g?
False
Let m = -1695 + 1690. Is -218 bigger than m?
False
Let z = -1197.2 - -7374.2. Which is smaller: z or 1?
1
Let w = 1.7517 - -13296.2483. Which is bigger: w or 2?
w
Suppose 2*l - 4*l = 0. Let m = -1045/69204 + 4/219. Is m smaller than l?
False
Let j = -1791920 - -62730219/35. Let n = -372 + j. Are -0.1 and n equal?
False
Let p be (-2 + 0)/(6 - 5). Let h be (-1)/p*-4*9/18. Suppose 0*g - 2 = -2*g - k, 2*g - 3*k + 6 = 0. Are h and g equal?
False
Let c = -2.3 + 2.4. Suppose 0 = 10*t - 11*t. Suppose t = -2*b + 51 - 23. Which is greater: c or b?
b
Suppose -90*j + 46056 = -52*j. Which is greater: 6054/5 or j?
j
Let y = -6 - -6. Let d be 99/(-36)*(y - 4). Suppose 0 = -10*a + 45 + 65. Do d and a have the same value?
True
Let x = -71 + 76. Suppose 3 = -4*m - x. Let v be 30/(((-3)/m)/1). Is v equal to 20?
True
Let y be 2/(-11) + 6/33. Let l = -358.12 - -360.22. Which is smaller: l or y?
y
Let y(r) = -r**3 - 13*r**2 - 29*r + 1. Let w be y(-7). Let s = -80 - w. Let x be (s + 0)*76/(-10). Is -76 > x?
False
Let n = 0.44677 + -0.04677. Which is smaller: 0.0541 or n?
0.0541
Let s = -185 + 186. Is -186 < s?
True
Let h be (-21)/2*18*130. Let k be 1325/h*3 + 2/13. Which is greater: k or -1?
k
Suppose -2*s + 197 = -4*w - 7, -4 = -s. Let h = 140 - 192. Is h less than w?
True
Let u be ((-876)/1460)/(11/(-15)). Suppose 0 = 3*g - 0*g - 6. Which is bigger: u 