/(-1) - -2. Does g = 0?
False
Let p be (-2)/(-6) - (-2)/3. Do -1/3 and p have different values?
True
Let w = 5 - 4. Let u = -9.5 - -1.5. Are u and w nonequal?
True
Let f = -14/5431 + 8548576/70603. Let g = 121 - f. Let s = 1/13 - g. Which is bigger: s or -1?
s
Let j = 107 + -96. Do 11 and j have different values?
False
Suppose 37 = -4*v + z, -5*z = -v - v - 23. Suppose -2 = 4*a - 18. Let d be (9/(-6))/(v/a). Is d at most 2?
True
Suppose 2*k - k + o = 6, -5*o + 14 = k. Suppose 0 = 4*q + q - 15. Does k = q?
False
Let a = -49.9 + 50. Are a and 2/5 equal?
False
Let x be (-88)/(-84) - (-4)/14. Let o be (-2 + (-15)/(-7))*-2. Is x < o?
False
Let u be (-1)/(2 - 1) - -3. Suppose -4*p - 14 - u = 0, -3*p = 4*j + 12. Let a = -69/395 - 2/79. Is j at most as big as a?
False
Let j(i) = i + 6. Let z be j(-6). Suppose -b + 1 = -z. Are b and 2 non-equal?
True
Let l = -0.98 - 0.02. Let y = -1.2 - l. Let h = 0.8 - 1. Is y smaller than h?
False
Let i = 0.124 - -1.876. Is i bigger than -2?
True
Let d(i) = -i**2 - 10*i - 16. Let h be d(-8). Which is bigger: -2/33 or h?
h
Let g be (-1270)/(-30) + (-1 - 3). Let v = -38 + g. Is v < 1?
True
Let x = 22.3 - 21. Let n = x + -0.3. Do n and 0.01 have different values?
True
Suppose 3*i - 8*i + 14 = -2*a, 4*a = 5*i - 18. Let f = 153/10 - 16. Let r = 1/5 + f. Is a at most r?
True
Let m = -198 - -105. Is m >= -93?
True
Let k be (-4)/(-3) + (-18)/12. Suppose 4*c = 2 + 2. Does c = k?
False
Suppose -d + 5*j - 4 = 0, -3*j - 2 = -2*d - 3. Let l = 0.44 - 0.04. Let t = -2.6 - l. Which is smaller: d or t?
t
Let w be -29 + (-7)/(-2) + (-13)/26. Is -25 greater than or equal to w?
True
Let t = -29 + 293/10. Which is greater: t or -0.1?
t
Let k = -55 + 1267/23. Which is smaller: k or 1?
k
Let n be (30/39)/(4 + (-10)/3). Is n at least 1?
True
Let v = 80 + -91. Which is smaller: v or -14?
-14
Let l(u) be the second derivative of -u**5/20 + u**4/2 + 7*u**3/6 + 3*u. Let d be l(7). Which is smaller: 3/4 or d?
d
Let j = -1539/104 - -168/13. Suppose -5*g - 23 = -y, 0 = 4*y - 9*y + 2*g. Which is greater: j or y?
j
Let c(n) = n**3 - 20*n**2 - 19*n - 41. Let p be c(21). Suppose 1 - 6 = -5*i. Is i at least p?
True
Let z be (-6)/(-3) + 2 + 0. Let h(m) = m**2 - 2*m - 1. Let x be h(-1). Let d = x - z. Is -1 > d?
True
Let b(l) = 2*l**2 - 2*l + 1. Suppose 0 = -5*x - 2*q - 5 - 15, 3*q = 4*x + 16. Let c(p) = p + 6. Let z be c(x). Let j be b(z). Is j < 4?
False
Let b(l) = l**3 - 10*l**2 + 11*l - 11. Let g be b(9). Does 7 = g?
True
Suppose 0*h - h + 17 = 0. Suppose 5*n - h = -4*f, n + 4*f = -5 + 2. Suppose 0*g = -g + n*k - 29, 5*g = -2*k - 10. Is -4 >= g?
True
Let r = 137 - 545/4. Is 0 >= r?
False
Let j = 9 + -15. Let a = -6 - j. Suppose -2*k + 4 = -3*v, 2*k + 4*v + 10 + a = 0. Is k not equal to 2/5?
True
Let i(a) = 2*a**3 - a**2 + a. Let u be i(1). Suppose -10 = 5*m, 0*c - 5*c + 6 = u*m. Let g = 5 + -2. Is c less than g?
True
Let y be (-4)/(-12) + (1 - 1). Which is smaller: y or 15?
y
Let x be (-6)/27 + (-176)/18. Suppose -5*p + 4*y = 51, 2*y = -5*p - 53 - 4. Is x < p?
False
Let m = 9076/29 - 313. Is m at most 1?
True
Suppose 2*t + 3 = -2*f - 19, 2*f = 5*t + 55. Let c be ((-24)/(-30))/(4/(-50)). Which is greater: t or c?
c
Let o = -0.02 - -0.1. Let b = -0.18 + o. Does 0.01 = b?
False
Suppose 4*a = -0*a + 16. Do 3 and a have the same value?
False
Suppose 0 + 3 = -3*d. Let f be (-8)/(-6)*d/2. Let k(i) = -i + 5. Let a be k(7). Is f less than a?
False
Let b be (2/(-3))/(4/6). Let w = -13 + 18. Let v be w/3*2/(-15). Are b and v equal?
False
Let o = 371 - 370.9. Let m = 1.7 + -1.77. Which is smaller: m or o?
m
Let l = 3/4 - 95/116. Let w = l + 35/87. Is -1 equal to w?
False
Let h = 13 + -13.01. Let r = h - 0.09. Is r less than or equal to -2/9?
False
Let o be (10/(-1))/(-4 + 1 + 14). Is 0 at most o?
False
Let n be (-8)/(-24) + (-17)/15. Are -1 and n unequal?
True
Let z = 53 - 53. Which is bigger: -14 or z?
z
Suppose 0 = -0*b + 4*b. Suppose b = 4*u - 9 - 7. Is 4 at least u?
True
Let x(u) = -u. Let c be x(3). Let s = 6 + c. Let d be 2/5*(0 + 5). Is s less than or equal to d?
False
Suppose 10*n = 13*n + 3. Is -20/11 equal to n?
False
Let i = -4 + 4.1. Let o be (39/(-21) + 2)*4. Which is bigger: i or o?
o
Let q = -144 + 1006/7. Is q != 2/17?
True
Suppose -109 = -4*n + 31. Let i = 141/4 - n. Which is smaller: i or -0.1?
-0.1
Let o = -662/5 - -132. Let m(g) = -g**2 + 4*g + 1. Let n be m(3). Let f be ((-2)/n)/((-2)/4). Is o > f?
False
Suppose 0 = -i - 0 - 5. Let o = -123 - -119. Which is greater: o or i?
o
Let a = 14 - 6. Let s = a - 8.1. Which is greater: s or 1?
1
Let r = 10.5 + 15.5. Is 0 bigger than r?
False
Let b be 1 - 25 - (-1 + 1). Let s be (86/8)/((-3)/b). Let a = -256/3 + s. Is 0.1 >= a?
False
Let k be 13/3 + 7/(-21). Let u(t) = t**3 + 5*t**2 + 3*t + 1. Let h be u(-3). Let s be 16/h - (-4)/10. Is s equal to k?
False
Suppose -1 - 4 = 5*n. Let j be (165/(-21))/(0 + 1). Let m = j - -8. Which is smaller: m or n?
n
Let k = -20 - -21. Let u(b) = -2*b - 3. Let q be u(-2). Let l be q/(-4) + (-2)/(-8). Is l at most as big as k?
True
Suppose -10*x + 3*x - 21 = 0. Let r(k) = k**3 - 4*k**2 - 3*k - 4. Let q be r(5). Let p = q + x. Is 4 != p?
True
Let q be 4*((-6)/21 + 57/28). Let g(l) = 2*l - 5. Let w be g(5). Let u = q - w. Which is bigger: u or 3?
3
Let k = -14 - -23. Suppose 5*w - 24 = -k. Suppose 0 = -3*i - 0*i - w. Is 0 at least i?
True
Let g = 24 - 39. Let d(n) = n**3 + 7*n**2 + 6*n - 14. Let u be d(-6). Is u != g?
True
Let q = 10.1 - 1.1. Is -2/3 bigger than q?
False
Let p = -1.94 - 0.06. Let h(r) = r**3 + 8*r**2 + 7*r + 3. Let k be h(-7). Suppose -5*q - k = -2*q. Which is bigger: p or q?
q
Let h(x) = -2*x**2 - 10*x - 2. Let g be h(-7). Is g bigger than -30?
False
Let c = -4 + 6. Are 7/6 and c nonequal?
True
Suppose -3*r = 2*r - 160. Is 32 < r?
False
Suppose -52 = 3*l + 80. Is l equal to -42?
False
Let o = -24 + 26. Is 6 <= o?
False
Suppose -7*a + 2*a - 15 = 0. Let o = 62/3 + -21. Which is greater: o or a?
o
Let i = -757/3 + 246. Let q = 7 + i. Are -2/11 and q equal?
False
Let c = 75 + -54. Do 22 and c have the same value?
False
Suppose -16 = -2*f + 2*n, -4*f - 4*n = -0*f - 32. Let u = f + -5. Suppose -d - 3 = 5*v - 2*v, -d + 5*v + 13 = 0. Is u >= d?
True
Let p be (-2 + 45)/(2/4). Let l = 948/11 - p. Suppose 13*c - 9 = 22*c. Are l and c non-equal?
True
Suppose -3*h - 3 - 15 = 0. Is h bigger than -7?
True
Let w = 60 - 61. Which is smaller: w or -0.034?
w
Let z = 1 - 1.2. Suppose 3*v - 5 = 4*n + 3, v - 5*n + 1 = 0. Suppose v*s = -s + 15. Is z greater than s?
False
Let s(p) = -p. Let r be s(-5). Suppose -2*b - 5*q + 10 = 0, 0 = r*b - 2*q + 3 + 1. Which is bigger: 1 or b?
1
Suppose 3*c = -6, -f + 3*f + 2*c = 10. Suppose 3 = 5*a - f. Let m(t) = t**3 - t + 1. Let p be m(0). Which is greater: p or a?
a
Suppose 4*h + 27 = -9. Let w = 6 + h. Let l = -2 + -1. Is l equal to w?
True
Let w be 14/(-6)*(-18)/(-24). Are w and -2 nonequal?
True
Let c = -35 - -139/4. Let r be 12/(-18) - -2*(-3)/(-9). Which is bigger: c or r?
r
Suppose 3*i - 31 = 3*y + 5, 5*y + 4 = -3*i. Which is greater: 9 or i?
9
Let q(v) = v**2 - 1. Let z be q(-1). Suppose -3*p - m = 1 - 3, 2*p - 5*m + 10 = z. Is p > -1/4?
True
Let d = 4 - -4. Suppose 0 = -3*x + 4*r + 19 - d, 3*x = -3*r + 18. Is 7/2 less than or equal to x?
True
Let d = 0.2 + -2. Let w = d - -0.8. Which is bigger: w or -10?
w
Let t = 11.7 - 13. Let s = t + 1.2. Which is smaller: 5 or s?
s
Let q(l) = 2*l - 27. Let w be q(15). Are 5 and w equal?
False
Let t be -1 + (-1)/(5/(-10)). Which is smaller: 3 or t?
t
Let r = -19114/11 - -1739. Which is bigger: 2 or r?
2
Let v(h) = -h**3 - h**2 + h + 3. Let s be (-6)/(-21) + 10/(-35). Let o be v(s). Is o < 5?
True
Let k be 3/2*(-7)/21. Suppose -4 - 11 = 5*c. Which is greater: c or k?
k
Let i = -25 + 21. Let g be 1/(-1) + i/(-10). Which is bigger: -3 or g?
g
Let u be -2 + 0*(-2 - -3). Let m be 2 + 32/(4/u). Let a be ((-30)/m - 2)*-3. Do a and -1 have different values?
True
Let z be 1*4/(8/61). Let j = z + -31. Which is smaller: -2 or j?
-2
Suppose 4*l + 24 + 0 = 4*k, -2*l - 6 = k. Let c be -32 - -31 - (-5)/4. Which is smaller: c or k?
c
Let x = 3 + 1. Let u = x + 0. Let f = u - 3. Does 1 = f?
True
Let u = -6 + 7. Let s = 0.9 - u. Which is greater: s or 2?
2
Let h be 32/(-14) - (-16)/56. Let g = 0 - 1. Is g s