(-10) + 17/30. Which is bigger: t or u?
u
Let t be 1/4 - (-305)/12. Let z = t + -25. Let k = 13 + -12. Which is smaller: k or z?
z
Let z(f) = -1. Let v(d) = 2*d**2 - 3*d + 1. Let u(p) = -2*v(p) - 2*z(p). Let q be u(3). Is q less than or equal to -17?
True
Suppose 4*z = 2*z - 4*o + 46, -45 = -5*z + 4*o. Let w = z - 9. Suppose 2 = w*d - 2. Is d at least 1?
True
Let w(s) = 2*s + 4. Let m be w(-5). Let r(b) = -b + 1. Let i be r(0). Which is smaller: i or m?
m
Let k(a) = 4*a**2 + 5*a + 2. Let j be k(-2). Which is greater: j or 15/2?
j
Let n = 0.1 + -0.2. Is 1 >= n?
True
Suppose -3*n + 2*y - 6 = -y, -3*n + 4*y = 8. Let r be 10/(-6) + (-9)/(-27). Is n less than r?
False
Let l = 1/76 - 87/836. Which is smaller: l or 0?
l
Let m(l) = 2*l + 4. Let g(y) = 2*y + 0*y - 2 - 3*y. Let f(k) = 7*g(k) + 3*m(k). Let q be f(-3). Which is greater: q or 1/6?
q
Let x(o) = o**2 - 4*o + 5. Let t be x(4). Suppose -5*h + 4*h = 3*d + 4, t*h + 5 = 0. Which is bigger: -3/10 or d?
-3/10
Let r(w) = -w**3 - 3*w**2 + 3*w - 5. Let m be r(-4). Which is greater: -1/53 or m?
-1/53
Suppose 22 = -4*o - 3*s + 5, 2*o + 5*s + 19 = 0. Let l be (-24)/(-35) - o/(-7). Let d = 3 + -3. Which is greater: d or l?
l
Let k = -5 - -5. Let q = k + -1/7. Which is smaller: 1 or q?
q
Let o = -28768 + 3308279/115. Let d = o - 1/23. Let y = 6 - 8. Is d less than y?
False
Let w(a) = 3*a + 12. Let t be w(-8). Let z be 2/(-4) - 42/t. Suppose i = -z*i. Which is smaller: 1 or i?
i
Suppose 3*w - 2*x + 8 + 3 = 0, -w - 11 = 3*x. Which is smaller: -3 or w?
w
Suppose -3*k = -5*k - 2. Suppose t + 8 = 5*t. Suppose 15 = -t*h + h - 3*m, 3*h - 2*m = -1. Is k at least h?
True
Let d(g) = g**3 - 2*g**2 + 5*g - 7. Let c be d(3). Which is smaller: 35/2 or c?
c
Let q = -8 + 9. Is q at least as big as 1.1?
False
Suppose -6*v + 108 = -2*v. Suppose 3*a + v = 6*a. Suppose -5*q = j - a, 5*j - 2*j - 3 = -3*q. Which is greater: 1 or q?
q
Let y(u) = -u**2 + 2*u - 3. Let i be y(0). Let f(m) = m**3 + m**2 - 6*m + 2. Let s be f(i). Which is smaller: 1 or s?
1
Let i = -0.1 + 0.1. Suppose 4*a = -0*a - 20. Let q = a + 7. Is q bigger than i?
True
Suppose 34 = 4*b + 142. Is -1 equal to b?
False
Let f = -33.2 - -32.2. Let p = -1 - 0. Is p greater than f?
False
Let t(c) = -c**2 + 5. Let m be t(2). Which is smaller: m or 4/11?
4/11
Let m = -1.1 - -0.1. Let x = -7 - m. Let l = x + 5. Which is greater: l or 0.1?
0.1
Suppose -2*p + 76 = 2*p. Suppose 3*d + 21 = -3*k, -4*k - 3*d = 4 + p. Which is smaller: -3 or k?
-3
Let b be (84/27)/(-5*10/(-525)). Is 34 <= b?
False
Let o be (-12)/8 - (-77)/54. Which is greater: 0 or o?
0
Let a = -5 - -4. Let c be -1*3/6*-2. Let n be 1/(-14)*4*c. Which is bigger: n or a?
n
Let q = 8 + 11. Let x = 24 - q. Is x greater than -1/3?
True
Suppose 6 - 3 = 3*d + 3*l, 0 = -l + 3. Let i be d + -10 + 3 + 3. Is -6 less than i?
False
Suppose 4 = 460*r - 464*r. Let w be (1/(-1))/(1 - 0). Is w greater than r?
False
Let c be 18/6*(0 + -1). Let q be ((-3)/2 - -2)*c. Let j(u) = u - 5. Let y be j(4). Which is smaller: q or y?
q
Let z(r) = -r - 22. Let p be z(-5). Is p equal to -82/5?
False
Let x(f) be the second derivative of f**5/20 + f**4/12 - f**3/3 - f**2 - 3*f. Let i be x(-2). Which is smaller: i or -5?
-5
Let t = -20 + 24. Suppose i + 4*f + 3 = -1, -f = t*i + 1. Which is greater: -2/9 or i?
i
Let u(d) = d**3 - 1 + d**2 - 6*d**2 + 0 - 5*d + 0*d**2. Let m be u(6). Suppose 3*q = m*q - f - 1, -3*q + 2*f + 1 = 0. Which is bigger: q or 0.2?
q
Let z(r) = -r**3 - 8*r**2 - 7*r + 2. Let i be z(-7). Let w be i - (7 + 9/(-3)). Is -1 less than or equal to w?
False
Let l be (-10)/(4/(-2)) - (5 + 0). Let n = 4798/17 + -282. Which is greater: l or n?
n
Suppose 2*a - 6 = j - 3*j, -3*a = -4*j + 12. Suppose j*o = -0*o + 3. Are 1/6 and o equal?
False
Let b(i) = -3*i - i - 11 + 2*i. Let v be b(-5). Do -2/25 and v have the same value?
False
Let z be 30/56 + (-11)/((-385)/(-10)). Is -27 greater than or equal to z?
False
Suppose -5*g - 3 = -h - 0, -5*h = -4*g + 6. Let w be (4/(-9))/(10/15). Which is smaller: g or w?
g
Suppose -o = 4*k - 13, k + 1 + 1 = 5*o. Is 1/9 >= o?
False
Let w be -3 + (-4)/(8/(-6)). Suppose w = 8*i - 9*i - 8. Which is bigger: i or 0.1?
0.1
Let l be 1 - -6*1/2. Suppose -5 = r + 5*p, -3*r + 11 = -2*p + l*p. Let d be (-2)/r + 4/4. Which is greater: 1 or d?
1
Suppose -3*x - 18 = -5*b, b - x = 4*b - 8. Suppose -3*l - 15 = b*y, -5*y + l - 34 = -3. Is -6 greater than or equal to y?
True
Let y be (3 - (-33)/(-9))/((-22)/(-6)). Do -2/7 and y have different values?
True
Let y = 8 + -5. Suppose 2*f = -5 + 1, -4*f = -y*g + 11. Is g > 1?
False
Suppose 4*c + 44 = -2*a - a, -4*a - 66 = -2*c. Which is smaller: -17 or a?
-17
Let d(o) = -2*o - 6. Let w be d(-4). Let p be (-26)/(-12) - (-4)/(-6). Which is bigger: p or w?
w
Let g = 9409/28 + -336. Which is smaller: -1 or g?
-1
Let b be (-20)/30*3/(-2). Let u be (1/2)/(2/12). Suppose 4*v - u*v - b = 0. Which is smaller: v or 0?
0
Let m = -22/5 - -24/5. Suppose l + r + 5 = 0, -5*r - 12 = -4*l - r. Do m and l have the same value?
False
Let l be ((-8)/(-1580))/(3/30). Let b = -90/1343 - l. Is 2 at most as big as b?
False
Suppose 3*a = -0*a + 3, 2*p = 2*a - 6. Let l be (-24)/9*3/p. Let t be ((-4)/6)/((-2)/(-3)). Which is smaller: t or l?
t
Let u = -4/41 + 161/1230. Is u at most as big as 1?
True
Suppose 3*x - 4 = -1. Let b be (9/6)/x - 1. Which is smaller: 5 or b?
b
Let y(g) = -g - 7. Let i be y(-6). Let h(t) = t**2 + 5*t + 4. Let m be h(-5). Let o be 81/18*m/(-6). Is o greater than or equal to i?
False
Suppose -5*o - 216 = 4*s, -5*s + 3*o = -2*s + 189. Is -59 < s?
False
Let j be 2/9 + 190/360. Which is smaller: j or 2?
j
Suppose -x + 4 = -1. Let c be 2*(x/(-2))/(-1). Which is greater: c or 4?
c
Let k = 31.3 - 30. Let o = 1.2 - k. Which is smaller: o or 2/7?
o
Suppose -3*b - 10 = 2. Let z be b/18 + 15/189. Let j be (-2)/4 - (-27)/18. Is j != z?
True
Let a = -2 - -4. Let i be 4/(-2)*(a + -4). Suppose t - i*t = 0. Which is smaller: -1/11 or t?
-1/11
Let s(h) be the second derivative of h**5/20 + h**4/3 + 2*h**3/3 - h**2/2 + 3*h. Let c be s(-3). Let a be (10/3)/(c/6). Which is bigger: a or 1?
1
Let b = -565 - -16383/29. Which is smaller: b or -2?
-2
Let q(t) = t**2 + 7*t + 8. Let j be q(-6). Are 4 and j unequal?
True
Suppose 13 = 2*l + 3*c, 5*l - 21 = -0*l + 4*c. Let p be 6/(-3) - (-8)/l. Let f(x) = -x. Let a be f(-1). Are p and a unequal?
True
Suppose -5 - 2 = -t + 5*n, 5*n = 5*t - 35. Suppose -5*j + 2 = t. Let g = 38 + -40. Which is bigger: g or j?
j
Let a = -5200/74559 + 2/2571. Which is smaller: -1 or a?
-1
Suppose 2 = 4*k - 14. Let m be k/10 - 368/820. Which is smaller: 1 or m?
m
Let m = -14 - -13.7. Which is smaller: m or 3/4?
m
Let d = 6.15 - 4.1. Let l = d - 0.05. Which is smaller: l or -6?
-6
Let i = -17 - -12. Let k = i - -4. Which is bigger: k or -1/12?
-1/12
Let r be (-28)/35 + (-36)/(-20). Suppose -5*j = 294 - 29. Let v = -157/3 - j. Which is greater: r or v?
r
Suppose -61 = -3*k + 5*r - r, 0 = 4*k + 3*r - 48. Which is greater: -1 or k?
k
Let s = -0.1 - -0.1. Let h = 2.96 - -0.04. Which is smaller: s or h?
s
Let b be 5 - 1/((-39)/(-123)). Which is greater: b or 2?
2
Let l = -28 + 28.1. Which is bigger: -7 or l?
l
Let s = 0.244 - -0.016. Which is smaller: s or -1?
-1
Let g(p) = p**2 + 5*p + 7. Let j be g(-3). Is j at least as big as -3/7?
True
Let s = 75 + -76. Which is smaller: s or -20/9?
-20/9
Let z = -360/13 + 21253/767. Which is bigger: 0 or z?
z
Let y(z) = -z**2 + 6*z - 7. Let s(r) = r**3 + 7*r**2 - r - 1. Let i be s(-7). Let v be y(i). Let x = v + 11. Which is greater: 3 or x?
x
Let l(k) = 1 + 2*k + 1 - 4 - k. Let g be l(4). Let u be 1*-6*(-1)/10. Which is smaller: u or g?
u
Let s = 13 + -12. Is s less than 1/2?
False
Suppose -5 + 3 = u. Let n be ((-4)/(-6))/((-6)/9). Which is greater: u or n?
n
Let a(z) be the third derivative of z**5/60 + 7*z**4/24 - z**3 - 4*z**2. Let h be a(-7). Which is smaller: -1 or h?
h
Let n(r) = 6*r**2 - 2*r + 1. Let j be n(1). Suppose 6 = -j*i - 5*w + 4*w, 5 = -5*w. Let s = -262/5 - -52. Is s bigger than i?
True
Suppose 3*o + m - 14 = 2*m, o + 3*m = 8. Suppose 2 + 7 = l + 2*z, o*l - 4*z = -25. Let f be (-3)/(-6) + (-30)/44. Is l < f?
True
Let s(h) = h**3 + 22*h**2 + 22*h + 21. Let k be s(-21). Is -2/5 smaller than k?
True
Let s(g) = -g + 8. Let p be s(6).