-54) + (-2)/12. Suppose -f = -4*w - 20 - 7, -j*w - 4*f = 0. Is w < -4?
True
Let i = 6.99 - -0.01. Let n = i + -10. Is -2/9 < n?
False
Let j(l) = l**3 + 7*l**2 + 6*l + 4. Suppose -2*v - 2*p = 3*p + 32, -5*v = -4*p + 14. Let k be j(v). Let b be 1/(-2)*24/(-3). Is k less than b?
False
Let l = -38.06 - -38. Which is smaller: 1 or l?
l
Suppose -24*u + 19*u + 150 = 0. Which is bigger: u or 31?
31
Let y(x) = 7*x + 0*x**2 + 4*x**2 - x**3 - 3 - 10*x**2. Let f be 0 + 1 - (2 - -6). Let q be y(f). Which is bigger: -2 or q?
-2
Let t(g) = g**3 + 4*g**2 + 2*g + 2. Let f be t(-4). Let w be (f - -3)*(-3 - -1). Let p = -8 + w. Is -2 at most as big as p?
True
Let w = -92 - -11. Let a be (0 - -2) + (-397)/(-5). Let i = w + a. Which is smaller: i or 0?
0
Let p be 14/49 - (-57)/21. Which is bigger: 8/5 or p?
p
Let t(u) = -u - 3. Let v be t(-3). Suppose -z - 3 = 2*z. Let k be z/3 + 10/(-42). Is v < k?
False
Let z = -81 - -56. Let o be (-15)/z + (-3)/5. Let g(u) = u**3 - 3*u**2 + 2*u + 2. Let p be g(2). Is o equal to p?
False
Suppose 5*k + 3*c + 8 = 4*k, 4*c = k - 20. Let h be (4/16)/((-6)/k). Which is greater: -1 or h?
h
Let m(r) = r**3 - 3*r**2 - 2*r - 1. Let d be m(3). Which is greater: d or -9?
d
Let v = -8 + 14. Suppose -2*n - 2*u = 2*n + 6, v = -5*n - 3*u. Let y be (-1)/((-1)/n) + 5. Which is smaller: y or 4?
y
Let d(t) be the second derivative of t**3/6 + t**2 - t. Let g be d(-2). Let z = -141 - -707/5. Is z at least as big as g?
True
Suppose 0*r + 3*r - 36 = 0. Is 10 greater than r?
False
Let y(w) = w**3 + w - 1. Let m be y(1). Let i = -5 - -3. Let l = i - -3. Is l at most m?
True
Let z = -0.95 + -11.05. Are -2 and z non-equal?
True
Let x be -3*(-1 + -1)/6. Suppose -3*f - 3*a = -87, 5*a + 29 = 4*f - 42. Let q be (-30)/f*1/5. Is x >= q?
True
Let o(i) = -i**3 + i**2 + 2. Let d be o(3). Is -17 at most d?
True
Suppose 5*p = -l + 6*l + 85, -5*l - 2*p - 106 = 0. Which is smaller: 2/3 or l?
l
Let p(o) = 2*o**2 - 2 + 2 - o. Let d be p(1). Is 2 at least d?
True
Let t be (2 - (-1 + 3)) + -4. Let b be (t - -4) + 1*-2. Let c be (-54)/(-42) + b/7. Which is bigger: c or 0?
c
Suppose 2*v + 9 = 5. Let k be (1/(36/8))/v. Is 0 < k?
False
Let h(r) = -r - 3. Let a be h(-4). Let w = -4.4 + 5. Which is smaller: a or w?
w
Let y be (3/12)/(-3*4/16). Which is smaller: y or 31?
y
Let p = -2 - -13/5. Which is greater: p or 1?
1
Let t = 0.1 - 1.1. Let j = 0.3 - -1.7. Let m = j + -1. Which is smaller: t or m?
t
Let i = 166457/81 + -2055. Which is bigger: 1 or i?
1
Let a = 0.5 - 0.3. Let q = -2.8 + 3. Is q greater than a?
False
Suppose 3*v + 27 = 3*z, 0 = -4*z - 5*v - 0 - 9. Let k be -4 + 80/z + -2. Which is smaller: 13 or k?
13
Suppose -9 = -2*v + z, -3*z + 1 = -6*v + 7*v. Suppose v*j + 12 = -0*j. Which is smaller: -4 or j?
-4
Let p = -1.2 - -0.2. Let q(c) = -2*c**2 + 33*c - 21. Let x be q(16). Is p at least as big as x?
True
Suppose 5 = 5*c + 3*y - 7*y, 2*c = -5*y - 31. Which is smaller: -12/7 or c?
c
Let p be 1/(((-6)/(-4))/((-9)/6)). Which is smaller: 9 or p?
p
Suppose r = u - 5, -4*r - 10 + 2 = 2*u. Let j be -3*u/(-3) + -1. Let b = 80 - 398/5. Is j > b?
True
Let r(x) = -x**2 - 6*x - 6. Let o be r(-5). Is o at least as big as -15/7?
True
Let n be -3 - 24/(-4) - 3. Which is smaller: n or -0.89?
-0.89
Let a be (1 + (-2454)/2452)*2. Let z = a + -1175/31263. Which is smaller: 1 or z?
z
Suppose -4*v = 3*l - 12 - 9, 3*v = 2*l + 37. Is v less than or equal to 10?
True
Let p(b) = b**3 + 5*b**2. Let k be p(-5). Let t(o) = -o**3 - o**2 + o + 2. Let i be t(k). Suppose -7*x - 5*m = -3*x - 23, 3*m - 7 = x. Is i less than x?
False
Let a = 6.8 + -7.8. Let i = 2/153 + -479/1530. Is i at least a?
True
Let f = -1.4 + 0.4. Is -2 smaller than f?
True
Suppose -8*l = -7*l. Suppose 2*k - 1 - 7 = l. Let b(j) = -j + 1. Let a be b(-2). Is a smaller than k?
True
Let k(m) = -m - 7. Let w be k(-7). Suppose 4*g - 3*a = 0, 3*a = g - w*a. Is g equal to 0?
True
Let o = -25 + 24.1. Let b = 16 - 15. Which is smaller: o or b?
o
Let r be 1*2/4*0. Suppose -2*j + 0*j = r. Let y = 2.04 + -0.04. Which is smaller: y or j?
j
Let w = -3.2 - -3. Let j = -20 - -18. Which is smaller: j or w?
j
Let p = 201/5 - 39. Which is greater: 1 or p?
p
Let f = -9 + -3. Let y be (-11)/f + 6/(-9). Which is smaller: 2 or y?
y
Suppose -8 = 3*t - 5*w, -12 - 16 = -3*t - 4*w. Let a be ((-1)/(-10))/((-1)/t). Let i = -38 + 39. Is a smaller than i?
True
Let d be 0 - 4 - 126/4. Which is greater: -37 or d?
d
Let j(o) = -19*o. Let v be j(1). Which is smaller: -13 or v?
v
Let i(n) = -2*n**3 - 4*n**2 - 2*n + 1. Let x be i(-2). Suppose -20 + 10 = -x*o. Is 6 equal to o?
False
Let a = -0.131 - -0.064. Which is smaller: a or -0.2?
-0.2
Suppose 6*r + 39 - 153 = 0. Which is smaller: 1 or r?
1
Let n = -0.03 + 0.53. Let t = -0.5 - n. Let s = -0.4 - -0.3. Which is smaller: t or s?
t
Suppose -1 + 7 = -3*r. Let c be (1 - 3 - r)/2. Suppose 2*y = -2*y. Is y <= c?
True
Let h be 336/(-10) - (-9)/15. Do -35 and h have different values?
True
Suppose -9*x + 5*x + 8 = 0. Suppose 0*d + 12 = 3*d. Is d at most as big as x?
False
Let q = -1905/88 + 171/8. Let n = 2/11 + q. Which is greater: n or -1?
n
Let j be (-63)/24 - (0 + -3). Let t = 3.1 + -2.1. Is t at most j?
False
Let o = -1.7 + 2.34. Let s = -0.06 - o. Let f = -0.9 - s. Is -1 > f?
False
Let j(w) = w**2 - 9*w - 6. Suppose 3*v + 45 = 8*v. Let x be j(v). Is -9/2 >= x?
True
Let u = -82 - -120. Is u smaller than 38?
False
Let h(o) = 4*o**2 - 3*o - 3. Let u be h(-3). Suppose f - u = p - 2*p, 0 = -2*p + 5*f + 91. Let l = -173/4 + p. Is l bigger than 1?
False
Let l be 2/(8/(-2))*-2. Let j be -8*((-3)/1)/3. Suppose 0 = -4*w + j*w. Which is greater: l or w?
l
Let g = -36 - 9. Is g != 0.1?
True
Let l be (18/30)/(3/(-15)) + 19. Which is smaller: l or 69/4?
l
Let w(d) = -d - 4. Let c be w(-6). Let k be 2/(2/(c/(-23))). Let i(x) = x**2 - 5*x + 4. Let y be i(4). Is y > k?
True
Let u = -451 - -8566/19. Let i = 0 - 0. Do u and i have the same value?
False
Suppose 2*s - 2 = 4*n - 8, n = 5*s - 12. Suppose n*z = -0*z + 3. Is 2/3 < z?
True
Let v = 6 - 7. Let b be (-1)/(-4) - (-122)/(-8). Let f be (-3)/((b/(-2))/5). Which is bigger: f or v?
v
Let y = -29 + 28. Which is greater: 2/13 or y?
2/13
Let s be ((-15)/(-6)*2)/1. Suppose 4*d + 17 = -s*h, h + d = 2*h + 7. Let c = -14/3 - h. Is c greater than -2?
True
Let s = -93 + 92. Which is smaller: 3 or s?
s
Let g = 28 + -28. Does 0 = g?
True
Suppose -4*w + 3*w = 0. Let k be ((w - -2)/50)/1. Is 1 equal to k?
False
Let k = -10 + 13. Let s = -8 - -5. Let q = 2.9 + s. Is k smaller than q?
False
Let r(m) = -17*m. Let j be r(1). Is -16 at most as big as j?
False
Suppose -45 = 2*s + 19. Let t = s - -14. Let b be (-6)/t - 8/6. Is b at least -2/11?
False
Let g = 9 - 0. Let l = g - 9. Is 0 > l?
False
Let w be (-149)/630 - (-2)/9. Let z = w - 13/315. Which is smaller: z or -1?
-1
Let m = 2.45 - -0.55. Which is smaller: m or 5?
m
Suppose -5*t + 3*c - 198 = 0, t + 3*t = -2*c - 176. Let z be (-4)/12 - 8/t. Are z and 1 unequal?
True
Let o(q) = -47*q**2 + 6*q - 2. Let c be o(5). Let h = 12555/11 + c. Let w = -60/11 - h. Which is smaller: 0 or w?
0
Suppose -w = -5*w. Suppose 3*i + w*i - 12 = 0. Suppose -5 = j + i*j. Is 2/13 != j?
True
Suppose 3*k = -0*k + 6. Let t be 3*3*k/48. Which is bigger: 1 or t?
1
Let u = 9 - 6. Suppose h + 2*q + 18 = -3*h, u*h + 2*q = -12. Let m(o) = -o**2 - 6*o. Let g be m(h). Is 0 at most g?
True
Let k(y) = y**3 + 4*y**2 + 4*y + 1. Let u be k(-3). Let q be 11/u + 6/4. Let x be 1*2*2/q. Is x at most as big as 0.2?
True
Let r = 0 + 10. Let m(l) = -l**2 - 8*l - 8. Let h be m(-6). Suppose 22 - h = 2*a. Which is bigger: r or a?
r
Let n = -16 + 6. Let p = -19/2 - n. Is p less than -1/2?
False
Suppose 2*n + 93 + 3 = 0. Let v be (-4)/n - (-1)/(-3). Which is smaller: -1 or v?
-1
Let k be (1/(-15))/((-11)/693). Which is smaller: k or 5?
k
Let a be 0 - 1 - (1 - 0). Let n be (-1)/3 - (a + 1). Which is smaller: n or 0?
0
Let q be (-2)/(4/(-3)) - 4012/(-472). Suppose 3 = -2*u + 25. Which is smaller: u or q?
q
Let w(x) = -x**3 + 3*x**2 - 2*x + 1. Suppose 3*v + 4*p - 2 = -5, 4*v - p - 15 = 0. Suppose 0*y = -a - v*y + 18, 25 = 5*a + 2*y. Let t be w(a). Is -5 != t?
False
Let g = -1 - -3. Let u(j) = 1 + 4*j**3 + j - g - 3*j**3. Let f be u(1). Is f equal to 4?
False
Let p(l) = -l - 6. Let y be p(-10). Su