ual?
True
Let h(s) = 7*s + 6 - s - 3*s + 0*s. Let k be h(-4). Let g(i) = 3*i + 4. Let c be g(-3). Which is bigger: c or k?
c
Let l(z) = 2*z - 41. Let t be l(21). Which is bigger: t or 5?
5
Let q(m) = -m**2 + 8*m + 3. Let b be q(6). Suppose 5*p + 5*z + b = 0, 0 = -5*p - 3*z - 4 - 1. Let n = 3 - p. Which is smaller: n or -2/9?
-2/9
Let r = -0.04 + -5.96. Let f = -19014/11 - -1730. Let m = f + -37/33. Is m at most as big as r?
False
Let k = -16 + 25. Suppose 5*u + 4*p = -17, -4*u + u = -4*p - k. Is 1 > u?
True
Let f = -6 - -12. Let m = f + 0. Suppose m = -3*u + 2*q - 4, 2*u - 4*q = -20. Which is smaller: 2 or u?
u
Let w = 4 + 0. Suppose w*v = -p + 11, p + 6 = v - 2*p. Let z be (2 - -1)/v + 0. Is -1/5 > z?
False
Let t = 0.29 - 0.09. Let w = 0.1 - t. Which is smaller: 0.2 or w?
w
Suppose 2*t + 18 = 5*t. Suppose 3*i - 3*q - t = -0, -4*i = 3*q - 8. Let l = i + -7. Is -6 less than or equal to l?
True
Let r be 2*4/(-28) + (-180)/7. Are r and -24 non-equal?
True
Suppose 5*k - 10 = 0, -1 = 5*d + k + 12. Let z = -10 - -6. Let b = z - d. Which is bigger: -2 or b?
b
Let l = -22 + 5. Let k = l + 17. Let x = 2/269 - 285/2152. Which is greater: x or k?
k
Let k = 307/6 + -51. Suppose -3*u + 0 - 3 = 0. Is u >= k?
False
Let u = -27965 - -194833/7. Let x = -132 - u. Which is smaller: x or -1?
-1
Let k be (20 - 23)/((-3)/(-2)). Which is smaller: k or -8/13?
k
Suppose 26 = -2*u + 2*d, 7 = -u - 4*d + 8*d. Which is smaller: u or -12?
u
Let w be 4 + -1 + 8/2. Is 5 bigger than w?
False
Let o(a) = -a**2 + 64. Let x be o(8). Which is smaller: 4 or x?
x
Let n be 3/((-6)/(-4) + 0). Let w = -7 + 8. Is w at most n?
True
Let i be 3 + 1 + 10/(-3). Which is bigger: i or -0.1?
i
Let j = -3 + 0. Is -14/5 > j?
True
Suppose 0 = -2*x + 1 - 5. Let p be (-2)/(-6) + x/(-3). Suppose 0*t = -4*t. Which is smaller: t or p?
t
Let c = 4412/49 - 90. Is -1 != c?
True
Let z(x) = 8*x**3 - 3*x**2 + 3*x - 4. Let b be z(2). Are b and 53 unequal?
True
Let z be 0 + -6 + -1 + -2. Which is bigger: 1 or z?
1
Let d = -49 - -49. Is 6/7 at least as big as d?
True
Let a(r) = -r**3 - r**2 + 3*r. Let b be a(-4). Let d = -26 + b. Suppose 5*h + d = -5. Which is bigger: 0.1 or h?
0.1
Suppose 3*n = -2*n - 15. Let f(i) = 3*i**2 - 2*i - 13. Let a(j) = j**2 - j - 6. Let s(l) = 13*a(l) - 6*f(l). Let v be s(-1). Is n < v?
False
Let s = 3464587/1910 - 11884/191. Let x = -1754 + s. Let m = x + 27/10. Is m smaller than 2?
True
Suppose h - m - 5 = -2*h, -4*m - 4 = -4*h. Let n = h - 0. Let s(b) = b**2 + b + 1. Let u be s(-2). Is u less than or equal to n?
False
Suppose 40 = 4*z - 2*z. Suppose -4*c + 3*n = 23, -4*n - z = 2*c + 8. Is -8 != c?
False
Let z = -14 - -18. Are z and -1 unequal?
True
Let j be (-4)/8*(6 - 4). Which is greater: -12/25 or j?
-12/25
Let l be 0 - (-2 + (-15)/(-5)). Are -7/3 and l non-equal?
True
Suppose -2*k - 9 = -5*y - 26, 14 = -4*y + 2*k. Let p(f) = f**3 + 2*f**2 - 2*f + 3. Let i be p(y). Which is smaller: -2/5 or i?
-2/5
Let j = 0.19 + -0.25. Let f = j + -0.04. Is 2 at least as big as f?
True
Suppose l = -q + 5*l + 13, -2*q + 4*l + 14 = 0. Which is greater: -1/34 or q?
q
Let j = -0.05 - -2.05. Let s = -0.09 + 0.19. Let u = s - 1.1. Is j less than u?
False
Let y(f) = 10*f**2 + 2*f + 1. Let b be (-18)/22 - (-6)/(-33). Let w be y(b). Is w bigger than 9?
False
Let r be 152/32*(3 - -1). Do r and 20 have the same value?
False
Let y = 2 - 0. Let a = 205/3 - 67. Which is greater: a or y?
y
Let b be 29/(-2) - 2/4. Which is smaller: -13 or b?
b
Let z = 29 + -18. Suppose x = 2, -3*h - x + z = -2*h. Is h >= 8?
True
Let s be 3/(-3 + (-132)/(-32)). Which is smaller: 0 or s?
0
Let d(y) = y - 9. Let w be d(0). Let a be (-20)/w - 6/27. Is a less than or equal to 1?
False
Let r = 208 + -134. Let h = -119 + r. Let w be (-6)/10 + 333/h. Which is smaller: w or -9?
-9
Let l be (-675)/(-1085) + (-3)/7. Let z = l - -7/124. Which is bigger: 5/4 or z?
5/4
Let s = 9 - 5. Let g(c) = c**2 - 3 + 0 - 5*c + s. Let d be g(4). Which is bigger: d or -4?
d
Suppose -5 = 5*q + 10. Let a(k) = -2*k - 4. Let j be a(-5). Let r be (-1 + (-9)/j)*2. Is r <= q?
True
Let q = -1.2 - -0.2. Let t = 2 + q. Let y = t + -3. Which is bigger: 0 or y?
0
Let u = -0.21 - 6.39. Let n = 1.4 - u. Which is greater: n or 0.1?
n
Suppose -20 = -5*f - 4*n + 9, -3*n = -5*f + 22. Let b = 11 - f. Which is smaller: 5 or b?
5
Let d be (172/(-18) + 10)/(2/3). Is d less than 5?
True
Let n = -3/292 - -671/8468. Let w = n + 106/145. Which is bigger: -0.2 or w?
w
Suppose -9 = -n + 2*t, -2*n + t - 2*t - 2 = 0. Let g = 15 - 12. Let z be (-2 + 2)*(g + -4). Are z and n non-equal?
True
Let t be (4/(-55))/(16/(-40)). Which is greater: -1 or t?
t
Let k(o) = o**2 - 11*o + 6. Let z be k(10). Suppose 0 = -2*u + u + 5. Let n = u + z. Is 4 less than or equal to n?
False
Suppose 4*v + b - 9 = 6*b, 5*v - 3*b + 5 = 0. Which is bigger: -21/8 or v?
-21/8
Let q = -3 + 3.2. Let k = -0.14 + -0.06. Do k and q have the same value?
False
Suppose -3*v + 77 - 74 = 0. Do v and 1/72 have the same value?
False
Let l = -3 + 2. Let f be (l - -2)*(-36)/(-8). Is 6 smaller than f?
False
Let b(o) = 2*o - 4. Let v be b(3). Suppose v*u - 2*g = -4*g + 16, 2*u - 31 = -5*g. Is u greater than 3?
False
Suppose 5*k = 3*m - 23, -3*k - 8 = -k. Which is smaller: -4/51 or m?
-4/51
Let z be (-12)/7*(-3)/12. Let s(t) = 5*t + 10. Let g(n) = -11*n - 21. Let f(u) = 6*g(u) + 13*s(u). Let p be f(3). Is p < z?
False
Let j be (-1)/(2/(-2)) + 1. Let t(l) = l**2 + 7*l + 5. Let q be t(-6). Let i be 8/(-20)*q/j. Is -1 less than i?
True
Let c(r) = -2*r**2 + 3*r + 15. Let s(k) = k**2 - 2*k - 8. Let b(v) = 6*c(v) + 11*s(v). Let m be b(-4). Let p be ((-1)/4)/((-1)/m). Which is smaller: 0 or p?
0
Let r be ((-4)/110)/(1/(-10)). Which is smaller: r or 0?
0
Suppose -23*u - 5 = -28*u. Is u > -1.5?
True
Let h = -18 + 19.3. Let c = 0.3 - h. Which is bigger: -5 or c?
c
Let b = 0.1 + -0.2. Let t = 1.1 + -6.1. Which is bigger: t or b?
b
Let k(l) = -l**3 - 7*l**2 - 8*l - 8. Let s be k(-6). Let v be (s/10)/((-21)/(-15)). Let a(d) = d**3 - 3*d**2 + 4*d - 3. Let q be a(2). Is v bigger than q?
False
Let h = -161 - -295. Which is smaller: 133 or h?
133
Suppose 1 = -4*n + 9. Let j be n/142*(1 + -3). Let l = j + 221/284. Which is bigger: l or 1?
1
Let z = -6 + 5.97. Which is smaller: z or 2/9?
z
Let k = -1.6 + -0.4. Let z = 0.11 - -0.49. Is z equal to k?
False
Let o(i) be the second derivative of i**3/6 + 7*i**2/2 + i. Let z be o(-7). Suppose -4*j - j + 13 = 2*x, 5*x + 5*j = 10. Is x less than z?
True
Suppose -5 = v - 0, 3*v + 130 = -5*b. Which is bigger: -22 or b?
-22
Suppose -6*g - 32 = -4*g. Is -33/2 not equal to g?
True
Let q = 31 - 32. Let t = -2 - 6. Which is greater: t or q?
q
Let u = -1 + 1.2. Let v = u + -0.1. Which is smaller: v or -1?
-1
Suppose 5*y - 14 - 1 = 0. Let c(o) = 5*o - 1 - 10*o + 3*o + y*o. Let t be c(-2). Are -2 and t nonequal?
True
Let h = 161/408 + -6/17. Which is smaller: h or 1?
h
Suppose -6*k = -2*k - 4. Suppose 0 = 5*t + k + 4. Let a be 2*(34/(-11) + 3). Which is bigger: t or a?
a
Let v = -13 + 0. Is -12 at most as big as v?
False
Suppose -7 = -c - d, 4*d = 2*c + c. Is -1 greater than c?
False
Let o(k) = -k**3 - 2*k**2 - k - 3. Let p be o(-2). Which is smaller: -3/5 or p?
p
Let b = -11 - -7. Let i = 6 + b. Let f = 0 - -2. Is i less than f?
False
Let k = 13 + -10. Let b be 5*4/(-20)*k. Suppose -i + 0 = 2. Which is smaller: i or b?
b
Let o be (-2 + 2)/((-1)/(-1)). Suppose o*j = -3*j - 2*x + 11, -2*j = 3*x + 1. Which is bigger: 3 or j?
j
Let c = 19 + -16. Suppose 0 = -2*b - 1 - c. Is -2 bigger than b?
False
Suppose -2*g - 11*h + 15*h = 28, -h - 5 = g. Let w = -17 + 11. Do g and w have the same value?
False
Suppose -6*w + 3*w + 2*c = 73, 0 = 4*w + c + 101. Let i(h) = -h**3 + 3*h**2 + 5*h + 1. Let f be i(5). Which is smaller: f or w?
w
Let b = 43.8 + -44. Which is smaller: b or 12?
b
Let n = 0.02 - -0.05. Let b = n - -0.03. Which is greater: b or 3?
3
Let a(n) = 2*n - 21. Suppose 4*j - 43 = -7. Let p be a(j). Which is smaller: -21/5 or p?
-21/5
Let j = -9 - -10. Is 4/7 less than j?
True
Let y = 5.7 + -6. Let n be (-4)/(-6) - 248/(-24). Let u = n + -13. Is u greater than y?
False
Let f(m) be the second derivative of -m**3/6 - 5*m**2/2 - 4*m. Let a be f(-9). Let b be (-2)/(4/(-9)) + -2. Which is greater: b or a?
a
Let n(h) = -h