3932/11. Which is smaller: h or 1?
h
Let u = -139 - -139. Suppose -b + 2*v - 43 = u, -5*b + 5*v - 147 - 53 = 0. Is b bigger than -36?
False
Suppose 44*m - 218 = 3082. Which is smaller: 2 or m?
2
Let u be ((-845)/(-117) - 7) + (-11)/9. Which is smaller: -5 or u?
-5
Let u = -883/32342 + 3/206. Which is smaller: u or -1?
-1
Let b = 6 - 6.4. Let i = b - -1.4. Let k = 0.964 + -8.964. Is k < i?
True
Let l = -1017 + 1024. Is 198/31 > l?
False
Let w(z) = 11*z - 777. Let s be w(12). Is -646 at most s?
True
Let w be (65/15 + -4)*(4 - -2). Suppose w*h = h. Let a be 1*(6/46 - 0). Which is smaller: a or h?
h
Let p = -37.82 - -0.82. Let l = -0.51 - -0.41. Which is greater: p or l?
l
Let z be 145/(-3) + (-2)/(-6). Let d be z/22 - (-6 + -6 + 10). Which is greater: -1/3 or d?
d
Let k = -3 + -5. Let s be (2/5)/(k/(-10)). Let a be (-8)/(96/(-9)) + 17/(-28). Which is greater: s or a?
s
Let m = 156 - 299. Let f be m/260 + (-3)/(-4). Let g be 2 + -5 - 24/(-6). Is f at most as big as g?
True
Let g(r) = -3*r - 13. Let j(a) = 3*a + 12. Let x(b) = 5*g(b) + 6*j(b). Let n be x(-3). Let k be (4/24)/(n/4). Is 0 != k?
True
Let c = -5.2 + 4.7. Are c and 16 non-equal?
True
Suppose -51*x + 12 = -53*x. Which is smaller: x or -11?
-11
Let r be (-2 - (-1377)/21) + 90/210. Which is greater: 56 or r?
r
Suppose -5*s - 3*b = -6, 3*s + 5*b = 5*s - 21. Suppose y = -21 + 26. Which is smaller: s or y?
s
Let m(o) = o**3 + o**2 - o + 4. Let d be m(0). Suppose -d*q = -y + 3*y - 2, -2 = -2*y + 4*q. Let l = -229/2 - -116. Is y greater than l?
False
Let f = 10255 + -10255. Suppose -2*v + 3*o = 0, 5*v - 5*o = -0*v. Let h be 1/((-18)/10) - v. Is h > f?
False
Suppose 12*w + 69 = 7*w - 2*u, -5*w + 2*u = 81. Which is greater: -19 or w?
w
Let b be (-1)/(-2) + (-57)/6. Let p = -12 - b. Let v be 18/4*(-3)/9. Do p and v have different values?
True
Let t = -131 - 1. Is -131 <= t?
False
Let c(d) = -d**3 + 5*d**2 - 2*d + 10. Let m be c(5). Suppose -y - 30 = -a + 2*y, -4*a + y + 65 = m. Is a less than 16?
True
Let i(j) = -j**2 - 10*j - 1. Suppose 0 = 5*b + 17 + 33. Let p be i(b). Let a = 1341/10 - 134. Is p at most as big as a?
True
Let c(a) = -a**3 - a**2 - a + 3. Let d = -49 + 47. Let m be c(d). Let q = -14 + 23. Is m != q?
False
Suppose -20*r + 15*r - 200 = 0. Which is bigger: -327/8 or r?
r
Let v(n) be the second derivative of -n**4/12 + n**3/2 - n**2 + n. Let j be 126/9 - 7 - 3. Let k be v(j). Do -11/2 and k have different values?
True
Suppose -y - y + 24 = 0. Let q be 6/(-36) + 2/y. Suppose -2*x - 8 = s, s + 3*x + 12 = -q*s. Which is smaller: 1 or s?
s
Let m be (-4 + (-19)/(-5))*-5. Let v be (-1)/((3/(-6))/1). Suppose -r = t + v*r, -3*t - 2*r = 0. Is m at most t?
False
Let n be (54/(-5))/(106/265). Which is smaller: n or -180/7?
n
Let b = 335 + -339. Is -42 > b?
False
Suppose -8*l + 3*l = -5*z + 85, -5*z = l - 7. Let v be 118/(-8) - ((-49)/(-28))/7. Which is greater: v or l?
l
Let t = 244 + -8537/35. Let g(a) = a**2 - 61*a + 280. Let u be g(5). Are t and u nonequal?
True
Let f(d) = 63*d**3 + 5*d + 4. Let r be f(-1). Which is greater: r or -314/5?
-314/5
Let r be 2/(-8) - (-27)/(-4). Let x be 1 - 25/30*(-1314)/(-135). Is x at most r?
True
Let j(n) = -81*n + 809. Let k be j(10). Is k less than or equal to 1/2521?
True
Let q(t) = -5*t + 67. Let l be q(13). Which is smaller: -25/11 or l?
-25/11
Suppose 134 - 125 = 3*z. Which is bigger: z or -10.4?
z
Let p(q) = -27*q + 1. Let a be p(-1). Suppose -j + 2*j - a = 0. Let z = -87 + 116. Is j less than or equal to z?
True
Let z = 0.07 - 0.02. Let a = -0.037 + 0.137. Which is bigger: a or z?
a
Suppose 2*v + 41 = 5*i, 32*i - 72 = 3*v + 28*i. Is 2/7 bigger than v?
True
Let g(r) = 3*r**3 - 12*r**2 + 13*r - r**3 + 0 + 2 - r**3. Let o be g(11). Which is smaller: 23 or o?
23
Let h = 1.205 - 0.205. Which is greater: -15/2 or h?
h
Suppose -20*j + 4 = -19*j. Is 20 < j?
False
Let o(t) = 2 + t + 5*t**3 + 2*t**2 - 4*t**3 - t. Let l be (0/(-2))/((-9)/((-27)/6)). Let v be o(l). Is 2 <= v?
True
Let u be 4 + (1 - (0 + 3)). Suppose -5*w + u*w = -81. Suppose 2*a = 5*a - w. Is a less than 7?
False
Let p be (-8)/4 - -11 - (0 - 1). Suppose 0 = -4*z + p*z + 60. Is -10 at least z?
True
Let n(p) = p**2 - 5*p + 2. Let f be 2/5 - 56/(-10). Let z be n(f). Let o = z + -13. Which is smaller: o or -6?
-6
Let t = -1.128 - -0.108. Let c = 0.02 + t. Let a be ((-1)/30)/((-2)/(-8)). Is c at most as big as a?
True
Suppose 0 = -4*u - 5*l + 7, 2*u - 41 = 3*l + 2*l. Let v be 28/8*(0 - 2). Let k = v + 15. Do u and k have the same value?
True
Let r be (-72)/(-240) + -1*(1 - 12/10). Let t = 5.96 - -0.04. Are t and r non-equal?
True
Let i = -805 - -805. Which is bigger: i or -2.02?
i
Suppose -5*i + 0*i - 4*k = 5, 0 = -2*i - 4*k - 2. Let u be i*1 + (13 - 3). Is 10 smaller than u?
False
Suppose -9*r + 24 = -13*r. Let c = 516 - 2089/4. Let m = c - r. Which is bigger: 6/5 or m?
6/5
Let m(u) = 5*u + 11. Let c be 2*(-4 - (-9)/2)*-5. Let k be m(c). Is k at least -14?
True
Let k(t) = t**2 + 8*t - 17. Suppose -2*d + 5 = -0*y + 5*y, 4*d + 5*y = -5. Let j be k(d). Which is smaller: -33 or j?
-33
Let t = 128 + -636/5. Let q = -30 - -30.17. Let d = 0.07 - q. Is t equal to d?
False
Let v be 2 + (1 - -4) + -2. Let j(z) = z**2 - 10*z. Let p be j(v). Is p at most -24?
True
Let r(a) = -a + 12. Let q be r(8). Let l be (-14)/(-2)*(-2)/(-7). Suppose -2 = -l*o + q*o. Is 1/29 at least as big as o?
True
Let l be -1 - (17 + -7 + 6). Which is greater: l or 11?
11
Let c = -35 - -84. Suppose o + 5 = c. Suppose -4*y + 8*y = -o. Is -10 != y?
True
Let m = 77 + -21. Let y = m + -54. Is 0.3 less than y?
True
Let j be 0 + (-1)/3 + 1. Suppose -35 = -2*x + 27. Suppose -5*n + x = -4*y + 1, n = 3*y + 17. Which is greater: j or y?
j
Let y be (-6)/(-16)*-7*(-20)/35. Which is greater: -119 or y?
y
Let b = 781 - 774. Is b greater than or equal to 17?
False
Let c = 248 - 250. Are c and 1.35 nonequal?
True
Let l(r) = r - 13. Let q(s) = -2*s + 38. Let a(k) = 17*l(k) + 6*q(k). Let h be a(-1). Is h equal to 4?
False
Let j = 16 + -12. Suppose 7*q - 3*q = j. Suppose 0 = -m - 0 - q. Are m and 1/10 unequal?
True
Let q = 13/10 - 9/5. Which is greater: q or -4/5?
q
Suppose -5*j - 9*p + 14*p = -430, -5*j + 470 = 5*p. Which is smaller: j or 92?
j
Let o(l) = l**3 + 2*l**2 - 28*l - 79. Let d be o(-5). Is d at least -14?
True
Let l(k) = k**3 - 8*k**2 + 6*k + 6. Let r be l(7). Let h(v) = -v**3 + 20*v**2 - 24*v - 22. Let t be h(19). Let z = t + 587/5. Which is smaller: z or r?
r
Let d = -4446/17 - -190498/731. Which is bigger: d or -1?
d
Let o = -215.6 + 216. Which is smaller: -14 or o?
-14
Suppose 16 - 40 = -4*w. Suppose w*x + x - 217 = 0. Which is bigger: 2/5 or x?
x
Let x be 11/22*-2 + 2. Which is smaller: 1/369 or x?
1/369
Let a be (-178)/(-4) - 5/2. Let d = a + -61. Which is smaller: -17 or d?
d
Let v = -127/4 + 547/20. Is 2 <= v?
False
Let l be 1*-1*(-2 + 2). Let x be (-6)/(-3) - -59*(-23)/868. Let i = 1/124 - x. Is l < i?
False
Let n = -1787/85085 - -3/715. Does n = -1?
False
Let v(y) = y + 2. Let q be v(7). Suppose -5*c + q + 6 = 0. Which is smaller: c or 1?
1
Let l = -36.2 - -40.26. Let g = -0.06 + l. Let k = g - 3. Which is greater: k or -0.02?
k
Let j = -14.3 - -0.3. Let g be ((-14)/(-21))/((-2)/(-21))*2. Let a be (-10)/g*(42/35)/(-3). Is a greater than j?
True
Suppose 0 = c + 2*c - 3*u - 93, 0 = 2*c + 5*u - 34. Let f = c + -26. Which is smaller: f or -5/12?
-5/12
Let d be (-1)/((-4)/72 - 0). Let p = d - 17. Let w be (-13)/30 + (-3)/(-9). Is w at most p?
True
Let w be (11716/10)/(1/(-5)). Let k be w/(-10) - (-4)/20. Let j = -24028/41 + k. Is j not equal to -1?
True
Let f(a) = a + 9. Let y be f(-9). Suppose -4*s + 0*s + 4 = y. Which is bigger: s or 7/4?
7/4
Suppose p - 2*p = -5. Suppose 0 = -p*r + 6 + 14. Let c be r/10 - 33/(-55). Which is greater: c or -1?
c
Suppose -2*r + 3*k + 360 = 0, -217*k + 540 = 3*r - 222*k. Which is smaller: r or 177?
177
Let m be (417*(-3 + 40/12))/1. Suppose 5*z - p = -3*p + m, 5*p = 3*z - 102. Are z and 29 nonequal?
False
Let k = 0.056 + -20.056. Is k at least as big as 13?
False
Let y = 7240520248726665/1388801306534 - 38/1159266533. Let w = -10427/2 + y. Let g = w - 2414/5391. Is -1 less than or equal to g?
True
Let s = 52 + -43. Let b(r) = -r**2 + 9*r + 10. Let f be b(s). Which is bigger: f or 11?
11
Suppose 0 = 5*b 