(-72)/(-180) + (636/10 - 0). Is 64 smaller than l?
False
Let c(f) = f**2 - 4*f + 7. Let h be c(5). Suppose 4*u = 4*j - h, 12 = 3*u + 3*j + j. Suppose -3*z + 1 + 2 = u. Does 1 = z?
True
Let a be 99/(-6) - (-2)/4. Let l be (-12)/a + (-42)/(-8). Are 6 and l equal?
True
Let h = -37 - -7. Which is greater: h or -31?
h
Let u(a) = a**2 - 3*a - 3. Let h be u(3). Is h less than -5?
False
Let l = 17/8 + -69/40. Which is bigger: 1 or l?
1
Let c = 4 - 4.2. Let u = 0.9 + c. Let v = u - 0.6. Are -2 and v nonequal?
True
Let v be ((-1)/5)/(14/(-455)). Is 6 at most as big as v?
True
Let i = 4/11 - 6/77. Suppose -6 = -4*m - 2. Which is smaller: m or i?
i
Let y = -373 - -373. Let h be (-2)/4*(0 - 0). Is h <= y?
True
Let g = -21 + 29. Let p(z) = z**2 + 2*z. Let s be p(-3). Suppose -2*y - g = -5*m + y, 4*m + y = s. Are 1 and m non-equal?
False
Suppose 3*w + 0*w + 33 = 0. Let r = w + 7. Suppose 0*d - d - 4 = 0. Is r at least as big as d?
True
Let b = 6 + -4. Let s(v) = v**3 + 8*v**2 + 8*v + 8. Let p be s(-7). Which is greater: p or b?
b
Suppose 2*z + 3 = -0*x - x, 2*x = 2*z - 6. Which is smaller: -2/7 or x?
x
Let a be 4/6*18/(-36). Which is bigger: -4/17 or a?
-4/17
Let m(n) = n - 1. Suppose 5*l + 4 + 1 = 2*h, 5*h = -2*l + 27. Suppose 0 = -5*z - u - h + 12, 0 = 5*u - 10. Let i be m(z). Is 2/9 less than i?
False
Suppose 0 = 3*h + 3*w - 4 - 8, -4*h + 14 = 3*w. Let t be (-4 + 2)/(h - 0). Is t at least as big as -1?
True
Let u(t) = 4*t + t**2 - 1 - 2*t**2 + 0 + 0*t**2. Let s be u(3). Which is bigger: s or 3?
3
Let j be (-7)/(-49)*-3 - 25/(-91). Let h(s) = -s**2 - 3*s - 1. Let b be h(-2). Which is greater: b or j?
b
Suppose 0 = -3*i - 2*j + 4, -4*i - 2*j - 3*j + 17 = 0. Let q be (i - 14/(-8)) + 0. Which is greater: -0.1 or q?
-0.1
Let r be -17 + (-1)/(4/(1 - 5)). Are r and -17 equal?
False
Let o be (2/(-2))/(4/(-12)). Suppose g = -o*g. Is g != -1/8?
True
Let h be 2*(-2)/(-4)*1384. Let v = h + -70582/51. Which is smaller: v or 1?
v
Let c be 24/10 - (-4)/(-10). Suppose -4 = -3*z + 2*u + 2, 4 = 2*z - c*u. Suppose 0 = 4*j + 5*g - 19, g - 3 = -2*j + z. Which is bigger: j or 0?
j
Let x(v) = 0*v - 3*v + 0*v. Let r be x(-3). Suppose 2*p = -p - r. Is p equal to -4?
False
Let c = 4.8 - 5. Let i = -2.7 + 3. Let g = c + i. Which is bigger: -1 or g?
g
Let o = 277 + -821/3. Is o < 4?
True
Let n = -1.5 - -0.6. Let u = -0.7 - n. Which is smaller: -1 or u?
-1
Let k = 1.038 + -0.038. Is k <= 27?
True
Let j be (1/(-3))/(10/84). Which is smaller: j or -3?
-3
Suppose -2*z + 0 = 10. Let w(p) = p + 3. Let m be w(z). Let j = 1231/6 + -206. Is m bigger than j?
False
Let r(x) = 4*x**3 + x**2. Let i be r(-1). Let d be (i/(-6))/(14/(-12)). Let v(a) = -2*a + 3. Let l be v(2). Which is bigger: l or d?
d
Let t = -12/11 + 16/55. Let r = 0 + 0. Suppose a = -r*a. Is a > t?
True
Let k(s) = -s - 2. Let q be k(-2). Which is smaller: q or -4/5?
-4/5
Let w = -1881/35 - -273/5. Suppose 5*i - 12 + 7 = 0. Is i greater than or equal to w?
True
Let x = 113/46 + -31983/230. Let f = x + 137. Do -1 and f have the same value?
False
Let h(u) = u**2 + 4*u - 1. Let f be h(-3). Suppose s + 2 + 1 = 0. Which is greater: f or s?
s
Let m = -1.8 - 0.2. Let b = -205565/42 - -4894. Let r = -2/21 + b. Which is bigger: m or r?
r
Let b be ((-3)/9)/((-8)/(-72)). Is -3 equal to b?
True
Suppose 3 = -w - 3*b, -b + 3 + 28 = 3*w. Is 8 greater than w?
False
Let f = -15 - -14. Which is greater: -9 or f?
f
Let g(l) = 3*l - 6. Let p be g(4). Let h be ((-12)/14)/(p/4). Let y be (((-1)/(-1))/(-1))/1. Which is smaller: y or h?
y
Let j be 24/10 + (-2)/5. Suppose 3*s = -j*s - 25. Which is smaller: s or 0.1?
s
Let v = 2.3 - 2.4. Are v and -3/8 non-equal?
True
Let n be (2 + (-6)/8)*(-4)/1. Let c be (-8)/(-10)*(-10)/(-4). Suppose -2*b - 8 = m, 0 = 4*b - 2*b - 4*m - c. Which is greater: n or b?
b
Suppose s + 5 = 6*s. Let l be 4*((-2)/s - -3). Suppose 0*i - 4 = 4*i + g, -i + g = -l. Which is greater: 1/2 or i?
1/2
Suppose 257 + 303 = 10*x. Which is smaller: x or 55?
55
Let r be -3 - (-21 + 2) - -1. Let f(u) = -4*u - 7. Let w be f(-6). Is w smaller than r?
False
Let x = 29/50 - 2/25. Let l be (3 - -2)*3/5. Let f be (-2)/(-3) + 4/l. Which is greater: f or x?
f
Let i = 1/3537 + -484571/7074. Let y = i + 67. Let w = -41/15 + 12/5. Is y at least w?
False
Let v = -4.08 + 0.08. Let t = 2 + v. Which is bigger: 1 or t?
1
Let z be 3/12 + 125/(-380). Does z = -1?
False
Suppose 0 = -3*j + d + 3 - 2, 5*j + 2*d = -2. Let p = 0 + j. Let x be -2 + (p - 21/(-12)). Is x at least 1?
False
Let h(t) = -t + 4. Let v be h(7). Let r be (-1 + -5)/(12/v). Which is bigger: r or 2?
2
Let r = 2/105 - -4/15. Is -12 bigger than r?
False
Let i = 7.7 - 8. Let p = -4 - -4.5. Let g = p + i. Which is smaller: -0.1 or g?
-0.1
Suppose q = -q - 16. Let s = -4 - q. Suppose -l = 2*l - 9. Which is smaller: l or s?
l
Let i be (-4 - 57/(-15)) + 12/10. Is -2/39 > i?
False
Let k = 62 + -63. Is -6/29 smaller than k?
False
Let d = -2928/11 - -266. Which is bigger: 2 or d?
2
Let t = -137/72 + 16/9. Suppose -i - 3*i = 5*s + 22, -i - 18 = -5*s. Let c = 9 + i. Is c greater than t?
True
Let k be 88/(-72) - 2/(-9). Which is greater: k or -2?
k
Let r = 16 + -15. Let c = 1483 - 4411/3. Let p = 149/12 - c. Which is bigger: p or r?
r
Let r be -3 + 6/(-213) - -3. Which is greater: r or -1?
r
Let j(p) = p**2 - 8*p - 8. Let r be j(9). Suppose 5*d - r = -s - 20, -9 = 3*s + 3*d. Which is smaller: s or -2?
-2
Let x(k) be the third derivative of k**5/60 - 5*k**4/24 - k**3 - 6*k**2. Let f be (7 + -3)*(-6)/(-4). Let s be x(f). Which is smaller: -1/2 or s?
-1/2
Let p = 1 - -1. Let v be -1 - (-1 + (p - 1)). Let i(u) = -u**3 + u**2 + u + 1. Let l be i(2). Are v and l unequal?
False
Let h be (-4)/(-10) + 230/50. Is h <= 4?
False
Let o = -1 + -1. Let j(d) = -d + 6. Let i be j(6). Suppose 0 = 2*m - i*m + 6. Which is smaller: o or m?
m
Let c = -8 + 9. Let w(p) = 2 + p**2 + c - 3. Let t be w(0). Is 2 >= t?
True
Let n be (-8 - -2)/(30/4). Let q(p) = p + 10. Let i be q(-8). Suppose g = i*g. Which is smaller: g or n?
n
Suppose 0 = b - 2*b - 5*t + 25, t = 2*b + 5. Is -1 > b?
False
Let z(x) = 85*x**3 + 2*x**2 - x. Let p be z(1). Suppose -5*v - j + 43 + p = 0, -3*v - 2*j = -76. Let d be v/(-15) + 4/10. Which is smaller: 0 or d?
d
Suppose 0 = -3*i + 5*w + 2, i + 4 = 2*w + 5. Let b be 1 + 18/22 + -2. Which is smaller: i or b?
i
Let g = 3518/253 - 152/11. Which is bigger: g or 0?
g
Let n(t) be the third derivative of t**4/24 + 3*t**2. Let f be n(-8). Is f smaller than -8?
False
Let t be (1 + 0)/(3/9). Let w be t/(-2 + -1 + 2). Let g = w + 5. Is 3/5 less than g?
True
Let q be (-42)/(-18) + 1/(-3). Let b = q - 6. Is b greater than -3?
False
Let r be (48/15)/((-1)/5). Let k be (34/r + 2)*-2. Let a = 4 + -3. Are k and a unequal?
True
Let h = -61/8 - -39/8. Is -3 less than h?
True
Let h be (-15 - -10) + 4 - 50/(-62). Are h and 0 equal?
False
Let q = -46 + 27. Let w = q + 18.9. Is -0.3 < w?
True
Let a = 0.3 - 0.8. Let d = a + 0.3. Let m = 25/2 - 121/10. Which is smaller: m or d?
d
Let j = 14.4 - 15. Let s = j + 0.4. Is -4 less than s?
True
Suppose -5*h + 12 = 3*j, 0*h - 4*j + 16 = -3*h. Are 4 and h non-equal?
True
Let k = -1 - 0. Let w = 25 + -26. Let a be ((-4)/(-14))/(k + w). Which is smaller: -1 or a?
-1
Let a be (-2)/4*(-48)/(-8). Which is smaller: a or 1/3?
a
Let b = -176/255 - -2/85. Which is smaller: -14 or b?
-14
Let n(x) be the first derivative of x**2/2 - 21*x + 6. Let h be n(11). Is h at least as big as -11?
True
Let u(g) = -g. Let b = -3 + 5. Let j be u(b). Let s be 0 - ((-5)/(-2) + j). Which is bigger: -1 or s?
s
Suppose 5*r = -3*x + 8*x - 5, 0 = -2*r + 3*x + 2. Let z = 5 + r. Let v be z - 1 - 3/1. Is v > -4?
False
Let u(x) = 2*x**2 - 4*x - 10. Let o be u(5). Do 20 and o have different values?
False
Let h = 28 - 13. Is 15 at least h?
True
Let v = -11 + 10. Let p(n) = n**2 + n - 3. Let l be p(0). Let q = 2 + l. Is v at most as big as q?
True
Let o(h) = -h - 7. Let f be o(8). Let t = f - -11. Suppose -26 = 2*y + 5*k, -4*y - 5*k = -0*y + 32. Is y greater than t?
True
Let p = -6.3 + 4.86. Let b = 1.5 + p. Which is smaller: b or -1/2?
-1/2
Let b(h) = h**2 - 6*h + 6. Let x be b(8). Are x and 21 equal?
False
Let z(y) = y**3 + 5*y**2 - y - 1. Let l be z(-5). Suppose 15 = 5*g + 5. Is g at least as big as l?
False
Let w be (-6)/28