*z = -7*z. Is -2/17 bigger than z?
False
Let s be 4*2/(4*1). Let h(f) = f - 4. Let o be h(8). Let b = o + -1. Which is smaller: s or b?
s
Let h(g) = -3*g - 3. Let t be h(-2). Suppose k + 1 = 12. Suppose -2*p = -w + 11, 6*w - 2*w + k = -3*p. Are w and t equal?
False
Let o(w) = w**3 + 3*w**2 + w. Let k be o(-3). Which is smaller: -6 or k?
-6
Let l be ((-8)/(-12))/(2/9). Suppose l*o = 11 - 2, -4*w - 4*o = -16. Which is bigger: w or 4?
4
Let a = -7 - -4. Let u = a + 4. Is -1 at least as big as u?
False
Let b be 42/110 + (-2)/10. Which is bigger: b or 5?
5
Let r = -323 + 1285/4. Which is smaller: r or -2?
-2
Let v = 4 + -19. Let f = v - -9. Let z = f + 8. Is 2 less than or equal to z?
True
Suppose -m + 28 = -20. Let k = m + -145/3. Let d = -3.51 + 3.5. Which is smaller: k or d?
k
Let i = -13 - -9. Let w = -4 - i. Is w greater than or equal to 3/7?
False
Let u be (4/(-3))/(20/(-15)). Let k be (-4)/(-6)*3/(-7). Which is smaller: u or k?
k
Suppose -w = w. Which is smaller: w or 1/3?
w
Suppose -10 = 2*o + 28. Is -5 > o?
True
Let l = 0 + -12. Let k = l - -8. Is -4 less than k?
False
Suppose -2*m + 4 = -6. Suppose k = -4*p, 0 = -3*p - 2*p - m*k - 15. Is 2 bigger than p?
True
Let i be 16/(-40) - 4/(-10). Suppose i = -3*b - 0*b + 21. Is 20/3 > b?
False
Let s(a) = -a**3 + 4*a**2 + a - 5. Let x be s(4). Let d(i) = 4*i**2 + i**2 + 0*i**2 - 7*i**2. Let j be d(x). Which is smaller: j or -4/3?
j
Let f = 158803039/89866764 + -1/4992598. Let m = 2/117 - f. Suppose 0 = 2*r + 10, -3*s + r + 1 = -r. Which is greater: m or s?
m
Let o be ((-43)/(-3))/((-1)/2). Let v = 29 + o. Which is smaller: v or -0.5?
-0.5
Suppose -1 = 2*x + 13. Let o be ((-8)/(-12))/(10/(-105)). Is o >= x?
True
Let x = 0.096 + 54.904. Let k = -60.1 + x. Let g = k - -5. Is 2/3 smaller than g?
False
Suppose -4*y = 2*u + 8, y + 2 - 5 = -3*u. Which is smaller: -2 or y?
y
Let t be 4*-22*(-3)/24. Let i(b) = b - 10. Let k be i(t). Which is bigger: 1/3 or k?
k
Let j = -0.1 - -0.1. Let r = 6 - 5.99. Let i = -0.11 + r. Is j greater than i?
True
Let g be ((-4)/(-36))/(1/6). Is g at least 2?
False
Let y be (80/15 - 5)/(1/21). Which is smaller: 6 or y?
6
Let d = 5 + -4. Let m(j) = j**3 + 6*j**2 + 6*j + 7. Let y be m(-5). Let a be ((-2)/(-1))/y + -1. Which is bigger: a or d?
d
Let s(r) = -r - 15. Let a be s(-13). Do a and -1 have the same value?
False
Let c = -1 - -2. Let t(u) = -u**2 - 3. Let d be t(0). Let j = d + 3. Is c at most as big as j?
False
Let x(a) = -2*a + 5. Let i be x(-7). Let b(y) = -y**3 + 6*y**2 - 5*y + 4. Let v be b(5). Suppose -5*p = -v + i. Which is greater: -1 or p?
-1
Let d = -16 + 9. Let g = d - -6.97. Is g greater than or equal to 1/3?
False
Let r = -9 - 1. Which is smaller: -1/4 or r?
r
Let a(t) = -12*t + 12. Let p be a(9). Let h be 2/(-3) - 76/p. Is 0 greater than h?
False
Suppose 0 = -5*c - 0*c + 15. Suppose l - 2*l + c = 0. Let d be 4/30*(2 - l). Which is smaller: -1 or d?
-1
Let u(z) = z**2 - 6*z - 9. Let k be u(7). Let y be ((-6)/k - 2)/1. Which is bigger: y or 5/8?
y
Let a(f) = f**2 - 10*f - 9. Let t be a(11). Let v be 44/16 - (-1)/4. Let n = 0 + v. Which is bigger: t or n?
n
Suppose -6*m = -11*m + 35. Is 4 greater than or equal to m?
False
Let v = -2.7 - 0.1. Let z = v - 0.2. Let b = 0.9 + -1. Which is bigger: b or z?
b
Let b = 103 - 304/3. Which is greater: b or 1?
b
Let n be (2*5)/(3/9). Suppose 0 = -k - d - 10 - 0, k + n = 3*d. Let c be (1/(-15))/((-5)/k). Which is smaller: 0 or c?
c
Let v be (-4)/(-26) - (2 - 72/39). Let m = -0.37 - -0.07. Let a = m - -0.1. Is v at most a?
False
Let w = 3 - -7. Which is bigger: w or 9?
w
Let q(z) = z**2 + 8*z + 8. Let r be q(-7). Which is greater: r or -4/15?
r
Let r be ((-1)/2)/((-1)/6). Suppose -r*j = -j - 10. Which is smaller: 1 or j?
1
Let z be ((-2)/12)/((-2)/(-8)). Suppose 2*i + 2*a = 7*a - 15, -5*i - 4*a + 12 = 0. Suppose 4*c - m - 3*m = i, 0 = -5*c - 2*m. Which is greater: z or c?
c
Let x = -88 - -132. Let z be (2/x)/(1/(-24)). Is -2 smaller than z?
True
Let s(u) = u**2 + 10*u. Let a be s(-10). Is a greater than or equal to 0?
True
Let y be (-2)/3 - (-2)/(-6). Let b be ((-2)/(-4))/(y/(-4)). Let c(l) = -3*l + 13. Let h be c(4). Which is smaller: b or h?
h
Let v = -5 - 3. Let g = 2 - 11. Which is greater: g or v?
v
Let z = 30 + -208/7. Suppose -4*v = -10 + 6. Which is bigger: z or v?
v
Let v = -5299 - -47861/9. Are v and 18 equal?
False
Suppose -5*i + 4*z - 7 - 4 = 0, i - 3*z = 0. Let d = 22 + -24. Let a = i - d. Is -1/3 at least a?
True
Suppose 0 = r - 3 - 1. Let g = 109/2 - 52. Which is smaller: r or g?
g
Suppose 3*z + 3 = p - 1, 0 = 3*z - 3*p + 6. Suppose 0 = 4*k + 3*m + 16, -4 = -4*k - m - 12. Is k bigger than z?
False
Let d be 26*(15/6 - 2). Suppose 4*a + 5*p = d, -p - 7 = -5*a + 2*p. Is a bigger than 2?
False
Let n be 6/6*2/2. Let g = 1/84 + 143/2100. Let l = 33/100 - g. Which is smaller: l or n?
l
Suppose f - 2*n = 0, -5*n = f + 4*f + 45. Which is smaller: f or 0.3?
f
Let w = 12 - 8. Let g = -1 + 11/3. Do g and w have the same value?
False
Suppose 4*i - 43 - 17 = 0. Let w be (-9)/i - 111/(-135). Which is bigger: 0 or w?
w
Let m = 20 - 19. Let f(w) = -10*w**3 + 1. Let g be f(m). Is g at most as big as -8?
True
Suppose 26 - 26 = -2*j. Is -1/29 <= j?
True
Let c be ((-6)/(-9))/(4/6). Let y be c*-2*2*-1. Is y at least as big as 4?
True
Suppose 5*m = m + 20. Suppose -5*k - m = -20. Let a(b) = b**3 + 7*b**2 - 9*b - 7. Let p be a(-8). Which is smaller: k or p?
p
Let c = 35 + -14. Suppose -b - c = -0*b - 5*j, -2*b = 3*j + 3. Is -7 > b?
False
Let u = 132 - 137.9. Let a = u - -6. Which is greater: a or -0.4?
a
Let o = 7.03 + -7. Let i = 0.23 - o. Let s = 0.3 + i. Is 0.2 > s?
False
Let n be ((-2)/(-12))/((-7)/27). Let k = 3/14 + n. Is k at most as big as -1?
False
Let w = -1.8 + 1.9. Which is bigger: 21 or w?
21
Suppose 4*a + 2*b = 6*b + 108, -4*b = 3*a - 102. Let t be (-6 - -3)/(a/4). Which is smaller: t or -1?
-1
Let c = 20 + -29. Let d(m) be the first derivative of m**2/2 + 8*m - 2. Let b be d(c). Is -1/4 at least b?
True
Suppose -c + 8 = 3*z, -2*c = 3*z - 4*z + 12. Suppose 3*a = z*a. Which is smaller: a or 0.1?
a
Let t = 518/11 - 47. Which is smaller: 1 or t?
t
Let v = 5.4 + -5. Let h = v - 1.4. Let a = -19 + 94/5. Is h <= a?
True
Let q = -5 + 7. Let l(k) = -k**2 - 5*k + 6. Let t be l(-6). Suppose 2*x + 4*b + q = 5*x, t = 4*x - 2*b + 4. Are x and -3 unequal?
True
Let g = 2.03 - 0.03. Let d = -4 + g. Let u = d + 2. Which is smaller: u or -1?
-1
Let d be 15/(-13) + (7 - 6). Is 0 <= d?
False
Let o be ((-1)/(-3))/((-13)/(-1)). Let j = -85/273 + o. Let c = 42 + -43. Is c less than j?
True
Let i be 1/(-2)*((7 - 3) + -6). Which is greater: 13/7 or i?
13/7
Let o be (720/(-196))/6*7. Which is bigger: -3 or o?
-3
Suppose -4*r + 11 + 1 = 0. Suppose 2*l + r*b + 9 = -2*b, -b = 2*l - 3. Let j be 3/2*1*2. Is j less than or equal to l?
True
Let j = 0.6 - 1.1. Let k = j - 0.5. Is -1/4 at most k?
False
Let x = -15 + 9. Is x < -5?
True
Let w(o) = o**2 + 7*o + 8. Let b be w(-6). Let k be 42/24 - ((-36)/(-16) - 3). Do b and k have different values?
True
Suppose 0 = -3*d + k - 6 - 0, -5*d - 10 = -3*k. Is -9/11 <= d?
False
Let g = 15 + -23. Let f = -6 - g. Are 3 and f equal?
False
Let v be -1*(146/48 - 3). Which is greater: v or 1?
1
Let s(n) = -n**3 - 4*n**2 - 6*n - 10. Let a be s(-3). Are -14/9 and a equal?
False
Suppose -3*g + 3 = -2*g. Suppose -g*v + 1 = -2. Suppose 5*z = 2*z. Which is bigger: v or z?
v
Let o = 2.6 + -3. Let y = o - -1.4. Let q = 0.1 - 0.1. Which is smaller: y or q?
q
Let j = 0.9 + 1.1. Is -0.02 at most j?
True
Suppose -4 = -2*b - 4. Which is smaller: b or -1/108?
-1/108
Let j be (-323)/51 + (-2)/(-6). Which is smaller: -54/11 or j?
j
Let q = -1 + 2. Which is smaller: q or 2/39?
2/39
Suppose 0 = -4*l - 71 + 195. Which is greater: l or 30?
l
Let o = 0.2 - -5.8. Let d = -8.9 + o. Let g = 3 + d. Which is smaller: g or -1/3?
-1/3
Let p = -0.78 - -0.5. Let y = p - -0.3. Is y greater than or equal to -2/5?
True
Let t = 61 - 425/7. Let r(f) = f**2 - 2. Let l be r(2). Let w be 11/55*10/l. Is t less than w?
True
Suppose -211*s = -208*s. Let w = 3/14 + 2/7. Are w and s nonequal?
True
Let z = 993197/9495 - 4/1899. Let a = z + -105. Is a greater than -1?
True
Suppose -5*c = -2*u, -6*c + 2*c - u = 13. Suppose -2*x - 2*x - 4*b + 32 = 0, 3*x = -2*b +