bigger than z?
False
Let z = 25 - 32. Which is smaller: z or -8?
-8
Let p be ((-1)/(-14))/((-12)/24). Let j = p - -9/14. Suppose x + 14 - 1 = -5*f, 0 = 3*f + 9. Is j >= x?
False
Let m be 2 + 1*22/(-12). Suppose -8 = -9*n + 1. Is m less than or equal to n?
True
Let x = 0.45 - 0.4. Let t = -2.05 + x. Is 3/4 at most t?
False
Let w = 0.1 + -0.2. Let b = -103443673/246414245 - 3/487949. Let c = b + 2/101. Which is greater: w or c?
w
Let k(a) = a - 1. Suppose -5*l - 4 = -4*l. Let v = l + 8. Let q be k(v). Does 5 = q?
False
Let r be 75/(-35)*(-4)/(-5). Is r equal to -1?
False
Suppose -4*b = -14 - 6. Suppose 4*k = b*k + 4*j + 15, 0 = 2*k - 5*j - 22. Which is smaller: k or -1/10?
-1/10
Let c be -4*(9/(-6) + 1). Let m = -3 + c. Which is smaller: 2 or m?
m
Let b be (-122)/(-18) + 20/90. Let i = 5 + 3. Is b at least as big as i?
False
Let f be (1/21)/((-1)/4). Which is smaller: 1 or f?
f
Let c(s) = -3*s - 79. Let u be c(-26). Let a = -2 - -3. Which is bigger: u or a?
a
Let p(n) = 5*n**3 - n. Let q be p(1). Suppose -y - q*y = 60. Let m be (8/y)/((-4)/(-6)). Is -1/8 at most m?
False
Suppose 7*a + 10 = 2*a. Let j be (1/4)/((-36)/(-32)). Do j and a have the same value?
False
Let r = -1161 + 12761/11. Which is smaller: -1 or r?
-1
Let k(w) = w**3 + w**2 - 4*w. Let a be k(-5). Let l = -44 - a. Let f be -1*2 + 64/l. Is 0 <= f?
False
Let i be (8/(-20))/((-16)/(-45)). Let v = i + 5/8. Is -1 equal to v?
False
Let w be 2/(-12) + (-62)/(-12). Suppose 5*o + 20 = -w*v, -4*o - 2*v - v - 18 = 0. Is o at least -6?
True
Let o(x) = -x**3 - 4*x**2 - 3*x + 1. Let d be o(-3). Do d and 1/27 have different values?
True
Let l = -1.07 - -0.1. Let w = l + -0.03. Which is greater: w or -0.1?
-0.1
Suppose -16*d + 19*d + 342 = 0. Which is smaller: d or -115?
-115
Suppose 4*i + 12 = -4*l - 0, -5 = 5*i + 3*l. Let t be 2*(-29)/(-276)*-4. Let v = t - -4/23. Are i and v unequal?
True
Let p be 4/(-888)*(-588)/8. Let k = -3/37 + p. Is 3 <= k?
False
Let a = -14650/17 - -862. Which is smaller: a or -1?
-1
Let x be (-2)/(-11) + (-20)/(-11). Let l be (-3)/6 + x/(-4). Let a(h) = -h + 5. Let d be a(7). Is d less than or equal to l?
True
Suppose 0 = -3*p - 4*k + 8, k - 2 = -p - 1. Let o be (1 + -1)*2/p. Let q be ((o + 20)/2)/2. Is 4 >= q?
False
Suppose 2*k + 9 = -k. Let p be (-8)/(-120) - 1/k. Is 0 at least p?
False
Suppose 4 = 2*l - 2*m - 2*m, 2*m + 2 = -3*l. Let b(v) = v**3 + v**2 - 27. Let o be b(0). Let j be 0/1 + (-6)/o. Which is smaller: j or l?
l
Let c be (5/(-3))/((-1)/3). Let z = 428 + -423. Is c != z?
False
Let f = -0.6 + 0. Let y = 0.4 - f. Which is smaller: y or 0?
0
Let l = -5 - -10. Let m = l - 4.6. Let d = 0.5 - m. Which is smaller: -0.2 or d?
-0.2
Let f be (-3)/5676*-4*2902. Let k = f - 68/11. Which is bigger: -1 or k?
k
Let m = -135 + 134.8. Suppose -20 = -5*z, z - 24 = 3*x + x. Is m at least x?
True
Suppose -v + 10 = 3*i - 2*i, -3*i - 4*v + 35 = 0. Let d = 9 - i. Suppose -3*w + 20 = l + 3*l, 4 = -w + d*l. Is 4 at least as big as w?
True
Let k be (-2)/3 + 2/(-6). Let h be (-5606)/(-17)*2/(-4). Let s = 165 + h. Which is bigger: k or s?
s
Suppose 3 = a - c, 5*a - 13 = 2*c + 11. Let h be a/10 - 8/5. Which is bigger: 1/5 or h?
1/5
Suppose -25 = 3*l - 5*h + h, l = 2*h - 5. Let m be (7 - 2) + (152 + -5)/(-7). Which is greater: l or m?
l
Suppose -4*r - 85 = -9*r. Let p = 35 - r. Let y be (1 + (-10)/p)/(-2). Are y and 1 nonequal?
True
Suppose -2*n + 3*m = 6*m - 189, -447 = -5*n + m. Let x be 6/14 + n/(-14). Are x and -5 unequal?
True
Let d be 7/((-3)/3) + 1. Let m(l) = -l + 4. Let k be m(d). Let v be k/8 - (-2)/(-2). Is v greater than -1?
True
Let x be ((608/36)/(-4) + 4)*-3. Is x greater than or equal to 2?
False
Let z = 1.1 - 1.1. Which is smaller: 40 or z?
z
Let r = -10 - -10. Let i = 14 + -44/3. Do r and i have the same value?
False
Suppose 4*u - 2*u - 2 = 0. Let v = -13 + 20. Let a be ((-4)/6)/(v/3). Which is smaller: a or u?
a
Let b = 727/8 + -91. Is -13 less than b?
True
Let l = -0.123 + -0.877. Which is bigger: -8 or l?
l
Let n = -9.9 - -1.9. Let p = 0.13 - 9.13. Let y = p - n. Which is smaller: 2 or y?
y
Let x = -190 - -203. Which is bigger: 12 or x?
x
Let k = 1 - 0.6. Which is smaller: k or 1/4?
1/4
Let y = 1204 - 3524. Let v = 21031/9 + y. Let k = 17 - v. Is 0.2 equal to k?
False
Let q = 3/10 + 1/30. Are q and 0.2 equal?
False
Suppose 0*w + 2*w = 0. Let f(u) = -10*u**3 + 4*u**2 - 2*u - 4. Let s be f(-3). Let k be (-4)/22 - 98/s. Which is smaller: k or w?
k
Let u = 42 + 4. Are u and 45 equal?
False
Suppose -5*w + 17 = -8. Let y(g) = -g**2 + 5*g + 5. Let a be y(w). Let p be a - 2 - 2 - 2. Is -1/5 bigger than p?
True
Let g = 36 + -143/4. Let n = g + -1/2. Is 18 > n?
True
Let a = 7 - 2. Let l = 12 - 9. Suppose i - a = -5*p, -p - p = l*i + 24. Is i > -11?
True
Let d = -67 - -66. Which is greater: d or 2/19?
2/19
Suppose -2*u = -3 - 13. Are u and 7 nonequal?
True
Let i(h) = -3*h + 4*h - 1 - 2. Let b be i(6). Suppose d = 2*v + 4*d + 1, 0 = v - 2*d - b. Is 2 <= v?
False
Let q = -4 - -1. Is 17 at least as big as q?
True
Let y(c) = -2*c**2 + 37*c - 54. Let h be y(17). Let s = -7 - -17/2. Which is smaller: h or s?
h
Suppose -3*p + 7 = -2*l - 0*l, l + 2*p = 7. Let w be (-16)/(-20)*20/88. Which is bigger: w or l?
l
Suppose 5*n - 75 = -0*n. Is 14 <= n?
True
Let o = 20/11 + -131/66. Is -0.14 equal to o?
False
Suppose -2 = 2*r - 0*r. Let t be -1 - (-5 - (0 - r)). Is t less than 6?
True
Let q = -0.09 + 0.05. Let s = -2.04 - q. Let i be 14/24 + 3/(-12). Is s greater than i?
False
Let h(k) = -3*k**3 + k**2 + k. Let g be h(-1). Let t = 161/5 + -443/15. Which is greater: t or g?
g
Let g be 1*109/12 - 10/30. Is g >= 8?
True
Let z be -1*2*(-1 + -5). Let s = 308 - 298. Is z > s?
True
Suppose -k - 4*y - 26 = 0, 7 + 3 = -2*y. Is k smaller than -6?
False
Let f = -2.741 - -0.741. Let d(a) = a + 6. Let y be d(-6). Is f less than or equal to y?
True
Let x(g) = 5*g**3 - 2*g**2 + 1. Let l be x(1). Is l at least as big as 4?
True
Suppose -10 + 4 = -3*l. Suppose 5 = -3*c + l*c. Is c at least as big as -4?
False
Let y = -1.239 + -0.061. Is -3 less than or equal to y?
True
Suppose 3*q + 14 + 22 = 0. Let d be (-8)/12*66/8*2. Is d > q?
True
Let w = 0.5 - -0.5. Is w less than 1?
False
Let h = 46 - 3. Is h smaller than 44?
True
Let v = -6 - -5. Let x = -0.2 - -1.2. Is v > x?
False
Let n = -8.89 - 0.11. Let t = n - -9.2. Which is greater: 1 or t?
1
Let g be (-4)/(-8) + 5/2. Let w be 9/g + 0 + 0. Suppose 5*j = -4*q - 17, q - w + 6 = 0. Which is bigger: j or -2?
j
Suppose 35 = 3*x - 13. Let g(z) = z**2 + 7*z. Let r be g(-6). Let t be x/6 + 4/r. Is 2 smaller than t?
False
Suppose -3*u - 5*n - 25 = -0*u, 4*u + 2*n + 10 = 0. Let h be 10/(-35) + 1642/(-35). Let f = 47 + h. Which is smaller: u or f?
f
Let r be 9/(-30)*10/12. Let n(a) = -a. Let m be n(-1). Let k = m + 0. Do k and r have the same value?
False
Let l be (-2)/6 - 11/(-15). Suppose j + 2 = 3*y + 4, 3*y - 2*j = -4. Is y at least l?
False
Let k(j) = -j**3 - 7. Let b be k(0). Is b greater than -7?
False
Let n(l) = l**2 - l - 1. Let k(j) = -j - 1. Let c be k(-3). Let x be n(c). Let d be 24/(-234)*6/4. Which is smaller: d or x?
d
Let z be 2/3 + 3/9. Let x(t) = 2*t**3. Let n be x(z). Let s be n + -2 - 9/(-15). Which is bigger: s or 0?
s
Let s(o) = -2*o - 6. Let m be s(-5). Let g be (-10)/m*20/25. Suppose 0 = -4*w + 3*q - 2, -5*w = -q + 10 - 2. Is w <= g?
True
Let o = 13 + 2. Is 13 at most o?
True
Suppose b - 72 = 2*b. Let h be 5/20 + 15946/b. Let x = h + 221. Which is bigger: -1 or x?
x
Let v be (-1*5 - 14/(-7))*3. Which is greater: v or -2?
-2
Suppose 0 = -9*w + 4*w + 20. Suppose -w*z = 3*l - 2, -2*l = l + 2*z - 4. Which is bigger: l or -2?
l
Let m(l) = -l**3 - 4*l**2 + 15*l + 9. Let x be m(-6). Is x less than or equal to 4?
True
Let v = -272/7 - -39. Let l(i) be the third derivative of -i**6/120 - i**5/12 + i**4/4 + 2*i**2. Let u be l(-6). Are v and u unequal?
True
Let y(v) = v**2 - 4*v - 2. Let p be y(4). Let s be 561/p*(-9)/(-12). Let t = -210 - s. Does 1 = t?
False
Suppose x - 1 = 2*x. Let q = -224694/377 + 596. Let l = q + -1117/2639. Which is bigger: l or x?
l
Let o be (0 - 1)/((-8)/(-6)). Let d be (1 - -2)*(-10)/15. Which is greater: o or d?
o
Suppose 3*x = r + 9, -4*r + 7 - 19 = -4*x. Let u = -2.8 + 3. Let v = -0.1 + u. Which is greater: v or r?
v
Suppose -