pose -m - s*d - 28 = 0, -2*m + 2*d + 0*d - 36 = 0. Which is smaller: m or -21?
-21
Let k(j) = -j**2 - 8*j + 12. Let f be k(-9). Suppose f*w - w - 20 = 0. Which is smaller: 11 or w?
w
Let b be 38*(2/4 - 1). Let s be -4 + (-115)/15*-3. Let q = s + b. Which is smaller: q or 1/7?
q
Let x(t) = t**3 - 30*t - 4. Let w be x(-6). Which is smaller: w or -37?
w
Let p = 1.328 + -0.328. Suppose v = -3*v + 4*o - 128, 0 = -4*o - 4. Which is smaller: p or v?
v
Let m be (-6)/1*(-12)/16. Suppose -2*o = 2*i - 22, -18 = -5*o - 2*i + 52. Let y(a) = -a**3 + 16*a**2 - a + 21. Let h be y(o). Is m < h?
True
Let x = 2.1 + -2.2. Which is bigger: x or 3/28?
3/28
Suppose -13*l - 1539 - 541 = 0. Is -158 at most l?
False
Suppose -h + 3*h - 11 = -3*v, -10 = 5*h. Suppose i + v*f - 13 = 0, 3*i = -f - 0*f + 11. Suppose -i = 3*p - 18. Does 6 = p?
False
Let h = -26 + 57. Suppose 29*u = 357 + 513. Which is smaller: h or u?
u
Let g(r) = -r**2 + 2*r + 8. Let y be -2*(-2 + 2 + -1). Let x be (-3 + 7 + -4)/y. Let s be g(x). Which is bigger: s or 9?
9
Let y(p) = p**2 + p. Let f be y(-2). Let q = f + -1. Let g = -1.53 + 1.5. Which is bigger: g or q?
q
Let z = 1413/371 + 48/53. Are z and 4 nonequal?
True
Suppose k - 237 = -3*d, 3*k + 3*d - 186 = 543. Is 246 at most as big as k?
True
Let i(o) = 2*o**2 - 14*o - 81. Let a be i(-5). Does a = -0.2?
False
Let r be (4 - 7)/3*826/11. Let a = r + 75. Which is smaller: -1 or a?
-1
Let d be (-1)/6 + 38/12. Let a be 40/36*d*-3. Let t be (1 + -2)*a/(-2). Is t smaller than -5?
False
Let g be 16256/48*(-6)/4. Is g >= -508?
True
Let d(m) = m**2 + 12*m + 11. Let s be d(-11). Is s greater than 2?
False
Suppose -2*y + 11*z = 12*z - 1, -4*y + 37 = -5*z. Suppose 0 = -y*q + 3 - 0. Let b = -107 - -964/9. Which is smaller: q or b?
b
Let j be (-30)/(3 - (-80)/(-25)). Suppose -2*n + j = 5*h - 5*n, h - n - 30 = 0. Is 61/2 <= h?
False
Suppose -2458 = 11*l - 2469. Is l at most as big as 14.34?
True
Let q be (-1 + -6)*4002/2233. Which is bigger: 1 or q?
1
Let i = -170.3 - -167. Let a = -2.71 - i. Is a at least -2/3?
True
Suppose 5*w = -25, 23 = 2*q - w - 4*w. Let r be (-1260)/(-637) - (-1 - -3). Which is bigger: r or q?
r
Let z = 36/7 + -2067/406. Are z and -1 equal?
False
Let w = 166/32809 + 4/301. Let b = -3 + 2. Which is smaller: w or b?
b
Let a = 3.9887 + 0.0113. Is 3/7 >= a?
False
Let n be 3/2*(2 - 196/105). Suppose 0 = -3*m + 4*z - 15, -z + 1 + 2 = 0. Which is greater: n or m?
n
Let j = -380.52 - -382. Is 0 less than j?
True
Suppose -14*f - 10015 + 2175 = 0. Which is bigger: -0.1 or f?
-0.1
Let i = 3 - -11. Let m = -116.7 - -131. Let h = m - i. Is 1/4 equal to h?
False
Suppose -2*g + 11 = 5*c, -4*g - 5*c + 6 + 21 = 0. Let m(z) = 34*z - 874. Let t be m(26). Which is smaller: t or g?
g
Suppose 5 = 10*y - 5. Let x = -247/748 - -6/17. Which is greater: x or y?
y
Suppose 2*i = -i. Let g(u) = -2*u - 12. Let p be g(5). Is p smaller than i?
True
Suppose x - 14 - 8 = 0. Let f be 2 + (1 - 1) + 19. Which is greater: x or f?
x
Let g = -3 + 7. Suppose 4*d = -5*j - 3, -4*j = 3*d - 39 + 41. Which is smaller: g or j?
j
Suppose -2*b - 3*n = -b + 10, 2*n + 4 = -2*b. Suppose 0*o + 3*p - 17 = -o, 22 = 2*o + b*p. Let a = -7 + o. Is a < -2/11?
False
Suppose -24 = -4*h - 4. Suppose 0 = -h*p - 8 + 13. Do -3/7 and p have different values?
True
Let c = 47 - 34. Let r = c + -6. Let v = r - -4. Are v and -1 nonequal?
True
Let j = -13 - -13. Suppose -l = s - 10, j = -3*l + 5*s - 3*s + 35. Suppose 0 = -l*u + 6*u. Is -1/9 smaller than u?
True
Suppose 4 = x - 3*x. Let f be ((-35)/x)/5 - 4. Is -23 >= f?
False
Let k = -0.1 + 1.1. Let b be ((-24)/9)/(6/(-72)). Let j be (-6)/9 + b/21. Which is greater: j or k?
k
Let b be (-10)/(-55) - (-7828894)/30514. Let f = 4135/73 - b. Let a = f - -200. Which is bigger: -1 or a?
a
Suppose 50 = 3*p + 47. Which is smaller: -1/198 or p?
-1/198
Suppose -h + 5 = 3*c, -c + 2 = 3*c - h. Let j be c/(-3)*33/(-6). Are j and 1 non-equal?
True
Let j be -1 - -3 - 1325858/126. Let k = -94948/9 - j. Let c = 86/3 + k. Is c > 1?
False
Suppose 0 = -2*u + 278 - 248. Let w be ((-1)/2)/(-3 + u/6). Which is smaller: 1/23 or w?
1/23
Suppose n + 228 = -372. Let m be 1/(-4) - n/(-32). Which is smaller: 0.3 or m?
m
Let w = -234 + 701/3. Is -75/8 less than or equal to w?
True
Let h = 12 + -17. Let d = -9 - h. Suppose 0 = -4*x + 2*k - 26, 3*x + 14 = -3*k + 8. Which is smaller: x or d?
x
Let q be ((-30)/(-594))/((-6)/(-293)). Let d = q - 35/54. Are d and 1 nonequal?
True
Let h be ((-4)/(-230))/(28/35). Let f = h + 317/230. Are f and 0 equal?
False
Let c = 1 + 4. Suppose 0*h - 4*p - 124 = -3*h, -c*p = -25. Are 48 and h non-equal?
False
Suppose 5*f - 15 = -z, 4*z + 4*f - f = 9. Let a be 4 + (-1)/(z + -1). Suppose -a*j - 13 + 8 = 0. Which is smaller: j or 2/19?
j
Suppose v + 10 = 2*z - 0, 4*z = v. Let d be ((-6)/15 - (-42)/5) + -4. Suppose w = 2*w + 5*q + 16, 3*q = d*w + 87. Is v > w?
True
Suppose -29*x = -23*x - 108. Suppose 6 = f - 5*y + 18, -4*f - 2*y = -x. Which is smaller: 1 or f?
1
Let d = 945525 + -19859702/21. Suppose 0 = 2*z - 8*z + 1050. Let u = z + d. Which is bigger: 1 or u?
1
Let c(q) = 2*q + 18. Let k be c(-6). Let i(n) = 4*n - 7. Let v be i(k). Which is smaller: 18 or v?
v
Let t be (-702)/(-284) + -10 + 7. Let k = t + 2/71. Is -1.4 greater than k?
False
Let c = 2105/6 + -347. Let q be (5/(-25))/(4/(-100)). Which is smaller: c or q?
c
Suppose -3*h + h = 8. Let d(b) = -b**2 - 14*b - 27. Let u be d(-11). Suppose u = -5*a - 4. Which is bigger: h or a?
a
Let c = 41 - 41.6. Let z = 0.75 + c. Is -2 greater than or equal to z?
False
Let x(l) = -l**3 + 10*l**2 + 39*l + 2. Let n be x(13). Which is bigger: n or 13/5?
13/5
Suppose -650*z + 4 = -648*z. Is z greater than or equal to -4/19?
True
Let y(f) = f**3 + 5*f**2 - 12*f - 60. Let j be y(-5). Which is smaller: 1/356 or j?
j
Let n = -9 + 5. Let m(i) = -i**3 - 5*i**2 - 2*i + 4. Let v be m(n). Let c(h) = h**2 + 10*h - 306. Let j be c(13). Is j less than v?
True
Let g = -0.05 - -0.15. Let m = 202/5 - 40. Is g at most as big as m?
True
Let o = 44 - 72. Let l = o - -30. Does 3 = l?
False
Let n be ((-14 - -4)/(-50))/(4/62). Is n at least as big as 4?
False
Suppose -30 = -8*n - 22*n. Let t = -857 - -14574/17. Is n equal to t?
False
Suppose -f + 3*h = 14, -27 = -2*f + h - 6*h. Suppose 5*y + f = 6. Suppose -9 = -x - 2*x. Which is greater: y or x?
x
Suppose 0 = 2*x - 2, -4 = -5*r - x + 2*x. Suppose y = -r, -y - 5 = h + 4*y. Suppose h = -2*i + 7*i. Are 2/29 and i equal?
False
Let n = 1/574 - -1111/21238. Let v(c) = -c**2 - 5*c + 1. Let o be v(-5). Is n less than o?
True
Let v(a) = -2*a + 5. Let l be v(3). Let f be l + (-6)/(-9) - (-2)/(-3). Is f > 1/6?
False
Let n = -10 + 24. Let x = n + -11. Let o be ((240/(-44))/x)/2. Which is bigger: -2 or o?
o
Let v(s) = -s**3 + 7*s**2 + 2*s - 10. Let w be v(7). Let y be ((-3)/2)/(3/w). Let k be 1/y + 18/(-4). Are k and -4 non-equal?
True
Let w = 41 - 40.2. Which is smaller: -2 or w?
-2
Let n(v) = v**2 + 2*v. Let x be n(3). Suppose 0 = 10*a - 5*a + x. Let s be -3 + 455/75 + a. Do s and -1 have different values?
True
Let m = -4 - -1. Let p be (-9)/(-21) - (30/21 + 0). Let n be ((1/(-5))/(4/(-20)))/p. Is n at most as big as m?
False
Let k(m) = -m**3 + 6*m**2 - 4*m + 10. Let x be k(8). Let y be 3/((-27)/x) + (-8)/12. Which is greater: 15 or y?
y
Let f = -3335/11 - -303. Let p = f + 19/44. Is 0.4 not equal to p?
True
Let u(g) = 2*g**3 - 2*g**2 - 4. Let y be u(2). Which is smaller: 50/13 or y?
50/13
Let h = 156 + 1019. Is h less than or equal to 1176?
True
Let u = 63 + -69. Is u < -1/2?
True
Let w = -20 - 3. Let p be 2 + (0 - (1 + 0)) - w. Which is bigger: p or 25?
25
Let o = 348 + -1399/4. Is -1 less than o?
False
Let c be (-1 + 159 - 36/12)/1. Which is smaller: 157 or c?
c
Let o(h) = h**3 - 34*h**2 + 66. Let l be o(34). Which is bigger: l or 67?
67
Let z be 7/((-3)/(15/(-4180))). Let l = 8731/44308 - z. Is l < 0?
False
Suppose -4*t + 71 = 5*x, -5*t + 2*x = -30 - 34. Let z be (-1)/(0 + (-2)/t). Suppose -3*m + 6 = 4*h, -5*m + z + 3 = -4*h. Which is smaller: h or -1?
-1
Let w(q) be the second derivative of -q**5/20 + q**4 + 7*q**3/3 - 7*q**2 - 2*q. Let i be w(13). Let f = -727/77 + 68/7. Which is greater: f or i?
f
Let a(r) = -7 + 1 - 1 + r**3 - 6*r**2. Let i be a(6). Is i at most as big as -5?
True
Suppose -4*