-4)/(-10). Is f smaller than l?
False
Suppose -51 = -3*o - 15. Suppose -18 = 4*t + 2*z + 3*z, 2*z = -4*t - o. Is 1/2 <= t?
False
Suppose 0 = j + 5*j - 6. Let w = -2 + 1. Let k = -2 - w. Which is smaller: k or j?
k
Let l = 2878/16813 + 2/731. Is l less than 1/2?
True
Let i be (-3)/15 - 2/(-10). Let w be 0/(-2 + 0 + i). Is w less than 0?
False
Suppose 3*m - 6 = -2*y, y - 11 = -3*m - 2. Let n be y/30 + 1/2. Is n smaller than -0.3?
False
Suppose 3*v = 2*b - 25, 5*v + b + 44 = 2*b. Which is bigger: v or -8?
-8
Suppose 2*g + 4 = 0, -b - 2*g = -6*g - 8. Suppose 2*l + l + 3 = b. Let c = 8/117 - -2/13. Is l at least c?
False
Let y = 23 + -28. Is -5 <= y?
True
Suppose -5*n - 52 = -2*x, -4*x + 108 = n - 18. Suppose 4*i = x + 89. Let l = -154/5 + i. Is l at most as big as -2?
False
Suppose i = -2*i + 27. Is i != 9?
False
Suppose -405 = -t + 6*t. Let q be 3*(-33)/t - 1. Is 0.3 != q?
True
Let w be 1 - ((-96)/33)/(-4). Let t = w + 2/33. Let b = -6 + 8. Is b at least as big as t?
True
Let p = -7 - -15/2. Let d be (-6)/(68/(-6) - -2). Let t = d - 1/7. Is p equal to t?
True
Let y = 2425 + -397699/164. Which is smaller: y or 0?
0
Let h = 1.3 - 2.1. Let i = -2.8 - h. Let u = -6 - -4. Is i bigger than u?
False
Let w = 63 - 69. Do -6 and w have the same value?
True
Let w(t) = t**2 + 10*t + 4. Let x = -20 - -11. Let q be w(x). Which is bigger: -6 or q?
q
Let o = 973/204 + -53/12. Let r = o + 4/85. Is -1/6 at most as big as r?
True
Let t = 49.4 - 54. Let q = t + 5. Is q != 1?
True
Let g = 571 - 2831/5. Let l = g + -139/30. Let c = -6 - -7. Does l = c?
False
Suppose 2 + 2 = -v. Let r = 1 - v. Suppose -4*o - 22 = -r*n, 2*n - n - 8 = 2*o. Is o bigger than -2?
False
Let a = -6 + 6. Suppose 2*t = -a*t + 16. Let j be 33/12 - (-2)/t. Do -1 and j have different values?
True
Let h be 10/5*1/8. Let p = 2 - 1. Let u = p - 2. Which is smaller: h or u?
u
Suppose 2*q + 5 = q, -i + 3*q = 0. Which is greater: -13 or i?
-13
Let h = 286/81 - -6302/81. Let n = h + -82. Let f(y) = y + 4. Let l be f(-4). Which is bigger: n or l?
l
Let t be (-2 - (-2 - 0))/2. Suppose 3*g + 0 + 3 = t. Is g at least -4?
True
Let d(s) = -4*s - 8. Let b(g) = 7*g + 15. Let t(i) = -3*b(i) - 5*d(i). Let l be t(-5). Which is smaller: 2/5 or l?
l
Suppose 3*g + 9 = 4*z, 3*z - 9 = 5*g + 6. Let n(r) = 3*r**2 - 8*r + 4. Let l(q) = -q**2 + q. Let y(t) = 2*l(t) + n(t). Let b be y(5). Which is smaller: b or g?
g
Let k be ((-3)/6)/((-6)/60). Which is bigger: 0 or k?
k
Suppose -3*a - 15 = 2*a. Let m be (a/15)/(2/6). Is -2 bigger than m?
False
Let k = 0.02 - 0.72. Let m = k + 0.8. Is 18 at least m?
True
Let c = 8 - 10. Let a(m) = m + 4. Let k be a(-3). Is k at least c?
True
Let l = -0.6 - -0.7. Which is smaller: -2.7 or l?
-2.7
Let o = -5 - 1. Let g = o + 5.5. Let d = g + 0.7. Which is smaller: d or 1?
d
Let i be (57/(-9) - -6)/((-2)/6). Let x be (3 + -1)*(-1)/2. Let s be 10/(-12)*x/5. Which is bigger: i or s?
i
Let k be (3*-1)/(9/(-6)). Let f be 2/(-12)*k + 0. Let i be ((-348)/190)/(-6) - (-2)/(-10). Is i greater than f?
True
Let n = 0.64 + -0.7. Let t = -0.04 - 0. Let l = n + t. Does 2/5 = l?
False
Let i = -91 + 86. Which is greater: i or -3?
-3
Suppose 0 = -i - 0 + 3. Let y = -4 + i. Which is greater: 1/7 or y?
1/7
Let i(h) = h + 7. Let s be i(-4). Let w(x) = -x. Let c be w(s). Suppose 2*y + 3 = -4*k + 5*k, -2*y + 2*k = 2. Is c at least as big as y?
False
Let a = -37 - -25. Which is bigger: a or -11?
-11
Suppose c + 2*h = 5*c - 342, -3*h = 4*c - 357. Let k be 21*(3 - c/27). Are k and -5 nonequal?
True
Let d = -104 + 104.36. Do d and 0.1 have different values?
True
Let p be 192/30 + 3/5. Let r = -6 + p. Is r greater than or equal to 3?
False
Suppose -3*w = 2*w. Is w >= 0?
True
Let h = 6 + -9. Let x(l) = l**2 + 2. Let w be x(3). Suppose -4*k = q - 5, w*q - 6*q + 2*k = -11. Is q <= h?
True
Suppose -5*n = -2*n - 15. Is 9 equal to n?
False
Let g = 5 - 5. Let m = g + 0.5. Which is bigger: 2 or m?
2
Let j be ((-3)/(-2))/(15/200). Suppose j = -3*h - 1. Is -6 bigger than h?
True
Let j = -23 - -20. Which is smaller: -8/3 or j?
j
Let n(p) = p**3 - 13*p**2 - 8*p - 83. Let t be n(14). Let z be ((-2)/18)/((-10)/(-6)). Which is bigger: z or t?
t
Let f(p) = -2*p**3 + p**2 + 25*p - 7. Let s(t) = t**3 - 13*t + 4. Let a(n) = -6*f(n) - 11*s(n). Let k be a(7). Is -0.3 smaller than k?
False
Let l be (4/2)/(8/(-20)). Let n be (l - -5)*(-2)/4. Is 1/9 bigger than n?
True
Let i = 6.3 + -1.3. Let b = i + -4. Which is greater: b or -3?
b
Suppose 5*g + 3*a - 8 = 3, -5*g = -4*a + 3. Let o = 1 - g. Let m = 2/73 - -136/365. Which is smaller: m or o?
o
Let o be -2 + -1 + 2 - 8/(-6). Is 8 less than o?
False
Suppose 0 = 3*f - 3. Is -3/17 at least as big as f?
False
Suppose -i - 2 = -11. Suppose -7*s + i = 5*p - 3*s, -4*p + 3*s = -1. Which is greater: 1/9 or p?
p
Let r = 2/11 - 19/44. Suppose 4*j - 2*j = 4*b + 22, -2*b + 5*j = 15. Let s = -6 - b. Which is smaller: s or r?
s
Let h = -5 + 8. Suppose -2*t - 5 = h*t. Let l(o) = o**3 - 9*o**2 + o - 8. Let r be l(9). Which is greater: t or r?
r
Let b = 13 - 13.08. Is b bigger than 0?
False
Suppose -5*l + 8 = -7. Let d = -1 + 2. Is d less than or equal to l?
True
Let s(j) be the third derivative of j**6/120 + j**5/12 - 7*j**4/24 - 7*j**3/6 - 3*j**2. Let c be s(-6). Let a = c + 1. Which is bigger: a or -2/9?
a
Let g = -0.28 - -1.23. Let i = g - -0.05. Let b = -47/7 + 7. Are i and b equal?
False
Let j = -2.47 + 34.77. Let s = -34 + j. Let w = -2 - s. Which is smaller: w or 0.1?
w
Suppose 0 = -5*s + 1 + 54. Which is greater: s or 9?
s
Suppose t = 1 + 5. Let h(a) = -5*a - 3. Suppose 0 = -n + 3*n + 4. Let s be h(n). Which is smaller: t or s?
t
Let n = 0 - 0.2. Let r = -2 - -2.4. Let a = r + n. Which is smaller: a or -2/9?
-2/9
Let w = -272/1143 + 2/127. Let b(n) = 2*n - 44. Let z be b(22). Are w and z nonequal?
True
Let l = 1942/123 - 12434257/787569. Let t = 27481637/83239 + l. Let v = 330 - t. Do -1 and v have the same value?
False
Let i = 367 + -1111/3. Which is smaller: i or 1?
i
Let d be 13 + (4 + -2 - 0). Which is bigger: 13 or d?
d
Suppose -4*w + w - 2*c + 17 = 0, c + 5 = 0. Which is smaller: w or -5?
-5
Let p be (191/(-3))/((-3)/(-3)). Let o = 63 + p. Which is greater: o or 0.1?
0.1
Let y(w) be the third derivative of -w**4/4 - 3*w**2. Let p be y(1). Is p at least as big as -6?
True
Suppose 0 = 5*x - 12 + 17. Let t = -4.1 + 0.1. Which is smaller: x or t?
t
Let g be 9/6*30/(-9). Which is greater: -18/5 or g?
-18/5
Let j be (-718)/(-1120) - 30/(-50). Let q = j + -21/16. Which is greater: q or 1?
1
Let g be 0 - 2 - (-23 - -1). Suppose 3*z - z = g. Which is smaller: 9 or z?
9
Let r be (-96)/(-440) - (-4)/22. Let c = -64 + 322/5. Is r equal to c?
True
Let r(f) = 5*f**2 + 7*f + 14. Let u(l) = -11*l**2 - 13*l - 29. Let k(n) = 9*r(n) + 4*u(n). Let i be k(-10). Which is smaller: i or 1/6?
i
Let s = 12 - 10. Suppose -5*k - s = 4*d, -5*k + 2*d - 7*d - 5 = 0. Which is bigger: k or -1?
k
Let f be 3/(-5) - 218/70. Are -2 and f equal?
False
Let i = 0.4 + 0.9. Which is bigger: -0.1 or i?
i
Let v = -7 - -9. Suppose -v*d = u + 3*d - 4, -u + 4*d = 5. Do u and -1 have the same value?
True
Suppose 4*h = -3 + 19. Suppose -2*u + 4*u + 4*z + 10 = 0, 20 = 5*u - 5*z. Which is greater: u or h?
h
Let c = -0.02 - -0.12. Let f = -51 + 46.4. Let s = 0.6 + f. Is c <= s?
False
Suppose -2*g + 50 = 3*g. Suppose -4*z = z - g. Let u be ((-2)/(-12))/(2/6). Which is smaller: u or z?
u
Let v(x) be the second derivative of -4/3*x**3 + 0 + 0*x**2 - 2*x - 1/12*x**4. Let b be v(-8). Is b greater than or equal to -4/7?
True
Let s = 178154/63 + -2828. Let w = -4/63 + s. Let d(p) = p**2 + 5*p + 3. Let q be d(-4). Which is greater: q or w?
w
Suppose 0 = 3*n + 30 + 6. Let u be (n/(-9))/1 - 2. Which is bigger: u or 0?
0
Suppose 4*u = -2*k + 8, 4*u = 2*k + 3 + 5. Suppose 0 = -3*r + 2*x + 20, -4*r + 8 + 4 = x. Let v be (2/r)/(1 + -2). Which is greater: k or v?
k
Suppose -3*k = 6, 4*n - 2*k + 4*k - 4 = 0. Let t(r) = 7*r - 6. Let q be t(6). Let d be 11/12 - 6/q. Which is smaller: d or n?
d
Let v = -0.3 + -0.7. Let l = v + 1.03. Which is smaller: l or -1?
-1
Let z(b) = -b - 11. Let u be z(-12). Let k be (4/35)/(24/20). Which is greater: u or k?
u
Let g = 43 - 64. Let u be g/27*(-2)/7. Which is greater: u or 1/5?
u
Suppose 0 - 6 = -6*u. Which is smaller: -4 or