*k + n*s - 138 = -2*k, -s = -k + 33. Let d be 1/7 - k/(-182). Which is greater: d or -1?
d
Suppose 0 = -3*q - 9*n + 8*n - 4, -5*n - 20 = 2*q. Let x be 1*(q/(-4 - 2))/2. Which is bigger: -19/22 or x?
x
Let b = 65 - 56. Suppose 35 = 4*f - b*f. Which is greater: f or -74/9?
f
Suppose 25 = 10*y + 5. Let s(d) = d - 2. Let q be s(y). Let b be 1/((-1)/(-1) - 12). Is b at least q?
False
Suppose 2*d - 4186 = -2*o, -5*o + 2117 = d - 10*o. Which is greater: d or 0.2?
d
Suppose 2*d - 5*t = -14, 4 = -t + 2*t. Suppose -20 = 2*w + p, -4*w - 28 - 16 = d*p. Let m(x) = 8*x**2 - 28*x + 2. Let s be m(3). Is s less than or equal to w?
True
Let c = -21.816 + 51.816. Which is smaller: -2/127 or c?
-2/127
Suppose 0 = -4*x - 3*z + 10, -2*z = 4*x - 3*z - 2. Let b be -1*x/(-5) + (-396)/780. Is 0 smaller than b?
False
Suppose -3*k + 17 = 5. Let n be (11/198)/(-3 + k). Is -1 bigger than n?
False
Suppose 29 = -4*w - 5*a, -4*w + 4*a = -0*w + 20. Let u = -17 + w. Suppose 7*m + 22 = -146. Which is greater: m or u?
u
Let j(s) = s**3 + 5. Let w(l) = l**2 + l - 1. Let u(p) = j(p) + 4*w(p). Let y be u(-2). Is -1/26 greater than y?
False
Let v be -3964*(6/(-10))/((-576)/(-180)). Which is bigger: 743 or v?
v
Let k(x) = -x**2 - 4*x + 8. Let m be k(-6). Let f be m/(3/(-3)) + -2. Suppose -6 = 2*d, -2*d = 5*v + 2*d + f. Is v at most as big as 10/11?
False
Let l be -78*(-5)/(-15)*-3. Let n = l - 70. Suppose 0 = -5*x + 4*x - n. Is x at most as big as -7?
True
Let o = -6.1216 + 5.912. Which is smaller: 3/4 or o?
o
Let r be (-896)/(-73356)*-140 - (-2)/3. Let b = r + 165663059/299537. Let g = b + -552. Is -1 bigger than g?
False
Let k be 3/(-4)*(141841/(-20631) + 7). Is k at most 1?
True
Let s = 40.64 + 25.31. Let c = -66 + s. Let o(j) = 5*j**3 + j**2 + j + 1. Let t be o(-1). Which is greater: c or t?
c
Suppose 60*k + 8 = 68*k. Let o(r) = 33*r**2 + r - 2. Let y be o(-4). Let i = y + -5738/11. Is i at most k?
True
Let x be 8/(-6)*(-102)/(-68). Suppose 5*o + 2*m = 5*m + 23, 0 = -3*o - 3*m + 9. Let u be x*-2*o/16. Is u != 1?
False
Let h = 0.3357 + 2.6843. Is h <= 1/7?
False
Suppose 12 = 10*y + 22. Let q be 2/y - (-9 - (-72)/10). Let d = -0.23 - -0.32. Which is bigger: d or q?
d
Let j = 13184 - 13184. Is 5/351 bigger than j?
True
Suppose 243452 + 361021 = -441*s - 318981. Which is bigger: -2095 or s?
s
Let k(c) = -5*c**3 - 7*c**2 - 13*c - 34. Let g(d) = 4*d**3 + 8*d**2 + 13*d + 35. Let v(f) = -4*g(f) - 3*k(f). Let w be v(-10). Is w equal to -84/11?
False
Let b(t) = -5*t**3 - t + 2. Let d be b(1). Let k(a) = 6*a + 27. Let z be k(d). Is 3 bigger than z?
False
Let y be -135*28/6930*60. Which is smaller: -32 or y?
y
Let d = 1/55649 + -223899/72510647. Which is bigger: d or -1?
d
Suppose -2*y + 3*y = 5*f + 402, -3*y = f + 74. Is f >= -78?
False
Let g = -29 + 24. Let x be (49/98)/(1 - 82/72). Which is bigger: g or x?
x
Suppose -5*q - 76 = -q. Let p = -43 - q. Let c be (-3)/p*(-20)/8. Is -1 less than c?
True
Let d be ((35/10)/7)/((-4)/(-24)). Suppose -9*f + 8*f + p = -5, d*f - 15 = -p. Do f and 4 have different values?
True
Let u(k) = -k**2 + 13*k + 7. Let z(m) = -11*m - 38. Let h be z(-4). Let t be u(h). Is 49 < t?
False
Let l = -147007/6 - -24499. Do -26 and l have different values?
True
Let u = 19.6 + -59.9. Let q = u - -31.3. Let w = -0.09 - -0.1. Is w at least q?
True
Let v(k) = -2*k + 46. Let s be v(19). Suppose -5*p + 8 = -3*q + 1, 4*p = s. Let u be (8/96)/(34/6). Which is smaller: u or q?
u
Let w be (-7 - -4 - 0) + (0 - -1). Let x be (-1)/((-4)/40*w). Let g be 1 - (-4)/x - 132/(-40). Which is smaller: 5 or g?
g
Let r = -135.27 - -0.27. Let g = r + 135.35. Is 0.1 at least g?
False
Suppose 0 = 2*f - 4*q - 24, -2*f + 24 = -15*q + 16*q. Suppose -8*r - 3*p + 22 = -f*r, 2*r - p = -12. Which is smaller: r or -2?
r
Let o(m) = -78*m - 1651. Let h be o(-17). Which is smaller: h or -331?
-331
Let v(r) = r**3 - 8*r**2 + 49*r - 323. Let i be v(8). Is i >= 693/10?
False
Let p = 0.735 - 513.735. Let q = p + 523.2. Is 1/2 at least as big as q?
False
Let x be 3624/180 - 12/(-450)*-5. Which is smaller: 102 or x?
x
Let x = -2835/1198 - 515909/46123. Let j = x - -92/7. Do -1 and j have the same value?
False
Let u = 30 - 35. Let b(s) = 3*s**2 - 311. Let x be b(0). Let l = x - -1221/4. Is u less than or equal to l?
False
Let g be 2*-11 - 170/(-34). Let b be 5076/(-459) - 1/g. Do b and 6/17 have different values?
True
Let k be 10710/64372 + (-2)/12. Let x = k - 41288/324159. Which is smaller: x or 0?
x
Suppose 2*v = 0, -11*y + 13*y - 3*v - 98 = 0. Is 49 at most as big as y?
True
Let j = 44 - 16.8. Let k = 27.2 - j. Which is smaller: k or 0.03?
k
Let l = 0 + 0. Let v = -61 + 9. Let a be ((-2)/78)/(5/(v + 7)). Is a != l?
True
Let d = 21/2 + -901/86. Let m = 45/86 - d. Which is greater: 0.4 or m?
m
Suppose -7*w + 12*w = 2*l - 48, -4*w = -l + 36. Let i be (10/45)/(w/3) - 2. Which is smaller: i or -1?
i
Let a = 1/117 + -3/13. Let v = 4 + -18. Let d = 15.3 + v. Which is greater: d or a?
d
Let v be (6/(-5))/((-46)/115). Suppose 2 = -v*w + w. Let i = 1.01 - 0.01. Is i not equal to w?
True
Let w = 2.4685 - 2.42. Let c = 0.491 + -0.391. Which is smaller: c or w?
w
Let w = 37.03 - 37.2. Is -7 less than or equal to w?
True
Let y = 34870/741 - 376/57. Is y equal to 41?
False
Let p be ((-1)/(-3))/(5/(-805)). Suppose 0 = 27*i - 28*i - 53. Let w = i - p. Is w not equal to 2?
True
Let p = -0.064865 + -79.753135. Let x = p - 0.182. Which is smaller: x or -1?
x
Let d(y) = 3*y - 45. Suppose 0*a - 96 = -3*u + 3*a, 3*a - 28 = -u. Let c be d(u). Is 93/2 smaller than c?
True
Let h(d) be the first derivative of 4*d**2 + 21*d - 2. Let g = 278 - 285. Let y be h(g). Is -1 greater than y?
True
Let w(d) be the third derivative of 17*d**4/24 + d**3/3 - 3*d**2. Suppose 0 = -2*l + 9*j - 12*j - 4, -4*j - 2 = l. Let y be w(l). Is -32 smaller than y?
False
Let b(h) = h**3 + 38*h**2 - 103*h - 999. Let v be b(-40). Let w(r) = -2*r**3 - 4*r**2 + 5*r - 3. Let z be w(3). Is z at least as big as v?
True
Suppose -n + 2*v + 1918 + 7296 = 0, 4*n - 36906 = -2*v. Suppose 0 = -3*q + 5*j + n, 15384 = 5*q - 6*j + 3*j. Let l = q + -27736/9. Which is smaller: -4 or l?
-4
Suppose 5*x + 14 = 4*l, 5*x + 0*l + 3*l + 42 = 0. Let g be 2/x*(-45)/(-645). Is -2/3 at most as big as g?
True
Let f = 2723 - 2359.8. Let j = 367 - f. Is j >= -2/3?
True
Suppose 1438*f + 6 = 1444*f. Is -38/317 equal to f?
False
Let l be (-18)/49*(-42)/922. Let v = l - -189479/1597365. Let x = 2/45 - v. Which is smaller: x or 1?
x
Suppose 0 = 2*p - 3*p + 4*c + 16, 0 = -2*p - 3*c + 21. Suppose -4*y + 3*o - 3 = -17, 5*o + p = y. Is 35 equal to y?
False
Let n(s) = s**3 + 7*s**2 - 8*s + 16. Let m be 6/(-39) - ((-770)/(-65) + -4). Let a be n(m). Which is smaller: 22 or a?
a
Let w = 43 + -42. Let f be (-196)/(-42)*9*w. Suppose 5*u + f = 137. Which is smaller: u or 18?
18
Let d = 22272 - 22275. Which is smaller: -3.101 or d?
-3.101
Let q = 64 + -55. Suppose q*w = -w - 100. Is w greater than or equal to -67/7?
False
Let s = 9909 + -9909. Which is smaller: 633.2 or s?
s
Suppose -3*d + 225 = -4*l, -4*d + 155 = -3*l - 131. Which is smaller: d or 65?
65
Let h(s) = s**2 - 16*s + 35. Let n be h(14). Suppose -n*y + a = -6*y, 4*a = 2*y + 6. Which is smaller: 7 or y?
y
Suppose -14*z = -23 - 19. Suppose -3*s = -z*o - 3, 0 = -5*o - 3*s + 2*s + 1. Suppose -4*q - 20 = o, y + 3*q + 14 = -0*y. Which is smaller: y or -2/61?
-2/61
Let p be ((-75)/10)/(-3)*(-56)/140. Let g be 0 - 0 - 4/(-233). Is g <= p?
False
Suppose -2*n - 1 = o + 1, -3*n + 5*o + 10 = 0. Suppose 34*z - 36*z + 32 = 0. Let x = 23 - z. Which is smaller: x or n?
n
Let q = 3200 - 73662/23. Let s be 4 + -7 + (-5)/(-5). Is s less than or equal to q?
False
Let h(z) = 5*z**2 + z - 1. Let n be h(0). Let s be 5/(-20)*n/(15/140). Which is smaller: s or 9?
s
Suppose 3*o = 2*s + 47, 42 = 3*s + 4*o + 138. Let x be (1 - -165)*4*7/s. Is -1/2 at most as big as x?
False
Suppose 4*x = 4*k + 16, 5*x - 3*k - 13 = -5*k. Suppose -2*f + x = f, -f = -2*m + 39. Is m at most 19?
False
Let h(c) = 3*c**3 + c**2 - 4*c + 4. Let q be 4 - (-1 + (0 - -3)). Let p be h(q). Suppose p*k - 100 = 29*k. Which is smaller: -19 or k?
k
Let n be (-11916)/(-783) + (-459)/27. Which is greater: -2 or n?
n
Let g be 650/(-260)*2/12*-2. Is g greater than or equal to -21?
True
Let x = 29 - 28.91. Let p = 