et u be ((-35)/(-21))/((-7)/x). Which is greater: -7 or u?
u
Let m = -5945 - -118901/20. Let g = -1 + 5. Suppose -2*y + 2 = 4*j, 5*y + j = g + 1. Which is greater: y or m?
y
Let v = 9108 - 9108. Let h = 10.8 - 179.8. Is h less than or equal to v?
True
Let a = 23021/3245 - 269/55. Is a less than or equal to 3?
True
Let k = 1.47 - 0.444. Let t = k - 0.026. Is 5/21 < t?
True
Let w = 39 - 36. Let f be (20/w)/(14/(-63)). Suppose -25 = -5*l, -g - 4*g = l + 155. Is f at most as big as g?
False
Suppose -7*d + 148 = -3*d. Suppose 5*h = -2*z + d, -2*z = -5*h - 0*h + 33. Let r = h + -26. Do -20 and r have different values?
True
Suppose -x + 16 = 4*t, 574*t - 577*t + 5 = -x. Which is smaller: 60/29 or t?
60/29
Let a = -15 + 14.7. Let b = a - 2.7. Let f = 2.9 + b. Which is smaller: f or 3/7?
f
Let t = -515.7724 - -0.7724. Is -2 < t?
False
Let l(h) = -h**3 + 8*h**2 + 45*h - 11. Suppose -154*z + 147*z = 35. Let b be l(z). Which is smaller: 87 or b?
87
Let j = -27 - -28. Let x be 5 + 6 + 22568/(-2044). Is x greater than or equal to j?
False
Let n = 16.014 + -15.614. Which is smaller: n or 2/5009?
2/5009
Let p = -5448 - -5081. Which is smaller: p or -365?
p
Let b = 15468 + -17830. Which is bigger: 1 or b?
1
Suppose 0 = -15*h - 4*h + 19. Let j = -19 + 16.8. Let m = -2.1 - j. Which is smaller: h or m?
m
Suppose -5*h - 817 = 863. Let r = 480 + h. Does 144 = r?
True
Let h be 492/41*(-11)/(-3). Suppose 2*s - h = b, 121*s - 120*s - 19 = 2*b. Is s bigger than 30?
False
Let o = -61 + 112. Let p be (123/8)/(4 - (-215)/(-50)). Let g = p + o. Which is smaller: -12 or g?
-12
Let p be 1426*(-7)/(-28) - 2/4. Suppose 16*i = -p - 652. Is -63 equal to i?
True
Let c = 6.5 + 0.5. Let k be (-138)/(-115)*(-10)/(-66). Which is smaller: c or k?
k
Let n be ((-10)/(-6))/1 + 0. Let w = -17/9 + n. Let t = 12 + -11. Which is greater: w or t?
t
Let w be (-1 - 89)*(-8 - 616/(-35)). Which is bigger: -867 or w?
w
Let t(q) = -94*q + 2. Let b(x) = -x - 1. Let r be b(1). Let m be t(r). Let w be -2*(-5)/(m/(-3)). Is w at most 1?
True
Suppose 2*a - 5*y + 12 = 0, -5*a + 2*a = -3*y. Suppose 3*w + a*j - 15 = 0, 5*j - 14 = 3*w - 2. Let g be (-4)/(-5)*(-55)/(-209). Is g at most w?
True
Let t = 27247 + -27123. Let d be 14/18 + 2/9. Is d smaller than t?
True
Let i = -3679688/24225 + 2886/19. Let o = 108018452 - 2203576417007/20400. Let k = i - o. Which is smaller: k or -1?
-1
Let q(t) = 372*t + 5360. Let b be q(-16). Which is smaller: b or -2?
b
Suppose 50*v + 47531 = -13219. Is v equal to -1215?
True
Let j be (-1140)/(-75) - 1/(-10)*-2. Suppose 4*i - j = 9. Suppose 7*d = i*d - 28. Is -29 at most as big as d?
True
Suppose 75*c + 28*c = 147702. Does c = 4306/3?
False
Let d = 124 + -27. Let p = -1 - d. Let y = 141 + p. Is 43 at most y?
True
Let m be 2/26 - 13608/468. Let u be m/(-1)*(-2 + 1). Let b(n) = -30*n**2. Let y be b(1). Which is bigger: y or u?
u
Let c(j) = j**3 - 4*j**2 - j. Let d be c(2). Let p be (-4)/d + 242/(-5). Let x = p + 74. Which is greater: x or 28?
28
Let r be ((-450)/(-12))/(21/224). Let m = -401 + r. Is 3/47 equal to m?
False
Let n = -294 - -298.3. Let t = 4.05 - -0.05. Let c = t - n. Is c smaller than -0.11?
True
Suppose 689 - 1018 = -243*h + 886. Let y = 910582/98217 - 584/63. Let j = 26509/4677 - y. Which is bigger: h or j?
j
Let l = 38 + -48. Let p(x) = 10*x + 62. Let d be p(l). Let i = 0.4 + 0.6. Which is bigger: d or i?
i
Let k be 4 + (-35)/5 - 2. Let t = 16 - k. Let q be 10*16/60*t/4. Which is smaller: 27/2 or q?
27/2
Let q(h) = -h**2 + 6*h - 3. Let z be q(4). Suppose -o + r = -4, -4*o - 4*r - 18 = -82. Suppose z*k = o*k. Which is bigger: 1/56 or k?
1/56
Suppose -1233425 = -403*l - 112*l. Are l and 2393 nonequal?
True
Suppose 4 = 5*j - 21. Let z(g) = -g**3 - 3*g**2 + 15*g + 47. Let v be z(-3). Let y be (j/10)/((-1)/v). Does y = -2/9?
False
Let w = 548 - 593. Let q = 0.6 + 38.4. Let u = q + w. Is 0.3 > u?
True
Let s = -442.9379 + 443. Let n = s + 0.0379. Let d be (2 - 68/27)*-3. Which is greater: n or d?
d
Suppose 3*q - 16 + 7 = 0. Suppose -4*x + 3 = q. Suppose 0 = 4*s - x + 4. Which is smaller: 4 or s?
s
Let r(o) = 2*o + 43. Let h be r(-23). Let d(u) = -3*u**2 - 5*u + 7. Let x be d(h). Is x != -4?
True
Let c = 367.8 + -366. Suppose 2*z - 5*r - 6 = -3*r, z - 4*r - 15 = 0. Which is smaller: z or c?
z
Suppose -5*s = -10, -10 = 4*h - 4*s + 6. Let f be -1*h*(-4)/(-584). Suppose -14*o = o + 15. Is o at most as big as f?
True
Let x = -49 - -49. Let f = x + 33. Let b = -33.15 + f. Is b at least as big as 2?
False
Let l = -909 - -990.1. Let j = l - 81. Which is bigger: -157 or j?
j
Suppose 52 = -m + 39*k - 44*k, -3*m - 106 = 5*k. Which is smaller: -28 or m?
-28
Let h = -2012 + 2132.4. Which is smaller: h or 2?
2
Let o be 15/10*(-6 + (-100)/15). Let j(k) = 31*k**2 + 2*k - 6. Let v be j(5). Let m be o/(v/6)*2/(-6). Are m and 1 equal?
False
Let n = 0.61 - -4.69. Let u = -361 - -366. Let k = n - u. Which is bigger: 0.04 or k?
k
Let a be 225/21 - 2/(-7). Let k be -8 + 133/14 - ((-161)/26 - 2). Which is smaller: k or a?
k
Suppose b - 24*g + 25*g = -42, 4*b + 5*g = -163. Let o = -85 - -35. Which is smaller: o or b?
o
Suppose -2*y - 36 = z, -3*y + 2*z = -8*y - 92. Let v be (-1)/6*(-175)/y. Let n = 5/8 + v. Is n < -2?
False
Let z be (-2)/(-12) + 4/(-40). Let s(x) = -5*x - 209. Let u be s(-42). Are z and u non-equal?
True
Suppose -r + 3*h + 22 = 0, 0 = 16*r - 9*r + h - 132. Let z(i) = i**3 + 9*i**2 + 3*i + 9. Let c be z(-8). Suppose -2*q = -c + 7. Which is bigger: q or r?
q
Let c = -2/429 - 844/3003. Which is bigger: c or -364?
c
Let a = 0.0252 - -238.9748. Let s = -219 + a. Is s > 3?
True
Let k be -1*(-5)/220*1. Let a be 15/45 + 65/3. Let j = a + -43/2. Is j < k?
False
Let g = 388 - 384. Suppose -4*b - g*v = 10 + 194, 3*b + 152 = -4*v. Which is smaller: -256/5 or b?
b
Let g = 3782 + -3648.7. Which is smaller: -0.05 or g?
-0.05
Let m = -1821/2 + 911. Which is bigger: m or 690?
690
Suppose -67 - 59 = 3*d. Let v = d - -45. Suppose 0 = -v*k - 5*k. Is k >= -1/11?
True
Suppose -5*f - 77 = -r - 79, -11 = f - 4*r. Are f and -1926 nonequal?
True
Let k(l) = -3*l**2 - l - 7. Let r be k(-6). Let v = -96 - r. Which is smaller: v or 12?
12
Let v = -298066/2365601 - 1/19879. Which is greater: 0 or v?
0
Let m(z) = 254*z**2. Let v be m(-1). Let o(a) = -5 + 3 - v*a - 1 + 246*a. Let g be o(0). Which is bigger: -21/5 or g?
g
Let x be 27*-7 - (-12 - (18 + -25)). Which is smaller: -186 or x?
-186
Suppose 0 = -81*r + 8*r - 21535. Is -1765/6 at least as big as r?
True
Let b = 1486.559 - -0.441. Does 1/3 = b?
False
Let q(v) = v**3 - 16*v**2 + 45*v - 113. Let o be q(12). Are o and -40 unequal?
True
Suppose -z + 5*z - 2*f + 422 = 0, -z + 4*f - 109 = 0. Let v = -106 - z. Let c be 4 + -6 + (2 - 3). Is c bigger than v?
False
Let s be (6/(-7))/(6/(-14)). Suppose -s*h = -5*d - h - 7, 3*d + 1 = -h. Is -5/7 at least as big as d?
True
Suppose 3*c + 39*m - 345 = 36*m, -11*m + 55 = 0. Which is bigger: c or 137?
137
Suppose -5*w = 4*w. Suppose -4*i + 1 = -3*p, -2*i + w*i = 3*p + 13. Let h be (4/26)/(i/(-14)). Which is smaller: 0 or h?
0
Let w be ((-15048)/(-3))/(18 + -25). Is w at least as big as -718?
True
Suppose -q + 1225 = 6*q. Let d = q + -176. Which is bigger: -2/77 or d?
-2/77
Let c = -20 - -35. Let w = c + -8. Let d = -6651/4 + 1671. Which is bigger: w or d?
d
Let p = 3813 - 3809.842. Let r = p - 0.158. Let h = 1845/7 - 263. Is r at most as big as h?
False
Let q = 2 + -1.9. Let h = -601 - -230. Let z = h - -367. Is z > q?
False
Let d = 5/208 + -395/5616. Let s be (760/480 + (-10)/8)/(3/(-9)). Which is bigger: s or d?
d
Let j = -10 + 13. Suppose 6 = 3*i - 3*y, -i - 2*y = 4*i - j. Let q = 37 - 556/15. Is q at least i?
False
Suppose 0 = 3*r + 12, -116*l + 120*l = 4*r - 16. Let n = 0 - -3. Suppose -n = t + 5. Do l and t have the same value?
True
Let t be (-2)/(-4) + 1067/8. Let i = -20109/152 + t. Are i and 1 non-equal?
True
Suppose -4*j = -5*b + 16, 0 = 4*b - 2*b - 5*j - 20. Suppose f + 3*m - 8 + b = 0, 3*f + 5*m - 4 = 0. Suppose -3*n = -o + 22, 0*n - 7 = -2*n + 5*o. Is n > f?
False
Let n = 2.51 - -231.49. Let d = 553 - n. Is -0.2 less than d?
True
Suppose 0 = 70*g - 17531 - 26639. Is g at least as big as 633?
False
Let n = -126.77 - 2.23. Let c = -127 - n. Do 1 and c have different values?
True
Let o be (-12)/(-2) - (-10