Suppose -u = -4*l - 10, 5*l - 4*l + 3*u = 4. Suppose -4*f - 3*c + 22 = 0, 0 = -3*f - c + 5*c + 4. Let z be (-1 - l)*(6 - f). Do 3 and z have the same value?
False
Let h = -2 - -6. Suppose h*w + f = -0*w - 1, -3*f - 3 = -4*w. Let a = -266/3 + 88. Which is bigger: w or a?
w
Let i be -5 + (0/(-1))/(-1). Suppose 4*k + 2*b + 32 = 0, -3*b - 24 = -k + 3*k. Is i <= k?
False
Let v be (6/(-18))/(2/(-36)). Let g = 17/3 - v. Which is smaller: g or -2/7?
g
Let w = -120 + 119.9. Which is smaller: w or 3.1?
w
Let f = 82 - 41. Is 41 less than or equal to f?
True
Let l be (6/4)/(1/(-10)). Suppose 4*w = w + 18. Let o be 2/5 + w/l. Is -2/7 greater than or equal to o?
False
Let z = 4 - 6. Let v(r) = r - 1. Let f be v(-1). Is f != z?
False
Let x(f) = -f**3 + 4*f**2 - 2*f + 6. Suppose 8 = 3*p - 3*b - 10, -2*p + 18 = -5*b. Let z be x(p). Is 1 != z?
True
Let m = -3 + -3. Let p = 7 + m. Are p and 3/4 nonequal?
True
Let h = 15/124 + 4/31. Which is smaller: -1 or h?
-1
Let j = -3000 + 6351/2. Let w = -172 + j. Are 3 and w equal?
False
Suppose -y - 4*y = 0. Which is smaller: y or -1/8?
-1/8
Let m = -8 + 17. Let k = m - 12. Let x be (2 - 2)/k - -1. Are x and 1 equal?
True
Let r = 19/70 + -1/5. Suppose 3*i + 6 + 3 = 3*t, i - 2*t + 5 = 0. Which is greater: i or r?
r
Let u = 9 + -8. Let q be (-2)/6*(1 - u). Is -1/12 not equal to q?
True
Let v(a) = -a**2 + 9*a - 4. Let c be (8/(-10))/((-8)/60). Let g be v(c). Suppose 2 = -4*r + g. Is 2 greater than r?
False
Let j = -12.9 + 13. Let r = -0.09 + 0.07. Let m = r + 0.07. Which is greater: m or j?
j
Suppose -2*s - 22 = 2*l, 5*s = 4*l - l - 15. Let w be (-2)/s*0 + 1. Let m = -2/119 + 248/595. Which is bigger: w or m?
w
Let l be (-3)/(-18)*(-12)/8. Suppose 0 = 4*q, 3*h - 3*q = -0*h. Is h at most l?
False
Let t = 11 + -8. Suppose 6 = t*p - 6*p. Which is smaller: p or -3?
-3
Let f be 34/(-150) + (-2)/(-5). Let r = -4/25 - f. Which is smaller: 0 or r?
r
Let h = -13 + 12. Which is bigger: -2/43 or h?
-2/43
Suppose 6*v = 3*v. Let c = v + 0. Suppose c = -3*i - 3. Is -1/4 greater than i?
True
Let h(k) = -4*k**3 - k**2 + 2*k + 3. Let i be h(-2). Let b be i/15 + 1/5. Is b <= 2?
True
Let f = -0.2347 + -0.0653. Let c = -25 - -51/2. Is c at most f?
False
Let a be ((7/7)/(4/6))/(-6). Let z = 0.26 - -13.74. Which is greater: a or z?
z
Let v = -7 - -10. Suppose 4*i + z = -1, i - v = z - 2. Which is smaller: i or 1/6?
i
Let i(w) = w**3 + 7*w**2 + 7*w + 5. Let s be i(-6). Let u = 149/1422 - -1/158. Which is smaller: s or u?
s
Let n(k) = -7*k**3 - k**2 + 1. Let r be n(-1). Suppose -2*p - 1 = r. Which is smaller: p or -3?
p
Let k be 1*-3*385/(-33). Is 35 at most k?
True
Let d = -9413/132 + 285/4. Is d >= -1?
True
Suppose -720 = -3*s - 2*s. Let o be (-2)/7 - s/(-441). Is 1 < o?
False
Suppose 0 = 2*c + 1 + 5. Let b be 3/(-9)*0 - 1. Let t be ((-2)/3)/(b/(-6)). Which is smaller: t or c?
t
Let i = 4.3 - 4. Let o = -0.5 - 0.5. Which is bigger: i or o?
i
Suppose -c - 4*d - 110 = 0, 5*c + d - 4*d = -550. Which is greater: c or -109?
-109
Suppose 4*l + 1 = -15. Let o = -2 - l. Does 2 = o?
True
Let h = -12.06 - -1.06. Which is smaller: -3 or h?
h
Let z = 26 + -31.1. Let t = z - 14.9. Which is greater: t or 0?
0
Let l = -3.3 + 0.3. Let d = 0.08 + -1.08. Let k = -1 - d. Which is greater: k or l?
k
Let u = -138 - -1109/8. Is u equal to 1?
False
Let n be (1 - 2)*9/69. Which is smaller: n or 1?
n
Let a be (-34)/70 + (-4)/(-14). Let g be -2 - (21 - (-1)/1). Let f = g - -23. Is a greater than f?
True
Let f = -0.3 - 2.7. Let j = -2 - f. Let t = -71 + 215/3. Which is smaller: j or t?
t
Let p = 39 + -26. Suppose -2*q = -p - 3. Do 10 and q have the same value?
False
Suppose 5*x - 25 = -5*n, 3*n = -x + 5*n - 10. Suppose f = -x*f - 3*w - 7, -5 = w. Let h = 8 - f. Is h bigger than 1/14?
False
Let b = 535/3 - 3826/21. Are -5 and b unequal?
True
Let x(v) = -v**3 + 4*v**2 + 3*v. Let d be x(5). Let t = 24 + -33. Which is bigger: d or t?
t
Let p = -4 + 3. Let l = 13 - 9. Let s be p - -1 - -2 - l. Which is smaller: s or -3?
-3
Suppose 0*u = -5*u + 70. Let c be (2 - u/8)*-2. Do -0.4 and c have the same value?
False
Let v = 33/40 + -5/8. Which is smaller: v or 1?
v
Let z = 6 + -3. Let s(i) = -i**3 + 4*i**2 - 3*i + 1. Let t be s(z). Let k be (t/(-5))/(6/5). Is 1 greater than k?
True
Suppose -3*n + 139 = 4. Suppose -4*r + 3*f = -2*f + n, -2*f - 5 = 3*r. Let v = 4 + r. Which is smaller: v or -4?
-4
Let t = -3/52 + -71/572. Let s = t - -17/33. Let b = 26.9 - 27. Is s at least as big as b?
True
Let s(o) = 2*o**2 - o - 2. Let v be s(2). Let l(z) = -z + 5. Let r be l(v). Let b = -1.07 + 0.07. Which is bigger: b or r?
r
Suppose 6*c = c + 15. Suppose -3*g - 24 = 2*u - 63, c*u = 2*g + 26. Suppose 4*r = 5*i - 25, 5*r + 5*i + u - 37 = 0. Which is bigger: 0.3 or r?
0.3
Suppose -18 = 4*o - 6. Let q be o - 48/(-9) - 2. Is q >= 0?
True
Suppose -2*q = 6*q. Is q at most as big as 4/13?
True
Let y = -3 + 2.99. Let f be ((-2)/(-7))/(((-180)/(-35))/(-9)). Which is bigger: y or f?
y
Let i = 6.2 - 6. Let y = i + 0. Let p = -0.8 + -0.2. Is p at most as big as y?
True
Let i(m) = -m**2 + 10*m - 26. Let n be i(4). Which is greater: 2 or n?
2
Let q(v) = v + 9. Let b be q(-10). Let w be 2 - (-44)/(-20) - b. Which is smaller: w or 2?
w
Let q = 109/7 - 16. Which is smaller: q or 0.01?
q
Suppose 5*s = 3*p - 13, -11 + 2 = p + 5*s. Suppose -l - p = 3. Is l smaller than -5?
False
Suppose 0 = 2*n - 4 - 20. Suppose -2*v = 2*v - n. Suppose -3*k + 2 = -2*b - 9, -23 = -v*k + 5*b. Which is bigger: 2 or k?
2
Let j = 9 - 5. Do 4 and j have different values?
False
Let o = 2/5015 - 10916/2221645. Let n = o - 1766/1329. Which is bigger: -1 or n?
-1
Suppose -4 + 6 = o. Suppose -3*a + 11 = k - 0*a, 13 = -k + 5*a. Let z = o - k. Is z less than 0.1?
True
Suppose -25 = -2*p + 7*p. Suppose 0 = 4*w + 2*k - 4 + 10, 3*w - 1 = 4*k. Which is smaller: p or w?
p
Let r(b) be the second derivative of -b**4/12 + b**3/3 + 3*b**2/2 + 2*b. Let s = 7 - 4. Let d be r(s). Is -2/5 smaller than d?
True
Let k = 5.2 + -5. Which is smaller: -2 or k?
-2
Let v(w) = w**2 - 6*w + 4. Let u be v(7). Which is smaller: u or 13?
u
Suppose 0 = 2*c - 0*f - 2*f, 3*c - 10 = -2*f. Suppose -2*w = -5*w + 15. Suppose -1 = w*t - 11. Is t < c?
False
Suppose 0 = -4*t - 6*k + 3*k + 14, 0 = -2*t - 4*k + 12. Let c = -5 + t. Is c less than -2?
True
Let x = 36 + -31. Let p be (-1)/6*(-2 + x). Let u = 2 - 4. Is p less than u?
False
Let p(w) = 2*w**2 - w + 3. Let n be p(3). Let q be n/4 + 3/(-6). Suppose 7*o + 9 = 4*x + 2*o, -q*x - 1 = 5*o. Which is bigger: x or 0?
x
Suppose -28*o = -31*o. Are -2/329 and o unequal?
True
Let x = -37 + 38. Which is smaller: 14 or x?
x
Let t = -142 + 135.1. Does 2 = t?
False
Suppose 0 = 6*v - 8*v. Is v at most as big as -1?
False
Suppose 2*o = -2*o. Which is bigger: -8/7 or o?
o
Let b(l) = -l**2. Let o be b(0). Suppose g + 8 = -g, o = -5*t + 4*g + 46. Let k be ((-9)/t)/((-3)/(-4)). Which is smaller: -1 or k?
k
Let q = -627.18 - -634. Let t = 0.18 + q. Let h = 5 - t. Are 0 and h nonequal?
True
Let s = -5 + 4. Let m be (-2)/4*s*6. Is m less than or equal to 4?
True
Let m(x) = -x**3 + 12*x**2 + 3. Let c be 98/8 + 4/(-16). Let u be m(c). Are u and -1 nonequal?
True
Let c be 156/(-18) + 3/(-9). Which is greater: -1 or c?
-1
Let l(h) = 2*h + 11. Let t be l(-8). Which is smaller: t or -3?
t
Let u = -0.02 - 0.38. Let f = -0.3 - u. Let p = -1.1 + f. Is 0.1 at most as big as p?
False
Let q = 6.5 + -1.5. Let h = 0.1 + -0.9. Let m = -1 - h. Is q not equal to m?
True
Let m be 138/(-18) - (-1)/(-3). Which is bigger: 2 or m?
2
Let q be (-7)/14 + 6/(-4). Which is bigger: q or -4?
q
Let a = -95/147 + -1/49. Is -21 > a?
False
Let m = 2 + -1. Which is bigger: -1.17 or m?
m
Suppose 5*j + 0*j = x + 18, -10 = -2*j - x. Let d be (-3)/(-6) + 1/j. Which is smaller: d or 0?
0
Let q = -24 + 16. Let y = q - -7. Does y = 1/3?
False
Suppose g + l = 6, 5*g + 0*l + 2*l = 18. Suppose -3*n + 5*t = -5*n + 23, g*t = 10. Is n greater than 2/19?
False
Suppose 0*l = -4*l. Which is smaller: l or -2?
-2
Suppose -5*g + 11 = -2*r, -79 = -0*r + 3*r + 5*g. Let a be (-8)/(-18) - (-12)/r. Is a equal to -1?
False
Let a be (-2)/(-7) - (-34)/(-70). Let m = -9 + 6. Let i be (-1)/m - 24/18. Which is smaller: i or a?
i
Suppose -3*a = 12 + 3. Let t be (-3)/(-9)*(-12)/(-8)*-10. Is t less than a?
Fals