, -4*z - 182 = -6*z - 4*a. Is z >= 1?
True
Let k = 17 + -8. Is k at least as big as -4?
True
Let h be ((1 - 1) + -2)*-8. Let r be h/12 + (-2)/(-3). Suppose -3*j + j = 0. Which is smaller: r or j?
j
Let i = 10.73 + 0.27. Let l = -10 + i. Is -4 equal to l?
False
Let d(b) = b**2 - 6*b - 1. Let k be d(6). Let w(i) = -i**2 - i - 1. Let o be w(k). Is o >= -1?
True
Let t = -49 + 84. Suppose 12 = -3*l, -2*l + t = -3*a - l. Which is smaller: -14 or a?
-14
Let w = 21 + -62/3. Let d = w - 11/6. Let i = d - -7/4. Do -2/3 and i have different values?
True
Let w(s) = -s**2 - 4*s - 2. Let l be w(-3). Let z = 16 + -33. Let f = -16 - z. Is f > l?
False
Let s be (1/(-2))/((-7)/(-28)). Let n = -0.6 - -3.6. Which is smaller: s or n?
s
Suppose 0*a - 5*a = 0. Suppose a = -4*j - 0*j + 20. Which is greater: 3 or j?
j
Suppose -4*y - 2*m - 323 = -9*y, 3*y + 4*m - 173 = 0. Let c be 8/9 + (-14)/y. Let d = 2 + -2. Which is greater: d or c?
c
Let q(p) = -6*p + 35. Let c be q(10). Are c and -24 non-equal?
True
Let f(w) = -w**2 + 13*w - 40. Let x be f(5). Which is smaller: x or 7/25?
x
Suppose l = -4*f - 3, 0*f - l + 5 = -4*f. Let t be -2 - 8*(-9)/30. Do f and t have different values?
True
Suppose 4*m + 8*c - 3*c = 0, -2*c = 2*m - 2. Let v be ((-1)/15)/((-2)/m). Are v and -1 unequal?
True
Let y be 22/33 + (-1)/(-3). Are y and 4/41 equal?
False
Let k = -33 + 29. Is -1/2 bigger than k?
True
Suppose 0*c - 5*c = -110. Suppose -2*s + c = -a + 9, 0 = a - 1. Is -2/3 at least as big as s?
False
Let d = -54 - -53.7. Let z = 0.8 - -0.2. Let a = 1.1 - z. Which is bigger: a or d?
a
Let u(b) = 4*b + 32. Let n be u(-8). Which is smaller: 0.01 or n?
n
Let g be ((-10)/(-4))/(2/(-4)). Which is bigger: -7 or g?
g
Let x = -1 - 1. Let f be x/6 - 283/(-165). Let z = -24/11 + f. Is z < -2?
False
Let z = -2 + 2.07. Let p = z - 0.17. Is 1/4 at most p?
False
Let q = -1 + 5/6. Let m = -1/2 - q. Which is smaller: 0 or m?
m
Suppose 0*x + 16 = 4*x. Suppose 2*q - x = -12. Let b = 5 + q. Which is smaller: 0 or b?
0
Let a = -110 - -127. Is 19 greater than a?
True
Suppose m + 4*m = 20. Is m bigger than 4?
False
Let l(v) = 2*v**2 - v. Let g be l(0). Is g equal to 0?
True
Suppose 0 = -2*s - s + 6. Which is smaller: -0.4 or s?
-0.4
Let l = 13.82 + 0.18. Let z = l + -14.3. Which is smaller: z or -1?
-1
Let c be (248/16 + 4)*(-4)/6. Which is smaller: -67/5 or c?
-67/5
Let s be (-5)/(-2) + 2/(-4). Let b be (s - 2) + -3 + 2. Let t = -3681/13 - -283. Is b not equal to t?
True
Let s be (-9)/(4/1*-1). Are s and 1 equal?
False
Suppose -47 = -4*l + 3*d, -3*d = l - d - 9. Let y(s) = 3*s + 4. Let r be y(-2). Let m be (-4)/l*r/4. Is m <= 0?
False
Let n(r) be the third derivative of r**4/24 - 2*r**3/3 + r**2. Let v be n(6). Let a(d) = -d**3 + 5*d**2 - 2*d - 4. Let o be a(4). Which is smaller: v or o?
v
Let g = -4668/133 - -242/7. Is 0 at most as big as g?
False
Suppose 3 = -2*t - y, 2*t - 5*t = 3*y + 9. Suppose 4*m = 5*u, 2*m - 4*m + 5*u - 10 = 0. Suppose -3*s - m*w = 10, 3*s + 2 + t = -w. Which is smaller: -1 or s?
-1
Let y = 7 - 7.08. Let f = y - 0.92. Let a = 0.1 - 0.2. Is f < a?
True
Let c(m) = -m**2 + 4*m - 2. Let y be c(2). Suppose 2*r - 28 = y*t, -2*r + t + 23 = 4*t. Suppose -3 + r = 5*i. Which is smaller: 3 or i?
i
Suppose -4*d - g - 4*g + 39 = 0, 18 = d + 4*g. Let w be 2 + (d/(-9) - 1). Let v be (-2)/(-6) - (-1)/(-3). Is v equal to w?
False
Suppose 0 = -q - 0*q + 1. Are q and 2/15 unequal?
True
Let b be (-38)/18*-3 + (-8)/(-12). Which is smaller: -0.03 or b?
-0.03
Let b(s) = -s**2 - 3*s + 1. Let j = -4 + 1. Let f be b(j). Let q(m) = m**3 + 9*m**2 - m - 10. Let p be q(-9). Which is smaller: f or p?
p
Let h = -0.12 + 1.07. Let i = h + 0.05. Which is bigger: i or -3?
i
Let x = -18 + 19.4. Let v = x + -2.4. Which is bigger: 5 or v?
5
Suppose 3*x - 3*f - 43 = 2*f, -f - 5 = 0. Let a be 3*(x/9 - 1). Let k be (-6)/(-69) + (-3 - -3). Is k greater than a?
True
Let p = 84/319 + -5/29. Is -1 < p?
True
Let m = -1/120 + 1229/3480. Which is smaller: m or 0?
0
Let q = -5793/14 + 414. Is q smaller than 0?
False
Let p = -1.2 - -0.94. Let o = p - -0.3. Let f = o + 0.06. Is 0.01 at least f?
False
Let p = -2/1700831 - 9949861316/28914127. Let r = 344 + p. Is r bigger than 1?
False
Suppose 0*t = -4*t + 12. Let w be (t - 2)/((-152)/16). Are -1 and w equal?
False
Suppose -3*h + 0 = 3. Let u be (-4 - -2)/(-3 - h). Which is smaller: u or 1/17?
1/17
Let f = -7 + 11. Let n = 0 - f. Let g be (-2 + 0)*(-3)/n. Which is bigger: g or -1?
-1
Let n = -0.7 - -6.7. Let d = 0.287 + -0.287. Which is greater: n or d?
n
Let d = -1804230/77 - -23431. Let s be ((-3)/(-44))/((-2)/(-8)). Let f = d + s. Which is smaller: -0.2 or f?
f
Let k = 12 + -4. Let x = -11 + k. Let f be (54/15)/x*-5. Which is bigger: f or 7?
7
Let l = -6 + 17. Is -1 smaller than l?
True
Let w be (6/45)/((-42)/(-9)). Is w at least 0?
True
Let c be -8*(-5)/(-10) - 73. Does -77 = c?
True
Let s(j) = -j**3 + 5*j**2 + 3*j - 16. Let n be s(5). Which is greater: n or 2/13?
2/13
Let p = -2 + 1. Let h = 0 + 2. Is p not equal to h?
True
Let d = -72 - -214/3. Is -1 < d?
True
Suppose 4*r + 0*r = 8. Let o = r + -6. Is o smaller than -0.2?
True
Suppose 12*g + 37 + 11 = 0. Let l be (-16)/70*50/4. Let c = -67/21 - l. Which is smaller: c or g?
g
Let t = 107 - 59. Which is smaller: 1 or t?
1
Let z = 126 + -1517/12. Let y = z - -1/6. Let q = -692/77 - -102/11. Is q bigger than y?
True
Suppose -5*x + 4 = -x. Which is smaller: x or -1?
-1
Suppose -3*g = -25 - 35. Suppose 0 = 2*o - 3*n + 40, -o - 2*n - g = -4*n. Is -19 bigger than o?
True
Let b = 1.2 + -0.2. Let q = 3.91 - 3.9. Let y = q - -0.09. Which is bigger: b or y?
b
Let f be 45/(-10)*(-12)/(-9). Are f and -1 unequal?
True
Suppose 2*z - 2*w - 1 = w, -5*w - 19 = z. Let f(a) = a**3 - 8*a**2 + a - 2. Let m be f(8). Suppose b = 4*b + m. Is z <= b?
True
Let h = 0 + -1. Let p = 18847 - 131608/7. Let a = 46 - p. Is h smaller than a?
True
Let x(z) = -z + 8. Let g be x(8). Let w be (6/110)/(0 + (-3)/(-15)). Is w >= g?
True
Let g = 2.58 - 2.4. Let r = -0.2 + g. Are r and -2/7 non-equal?
True
Let r(v) = -v**2 - 2*v + 1. Suppose 4*d = f - 5 - 4, d = f. Let q be r(f). Is q < 0?
True
Let c be (-5 + 24/4)*(1 - -9). Is c > 48/5?
True
Let p be (-6)/4*(-10)/3. Let q be 8/2 + 0*(-1)/(-3). Which is smaller: q or p?
q
Let n be ((-4)/10)/((-1)/5). Let t = -3 + 9. Suppose -j - t = -4*k, -2*k + k = j + 1. Which is smaller: k or n?
k
Let a be (-8)/6*6/(-4). Suppose -3*i = 4*m - 3, -4*m + 0*i + a = 2*i. Let r = -3 + 3. Is r at least m?
True
Let w(f) = f**2 + 9*f + 9. Let z be w(-7). Let x = -4 - z. Which is bigger: -2/11 or x?
x
Let c = 2.8 + 0.2. Let x = 0.05 - 3.15. Let u = x + c. Which is smaller: -1/2 or u?
-1/2
Let z be ((-1)/(7 + -2))/(-7). Which is smaller: -1 or z?
-1
Let x = -1133/5222 + 1/373. Suppose -3*h - 2*h = -5. Which is bigger: x or h?
h
Let j = 0.14 + -0.1. Let w be (9/(-36))/(3 + (-4 - -2)). Is w at most as big as j?
True
Let t(q) be the second derivative of -q**5/20 + 5*q**4/6 - q**3/6 + q**2/2 - 2*q. Let o be t(10). Is o > -9?
False
Suppose 6 = -0*t + 3*t. Suppose t*a - 1 = -3*r + 2, 3*a - 7 = -2*r. Is r <= -1/6?
True
Let l = 8559/80 + -107. Let p be (-151)/(-160)*4/18. Let u = p - l. Which is smaller: 1 or u?
u
Let z = 26 - 18. Suppose 4*w + z + 0 = 0. Which is greater: -1/2 or w?
-1/2
Let n = -162 - -169. Let v be (-16)/6*(-5 + 2). Is n smaller than v?
True
Let f = -159114 - -1749090/11. Let o = f - -106. Let p = -0.11 - -0.01. Which is greater: o or p?
o
Let p be 1 + 3 + -3 - 0. Suppose 0*h - h - p = 0. Let v = -0.3 - 0.2. Does h = v?
False
Let a = -708/5 - -142. Is 1 <= a?
False
Suppose -7*g + 8*g = 20. Which is smaller: 21 or g?
g
Let z = 8 + -10. Let g(v) = v**3 - 3*v**2 - 2. Let l be g(3). Does z = l?
True
Let o = -0.003 + -1.997. Let w = -13/15 + 1/5. Is w at least o?
True
Let s be (-2 - (-33)/15)*5. Let u be ((-20)/(-8) - s)*2. Is 5/2 > u?
False
Let g be (-30)/4 + 4/(-8). Let s be (2 - g)*12/(-15). Let n be 2/6 - s/12. Is 2 less than n?
False
Let u = 0.7 - 0.3. Let v = -3.6 - u. Let c = 4.1 + v. Is c less than or equal to -1/4?
False
Let x = 330 - 333.09. Let q = 4 + x. Let n = q - -0.09. Which is bigger: n or 0?
n
Let q(f) = -f + 1. Let y be q(-6). Suppose -4*w - 1 - 11 = 0. Let a = y + w. Is 3 >= a?
False
Let t = -3 + 6. Let q(v) = 8*v - 2. L