y. Let x be 1 + (-2)/y + (-4)/(-12). Which is smaller: z or x?
z
Let d = 141 + -140. Let f(r) = r**3 + 3*r**2 + 3*r. Let u be f(-2). Let n be (u + 0)*1/(-7). Which is smaller: n or d?
n
Let k = 35 + 14. Let f be 1*(1 - -49 - 1). Are f and k non-equal?
False
Let n = -236 + 130. Let t = n - -106.4. Is t < -0.05?
False
Suppose -10 = 4*y - j - 0*j, -2*y + j - 6 = 0. Let s = y + 1. Let t be 5/(-7) + (0 - s). Is 0.2 > t?
False
Let l be (-27)/68 + 3/4. Suppose -15*t = -11*t. Which is greater: l or t?
l
Let b(h) = -h - 9. Let t be b(-8). Let j be t + (-14)/6 + 2. Let g = j + 7/6. Which is bigger: g or 2?
2
Suppose 5*h - 30 = 4*h. Let d = h - 29. Is d < -2?
False
Suppose 0 = 13*r - 11 - 119. Let z be 65/r*4*(-3)/42. Is -1 less than z?
False
Let u(w) = -4*w - 6. Let l be u(-3). Suppose -75 = -l*m + m. Let c = m + -14. Is 3 at most c?
False
Let t be 8/2 + 13/((-26)/8). Let x = 3/46 - 193/2254. Which is bigger: t or x?
t
Let x = 5 - 4. Let r be (2/3)/((-80)/(-12))*4. Is r < x?
True
Let v = -8.4 + 8.4. Let h = -36 + 53. Are h and v nonequal?
True
Suppose 5*y + 136 = 5*o + 6, -4*o + y = -98. Let t be 1*2 - (2 - o). Which is smaller: 26 or t?
t
Suppose -24 = -5*l + 3*h, 3 = 3*l - 7*l - 5*h. Suppose 4*k - n + 3 = 35, 0 = 5*k - l*n - 33. Which is smaller: 28/3 or k?
k
Let d(l) = 4*l**2 + l. Let o be d(1). Suppose -4*q - 3 = w, 2*q = -2*q + o*w - 33. Let b = 14 + -44/3. Which is greater: q or b?
b
Let d(m) = m**3 - 8*m**2 + 7*m - 3. Let c be d(7). Let v be (-2)/7120*-15122 + c. Let k = 1/445 + v. Which is bigger: k or 2?
2
Let d be ((-14)/(-13) + -1)/((-9)/18). Is d at least 0?
False
Suppose 2*g + 20 = -6*m + 4*m, 5*m + 36 = 2*g. Let t be (2/(-4)*m)/2. Suppose 0 = t*w + w - 6. Which is greater: w or -1?
w
Let y be 188037/189 + 8/84. Which is smaller: 993 or y?
993
Suppose 3*h - 3 - 6 = 0. Suppose 3*u - 39 = -5*y, -4*y - y + 36 = 2*u. Let z be 4/y + 1/3. Is z < h?
True
Suppose -3*h - 4*g = -26, -2*h = -7*h + 2*g. Suppose h*s - 23 = -9. Let f be (-4)/(s/((-42)/(-4))). Which is smaller: f or -5?
f
Let i be (15/(-10))/(3/28). Let a(s) = -s**2 + 3*s. Let l be a(6). Let c be i/l + -2 + 1. Do c and -0.1 have the same value?
False
Let z be 4/(-12)*-9 + -3. Is z greater than -6?
True
Let d be 64/(-28) - (-2)/7. Let o(c) = -22*c - 6. Let k be o(3). Let b = 70 + k. Is d != b?
False
Let p = 0.31 + -27.31. Let c = p + 37. Let t = c + -9.9. Is 11 greater than or equal to t?
True
Let k(d) = d**2 - 2*d + 2. Let a be k(0). Suppose -q = 12 + a. Which is greater: -13 or q?
-13
Let n = 10 - 17. Let k be 4/46 - (-240)/(-115). Let z be 3/k*(-11)/66. Is z bigger than n?
True
Let f(t) = -t**3 - 5*t**2 + 7*t + 9. Let z be f(-6). Suppose -r - 5 = z. Suppose 2*k - 4*l + 35 = -7*l, k - 5*l = 15. Is r <= k?
False
Let u be 3*(3 + 42/(-9)). Let n = -18 - u. Let h be (2/4)/(n/26). Which is bigger: h or 2/61?
2/61
Let x be 2/(-5) + (-68)/30. Let i(p) = -21*p - 1830. Let q be i(-87). Does x = q?
False
Let f(r) = -r**2 + r + 12. Let c be f(4). Which is bigger: -5 or c?
c
Let r = -0.1 - 4.9. Let c = r - -3. Let x = -3 - c. Which is greater: x or -3?
x
Suppose -8*p + 20 = -20. Is 6 at least p?
True
Let w = -2.1 - -2. Let m = -57650/71 + 812. Is w > m?
False
Let p(m) be the first derivative of -m**2/2 - 4*m + 2. Let c be p(-5). Let w = -1/56 + -157/616. Which is bigger: c or w?
c
Suppose -3*q + 15 = -6. Let o = 2 + q. Let v(i) = 5*i - 112. Let t be v(24). Which is smaller: t or o?
t
Let v = -25.39 + -0.61. Let c = v + 37. Let r = c - 11.1. Does r = -0.04?
False
Suppose -3*c - 2*c - 4*p = -24, 0 = 2*c + 4*p - 12. Suppose -6*x - c = -10*x. Which is smaller: 3 or x?
x
Let y(g) = -g**2 + 11*g + 11. Let h be y(12). Let n(u) = -u**2 - 2*u - 1. Let c be n(h). Which is bigger: c or -1?
c
Let p = -5.14 - -4.14. Which is smaller: p or -28?
-28
Let n(i) = i - 1. Let o be n(4). Let u = o + 1. Suppose -x = -u*x - 12. Is x smaller than -5?
False
Let t be -4*2*3/(-24). Let d = -8121 + 2322585/286. Let n = d - -9/26. Is n > t?
False
Let j be (-38)/(4*(0 - 6/(-12))). Which is smaller: j or -0.1?
j
Let k be 4 + 1/((-411)/1641). Which is bigger: -1 or k?
k
Let b = -1 - -9. Let u be (-12)/(-56)*b/6. Let m = 5.9 + -6.5. Are u and m non-equal?
True
Let s be 5/((-25)/240) - -2. Which is smaller: -49 or s?
-49
Suppose 11*f - 9*f - 4 = 0. Suppose 0 = -f*p + 2*b - 4, -2*p = -p + b - 8. Suppose 4*u = p*a + u + 15, 2*a + 5*u = -24. Is a at least as big as -5?
False
Suppose 2*y + 4*d = -y + 12, 0 = -2*y + 3*d + 8. Let z be -1 + 5*y/10. Let t be z/(2 - 44/8). Which is smaller: -1 or t?
-1
Let j = 1.9 - 20.9. Let r = 19.3 + j. Let m(g) = g + 2. Let n be m(-3). Which is bigger: n or r?
r
Suppose 4 = 3*y - 32. Let s be (-47)/52 - (-9)/y. Let z be -3 + (-5 - -10) + -1. Is s at most as big as z?
True
Let t be (2 + -2)*(-2 - -1). Let p be 12/(-30) - 54/(-10). Suppose t = p*o + r - 1, 5*o = -3*r - 4 - 3. Is o != 3?
True
Let v(p) = p**2 + 5*p. Let w be v(-5). Let t be ((-36990)/1230 + 30)/(0 - 1). Which is bigger: t or w?
t
Let n(u) = 17*u + 81. Let q be n(-6). Which is greater: q or -16?
-16
Let q = 43 - 41. Let a be (-2 + (q - 6))*4/6. Is a bigger than 0?
False
Let z = -1 + -2. Let t(d) = 6*d**2 + 2*d. Let q be t(z). Let a be 4/q - (-1)/4. Which is smaller: 0.2 or a?
0.2
Suppose 47*z - 44*z = 5*f + 8, 4*f + 2*z + 24 = 0. Is -57/14 != f?
True
Let m = 999 - 998.8. Is m bigger than 2.4?
False
Let r = 92 + -87. Suppose -3*a - 108 = r*o, 0*o - 2*a + 82 = -4*o. Which is greater: o or -22?
o
Let a = -77 + 77.3. Let s = -7.3 + a. Which is greater: s or -0.1?
-0.1
Let m = 248 + -248. Is m > -2/111?
True
Let u = 22 + -16. Suppose -l + 5 = 2*y, 2*y + u*l - 9 = l. Let r(a) = 9*a. Let g be r(0). Which is smaller: y or g?
g
Let b be 2/(-4) + (-26)/4. Let v = b - -3. Let d(o) = -o**2 - 5*o + 1. Let a be d(v). Is 5 > a?
False
Let t(g) = -g**2 + g + 109. Let h be t(11). Do h and 2/753 have the same value?
False
Suppose -3*b + 93 = -4*b. Let j = -92 - b. Let m = 400/1659 + -4/79. Which is smaller: j or m?
m
Suppose o - 3*g = 2*o - 273, g + 257 = o. Suppose 20*v + o = 17*v. Let l = 437/5 + v. Is 0 < l?
True
Suppose -2*b = -4, -5*b + 2 + 2 = 3*q. Let g be q + 1 - 4880/(-22). Let o = g + -221. Which is greater: o or 1?
1
Let c be (186/12 + -7)/((-3)/(-18)). Which is bigger: 101/2 or c?
c
Let a(o) = -o**2 - 4*o. Let q be a(-3). Suppose 4*l = m - 65, m + q*l - 114 = -21. Is 80 equal to m?
False
Suppose -97 = 6*r - 289. Let d = 8 - r. Is d greater than -24?
False
Let c = -276/7 - -1469/14. Which is bigger: c or 66?
66
Let s be 3 - (-2 + (3 - 0)). Suppose 4*a - p = -45, -3*a - s*p - 10 = -a. Let q be 20/6*(-18)/a. Is q at most 6?
True
Suppose 3*c = 2*c + 4*l + 11, -2*l = 5*c - 55. Suppose 2*s + c = s. Let w = s - -19. Is 8 at least as big as w?
True
Let r = -66.1 - -13.1. Let v = r - -53.18. Let k = 0.1 + -0.1. Which is smaller: k or v?
k
Let g(j) = 2*j**2 - 16*j + 2. Let d be g(8). Suppose -6*c + d*c + 66 = -5*p, 0 = -2*c - 5*p + 48. Which is bigger: 21 or c?
21
Suppose -2*l - 2*m + 59 - 339 = 0, 5*l - 3*m = -732. Which is smaller: -722/5 or l?
-722/5
Let l = -0.0447 - -52.0447. Which is bigger: l or -3?
l
Suppose 5*q - 96 = -q. Suppose q = 10*w - 6*w. Which is greater: -6 or w?
w
Let h be 1/4 + 6/8. Let l(x) = 8*x + 344. Let t be l(-43). Suppose t = -o + d - 2, 2*o - d - h = -0. Is 2/7 greater than or equal to o?
False
Let d be 156/252 - 4/14. Suppose -4*y + 4*n - 3*n = 8, -5*n = 3*y - 17. Let c be (8 - 3)/5*y. Which is smaller: d or c?
c
Let y be -1 + (56/30)/4. Suppose -184*t = -10*t. Is y equal to t?
False
Let j be (-2)/(-18)*-3*-9. Suppose -11 = j*n - 5. Are n and -2 equal?
True
Let m be 3/(-4)*((-152)/(-24) - 7). Which is bigger: m or -47?
m
Let q = -5 + 5. Let i be (-6)/(-12)*(q - -2). Suppose -3*l = -4*w + 8, w - i = 5*l + 1. Is 0 bigger than l?
False
Let p be (2 + 1 - 1) + 3. Suppose -p*m + 7*m - 2 = 0. Let x = 1/15 - -13/30. Are x and m nonequal?
True
Let a = 441/5 + -8389/95. Let j = -16 - -15.9. Which is smaller: a or j?
a
Let z = 2 + -1. Let c be ((-28)/20)/(8/13). Let l = c - -15/8. Is l greater than z?
False
Let a = 1248513/5 + -248103. Let z = -1605 + a. Is z not equal to -6?
True
Suppose 2*s = -5*h + 25, 5*h - 2*h - 15 = -4*s. Let r be ((-3)/9)/((-2)/177). Let w = 30 - r. Are s and w equal?
False
Let b = -4 + 6. Let p = b + -1.8. Let t