3*b + 3. Let r be k/3 + 8/(-24). Let j = 341/2 - 167. Which is smaller: j or r?
j
Suppose 3 + 14 = 17*o. Which is smaller: -2/7 or o?
-2/7
Suppose -2*l = -4 + 6. Let a be (-2 - l) + 1 + -1. Which is bigger: a or -2?
a
Let k be 1/(4 + (-34)/8). Let u be k/(-24)*-4 - -1. Let r = 0 - 0. Which is bigger: r or u?
u
Suppose 4*l + q - 29 = 0, q + 1 = l - 0*l. Let k = 10 - 5. Which is smaller: l or k?
k
Let h(j) = -j**2 + 4*j + 22. Let p be h(7). Is -1/6 at most as big as p?
True
Let x = -18 + 16. Let d be 1/(x*12/(-64)). Is d at most 4?
True
Let m = -9772/3 + 3172. Let a = m - -86. Let h = -62 + 62.5. Is a smaller than h?
False
Let t = -4 + 3. Let j be -2 + 4 + t - 1. Let m = -112 - -115. Is m <= j?
False
Let w(z) = z**3 - 7*z**2 + 5*z**3 - 7*z**3 - 5*z + 4. Let b be w(-6). Let f be (4/2 - 6) + 1. Does b = f?
False
Let a(c) be the first derivative of -5*c**2/2 - 1. Let q = 34 + -33. Let i be a(q). Is -4 less than or equal to i?
False
Let o = -2 - -2. Let n be 1 + -2 + 242/246. Let p = 131/492 + n. Is o smaller than p?
True
Let r be 1/(-1 + -1 + 1). Are -0.2 and r equal?
False
Let n = -16.1 + 2.1. Let d = 8 + n. Let g = d - -6.1. Which is smaller: g or -0.5?
-0.5
Let d = 3 + 1. Let f = 17 + -13. Are f and d unequal?
False
Let p be ((-2)/(-6))/((-6)/9). Are -11 and p non-equal?
True
Let d = 0.36 - 0.4. Which is smaller: d or 2?
d
Let s = 77 + -86. Is -8 equal to s?
False
Suppose 5*j + 214 = -111. Is j less than -64?
True
Suppose 0 = -2*u + 2*k + k - 8, 0 = 4*u + k - 12. Suppose -32 = 2*y + u*f + 2*f, -7 = 2*y - f. Is -5 >= y?
True
Let q = 4.9 + -5. Let h = 0 + q. Which is smaller: h or 0.01?
h
Suppose h + 2*n + 5 = 0, -n + 6*n + 19 = -3*h. Does -13 = h?
True
Let k = 0.3 - 1.3. Let h = -1.3 - -2.2. Let a = h - 1. Which is greater: k or a?
a
Let g be (15/(-170))/((-78)/(-16)). Let n = -1/17 + g. Which is smaller: n or 0?
n
Let b be (-4 + 58/14)/(-4). Is b greater than or equal to 0?
False
Let a = 0.3 - 12.3. Let t = a + 10. Which is greater: t or 5?
5
Suppose 0 - 60 = -5*x - 2*p, 5*x - 5*p = 25. Let g = -15 - -27. Suppose 0 = -t - 5*o + x, 0 = -5*o - 2 + g. Is t smaller than 1/4?
True
Let m = 0.04 - 4.04. Let g = 0.36 - -4.74. Let u = 5 - g. Is m bigger than u?
False
Suppose 17*x + 102 - 17 = 0. Is -26/5 at least as big as x?
False
Let t(g) be the second derivative of -g**5/60 - g**4/4 - g**3/2 - g**2/2 + g. Let z(w) be the first derivative of t(w). Let f be z(-5). Is f smaller than 2?
False
Let u = -12 - -13. Is 4 <= u?
False
Let f(l) be the second derivative of -1/20*l**5 + 0 - 2*l**2 + 1/3*l**3 - 2*l - 1/6*l**4. Let o be f(-3). Which is bigger: o or -1/4?
-1/4
Let u(m) = -4*m - 7. Let h(n) = n + 1. Let l(c) = -3*h(c) - u(c). Let w be l(-6). Let q be w/(-8) + 60/16. Which is bigger: -0.1 or q?
q
Suppose 0 = 5*v - 3*l - 15 - 8, -3*l - 19 = -4*v. Suppose -1 = -j - v*s, -2*j - 3*s - s = -2. Suppose j = -m + 4. Which is smaller: m or 1?
1
Let g = 0 - -0.6. Let z = g - 0.5. Is -9 less than or equal to z?
True
Let h = -17/33 + -5/33. Let z be (-2)/6 - (-4)/(-6). Is h <= z?
False
Suppose 5 = 4*t - 7. Suppose -t*q = 6 + 12. Is -5 at least as big as q?
True
Suppose -4*b = -3*t + 26, -b - 7*t - 12 = -5*t. Is -7 smaller than b?
False
Let f = 8 - 5. Let v be 0/15 - (-1 + 4). Let s be v + (11 - (1 + 2)). Which is bigger: s or f?
s
Let a = -0.6 + 1.7. Let d = 1 - a. Which is smaller: d or -1/4?
-1/4
Suppose -7 = 3*x - 10*x. Let j be 2 - 3 - -1*3. Let h be 1/(-3) + j/6. Which is smaller: h or x?
h
Suppose -2*z + 32 = -10. Let i be (z/7)/((-33)/(-2)). Is i > 0?
True
Let g = -2 + 1. Let k be 110/(-77) - (12/(-14))/3. Which is bigger: g or k?
g
Let m be ((-2)/12)/((-9)/6). Which is smaller: -1 or m?
-1
Let r(a) = -a - 5. Let s be r(-3). Let c be (1 + s/(-2))/(-5). Which is smaller: 0.2 or c?
c
Let v = -473/4530 + 1/10. Which is smaller: v or 1?
v
Let s be -2 + 36/(-16) - -4. Which is smaller: s or 0?
s
Suppose 0 = -3*s + s + 6. Suppose -5*j = -2*r - 29, -2 = -3*r - s*j + 7. Is -1 less than r?
False
Let v = 4 + -5. Let a = 1 + v. Let z = a - 0.1. Which is greater: -4 or z?
z
Suppose 0 = -5*s - 0*s - 160. Let f be ((-8)/s)/((-2)/(-8)). Does 3/5 = f?
False
Let n be 2*7/(-1) - -2. Let q be (-2)/(-8) - n/16. Suppose 4*l + o - 4 - q = 0, 5 = 3*l + o. Is l at most 3/7?
True
Let u(d) = -76*d**3 + d**2 - 1. Let s be u(-2). Let g = s - 10384/17. Is 1 greater than or equal to g?
True
Let t = 6.7 + -5.7. Is -5 <= t?
True
Let r = 31/2 + -123/8. Is 1 equal to r?
False
Let w(v) = -v**2 - 10*v - 12. Let o(d) = -2*d. Let t be o(1). Let k be t/(-8) - (-111)/(-12). Let i be w(k). Which is smaller: 1/2 or i?
i
Let t = 498 + -338. Suppose 20 = -4*p - t. Let v be (20/p)/(4/6). Is 0.2 less than or equal to v?
False
Let q be -3 + (-6)/(-3) + 34. Let t = -23 + q. Let d be t/(-6) + 1/1. Which is greater: -2 or d?
d
Let j be (-1 - -5)*6/(-4). Let l be (0*(-3)/j)/1. Do 0 and l have the same value?
True
Let a(g) = 11*g**2 + 10*g - 29. Let s(i) = 7*i**2 + 7*i - 19. Let f(y) = 5*a(y) - 8*s(y). Suppose 0*l + 7 = -l. Let u be f(l). Which is greater: u or -1?
u
Let a be ((-4)/6)/((-13)/3 + 1). Let p be (4 + -1)*(-2)/(-6). Which is smaller: a or p?
a
Let n = -29 - -59/2. Suppose 3*s = -4 - 2. Let m be s/8 + 7/(-84). Which is smaller: n or m?
m
Suppose 0*p + p - 4*d = -16, 4*d = 2*p + 16. Which is smaller: p or 2/25?
p
Let g(b) = b**2 + 6*b + 7. Let p be g(-6). Let k = p - 6. Is 6 less than or equal to k?
False
Let q = -15 + 18.1. Let f = q - 0.1. Which is smaller: -0.1 or f?
-0.1
Suppose 5*u + 2*g - 45 + 5 = 0, -3*u + 43 = 5*g. Which is greater: u or 7?
7
Let t be 44/7 - (-20)/(-70). Which is bigger: t or 11?
11
Suppose -12 = -t + 3*t. Let s be (t/4 + 1)*-1. Let z = 0.04 - 0.04. Is s less than or equal to z?
False
Let h = 12 - 12. Is h at least as big as 0.4?
False
Suppose 4*a = 3*a. Is 1/5 greater than or equal to a?
True
Let i = -19 - -15. Which is smaller: i or -3?
i
Suppose -2*w = -7*w + 35. Let y(t) = -t**3 + 8*t**2 - 5*t - 7. Let q be y(w). Suppose -i + q + 2 = -3*v, -9 = -4*i + 3*v. Is 1 at least as big as i?
True
Let n = -26 + 25. Is n less than or equal to -9?
False
Suppose 2*m = 4*h - 78, 2*m + 2*m - 2*h + 150 = 0. Are -39 and m equal?
False
Let g(r) = r - 3. Let j be g(-18). Is j > -21?
False
Let h be (-36)/16 - 3/(-1). Is 0 smaller than h?
True
Suppose 0*f - 5*c + 11 = -f, f + 8 = 4*c. Suppose 2*z - f = 2*s, 5*s + 4 = 2*z + 2*s. Suppose -2*y = 5*w + 6 + 1, -2*y + z = -4*w. Which is greater: 0 or w?
0
Let v = -3/5 - -19/15. Which is bigger: 7/2 or v?
7/2
Let n = -99 + 104. Is n equal to -1/2?
False
Suppose 3*a + 3*y = 9, 0 = 5*y - 0*y + 25. Let x(d) = -2*d + 3*d + 4 + 0*d. Let s be x(4). Is a smaller than s?
False
Let v = 5 - 5. Let p be -4 - (6/(-2) - v). Which is smaller: 0 or p?
p
Let v(a) = -8*a + 3 + 4*a**2 + a**3 - 8 + 2*a**2 - 3. Let c be v(-7). Are c and 1/11 unequal?
True
Let l(w) = -w**3 + 14*w**2 - 27*w - 4. Let u be l(11). Which is greater: -1/3 or u?
u
Let p = 1.03 - 1.1. Let x = p + 0.27. Which is smaller: x or 3?
x
Let u be 5 + -1 + 1 + -4. Let l = -29 - -41. Let m be 16/(-6)*u/l. Which is bigger: m or -1?
m
Suppose m + 5 = 2. Let r = m - 0. Which is greater: r or -2?
-2
Let l = -7 - -7. Let z = l + 1. Which is smaller: -2/49 or z?
-2/49
Let p be (0 - 1)/(4/(-8)). Suppose -10 + p = -2*g. Suppose 3*x - 23 = g*k, k - 6 + 15 = 4*x. Are -2/5 and x nonequal?
True
Let u = -0.89 + -0.11. Is -4 > u?
False
Let j(t) = -t**3 - t**2 + 1. Let s = -4 + 0. Let w(l) = -5*l**3 - 10*l**2 + 8*l + 11. Let b(i) = s*j(i) + w(i). Let u be b(-7). Is u bigger than -1/5?
True
Let v be 4/(-10) + 168/(-45). Let l be 8/6*(-21)/(-10). Let b = l + v. Which is bigger: b or -2?
b
Let o = -16 - -41/3. Are o and -1 unequal?
True
Let f = 27187/11 - 2469. Which is smaller: 3 or f?
f
Let u = 7.636 - 0.036. Let b = -0.6 + u. Let g = b + -10. Which is bigger: -2/7 or g?
-2/7
Suppose -s - 4*f + 1 = 0, 5*f + 2 + 2 = -2*s. Let p = s - -12. Suppose -11 = -i - 3*y, 4*i = y - 2*y + 22. Is p at most as big as i?
True
Let i be ((-6)/4 - -2)*2 - -1. Are 2 and i unequal?
False
Let j be (5 + 0)*10/25. Suppose 0 + 2 = j*v. Suppose g = -v - 0. Which is smaller: g or 0?
g
Let d = -14.1 + 14. Is d less than 3/10?
True
Let p = 40 + -22. Suppose -2*i + 2*q + p = -6*i, 0 = q - 3. Let d be (i/4)/(3/8). Which is bigger: -3 or d?
-3
