6*c - 42. Let h be x(-7). Which is smaller: z or h?
z
Suppose -4*b - t + 20 = -4*t, -2*b + 4*t + 10 = 0. Let z be b - (3 - (-1 + 0)). Let x be (-2)/(-1 + -5*4). Which is smaller: x or z?
x
Let j be 2/((2/18)/(5/30)). Let z(u) = 3*u**2 - u. Let n be z(-1). Let l = n - j. Which is smaller: 4/3 or l?
l
Let f(m) = -2*m + 35. Let n be f(18). Let p = 2/7 - -22/21. Let i = p + -17/15. Which is smaller: n or i?
n
Let m(s) = 5*s**3 - 4*s - 3. Let c be m(-2). Let g be (-24)/c - 6/15. Are 1 and g equal?
False
Suppose 2*a + a - 9 = 0. Let v be (((-5)/a)/(-5))/(-1). Which is greater: v or 0?
0
Let j be 6/(-9)*18/(-8). Is j greater than -2?
True
Let u = -24 - -25. Let z be -3 + 0 - (-166)/54. Which is smaller: u or z?
z
Suppose -2*r = r - 2*f - 12, -4 = -r - 5*f. Let q = -4 + r. Suppose q = 2*m + 6. Which is smaller: m or -1?
m
Let j = 0.17 + 0.03. Let p = -0.2 + j. Which is smaller: -0.5 or p?
-0.5
Let m = 11.4 + 0.6. Let w = -11 + m. Which is greater: w or 2/3?
w
Let c be -652*81/(-186) - 4. Let n = c - 280. Which is greater: 0 or n?
0
Let p(n) = n**2 - 4*n. Let t be p(4). Let a be 0 - ((-4)/(-10) + t). Let h be 2/3*6/4. Which is greater: h or a?
h
Let h(m) = -m**2 + 4. Let j be h(0). Suppose 3*f - 2*f = -j. Which is bigger: 0 or f?
0
Let x be 1 + (-1 - -4) + -3. Is x at least 12/11?
False
Let n = 0.14 - 0.1. Let t = 3.04 - n. Let y = t - 2. Is y less than 0?
False
Let o = 1 - 1.3. Let b(f) = -f**2 - 3*f - 2. Let z be b(-2). Is o less than or equal to z?
True
Let l = 5 - -7. Let m = -13 + l. Is m greater than or equal to 0?
False
Let x = -113 + 113. Is 0.3 less than x?
False
Let o(k) = -k - 3. Let v be o(-3). Let s(u) = -u**3 - 5*u**2 - 3*u + 4. Suppose 6 = -3*i + 2*w - 2, 4*i + 6 = 5*w. Let h be s(i). Are v and h nonequal?
False
Suppose 125 = -10*r - 95. Do r and -3 have the same value?
False
Let x = 116 - 233/2. Let c = 18 + -6. Suppose -3*d = -0*d + c. Which is bigger: x or d?
x
Let f = 46381 - 2922181/63. Let s = f - -28/9. Let w = -2.1 - -2. Which is bigger: w or s?
s
Let u = 61/12 + -16/3. Which is smaller: -1/26 or u?
u
Let l(h) = h + 1. Let g be l(-5). Let s(v) = 6*v**2 - 54*v - 5. Let r be s(9). Do g and r have different values?
True
Suppose 2*z = 2*t + 4, -5*z + 5 = 5*t - 15. Let k be 10/28*(-3 + t). Does -1 = k?
False
Suppose -2 = 5*m - 37. Is 8 equal to m?
False
Let b = -0.2 + -0.3. Let o = 4.5 - b. Let l = 40/91 - 2/13. Which is bigger: l or o?
o
Let s = 0 - -5. Let p(o) = -2*o**3 - 8*o**2 + o + 3. Let i be p(-4). Which is bigger: i or s?
s
Let q be 0/((2 + 1)/3). Which is bigger: 6/5 or q?
6/5
Suppose -h = 2*o + 3 - 1, -3*o + 3*h = -15. Suppose -4*n - 3 = 5*s, 3*n - o = -7. Let g = -3 + 6. Do g and s have the same value?
False
Let y = -3/65 + -251/195. Let z = 0 + 6. Let b be ((z/3)/(-1))/2. Which is greater: y or b?
b
Let b = 0.23 + -5.23. Is b < -5?
False
Let i = -47.1 + 47. Do i and -2/3 have the same value?
False
Let d be 64/168 + 2/(-3). Is 0.1 bigger than d?
True
Let j(k) = 14*k**2 + 1 - 14*k**2 - 4*k**3 - k + 3*k**3. Let i be j(0). Is i equal to -2/9?
False
Let x be (-12)/(-42) + 136/14. Suppose 4*a - 7 - 43 = -3*h, -50 = -4*h - 2*a. Is h bigger than x?
False
Suppose 0*i + 4 = -2*i. Let f = -2 + 4. Suppose -f*s + 3 = -5*s. Do s and i have the same value?
False
Suppose 0 = -4*c + 5*x + 17, -21 = 3*c + 5*x - 2*x. Let s(b) = b**2 + 3 + 3*b + b**2 - 1. Let v be s(c). Are v and 2 nonequal?
True
Suppose -17*n = 1158 - 325. Which is smaller: n or 2?
n
Let b = 18 + -17.9. Is -1/17 < b?
True
Suppose 2 = -3*i - 1. Let f be 106/(-8) + i/(-4). Let g = 27/2 + f. Which is smaller: 1 or g?
g
Let q be (-1098)/72 - (-4)/2. Let d = q - -13. Which is smaller: 1/6 or d?
d
Let r = -0.1 + 0.1. Let u = 0.66 + 0.04. Let q = u + -0.6. Is q greater than or equal to r?
True
Suppose 3*u = 1 + 5. Let k = u + -2. Let i be (-2)/3 - 40/(-90). Is i less than or equal to k?
True
Suppose 13 = -3*w - 17. Let q be 4/w + (-3)/5. Let v be (-3 - -3)/(-1 - -3). Which is greater: q or v?
v
Let m(d) = 10*d + 10. Let x be m(-6). Is x smaller than -50?
False
Let i be (-3)/9 + 34/66. Let l(c) = 5*c**2 + 3*c. Let q be l(-2). Let n = -43/3 + q. Which is greater: n or i?
i
Let i be (-5 - 77)/(2 - -3). Let z = 16 + i. Is -2 smaller than z?
True
Let r(x) = x**2 + 3*x - 6. Let n be r(-5). Let l be (-9)/(1*(n + -3)). Let t = l + 16. Which is smaller: 6 or t?
6
Suppose -10*g + 6*g = 36. Is g less than or equal to -9?
True
Suppose -3*p + 7*p = 0. Let d = 0 + p. Let l = 821/7 - 117. Is d at most as big as l?
True
Suppose -28 = x - 5*x. Let h be (-57)/(-12) - 2/(-8). Which is smaller: x or h?
h
Suppose -23 = -3*j - 2. Is -0.1 less than j?
True
Let m be -1 + 6 - (-4 + 9). Let j be 0 + ((-16)/30)/4. Is m bigger than j?
True
Let o be 2/5 - (1 + -1). Suppose -5*w - 4*c = 3, c = -7*w + 3*w + 2. Is o equal to w?
False
Let x(r) = -r**3 - r - 1. Let o(w) = -w**3 - 6*w**2 + 3*w - 1. Let a(d) = -o(d) + 2*x(d). Let q be a(5). Let p be q - (2 - 3/3). Which is smaller: -3 or p?
-3
Let t = -1904/3 + 628. Is t >= -7?
True
Let q(p) = -4 + 5 - 3*p - 2*p - p**2. Let r be q(-5). Let c be (2 + 3/(-2))*r. Is 1 greater than c?
True
Suppose -c - 3*c = f + 10, -1 = -2*f - c. Suppose 1 = -3*y + f*y. Let q = 106/5 - 21. Is y != q?
True
Let l be 2/(-5) - (-12)/5. Let b = 42 + -38. Are l and b nonequal?
True
Suppose 7*g - 2*g + 16 = -o, -4*o - 16 = 4*g. Which is bigger: -1/32 or o?
-1/32
Let l be (-12)/(-210)*7*34*-5. Which is bigger: l or -67?
-67
Let a(h) = -h**3 + 5*h**2 + 3. Let q be a(5). Let p = -2 - -3. Let x = p - 0. Is q not equal to x?
True
Let t = -3 + 4. Suppose -4*m = -5*m + 1. Let r be (-3)/(-14) - m/2. Which is greater: t or r?
t
Let a = 250/9 + -28. Are a and 1 nonequal?
True
Let x be 1/(-2) + (-15)/(-6). Let n be 13 + (1 - (-3 - -2)). Suppose i + n = 6*i. Which is bigger: x or i?
i
Suppose 2*m = m + 17. Is m greater than or equal to 18?
False
Let s be 4 - 5 - 108/20. Which is greater: -7 or s?
s
Let x = 118/155 + -5/31. Which is smaller: 1 or x?
x
Suppose 0 = -2*r - 3*r. Suppose r = 4*n - 3*n. Suppose n = 4*l - 0*v + 2*v - 14, 0 = -l + 2*v - 4. Is 1/2 < l?
True
Let w = -1.1 + 0.9. Let v = 17 - 17. Which is greater: w or v?
v
Let n = -16 + 10. Let f be (-3)/(-6)*n - -8. Suppose 20 = -5*t + f. Which is bigger: -4 or t?
t
Let j = -6 + -6. Let t be (6/126)/((-2)/j). Is t at most 9?
True
Let p = -148 + 143. Which is greater: p or 13?
13
Let o(g) = g**2 + g - 3. Let p = 4 - 7. Let f be o(p). Let r be 4/2 - 0/(-2). Is f at most r?
False
Let n be (-60)/(-8)*3/30. Is 1 at least as big as n?
True
Let t = -2.7 + 0.7. Is t at least -0.2?
False
Let i = 374/7 + -30647/574. Do -1 and i have the same value?
False
Let l(a) be the third derivative of a**5/60 + a**4/8 - 5*a**3/6 + 3*a**2. Let w be l(-5). Which is greater: 4 or w?
w
Let y = -36871/939 + -21/313. Which is greater: y or -40?
y
Suppose 4*z = 8*z - 20. Which is bigger: 0 or z?
z
Suppose -3*d - 2*v + 23 = 6, -7 = -2*d + 3*v. Suppose -d*n - 59 - 96 = -5*r, 3*r - 77 = -n. Let p = r + -187/7. Does 1 = p?
False
Suppose 2 = 15*c + 242. Is -16 at least c?
True
Let a = -20 - -29. Let d be -3*((-30)/a)/2. Let x = 6 - d. Is 5/4 less than or equal to x?
False
Let h(w) = w**2 + w - 2. Let x = 7 + -19. Let j be 8/x*6/2. Let f be h(j). Which is bigger: f or 2/9?
2/9
Let y be (3 + -1)/((-2)/(-4)). Let f(i) = i**3 - 3*i**2 - 3*i. Let x be f(y). Are x and 5 equal?
False
Let a(i) = 3*i**2 + i. Let c be a(-1). Suppose c + 4 = -3*x. Which is smaller: -1 or x?
x
Let d = -56 - -57. Is 0.039 at most d?
True
Let n be 3/(30/(-4))*-1. Let c = 21 + -19. Which is smaller: c or n?
n
Suppose -6*s - 32 = -2*s - a, a + 24 = -3*s. Let d(f) = 2*f + 10. Let k be d(s). Is k greater than -7?
True
Let q(x) = 6*x - 6. Let l be q(2). Do l and 16/3 have the same value?
False
Let b be (-9)/(-2)*24/54. Which is smaller: b or 12/5?
b
Let b = -1.8 + 9.8. Let v = -8.07 + b. Is v > 0.1?
False
Let b(o) = -o - 2. Let v be b(0). Let y be -3 + 3 - v/19. Is 1 != y?
True
Let p(l) = 2*l - 28. Let w(q) = q - 14. Let n(r) = 2*p(r) - 5*w(r). Let t be n(10). Suppose 5 = -5*a + 4*z, -t*a = -0*a - 5*z + 4. Is 1/6 at most as big as a?
False
Let s = 0.04 - -0.36. Let n = -0.5 + s. Is -1 greater than n?
False
Let w be 3/(-12)*-2*7/42. Is w greater than -1?
True
Let g(d) = -d**2 - 6*d + 9. Let n be g(-7). Let p = n 