 75 - 70. Suppose 0 = -4*l + r + 49, 7 = 4*l + g*r - 36. Let z be (-1)/3 + (-34)/(-3). Which is bigger: l or z?
l
Let b = 6026 + -6612. Which is greater: b or 4?
4
Let k(a) = -140*a - 3142. Let n be k(2). Is n less than -3422?
False
Let d = -32 - -54. Suppose 4*g = i - d, 2*i - 2*g + 64 = 4*i. Suppose 5*q + i = m, 3*m - 15 = -0*m. Which is greater: -1 or q?
-1
Let r = -79 + 85. Let z be -2 - ((3 - r) + -7). Which is smaller: z or 7?
7
Let o = -199.1 - 65.9. Let w = o - -264.85. Suppose -c = -2*c - 1. Is w less than c?
False
Let d = 302 - 336. Let n = d + 33.8. Which is greater: -27 or n?
n
Suppose 855 - 39 = 51*f. Let z be 3 - f/(-24)*27/(-6). Is z <= -2/93?
False
Let a = -40689 - -40130. Is a not equal to -558?
True
Suppose 3*f - 23 = 4*g, f - 12 = 5*g + 14. Let q be 3 + -3 + 7*f. Let h be 1332/120 + -11 + (5 - 232/(-80)). Which is smaller: h or q?
q
Suppose -18613*o = -18635*o. Let c be 2 + ((-34)/16 - -1). Is o greater than c?
False
Let f = 8822 - 8746. Let b = 3 + -2. Is f not equal to b?
True
Suppose -3*y + 3074 = -4*s, -2*s + 2054 = 10*y - 8*y. Which is bigger: y or 1025?
y
Let t be (-21)/7 + -8*(-563)/1502. Let w = -1551/36799 - t. Let a = 1 + -1. Is a less than or equal to w?
False
Suppose 0 = -287*u + 467*u + 10440. Let k = 22 - 78. Which is greater: u or k?
k
Let f be 3*(1 + 0) + 13978/241. Which is greater: 15 or f?
f
Let h(s) = 11*s**2 + 6*s + 1. Let w be h(-1). Let c(o) = -o**3 - 3*o**2 + 55*o - 7. Let l be c(w). Let z be 2/56*(-20)/3. Is z at most l?
False
Let m = 27927 - 27932. Which is smaller: m or -3.887?
m
Let a = 0.2779 + -235.4779. Let s = 235 + a. Is s > -9?
True
Suppose 19*v = 12*v + 42. Suppose -136 = -q + v. Is 142 at least as big as q?
True
Let z(v) = -2*v**2 - 11*v - 5. Let q be z(-4). Suppose 8*u + q = -1. Is u at least as big as 1/161?
False
Let w be 15/(-10)*4/(-2). Suppose -37 = -w*s - 40. Let h(c) = 2*c**3 - c**2 + 2. Let b be h(s). Is b less than -1/35?
True
Let q = 255 + -216. Let g = 68 + -31. Let k = g - q. Which is bigger: k or -8?
k
Let j = 12572 - 12576. Is j at least as big as -27?
True
Let i = 30587/15 - 2039. Let n be 168/(-96)*(-2)/7. Which is smaller: n or i?
i
Suppose 185*f - 27*f = 27*f + 2096. Which is smaller: f or 71?
f
Let d be 10/24*(-8)/2. Suppose 0 = -5*u + 3*i - 6*i + 7, 4*u - 3 = -5*i. Suppose 0*h = v - h + u, -3*h + 6 = -2*v. Which is bigger: v or d?
v
Let j be (192 - 163)/(1330/(-444) - -3). Which is bigger: 6437 or j?
j
Suppose 5*n - 2*l - 16472 = 23898, 3*n - 24206 = -2*l. Is n greater than or equal to 8070?
True
Suppose 33 = -j + 54. Let z = 25 - j. Let k be -4*(-3 + z - 5). Is 44/3 at most k?
True
Let m(s) = -3*s**3 + 102*s**2 - 3*s + 102. Let o be m(34). Is 16/15 > o?
True
Let o = 338695 + -338774. Suppose -2*u = 5*p + 390, -4*u - 234 = 3*p - 3*u. Is o less than p?
True
Let y be -6*(-4)/(2420/(-33)). Is y less than 4?
True
Let z(h) = -h**2 - 20*h - 285. Let l be z(-13). Let i = -378 + 378.1. Which is smaller: l or i?
l
Suppose 5*r - 2*r = 87. Let q = 18947 + -18918. Is r <= q?
True
Let h(x) = x**2 - 17*x - 13. Let z be h(19). Suppose -119 - z = -12*r. Let m be (4 + (-40)/r)*-9. Which is smaller: -9 or m?
-9
Suppose -26371*b + 14750 = -26381*b. Is -1476 at most as big as b?
True
Suppose -5*i + 5 = -3*j, -2*i + 2 = -5*j - 0. Let y be 10/4275*(2/(-4))/1. Which is bigger: y or i?
i
Let s = -644 - -645.244. Let a = s - 0.044. Let m = a + -1.4. Which is smaller: 1/5 or m?
m
Let t = 5481 - 3416. Which is greater: t or 1/3?
t
Let b = -5.1988 - 983.6412. Let p = b - -989. Is 0.1 bigger than p?
False
Let d(x) = -58*x + 25*x - x**2 + 14*x - 80. Let v be d(-15). Which is bigger: v or -18?
-18
Let r = -39 - -69. Let z = r + -25. Let f(b) = 2*b**2 - 9*b + 10. Let x be f(z). Are 17 and x equal?
False
Suppose 429*n = 393*n + 51480. Are 1430 and n nonequal?
False
Suppose 46*w - 37*w - 162 = 0. Let f be (-949)/(-35) + w/63. Do 28 and f have the same value?
False
Let m = -11889 - -11889. Which is smaller: -3755 or m?
-3755
Suppose -34 = -2*q - 2*k, k + 2 = q - 11. Suppose 53*g - 5286 = -5021. Suppose g*w = -5*u - q, u = -2*u - 4*w - 12. Is -2/11 >= u?
False
Let u = 4529 - 5023. Is u bigger than -495?
True
Let a be (-8)/319*8822/(-1221) - (-4)/(-22). Which is smaller: a or -1/3?
-1/3
Suppose -3*g + 19 = -17. Let n = -7 - g. Suppose 0 = 2*p + 3*p + 95. Is n at most as big as p?
True
Let r be (-1048)/(-290) - 592/148. Which is greater: 0 or r?
0
Let f(w) = -w. Let n(r) = 11*r - 8. Let d(g) = 6*f(g) - n(g). Let x be d(-6). Suppose 5*b - 10*b = -x. Is 21 less than b?
True
Let i = -763.3 - -743.3. Which is smaller: i or -5?
i
Let r(y) = y + 16. Let h be r(-16). Let c = 0.4 - -17.6. Let i = c + -10. Is i >= h?
True
Let f(r) = r**2 + r - 1200. Let q be f(-36). Which is smaller: q or 24?
24
Let g(n) = -3*n**2 - 6*n + 5. Let u be g(-3). Let l(y) = 6*y**2 + 20*y. Let a be l(u). Which is bigger: 20 or a?
20
Let r(s) = -s + 1. Let b be r(-5). Let o(v) = 5*v + 24. Let c be o(-8). Let y be 4/c + (-17)/(-36). Are y and b non-equal?
True
Let r be ((-10)/(-8))/((-25)/(-120)). Let u(t) = t**3 + 2*t**2 + 11. Let h be u(0). Is h greater than r?
True
Let k = 0.2 - 2.2. Let r(o) = -4*o**3 - 2*o**2 - o + 4. Let t(v) = -v**2 + 25*v - 102. Let y be t(20). Let q be r(y). Which is smaller: k or q?
k
Let s be ((-82)/(-3))/(1196/207 - 6). Are s and -856/7 unequal?
True
Suppose 2*q + 11 = 3. Let v be 1287/972 + q/54. Is -0.08 bigger than v?
False
Let z = 2990/77 + -424/11. Which is bigger: -2358 or z?
z
Let t = -38 - -117. Let u = 1690 - 1610. Which is smaller: t or u?
t
Let z = 1364.4 - 1357.4. Is z bigger than 0.6?
True
Let a(h) = 325*h + 3573. Let j be a(-11). Which is smaller: -0.011 or j?
j
Suppose 4*r + z + 342 = -395, 5*r + 5*z = -910. Let l = r + 188. Which is greater: l or 35/9?
35/9
Let w = 38453 - 38464. Let i = 2 - 5. Let l = -2 - i. Is l <= w?
False
Let j = 74.07 - 8.17. Let m = j + -66. Let x = -0.1 - -1.3. Are m and x equal?
False
Suppose -204 = 3*x - 0*x + 3*a, -2*a = -4*x - 284. Let b be ((-5)/x)/(10/296). Let o = b - 1382/455. Is -2 < o?
True
Let x be 11 + 64/(-4) + (4 - -1). Suppose -u = w + 2*u + 10, x = -4*w - 5*u - 5. Which is smaller: w or -3?
-3
Suppose 0 = -33*s - 32*s + 11 + 54. Which is greater: s or -2/31565?
s
Let w be 13/(-26)*(5 - -1). Let y be w/(-6)*(-170)/(-1). Let u(r) = r + 85. Let k be u(0). Is y at most as big as k?
True
Suppose 904*s - 902*s + 222 = 0. Let n be (-3)/(s/(-157)) - -4. Is 1 smaller than n?
False
Suppose 0 = z - 6*z. Let x = -113/189 + 14/27. Let a = 31/1197 - x. Does a = z?
False
Suppose -7496 = 4*l + 4*b, 3689 = -5*l + 2*b - 5702. Let o = 11237/6 + l. Which is bigger: -3 or o?
-3
Let d be -3*(-1 - 34/(-36)). Let o = 1156/3 - 385. Let k = o + d. Is k < 1?
True
Suppose 8*j - 27540 = -22*j. Let t = j + -928. Which is smaller: t or -12?
-12
Suppose 46 = -2*s - 242. Let x = -72796 - -72654. Is x > s?
True
Let d = -16927.9 - -16927.9. Let c = 33 - 19. Let z = c - 26. Is d at most z?
False
Suppose -4*a = 3*z - 6187 + 611, 4*a + 9272 = 5*z. Is z equal to 1860?
False
Let m be (4/(-18) - (-38)/9)*1243/(-4972). Let z = 347/34 + -21/2. Which is smaller: m or z?
m
Suppose 3*a - 12 + 3 = 0. Suppose -6*s + 3 = -a. Let o be (-30)/(-26) - (0 - -1). Is s greater than or equal to o?
True
Let s be (2/(-8))/(17/(-476)) - (-3404)/(-20). Which is greater: -0.2 or s?
-0.2
Let s be (128/(-40) - -3)*(-6 - 5749). Is 1159 > s?
True
Let c = -1220 + 1150. Let r = -190 + 109. Let y = r - c. Which is smaller: 1/2 or y?
y
Suppose 3*p + 7 = r, 3*p = -4*r - 39 + 7. Let f = -25/6 - p. Is -2 smaller than f?
True
Suppose -2*v + r = -15, 43*r - 35 = -4*v + 46*r. Suppose 155 = 50*d - 55*d - 2*f, 2*d + 91 = v*f. Which is smaller: -26 or d?
d
Let g = 2129/3 + -668. Let l(v) = v**3 + 82*v**2 + 219*v + 4721. Let b be l(-80). Which is greater: g or b?
g
Let u be ((-2)/(-3))/(2684/(-198)). Suppose 20*s - 22*s = -140. Let w = 69 - s. Which is bigger: w or u?
u
Let i(d) = -2*d + 33. Let f be i(16). Is f not equal to -2970?
True
Let k = -184 - 227. Let f = 429 + k. Which is bigger: f or 3?
f
Let v = -1.161 - 0.029. Which is greater: v or 7?
7
Suppose -4*z + 10*a = 14*a - 16144, 0 = -5*z - 2*a + 20162. Does z = 4030?
True
Let t be (33/1404)/(-5 - 932/(-186)). Let p = -1/52 + t. Which is bigger: 1 or p?
p
Let s be (7 - (-6 