 - 0*b - 8, b = -4. Which is smaller: 2 or t?
t
Let d = 32 - 31. Which is greater: d or 3/10?
d
Let b = 2 - 0. Let q be 1*b*(-1)/12. Let r be (-3)/(-2 - 1)*0. Are r and q equal?
False
Suppose -1 = -j - p + 2, -3*p + 9 = 5*j. Let r(f) = f**3 - f**2 - f - 2. Let x be r(2). Let h = -1 - x. Which is smaller: h or j?
h
Suppose 4*i - 6 + 2 = 0. Let k(p) = p**2 - 2*p + 3*p**2 + 0*p - i - p**3. Let u be k(2). Which is smaller: u or 2?
2
Let i be 3/(-2)*44/(-6). Suppose -5*v + 9 = -i. Suppose j = -3*y + 1, 2*y - 4*y - v*j - 16 = 0. Is y at most 1?
False
Suppose -4*i - 3 - 14 = -3*n, -4*i = 20. Let q be ((-6)/(-16))/(2/(-8)). Is q smaller than n?
True
Suppose 4*x - x = 18. Suppose -1 = -i + 2*h, 2 = h + x. Let t(a) = -a**2 - 8*a - 8. Let b be t(i). Which is greater: -2 or b?
b
Let o(m) = -m**3 - 15*m**2 + 16*m - 9. Let l be o(-16). Does -8 = l?
False
Suppose 0 = -5*g - 0*g + 25. Do -2/7 and g have different values?
True
Let k be -3 - ((-12)/(-8) - 2). Suppose 0*w + 4 = -2*w. Is w not equal to k?
True
Suppose 14 = -2*a + 2*t, -7*a - 33 = -3*a - 5*t. Suppose 0 = -w + r, 5*r = -5*w - 0*w. Let y be w + 0 - a/6. Which is greater: y or 1?
1
Let n = -0.06 - 0.14. Which is smaller: 2 or n?
n
Let n = 5 - 2. Suppose -3*x + 3*u = u + 2, n*x + 3*u = 18. Suppose -2 = j + x. Is -4 at most j?
True
Suppose 5*t - p + 15 = 3*p, 6 = -2*t - 5*p. Let z be (-3 - -1)*t/2. Is 1 >= z?
False
Let z = -31 - -31. Which is smaller: z or -2/41?
-2/41
Suppose 0 = 5*y - 7 - 3. Let i be 5/(45/12) - y. Is i >= -1/6?
False
Suppose 5*f + 5 + 20 = 0, -5*h - 4*f = 65. Let u be h/6 - 50/(-28). Is u less than 1/4?
False
Let l = -6 + 3. Which is greater: l or -1/4?
-1/4
Let o = 392/597 - -2/199. Is o < 0.03?
False
Let t = -5084884438/1457451 + -18/161939. Let k = 61183/18 + t. Let y = -90 - k. Which is greater: y or -2/5?
y
Let i = -1 + 4. Let l(u) = -u**2 + 7*u - 4. Let h be l(i). Let k be (-4)/(-6) + h/(-12). Which is smaller: -1/2 or k?
-1/2
Let m = -0.18 + 0.88. Let s = -3.7 + 4. Let f = s + m. Is f > 2/3?
True
Let d(c) = 5*c - 22. Let a be d(4). Does -10/9 = a?
False
Suppose -4*z + 10*s - 5*s + 40 = 0, 0 = 5*s + 20. Suppose z*u = -5*f - 3 + 13, -2*u - 3*f = -1. Let x be (-3)/(-7) - 0/u. Is x greater than 0?
True
Let q = -4 - -8. Let t = -4.6 + 0.8. Let g = q + t. Does -1 = g?
False
Let g = -1.55 + 0.55. Let p = 0.1 - 0.1. Let k = 0.2 - p. Which is smaller: k or g?
g
Suppose 4*w + 5*q + 51 = 14, 5*q = 2*w - 19. Is 0 < w?
False
Let f be (0 - -1)*-3 - (-17)/5. Is 13 < f?
False
Let k = 0.7 - 1. Let z = 0.1 + k. Let l = z - -0.2. Which is greater: 3 or l?
3
Let s = -265/5248 + 7/164. Is 1 > s?
True
Suppose 3*r - 2*r - 7 = 0. Let o = 5 - r. Let n = -1 + 1. Which is smaller: n or o?
o
Suppose -3*x = -3*h + 9, -4 = 3*x + 2. Which is bigger: 5/8 or h?
h
Let s be (-4 + (-3 - -5) - -1) + 0. Is s bigger than -3?
True
Let l be (-11 - -13) + (-8)/1. Let s = 6 + l. Which is greater: s or -2?
s
Suppose 4*v = -5*u, -5*v - 3*u = -2*v + 3. Suppose -6*p - 42 = -0. Are p and v nonequal?
True
Let n be -2 + 2 + 6/(-4). Let t be 741/(-234) - 2/(-12). Which is bigger: t or n?
n
Let r = -72 + 71.9. Is 1.1 at most as big as r?
False
Let n(w) = w**3 - 4*w**2 - 3*w + 5. Let m be n(5). Suppose m = 5*y - 0. Let p = -3 + y. Is -2 <= p?
True
Let p be (-1)/(-4) + (-423)/(-36). Let o = p - 35/3. Is 0 equal to o?
False
Let w = 34 + -31. Let a(v) = -v**2 - 8*v - 9. Let u be a(-6). Let m be (2/(-5))/(u/(-15)). Which is smaller: m or w?
m
Let j = -2 + 8. Let f = -8 + j. Which is smaller: 1/4 or f?
f
Let y = -56 + 389/7. Suppose -z + 19 = -5*s + s, -s = -z + 7. Let n(w) = -w + 2. Let i be n(z). Is i smaller than y?
True
Let p = 79/6 + -25/2. Which is smaller: 2 or p?
p
Suppose 5*h - 19 = -2*s, 4*h - 10 = -s + h. Is s not equal to 6?
True
Let m = -289.769 - -290. Let r = m + -0.021. Let g = r + -0.01. Is 0.1 smaller than g?
True
Suppose 2*u - 35 = 19. Let n be 60/u + 0 + -2. Let s be 1/(-3)*6/2. Which is smaller: s or n?
s
Let c = 13.848 + 0.192. Let p = c + -14. Do p and 2 have the same value?
False
Let a be 630/(-27) - 4/6. Let h be 1/(-4 + (-92)/a). Which is smaller: h or -5?
h
Let u = -0.03 + 0.04. Let y = -1.01 + u. Which is smaller: y or -0.1?
y
Let o = -3443137/369 + 9331. Let k = o + 1097/1845. Which is greater: 0 or k?
k
Let l(f) = -f**2 + f + 7. Let z be l(4). Let j(c) = 2*c**2 + 9*c + 2. Let y be j(z). Does 8 = y?
False
Let z = 1/3 + 1/15. Let f = 3.95 - -0.05. Let m = -6 + f. Which is smaller: m or z?
m
Let v = -14 - -14. Is v greater than -2/31?
True
Suppose 0 = 2*z + 5*o - 17, z = -z + 3*o - 7. Let v be (-1 - -5) + (-84)/24. Which is smaller: v or z?
v
Let c be (-4)/(-6) - 3/(-9). Let j(s) = 4*s**3 + s - 1. Let b be j(c). Let y be (-21)/(-54) - b/18. Is y > 2/3?
False
Let r be ((-18)/54)/((-1)/15). Which is smaller: r or 2?
2
Suppose -2 = -2*y - x, -3*x + 6*x = -5*y + 6. Let w = -79/12 + 31/4. Is w less than y?
False
Let y = -0.9 - 0.09. Let u = y - 0.01. Is 0.5 smaller than u?
False
Suppose 3*y + 2*l + 11 = 0, 0 = 5*y + 4*l + 13 + 8. Let c = -0.34 - -0.23. Are c and y equal?
False
Let b = 1/12 + 13/4. Is 0.2 bigger than b?
False
Suppose 2*s = 5*s + 6. Let g(n) = -n + 4. Let y be g(4). Does y = s?
False
Suppose -2*r + 7 = 21. Which is smaller: r or 1?
r
Let r(h) = -2*h**3 - 18*h**2 + 3*h + 27. Let u be r(-9). Which is smaller: u or -106?
-106
Suppose 0 = -5*b + 3*f - 456, -3*b - 210 - 56 = 2*f. Let d be 39/b + 2/6. Is 0 less than or equal to d?
False
Let k = -5 + 7. Let c be k + -2*(-3)/6. Suppose 3*w + h + 0 + 1 = 0, c*w - 1 = -2*h. Is -3 equal to w?
False
Suppose 2*l + 5*a = -9, 5*l - a + 7 = 2*a. Let t be (0 - 1 - -1)/l. Let g be 8/(-18)*(-15)/(-10). Which is greater: g or t?
t
Let v = -1181/3 + 390. Suppose -4*l = 2*i + 22, 4*l + 0 = 3*i + 3. Let u = v - i. Is u at most as big as 0.1?
False
Let g = -39 + 19. Is 1/4 > g?
True
Suppose 4*a + 3*d - 11 = -4, -5*a = -5*d + 35. Let o = -71 + 68. Which is bigger: a or o?
a
Let a = -10 - -5. Let f = -2 - a. Let r be (-6)/(4/((-8)/f)). Which is smaller: r or 3?
3
Let k be (5/(10/14))/1. Let b = 12 + -5. Is k greater than b?
False
Suppose 0 = -4*d - 4*n, 0 = 6*d - 3*d - 5*n - 8. Does 6/7 = d?
False
Let d be (-20)/(-15) - 6/(-9). Suppose -2*t = -d*n - 6, -t = n - 4*t + 5. Which is smaller: -3 or n?
-3
Let v = -119/195 - -8/15. Is 1 at least v?
True
Let y = 20 - 32. Let q be 130/(-600) - 2/y. Is q equal to -1?
False
Suppose -3*q - 9 = -0. Let b be ((-45)/(-12))/(q/(-8)). Let o be 0/((-5)/(b/4)). Is -1/2 at least as big as o?
False
Let n be (56/(-6))/(55/(-33)). Which is bigger: n or 5?
n
Let r be (-5)/((-10)/6) - -7. Which is bigger: r or 9?
r
Let f = -10.2 - -2.2. Let d = 0.06 - 7.06. Let t = d - f. Which is smaller: t or 3?
t
Let s be (-4)/(-18) - 22/18. Let u = 4414/13 - 340. Which is bigger: s or u?
u
Let k = -6 - -8. Suppose k*o + 1 = -1. Suppose 0 = 3*x - x. Is x > o?
True
Let i(f) = -f + 7. Let o be i(6). Let q be (2 - o) + (2 - 1). Let l be (q/4)/(4/8). Is 2/9 greater than l?
False
Let t(m) = m**2 + 5*m + 1. Let a be t(-4). Let q = 1.4 - 0.4. Which is smaller: a or q?
a
Let t be -4 - (3 - (-45)/(-7)). Which is smaller: t or -2?
-2
Let n = -24 + 15. Let w be n/(-6) - 2/(-4). Suppose 2*u = -3*i + 19, -i + 15 = w*i. Is u at least 4?
False
Suppose -3*f - 21 = -4*o, f + 3*f = -12. Suppose p + 5*x + 12 = 0, -p - o*p = 3*x + 14. Let a be 1*(-2 - (p + 0)). Is 0.02 at least as big as a?
True
Let x(v) = -v - 7. Let h be x(-9). Suppose h - 12 = -5*c. Suppose 5*y = -4*a - 2, -c*y - 6*a = -3*a - 2. Is -2/3 bigger than y?
True
Let u = -10/19 - -14/171. Suppose -4*s - 3*w + 22 = 9, 5*s + 4*w = 17. Which is smaller: s or u?
u
Let f(u) = u**3 - 5*u**2 + 4*u - 3. Suppose -3*i + 0 = -12. Suppose 1 = 2*r - 3*g - 19, i*g + 16 = 0. Let n be f(r). Is n <= -4?
False
Let p = -0.153 - 0.047. Are -14 and p equal?
False
Suppose 89 = 4*c + 5*f, -112 = -4*c - 3*f - 25. Let i = 5 - 9. Let w be (-2)/(-1 + c)*i. Which is smaller: 0.3 or w?
0.3
Let n(j) = -j**3 + 6*j**2 + 7*j + 1. Let q be n(7). Which is smaller: -1/4 or q?
-1/4
Let f(b) = -b**3 + 7*b**2 - 5*b - 6. Let x be f(6). Suppose w - 5*q = 14, 2*w + x*w = -4*q. Suppose l + 12 = 5*l. Which is smaller: l or w?
l
Suppose 6*b = -0*b + 72. Is b at most 12?
True
Suppose -5*l = -0*l, -28 = 4*y + 2*l. Let c be (17 + y)/(4/6). Suppose -i + c = -6