 is smaller: -9 or g?
-9
Let x = -3 + 1. Which is bigger: -3 or x?
x
Let l = 88 + -88.1. Let r be (-168)/82 - (-2 + 0). Do r and l have different values?
True
Let g = -24 - 11. Is g != 0?
True
Let p be 2/(-8)*(2 - 1). Let r = -1.6 + 1.8. Let k = r + -7.2. Does k = p?
False
Let j = -4 + 2.96. Let s = -0.04 - j. Is s bigger than -1?
True
Let a = 16 + -14. Suppose a*p - p = 1. Let u = 6 + -3. Is p not equal to u?
True
Let m(l) be the first derivative of -l**3/6 + 3*l**2 - 2*l + 1. Let h(n) be the first derivative of m(n). Let g be h(5). Is 0 <= g?
True
Let r be -1 + (-12)/(-3) + 1. Suppose -4*a = a + 5*h - 40, r*a = -3*h + 28. Suppose -a*y = -4*q, -5*q = -q + 4*y - 16. Which is bigger: q or 3/2?
q
Suppose -r - 3*r = -12. Suppose -6*f = -r*f - 12. Are 3 and f non-equal?
True
Suppose -6*l = -3*l. Are -2/317 and l equal?
False
Suppose -2*i = -6*i + 20. Suppose 0 = i*m + x - 42, 0*m - x + 6 = m. Is m greater than or equal to 8?
True
Suppose 0*b - 5*h - 97 = 3*b, 105 = -3*b - 3*h. Is b less than -38?
True
Let m be 1*(2/1)/4. Suppose -1 = 3*v - 10. Suppose 5*g + v*k - 17 = 0, -k + 11 = -g + 2*k. Which is smaller: m or g?
m
Let k(m) be the third derivative of m**5/60 - m**4/24 - 2*m**3/3 + 3*m**2. Let l be k(3). Which is smaller: l or 4?
l
Let g = 25 + -26.1. Let p = g - -0.1. Let l = p + 0. Is -1 less than l?
False
Let q = 24 + -23. Is q at least as big as 3/32?
True
Let q(d) = d**3 + 6*d**2 + 5*d + 3. Let j be q(-5). Suppose -j*k + 19 = 5*n, 5 = -4*n - 5*k + 28. Suppose -a + n = 6. Is a less than -2?
True
Let u be (-1)/7 + 4/28. Let g be 3/(-9)*(-3 + u). Are 1 and g unequal?
False
Let w be (-1)/(-2 + 14/8). Suppose u - z - 4 = 0, -2*u + w*z + 16 = -6*u. Which is smaller: -0.4 or u?
-0.4
Let k = -242 + 226.1. Let r = k + 16. Which is greater: 2/9 or r?
2/9
Let s = 25 - 24.96. Is 0.1 != s?
True
Suppose g - 23 = 5*c, 3*g + g = -3*c. Let i be (1 + (-9)/30)*c. Are i and -4 nonequal?
True
Let z = 64.8 + -30.7. Let r = z - 36. Let a = 2 + r. Is a less than or equal to -1/4?
False
Suppose 0 = n - 6. Let x be (-20)/6*n/5. Let s(q) = q + 2. Let h be s(-6). Do x and h have different values?
False
Let h(i) = -i**3 - 6*i**2 - i - 3. Let v be h(-6). Suppose 0 = -j - 4*j + 15. Suppose 3*g = -w + 6 + 3, -5*g + 1 = -j*w. Is v greater than w?
False
Let x be 18/90 - (21/5 - 2). Which is smaller: -4/5 or x?
x
Let n be 9/6*104/(-12). Let j = -11 - n. Which is smaller: 7/5 or j?
7/5
Let s(l) = 2*l**2 + 7*l + 3. Let f be s(-3). Do 1/2 and f have the same value?
False
Let l = -213 - -841/4. Which is greater: l or -2?
-2
Let u = 3 - 2.8. Which is greater: u or 16?
16
Let a(r) = r + 8. Let t(k) = -k**3 - 4*k**2 + 8*k + 6. Let v be t(-5). Let z be a(v). Which is smaller: 2/3 or z?
z
Let s = 1/11 + 9/22. Let u = -8 + 11. Which is bigger: u or s?
u
Let g = 18 - 17. Which is greater: g or -2/93?
g
Let q be (21/(-5))/(5/25). Let c be -878*(3 + 60/q). Let u = 125 + c. Which is bigger: 0 or u?
0
Let d be (-2)/5*(-3)/2. Let l(g) = 3*g + 78. Let b be l(-26). Which is smaller: d or b?
b
Suppose 0 = c + 4*c + 25. Let a(z) = -z**3 - 4*z**2 + 5*z + 2. Let l be a(c). Let p be (l/(-8))/(2/4). Which is smaller: p or -0.2?
p
Suppose -2*r = 3*r + 55. Which is bigger: r or -35/3?
r
Suppose -6*z + 11*z + 2*j - 24 = 0, 4*j = -3*z + 20. Suppose 4*r - p - z*p = -23, p - 5 = r. Does -1 = r?
False
Suppose 6*o = -4*q + 2*o, -q + 2*o = 0. Let r = q + -13. Is r greater than -14?
True
Let v be (2/(-8))/(2/(-8)). Let a = v + 1. Suppose a*h + 3*h - 5 = 0. Which is bigger: h or -0.2?
h
Suppose 0*y + 2*y + 2 = 0. Let d = -32.3 + 34. Let t = 2 - d. Is y less than t?
True
Let p = 3440/9 + -380. Which is bigger: 2 or p?
p
Suppose 2*z - 7 = -19. Let f = 10 + z. Suppose 0 = 2*i - 3*i - k + f, 8 = 4*i + 2*k. Is 2/15 <= i?
False
Let b be 6/3*3/(-6). Let c be ((-8)/4)/((-1)/(-2)). Let t = c - -2. Is t smaller than b?
True
Suppose 0 = -3*a - 9, 2*z = 3*a + a + 14. Which is greater: -9/5 or z?
z
Let y be (-64)/20*10/(-4). Which is smaller: 10 or y?
y
Let q(r) = r**2 - 12*r - 23. Let i be q(14). Which is bigger: i or 0?
i
Let s = 6 + -6. Suppose l + 3 = 2*l. Suppose 25 = -l*m - 5*h, 3*m + 8 + 7 = -3*h. Does s = m?
True
Suppose x - 3*x = -5*s - 15, -4*s = -5*x + 12. Is x greater than or equal to 4/9?
False
Let f = 4 + -6. Let w = -1.8 - f. Let g = w + -0.4. Is g smaller than 0?
True
Let r = -58 - -59. Which is bigger: -2/21 or r?
r
Let l be 1 - ((-51)/(-30))/1. Let x = l - 2/15. Which is smaller: -1 or x?
-1
Suppose 2*v = -3*z + 41, -z + 0*z + 35 = 2*v. Let b be 3 + v/(-9) + -1. Is b > 2?
False
Suppose m - 3*w = 2*m - 1, -4*m = -w - 43. Let y be (-1)/(-5) - (-2)/m. Is 1 > y?
True
Suppose 0 = -x + 5*x + 4. Suppose 3*b - 7*b - 1552 = 0. Let c = b - -9698/25. Which is smaller: c or x?
x
Suppose 0*a = 5*a - 20. Suppose z = -6 + a. Is -5 less than or equal to z?
True
Let v be 2/(-14)*2 - 0. Let l = -5/13 - -2/39. Which is bigger: l or v?
v
Let o be 26/(-3)*6/8*-2. Is 14 greater than o?
True
Suppose 0 = -3*r + 5*b + 31, -3*r = 2*r - 2*b - 20. Is 3/4 at most as big as r?
True
Let c(o) = 2*o. Suppose 4*h + 2 = 10. Suppose 2*q = 4 - h. Let x be c(q). Is 2 at most as big as x?
True
Let t(i) = -i**2 - 7*i + 7. Let z be t(-8). Is 0.04 at most as big as z?
False
Let s(f) = f - 7. Let c be s(6). Let n be (1 - c/(-4))/3. Are n and 1 unequal?
True
Let s(i) = i**3 + 8*i**2 - 4. Let t be s(-8). Let k be (-210)/(-156) - (-6)/t. Is k < 2?
True
Suppose 2*w + 3*w = 5. Let y = 2 - w. Which is greater: 2 or y?
2
Suppose -k - 45 = -0*k - 4*u, -4*k - 3*u = 123. Let r = k - 0. Let q be 15/r - (-1 - 0). Which is smaller: 1 or q?
q
Suppose -4 + 0 = 2*k. Let u be ((-8)/2)/(-1 - 1). Suppose 5*r + 7 = u. Is r less than k?
False
Let p be (4 + -2 - -1 - 5) + 3. Which is greater: 3/26 or p?
p
Let l be 0 - (-6)/(-32)*2. Let m = -17 + 23. Suppose p + 3*i + 8 = 0, -m*i - 16 = -p - i. Is p at most l?
False
Let w = -247/30 + 49/6. Is w smaller than 1/3?
True
Let f be (-9)/27 - 2/(-6). Suppose i = -4 - f. Suppose -3*a = -4*d, 2*d + 5*a + 22 = a. Do i and d have the same value?
False
Suppose 4*y - 15 - 9 = 0. Suppose 6 = 3*z - y. Suppose 2*b = -z*r, -b = -2*b - r. Is b greater than 0?
False
Let p = -310.7 + 310. Let r = 1/159 - 4663/8268. Let c = 4/13 + r. Is c bigger than p?
True
Let x be -4 + 2 - (-4)/2. Let p = -6 + 5. Which is greater: p or x?
x
Suppose 7*r = 5*r. Which is smaller: 2/27 or r?
r
Suppose -3*d + 2 = 3*q - 8*d, 3*d = -q - 4. Let t = -2/109 - 299/1526. Let y = 2/7 - t. Is q not equal to y?
True
Let k = -30 - -12. Is 0.1 <= k?
False
Let j = 9 - 4. Suppose -j*g = -1 - 9. Suppose 1 + 0 = -g*l + h, l - 10 = -3*h. Is l less than 2/5?
False
Let f be -2 + 1*(-2)/(-1). Let o = -0.3 + 3.5. Let n = o + -3. Which is smaller: n or f?
f
Suppose -5 = -b - 2. Suppose 0 = b*h - 4*h - 1. Let d = 100/7 + -886/63. Is d not equal to h?
True
Suppose 0*w - 3 = w. Suppose -3*h + 8 - 4 = -2*l, -l - 5*h = 28. Let s = l + 5. Is w bigger than s?
False
Let a = 74 - 1108/15. Is -1/3 != a?
True
Let y = -0.16 + -2.04. Let l = -2 - y. Is l at most as big as -1?
False
Let q be 2*(-3)/6 - (-70)/18. Which is bigger: 3 or q?
3
Let w be (1 + 1)*(3 - 1). Suppose -2*v + 12 = -w*v. Which is smaller: -5 or v?
v
Let d = -44 + 43. Which is smaller: 79 or d?
d
Let y = -15 + 8. Let q be y/3 + 6/(-9). Let x be ((-20)/8)/(1/2). Which is smaller: q or x?
x
Let d = 0.08 - 2.08. Let v = 0.2 - 0.2. Let s = v + d. Which is smaller: s or 1/2?
s
Let r be (-3)/6*-2*62. Let a be r/(-21) - (-6)/2. Is 0 > a?
False
Suppose -y + 8 = -2. Let p(t) = t + 5. Let a be p(-6). Is a at most y?
True
Let i = 43/3 + -95/6. Suppose 9*b + 6 = 7*b. Is b > i?
False
Let i = -59.944 + 60. Is 0 at least as big as i?
False
Let z(j) = -2*j + 6. Let x be z(5). Let i be ((-6)/x)/(27/4). Let t = 6.8 - 7. Which is smaller: i or t?
t
Let b = 55.3 + -58. Let l = b - 0.3. Is 2 <= l?
False
Let w(j) be the third derivative of -j**6/120 + j**5/12 - 3*j**2. Let i be w(5). Which is bigger: 8/7 or i?
8/7
Let l = 0 - -9. Let i be 10/(-36) + (-2)/l. Are -4/7 and i equal?
False
Let z be 10 + (-2 + 3 - 1). Suppose -5*k = -19 - 6, -5*l - 3*k - z = 0. Is -5 at most as big as l?
True
Let m(q) = -7*q - 35. Let c be m(0). Is -36 bigger than c?
False
Let n be 4/(-6)*6/24. Are n and -3 non-equal?
True
Suppose 4*y + 14 = 6. Let c be y/22*(-3)/(