5*z - 2735 = -4*l. Let u = -20012/29 + l. Is u not equal to 0?
True
Let v be -8 - 10*(-2)/4. Do -10/9 and v have different values?
True
Let s = -22 + 112/5. Which is greater: 1/2 or s?
1/2
Suppose 5 + 11 = 4*d. Suppose 4*a = -o - 0*a + 1, 0 = -5*o + d*a + 29. Suppose 0 = -4*w - o*z - 9, 5 = -7*z + 2*z. Which is smaller: -6/7 or w?
w
Suppose 3*s + 9 = -5*k, 5 + 1 = -2*s - 2*k. Let u = -3 - -1. Which is smaller: u or s?
s
Let z(b) = -9*b - 11. Let f(v) = -4*v - 5. Let q be -4 - -5 - (1 - -6). Let h(u) = q*z(u) + 13*f(u). Let k be h(-1). Which is smaller: -2/3 or k?
k
Let g be (-6)/2 - 0/(-1). Let l = -1 - -2. Let c be -3*l/1 + 1. Which is bigger: c or g?
c
Let n = 12.02 - 12. Let d = n - -0.98. Which is bigger: -1.1 or d?
d
Let z = 149 - 145. Is z equal to 4?
True
Let y(z) = -2*z - 3. Let w be y(3). Suppose -5*v = -v - 20, 3*h + 5*v - 46 = 0. Let q = h + w. Is q equal to -2?
True
Let x be (-6)/(-15)*(-40)/(-18). Which is bigger: x or 1?
1
Let b = -1 + 3. Let s be 11/3 - 4/6. Suppose l + 6 = s*l. Is b != l?
True
Suppose -19 + 3 = 4*u. Is -4 bigger than u?
False
Let w be -2 - (-7)/((-21)/(-9)). Do w and -1/28 have different values?
True
Let u(r) = -r + 2. Let a = -5 - -11. Let d be u(a). Suppose 2*h = z - 4, -2*h - 3*z - 14 = z. Which is bigger: d or h?
h
Let w be (0 - -2)*2/(-4) - -5. Is w >= 3?
True
Let m = -3 + 5. Let j = -2.05 + m. Which is smaller: -1 or j?
-1
Let h be (9/(-5))/((-6)/4). Let s be (-6)/15*(-1 + (-1 - 3)). Which is bigger: s or h?
s
Let y = -8.2 - -5.2. Is 7 at most as big as y?
False
Let l(q) = -q**3 - 8*q**2 + 10*q. Let r be l(-9). Is r bigger than -8?
False
Let r be (-3)/(-4 - -1) - -1. Which is bigger: r or 4?
4
Suppose -2*n + 37 = -5*r, 4*n - 9 = -3*r - 0. Let u(j) = -j + 6. Let g be u(n). Suppose g*i + 2*y + 6 = -2*i, 0 = 5*i + 3*y + 15. Is i <= -0.3?
True
Suppose -3*r - 22 = s, r + 5*s - 19 = -45. Let q(p) = -p**2 + 9*p + 16. Let v be q(11). Are r and v equal?
True
Suppose -6*p + p + 5 = -5*b, -4*p - b - 1 = 0. Let x be 1*((-2)/11 + p). Let f = 0.2 + -0.3. Which is smaller: f or x?
x
Suppose -13 + 6 = 7*r. Which is smaller: -1/10 or r?
r
Let u(y) be the second derivative of -y**4/12 - 7*y**3/6 - 7*y**2/2 - 2*y. Let m be u(-5). Suppose 0 = -4*r - m - 1. Which is greater: 0 or r?
0
Let h = -1 + 2. Let c be (5/(-3) - -1) + h. Suppose -5*w + 25 = -5*k, w + 4*k + 0*k + 20 = 0. Is w at most c?
True
Let x be -1 + (231/70 - 2). Let s(a) = a**2 - 5*a. Let j be s(4). Let o(v) = v**2 + 3*v - 3. Let h be o(j). Which is smaller: h or x?
x
Let a be 0/((-4)/(2 + 0)). Let b be (-3 - 2) + 3 + 2. Let v be 2 + b + (2 - 4). Is a at least v?
True
Suppose -3*i + 101 - 8 = 0. Is i at least 31?
True
Let b(z) = z**2 + z - 2. Let j be b(-3). Let y = 33/8 - j. Is y bigger than 1?
False
Suppose -2*f = -232 + 252. Is f equal to 1?
False
Let c(k) = -2*k**2 + 32*k - 32. Let n be c(15). Let i be ((-1)/(-3))/(3/(-12)). Is i < n?
False
Suppose -a - 2 + 3 = 0. Let y be 2*(-27)/(-12)*-8. Let o be 14/(-63) + (-26)/y. Does o = a?
False
Suppose 0 = -3*b + 7*b + 4. Is 4 at least b?
True
Let c = 23 - 7. Which is smaller: 0 or c?
0
Let c be (-3)/12*14 + 9/6. Which is greater: -7/11 or c?
-7/11
Let u(g) = g**3 - 4*g**2 + 4*g - 6. Let w be u(3). Suppose 2*t - 3*t = 3. Is w > t?
False
Let x be 3 - 45/9 - 888/(-446). Which is greater: 1 or x?
1
Let a be ((-16)/6)/(2/(-9)). Let z be 63/a + 1/(-4). Suppose s - 1 = 5*c, 8*c = 3*c - z*s - 25. Is 2/9 equal to c?
False
Suppose 0*t - 4*t = 56. Let d be (-18)/4*172/t. Let u = 55 - d. Is 0 bigger than u?
True
Let k be ((-5)/15)/((-1)/3). Let n = 5 + k. Let l = 3 - n. Which is bigger: 0 or l?
0
Let c = 3 - 10. Suppose 5*y + 8 + 8 = -a, 3*y = 4*a + 18. Which is smaller: a or c?
c
Let w be (-1)/6 + 114/(-180). Is 1.4 at least as big as w?
True
Let l(t) = -2*t**2 - 2*t - 1. Suppose 2*r - 3 = -5, 21 = 5*k - r. Suppose 2*d + 7 = -q, d - 18 = k*d + 3*q. Let u be l(d). Which is greater: -3/8 or u?
-3/8
Let r be (6/2)/((-3)/(-2)). Let b = r + -3. Which is greater: b or -2?
b
Suppose -2*n - 16 = 2*n, 16 = 5*z - 4*n. Suppose 2*u - 10 = -3*l, -4*u + 2*l - l - 8 = z. Is u greater than -2?
True
Let h = -0.3 + 0.3. Which is smaller: 6 or h?
h
Let j be (7 + 2 + -5)/(-2). Is j less than or equal to -4?
False
Let z = 62 - 2. Which is smaller: z or 59?
59
Let v = 2 + 4. Let l = v - 5.8. Which is smaller: l or -0.1?
-0.1
Let u be 74/6 + (-6)/18. Let b(h) = 2*h - 25. Let w be b(u). Which is smaller: -1/4 or w?
w
Let g be (3/(-5))/((-9)/(-6)). Let y(p) = -p**2 - 7*p - 2. Let n be y(-5). Suppose 0 = -o - 3*o + n. Is o <= g?
False
Let v be (3/(-2))/((-6)/44). Suppose 0 = 2*p + 8, 2*i - 48 = -2*i + p. Is v at least as big as i?
True
Let q = -2/1419 + -113/31691. Are q and 1 equal?
False
Let d = 12160/29 + -1562907/3770. Let u = d - 49/10. Which is smaller: -1 or u?
-1
Suppose 3*m - 5 = -3*i + 13, 5*m + 2*i = 21. Which is smaller: 2 or m?
2
Let k(u) = -u**3 - 8*u**2 - 6*u + 7. Let c be k(-7). Is 2/125 bigger than c?
True
Let t be (-4)/18 + (-105)/(-108). Let s = 1 - 1. Suppose 0*b + 2*b = s. Is t > b?
True
Let w be 42/(-10) - -3 - -2. Let g = -2/15 + w. Is -0.1 smaller than g?
True
Suppose -j - 3 = -0. Let i = 3 + j. Let x = -1/78 - 73/390. Which is smaller: x or i?
x
Let o(b) = b**3 - 5*b**2 + 4*b - 3. Let f be o(3). Let c be (-12)/(-4)*(-10)/3. Are c and f equal?
False
Let k = -36 - -236. Let t = 2801/14 - k. Let s = -5/28 - t. Which is greater: -1 or s?
s
Suppose 0*g - 25 = -5*g. Suppose -g*b + b = 0. Which is smaller: b or 2?
b
Let s = -14 - -9. Let o = s + 3. Which is smaller: o or 0?
o
Let c(z) = z**2 + 10*z + 1. Let v be c(-10). Is v smaller than 1/8?
False
Let x = 298/839 + -744739/639318. Let c = x + -3/127. Let r = c - -1/6. Which is bigger: r or 0?
0
Suppose -2*v - 4 = 2*v. Let n be 2*3*v/(-18). Is 4/3 at most n?
False
Let u = -1 + 5. Suppose -q = k - u*k, 5*q = -3*k + 18. Suppose -4*d = d - 10. Which is greater: k or d?
d
Let h(q) = q**2 - 8*q - 10. Let y be h(9). Suppose 7*a = 2*a. Let b be 10/(-3) + a + 1. Which is bigger: y or b?
y
Let z(s) = s**3 + 6*s**2 - 8*s + 4. Let k be z(-7). Let f be 2/(0 - -2 - k). Which is smaller: 2/3 or f?
f
Suppose -8*l + 2 = -6*l. Let z be (-4)/8 + l/(-2). Is z bigger than 2?
False
Let a be (3 + (-1 - 1))*1. Suppose 4*c - 7 = 5. Let g be ((-1)/3)/(5 - c). Is a greater than g?
True
Let o(u) = 2*u**3 + u**2 - u + 1. Let k be o(1). Suppose -k*p - 2*z - 15 = 0, 6*z = 3*z. Do -5 and p have different values?
False
Let f be (2 - 1) + 3 - 2. Let v be (-2)/9 + (-49)/(-18). Which is bigger: f or v?
v
Let k = -0.1 + 0.1. Let o = -551/11 + 50. Does k = o?
False
Let l be (-4 + 7)/(6/116). Which is smaller: l or 59?
l
Let f = -2/290929 + -173975512/4363935. Let v be (-244)/14*(-14)/(-6). Let k = f - v. Which is smaller: 2 or k?
k
Let q = 59 - 58.9. Let c = 2.01 - 0.11. Let w = c + -2. Is q at least as big as w?
True
Let w be 0 + 1 + (-124)/116. Is 1 at most w?
False
Suppose 40 = -7*w + 2*w. Let l = 7 + w. Let o be (-14)/40 + 6/(-15). Which is greater: l or o?
o
Let r be (-3)/9 + -4 + (-275)/(-60). Is r less than or equal to -5/2?
False
Let j = -0.224 + 11.524. Let a = j - 11. Which is greater: a or -0.2?
a
Let o = -1 + 2. Is o at least as big as -7?
True
Let n = -1 + 3. Let h be (0 + -1)/(2/((-36)/30)). Is n bigger than h?
True
Suppose 3*f = -y + 25, f + 9*y = 5*y + 1. Let d be (-50)/8 - 2/(-8). Let w be (d/f)/(0 - 1). Is w at most as big as 0?
False
Suppose -3 = v - 0. Let b be (-35)/(-7) + v + 1. Is b > 4?
False
Let s(t) = -t**3 - 9*t**2 - 15*t - 6. Let m be s(-7). Which is greater: m or -2/15?
m
Let w(i) = -i**2 + 23*i - 61. Let j be w(20). Is 6/25 less than j?
False
Suppose 18 = 5*s - 2. Let g be 8/(-5) - 14/35. Let r be (0 - 5/2)*g. Is r greater than s?
True
Let g be -1 + 2 + 0 + 31. Let y be (g/(-24))/((-1)/(-3)). Let x be 1 - -2 - (5 + y). Which is bigger: x or 1?
x
Let g(m) = -m**3 - 9*m**2 + 9*m - 2. Let h be g(-10). Which is smaller: 7 or h?
7
Let m(o) = -o**3 - 5*o**2 - o + 4. Let q be m(-4). Let a be q/(-12)*(-6)/70. Which is bigger: a or 1?
1
Let i = 0.3 + -0.3. Let t = -0.1 - i. Let q = t + 0.2. Is q < 1?
True
Let f = -0.87 - -0.77. Which is bigger: f or -1/7?
f
Let g be -2 - (-2)/8 - (-9)/12. Let r(p) = -p**2 - 6*p - 2. Let i be r(-6). Is g not equal to i?
True
Let r = -23.1 + 27. Let f = -4 + r. Ar