*u - l - 37 = 4*l, -2*l + 8 = 3*u. Suppose 2*j = 3*p, 0*j + 4*j - p - 10 = 0. Suppose j = 4*h + 11, 3*b - 8 = -5*h. Is b equal to u?
True
Let x be 23/9 + (-16)/(-36). Suppose h + 0*h = -s + 9, -3*h + 2*s = -2. Is h at least x?
True
Let l(o) = -o + 5. Let q be l(4). Let a be 6 - ((-378)/(-15))/6. Is q greater than a?
False
Let h be 8/18 + 3000/540. Is 111/22 <= h?
True
Let y(m) = m + 11. Let n(a) = -2*a - 21. Let s(v) = 4*n(v) + 7*y(v). Let i be s(-6). Is -2/21 < i?
False
Suppose -3*g - l - 2 = 0, -12 = -0*g - 2*g + 2*l. Let b = -2/717 - 99659/1434. Let z = b - -6251/90. Is g less than or equal to z?
False
Let a be 4 - 0*1/(-3). Suppose 0*g + g = 8. Let u be 3/a - g/(-32). Which is bigger: -1 or u?
u
Suppose 0 = -165*s - 681 - 1299. Let b be (-2)/3 - (-133)/(-12). Which is smaller: b or s?
s
Suppose 3*x + 4*y = 44, -5*x - y + 71 + 8 = 0. Let q = 18 - x. Let r be (q - 0)/(3 + -22). Which is bigger: -1 or r?
r
Let h be (-177)/118 + 14/4. Is 39/23 smaller than h?
True
Let d = 1356 + -4069/3. Which is bigger: d or -21?
d
Let u be (-4)/(-14) + (-8768)/(-3612). Let z = u + -2/43. Let k = -3 + 7. Is k greater than z?
True
Let a(i) be the third derivative of i**5/60 - i**4/4 - 6*i**2 + 4. Let o(k) = -8*k. Let c be o(-1). Let y be a(c). Do y and 16 have different values?
False
Let o be ((-14)/10 + -1)/((-1)/(-10)). Which is smaller: -23 or o?
o
Let b = 39.82 - -0.18. Let s = b - 39.81. Which is greater: -0.1 or s?
s
Let s(z) = -z**3 + 6*z**2 + 13*z + 13. Let w be s(7). Is w <= 53?
False
Let s(v) = -3*v + 25. Let a be s(1). Suppose -x = -5 + 2. Suppose x*r - 5 = a. Is r at least as big as 7?
True
Let g = 146 - 146. Which is greater: 9 or g?
9
Let h be (-4)/6*(-18)/4. Let c = 3 - h. Suppose 17 = 5*v - 3*i, -4*v + 5*i = -8*v - 16. Which is greater: c or v?
v
Let c = 81 - 141. Let k be c/(-330) - 299/11. Do -27 and k have the same value?
True
Suppose 6*h + 1887 = 381. Is -1501/6 >= h?
True
Let a = -99 + 84. Let n(p) = 2*p + 12. Let k be n(-14). Is k at most as big as a?
True
Suppose -3*d - 3*f + 9 = 0, -2*d + 5*d - 17 = -5*f. Which is smaller: 2/1523 or d?
d
Let w = -2853/5 - -571. Let t = -4 - -5. Which is bigger: w or t?
t
Let w = -621/7 - -89. Is w less than -29/10?
False
Let u = 1778.2 - 1852.29. Let n = u + 74. Is n less than or equal to -1?
False
Let p = 37/323 + -10/17. Let i = 1/38 - p. Which is greater: i or -0.1?
i
Let s(l) = l**3 - 4*l + 4. Let f be s(3). Let w = f + -35. Is -16 > w?
False
Suppose -4*y = 2*s, -2*s + 2*y = -0*y - 12. Suppose -16 = -s*n - 0. Let j(p) = 7*p**2 + 16*p - 17. Let x be j(1). Which is smaller: n or x?
n
Let l(s) = -s**2 - 14. Let y be l(0). Let b(m) = -m**2 - 12*m - 1. Let i be b(-13). Are y and i nonequal?
False
Let b(u) = u**3 - 5*u**2 + 6*u - 6. Let j be b(4). Let d be (36/14)/(63/(-7518)). Let k = d + 308. Which is greater: j or k?
j
Suppose -3*r = r - 8. Let p(a) = a**3 - a**2 - a + 1. Let k be p(r). Suppose 0 = -5*y - 5*f - 70, 2*y = -k*f - 7 - 21. Is -15 at least as big as y?
False
Let b(n) = -3*n**2 - 7*n + 1. Let f be b(-5). Which is smaller: -41 or f?
-41
Let k = 508 - 9650/19. Let f = 0 - 1. Which is greater: k or f?
k
Let h = -31 + 30.8. Are 117 and h equal?
False
Let f = 5961/2631937 - 2/4883. Is 0 < f?
True
Let g = -33 + 32. Let o be 3312/(-78)*3/4. Let x = 32 + o. Is g bigger than x?
False
Let g be 0/(((-12)/(-4))/3). Suppose -4*h = -g*h + 36. Let z = -9 - h. Which is smaller: z or -2/15?
-2/15
Let a(d) = -d**3 + 5*d**2 + 9*d + 6. Let x be a(6). Let z = 63 - 40. Is x < z?
False
Let h = -270 - -29972/111. Which is smaller: -1 or h?
-1
Let s be (-326)/10*(-237)/(-4). Let n = -7439/4 - s. Let h = -71 + n. Which is smaller: 0 or h?
0
Let y = -627/260 - -32/13. Which is smaller: 18 or y?
y
Let h = -1533 - -1092. Is h >= -441?
True
Let l(x) = 4*x + 12. Let z be l(4). Suppose -s - 20 = -r + 3*s, -2*r + 4*s = -z. Suppose -7*h + r*h = 0. Which is smaller: -2/57 or h?
-2/57
Suppose -6 = -2*g, 0 = 6*m - 2*m - 2*g - 78. Let q = 61 - 41. Is m not equal to q?
True
Let q be (-2)/(-10)*-597 - 3. Let x(v) = 33*v + 10. Let g be x(-4). Let d = q - g. Is -1 equal to d?
False
Suppose -2*j + o - 27 = 3*j, 0 = j - 2*o + 9. Suppose -1 = s - 5. Let x be -4 + s - 4 - 2. Is x greater than or equal to j?
False
Let j = -1498.9 + 1499. Which is smaller: 834 or j?
j
Suppose 40*i - 3*i = -703. Is i not equal to -20?
True
Let o(i) = 12*i**2 + i. Let n be o(-1). Let k = n + -11. Is k not equal to 1/2?
True
Suppose 2*r + 4 = -j, 3*j + 4*r = -10 - 4. Let x(h) = h**2 + 6*h - 2. Let g be x(j). Does g = -0.9?
False
Suppose 8*f + 2*f - 30 = 0. Let d be f/24 + 102/208. Is 2 greater than d?
True
Let b be (6/4)/(15/50). Suppose -x - 2*x + 3*d + 48 = 0, -b*x - 2*d = -80. Which is bigger: x or 17?
17
Let t = 4.45 - 6.45. Which is smaller: -24 or t?
-24
Let k(v) = 2*v**3 + 100*v**2 - 103*v - 80. Let x be k(-51). Which is bigger: -45 or x?
x
Let x = -2.03 - -2. Let o = 91 + -90.71. Let h = o - -0.01. Which is greater: x or h?
h
Suppose 0*f = -7*f. Let d = -42844 + 1713917/40. Let x = 25/8 - d. Is f >= x?
True
Let g = -5 - -8. Suppose -1 = -5*u + 4. Suppose -2*y + u = g. Does y = 2/11?
False
Suppose 7*l - 3*l - 48 = 0. Let x be (-183)/l + 3/12. Let n = -15 - x. Which is smaller: 4/11 or n?
n
Suppose -6*a - 30 - 12 = 0. Let i(g) = -5*g + 10. Let n(d) = -4*d + 9. Let t(u) = -6*i(u) + 7*n(u). Let m be t(-4). Which is bigger: a or m?
m
Suppose 6*s = 11*s - 475. Are s and -1 equal?
False
Let j be 66/44*(0 - 4/(-33)). Which is smaller: 46 or j?
j
Let n(b) = b**3 - 8*b**2 + b - 6. Let d be n(8). Suppose q = 2*m + m, -d*m = -4*q. Is 0 greater than or equal to q?
True
Let w be ((-1)/67)/(9 - 56/6). Is w at most as big as -1?
False
Let a be 1/(-5)*14/((-3724)/35). Which is smaller: 2/19 or a?
a
Suppose 5*g = -5*f + 10, 4*f - 5*g = 3*f - 4. Let o(j) = -8*j**2 - j + 2. Let h be o(f). Is -7 equal to h?
True
Let a = 15 - 24. Let m = 8.1 + a. Let w = 5 + -4.9. Which is greater: m or w?
w
Let x = 10.005 - 0.105. Let h = 25.9 - x. Which is smaller: h or -0.2?
-0.2
Let c be (-9)/(-6)*22/(-3). Let h(f) = -f**2 - 11*f + 5. Let v be h(c). Is v less than or equal to 5?
True
Let r(u) be the first derivative of u**4/12 + 2*u**3 + 5*u**2/2 - 8. Let b(p) be the second derivative of r(p). Let j be b(-6). Which is bigger: j or -3/5?
j
Let h be (-12)/14 - 4/14. Suppose 0 = -18*v + 14*v - 8. Let i be 2/(2/(-3)) - v. Which is bigger: h or i?
i
Let d be 4/(-8) - 25/(-10). Let f be 2/(d/3) + 2. Is 3 < f?
True
Let x = 492 + -508. Which is greater: 11 or x?
11
Let i = -3/23 - -35/92. Let t = -346.6 + 347. Which is smaller: i or t?
i
Let z be (2643/(-6))/((-4)/1). Suppose 0 = -5*w - 2844 + 2294. Let i = w + z. Is i at most as big as 1?
True
Let m(l) = 3*l**2 - 4*l - 2. Let t be m(2). Suppose 3*h - 5*f = -7*f + 37, 38 = t*h + 4*f. Which is smaller: h or 6?
6
Suppose -2*u = 2*c + 16, -3*c = 11 - 8. Is -22/3 equal to u?
False
Let y = 716 + -715. Is y less than or equal to -18?
False
Let d = 108 - 6. Let u = d + -84. Which is greater: -2/13 or u?
u
Suppose 4*t - 1 = -5*v + 19, 4*v = 4*t + 16. Is 58 less than or equal to v?
False
Let s = -2130 + 2130.26. Let p = -4 - -17/4. Which is smaller: s or p?
p
Let f(v) = 4*v - 3*v - 3*v**3 - 1 + 0*v. Let z be f(1). Let r(o) = -2*o + 6. Let t be r(4). Which is greater: z or t?
t
Let c = 1 + 4. Let i be 2 + -2 - (c + -8). Suppose 2*u - i*u + 1 = 0. Which is smaller: u or 2/15?
2/15
Let j = 127.3 + -119. Let l = j - 6.3. Which is smaller: l or -0.2?
-0.2
Let k = -0.6 - -1.8. Let d = k + -1.02. Let f = -0.12 - d. Which is smaller: f or -0.2?
f
Let v be (-511)/(-35) - (-3)/(-30). Are v and 1/3 unequal?
True
Let j = 9/46 - -655/414. Is j less than 2?
True
Let i = -1157.028 - -1159. Let g = i - -0.028. Suppose -4*q + 8*q - 4 = 0. Which is greater: g or q?
g
Suppose -9*f + 340 = 169. Is 20 <= f?
False
Suppose -36*u + 258 = 7*u. Is 45/7 < u?
False
Let z = -33/8 - -27/8. Is z smaller than 0?
True
Let p = 1452 + -1623. Is 3/4 <= p?
False
Let c = -2 + 2. Let u(o) = -o + 30. Let a be u(-8). Suppose 46 = -6*m - a. Which is smaller: m or c?
m
Let b(x) = -2 + x**2 - 11*x + 1 + 11. Let r be b(10). Which is greater: -28 or r?
r
Let l = -37 - -24. Let k = 19 - 32.4. Let y = k - l. Which is bigger: 2 or y?
2
Let m = -230 - -297. Is m < 66?
False
Let g = 106 + -94. Le