Let r be l(t). Let c be (-3 - r)*-3*1. Is c equal to 3?
True
Let a be (3/27)/((-4)/12). Let t = 3 + -4. Let c be (-1 - -1)/(t - 1). Which is bigger: c or a?
c
Let s(v) = v**3 - 4*v**2 + 2*v + 2. Let b be s(3). Which is greater: -2 or b?
b
Let c be 1*1/4*1. Let g(k) = -2*k - 5. Let p be g(-5). Suppose 1 = 4*d - 5*d, 0 = -p*v + 3*d - 2. Is c > v?
True
Let j = 0.04 + -3.04. Let n = j + 2.8. Let w = n + 0.4. Is w < 0.2?
False
Let l be 3 + (-183)/(-9)*(-21)/140. Is l >= 1?
False
Let j(i) = i**3 + 2*i**2 + 1. Let g be j(2). Is 18 at least as big as g?
True
Let f = -11 + 5. Suppose 4*y - 8 = 0, 2*u = 6*u + 4*y + 12. Which is greater: u or f?
u
Let b = 16 + -146/9. Suppose -2*l - 18 = l. Let j be ((-2)/(-9))/((-4)/l). Which is smaller: j or b?
b
Let b(p) = -p. Let r(g) = 13*g - 1. Let j(q) = 6*b(q) + r(q). Let i be j(1). Let o = 4 - i. Is o < -2?
False
Let q be (28/(-10))/(((-54)/(-15))/(-3)). Is -0.1 bigger than q?
False
Let s be -2 - (-2 + 2 + -5). Suppose -s*a + 8*a = -135. Let m be (2/(-3))/(6/a). Is 3 equal to m?
True
Suppose -6*j - 5*w = -2*j + 4, 5*w = -5*j. Suppose -2 - 3 = 2*v - n, 2*n = -5*v + 10. Suppose 0 = -2*f - v*f + 4. Which is bigger: j or f?
j
Let m be (-1 - (-14)/10) + (-91)/65. Which is greater: m or -16/19?
-16/19
Let b = -0.01 - -0.01. Let z = 4 - 1. Let x = z + b. Is 0 less than or equal to x?
True
Let z(x) = x**3 - 4*x**2 - 2*x + 6. Let h be z(4). Which is smaller: -5/2 or h?
-5/2
Let i = 5 + -6. Let a = 107/7 - 15. Is a smaller than i?
False
Let r = 3/2 - 67/46. Which is smaller: 0 or r?
0
Let h = -5/11 + 31/44. Let g = -0.17 + -0.72. Let t = -0.01 + g. Is h > t?
True
Let b = -2 + 2. Suppose -3*x - 447 = -3*q, 3*x + 260 + 199 = -q. Let w = x - -1062/7. Is b equal to w?
False
Suppose 5*w = 2*f - 18, 0*w + f + 6 = -5*w. Let a be (w + 27/15)*-156. Let j = 31 - a. Do -1 and j have different values?
True
Let r = -0.3 + 1.3. Let u(b) = -2*b + 37. Let i be u(12). Which is bigger: r or i?
i
Let x = -206 - -144. Which is greater: 1/4 or x?
1/4
Suppose -18 = -4*q - 2*r, -4*q = -3*q - 5*r + 12. Suppose 5*w = q*v - 20, 0 = -5*w + 6 - 26. Let o be 1 - (3/(-5) + 1). Which is greater: o or v?
o
Let v = 31 - 30. Is v at most as big as -3?
False
Let t = 64 - 96. Let b be 517/(-4) - 8/t. Let v be (-2)/9 - b/(-27). Is -4 smaller than v?
False
Let h(a) = -a - 1. Let c(w) be the first derivative of 5*w**2/2 + 3*w + 2. Let p(m) = -c(m) - 6*h(m). Let t be p(-3). Which is smaller: t or -2?
-2
Let h be 8/44 - 0/1. Let g(z) = -z**3 + 2*z**2 + 10*z - 9. Let l be g(4). Which is bigger: l or h?
h
Let m be 131/25 + (-9 - -4). Which is bigger: m or -1?
m
Let z = 26 - 20. Which is bigger: z or -3?
z
Let r = -6 + 7. Which is bigger: -0.06 or r?
r
Let i(r) = r**3 + 4*r**2 - 5*r + 5. Let x be i(-5). Which is bigger: 0.2 or x?
x
Let w = -4 + 6. Suppose -4*p - 2*u - 14 = 0, 4*u = 18 + w. Let y be p/(-16)*(-2)/6. Which is smaller: y or 1?
y
Let k be ((-1)/74)/(1/(-12)). Let o = -52/777 + k. Is o at least as big as 0?
True
Let m be 62/50 - (1 - 0). Is 1 less than or equal to m?
False
Let o be 1/(-3) - 16/(-3). Suppose 0 = -g + 4 - o. Let w be ((-3)/5)/(8/5). Is g less than or equal to w?
True
Let p = 149/4 - 37. Let a = -61 - -54.8. Let t = -6 - a. Which is greater: t or p?
p
Let a = 1 + -3. Let t = 8 - 8. Suppose 4*q = 2*n + 3*n + 3, t = q - 2. Is a <= n?
True
Suppose n = 6*n - 4*w - 146, -2*n - w + 48 = 0. Let s be ((-8)/18)/(n/(-39)). Is s less than -13?
False
Let s be -4*(3 + (-8230)/84). Let b = -380 + s. Which is smaller: b or -1?
-1
Let h = -42.5 - -42. Is h smaller than 0?
True
Let m be ((-5)/(-85))/((-1)/4). Is m <= 1?
True
Let b be ((-1)/(-3))/(1/(-3)). Suppose 0 = -2*d + 4*d - 30. Let i = d - 16. Is b bigger than i?
False
Suppose -3*r + 2*c = -6, -r - 8 = -5*r + 5*c. Suppose -r*o = o - 24. Let f be ((-78)/(-65))/((-6)/(-40)). Is o <= f?
True
Let n(z) = -z + 3. Let j be n(5). Let p be j/6 - (-1 - -1). Let g = -8 - -9. Which is greater: p or g?
g
Let a be ((-2)/3)/((-1)/(-6)). Let c be a/(-22) + (-24)/11. Suppose 4*x = -6 - 6. Is x greater than c?
False
Suppose 0 = -2*d + 7*d - 10. Suppose 5*m = -6 + 31. Suppose -12 = m*c - d. Which is smaller: c or -1?
c
Let d(t) = t**3 + 2*t**2 - 2*t - 2. Let u be d(2). Suppose u = -5*m - 5. Is -3 bigger than m?
False
Suppose 5*g + i - 20 = 0, -5*g + 2*i + 7 + 13 = 0. Suppose -4*s + 3*s + 3 = 0, -16 = -4*h - g*s. Are 5/7 and h unequal?
True
Let w = -12 - -18. Let h = -22 - -26. Is w at least h?
True
Let w be 159/336 - ((-9)/(-7) + -1). Which is smaller: 0 or w?
0
Let k(v) = -v**3 + 10*v**2 - 17*v - 9. Let t be k(8). Is 2/9 greater than t?
True
Suppose 0 = 5*h - 3*h + 6. Are h and -16/7 nonequal?
True
Let h = 5 + -10. Let x be (-7)/(-3) - h/(-15). Is 11/4 equal to x?
False
Let y = 4.9 + -3.9. Let l = 1/53 + -59/318. Is y greater than l?
True
Suppose 0 = -t + 5 - 0. Let g = 12 + -8. Suppose -p + g*p - 12 = 0. Is p <= t?
True
Let a be (1 + 0)/(1/(-9)). Let r = a + 5. Is 0 not equal to r?
True
Let k be -243*-1*(-3)/21. Let v = k + 35. Which is bigger: -5 or v?
v
Suppose -5*z + 10 = -5*t, -z + 3*t + 6 = -2*z. Suppose z = -5*y - 2*b + 13, 0*y - 5*b + 18 = -2*y. Which is smaller: y or 4?
y
Suppose 5*m - 8 - 27 = 0. Suppose -3*i - 5*o - 30 = m, -2 = 3*i - 2*o. Let b = i + 4. Which is smaller: -2/15 or b?
-2/15
Let p be (-3 - -5) + 1/1. Let b = -1 - p. Let a be (-2)/b - (-1)/(-2). Which is smaller: -2/9 or a?
-2/9
Let z(h) = 2*h - 20. Let m be z(0). Let l be m/(-18) + 4/(-6). Let k(a) = -a**2 + 2*a + 4. Let q be k(3). Are q and l unequal?
True
Suppose -3*p + 8 = -2*w, p = -3*w - 3*p + 5. Let a = -71 + 354/5. Which is smaller: a or w?
w
Let q be ((-7)/(21/6))/4. Is 2/3 not equal to q?
True
Let i = -9 - -21. Suppose -i = -5*t + 3. Suppose 0*g = 2*g - 3*w - 23, 5*w = -4*g - 9. Which is greater: g or t?
g
Let k = 2.11 - 1.11. Let u be (-2)/7 + (-15)/(-77). Which is smaller: u or k?
u
Let i be (-6 - -4) + 3*1. Let t = 1/32 - -29/96. Which is bigger: i or t?
i
Let d(t) = t**3 + 13*t**2 - 13*t + 8. Suppose -4*g + 3*k = -7*g - 51, 0 = -4*g + 5*k - 41. Let w be d(g). Is -6 at least w?
True
Let m = 2/13 + 7/39. Let a = 16 + -17. Let y be ((-2)/a - 3)*0. Which is smaller: y or m?
y
Let m = 5.92 + 0.08. Let h = -6.3 + m. Which is smaller: -1 or h?
-1
Let x = 38 - 115/3. Let l be (-1)/5 + 72/60. Let r be (-1 - l)/(7/7). Which is smaller: x or r?
r
Let y = -5 - -4.7. Let v = -0.2 - y. Suppose -2*k = -2*d + 14, d - 3*k = -8*k - 11. Which is greater: v or d?
d
Suppose 4 = -4*k - 0. Let c = k - -9. Let o(w) = w. Let m be o(7). Is c > m?
True
Let o(z) = z**3 + 8*z**2 - 8*z + 7. Let w be o(-9). Does w = -3?
False
Let b = -16 - -22. Let j = b - 6.3. Let f = 0.2 - 0.1. Which is bigger: j or f?
f
Let s(v) = -v**3 + 5*v**2 - 4*v + 2. Let a be s(4). Suppose -3 = -h + 1. Let j = h - 3. Is a at most as big as j?
False
Let z = 0.76 - 0.62. Which is smaller: z or -0.2?
-0.2
Let s be ((-6)/(-4))/(6/8). Suppose 2*j - s - 4 = g, 2*j + 14 = -4*g. Let t = -2/111 + 121/555. Which is smaller: t or j?
t
Let k = -8 - -7. Let c = 4 - 3. Let r be (c/(-4))/(3/4). Which is smaller: r or k?
k
Let u(g) = g + 3. Let w be u(-2). Let y be (5 + -1*1)*5/70. Is w at least as big as y?
True
Let i(r) = -2*r - 5. Let l be i(-4). Suppose 0 = -l*a + 3. Let p be 3/(-6) + 3/2. Is p equal to a?
True
Suppose -9 = 3*y - 2*y - 4*f, f = 2*y + 4. Let c be -1 - (y - (1 + -1)). Which is smaller: 2 or c?
c
Let w be ((-3)/(-8))/((-15)/(-10)). Does w = -2?
False
Suppose -u = 5*i - 19, -u - 2*i = 2*i - 15. Is u != -1/2?
True
Let g(v) = -v**3 + 5*v**2 + 3*v + 9. Let i be g(6). Which is bigger: i or -7?
-7
Let j(s) be the third derivative of -s**4/8 - 5*s**3/6 + 5*s**2. Let d be j(-2). Let n = 7/20 + -57/220. Which is greater: n or d?
d
Let i(a) = -a + 4. Let p be i(5). Suppose w + 2*n = 5, n - 23 = 4*w - 7. Is w less than or equal to p?
True
Let s(j) = j - 3. Let o(t) = t**3 + 6*t**2 - 2*t - 6. Let z be o(-6). Let y be s(z). Suppose -y*x - 9 = 2*f, -5*f = -x + 3*x + 6. Is -1 < f?
True
Suppose -13*x - 16 = -14*x. Is 16 bigger than x?
False
Let n = -17 - -18. Let u be (-1 + 4 - n) + -1. Which is greater: u or 0?
u
Let p(m) = -m - 5. Let k be p(-3). Let i be (15/(-25))/((-2)/(-10)). Is k < i?
False
Suppose -1 = -2*g + 3. Suppose 2*z + 12 = -4*a, -3*z + g*a = 7*a + 18. Which is smaller: -5 or z?
