. Let a be 2/(v*5/22). Let x = a - 9. Is x at most as big as 0?
True
Let o = -146864/9 + 16166. Let k = o - -152. Suppose -2*f = -3*z + 22, -12 - 4 = -4*z. Which is bigger: k or f?
k
Let n be ((-462)/(-110))/((-12)/15 - -1). Is n smaller than 11?
False
Let o = 1769 + -2026. Which is bigger: o or 0.3?
0.3
Let z = 3699 + -3702. Let m be (4/2)/(3 + -1). Suppose 5*d - m = -11. Which is smaller: z or d?
z
Let y = 1322 + -4058/3. Is -32 < y?
True
Suppose -25 = -5*z, 5*h = 10*h + z - 60. Is 13 at most as big as h?
False
Let p = 84 + -82. Let r be (p/10)/((-42)/(-15)). Is r <= -1?
False
Let h = 14187/23 + -617. Let u(t) = -50*t - 499. Let d be u(-10). Are h and d unequal?
True
Suppose -5*p - 8 = 4*w - 21, 2 = 2*p. Let f be w/3*12/16. Is 1/3 < f?
True
Let d = -10/807 + 4912/5649. Suppose h - 3*t = 3, 3*t + 6 = -2*h + 4*h. Suppose 2*z + 1 - h = 0. Is d less than z?
True
Suppose -40 = -5*z - 240. Let l be ((-4)/(-15))/((-8)/z). Let k(x) = -x**2 + x. Let t be k(0). Do t and l have the same value?
False
Let b be -4*3/(-24)*-134. Is -66 equal to b?
False
Suppose c + 11 = 2*c - 2*f, 70 = 4*c + 5*f. Suppose 0 = 2*s - 11 + c. Is -4/5 at most as big as s?
False
Suppose -o + d - 4 = -d, 2 = 3*o + d. Suppose x = -3*g - 9, -4*x + 4*g + 4 + 24 = o. Let c(r) = r**2 - 2*r - 2. Let b be c(x). Is b greater than 1?
False
Let f(k) = -k**2 - 4*k + 5. Let w be f(-4). Let g be 2320/(-560) - (2 + 30/(-14)). Are g and w nonequal?
True
Suppose 4 = 3*a + a. Let r = -5338/55 - -483/5. Are r and a nonequal?
True
Let i be (1/3)/((-6)/(-4)). Let k(x) be the second derivative of -x**5/20 + x**4/2 - x**3 + 9*x**2/2 + x. Let d be k(5). Which is smaller: i or d?
i
Suppose -l - 2*l = -18. Let r = l - 11. Suppose 0 = -2*k + 3*u - 16, 0 = -3*k + 8*u - 4*u - 23. Is r less than or equal to k?
True
Let o be 4/6 - 10/24. Let m be (47 + -24)/184 + (-38)/(-80). Which is greater: m or o?
m
Let r = -36.1 - -36. Let g = -7.4 - -8. Let b = 6.6 - g. Which is smaller: b or r?
r
Let p be ((6 - 10) + 2)/(52/6). Which is bigger: p or 0?
0
Let m = 32.3 - 33. Let g = m + 0.86. Let l = g - 0.26. Which is smaller: 0.5 or l?
l
Let b = 0.03 + -1.61. Let c = -0.58 - b. Do 0 and c have the same value?
False
Let w(g) = g**3 - 4*g**2 - 7. Let q be w(4). Which is smaller: -20/3 or q?
q
Suppose 5*x = 4*x + 136. Which is smaller: x or 137?
x
Let p = -3.3 - 10.7. Is p bigger than -0.3?
False
Let p = 15093.059 - 15108. Let t = p - 0.059. Which is smaller: t or 1?
t
Let r(p) be the first derivative of p**4/4 + 11*p**3/3 + 9*p**2/2 - 6*p - 1. Let z be r(-10). Suppose 7*v - 15 = z*v. Does 5 = v?
True
Suppose -3*k - 19 = -4*q, 4*k = -2*q - 3 + 7. Suppose -q*p = -4*c + 12, -5*c = p - 3*p - 12. Let t be -2 - c - -1 - -2. Which is bigger: t or -4/7?
-4/7
Let s = -45/272 + -1/816. Is -70 less than or equal to s?
True
Suppose 11*v = 15*v - 12. Suppose 0*m = v*m + 9. Let y be m/(-2) + (-9)/(-18). Which is smaller: y or 3?
y
Suppose 2*t = 4*h - 4, 5*t - 9*h + 28 = -5*h. Suppose 2*f + 5 = l, -4*f + 5*l = f + 15. Let x be f/(((-8)/(-14))/2). Which is bigger: t or x?
x
Let z be 18/81 - (-1)/36. Which is smaller: 16/3 or z?
z
Let y = 11 - 14. Let h be -14*y*(-1)/18. Which is smaller: -0.1 or h?
h
Let j = -6/5 - -17/10. Let o = 14 + -14.067. Which is greater: j or o?
j
Let l(q) = -q**3 + 6*q**2 + 2*q - 2. Let k be l(6). Let g be (-2)/5 + 99/10. Which is smaller: k or g?
g
Let y(u) = -2*u**2 - 12*u - 1. Let a be y(-6). Is 1/100 less than or equal to a?
False
Suppose -q - 20 = -3*m, 2*q = -2*q - m - 93. Is q greater than -18?
False
Let f = 0.2 - -0.24. Which is bigger: f or -8?
f
Let h be (-3)/(-6) + (-1)/(-2). Let r be (h + -3)/((-2)/(-2)). Let q(m) = -m**3 + 3*m**2 - m + 5. Let f be q(3). Which is bigger: r or f?
f
Let d be (-22)/(-6) - 2/3. Let u be (3/(-6))/(d/(-4)). Let h = 0.0142 + 0.2858. Is h at most as big as u?
True
Let y = -1437.1 + 1437. Which is smaller: -0.0754 or y?
y
Let g = -49 - -30. Let s = 17 + g. Let a = s + -11. Is a less than or equal to 0.1?
True
Let v(x) = -x - 9. Let l be v(-12). Let n be ((-1)/l)/((-6)/(-4)). Let z = -5 - -8. Is z greater than n?
True
Suppose 2*u + 1 = -3. Let h be u/(5 + -3) - 11. Let j = h - -107/9. Is j <= -1?
False
Let j = 0 + -1. Let b be 2/(-5) + 1412/30. Let t = 47 - b. Which is smaller: t or j?
j
Let m = -1728687/2885 + 2996/5. Let j = 28770208987/5193 + -16620568/3. Let w = j - m. Which is greater: w or 1?
w
Let j(k) be the second derivative of -k**3/2 + 7*k**2 + 7*k. Let b be j(5). Which is smaller: b or 3?
b
Let y be ((0 + 0)/(34 + -36))/1. Is 4/9 less than y?
False
Let k be 136308/333 + (-2)/(-3). Is k < 412?
True
Let f = -10.5 - -8. Let u = f - -2. Let g = -309 - -308. Is g less than or equal to u?
True
Suppose -3*l - 96 = -0*l. Let u = -10 - l. Let k = -7 + u. Which is smaller: 14 or k?
14
Let d = -8.384 + 8.8. Let z = -0.016 + d. Is z equal to 0.07?
False
Suppose 3*x = 2*x + 2, 0 = 4*o + x - 10. Suppose g - o*c = 0, -g + 5 = g + c. Suppose 14 = 2*p - 5*y, 4*p + 3*y - 52 - g = 0. Which is greater: 11 or p?
p
Suppose 0 = -c, -c = -3*y - 0*c + 36. Suppose 0 = 4*v - 3*i - 21, 2*v + 3*i - y = 5*i. Let g be v + (116/(-18))/2. Is g at most 1?
True
Let i(q) = -149*q - 32. Let p be i(3). Do p and -481 have different values?
True
Let k be (4/((-32)/(-4)))/(-2). Is -1/26 greater than k?
True
Let y = 1987 + -1985. Are -80 and y unequal?
True
Suppose -5*i + 23 = -0*i + k, 2*k + 6 = 3*i. Let x be i + -1 - 46*(-6)/(-100). Which is bigger: -1 or x?
x
Let g be 8 - (-2 - -4)*2. Suppose -g*t - 22 = 2*i, -3*t - 14 = 2*i + 8. Do -11 and i have different values?
False
Suppose -5*o - 25 = 0, 0*b + 5*o + 37 = -3*b. Let t be (b/(-5))/((-1)/5). Let c be (-6)/3 - 6/t. Which is bigger: -1 or c?
c
Let z = 21 - 9. Let p = z + -6. Let l be 5/(-3) + p/9. Is l at most 3/13?
True
Suppose 4 = a - 8. Suppose 0 = k + a + 2. Let q(i) = -i**2 - 14*i - 1. Let l be q(k). Which is bigger: l or -5?
l
Let q be ((-496)/6)/4*-1. Suppose -v = -r - 25, -3*v + 2 = 3*r - 49. Let a = v - q. Is a less than or equal to 3/5?
True
Let m = -23 - -8. Let o be ((-40)/m)/((-4)/6). Let y = 29/7 + -93/14. Which is greater: o or y?
y
Suppose -3*a + 2*a + 13 = 0. Let q(x) = -x + 31. Let g be q(a). Let f be 4/g - 7/(-9). Which is smaller: -1/7 or f?
-1/7
Let r(z) = z**2 + z - 1. Let a(m) = -6*m**2 - 7*m - 1. Let k(w) = -a(w) - 3*r(w). Let o be k(4). Let u be 2 - (0 + o/36). Which is greater: 1 or u?
1
Suppose -5*z - 5*h + 129 = -3*h, -93 = -3*z + 4*h. Let l be 15/z*(-8)/(-20). Suppose -4*q = -2*q. Is q at least as big as l?
False
Suppose 3*d + 24 = -0*d. Let n be (-18)/(-12)*d/(-3). Let v be n/(3 + -5) - -1. Which is smaller: 2 or v?
v
Let w(x) = x + 11. Let f = 6 - 17. Let h be w(f). Suppose h*o - 2*o = 2. Which is smaller: 25 or o?
o
Suppose 5*g = g. Suppose g = 13*r - 17*r + 12. Suppose -4*y - r = 1. Are y and -4/5 nonequal?
True
Let m(i) = 50*i - 442. Let y be m(9). Is y bigger than 134/19?
True
Let i = 15.7 + -48.7. Let j = 32 + i. Which is bigger: 1/173 or j?
1/173
Let n = 228 - 224. Let p be (2 - 0)*1/(-6). Is n less than p?
False
Let x(a) = 9*a - 4. Let q be x(3). Let w(y) = -y**3 - 29*y**2 + y + 51. Let g be w(-29). Is g <= q?
True
Let r be ((-2)/(-102))/((-1)/(-2)). Let y(g) = -g**3 + 5*g**2 - 4*g. Let z(q) = -q**3 - 7*q**2 + 4. Let k be z(-7). Let p be y(k). Which is smaller: p or r?
p
Let r be (-5)/((-20)/8)*1. Suppose 5*k - 19 = -r*l, 2*l = 3*l - 5*k + 13. Let v = l + -5. Is v at least as big as -5?
True
Let k = -673.0935 - -0.0935. Which is greater: k or 0?
0
Let c = 0.2 - 0.3. Let z = 225.8 + -224.4. Which is smaller: z or c?
c
Let m = -55 - -53. Let b be 3*m/(-6) + -2. Are -2/15 and b equal?
False
Let p = -1.629 - -0.629. Let h = 1.714 + -1.7. Is h at least as big as p?
True
Let x = 7 + -13. Let w = x + 1. Let a = w - -5. Are -2/5 and a nonequal?
True
Let q be 306/(-102)*5/(-3). Let o(d) = -d**3 + 6*d**2 - 2. Let x be o(6). Let n be (-5 + 0)*x/2. Do q and n have the same value?
True
Suppose w = -4*w. Let s = -37487/29 - -1293. Is s > w?
True
Suppose 3*a + 4*m + 1594 = 143, -2*m - 1459 = 3*a. Is -489 greater than or equal to a?
True
Let o(n) = 16*n**2 - 15*n - 57. Let z be o(-5). Which is smaller: z or 416?
416
Let s = -1/23 + 233/69. Let p = -211 - -215. Is s at most p?
True
Suppose 1 - 5 = -4*h. Let g be (0 + -3)*h/3. 