
Let j(q) = -q**3 + 6*q**2 + q - 4. Let b be j(6). Suppose -l + 2*s = 4 + 5, -9 = -b*l - 5*s. Suppose d = -d - 6. Do l and d have different values?
False
Let l(d) = -d**2 - 7*d - 4. Let g be l(-6). Suppose -5*o + 16 = g*m, -m = 2*o - 3*m + 2. Let b(c) = 2*c + 13. Let x be b(-6). Which is smaller: o or x?
x
Let o(p) = -2*p**3 + 7*p**2 + 2*p - 15. Let i(j) = -j**3 + 4*j**2 + j - 7. Let z(w) = 5*i(w) - 2*o(w). Let t be z(6). Is t > -1/8?
True
Let m(o) = -o - 14. Let h be 3 + -1 + 0 - 8. Let u be m(h). Is u less than 1?
True
Let d = -2 + -2. Let j = d + 3. Let o = 7/6 + -3/2. Which is greater: o or j?
o
Suppose -2*q - 6 = 4*l, -2*l + 2*q - q = -3. Suppose l = -3*z + z + 4. Let t be (-2*z/(-4))/1. Which is smaller: 0.2 or t?
0.2
Let o = -6 - -9. Suppose -o*x = 4 + 11. Which is bigger: -4 or x?
-4
Let j = -0.54 + 0.34. Which is bigger: 2.4 or j?
2.4
Let y = -0.4 + -3.6. Let h = -0.02 + 4.02. Let r = h + y. Which is greater: r or 1?
1
Let z be (-30)/(-42) + 2/7. Let c be (-3)/(-63) - 4/(-14). Is z less than or equal to c?
False
Let v(s) = s + 7. Let a be v(0). Let p(b) = b**2 - 6*b - 6. Let q be p(a). Let o be (2/((-4)/(-2)))/q. Is 1/4 at most as big as o?
True
Let q = 1802/7 + -257. Let g = 116 - 117. Is q greater than or equal to g?
True
Let u be (-27)/(-9)*(0 - -1). Let a = 2 + -1.9. Let v = -0.2 + a. Is u less than v?
False
Suppose 0 = -5*b - 3*n - 2, 4*b + 2*n = 3*b + 1. Let g(k) = -k**3 - 4*k**2 + 4*k - 4. Let q be g(-5). Let w = b - q. Does -2 = w?
True
Let h(a) = -a**2 + 8*a - 2. Let n be h(8). Let c = n - 0. Let s = 4 + c. Which is smaller: s or 0?
0
Let d = -23 + 23.1. Which is greater: 8 or d?
8
Let y = -72 - -94. Is 20 less than or equal to y?
True
Suppose 0*t - 8 = 4*w + 5*t, 0 = 5*w + 3*t - 3. Suppose 5*z - 15 = w*g + 6, -3*g - 3 = -2*z. Is 4 >= z?
False
Let h = 4 - 3. Let w = 47/15 + -14/5. Is w >= h?
False
Let x(w) = 2*w**3 - 2*w**2 - w - 1. Let r be x(2). Suppose -3*z - 3 = 0, -5*z = -r*m - 0*m + 10. Is 2 smaller than m?
False
Suppose -8 = 2*a - 4*a. Let u be (4/11)/(a/1934). Let j = 176 - u. Do j and 0 have different values?
True
Suppose -3*m - 4 = -j, j = 2*m + 4 - 3. Let r = 17 - 12. Suppose 0 = -3*y - 0*b + b - 16, 2*y + 5 = -r*b. Is y not equal to j?
False
Let n be (0 + 1 - 2)/(-1). Let m(q) = 2*q + 36. Let b be m(-17). Which is greater: n or b?
b
Let j be 5/(-72) + 21/(-56). Which is smaller: j or -1?
-1
Suppose 2*j - 3*j - 10 = -5*h, 4*j - 5*h + 10 = 0. Suppose j = q - 5*z + 17, -2*z + 4 = -2*q + 2. Suppose 3*s + 9 = q. Is -4 < s?
True
Let c = 2 + -3. Suppose 0 = 4*s + 7 - 19. Let g be 18/(-30)*(-2)/s. Which is bigger: c or g?
g
Suppose v = 3*v. Let t = 2/137 - -131/411. Which is smaller: v or t?
v
Let u = 15.94 + 0.06. Let g = 17 - u. Which is greater: -1 or g?
g
Let c = -5 + 4.94. Let p = c - -0.06. Which is greater: p or -2/9?
p
Let a be 3/(-5)*5/(-8). Let f = -1 - -1.4. Let t = f + -0.5. Which is smaller: t or a?
t
Let h(n) be the second derivative of n**5/20 - n**4/3 - n**3 + 2*n**2 - 7*n. Let g be h(5). Is g at most 2/11?
True
Let b be (-2)/(-7) - (-6)/(-21). Suppose 3*v - v = b. Suppose v = -w - 1. Which is smaller: w or -4/5?
w
Let g = 1.8 - -0.2. Which is smaller: 0.38 or g?
0.38
Let b = -89 - 149. Let f = -2615/11 - b. Does f = 0?
False
Let a = 1/83 + -169/249. Is a < -0.45?
True
Suppose 3 + 7 = 5*l. Suppose l*i + 4 = -6. Is -6 at least as big as i?
False
Let o = 1432/159 + -18/53. Is o > 8?
True
Let m = -15 - -15.1. Which is bigger: 16 or m?
16
Let q = -1.3 + 0.3. Let k = -1.6 + 2.3. Let r = k - 0.6. Which is bigger: r or q?
r
Let i = 30 + -22. Which is smaller: i or 7?
7
Let r(x) = -x**2 - 3*x - 3. Let o be r(-2). Let y(h) = 4*h**3 + h. Let j be y(o). Let d be ((-6)/(-5))/((-21)/70). Is d at most j?
False
Suppose h - 5 = -5*z, 3*h + z - 110 = 5*z. Suppose 12 = -2*y - p, 5*y + 7*p - 3*p = -h. Let i be y/8 - 14/(-24). Are i and 1 unequal?
True
Let w = -829/15 - -170/3. Is 0 at most as big as w?
True
Let a(z) = z**3 - 4*z**2 - z + 3. Let l be a(4). Suppose 0 = 3*t + 2*d + 10, -d = 6*t - 4*t + 6. Which is smaller: l or t?
t
Let m be (-2*(2 + -1))/1. Let h be 0 + 2 + (-115)/46. Which is smaller: h or m?
m
Let x(q) = -2*q**2 + 3*q - 6. Let z be x(3). Does -15 = z?
True
Let k(y) = -3*y - 10. Let x be k(-4). Suppose 4*j = 5*c - 15, -15 = j - x*c - 3*c. Which is bigger: 1/19 or j?
1/19
Let t = 7/6 + -1/2. Suppose 0 = 16*s - 7*s. Is t equal to s?
False
Let z(x) = -x**2 + x + 2. Let j be z(2). Is j less than -4/11?
False
Let s = 0.11 - 0.21. Which is greater: s or -9?
s
Let c(h) = h**2 - 7*h + 6. Let q be c(6). Suppose i - 2*i - 3 = q, 2*u - 3*i - 11 = 0. Does -1/8 = u?
False
Let m = 12115/18 + -1351/2. Let c = m - -97/36. Is c bigger than -4/9?
True
Let b = 0.52 - 0.6. Let r = b + -0.02. Which is smaller: 0.3 or r?
r
Let z = -7 + 2. Let n(r) = 2*r + 2 + r**2 + 2 - 2*r**2. Let x be n(4). Which is smaller: z or x?
z
Let f = -13.9 + 14. Let d be -2 - (0 - (-11)/(-5)). Is d at most f?
False
Let p = -0.1 + 0.1. Let z = -35 - -34.96. Which is smaller: z or p?
z
Suppose -122 - 128 = -5*b. Suppose -5*h = 10 - b. Let s = 5 - h. Which is greater: -2 or s?
-2
Suppose -6*b + 2 = -4*b. Let y(n) = n**3 + n**2 - n - 1. Let c be y(-1). Which is greater: b or c?
b
Suppose 4*f - r = 3*r + 16, -r = 3. Which is smaller: f or -3/4?
-3/4
Let o be (-5)/4 + (-3)/(-12). Let v = -16 + 16. Which is smaller: v or o?
o
Let y = -0.06 - -1.06. Is -6 >= y?
False
Let q be (-270)/(-60) + -1*2/(-4). Which is greater: 1 or q?
q
Let i = -5/2 + 23/10. Let d = 1 + -2. Let f = d + 1. Which is smaller: f or i?
i
Suppose -245 = x - 2*x. Let f = x - 2693/11. Which is smaller: f or -1?
-1
Let x be 21/102 + 0/(-3). Let p = 97/17 - x. Let i = -35/6 + p. Which is bigger: 0.1 or i?
0.1
Suppose -7*y + 3*y + 131 = -5*k, 3*k - 4*y = -85. Is k not equal to -24?
True
Let s be 3/6*0 - -2. Suppose -3*o = -s*o - 1. Let h be (2/3)/(11/33). Is h >= o?
True
Let v = 11 + -17. Which is smaller: v or -23/4?
v
Let n = 0.02 - -0.08. Let y = -0.2 + -6.8. Is y not equal to n?
True
Suppose -5*o = -10, 4*o - 5 = -3*b + 3. Let u be (42/(-112))/(6/(-8)). Do b and u have different values?
True
Let s = 5.99 - 4. Let c = 0.19 - s. Let v = -2 - c. Which is bigger: 1/2 or v?
1/2
Let d be 0 + 0 - 0/(-2). Suppose d = -n - f - 4, 3 + 4 = -4*n + 5*f. Which is greater: -4 or n?
n
Let h = -30.1 + 30. Is 1/3 < h?
False
Let m(d) = -d + 2. Let i be m(-5). Suppose i = h - 0*h - r, -15 = 5*h + 5*r. Which is smaller: -0.1 or h?
-0.1
Let x = -212/15 - -43/3. Let y be 1 + (3 - 4) + 2. Let h be (1 - y)/(-1 + 0). Is h at most x?
False
Let b = -130631/32115 - -2/2141. Let d be ((-44)/(-18))/(4/6). Let v = d + b. Do v and 0 have different values?
True
Let t(j) = -j**2. Let p(g) = -4*g**2 + 6*g - 5. Let u(x) = p(x) - 5*t(x). Let d be u(-7). Let c be d + -4 - 1/(-2). Which is smaller: c or -2?
-2
Suppose -3*y + 79 + 44 = 0. Is 39 less than or equal to y?
True
Let s be 154/(-98) + 1 + 0 + 1. Let d be 2/6 - 1/3. Is s > d?
True
Let i = -13 + 8. Let h be 2/5 - 4/i. Do 2 and h have different values?
True
Let t = -42 + 161. Suppose -j = -551 + t. Let w = j + -9070/21. Is 1 less than w?
False
Let l be 90/(-87) - 2 - -3. Do l and 0 have different values?
True
Let n = 25.2 + -26. Which is smaller: -2 or n?
-2
Suppose 3*u - 4*u = 1. Which is smaller: 0 or u?
u
Let c = 37/63 + -4/9. Which is smaller: c or 0?
0
Let t be 4/6*(-9)/3. Let d = 2 - 5.4. Let i = -1.4 - d. Which is smaller: i or t?
t
Suppose -44 = -4*y + k, -2*y - 3*k = -2*k - 28. Is -5 at least y?
False
Let l = -0.053 + 0.01. Is 0.1 at least l?
True
Let i be ((-6)/5)/(-3)*5. Suppose -i*b + 0*l = 3*l - 23, 3*l = 15. Suppose 0 = -b*v + d + 11, -d = 2*v + v - 17. Are 4 and v non-equal?
False
Let z be (-51)/6 + 1/(-6). Which is smaller: z or -8?
z
Let k = 2819/8 - 353. Does k = -2?
False
Let y be 2/4 - 14/4. Let u be 24/11 + (y - -1). Is -1 < u?
True
Suppose 3*r - 4 = -r. Let y(b) = 3*b**2 - 3*b. Let d(t) = -t**2 + t. Let m(g) = -8*d(g) - 3*y(g). Let u be m(r). Is u less than -2/5?
False
Let t = -0.046 + 0.246. Which is smaller: -4/7 or t?
-4/7
Let v be (-4)/16 - (-135)/572. Which is greater: 1 or v?
1
Let l be 3*(42/15 - 3). Suppose i + i = 0. Is l greater than or equal to i?
False
Let q = 23 + -13. Suppose 0 = -5*k - q - 10. Which is smaller: k or -2?
k
Let r(k) = 2