. Let j = -4 - k. Which is greater: -0.04 or j?
-0.04
Let a be (-2 - -7)*(-4)/(-15). Suppose -2*y + 4 = -3*p - 12, -3*y = -p - 10. Which is greater: y or a?
y
Let c(x) be the second derivative of x**3/6 - 3*x. Let b be c(-2). Let o be b*6/(6/2). Is -4 less than o?
False
Let l(b) = -6*b**2 - 3*b - 2. Let g(i) = 5*i**2 + 3*i + 2. Let v(r) = 4*g(r) + 3*l(r). Let h be -5*-1*(-2)/5. Let f be v(h). Which is smaller: 2 or f?
2
Suppose -4*q = -5*l + 144, 5*l + q - 142 = 3*q. Which is smaller: 27 or l?
27
Let v = -16/45 - -5/9. Is 1 less than or equal to v?
False
Let b = -141995/204 - -2783/4. Let v = b - 1/34. Which is smaller: 0 or v?
v
Let x be (-2)/(-1)*4/8. Which is smaller: x or 0?
0
Suppose 16*n - 35 = 11*n. Which is bigger: -2 or n?
n
Let j = -0.2 - -0.3. Let y = -11 - -17. Let z = y + -6. Which is greater: j or z?
j
Let f = 0.2 - 0.3. Let g = -7 - -7. Let w = f + g. Is w greater than -0.2?
True
Let f = 1.1 - 1. Let l = -0.6 - -0.5. Let j = l + f. Which is bigger: j or 4?
4
Let f(t) be the second derivative of 0*t**3 - 2*t + 0 + t**2 - 1/12*t**4. Let v be f(0). Which is smaller: v or 3?
v
Let y = 1.16 - 0.16. Let j = y - 1.1. Which is bigger: 5 or j?
5
Let x = 3509/12 + -292. Let j = x + 1/12. Let w be 2/8 + 1/(-36). Are j and w equal?
False
Suppose t - t = -6*t. Which is smaller: -1/3 or t?
-1/3
Suppose 4*r - 8*r = 0. Let p = r + 1. Which is smaller: p or 2?
p
Suppose -3*q + 73 = 5*d, -4*q + 60 = 3*d - 19. Let c be -6*3/(9/q). Let v = 286/9 + c. Do v and 2 have the same value?
False
Let h(p) = -p**2 + 11*p - 14. Let g be h(6). Let u = -15 + g. Is u <= -1/11?
False
Let t be (1 - 19)*(4 - (-26)/(-6)). Is t at most 8?
True
Let c be -2 - ((-4 - -2) + -3). Is 5 <= c?
False
Let k be (-112)/(-18) + 2/(-9). Let o be 2*(-1 - 3/k). Let b(q) = -q**2 - 3*q + 2. Let a be b(o). Are 2 and a unequal?
False
Let m = 70/3 - 356/15. Which is bigger: 0 or m?
0
Let q be (7 + -5)/((-2)/5). Let d(n) = n**3 + 5*n**2 - n - 3. Let g be d(q). Suppose g*c - 2*b = 8, 3*c - b - 4 - 2 = 0. Is c less than 3/4?
False
Let p(z) = z - 7. Suppose -4*u + 40 = u. Let c = 13 - u. Let k be p(c). Which is bigger: -4/5 or k?
-4/5
Suppose 8004 = -0*i + 4*i. Let p be 1*i/(-21) + -2. Let c = p - -97. Is c bigger than 0.2?
False
Let v be (-4)/(0 + -2) + 2. Suppose 0 = -2*f + 8 + v. Let m be 7/(-28)*8/f. Is 0.2 greater than m?
True
Let n be -9 - (-2 + 24/4 - 3). Which is bigger: n or -11?
n
Let n be (-2)/3 + 16/(-24). Which is greater: n or 0?
0
Let z = -1.5 + 0.98. Is z >= -2/3?
True
Let t(j) = -13*j + 6. Let r be t(3). Are -36 and r non-equal?
True
Let j = 12 + -18. Let c = j - -5.2. Let l = c - 0.2. Is l bigger than -0.4?
False
Let c be 1 + -4*1/(-2). Suppose 0 = -2*p - c*p. Let k = -1 + 1. Is p bigger than k?
False
Suppose -w = 2*w + 6. Let n be 6*1*(-2 + 3). Let t = -8 + n. Is w <= t?
True
Suppose -j = -11 + 5. Is j equal to 5?
False
Let d = -0.04 + 0.1. Let k = 0.26 - d. Which is greater: 2 or k?
2
Let b = -86 + 43. Let u = b + 43.96. Let v = u - -0.04. Which is smaller: 6 or v?
v
Let p = -65 + 62. Which is bigger: 1 or p?
1
Let h(z) = -z - 12. Let f be h(-9). Let u be (0 + 1)*1 + f. Is 1 greater than u?
True
Let s(b) = -b**2 + 6*b - 11. Let o be s(8). Which is greater: -2 or o?
-2
Let h be (-30)/(-4) - (-4)/8. Is 8 <= h?
True
Let q = 11 + -9. Let f = 2 - 2. Which is smaller: q or f?
f
Let z be 4/15*3/2. Let p(g) = g**3 + 9*g**2 + 8*g - 1. Suppose k + 0 = -8. Let b be p(k). Does b = z?
False
Let s(l) = -l**3 + 9*l**2 - 7*l - 9. Let z be s(8). Let i = -5.97 - -6. Which is smaller: i or z?
z
Suppose 0 = -3*o - 2*o + u - 12, u = -o. Suppose -5*k - 3*d = -14 - 3, 13 = 5*k + 2*d. Let b be k*(o + 14/10). Is b < -2?
False
Suppose 29 = -4*w - 43. Let o = 15 + w. Is o less than -3?
False
Let l(d) = d**2 - 9*d - 10. Suppose -4*s + 4*c + 56 = 0, 4*s = 4*c - c + 52. Let w be l(s). Which is smaller: -3/7 or w?
-3/7
Let s = 1.2 - 1.1. Let a = -1.5 + 1.6. Is s equal to a?
True
Let u = 23 - 22.9. Is u < 36?
True
Let r(h) = -h**2 + 6*h - 4. Let i be r(4). Suppose 0*g = -g + i. Suppose -4*t = -0*t - 5*s + 7, -7 = -2*t - s. Is g smaller than t?
False
Suppose 27 = -7*n + 8*n. Is 28 less than or equal to n?
False
Suppose -2*j = 5*g - 10, -2*j - g = -6*g + 30. Let u be 2 + (-5 - (-3 + 3)). Which is greater: j or u?
u
Let h(b) = 2*b**2 - 7*b + 2. Let s be h(5). Let q = s - 15. Which is bigger: q or 0?
q
Suppose -8*w - 268 = 92. Which is greater: -46 or w?
w
Suppose 2*q = 5*q - s + 17, 8 = -4*q + 5*s. Which is smaller: q or -8?
-8
Suppose 0 = 2*w + 8, 5*a + 7*w + 9 = 6*w. Is a < -14/13?
False
Suppose -l = 3*l - 4. Let r = 6 - -1. Let o be 2/(-7) - 19/r. Which is smaller: o or l?
o
Let j(p) = p**2 - 5*p - 7. Let l be j(6). Let r = -603/5 - -120. Is r greater than or equal to l?
True
Let k = 8 - 8. Suppose k = -3*c - 4 - 2. Which is smaller: -1 or c?
c
Suppose -3*d + 0*t + t = 1, 2 = 3*d + 2*t. Suppose -4 = -d*w - 4*w. Are w and 2 non-equal?
True
Let v = 1 - 0. Let u = 26.87 - 27. Let z = u - -0.08. Which is bigger: v or z?
v
Let o be ((-6)/(-12))/((-1)/8). Is o less than -4?
False
Suppose 3*l = 1 + 2. Let o = -4.9 - 1.1. Let g = 4 + o. Which is greater: l or g?
l
Let x(p) = -p**2 - 8*p + 10. Let v be x(-9). Let m = 1 + v. Suppose m*q - 4*j + 12 = 0, 0 = -2*q + 3*j - 8*j + 24. Do q and 2 have different values?
False
Let s be 1/(-2) + (-33)/(-6). Let z = -11 + s. Let b be (-4)/(-6) + (-2)/z. Which is smaller: b or 0?
0
Let s be (-1821)/12 + 2 + 3. Let o = s + 146. Let p = -4 + 2. Which is bigger: p or o?
o
Suppose 5*m = m + 8. Suppose -4*l + 5 + 3 = 0. Suppose -5*v - u - 3 = -7, l*u + 4 = 2*v. Which is greater: m or v?
m
Suppose -3*r + 5*r + 5*u - 17 = 0, 3*r - 19 = -u. Suppose -r*y - 9 = -5*y. Is y at least as big as -9?
True
Let n(r) = -r + 15*r**2 - 30*r**2 - 3 + 16*r**2. Let l be n(2). Which is smaller: l or -2/27?
l
Let f = 0.2 + -0.3. Are -27 and f unequal?
True
Let y = -0.2 + 0. Which is greater: -9 or y?
y
Suppose -t + 5*b = -2*t + 121, -4*b = -3*t + 420. Let h be 1/(-4) + 50/t. Is -1 at most as big as h?
True
Let p = 32 + -35. Which is smaller: p or 0?
p
Let j be (-1)/(-6)*4 - (-32)/(-42). Which is bigger: 0 or j?
0
Let n be (2*2/(-10))/(22/70). Is 0.1 less than or equal to n?
False
Let a(j) = 3*j - 6. Let k be a(3). Which is smaller: k or 10/3?
k
Let z = 2/57 - 79/627. Let r(g) = -g**3 + 6*g**2 + 7*g + 1. Let o be r(7). Is z at most as big as o?
True
Suppose 4*f - 5*l = 3*f - 65, 0 = -f + 3*l - 55. Is f greater than -41?
True
Let t = 129.6 - 130. Which is smaller: 4 or t?
t
Let n = -19 + 10. Let i(z) = -z - 20. Let l be i(-11). Do l and n have the same value?
True
Let d = 1 - 0. Suppose 0*o + 5*o = 15. Suppose 4*n - 15 = -7, 10 = -o*g + 5*n. Which is bigger: d or g?
d
Let l = -1 + 2. Let h be 2/(-6) + 0 + 125/15. Is l bigger than h?
False
Let s = 56 + -38. Let r = 18 - s. Which is greater: -0.3 or r?
r
Let d be 8/12*12/(-52). Which is smaller: 0 or d?
d
Let z = -4 - -4.2. Is 6 > z?
True
Let b = 10 + -14. Let r = 2.7 - 1.7. Is b less than r?
True
Suppose 3*f + 5*h = 2*h + 9, 5*h = -f + 19. Let a be (-1 - -1 - 1)/1. Let n be (-10)/(-14) - f/a. Which is smaller: n or -1?
-1
Let z = 20 - 8. Suppose -9*l = -z*l + 36. Which is bigger: 13 or l?
13
Let g = -13 - -11. Let z = 1 - g. Is -0.1 less than z?
True
Suppose 4*c + 540 = -6*c. Do c and -56 have different values?
True
Let g(t) = -6*t**2 - t. Let i be g(1). Let b = -5 - i. Which is smaller: b or 4?
b
Let j = 0.02 + 0.11. Let w = 0.2 - j. Which is greater: w or 0?
w
Let m(i) be the second derivative of -i**3/3 - 2*i**2 + 2*i. Let d be m(-4). Suppose x = d*x. Is x > -1?
True
Let i = 448 - 39870/89. Which is bigger: i or 0?
i
Let l be (3 + -2)/(2/14). Which is smaller: l or 4?
4
Let x = -0.2 + -0.2. Let a = 1.4 + x. Is a less than -4?
False
Let h be ((-1)/2)/(((-75)/84)/25). Is h at most as big as 13?
False
Let k = -2 + -6. Let h = -11.8 + 12. Which is bigger: h or k?
h
Let z = -72 + 39. Is z at least -32?
False
Let f(n) = n - 23. Let z be f(-27). Is z at most -50?
True
Suppose -2*f = -6*f - 8, 4*f + 8 = -4*s. Let y = 145/32 - 9/2. Is s less than y?
True
Let b = -30 - -59. Is b >= 31?
False
Suppose 20 = -i - 4*i. Let y be 2/(-7) + 496/(-28). Let t be 2/9 + i/y. Which is smaller: -1 or t?
-1
Suppose 0*g + 4*x + 70 = 3*g, 3*x - 63 = -3*g. Is 22 bigger than