, k + w = -3*r - k. Which is smaller: r or -16?
r
Let a = 6 + -15. Let v = -0.0522 + -6.9478. Let u = a - v. Are u and -2 unequal?
False
Suppose -5*a - 7 + 17 = 0. Suppose -19 = -a*n + 21. Let w = n - 59/3. Is -1 equal to w?
False
Let t be 2*(0 - (-141)/6). Suppose -3*s = 5*d + 43, d = -0*d - 3*s + 1. Let p be -1 + 2 + d + 8 + 48. Is t at most as big as p?
False
Let w(j) = -94*j + 1. Let s be w(-1). Suppose -3*b + f + s = 0, 0*f - 159 = -5*b + 2*f. Suppose -b*k + 32*k = -43. Is -44 != k?
True
Suppose 6*n + 13 = -41. Let g(q) = q**3 + 8*q**2 - 10*q + 10. Let v be g(n). Let w = 201205/10188 - -2/2547. Is v at most w?
True
Let u be (-38735)/(-3233) + (0 - 12). Which is smaller: 19 or u?
u
Let r be 18/(-56) + 1/(-4). Let l(g) = g**2 - 5*g - 6. Let z be l(6). Suppose z = -9*w + 4*w. Is w less than r?
False
Let f = 4 + -11. Let p be 4/((-15)/12*(-1)/(-2)). Which is smaller: f or p?
f
Suppose -3*x - 20 = -2. Suppose 0 = 5*k - 5 - 10, m - 2*k = -49. Let u = m - -34. Is x > u?
True
Let n(k) = -k**3 + 2*k. Let g be n(-2). Suppose -g*a - a - 25 = 0. Suppose 4*q + 5*y + 3 = 0, 2*q - 2*y - 14 = -20. Which is smaller: q or a?
a
Let d = -43 - -60. Let l = -26 + d. Let a = l - -9.04. Are a and 0.4 unequal?
True
Let h = -107 + 28. Let o = h - -60. Let w = o + 19.1. Is 2 at least w?
True
Let d = 18 + 5. Let f = -2450.2 - -2473. Let b = f - d. Which is smaller: -1 or b?
-1
Suppose -4 = -5*q + 3*c, 4*q + 10 = -3*c + 24. Let l be (-18)/4 - (-11053)/3158. Is q greater than l?
True
Let g = 36198 + -40042. Is g greater than or equal to -3844?
True
Suppose 2*y = 3*y - t - 2, -3*y + 5*t = -4. Suppose -y*n + 0*n = -6. Suppose 0 = n*q + 3*a + 150, 3*a + 70 + 230 = -4*q. Which is bigger: q or -1?
-1
Suppose -2*l + 0*l - 2*h = -8, -h = -5*l - 4. Suppose 3*q - 344 = 5*m + 641, 5*m = -q + 295. Let r = q - 371. Which is greater: r or l?
l
Let g = -0.07 - -2.07. Let u = -66 - -68.8. Let y = -7.8 + u. Is y at least as big as g?
False
Let x = -29435/2 + 14101. Does x = -616?
False
Let x be 2 + 0 + (-3785685)/1883772. Let b = x - 1/3124. Let c = 211883 - 211883. Which is smaller: c or b?
b
Let a = 28162 + -28161. Which is bigger: a or 13/69?
a
Suppose 27*z + 107 + 58 = -132. Let q(f) = f**2 + 8*f + 4. Let b be q(-5). Is z less than or equal to b?
True
Let n(g) = 5*g**2 + 3*g - 3. Let k be n(1). Let s be k + 42/(-8 + 6). Which is smaller: s or -19?
-19
Let m be (1 - -5)*(-2)/8. Suppose 4*g = 5*g + 4*y + 34, y = 5*g + 212. Let i be 3*g/18 - -4. Which is smaller: m or i?
i
Let h(u) = -4*u + 8. Let l be h(4). Are 20 and l equal?
False
Let w = -75 + 75. Suppose -3*x + f = 0, 2*x + 3*f - 12 + 1 = w. Let d be (-2)/15 - (-460)/75. Which is greater: d or x?
d
Suppose -4*g - 2*z + 4 = 0, -2*z + 5 = -2*g + 1. Let c be (-77)/(-168) - (2 + (-21)/14). Is c greater than or equal to g?
False
Let q(v) = 4*v + 28. Let i be q(-9). Let n be 375/9 - (i/6)/4. Which is smaller: n or 43?
n
Let i = 11284 + -11271. Is 1/59 != i?
True
Let v = -17/116 + 10211/812. Let l = v + -2603/210. Let r = 552/5 + -110. Is l less than r?
True
Let f(l) = 88*l**3 - l. Let k be f(-1). Let i(n) = 65*n + 27. Let o be i(1). Let h = o + k. Is h at least 5?
True
Let t = -20 + 36. Let f be 0 + (t - 4)/4. Let y be (-2*3/24)/(f/(-9)). Which is smaller: y or 0?
0
Let l = 4479 - 31408/7. Let j = l + 58/7. Let o be -2 + (-4 + 3)/(-1). Which is bigger: o or j?
j
Suppose -4*d + 5*d - 17 = 0. Let z = -3728 - -33704/9. Which is greater: z or d?
d
Let t = -30878 - -555653/18. Which is greater: -1 or t?
-1
Let a = -62 + 121/2. Let o(u) = -2*u. Let p be o(-2). Suppose 4*t - 4*s + p = 0, 6*t - 5*s = 4*t + 1. Which is bigger: t or a?
a
Let c = -692 - -383. Let b = c + 313. Is b != 2?
True
Let q = -183378 - -1461573/8. Which is bigger: -681 or q?
-681
Let l = -19.2 - -19.1822. Let i = l - 62.7822. Let g = -63 - i. Is g != 2/3?
True
Let a = 439 - 458. Let f(b) = -5*b**2 - 5*b - 9. Let p be f(-3). Let s = p + 21. Which is greater: s or a?
s
Let n = 2622 - 854775/326. Is n bigger than 0?
False
Suppose 5 = -3*n - c, 3*c - 2 + 5 = 3*n. Suppose 0 = 3*o + 16 - 4. Let p be (-1)/((-35)/(-115)) + o/(-14). Are p and n equal?
False
Let x be (510/(-254) - -2)*(-32)/(-8). Let t = -2559 - -2558. Is x < t?
False
Let p = 17 - -27. Suppose 0*r + 4*r = p. Let w(q) = q**2 - 13*q + 23. Let o be w(r). Which is smaller: 1/9 or o?
1/9
Let y(w) = -w**2 - 102*w + 879. Let d be y(8). Which is bigger: 1/22164 or d?
1/22164
Let i = -6507 + 6507. Is i bigger than -110/153?
True
Let d = -724303/5 + 144340. Is -520 bigger than d?
True
Let a(t) = -t**3 + 30*t**2 - 33*t - 365. Let w be a(29). Which is bigger: -478 or w?
-478
Suppose 2*g + 3*v = 9 - 491, 0 = 3*v - 12. Is -1239/5 greater than or equal to g?
False
Let s = 1886 - 1885. Is -5/72 at least as big as s?
False
Let s be (0 - 2)/((-4)/15). Suppose -11*k + 19*k = 704. Let f = 95 - k. Is s >= f?
True
Suppose 8*k - 14287 - 20417 = 0. Is 4337 less than or equal to k?
True
Suppose 3*a + 5*x + 9087 = 0, -11*a + 15145 = -16*a + 3*x. Let f = 18247/6 + a. Which is greater: 11 or f?
f
Suppose 0 = -x + 3*v - 2328, -11570 = -0*x + 5*x - v. Is x not equal to -2313?
False
Let z = -119 + 2974/25. Let f(o) = -o**2 + 4*o + 10. Let l be f(6). Let a be l/12 + ((-7)/6)/(-1). Do z and a have the same value?
False
Suppose -284 = -3*w - d, -2*w - 3*w = -4*d - 496. Which is bigger: w or 1058/11?
1058/11
Let a = -5403 - -5422. Is a at most -30?
False
Let j = -114 + 116. Suppose -s - 9 = -j*y, 2*y - 5 = 3. Is s smaller than -18/23?
True
Let i = -25384/87 + 875/3. Let l(v) = -16*v + 2. Let a be l(-2). Let y = -34 + a. Is i greater than or equal to y?
False
Let g be 40/(-28) + (-4270)/(-1960). Which is smaller: 0.933 or g?
g
Suppose -3*c - 14*b + 13*b + 66 = 0, 2*b - 12 = -c. Is 126/5 at most as big as c?
False
Let o = -1.4747 - 0.0353. Which is smaller: o or 13?
o
Let d be (2 - (-10)/(-4))/(7400/(-1110)). Is 0.24 not equal to d?
True
Let q(w) = 3*w**2 + 8*w + 12. Suppose 4*v + v + 5*n + 25 = 0, 0 = 2*v - 5*n + 3. Let h be q(v). Let t = 1.6 + -2.6. Is t greater than h?
False
Let w(m) = 3*m**2 + 29*m + 5. Let x(f) = 3*f - 7. Let n be x(-1). Let z be w(n). Let t(a) = 4*a + 2. Let c be t(3). Which is bigger: z or c?
z
Let o = 406 - 22332/55. Let j(w) = -w**3 + 7*w**2 - 6*w + 5. Let d be j(6). Suppose 17*k - 5 = -d. Which is smaller: o or k?
o
Let d be (-2)/(-20) + (-10)/100. Let f be (d - 0) + 58 - (-46 - -47). Which is greater: f or 55?
f
Let z(x) = -2*x**3 + 26*x**2 - 16*x + 62. Let b be z(4). Is b less than 293?
True
Suppose 0 = -26*d + 1277 - 1433. Is -38/7 > d?
True
Suppose k - d = 2*k + 2, 3*k + 6 = 5*d. Let j be 2/((3/6)/(k/8)). Let c = -37/4 - -1587/172. Which is smaller: c or j?
j
Let u = -9104 - -9103. Which is smaller: -5/1488 or u?
u
Suppose -4*a = a - 25. Suppose -r = -3*r - b, -r - 9 = a*b. Let p be (-976)/(-24) - r/(-3). Is 41 at least p?
True
Let k(l) = -8*l - 4. Let u be k(0). Let r be u - -5 - (3 - 2)*-2. Let v be 136/14 + -6*r/(-63). Is v > 17/2?
True
Let i be 1 + (86/(-2) - -1). Let d(o) = -10*o**2 - 9*o**2 - o - 16*o**2 - 4*o**2 - 2. Let q be d(-1). Which is smaller: q or i?
i
Let c = 84 - 118. Suppose -8*a = a - 117. Suppose 6*u = -7*u + a. Are c and u unequal?
True
Suppose -5*s - 1233 = 4*w, w = -2*w - 2*s - 923. Let p be -307 - (-1)/2*0. Is w > p?
False
Let i = -185 - -188. Suppose 15 = 3*b - i*p, 0 = b - 4*p - 7 - 10. Is b at most as big as 5/11?
False
Let u = -215.2 + 204. Let v = 8.2 + u. Is 6 greater than v?
True
Let i be (-4 + 3)/((-2)/6). Suppose -3*z + i*v + 36 = 0, -3*z = v + v - 16. Let g(k) = -3*k + 31. Let t be g(z). Which is bigger: 15/2 or t?
15/2
Let t(y) = -y + 1. Let s be t(-5). Suppose 0 = -4*q + b + 63, -s*b = 5*q - b - 110. Let c be (-28)/(-224)*16/4. Which is bigger: q or c?
q
Let i = 0.03786 + -8973.03786. Which is smaller: i or 0?
i
Let x = -28 - -23. Let t(b) = -4*b - 18. Let h(p) = -20*p - 90. Let i(y) = 3*h(y) - 16*t(y). Let f be i(-6). Which is greater: f or x?
x
Let t(j) = -j**3 + 12*j**2 + 11*j + 26. Suppose 0 = 2*i + a - 6*a + 98, -2*i - 90 = -3*a. Let k be ((-6)/9)/2*i. Let c be t(k). Which is smaller: -18 or c?
-18
Let d = -52.847 + 53. Let j = -0.047 - d. Does j = -40?
False
Let t be ((-27)/(-2))/((-59655)/29622 + 2). Suppose -3*p = -2*p + 973. Let q = p - t. Which is greater: q or 0?
0
Let