(-2)/(-4) + 3/b. Is g not equal to l?
True
Let c = 22 - 21. Is -2/5 greater than or equal to c?
False
Let v = -1.02 + 0.02. Which is smaller: v or -2/7?
v
Let w be (-8)/(-16) + 45/(-94). Which is smaller: 0 or w?
0
Suppose 9*n = 4*n. Let w(u) = u + 2. Let v be w(n). Which is smaller: 2/3 or v?
2/3
Let h = 427/6 - 71. Do h and 0 have different values?
True
Let n = -40 + 37.03. Let x = -3 - n. Let f = 16 + -17. Does x = f?
False
Let h = -52/171 - -10/19. Let a = -5/6 - -1/2. Do h and a have different values?
True
Let o = -463.09 - -465. Let y = 0.09 + o. Which is smaller: 0.2 or y?
0.2
Let b(w) = -5*w. Let n be b(-2). Let c = -88 - -79. Let g = c + n. Is 5 equal to g?
False
Let g = 53.955 + 0.045. Is -1 less than g?
True
Let d = -11 + 9. Let q = 0 + d. Is -4/7 less than or equal to q?
False
Let v = 10 + -9. Let c = -78 + 79. Is c at least v?
True
Let d = -5 + 5.3. Let b = -0.2 - d. Which is greater: b or 2?
2
Let t be (-1)/(-3) + 2/(-6). Let v = t - -5. Suppose 3 - 8 = -v*g. Is g equal to 1/4?
False
Let s be ((-6)/(-112))/3*-494. Let i = -37/4 - s. Which is smaller: -0.1 or i?
i
Let d be (-1696)/15 - 4/(-6). Let p = d + 112. Do 2/3 and p have different values?
True
Let k = 26.968 + 0.032. Which is smaller: -0.1 or k?
-0.1
Suppose 0*q - 5*q = 0. Let d(l) = l + 6. Let z be d(-5). Let v = z - q. Is -1/4 at most v?
True
Let w be ((0 - -1) + 1)/31. Which is smaller: w or 1?
w
Let b(x) = x + 12. Let g be b(-10). Is 2 less than g?
False
Suppose 0 = -5*s + 2*t - 78, 2*s = -0*s + 4*t - 28. Are -15 and s equal?
False
Let l(n) = 3*n + 16. Let i be l(-5). Which is smaller: i or -3/20?
-3/20
Let q(p) = 2*p**3 + 3*p**2 + 2*p - 1. Let j be q(-2). Let x(t) = 2*t**3 + 11*t**2 - 6*t - 7. Let l be x(-6). Which is smaller: l or j?
j
Let f be 7 + -2 + 2 + 2. Suppose -3*q = -4*q + f. Suppose 0*v - 3*v + q = l, 0 = -5*v + 4*l + 32. Is v smaller than 3?
False
Let q(c) = c + 4 - 1 - 4. Let w be q(2). Which is bigger: w or 1/3?
w
Suppose 0*p - 5*p - 3 = -2*j, 0 = p - 2*j + 7. Is 2/153 greater than p?
False
Let h = 6/43 - 227/86. Are h and -3 nonequal?
True
Let x = -28 - -113/4. Which is smaller: x or 0.4?
x
Let u = 0.14 - 0.06. Let t = u - -0.02. Are t and -0.1 nonequal?
True
Let u = 1 - -2. Suppose -u*w = -2 + 8. Let z = 61/2 - 31. Which is greater: w or z?
z
Let q(d) = -d**2 + 4*d + 10. Let y be q(7). Does -2 = y?
False
Let k(q) = -q**2 + 7*q + 10. Let j be k(7). Do j and 6 have different values?
True
Let l be (4 - 5)/(0 - 1). Is 11/5 bigger than l?
True
Let j(o) = o**2 - 5*o + 5. Let p be j(5). Which is smaller: 6 or p?
p
Let c = 3/22 - -4/11. Let l be (2/(-20))/(6/5). Which is smaller: c or l?
l
Suppose -3*x = -58 - 32. Let d be (-30)/12*(-8)/x. Which is smaller: d or -3?
-3
Let q = 7578/11 + -688. Which is smaller: q or 0?
0
Let r(t) = 19*t + 22. Let y be r(-5). Which is bigger: -72 or y?
-72
Suppose 3*b - 13 = -4*v + 68, -b - 51 = -3*v. Let o = v + 17. Let y = -211/6 + o. Which is greater: y or 1?
1
Let d(f) = 6*f + 41. Let g be d(-7). Let m be (0 - (-6)/(-16))/1. Do g and m have the same value?
False
Suppose 4*z - 11 = -15. Which is bigger: z or -22/9?
z
Let m = -1 - -1.1. Let k = 3 - 2.82. Let g = k + -0.15. Is g <= m?
True
Suppose 5*t + 0 = 20. Let x be (-2 + t)*(-1 + 0). Let l be x/10 - 1/(-1). Is 2 equal to l?
False
Let x(z) = -3*z + z + 0*z. Let d be x(-1). Is d <= 2?
True
Let q(y) = -2*y**2 + 1. Let n be q(1). Let p(l) = l**2 - 2*l. Let x be p(2). Let a = 0 + x. Does a = n?
False
Let r be (-3)/7 - 418/(-77). Suppose c + r = -2*o, 4*c + 2*o - 4*o = 20. Suppose -q + 2*n + 3 = 9, -30 = -5*q - 5*n. Is c > q?
True
Suppose -3 = p + 11. Which is smaller: 0 or p?
p
Let x(w) = -w**2 + w. Let l(j) = 4*j**2 - 13*j + 9. Let o(f) = -l(f) - 5*x(f). Let r be o(-9). Suppose r*a = -3*a. Is a smaller than -0.1?
False
Let m = -44/3 + 569/39. Let d(q) be the third derivative of -q**5/60 + q**4/6 - 2*q**3/3 + q**2. Let t be d(3). Is m at most t?
False
Let z be -1 - ((-135)/(-10))/(-9). Is z at least as big as 1?
False
Let g = -196 + 17641/90. Which is bigger: -1 or g?
g
Suppose -3*w = 5*y - 284, -5*y = w - 3*w - 269. Let j be ((-23)/2)/(y/7). Let v = 3/22 - j. Which is smaller: 3 or v?
v
Suppose s + s - 30 = 0. Suppose -m = 4*m - s. Suppose -m*c + 10 = 2*c. Which is greater: -2/5 or c?
c
Let q be 1/12*(-6)/2. Which is bigger: 0 or q?
0
Let z be 0 - (0/(-2) + -4). Which is bigger: 5 or z?
5
Let j be (2/(-4))/(49/(-4)). Suppose -5*o - o = -6. Is o not equal to j?
True
Let i(a) be the first derivative of a**2/2 - 6*a - 1. Let y be i(5). Let x be ((-3)/(-4) - 1)*y. Are x and 1 non-equal?
True
Suppose -11 = 4*d - 7. Is d not equal to -5/12?
True
Let v(p) = 1 - 3 + 6 + p. Let h be v(-4). Suppose -2*r + q + 2 = -r, -5*r - 5*q = h. Which is bigger: 2 or r?
2
Suppose 4*r + 4 = -0*r. Which is smaller: r or 2?
r
Suppose t - 9 = -g, 2*t - 2*g + 6 = t. Let k be 7/(-3) + (-1)/(-3). Let a be k/(-3) + 26/6. Is t != a?
True
Let d be 3/((-2)/(8/(-6))). Let q = -18 - -18.1. Which is bigger: d or q?
d
Suppose 5*p = 3*m - 4*m + 21, 0 = p - 2*m - 2. Let c = 85 + -85. Which is bigger: c or p?
p
Let d(b) = -b + 1. Let i be d(-4). Which is bigger: i or 6?
6
Let c = 1 + 3. Let b be 10/5*2 - (0 - 1). Which is smaller: b or c?
c
Let c(u) = -u**3 - 3*u**2 + 2. Let z be c(-2). Let r be (-2)/(-4) + 3/(-6). Let x = -2 + r. Is z less than x?
False
Let x = 0.3 + -0.6. Let w = 76.1 + -81. Let j = 5 + w. Which is greater: x or j?
j
Let f(w) be the first derivative of 3*w**2/2 + w + 3. Let g be f(1). Is 5/2 at least as big as g?
False
Let z = 4 + 1. Is z at most as big as 5?
True
Suppose -1 = -p + 1. Let u be (2 - 5) + 1 + -1. Let a be (0 - p)*u/24. Which is smaller: a or 1?
a
Let u be 2/(-4) + 27/6. Let b be u/5*5/22. Which is bigger: -1 or b?
b
Let q = 0.01 + 0.17. Let f = 1.78 - q. Which is smaller: f or 0.1?
0.1
Let w(m) = 15*m**2 - m. Let s be w(-1). Suppose -4*h - s = -7*h - 4*f, 5*f - 21 = -4*h. Which is greater: h or 5?
5
Let z = -18 - -15. Let p = -15 + 11. Is p less than or equal to z?
True
Suppose -6*q + 17*q = 132. Is q smaller than 10?
False
Let l(s) = -4*s. Let o be l(-2). Suppose -2*d = -0*d + o. Suppose 4 = -4*u - 12. Is u at least d?
True
Let o be 20/45*6/4. Suppose -9 = 2*r + y, 3 = -3*y - 12. Which is smaller: r or o?
r
Suppose 3*f + 5 - 11 = 0. Let p be f/1*9/(-6). Which is smaller: p or -1?
p
Let d be 28/(-224) + ((-1)/(-4))/1. Let x(o) = -o**2 - 5*o. Let n be x(-5). Which is smaller: n or d?
n
Suppose -m + 3*q - 3 = 0, 3*m - m + 4 = 4*q. Let z be (m - 0) + (-55)/24. Let i = 29/8 + z. Is 2 less than or equal to i?
False
Let z be -3 + 2 - 0/1. Let i(m) = -m**2 + 2*m - 1. Let p be i(1). Which is greater: z or p?
p
Let h be (-2)/(68/20 + -3). Is h < -5?
False
Let l = -23 - -40. Suppose 3*q - 2 = -l. Let u = 3 + q. Which is smaller: u or -3/5?
u
Let w = 8.28 + -8.2. Which is bigger: w or 3?
3
Suppose -4*a = -14 + 6. Let i = a + -1. Which is greater: i or -2/23?
i
Let z = 4 - 5. Let c = -33/58 - -2/29. Which is smaller: z or c?
z
Let t = -5654071/101367 + 5/11263. Let j = t + 56. Let b(k) = k - 8. Let a be b(7). Do j and a have the same value?
False
Let p be 0 + 0 - 2/3. Let q = -1 - -1. Suppose q = l - 2*l. Which is greater: l or p?
l
Let c = 12 - 14. Is c bigger than -1?
False
Let d be 0*(1 - (1 + -1)). Let v(c) = c + 4. Let h be v(d). Suppose -m - 20 = h*m. Which is smaller: m or -3?
m
Let g = 7 + -9. Let a be 0 + (-2)/(g - -8). Which is greater: -0.5 or a?
a
Let a = -497 + 11433/23. Is -1 less than a?
True
Let f = 1.4 + -0.9. Is -2 >= f?
False
Let n be (-2*7/28)/(2/72). Is -13 greater than n?
True
Suppose -3*s - 2*s - 4*z = -29, 2*z = -s + 7. Suppose 0 = -s*p - 15, -5*i + 5*p = -16 - 9. Do 0.03 and i have the same value?
False
Suppose 0 = -5*p + 20 - 0. Let z be 2/11*2/p. Is -1 >= z?
False
Let g = 0.2 - -0.1. Let j be ((-2)/(-10))/((-27)/(-90)). Is j bigger than g?
True
Let o(l) = -l**3 + 3*l**2 + l - 5. Let j be o(4). Is j at most as big as -17?
True
Let u be ((-2)/12)/((-30)/(-90)). Let a = 4.7 + -5. Let m = a - -0.2. Do m and u have the same value?
False
Suppose -r = -3*o + 15, 0*o = 4*r + 2*o - 10. Suppose -5*w = -r*w - 15. Suppose 5*h - 3*s = -8, -h + 2 = w*s - 0. Is h less than -2/23?
True
Let f be (-2)/(-8) - 9/4. Let q = 88 + -92.3. Let x = 1.3 + q. Which is smaller: f or x?
x
Let a