et l be (-4)/10 + 36438/66495. Let k = g + l. Which is smaller: k or 0?
0
Let q be -2 - (-2 - 0) - -25. Suppose -2*z + 7*z = q. Suppose -2*d = 3*m - 4*m + 10, 0 = 5*m - z*d - 30. Which is smaller: 1 or m?
1
Let j(v) = v - 1. Let i be j(9). Let a be 6/i + 5/(-6). Which is greater: a or 3/5?
3/5
Suppose 0*g - 2*g + 18 = 0. Let r(x) = -3*x + 10. Let a be r(g). Is a at least as big as -18?
True
Let g(v) = 2*v**2 - 2*v + 1. Let u be g(1). Let s(d) = -d - 2 + 0 + 0. Let o be s(-2). Is o > u?
False
Let g = -24.35 - -0.25. Let m = -24 - g. Is 0.3 greater than or equal to m?
True
Let t be 6 - 3 - (1 + 0). Suppose 0 = -5*p - 5*x + 20, 7*p - 19 = 2*p - 4*x. Suppose n + p*n = 0. Is t at most n?
False
Let s(d) = -d**3 - 7*d**2 - 9*d - 1. Let j be s(-5). Is -6 < j?
False
Let u(n) = -n**3 + 6*n**2 + n - 6. Let v be u(6). Suppose v = 4*q - 4*k + 16, 5*k - 1 = 14. Is -1 less than or equal to q?
True
Suppose 3*w + 2 - 8 = 0. Let d be 0 + ((-6)/(-9))/w. Let k = 0 - 1. Is d less than or equal to k?
False
Suppose -3*f = 2*f - 75. Suppose 0*g + f = 3*g. Suppose -2*t = -g*t - 3. Which is smaller: t or 1?
t
Let o(v) = v**3 + 7*v**2 - 2*v + 1. Let z be o(-7). Suppose -3*m + l = 3, -3*m + 5*l = -m + z. Which is smaller: m or 2/9?
m
Suppose 44 = 5*c - 3*k, -33 = 3*c - 6*c + 4*k. Which is bigger: 8 or c?
8
Let i be (2/(-4))/(5/(-20)). Suppose j = -4 + 7. Let p = i - j. Is -2/31 less than or equal to p?
False
Let b(x) be the first derivative of -x**3/3 + x**2/2 + 3*x - 1. Let p be b(0). Suppose 0*f = f - p. Is 2 at most as big as f?
True
Suppose 0 = -6*a - 316 + 76. Is a bigger than -40?
False
Suppose -2*y + y = 5*f - 25, 2 = 3*f - 2*y. Let r be (-1)/7*(2 - f). Which is smaller: 1 or r?
r
Let x(t) = t**3 + 4*t**2 + 3*t. Let w be x(-3). Suppose 3*h - 3 + 18 = w. Let r be (-2 + 0)*h/(-10). Is r less than -1?
False
Let f be 2/(-3) - (-23)/21. Let w be (2/4)/((-2)/(-4)). Let d be 0*(3/(-6) + w). Which is smaller: d or f?
d
Let p(k) be the third derivative of -k**5/60 + 7*k**4/24 - 7*k**3/6 - k**2. Let i be p(6). Let s(d) = -d**3 - 3*d**2 + 5*d + 3. Let x be s(-4). Is x >= i?
True
Let m = 0 + 1. Is m greater than or equal to 1/9?
True
Let r = -135/952 + 2/119. Let p be (2 - 2)*6/12. Is p bigger than r?
True
Let g(k) = -16*k**2 + k - 1. Let n be g(1). Which is bigger: 0.1 or n?
0.1
Let h = -25 + 31. Does 8 = h?
False
Let m be (30/2240)/(1/(-4)). Let s = -10355/68376 - 28/407. Let z = s - m. Is z < 1?
True
Let h = -23 + 21. Which is greater: -15/7 or h?
h
Suppose -6*c + 150 = -c. Suppose 14 = -2*u + 2*m, 5*m = 5*u + m + c. Let r be (-1*(-4)/u)/(-2). Which is bigger: 1/3 or r?
r
Let v be (-15)/27*(1 - 1/(-2)). Is v < 0?
True
Let q = -48.2 - -38. Let l = -10 - q. Do l and 3 have the same value?
False
Suppose 0 = 2*o + 2*o. Is 7/11 less than or equal to o?
False
Let o = 6 + -44/7. Suppose -3*p + 87 = -0*p. Let j = -201/7 + p. Which is smaller: j or o?
o
Let i be -1*(-3)/(-27)*-3. Suppose -5*k = -0*k. Is k less than i?
True
Let r = -114/5 - -1502/65. Suppose -2*l = l + 3. Is l > r?
False
Suppose -4*q + 0 = -4. Let y be (-2 - 0) + 62/51. Let m = 2/17 + y. Which is greater: m or q?
q
Let a(b) = b**2 - 7*b + 4. Let t be a(5). Let z be (6/(-9))/((-2)/t). Let l be 1 - 1 - (-2 + 3). Does l = z?
False
Suppose 0 = g + 4. Suppose -5*w - 5*c = -5, -3*w = -0*w - 2*c + 17. Let q = w + g. Are -6 and q nonequal?
True
Let l = -1 - -1.3. Let w = 0.7 + l. Let y = -103 + 102. Which is greater: w or y?
w
Suppose 0*x = 3*x + 9. Let z = -1443/2 + 686. Let f = z + 34. Which is smaller: f or x?
x
Let o = -25 + 43. Let u be (2/o)/(15/90). Are 5 and u non-equal?
True
Suppose -a + 2*a = -1. Are a and -2 equal?
False
Suppose 2*f + 1 = 3. Is f smaller than 0.04?
False
Let g = 21 - 23. Let i = -3 - -2. Let j(t) = 2*t + 1. Let s be j(i). Which is smaller: g or s?
g
Let y be (6/(-4))/(63/(-12)). Let k be (-148)/(-6) - 2/(-6). Suppose -k = -5*b, 0*m - 5*m + b - 10 = 0. Are m and y equal?
False
Let g = 2 + -1. Let l = 0 + 5. Let c = l + -4. Is g smaller than c?
False
Suppose 0 = -6*k - 7 + 1. Is k not equal to -1?
False
Let c = -2 - -3. Let d be (-9)/(-21)*(-14)/32. Which is smaller: d or c?
d
Let y = 5/12 + 1/12. Which is smaller: 0 or y?
0
Suppose 0 = -3*a + 1 - 37. Let f be 0 + 0 + (-3)/a. Is f smaller than 2?
True
Suppose 0*q + 26 = q. Let p = 77/3 - q. Is -1 less than p?
True
Suppose 4*b - 2*b = 3*k - 19, 2*b - 21 = -5*k. Suppose 5 + 0 = 5*z - k*o, 2*o + 2 = 0. Which is smaller: 2/5 or z?
z
Suppose -2*d = 2*h - 0*d, -3*h = -4*d. Suppose 0 = g - 3*g. Let r = 1 - g. Which is smaller: h or r?
h
Let g(v) = -v**3 - 5*v**2 + 7*v + 8. Let c be g(-6). Suppose -c*i = -r, 3*i = -3*r + 2*r + 5. Let z be 0 - (2 + -5 - -2). Is z <= r?
True
Let g be ((-4)/1 - -11) + -3. Suppose 5*u - 3*i = 22, -4*i - 12 = -5*u + 9. Is u greater than or equal to g?
True
Let s = -3 - -3. Let h = 31 - 61/2. Is s at most h?
True
Let a be 14/10 - (-2)/(-5). Is 1 bigger than a?
False
Let p = -3 + 4. Let k be (p + -5)/(2 + -3). Suppose 2*l = -4*j + j - 15, -21 = k*l + 3*j. Is -3 != l?
False
Let s = 515/347 - 4681424/7981. Let u = 585 + s. Which is smaller: -1 or u?
-1
Let p = -4960/7 - -710. Is 0 smaller than p?
True
Let q be (-1766)/(-18) - 4/6. Let d = q + -97. Which is greater: d or 0?
d
Suppose 4*z + 3 = 3*z + 2*k, -2*z - 3*k = -15. Suppose 25 = -3*p - z*d + d, p + d = -8. Is -9 != p?
False
Let g be (-3)/12 + (-4510)/8. Let v = -1077/2 - g. Let z = v - 26. Which is smaller: -2/3 or z?
-2/3
Suppose -2 = -4*g + 6*g. Do -1 and g have the same value?
True
Let v be 2/(-4)*-2 + 1. Suppose -x = -4*z + 13, -4*x = 2*z - v - 0. Let g = -7 + z. Which is greater: g or -3?
-3
Let h(v) = 3*v**2. Let f = -7 + 8. Let y be h(f). Which is smaller: 4 or y?
y
Let p = -2065/118523 - -2/1943. Which is greater: p or -1?
p
Let k(y) = y + 5. Let a be k(-3). Suppose 4 = -j + a. Let f(m) = -m**2 + 3*m - 2. Let i be f(2). Do i and j have different values?
True
Suppose -8*p = -5*f - 4*p + 325, f + 2*p - 51 = 0. Let i = f + -16. Let z = i - 134/3. Is z less than 0?
False
Let n = 37 - 36.8. Let h = 0 - 1. Which is smaller: h or n?
h
Let l = -3 + 4. Let g(w) = -w + 7. Let h be g(5). Which is greater: l or h?
h
Let q be 10/(-4)*(-60)/25. Suppose -5*f - 7 = -37. Is q at least as big as f?
True
Let z be (-4)/10 - (-8362)/280. Let n = -916 + 3783/4. Let t = z - n. Are -2 and t nonequal?
True
Let s = 912 - 4641/5. Let h = -16 - s. Let x(p) = -p**2. Let g be x(0). Which is smaller: g or h?
g
Let y = 14 - 14. Which is smaller: 1/7 or y?
y
Suppose -3*k - 2*k = -30. Is 6 < k?
False
Let x = -9 - -3. Let o = -0.6 - -0.8. Is o at most as big as x?
False
Let d = 0.05 - 1.25. Which is bigger: d or -1?
-1
Let r(q) = -q**3 + 9*q**2 + 12*q - 2. Let k be r(10). Suppose 11*h - k = 8*h. Do 6 and h have the same value?
True
Suppose -o - 57 = -4*o. Let m = o + -13. Let i = 9 - 3. Is m > i?
False
Let f = -2.04 - -0.04. Suppose k + 2 = -k. Which is smaller: f or k?
f
Let o(s) = -s**3 + 5*s**2 - 5*s + 5. Let i be o(4). Suppose 5*z = q + 2*q + 34, 0 = -2*z - q + 7. Suppose z*a + 4 = -3*l, l - 4*a = 5*l. Is i greater than l?
False
Let d be (0 - -7)/(8/8). Suppose 3*u = d*u. Let v = 1.1 - 1. Do v and u have the same value?
False
Let s = 4 + -3. Let m(b) = b**3 + 9*b**2 - 9*b + 13. Let l be m(-10). Let c be (l - 3)*(-1)/2. Which is smaller: s or c?
c
Let p be 8/32 - 18/8. Let i = p - -5. Suppose 0 = i*w - 0*w - 9. Is 4 >= w?
True
Suppose 2*j + 0*w + 5 = w, 0 = 5*j - 3*w + 14. Let f = 0 - 6. Let l = 2 + f. Is j less than l?
False
Let z be (2 + -2 + -1)*-5. Let o = z + -5. Do o and 1 have the same value?
False
Let q be 16/(-56) + 27/21. Is q greater than 5?
False
Suppose 0*b = 5*o - 4*b - 10, 0 = -5*b. Suppose -9 = 2*v - 3*w, o*w - 3 = w. Is v less than or equal to 0?
True
Let r = 9 + -15. Let m = 7 + -14. Which is smaller: m or r?
m
Let a = -2.1 + 2. Let v be 22/24 + (-4)/6. Which is smaller: a or v?
a
Let x be (72/(-14) + 4)/(-1*1). Is x < 2?
True
Suppose -109 = -t + 2*t + 3*j, 3*t + 3*j + 333 = 0. Is -112 >= t?
True
Let o = -12 + 18. Let q = -3 + o. Which is bigger: q or 2?
q
Let q = 235 - 365. Let w = -84 - q. Let p = 139/3 - w. Is -1 at least p?
False
Let u = -60 - -298/5. Which is smaller: -4 or u?
-4
Let i be -1 - -1 - (2 - 2). Which is bigger: i or 1?
1
Suppose -3*y - 36 = -3*f, 2*y - 2*f - 2