uppose -q*d + 7 = -3, -a + 3 = 3*d. Let l be a/(-4) - (-5)/20. Which is greater: 3/2 or l?
3/2
Let q = 0.2 + -8.2. Let v = -14 - q. Is v < 3?
True
Let t(c) = -11*c**3 - c**2 + c + 1. Suppose 0 = -4*l + 2 - 6. Let b be t(l). Let p be (-24)/b - (-4)/10. Is p at least -3?
True
Let y be (-4)/(-36)*(-6 + 2). Which is smaller: y or 0?
y
Let n be (-1)/(-2)*(-92)/253. Which is greater: n or -1/10?
-1/10
Suppose -6*a = -4*a. Let y be -6*(a - 9/(-6)). Let f be 2/(-9) - (-7)/y. Is f less than 2/7?
True
Let v(o) = o**3 + 6*o**2 - 7*o + 3. Suppose 11 - 44 = 3*t - 4*x, 36 = -3*t + 5*x. Let y be v(t). Let w = y + -5. Which is smaller: w or -4?
-4
Let d = -18 + 39. Let w be (-3555)/d + 0 - 0. Let v = w + 169. Which is smaller: v or -1?
-1
Let z(p) be the second derivative of p**3/6 + 6*p**2 - 7*p. Let h be z(-5). Is 7 >= h?
True
Suppose -3 = -2*u + 1. Is u greater than or equal to -0.2?
True
Let w = -7 + 6. Suppose 3*m + 3 = 0, 8*m - 3*m - 1 = 3*r. Which is bigger: r or w?
w
Suppose -4*b + 6 = -2*n + n, 11 = b - 5*n. Let h(o) = 2*o**3 + o**2. Let t be h(b). Suppose -7*r = -t*r. Is 1/3 at least as big as r?
True
Let m(p) = -p - 9. Let s be m(-4). Let c = s - -1. Is -3 less than c?
False
Suppose 6*t = 2*t + 4. Does t = 1?
True
Let f = -0.1 + 0. Which is bigger: f or 9?
9
Let r(c) = 7*c - 1. Let a be r(1). Let n be (-3)/(-2)*(-8)/a. Let i = 4/17 - 25/34. Is i less than n?
False
Suppose -2*m = 2 - 14. Suppose 0*l + 8 = 4*l. Suppose -2*n + 4*t = -m, -l = -n - t + 1. Does 3 = n?
True
Let x be ((-48)/40)/(4/10). Let g be -3 - (x - 3/(-21)). Is g not equal to -2/7?
True
Let k = -1 - 1. Let w be k/2 + -4 + 2. Suppose 4*g - 2 = -3*z, -18 = 5*z - 3*g - g. Does z = w?
False
Let m = 8 - 9. Let s be ((-178)/(-10))/((-3)/(-12)). Let f = -71 + s. Which is smaller: m or f?
m
Let w = -0.3 + -0.1. Which is smaller: w or 3/4?
w
Let t = 4 + -1. Let r = 3.98 + 0.02. Let v = r - t. Which is bigger: v or -2/7?
v
Let s be -8 + ((-18)/8 - -2)*0. Is -9 smaller than s?
True
Let y = 2 - 2. Let z be -2 + 97/33 + -1. Which is smaller: y or z?
z
Let d be (-5)/1*(-63)/105. Which is greater: -1 or d?
d
Let t = 5 - 16. Which is bigger: t or -10?
-10
Let j = 4489253/58443 + -9043/121. Let y = j - 50/23. Let w = 1/3 - y. Which is bigger: 0 or w?
w
Let j be 8/(-44) - (-128)/(-22). Are j and -5 non-equal?
True
Suppose -2*i + 2 = 5*s, -2*i + 2 = -0*s - s. Let r be (2 - 1)/i + 5. Suppose 0 = 5*h - 13 - 17. Are r and h nonequal?
False
Let h(b) = b**3 - 10*b**2 - 9*b - 15. Let n be h(11). Let a be 1/2 - n/(-14). Is -9 < a?
True
Let i = 3893/11375 - -1/1625. Which is bigger: -1 or i?
i
Let l = -109 + 82. Do -27 and l have different values?
False
Let h = -59 - -41. Let r = -12 - h. Suppose -3*o + r*o = 0. Which is bigger: o or -1?
o
Let o = 21.5 + -22. Which is bigger: -2 or o?
o
Let j = -15 + 14. Is 4/7 bigger than j?
True
Let v(u) = u**2 + 8*u - 3. Let z = 33 - 50. Let t = 9 + z. Let b be v(t). Is b bigger than -5/2?
False
Let u = 17/56 - 3/56. Suppose 0 + 2 = -2*g. Which is smaller: u or g?
g
Suppose 0 = 3*l + h + 10, 5*h - 2*h = 5*l + 26. Let u(y) = -4*y + 1. Let a be u(1). Which is greater: a or l?
a
Suppose 0 = 3*g - 15, 0*f - 4*g = 2*f - 74. Which is smaller: f or 26?
26
Let q = 4 - 2. Let h = 0.06 - 2.06. Let g = q + h. Which is greater: 0.3 or g?
0.3
Let o be (-35)/24 - 2/(-6). Let h = 5/8 + o. Let y be (3 - 1)*(-2)/(-16). Which is greater: h or y?
y
Let o = -5 + 6. Suppose 0 = -3*g + 11 + o. Are 2/5 and g unequal?
True
Suppose -3*p - 38 = -5*p. Let q be p*-157*(-6)/(-33). Let t = q + 542. Are t and 0 equal?
False
Let b = 7.03 - 7. Let g = 4.97 + b. Do -0.2 and g have the same value?
False
Let x = 7797/17 - 459. Which is bigger: 0 or x?
0
Let z(d) = -d + 9. Let n be z(6). Suppose 0 = -n*a - 4*c + 2 + 3, -2*a + 2*c = -8. Let w be (-5 - -5) + 2/a. Which is greater: w or 0?
w
Let u = -27 - -26. Which is smaller: -2/7 or u?
u
Let a = 12 - 12. Is a greater than or equal to -3/23?
True
Suppose 5*d = 11 + 4. Suppose d*p = p. Let y = -3 - -5. Are p and y equal?
False
Let t(w) = -7*w**2 + w - 2. Let p be (1/(-2))/(4/(-8)). Let d be t(p). Are d and -9 nonequal?
True
Let t be (-177)/30 + (-2)/4. Does t = -7?
False
Let o = -1 + 1. Let v = 0.34 - 0.04. Let k = v + -0.4. Does k = o?
False
Let t = -19 - -9. Let l(c) = -c**2 - 2*c - 10. Let k be l(0). Do k and t have different values?
False
Let f be ((-54)/287)/(145/45). Let r = -3/203 + f. Let x = -67/205 + r. Do -5 and x have the same value?
False
Let u = 376/1267 - 2/181. Suppose 3*j - 4*j - 1 = 0. Is u not equal to j?
True
Let d = -2 + 3. Let w be (24/90)/((-16)/(-36)). Which is smaller: d or w?
w
Let b = -3 - -3. Suppose f = -b + 3. Suppose -r + 2 + 0 = 0. Is f bigger than r?
True
Suppose -4*o = -3*t - 10 - 7, -11 = -t - 2*o. Which is greater: 3 or t?
3
Suppose -20*q - 2 - 378 = 0. Which is bigger: q or -13?
-13
Let v = -3.13 + 0.13. Suppose -2*b + 1 = 4*s + 3, -5*b = s + 14. Is v equal to s?
False
Let t be 43/6 + 6/(-9). Which is smaller: t or 7?
t
Let o = 31 - 33.9. Which is smaller: 2 or o?
o
Suppose 2 - 5 = -3*c. Let z = 3251/2035 - -1/407. Are c and z equal?
False
Let v = -46 - -45. Is v greater than -2/107?
False
Let l(a) = -a**3 + 10*a**2 + a - 14. Let w be l(10). Let g be 1 + 2 - (-14)/w. Is -2 < g?
True
Suppose -k - h - h + 39 = 0, 0 = -k - h + 40. Is k greater than 41?
False
Let i = 232 - 208. Which is smaller: i or 5?
5
Let h be -1*(0 + 1/(-3)). Let f = 16 + -15. Which is bigger: h or f?
f
Let q be 0/(0 + 4/2). Is q at least as big as 4/9?
False
Let g(s) = s**3 - 3*s**2 - 2. Let q be g(3). Let v be ((-2)/(-2))/(1/q). Which is bigger: -3/8 or v?
-3/8
Let i be -1 - 1 - 112/(-49). Let s = -390/7 - -56. Is i > s?
False
Suppose 1 = 3*b - 2. Is 3/13 at most as big as b?
True
Let h = -328/11 - -48894/1639. Let s = 312/1043 - h. Let d = -2.96 - 0.04. Is d greater than s?
False
Let m = 11 + -9. Suppose 0*c - 4 = c. Let f be (-1)/c - (m - 3). Which is smaller: 0 or f?
0
Let p = -5 - -7. Suppose -g = g + p. Which is smaller: -4/3 or g?
-4/3
Let s = 0.28 - -0.12. Let h = s + -1. Is h > 0?
False
Suppose 2*h - 4 = -2*h. Are -0.6 and h non-equal?
True
Let u = 0.04 - 0.54. Let o = -0.4 - u. Which is bigger: 2 or o?
2
Let t = -145/2 + 7109/98. Let s = t - 104/147. Let j(d) = d + 5. Let a be j(-5). Is a bigger than s?
True
Let v be 2/4 - (-18)/4. Let u be (-4)/8 - v/(-2). Suppose -18 = 5*y + u. Which is bigger: -2 or y?
-2
Let w = 0.08 - 0.15. Let g = -0.03 + w. Which is smaller: g or 4?
g
Let p be (5 + 1)*(-4)/(-6). Let d = 1 + p. Suppose -4*z + 0*a - a = -16, 2*z = -d*a + 26. Which is smaller: 2 or z?
2
Let z = -60 + 54. Which is smaller: -3 or z?
z
Let j(s) = -3*s**2 - 12*s + 18. Let r(u) = u**2 + 4*u - 6. Let h(p) = 6*j(p) + 17*r(p). Let v be h(-5). Are -1/7 and v equal?
False
Let l(v) = -v**3 + 2*v**2 + 2*v + 3. Let o be l(3). Let c be (-1 - o)*2/(-2). Is c greater than or equal to -1/11?
True
Let a = -304/3 - -102. Which is bigger: a or -56?
a
Let f = -11 - -22. Do f and 10 have different values?
True
Let v = -40.1 + 38. Let a = v - 0.9. Which is greater: a or 0?
0
Let f(g) = g**3 + g**2 + 3*g + 3. Let m be f(-3). Is m at least as big as -2?
False
Let p = -2 - 3. Let r = 4 + p. Which is smaller: r or -5?
-5
Let f(i) be the third derivative of i**4/24 + 5*i**3/6 + i**2. Let c be f(-5). Let p = 15 - 44/3. Which is smaller: c or p?
c
Let a be (-4)/(-3)*(-54)/(-12). Which is smaller: a or 10?
a
Let c(y) = 2*y - 4. Let a be c(5). Is a equal to 7?
False
Let c = -53/12 + 15/4. Let h(a) = a + 2. Let b be h(-4). Is b at least c?
False
Let m(n) = n**3 + 14*n**2 - 2*n - 27. Let o be m(-14). Does 1/6 = o?
False
Suppose 0 = -4*s + 92. Let l = s + -19. Which is greater: l or -3/4?
l
Let b = 9 - 96/11. Is b > 1?
False
Let w(h) = -h + 8. Let i be w(4). Let s = 7 - i. Do s and 3 have different values?
False
Let y = 23 - 24. Which is smaller: 2/25 or y?
y
Let f be ((-2)/(-2))/(1/3). Let b be f/(15/(-8)) + 2. Is b equal to -0.5?
False
Suppose 15*l = 4*v + 16*l - 14, 0 = v - 2*l - 8. Let h be (3/(-18))/(2/(-44)). Which is bigger: v or h?
v
Suppose -11*n - 24 = -7*n. Which is bigger: -3 or n?
-3
Let h = -15.4 - -16. Let c = -1 + h. Is c < 1?
True
Let h be (-45)/5 + (-2)/(-2). Let b = -14 - -20. Let m be (1/4)/(b/h). Is m >= 1/3?
False
Let m = 0.2 - -0.3. Are -0.3 and m eq