et g(d) = d**3 + 4*d**2. Let b be g(-4). Let u be 1*-1 - 19/(-17). Is u != b?
True
Let k be ((-3)/(-165))/(1/(-2)). Is 0 at most as big as k?
False
Let a(p) = p**2 + 6*p - 7. Let l be a(-8). Do l and 11 have different values?
True
Let k = 89 - 90. Is k at most -10/17?
True
Let k = -63 - -63. Are k and -41 nonequal?
True
Let g = -82 - -81. Which is bigger: -30 or g?
g
Let f = 0.01 - 1.01. Let l = f - -0.9. Let w = l - -0.2. Is -4/5 at most w?
True
Let w be 46/8*1 - (11 + -9). Is w smaller than 4?
True
Let v = 0.02 + 0. Let f = v - -2.78. Let m = 3 - f. Which is smaller: -2/7 or m?
-2/7
Suppose -2*z + 5*z = -h, h - 4*z = 28. Suppose -o = o - h. Is 6 at most as big as o?
True
Let r = -1/7 + -1/42. Is r at least as big as 1/4?
False
Suppose 4*g - 4*q = -3*q + 15, -24 = -5*g - 4*q. Suppose -4*h + g = 8*u - 4*u, -h + 25 = 5*u. Which is smaller: u or 5?
5
Let l(k) = -k**3 - k**2 + 2*k - 1. Let w be l(1). Is -2 greater than w?
False
Suppose n + 5*f = 7, -5*f + 10 = 4*n - 3*f. Suppose 7*w - n = 5*w. Which is smaller: 1/9 or w?
1/9
Let n = -2.96 - 0.04. Let d(a) = -23*a - 4. Let h be d(-3). Let c be ((-2)/5)/(52/h). Are c and n equal?
False
Let c = 601 + -25243/42. Let d = c - 79/210. Suppose h - 3*q - 17 = -h, -q - 3 = 2*h. Which is smaller: d or h?
d
Suppose 0 = -5*l - 10, -4*p + 7 = -5*l - 19. Suppose -2*d + p = -0. Suppose 7*o - 14 = 4*o + 5*m, o - 4*m - 7 = 0. Which is bigger: d or o?
o
Let m = 23 + -13. Suppose -5*i = 4*l - 23, -5*i = -2*l - 1 - m. Let y = -1 - -1. Which is greater: y or l?
l
Let h = -18 + 21. Which is greater: 0.3 or h?
h
Suppose -4*c = -2*c + 10. Are -4 and c nonequal?
True
Suppose -7*n - 30 = -4*n. Is n < -2?
True
Let t = -16 - -16. Is -2/111 less than t?
True
Let q(g) = -g**3 - 6*g**2 - g - 6. Let y be q(-6). Which is bigger: -3/8 or y?
y
Let o = -2 - -2.2. Let l be 2/3 + (-6)/15. Let j = -3/5 + l. Which is bigger: o or j?
o
Let d = 11 - 3. Let j = d - 6. Is 2 bigger than j?
False
Let b = -107/44 + 15/22. Suppose -r = -l, -2*r - 6 = -l - 4*l. Suppose 2*s - r*j = 0, s + j = -2 - 2. Is s >= b?
False
Let r(c) = c**3 + 10*c**2 + 2*c. Let i be r(-10). Do i and -20 have the same value?
True
Let z be (-14)/(2 - 4)*1. Is 7 at least z?
True
Let t = 53 - 52.92. Is 1/3 less than t?
False
Suppose 3*f - 31 = -10. Suppose -y + 1 = 5*k, 0*y - 5*y + 3*k = 23. Let m = y + f. Is 3 equal to m?
True
Let f be 16/7 + (-2)/7. Suppose -p = -f*p. Let a = -22 - -68/3. Which is greater: p or a?
a
Let q(u) = 47*u + 6. Suppose 5*n + 5*c + 30 = -5, -5*c - 27 = 3*n. Let f be q(n). Let s be 2 + (f/36 - -3). Which is greater: s or -1?
s
Let b(z) = -z**2 - 7*z + 9. Let t be b(-8). Let c = 0.5 - 0.3. Let l = 0.8 + c. Is t bigger than l?
False
Let o = -889/5 + 177. Which is bigger: -1 or o?
o
Let o = -2284/7 - -324. Do -1 and o have different values?
True
Let p = 0.1713 - -0.0287. Let u = -10.89 + 11. Is u at least as big as p?
False
Suppose -4*k = -2*g - 28, -8*k + 36 = -3*k - 3*g. Is 0.06 at least k?
False
Suppose 12*w + 166 - 190 = 0. Let b = -9 - -13. Is b >= w?
True
Let x be 6 - -3*1/(-3). Let d = x - 4. Does d = -1?
False
Suppose 9*q - 1 + 1 = 0. Which is smaller: q or 2/11?
q
Let k(u) = -u - 1. Let h be k(10). Is h equal to -11?
True
Let c = 0.009 + -4.909. Let d = -5 - c. Which is bigger: d or 8?
8
Let h = 19 + -37. Is -18 greater than h?
False
Let p = 612/5 - 122. Let v be 20/(-16) - (-1 + 0). Is v >= p?
False
Let x = -248/5 + 49. Suppose -n - n - 2 = 0. Is x at least as big as n?
True
Let h = -4 + 9/2. Let u = -12 + 15. Let y = 3.03 - u. Is y less than or equal to h?
True
Let u = 6 + -6.03. Let m = -3.97 + u. Let b = 5.1 - 5. Which is smaller: m or b?
m
Let d = -0.72 + 0.52. Which is greater: d or -20?
d
Suppose 0 = 3*t + 2 - 8. Suppose -t = 4*z - 10. Let x = 2 - 1. Is x smaller than z?
True
Let i = 12 + -9. Do i and -2 have different values?
True
Let k = 1787/8 - 224. Which is smaller: k or -1?
-1
Suppose 0 = -2*i + h - 7, -i + 5*h - 5 = 3. Let z be 8*(3/i)/6. Let u = 3 - 3. Which is greater: u or z?
u
Suppose -i - 2*a = -21, 0 = 5*i + a - 82 + 4. Is i smaller than 15?
False
Let v = -12 - -1. Let w = v - -7. Let g be w/(-8)*(-2 + 2). Is 1/15 equal to g?
False
Let r = -0.3 - -2.3. Suppose 5*h = 2*v + 19, 5*v = -0*v + 2*h + 5. Suppose -n = -v*n + 2. Is r less than or equal to n?
False
Let m = 99 + -87.1. Let i = 12 - m. Which is greater: i or 6?
6
Let a be (2/6)/(120/(-36)). Suppose 4*c - 2*c = 0. Let t be (-1 - c)*(-3)/3. Which is smaller: a or t?
a
Suppose -4*s = 2 - 14. Let h = -1 + 2. Let u be h*2 - (2 + -2). Which is greater: u or s?
s
Suppose -2*y - 4 = -4*y, 4*g - 2*y = -20. Let n be (-2)/((-6)/(7 + g)). Suppose 4 = -5*u - 6, 12 = 4*o - 4*u. Is o < n?
False
Suppose 0 = -0*o - 3*o + 9. Let w be o + -2 - (-7)/(-6). Let m = 5.9 + -6. Is m <= w?
False
Let m = 2.85 + -3. Let i = -1.85 + m. Suppose -5*c = -c + 3*t + 8, -5*c - 10 = -3*t. Is i <= c?
True
Suppose 5*z - 2*z + 3 = 0. Let j be z - (3 + 102/(-27)). Which is smaller: -2/3 or j?
-2/3
Let z(o) = -26*o**3 + o**2. Let x be z(1). Let c be (30/x)/((-3)/10). Which is smaller: c or 6?
c
Let g = 0.7 - 0.73. Let x = g - -0.03. Which is bigger: -0.1 or x?
x
Let m = -16 + 19. Suppose -4*o - m = -5*o. Which is greater: -4 or o?
o
Suppose 0 = 4*v + 5*j - 22, -2*v = -j - 7 - 11. Let c be -1 + 4/v + 0. Which is greater: c or 0.1?
0.1
Suppose -3*b + 3*y = 2 + 4, -5*y - 2 = -b. Let c be (3/b)/(5 - -1). Let s = -9 + 10. Which is greater: s or c?
s
Let s be (-8)/(-40)*10*2/304. Which is bigger: -1 or s?
s
Let r(n) = n**2 + 6*n + 2. Let s be r(-6). Suppose y + 2 = s*y. Let k be -2 + 6 + (-2 - 0). Is y equal to k?
True
Let w = -3 - -4. Let z be (-957)/(-252) - w/3. Let j = z - 26/7. Which is smaller: -1 or j?
-1
Suppose -5 = 5*h + p, 5*h + 4 = 2*p - 1. Suppose -4*s + 4 = -2*s, 566 = 4*q + 3*s. Let d = q - 1538/11. Which is smaller: d or h?
h
Suppose 0 = -5*y - 2*d + 12, -4*d + 3*d = -y + 1. Let r be (5 - y)*(-16)/6. Is r less than or equal to -8?
True
Let q = 0.2 + 14.8. Is -0.1 bigger than q?
False
Let y(n) = n - 1. Let x be y(3). Suppose 3*m + x*m = 0. Suppose m = -2*r + 4, r + 1 - 7 = 2*j. Which is bigger: j or -1/2?
-1/2
Let v be 5 + (0 - (3 + -3)). Let d be (-1 + v)*-1*1. Is d >= -4?
True
Let w(l) = l**3 - 6*l**2 - 5*l - 6. Let c be w(7). Which is bigger: 7 or c?
c
Suppose 0 = o - 10 + 1. Suppose -5*h - o = 51. Let q be (-18)/h - 2/4. Is q less than or equal to 2?
True
Let w(j) = -j**2 + 3*j + 2. Let d be w(2). Let l(o) = -6*o**3 + o**2 + o. Let b be l(-1). Let p be (1/b)/(1/d). Which is greater: p or -1/3?
p
Let g = 5 - 4.5. Let n = g - 0.8. Is -0.1 equal to n?
False
Let j = 89 + -164. Is j at least as big as -74?
False
Let a be (-30)/(-9) - (-6)/(-2). Is -4 smaller than a?
True
Let w be (12/(-21))/((-92)/14). Which is greater: w or -1?
w
Suppose 11*a - 13*a = -2. Let s(o) = 2*o + 8. Let r be s(-5). Is r greater than a?
False
Let x = 16 - 13. Suppose x*a - 19 = -4*d, -3*a + 8 = -7. Is -2/33 equal to d?
False
Let a = -3 - -1. Let y = 1.7 + -1.2. Let o = y - 0.4. Which is smaller: o or a?
a
Suppose -3*d - 5*h = -20, 5*h = -0*d - 2*d + 15. Let l = -9 + d. Are l and -4 non-equal?
False
Let t = 328/663 + 14/51. Which is smaller: t or 2?
t
Suppose 0 = -117*u + 114*u. Let g = -32 - -65/2. Is u > g?
False
Let w(i) = 2*i - 1. Let m be w(-9). Let l = m - -20. Is 0.4 >= l?
False
Let v(d) = 4*d + 11. Let n be v(-5). Let o = n - -3. Are o and -7 unequal?
True
Let w = 4.8 - 5. Which is greater: w or -1/4?
w
Let y(o) = 2*o**3 - o**2 - o. Let s be y(-1). Let c = -1 - s. Is c less than or equal to 0?
False
Let p = 2 - 4. Which is bigger: -5/6 or p?
-5/6
Let c = -390 - -10921/28. Which is smaller: c or 1?
c
Let v(q) = 2*q**2 - q - 1. Suppose 3*p + 2*j = 14, 5*p - 4*p + 4*j = 18. Let a be v(p). Is 5 less than a?
False
Suppose -4*k = -k - 12. Suppose -k*s + 6 - 2 = 0. Is 2/31 at least as big as s?
False
Let t be ((-12)/(-10))/((-9)/30). Let r be -2 + 10/t*-2. Which is bigger: 7/2 or r?
7/2
Let u(r) be the third derivative of -r**4/24 - 5*r**3/2 - 2*r**2. Let o be u(-14). Which is bigger: -0.2 or o?
-0.2
Let u be 4/14 + (-1368)/4494. Is 0 at least as big as u?
True
Let d be 573/21 + (-12)/42. Which is smaller: 28 or d?
d
Let k be (-5 + 3)*60297/174. Let a = -693 - k. Is 1 <= a?
False
Let x = -9 - -11. Suppose -4*l = 4*y + 12