*d = 2*d. Let b = -0.28 - 0.02. Which is smaller: d or b?
b
Let j(b) = 2*b**2 + 3*b + 2. Let d be j(-2). Let x be 2*d/(8/(-3)). Let m be ((-2)/5)/(x/5). Which is greater: m or 1?
1
Suppose -6*t - 15 = -3*t. Which is greater: -0.1 or t?
-0.1
Let p = -428341/9075 + 1/9075. Suppose -3*f + 71 - 212 = 0. Let g = p - f. Are 0 and g equal?
False
Suppose 2 = -3*v - 1. Let l be (-186)/(-714) + 2/(-14). Which is greater: v or l?
l
Let r(h) = -h**2 - h - 1. Let t be r(-2). Let y be t/(-6)*(4 + -2). Let d = 943/44 - 85/4. Is d greater than or equal to y?
False
Let x = -1 + -70. Is 1 greater than x?
True
Let m be (-6)/(-21) + (-32)/63. Which is greater: m or -1/8?
-1/8
Let w be (-2)/(-8) + 106/(-360). Is 0 > w?
True
Let q = 7 + -7. Let k = -1 - q. Which is greater: k or 1?
1
Let u = 0.02 - -0.98. Let g = -6 - -6.1. Do u and g have different values?
True
Let v be (-1)/3*3*-73. Let c = v - 217/3. Let d(k) = -k + 4. Let b be d(3). Does c = b?
False
Suppose 11*t - 12*t - 2 = 0. Is t equal to -1?
False
Let g = 2.1 - 2.3. Is 0.05 < g?
False
Suppose 29 = 7*x - 13. Let k be (x - 5)/(-1 + 2). Are k and -2/5 unequal?
True
Let m = -49/12 + 19/4. Let q(g) = -2*g - 4. Let i be q(4). Let b be (-2)/(-6) - 2/i. Is b equal to m?
False
Let c(q) = q**2 - q + 3. Let u be c(0). Let y be 5/(-15) - 1/u. Let n be (-2*1)/(3 - 2). Which is bigger: y or n?
y
Let f = 0.62 + -0.52. Are 1/3 and f equal?
False
Suppose t + 5*f = -355 - 402, f = 3*t + 2319. Let u = t - -4651/6. Let p = -7/2 + u. Which is bigger: 0 or p?
0
Let r = -9/2 - -3. Is r smaller than -1?
True
Let t be 115*((-42)/(-10) - 5). Is t <= -91?
True
Suppose -2*i = 3*i - 20. Suppose 3*n + i*v = -8, v = 2*n + 4*v + 6. Let g = 2/439 - -868/2195. Which is smaller: g or n?
n
Let d be (-1)/((2 + 1)/(-3)). Let h be (-3)/9*(-3)/d. Which is bigger: 2/23 or h?
h
Let o = 5/6 - 4/3. Let i = 1 + o. Do i and -2 have different values?
True
Let s(t) = t**3 + 5*t**2 + 5*t + 1. Let y(u) = u**3 + 3*u**2 - u - 1. Let h be y(-3). Suppose 0 = -a + h*l + 4, 3*l + 0 = 5*a + 8. Let b be s(a). Is -2 > b?
True
Suppose -t - w - 1 - 3 = 0, 3*t + 6 = -w. Suppose -5*s - 21 = 3*k, 3*k - 4*k - 4*s = 14. Let q be (-1)/(-21) + k/6. Which is smaller: q or t?
t
Let o = 77 - 70. Which is smaller: o or -4?
-4
Suppose 4*h - 2 = -26. Which is bigger: h or -9?
h
Suppose 3*c = t - c - 5, 2*t + c - 1 = 0. Let i be (-1)/6 + 2/3. Which is smaller: i or t?
i
Let a be (-1)/(1/(-26)*2). Is -4 bigger than a?
False
Let b = 5 + -4.6. Let d = b + -0.4. Let z = 0 + d. Is z equal to -1?
False
Let k be ((-6)/9)/((-8)/12). Is -2/63 at most k?
True
Let u = 8 - 9. Which is bigger: -1/35 or u?
-1/35
Suppose -3*m + 4*b - 17 = 0, -2*m + 2*b - 4 = 4. Is -2/7 at least m?
False
Let b = 3 - 1. Suppose -3*p = -p - 10. Let a be -2 + (p - 2/(-2)). Do a and b have the same value?
False
Suppose 2 = -2*q + 4. Let u be (6/(-9))/(q/(-3)). Let k be ((-2)/(-4))/((-3)/u). Which is smaller: 1 or k?
k
Suppose 2*a - 3*a + 4 = -b, -3*b - a - 4 = 0. Let i be b + (-1 - 70/(-22)). Suppose -3*f + 5 = 8. Is i > f?
True
Let v = -478/9 + 53. Suppose 5*z + 5*b + 10 = 0, -b = -4*z + 1 - 4. Which is greater: v or z?
v
Let f be 4/(-6) + (-17835)/72. Let o = 248 + f. Is o <= 1?
True
Let h = 547/4 - 138. Let j = -0.3 + 3.3. Let g = 2.9 - j. Which is smaller: h or g?
h
Suppose 8*c - 4*c = 3*h - 33, h - c = 12. Suppose 7*k - 2*k + h = 5*i, 0 = -4*i + 3*k + 15. Is 6 bigger than i?
False
Let y(t) = 10*t + 2. Let l(p) = 11*p + 2. Let r(i) = -6*l(i) + 7*y(i). Let x be r(2). Which is bigger: 9 or x?
x
Let b = -37/10 + 19/10. Which is bigger: b or -2?
b
Let t = -1 + 2. Let k = 0.5 - -3.5. Let i = -3.9 + k. Are t and i unequal?
True
Let k = 18 + -10. Let d be (k/10)/((-4)/(-30)). Let t be 0 + 1 - (-5 + d). Is t equal to -2/11?
False
Suppose -7 = q - 3*z, -q - 2*z + 1 = 2*q. Let c = -0.05 + -0.05. Is q smaller than c?
True
Let b = -6761/11 - -39959/132. Let g = 920/3 + b. Let c = 139/28 + g. Which is smaller: -1 or c?
-1
Let r(f) = -7*f**2 - 4*f + 3. Let m be r(2). Let a be ((-6)/(-15))/(m/(-15)). Is a less than -0.1?
False
Let n = -1/16 + -3/16. Let q = -2.8 + 1.9. Let t = -1 - q. Which is smaller: n or t?
n
Let h be ((-3)/(-3))/(2/6). Suppose 2*c + 11 = -5*n + 3, h*n = -5*c - 1. Does n = 1/8?
False
Suppose 7 = z - 3*q, -4*z - 13 = z + q. Let a = -1/39 + -21/26. Is z != a?
True
Let v(p) = -p - 6. Suppose 0 = 8*d - 3*d + 35. Let q be v(d). Which is bigger: q or 2?
2
Let t be ((-4)/(-28))/(7/(-1)). Is t smaller than 0?
True
Let d = 85 + -55. Is 30 equal to d?
True
Let w = 4/13 + 5/26. Suppose -4*x = -5*u - 12, 0 = x - 3 - 0. Is u equal to w?
False
Suppose 2*d - d = 1. Let g be 0 - -1 - (d - -2). Is g != 3?
True
Let r = -115 - -116. Is -8/17 != r?
True
Let h = 27 + 15. Which is smaller: h or 41?
41
Suppose -3*l - 4*x = 13, -7*l + 3*l = 2*x + 4. Suppose -2*w = 4*r + 8, r + r - 2*w = 2. Is r > l?
False
Let p = -8 + 5. Let k(j) = j**2 + 2*j - 4. Let n be k(-4). Let d be n/10 + p/(-5). Which is smaller: d or 2/9?
2/9
Let n(y) = -y**2 + 14*y + 20. Let l be n(15). Suppose 0 = -4*i + 4*m - 52, l*m = -2*i - 0*m + 2. Is i equal to -9?
True
Suppose 32 + 4 = -2*a + 2*m, 2*m = -2*a - 20. Let l = 8 + a. Which is smaller: l or -5?
l
Let u = -5 + 4.7. Let h = u - 0.3. Let m = 0.4 - h. Which is bigger: m or 0?
m
Let z be 13/(-15) + (-3)/(-3) + 0. Suppose 2*c = -0*c. Which is bigger: z or c?
z
Let t be (-1)/36*-4*6. Suppose 0 = d + 4*a - 11, -a + 7 = -2*d - 2*d. Let r = 1 + d. Is t greater than r?
True
Suppose j - 7 = -4. Suppose -4*b + j*b = 0. Which is smaller: b or -3/10?
-3/10
Suppose -2*n + u - 5 = 0, 0*n - 3*u = n + 13. Does n = -9?
False
Let q(r) = -r**3 + r**2 + 2*r + 1. Suppose a + 2*a - 6 = 0. Let z be q(a). Is -1/8 >= z?
False
Let d = -39840308/7 + 5731876. Let x = 40471 - d. Let m = -68 + x. Which is smaller: m or 1?
m
Let p(q) = 4*q + 1. Let j(l) = -l**2 - 13*l - 3. Let f(b) = -2*j(b) - 7*p(b). Let i be f(2). Let m(g) = -g**3 + 4*g**2 + 4. Let k be m(4). Does i = k?
False
Let j be (-3)/(-36)*3 - 1. Let o(q) = q**3 + 8*q**2 + q + 8. Let m be o(-8). Let s be (1 - (m + 1))/3. Is j != s?
True
Let o = -0.18 - -8.18. Let x = -9 + o. Which is smaller: x or -2/3?
x
Let n(k) = -k + 3. Let a be n(3). Which is greater: -1/12 or a?
a
Let v(y) be the first derivative of -y**3/3 - 13*y**2/2 - 10*y + 3. Let p be v(-12). Suppose -2*n + 3 + 3 = 0. Which is bigger: n or p?
n
Suppose 0 = 2*v + 4 - 2. Let d be -3*(-3)/(-15) - v. Is 1 != d?
True
Let g(v) = -v**3 - v**2 - v + 5. Let s be g(0). Let t(y) = -y**3 + 5*y**2 + 1. Let n be t(s). Let k be (-20)/(-48) - (-6)/(-8). Is k greater than or equal to n?
False
Suppose -3*v = -0*v - 12. Suppose -4*k = -2*k - 12. Let i = k - v. Is i smaller than 2?
False
Let o = 1 - 9. Let s be -3 + (-417)/(-132) + 0. Let g = -1/11 - s. Is o <= g?
True
Let y = -0.84 - -0.14. Let j = y - -2.7. Which is bigger: -1/4 or j?
j
Suppose 0 = -2*t + 3*p - 4*p - 495, -5*t = 5*p + 1240. Let x be 24/8 - t/4. Let l = x + -64. Which is bigger: l or 2?
2
Let v = -1.96 - -0.96. Which is smaller: v or -9/4?
-9/4
Let n = 40.9 + -41. Which is bigger: 1/19 or n?
1/19
Let o be 9/6*1*2. Let a = 2 - o. Is a >= -3?
True
Let z be (-3)/(-5) + 13/(-130). Which is greater: z or -0.33?
z
Let q be -3 - 6/(-3) - -2. Let p be (12/8)/(q/(-2)). Which is smaller: -2 or p?
p
Let q = 9.9 - 1.9. Let f = q - 15. Let r = f - -1. Which is smaller: r or -2/5?
r
Let z be (8*1)/(-2) + -1. Let h = z + 2. Are -1 and h unequal?
True
Let j be 1 - (24/10 + -2). Let f be 13/11 + (-32)/176. Is f equal to j?
False
Let w = -1.4 - 1.6. Is -1 > w?
True
Let w(s) = -s**2 - 9*s - 9. Let m be ((-4)/(-1))/(2/(-4)). Let n be w(m). Is n at most as big as -2?
False
Let s be ((-1)/12)/((-2)/20). Let l = -37/39 - -8/13. Let b = s + l. Is b smaller than 2?
True
Let l = 2.03 + -0.03. Suppose 2*o + 43 = -5*q, 3*o - 7*q + 30 = -3*q. Let t be 8/o - (-8)/28. Is l smaller than t?
False
Let r = 20/3 + -7. Let w = -313/9 - -35. Which is greater: r or w?
w
Let r be (16/(-32))/((-2)/(-4)). Which is smaller: r or -26?
-26
Let a = -2 - -2. Suppose -4*u - u - 15 = a. Let m be 0 + 0 + (-1 - u). Does m = 3?
False
Let j be (-3)/(-18) + 23/(-12). Let q = j + 85/44. Is 1 less than q?
False
Let k = 467/5 + -93. Which is bigger: -5 or k?
k
Suppose 3*p = 4*p + 1, 2*y - 1 = 5*p. Let u be (-6 - (0 + -2