5 = -15, -3*l - j = -z. Is z less than h?
False
Let n = 5 - 3. Let o = n + -2.1. Is -8 at most as big as o?
True
Suppose 0 = -4*f - 37 + 101. Let l = f - 11. Suppose 5*t - l = -15. Which is smaller: -5/2 or t?
-5/2
Let s be ((-7)/4)/((-19)/4 + 5). Let j = 28 - 55/2. Which is bigger: j or s?
j
Suppose 10*n = 8*n - 18. Which is bigger: -8 or n?
-8
Let q = 4 - 4. Suppose q = 3*w + 6 + 3. Let f be (4/w)/(2 - 0). Which is bigger: f or 0?
0
Let f(j) = j + 5. Let u be f(-7). Which is bigger: u or -3?
u
Let t be (-2)/(-3) + 2 + -2. Suppose -g - 5 = 3*k, k + 0*k = -3*g + 1. Which is greater: k or t?
t
Let h(u) = u - 3. Let c be h(7). Suppose 13 = -c*z + 53. Which is smaller: z or 11?
z
Let s = 9 - 5. Suppose w - s = 1. Which is greater: w or 3?
w
Let a = 3 - -6. Let s be 1 - -2*a/(-6). Let d be (4/6)/(s/6). Which is greater: -3 or d?
d
Let c(l) = l**2 - l - 1. Let t be c(-1). Let h(n) = n**3 - 4*n**2 + 4*n - 1. Let y be h(3). Suppose y*m = -2*r - 0*r, 15 = 2*r - m. Which is smaller: r or t?
t
Let f be 8/(-20) + (-6)/10. Let j = 1 - f. Let s = j + 1. Which is bigger: s or 2?
s
Suppose -5 = -4*u + 11. Suppose -u*t + 10 + 2 = 0. Let p = 372/5 - 74. Is p smaller than t?
True
Let c = 22 + -20. Let a = -1 - -1. Which is greater: a or c?
c
Let x be ((-5)/35)/(4/(-14)). Let j = 0.2 + -0.2. Is x less than j?
False
Let o be (33*(-3)/42)/((-7)/(-14)). Is -5 less than o?
True
Suppose -2*j = -8, -r + 4*r + 5*j + 115 = 0. Does r = -45?
True
Let r = 15 + -28. Does -13 = r?
True
Let h be 3/(2 + 105/(-48)). Which is smaller: -15 or h?
h
Let l be (4 - -1)*(-1)/(-5). Is 0.19 != l?
True
Let v = 6 + -5. Is v at least as big as 2?
False
Let b(r) = r**2 - 4*r - 4. Let f be b(5). Do 3/17 and f have the same value?
False
Let q = 3 - 3. Is q >= 17?
False
Suppose 0 = 5*n + g + 6 - 1, 0 = 4*g + 20. Suppose 10 = -2*m - 0*m, -j - m = n. Which is smaller: j or 6?
j
Let x be -13 + -65 - (2 + -4)/1. Which is smaller: -75 or x?
x
Let w be -2*1/((-2)/(-9)). Let p be 1 - (-1 + (-12)/w). Does 0 = p?
False
Let j(z) = -7 + 4*z - 3*z + 0. Suppose 11 = 4*f + l, 4*f - 7*l + 4*l = 31. Let v be j(f). Is -4 at least as big as v?
False
Let l be -10*6/36 + 2/2. Let k = -2.9 + 3. Are l and k nonequal?
True
Let u be (5 + -3)/(-2) - -1. Suppose 0 = a + 2*a - 2*r + 6, 4*a + 2*r - 6 = u. Let m be a - (3 - (-34)/(-12)). Which is greater: 0 or m?
0
Let c be -2*-3*(-5)/(-30). Let v = -5 - -7. Suppose -d + v + 0 = 0. Which is smaller: d or c?
c
Suppose 3*b + 18 - 54 = 0. Suppose 2*z = x - b, -3*z = -2*x - 2*x + 38. Do x and 9 have different values?
True
Let o = 3 + -1. Let m = o + -3. Is -0.3 bigger than m?
True
Let a be (-28)/(-6) - 4/(-12). Suppose a*z - 15 = -5. Is z >= 4?
False
Suppose -2*x + 84 = 4*n - 0*x, -4*n + 3*x + 74 = 0. Let t = 17 - n. Which is bigger: t or 0?
0
Let i be (-1 - -2) + (-1 - -2). Let b(c) = -c**3 + c**2 + c - 1. Let x be b(i). Is x < -4?
False
Suppose q = 6*q - 10. Suppose c = 2*a + 16, c = q*c + 3*a + 9. Which is smaller: c or 7?
c
Suppose 2*r - 4*r = 8. Suppose 2*c + 3*u = -22, 50 = -5*c + 5*u - 5. Let v = c - -7. Is r greater than v?
False
Let q = 4/67 + 121/1340. Let h = 2/5 - q. Is h >= 0.1?
True
Suppose 3*i = -35 - 4. Let r = i - -21. Suppose 0 = -3*a + r*a + 5. Is a <= 0?
True
Suppose 4*g - 1 - 20 = 3*o, 5*g - 27 = 4*o. Let m = g - 3. Suppose m = -6*k + k + 20, 4*k - 14 = -2*f. Which is bigger: f or 1/5?
1/5
Let o = -0.5 - -0.4. Let k = o - -0.1. Let l = -1.97 - 0.03. Which is greater: l or k?
k
Let q = -18.5 + 20. Let h = -1.5 + q. Let w = -2 + 3/2. Is h less than w?
False
Suppose -3*m = 1 - 4. Let c = -1 - -4. Let s = c - 5. Do m and s have the same value?
False
Let c be 8/(-36) + (-282)/675. Let d = -29777/75 - -397. Let w = c + d. Are w and -2/5 unequal?
True
Let y(z) = z**2 - 2*z - 1. Let p be y(2). Let x(s) = -2*s**3 - 11*s**2 - s + 8. Let q be x(-8). Let r be 3 + p + q/(-162). Which is greater: -1 or r?
r
Let r(h) = -2*h + 19. Let k be r(8). Suppose -3 = k*v - 6. Is v >= 1?
True
Let c(g) = -g**2 - 3*g - 2. Let s be c(-1). Suppose -z = 4, -v - 4*z + 0 - 13 = s. Which is smaller: 7/3 or v?
7/3
Let j = 179/5 + -36. Which is smaller: -1 or j?
-1
Let j = -5 - -3. Let d be 1*2/(1 + j). Is d != -3?
True
Suppose 8*c - 6 = 42. Do 4 and c have the same value?
False
Let j = -2.02 - -2. Let c = 31 + -215/7. Which is smaller: c or j?
j
Let h = -2381/2 + 1168. Let g = -23 - h. Suppose 2*w + 3*w = 0. Which is bigger: w or g?
w
Let n be 3/(-21) + 38/(-126). Which is bigger: n or -1?
n
Let v = -0.05 + 0.35. Let j = 0.2 - -0.02. Let g = j - 0.22. Which is bigger: g or v?
v
Suppose 5*m - 3*k - 4 = 6, 3*m - 12 = 3*k. Are m and -2/27 nonequal?
True
Let n(x) = -x**3 - 8*x**2 - 9*x - 12. Let i be n(-7). Let c = 4 + -2. Is c at most i?
True
Let i(p) = p**3 - 8*p**2 - 9. Let n be i(8). Let a be (n/(-6))/(6/(-32)). Which is bigger: -7 or a?
-7
Suppose -9 + 4 = -5*t. Let u be ((-32)/40)/(t/(-10)). Which is greater: 10 or u?
10
Let y = -2.8 + 3.8. Is y at most 1?
True
Suppose 13 - 1 = g - 5*p, 4*p = -3*g - 2. Let u be 5/10 - g/(-4). Let l = 1/2 - u. Which is smaller: 2 or l?
l
Let m(n) = n**3 + n**2 - 2*n + 3. Let f be m(0). Is -2 bigger than f?
False
Let h be 220/(-18) - 2*-1. Let y = h + 32/3. Let s be 9/3*(-3)/9. Which is greater: s or y?
y
Let p be 54/(-4)*(-110)/33. Which is smaller: 47 or p?
p
Suppose -c + 24 - 1 = 0. Which is bigger: c or 22?
c
Let d = 2.87 + 0.13. Let i = 3.4 - d. Is -1/4 equal to i?
False
Let j be (-3)/6 + (0 - 0). Let f(a) = a**3 - 6*a**2 + 3*a + 10. Let u be f(5). Which is smaller: j or u?
j
Suppose -2*s - 1 = -15. Is s less than -0.1?
False
Let w = 0 - 0.7. Let a = 0.75 + w. Let r = -0.04 + a. Is r >= -1?
True
Let l = -0.17 + -2.77. Let d = 0 + 0.06. Let z = l - d. Is z < -0.1?
True
Suppose 5*h - 2*h + 63 = 0. Which is smaller: h or -20?
h
Let d be (-6)/(-9)*18/4. Suppose 4*l = -5*y - 12, -2*y + d*y - 3 = l. Which is smaller: y or -2/15?
-2/15
Suppose -5*a = -4*a + 1. Let s(v) = 22*v + 13. Let c be s(-1). Does c = a?
False
Let o = -0.5 - -0.4. Let j = -0.1 - o. Let r = -1 - j. Which is bigger: r or -0.1?
-0.1
Let k(r) = r**2 + 4*r + 4. Let o be k(-3). Suppose 3*l = 5*s + o, 2*s + 0 = 4*l - 6. Is 16/7 at most l?
False
Suppose 0 = -s + 3*i + 1 + 6, -5*i = -5*s + 15. Which is smaller: -1/18 or s?
-1/18
Let v be (2908/(-156))/(2/12). Let z = v - -112. Let i = 16 + -17. Which is smaller: z or i?
i
Let h(z) = -z**2 - 4*z + 7. Let p be h(-6). Let i(b) = -b - 6. Let q be i(p). Which is smaller: q or 3?
q
Suppose 3*p = -0*p + 9. Let g(d) = p + d - d + d. Let s be g(-2). Which is smaller: s or 2?
s
Suppose -2*b - 2*f + f - 8 = 0, -3*b = -5*f + 25. Let h(z) = 2*z + z**3 + z - 11 + 6*z**2 + 0*z**3. Let o be h(-5). Does b = o?
False
Let b(v) = 2*v - 24. Let a be b(6). Which is smaller: a or -10?
a
Let k be (0 - -2) + -3 + -2. Let g be k/9*-3 + 0. Suppose -g = j + 1. Is j greater than or equal to -3?
True
Suppose 5*x - 3 = 2*x. Let r be 2/9 + 112/468. Which is smaller: x or r?
r
Let z(y) = -y**3 - 4*y**2 - 3*y - 7. Let b be z(-4). Let k = 0.2 + -0.2. Which is greater: k or b?
b
Let r = 59 + -59. Which is greater: 0.1 or r?
0.1
Let x(k) = 3*k**3 - 2*k**2 + 5*k - 3. Let o be x(1). Is 2 smaller than o?
True
Let d = 3 - 4. Let q = 247/25 + -49/5. Is q smaller than d?
False
Let g(t) = -t**3 - 9*t**2 + 10*t - 1. Let d be g(-10). Let c = d - -1. Do 6 and c have different values?
True
Let p(x) = x**2 - 5*x + 5. Let o be p(4). Suppose -2*a + 3 = 15. Let n be (-9)/(-39)*(-4)/a. Does o = n?
False
Let t(s) = -s**3 + 10*s**2 + 3*s + 14. Let m be t(10). Suppose 0 = -3*u - 3*k - 42, -12 - m = 4*u - k. Is u <= -14?
True
Let l = -1 + 1. Suppose 3*u - 5 = 2*h - 3, 12 = u + 5*h. Suppose -m + 1 = -u*m. Which is greater: m or l?
l
Let k be (3 - 10)*(-4)/(-2). Let m be ((-4)/10)/(k/(-10)). Is 0.2 less than m?
False
Let j be (3 + (-11)/3)/18. Does 0 = j?
False
Suppose 4 = -2*d, 6*d + 2 = -h + 3*d. Suppose -3*v - h*g = 30, -4*v + 7*g - 40 = 2*g. Let r be v/3*12/(-10). Is 3 less than r?
True
Let s be ((-1)/2*-2)/4. Let d = -3 - -2. Which is greater: s or d?
s
Let a = 4 + 1. Let g = 0.08 + 0.02. Which is smaller: g or a?
g
Let o = 0 - 4. Let t(z) = -3*z**2 + z - 1. Let s be t(1). Is s equal to o?
False
Let j = -201 + 201. Let t = 0.09 + 0.06. Is j at most t?
True
Let m be (-1 - 1)/((-4)/(-34)). Let p