+ 23 = l. Is l greater than 19?
False
Suppose 12*p - 2 = 10. Let y = 10842 + -4542800/419. Let u = y + 852/2933. Which is smaller: p or u?
u
Let g = 4 - 9. Let l = g + 7. Is 2 at most as big as l?
True
Let f = -3 + 3. Let s be (f - 0)/(1 - 0). Let u be -2 + (s - -1 - 0). Is 1/5 at least as big as u?
True
Let b = -23/10 + 223/110. Let j(t) = t**2 + 3*t - 71. Let u be j(7). Which is bigger: u or b?
b
Let j be (-2 + 3)*-22*(-5)/(-50). Let i(r) = -r - 5. Let z be i(-4). Is z at least j?
True
Let i be 1 - (-6)/9*-3. Which is smaller: i or 9?
i
Let b be (-30)/(-18) + (0 - 1). Let d = -28/19 + 1946/57. Let k = -33 + d. Are b and k unequal?
True
Suppose -3*i - 3 = -12. Let h be (-10)/15 - 40/i. Is h < -15?
False
Let z = 0.02 - 0.42. Let v = -0.3 - z. Let c = -4 + 1. Do c and v have the same value?
False
Let m = 5/14 + -43/42. Which is smaller: m or -1?
-1
Let l = 8 - 3. Suppose 4 = f - l*f. Which is smaller: f or -2?
-2
Let v(m) = 0 + 5 + 0 - m. Let n be v(0). Is 6 != n?
True
Let c be (-2)/2 - 1 - -6. Let i be c/(-114)*(1 - -2). Is -1 at most i?
True
Suppose 3*a - 7*a = 0. Let p = -35 + 943/27. Is a less than or equal to p?
False
Let q = -0.106 + 0.066. Is 6 smaller than q?
False
Let p = 76 + -54. Let a be (-8)/(-8) - 24/p. Suppose -5*k - 1 - 4 = 0. Which is bigger: a or k?
a
Let p be (-3)/15 + (-498)/10. Let b be -2 + -1 + p/(-18). Let s = 1/9 - b. Is s at most as big as 0?
False
Let v(u) be the second derivative of u**5/20 - u**4/2 - u**3/6 + 4*u**2 - u. Let q be v(6). Let t be q/3*6/50. Is t smaller than 1?
True
Let u be 142/536 + 3*(-1)/12. Are u and 0 equal?
False
Suppose 5*y + 0*y = -5*s + 10, -2 = -4*y - 2*s. Suppose -12 = -4*q + 3*q. Let m be 1/(-2)*q/9. Is m bigger than y?
True
Let b = 1 - -1. Suppose 3*d - 4 - b = 0. Is d equal to 5/3?
False
Suppose 3*m - 37 = -5*u, -4*u = -u + 5*m - 35. Let w = u - 8. Suppose 0 = -5*t - 12 + 2. Is t < w?
False
Let q be (2/(-6))/(5/(-196)). Let x = -38/3 + q. Which is bigger: -2 or x?
x
Let h(f) = f + 6. Let i be h(-4). Suppose -5 = i*j + t - 2*t, 3*j + 10 = 2*t. Let q(g) = g**2 - 7*g + 6. Let x be q(6). Is j greater than x?
False
Let j(m) = -m - 5. Let f be j(-6). Let b be f/(-4) - 2/(-8). Suppose -4*a = -b*a. Is a != 0?
False
Suppose 4*x + 11 = 4*o - 5, -2*o + 6 = -4*x. Let q = 12 - o. Suppose 4*u - y + q = 14, y - 1 = -4*u. Which is smaller: 2/9 or u?
2/9
Let t = 62 + -33. Suppose 1 - t = -4*d. Do d and 7 have the same value?
True
Let j be -21*(-5)/(45/3). Is 9 smaller than j?
False
Let n be (1 - 2) + 1*10. Let d be (4/(-84))/((-1)/n). Suppose -4*s = -7*s. Which is bigger: d or s?
d
Let h = -333/230 - 7/46. Let u = 4 - 5. Which is greater: h or u?
u
Let x = 11 + -9. Suppose -2*y - x = 0, -2*a + 5*y = 2*y + 9. Let z = -7 - a. Which is greater: 0 or z?
0
Suppose 2*b + 2*b = -2244. Let u be (639/(-12))/((-33)/(-348)). Let k = b - u. Which is smaller: k or 2?
k
Suppose -18 = 24*n - 21*n. Suppose 0 = 4*m + 3*h - 64, -3*h = -4*m - 4*h + 64. Suppose 4*k - 2 = -2*s, k = 2*k - 5*s + m. Are k and n unequal?
True
Let z(r) = r**2 + 15*r + 24. Let p be z(-14). Which is smaller: p or 12?
p
Let c = 0.01 + 2.99. Which is smaller: c or -2/15?
-2/15
Let h = 1223/9 - 136. Suppose -4*l + 0 - 4 = 0. Do l and h have the same value?
False
Suppose 3*a + 20*z = 17*z - 6, 2*z + 3 = -3*a. Which is bigger: 1/17 or a?
a
Let w be (9 - 9)/((-4)/2). Let u = -8567/9 - -953. Is w > u?
False
Let a(r) = r - 5. Let d be a(10). Let m be (-2)/d - 10/(-25). Let f be 0 - ((-2 - 0) + 1). Which is smaller: m or f?
m
Suppose 8*u - 5*u = -15. Let q = 10 - 14. Is q at most u?
False
Let u(r) = -2*r**3 - 3*r**2 + 2*r + 5. Let o be u(-4). Which is bigger: o or 78?
78
Let r(x) = -x**2 - 8*x + 6. Let d be r(-7). Which is bigger: 15 or d?
15
Let i = 13 - 14. Let t = -5 - -3. Which is bigger: i or t?
i
Let w = -2 + 3. Which is greater: w or -3/7?
w
Let m be (-4)/22 - 714/187. Let s be (3 + m)*2*-4. Suppose -n - 2*n = -q - 28, 0 = -3*n + 4*q + 40. Is n < s?
False
Suppose 2*v - v + 4 = 0. Which is smaller: -5 or v?
-5
Let i be 9/(-4) + 9/36. Let t = 1 + i. Which is bigger: t or -1/27?
-1/27
Let h(k) = -7*k - 5. Let f(q) = -q - 1. Let s(x) = -6*f(x) + h(x). Let n be s(-1). Which is greater: 3/4 or n?
n
Let o = -2.7 + -0.3. Which is bigger: 0 or o?
0
Let k be 28/126 - (26/(-72))/1. Which is bigger: 0 or k?
k
Let d = 7/33 - -545/231. Is 4 smaller than d?
False
Let q(u) = 3*u - u**2 + 4*u**2 + 1 - 2*u**2 + 0*u. Let c be q(-2). Let w(k) = -k**3 + 6*k**2 - 5*k - 2. Let g be w(5). Are g and c equal?
False
Let c be ((-1)/(-6))/(1 + -4). Are 1 and c nonequal?
True
Let j be (-12)/98*(-133)/76. Which is bigger: 0 or j?
j
Let a(j) = -j**3 - 7*j**2 + 9*j + 3. Let t be a(-8). Let o(w) = -w. Let u be o(t). Let p = 7 - u. Are p and 2 equal?
True
Let r(l) = -3*l + 20. Let t be r(7). Is t at least 2/5?
False
Let k(s) = s**3 - 4*s**2 + 2*s - 5. Let l = 11 - 7. Let j be k(l). Suppose t = -0 + j. Is 1 < t?
True
Let k = -27 + 33. Which is greater: k or -1?
k
Let g = -3 + 3. Suppose g = -3*r + 6*r - 3. Which is bigger: -1/22 or r?
r
Let t = 29 + -6. Let n = t + -23.1. Let x = 23 - 15. Is n greater than x?
False
Let t be 3 + (1 - (-66)/(-15)). Which is smaller: -3/5 or t?
-3/5
Let u be -1*(-3)/(-2)*-2. Let l(i) = 2*i + 1. Let p be l(1). Are u and p non-equal?
False
Let t = -16 + 12. Which is greater: t or -0.1?
-0.1
Suppose -k = -1 - 2, -18 = -3*a - 3*k. Let g = 14 - 9. Suppose -g = f + 3*i - 21, 0 = f + i - 6. Are a and f nonequal?
True
Suppose 0 = 4*p - p. Suppose -3*b + 5*a - 7 = 7, 0 = 3*b + 2*a - 14. Suppose b*s + f = -2, -8 - 1 = 3*s + 3*f. Is p >= s?
False
Let w = 10/21 + 4/21. Which is greater: w or 5?
5
Let h be (1 + 0)/(1/(-1)). Let p = -196 + 188. Is h < p?
False
Let h be 1/(-2 - (-57)/27). Let d = h - 4. Suppose -d = 6*p - p. Is 1/3 >= p?
True
Let a = 2 + 7. Let b = a - 17. Which is bigger: b or -10?
b
Suppose 1 = 3*r + 2*w - 1, 3*w = -3*r. Suppose 0*k = r*k. Suppose k = -2*h - 2 + 4. Do h and 2/17 have the same value?
False
Let k = 0.03 - 0.03. Let h = 3 - 3.2. Which is bigger: k or h?
k
Let g = 421/4 - 104. Let j = g - 3/4. Which is smaller: j or 2?
j
Let x be (5/10)/(1/4). Are 2 and x equal?
True
Suppose -4*j = -11 - 1. Which is greater: j or 0?
j
Let o be (2 - 1) + 1628/(-1410). Let j = o + 1/47. Let n = -57 + 56. Which is bigger: j or n?
j
Suppose -3*o = -4*o - 4*x + 19, 4*o - 5*x = 55. Do 15 and o have the same value?
True
Let c = 0.28 + -1.58. Let b = 0.8 + c. Let q = b + 0.54. Which is smaller: q or -1?
-1
Let c be 2*(-178)/20 - 5/25. Which is greater: -17 or c?
-17
Suppose 2*s = 5*s. Let h = -5 + 4.4. Let a = 0.6 + h. Does s = a?
True
Let t be 2/(-1) + 20/(-100). Are -1 and t equal?
False
Let r(o) = o**2 - 4*o. Let q be r(4). Let v be 6/(-18) + (-163)/1995. Let d = v - -2/133. Is d < q?
True
Let j be (-90)/(-30)*((-88)/(-86) - 1). Which is smaller: -1 or j?
-1
Let h be ((-18)/(-4))/(12 - 6). Let a = 4.04 - 4. Let k = a + 0.16. Is k bigger than h?
False
Let a(u) = -u**2 - 13*u + 18. Let t be a(-15). Let k = -9 - t. Are k and -1 equal?
False
Let c = -25 - -25. Let a = -2 - -3. Let u be 24/(-45)*a/(-4). Is u less than c?
False
Let y = -4.6 + 5. Let c = 0.2 - y. Let q = c - -0.2. Which is smaller: q or -2/3?
-2/3
Let c be (1 - 0)/(0 - -1). Let l = -3 + c. Let o be (4 - 2) + 2 + l. Do -2 and o have different values?
True
Let a = -0.01 - 0.39. Let p = a + 2.4. Which is smaller: -0.3 or p?
-0.3
Let s = 22 + -19. Let n be s + 1/(-2)*4. Is n smaller than 0.05?
False
Let y = -1/48 + -49531/240. Suppose -a = 0, -5*v = -a + 29 + 1006. Let s = y - v. Which is bigger: 0.1 or s?
s
Let w(m) = m. Let n(j) = 3*j - 2*j - 7*j. Let b(z) = 2*n(z) + 11*w(z). Let l be b(0). Which is greater: l or -1?
l
Let u(o) = o + 9. Let z be u(-6). Suppose 2*m = -z*p - 2*p + 12, 4*m = p + 46. Let w = m - 56/5. Is -1 greater than or equal to w?
False
Let v be (-2)/4 + 2/6. Is -1 smaller than v?
True
Suppose -n - 4 = 3*n. Let g be n*(2 + -1) + 2. Is g at most as big as -1/6?
False
Let p be 6/(-14)*(-175)/10. Is 1/4 not equal to p?
True
Let l = 15 + -11. Suppose 4 = -2*w + h, 5 = -l*w - 3*h - 3. Which is smaller: -1 or w?
w
Let j be 2/7 - (10 + -14). Which is smaller: j or 4?
4
Let n = 12 - 11. Is -1/4 greater than n?
False
Let s be (4/10)/(-1) - 1/(-15). Which is smaller: 22 or s?
s
Let r(n) = n