*c = 4*o - 3, -c - o + 6 = 0. Suppose -43 = -5*w - 2*d, 4*w + c*d = 6*w - 2. Which is smaller: w or -1?
-1
Let d be (-69)/(-5) + 1/5. Let l = d + -10. Let v be (-4)/10 + (-2)/(-5). Are l and v equal?
False
Let x = 137 - 134.05. Let r = -30.95 + x. Which is bigger: r or -0.5?
-0.5
Let n be (-61)/(-24) + 6/(-36). Let o = n - 21/8. Which is smaller: 34 or o?
o
Let f(q) = 128*q**3 + 2*q**2 + 15*q - 32. Let k be f(3). Is k at most 3483?
False
Let p = -15 - -15.23. Suppose -10*u + 43 = 13. Suppose -2*v = u*l, 5*v = 21 - 6. Which is bigger: p or l?
p
Suppose 22*u = 5*f + 17*u - 17670, 10 = 2*u. Let p = f + -24730/7. Which is smaller: p or 7?
p
Let w = 27.06 - 27. Let b = -1.54 - w. Let m = b - -1.5. Which is smaller: -0.08 or m?
m
Suppose -36*b = -25*b - 32*b - 5985. Are b and -282 equal?
False
Let z = 8753 - 8753. Let i = 305764/105 + -2912. Which is greater: z or i?
i
Suppose 3*n - n - 6 = 0. Suppose -n*a + a = -30. Let p(q) = 2*q**2 - 34*q + 37. Let b be p(a). Do -21 and b have different values?
True
Let c = 269 + -124. Suppose 0 = 143*i - c*i + 248. Which is bigger: i or 127?
127
Suppose -2*t - j = -53, -51*j + 35 = -56*j. Is 383/13 less than t?
True
Let m = -7227586512/8892323 + -1/468017. Let u = m + 813. Suppose 5*g - 1 = -j, -j + 0*j + 1 = -2*g. Which is smaller: g or u?
g
Let d(z) = -z**3 + 13*z**2 - 10*z - 13. Let t be d(12). Let c = 8 - t. Let m(x) = x**2 + 6*x + 5. Let p be m(c). Which is smaller: p or -5?
-5
Let i = 0.3637 + 0.4263. Is i less than or equal to 38?
True
Let y = -2960 - -2970. Which is smaller: y or 119?
y
Suppose -4*k = 3*s + 55, -5*s + 6*k - k = 45. Let l(v) = 2*v**2 + 50*v - 47. Let x be l(-26). Which is greater: x or s?
x
Let a(j) = 15*j - 2*j**2 + j**3 + 6*j - 16 + 8*j + 3*j**2 - 19*j**2. Let x be a(13). Is -484 greater than x?
False
Let g be -2*(-18)/(-24) - 45/(-6). Let w be -3*10/60*4/g. Is w greater than -6?
True
Let r = 427792/15 + -28505. Let h = r - 47/3. Are h and -4 non-equal?
True
Let q = 2508 + -2507. Is q at least as big as -557?
True
Let h be 1015/(-1450)*(-6)/(-125). Is h != -1?
True
Let i = -33.531 + 33.66. Which is smaller: -9.8 or i?
-9.8
Let t be (-197911)/(-588) - 4/(-6). Which is smaller: t or 336?
336
Let s = -54384 - -45526. Which is smaller: -8857 or s?
s
Let y = 10 - 10.18. Let x = 164/1817 + -14/79. Does x = y?
False
Suppose 2*o + 18 = -4*l, -o + 3*l + 7 = l. Let m(t) = -19*t + 4. Let b be m(o). Let w = -26 + b. Is -7/3 less than or equal to w?
False
Let l be ((34808/(-96))/(-19))/1. Let u = -2477/60 + l. Is -23 <= u?
True
Let v = -14.7 - -14.7. Let f = -8.8 - 25.2. Which is greater: f or v?
v
Let q = 67.6 + -39.8. Let w = q - 28.5. Are 1/2 and w equal?
False
Let m = 1165/7 + -166. Let t = 188 + -59. Let k = t + -128.8. Do k and m have the same value?
False
Suppose -10549 - 25907 = 24*w. Are w and -1518 equal?
False
Suppose 4*x - 3*f - 6 = 0, -2*x + 4 = 4*f + 12. Are x and 15/98 equal?
False
Let s = 25847/12 + -2143. Is 12 bigger than s?
True
Let n = 316 - 328. Let l be (459/n)/(132/(-64)). Is l greater than or equal to 19?
False
Suppose 4*o - 3*h - 156 = 256, -3*o + 4*h = -316. Which is smaller: o or 9?
9
Suppose -2*u = 2*z - 8, 6*z - z = 5*u + 40. Suppose 57 = -2*o - 2*o - 3*r, -3*r = 9. Let f be (o/(-8) + 0)/z + 0. Is f bigger than -1/4?
True
Let a(r) = -3 + 2*r**3 + 3*r**2 - r + 5*r**2 - 2*r**2 - 6*r. Let y be a(-5). Suppose -82*c - 79*c - 6684 = 4425. Which is smaller: y or c?
c
Suppose -11*z + 76 = -67. Suppose -3*v = -z*y + 12*y - 21, 5*v = -2*y - 9. Are -11 and y unequal?
True
Let s = 35 + 1. Suppose 36*i - 5*i = 2*i + 1131. Which is bigger: i or s?
i
Let n(z) = 11*z + 557. Let y be n(-51). Suppose -2*v + 2 = 0, 3*o - 241 = 6*o - v. Let p be y/(-6)*(-30)/o. Do p and -0.18 have the same value?
False
Let r(j) = 22*j - 62. Let y be r(5). Let x be y/(((-42)/(-15))/(6/15)). Is 6 at most as big as x?
True
Let x(n) = -n + 6. Let w be x(4). Suppose 0*q - 23 = -q + 2*r, -3*q + 61 = -w*r. Let g(z) = z - 18. Let o be g(q). Which is smaller: 5/26 or o?
5/26
Let k be 1/(-54 + (-594)/(-108)). Suppose 4*w + 3 = -1. Let s be 1 + (w - (2 - 1)). Does s = k?
False
Let b(w) = -8 - 7 - 7*w + 5 - w**2. Let g be b(-6). Suppose 2*r = 21*d - 22*d - 8, -4*r - 8 = 0. Is g equal to d?
True
Let p = -1.06 - -25.06. Let q = p - 24.09. Let d = q - -0.18. Which is smaller: d or -0.1?
-0.1
Suppose -3*t - 5 = 55. Let g be 3 + (-96)/30 + (-1244)/t. Is g >= 63?
False
Let n(r) = -41*r**2 + 3*r. Let s be n(3). Suppose -2*c = -o, -3*o = -3*c + 2*c - 25. Let v be (-81)/s - 6/o. Is -1 bigger than v?
False
Let p = 127 - 488. Which is smaller: p or -359?
p
Let w be (1 - (-31)/(-1))*1. Let m be w/(-25)*(-1320)/(-9). Suppose -16 = -5*o - m. Is -32 != o?
False
Let m(u) = 19*u + 1221. Let q be m(-42). Which is bigger: 422 or q?
q
Let v = 20804351/96 - 216712. Let w = -0.3 - -0.1. Is v >= w?
True
Let i(d) = 2*d + 14. Let p be i(-7). Suppose p = -3*l + 27. Suppose -q - l = -3. Which is smaller: q or -2?
q
Suppose 0*g + a = 4*g - 17, 0 = -2*g - 2*a + 6. Suppose -2*f = -9*u + 10*u - 17, -f + u + g = 0. Let h = 4/41 + 685/123. Is h bigger than f?
False
Suppose 0*n = 2*o + n - 3, 5*o - 40 = 4*n. Suppose -5*u + 5 = o*x, -8*u = -10*u + 4*x + 2. Which is smaller: -50.2 or u?
-50.2
Let n(g) = -21*g + 22. Let k(i) = -i**2 - i - 1. Let m be k(-2). Let z be n(m). Let w be (-38)/(-34) + (-10)/z. Is 12/19 smaller than w?
True
Suppose -22*q = -19*q - 2*c + 28, 4*q + 54 = 6*c. Which is smaller: -252/43 or q?
q
Let q(x) = 2*x**3 + 8*x**2 + 5*x + 5. Let l be q(-3). Suppose 11*v - l*v = 15, 4*v - 122 = j. Is -102 greater than or equal to j?
True
Let i = 1241/97 + -4165649/325629. Is 1 smaller than i?
False
Suppose r + 5 = -10. Let z be ((r*3)/5)/(-3). Suppose -z*j + 3 = 0, 4*j + 63 = 2*b - 23. Which is smaller: b or 1?
1
Let a = 39499.411 + -39552. Let z = -0.589 - a. Does z = -0.1?
False
Let f = 7643 + -10783. Is -2/7 less than f?
False
Suppose 7*y = 6*y + 84. Let w = 96 - y. Suppose -3 = 9*d - w*d. Which is smaller: -2/31 or d?
-2/31
Let u = 42698/5 - 8547. Suppose 5*i = 5, -4*b + 3 = -i + 28. Is u < b?
True
Let c(j) = 48*j - 962. Let d be c(-72). Which is greater: d or -4417?
-4417
Let y be ((-1440)/(-420))/((-16)/168). Let x = -45 + 11. Is y smaller than x?
True
Let k = -8 + 7. Suppose 2*d + 5*l - 44 = 0, -3*l + 9 = -3. Let a be 50/d + -4 + -1. Which is smaller: k or a?
k
Let d be -1*2*1067/(-22). Suppose 5*r + 35 = 4*h - 40, d = 5*h - 3*r. Which is smaller: 16 or h?
16
Let j be (-81)/258 + (-12)/16*20/6. Which is greater: -2 or j?
-2
Suppose 33*z - 38*z + 9475 = 5*s, -15*s - 1991 = -z. Is z less than or equal to 1893?
False
Let o = 27/10 - 353/90. Let w be 12/8*(-64)/84 + (-17)/(-119). Which is smaller: o or w?
o
Let o be (308814/176 - -21)/(3/(-4)). Is o smaller than -2368?
False
Let l be (2050/4)/((-39)/65 + 97/170). Is -17425 greater than l?
False
Suppose 3*t - 2*g = 19, g + 13 - 35 = -2*t. Let l(z) = z**3 - 12*z**2 + 20*z + 5. Let s be l(t). Which is smaller: s or -57?
s
Suppose -1898 = 18*k + 8*k. Is k at least as big as 0.35?
False
Let f(w) = 8891*w**2 + 69*w - 75. Let r be f(1). Which is smaller: r or 8883?
8883
Suppose 24 - 10 = 7*v. Suppose z + 4*j = -4, -z - 2*j - v = z. Which is greater: z or 2/931?
2/931
Let x be 4/(-6)*72/152. Let o(u) = u**3 - 8*u**2 + 7*u - 3. Let s be o(5). Let q = 43 + s. Which is smaller: x or q?
x
Let x be (-6)/(-9)*15*(-81)/(-27). Suppose 44*b = 34*b + x. Are b and 9/5 equal?
False
Let v = 298 - 141. Let o = v + -155. Is -55 greater than o?
False
Let f be 393/1302 + 4/(-14). Suppose -4*a = 2*j - 3274, 0 = -10*a + 14*a - j - 3271. Let d = -819 + a. Is f greater than or equal to d?
True
Let p = -28 + 34. Let v(w) = -12*w - 13. Suppose 41*t + 8 = 37*t. Let x be v(t). Which is smaller: x or p?
p
Let p be 3*3 + (-23793)/357 + 6. Is p > -52?
True
Let d = -0.0316999 + -83.9683001. Let c = -1 + 2. Is c equal to d?
False
Let m = -9 - 8. Let f = 15 + m. Let c = 5 - 41/7. Is c greater than f?
True
Let r = 24648 + -24654. Is -1/12 smaller than r?
False
Let p(l) = -l**3 - 3*l**2 + l - 10. Let b be p(-4). Suppose -3*r = -12, 13 = -5*y + 4*r + b. Is y greater than 2/205?
True
Let v be 1/(-4) + (-68321)/(-41860). Let t = -2/805 - v. Let x = -43/78 - t. Is 0.1 less than or equal to x?
True
Let p be (1760/1320)/(((-26)/8)/((