/19?
-2/19
Let p be 10*-3*(3 + -4). Let l be 4/(-12) + (-8)/p. Let i be (-3 - -3)*(-1)/(-2). Which is smaller: l or i?
l
Suppose f + 24 = 14. Which is smaller: -12 or f?
-12
Suppose -5*l = -9 + 4. Which is bigger: -3/2 or l?
l
Let t = -0.08 - 0.07. Let z = 0.05 + t. Is z less than -0.1?
False
Let o be (-18)/54 + (-26)/(-42). Which is smaller: o or 1/3?
o
Let r = 0.3 + -0.3. Let u = r + 0.05. Let a = 1.05 - u. Is a at least as big as 0.2?
True
Let l = -28 - -18. Let d(h) = h + 10. Let g be d(l). Is -2/29 greater than or equal to g?
False
Suppose 2*q - 9 = -3. Is q > 3?
False
Let c = -12 + 6. Do c and -1 have the same value?
False
Let s(t) = t**3 + 8*t**2 - 9*t + 3. Let c be s(-9). Suppose a + c*a = 8. Which is greater: 4/3 or a?
a
Let q be 0 + (0 + 1)/1. Is q greater than or equal to -3/14?
True
Let n = -4.89 - -0.89. Which is smaller: n or 0.2?
n
Let t be ((-1)/(-2))/((-18)/(-72)). Let l be (-1)/(-3)*(-3)/(-4). Is l at least as big as t?
False
Let d = -147 - -101. Let o be (-9)/15 - d/10. Is 3 smaller than o?
True
Let g be -2 + -3 + (-138)/(-28). Which is smaller: g or 1?
g
Suppose z = -0*z. Let a be 0/2 - -38 - 2. Let x be 3/2*(-30)/a. Is x at most z?
True
Let b be (-2)/5*10/74. Which is smaller: b or 1?
b
Let p = -3.6 - -0.6. Let i = -2 - -5. Let d = i + p. Are d and 1 equal?
False
Let i(s) = -s**3 + 4*s**2 + 5*s - 1. Let m be i(5). Let p be ((-112)/(-10))/(-24 + 1). Let n = p + 2/23. Is m bigger than n?
False
Suppose -5*v = -5*u + 15, -4*v = -2*u - 4 + 18. Let y be (7/(-6) + 1)/u. Which is greater: -1 or y?
y
Let c = 18 + -197/11. Which is smaller: 1 or c?
c
Let k(o) = -3*o**2 + 67*o + 45. Let w be k(23). Suppose 0*g = 3*g - 6. Let q be (g/6)/(51/(-18)). Is q equal to w?
False
Let k be (-3)/(2/2) + 7. Suppose g - k*t - 18 = -g, -11 = -3*g + 2*t. Which is smaller: 3/4 or g?
3/4
Let m be (-1)/4 + 21/4. Let w(o) be the second derivative of -o**3/6 + 3*o**2/2 - 3*o. Let a be w(0). Is a != m?
True
Let q be 1804/532 - 3/1. Let k = -2/19 + q. Suppose -3*d - 4*x + 3 = -0, -3 = -3*d - 3*x. Is d less than or equal to k?
False
Let v(z) = 11*z - 12. Let s(f) = -7*f + 8. Let a(i) = -8*s(i) - 5*v(i). Let l be a(5). Suppose 0*r = r - l. Is r greater than -2/7?
True
Let n be (-1)/(-5) - (-27)/15. Suppose 2*b = b + n. Suppose 2 = -2*t, 5*a - b = -4*t - 1. Which is bigger: 2/5 or a?
a
Let p(n) = n - 1. Let w = 4 + -3. Let g be p(w). Let a(s) = -s**2 + s + 3. Let o be a(g). Do o and 3 have different values?
False
Let j = -10 - -6. Let z be (2/j)/((-2)/4). Let r = -3 + z. Which is smaller: -1 or r?
r
Let y be ((-2)/(-20))/(189/474). Let v = y + 8/45. Which is smaller: v or 1?
v
Suppose 2 = -2*k - 2. Let d = 5 - 3. Suppose -3*q = -d*q - 3*b + 3, 2*b + 15 = -5*q. Is k less than q?
False
Suppose 5*o - 4 = 16. Let b be 35/(-11) - o/(-22). Suppose d = 3*t - 5*t - 9, 2*t + 3*d = -19. Which is smaller: b or t?
b
Let j = 122 + -143. Is -1/2 greater than or equal to j?
True
Suppose -4*n + 2 = a, 2*a = -n - 0 + 4. Suppose 4*c + 0*c = -4*f - 8, -a*c = -2*f + 4. Let o be (2 + (-1 - f))/1. Is o at most as big as -1/4?
False
Let q(k) = 2*k**3 - 3*k**2 + 2*k - 2. Let f be q(2). Let o = f + -6. Let d be -1*2 + 20/14. Which is smaller: d or o?
d
Let v = -601/35 + 116/7. Let l be (-16)/3*(-3)/(-2). Let j(w) = w**3 + 9*w**2 + 8*w - 1. Let o be j(l). Is o at most v?
True
Suppose 3*f = 9, 20 = 3*d + 4*f + 5. Which is smaller: d or 12/13?
12/13
Let y be 18/6 - 1*3. Suppose 3*x - 9 = -y*x. Which is greater: x or 1?
x
Suppose 0 = x - 0*x - 5*p + 12, 6 = -2*x + p. Is -2 less than x?
False
Suppose 0 = 8*k - 11*k - 69. Are -23 and k non-equal?
False
Let f = 96 - 57. Which is smaller: f or 38?
38
Let y(m) = 2*m + 1. Let l = -5 - -11. Let f = l + -7. Let a be y(f). Which is bigger: -2 or a?
a
Let k(n) = 10*n + 28. Let s be k(4). Is 68 greater than s?
False
Let w be (-6)/27 - (-4)/18. Which is smaller: w or 2?
w
Let j be 263/(-6) + 2/(-4). Let w = j + 45. Is 0.3 smaller than w?
True
Let j = -4/753 - 30853/3765. Is -9 < j?
True
Suppose 2*n + 3*y = -16, -y - 4*y - 20 = 0. Which is bigger: n or -19?
n
Let m = -1 + 3. Let j = 0.21 - -1.59. Let r = m - j. Which is smaller: r or -1/2?
-1/2
Let s = -653/5 - -45047/345. Is -1 smaller than s?
True
Suppose s = -s - 6. Let k be s/(-6)*2/3. Is -1 bigger than k?
False
Let r(z) = 23*z**2 - 5*z + 3. Let a be r(4). Let i = a - 11582/33. Let n = i + 127/165. Is n bigger than 1?
False
Suppose 2*x - 12 = -3*f, -x = f + 1 - 6. Which is smaller: f or 0?
0
Let i = 0.4 + -0.41. Is -0.3 at most as big as i?
True
Let w = 7 + -3. Suppose -8 = w*m - 0*m. Let d be m/(-4) - (-10)/(-4). Which is smaller: -4 or d?
-4
Let y(p) = -p - 6. Let s(z) = -3*z - 17. Let l(r) = 2*s(r) - 7*y(r). Let b be l(-6). Which is smaller: 3/2 or b?
3/2
Let q be (-42)/(-6) - (2 + 1). Suppose -2 - q = 3*d. Which is smaller: d or -3?
-3
Let w = 0.07 - 0.17. Which is greater: w or -0.8?
w
Let p = -1.2 - -2.4. Let x = 0.2 - p. Are x and 6 nonequal?
True
Let y = -1 + 2. Let o = y - 0.8. Let n = -4 + 4.1. Which is bigger: o or n?
o
Let l = -443399/5 + 88335. Let o = 343 + l. Is -3 at least as big as o?
False
Let z = 0.4 - -0.1. Let n = -0.4 + z. Let c(m) = m - 5. Let r be c(6). Which is greater: r or n?
r
Let d be (-5 - -4)/((-6)/(-388)). Let w = d + 64. Which is smaller: -0.4 or w?
w
Let b be (3/(16 - -2))/(1/6). Which is greater: b or 4/21?
b
Let q = -7 - -5. Let u = -55/2 + 26. Is q greater than or equal to u?
False
Suppose -3*k = 2 - 5. Let c(j) = -j + 5 - 2 + 2 + k. Let a be c(6). Which is smaller: -1/3 or a?
-1/3
Let g = -408 - -11423/28. Let y be -1 - 0/(0 + -2). Which is bigger: y or g?
g
Let u = 9 + 0. Let p = 13 - 4. Let k = u - p. Is -2 greater than or equal to k?
False
Let i be -1*(-2 + 687/342)/(-1). Is 0 bigger than i?
False
Let p = 15 - 32. Is p greater than or equal to -0.1?
False
Suppose -24 = 6*r - 126. Is 15 <= r?
True
Let m = 6 + -5. Is m <= -0.3?
False
Suppose 0 = 4*b + 13 + 3. Let k = 2 + b. Let f be (k/(-4))/(2/4). Is 1/3 greater than f?
False
Let b = 2 - -1. Let v = 4 + b. Let l = 4 - v. Which is bigger: -2 or l?
-2
Let i = 2 - 0. Let l(s) = -s**2 - 21*s + 45. Let b be l(-23). Which is greater: i or b?
i
Let t(j) = -j**3 + 4*j**2 + j - 5. Let x be t(4). Is -5 < x?
True
Let h = -754941/5 + 150289. Let l = -178261/255 - h. Let m = 8/17 - l. Is -1 < m?
True
Suppose 0*d - 4 = 2*d. Which is smaller: d or -16/7?
-16/7
Let n = -20 + 39. Suppose 5*m + 2*v - 6*v - 35 = 0, n = -2*m - 5*v. Which is greater: m or 2?
m
Let i = -1 - -2. Let p = 82 + -161/2. Which is greater: i or p?
p
Let z(l) = l**2 + 12*l + 6. Let v be z(-11). Is v greater than or equal to -4?
False
Suppose 3*n - 7 = -0*n - o, -5*n - 5*o + 15 = 0. Suppose 4*z - 3*z - 10 = 2*a, -3*z + n*a + 30 = 0. Let b(m) = m - 6. Let c be b(z). Is c at least 3?
True
Let h = -0.56 - -0.5. Is 0 <= h?
False
Let h be (-1)/(3 + (-16)/5). Suppose -h*m - r + 10 = 0, -2*m - 14 = -6*m - 2*r. Suppose -4*k - 13 = 3*z, 0*z = 2*k - 2*z - 4. Which is bigger: k or m?
m
Let k = -44/25 - -2/75. Let x = k - -7/5. Let g = 2 + -2. Does x = g?
False
Let p be 1 - 3 - -2 - -5. Suppose p*h = 3*h. Let r = -0.1 - -1.1. Is r at least as big as h?
True
Suppose -3*i + i = 2*h, -3*i - 8 = 5*h. Let j(d) = -d**2 - 5*d - 6. Let t be j(h). Let b = -1 - t. Which is greater: b or -0.1?
b
Let b(s) = s**2 - 11*s + 6. Let y be b(10). Let i = 5 + y. Is i at most as big as -3?
False
Let t be (-2)/(-6)*(-1 + -1). Let j(w) = w**2 + 4*w - 6. Let h be j(-5). Let f be ((-24)/(-36))/(h + -1). Is t != f?
True
Let s = -3 + 4. Let r = 173 - 1905/11. Is r smaller than s?
True
Suppose 3*g + 1 = 28. Is 31/4 at most g?
True
Let h = -1330 - -121031/91. Let w = h - 15/91. Does 1 = w?
False
Suppose -l = l - 4. Suppose -2*o = 10 - l. Are -6 and o unequal?
True
Let z be (24/9)/((-3)/9). Let n = 14 + -5. Let s be z/12 + (-3)/n. Is s bigger than -3?
True
Let z = 0.2 + -0.2. Let h = 1399691/126 + -11109. Let u = 1/18 + h. Which is greater: u or z?
z
Let f = -26/3 + 187/21. Which is greater: f or 0?
f
Suppose 0 = -3*v + 17 - 29. Are -7 and v nonequal?
True
Let y = -145 - -153. Which is smaller: 0.3 or y?
0.3
Let z be -1 - (2 - 5) - 3. Suppose 2*d = 4*c + 12, -c - 16 = 3*d + 1. Let u be 1 + 0 - d/(-5). Which is greater: u or z?
u
Let r(y) = y**2 + y + 14. Let x be r(0). Which is greater: 13 