 + 6 = -3*y - 2, 2*y + q = -5*r. Which is smaller: -4 or r?
-4
Suppose -5 = -5*d - 0*d. Suppose 5*o - 6 = -d. Let k be -1*(o + -3) + 7. Is k less than or equal to 8?
False
Let z(d) = 15*d - 3. Let n be z(1). Let k be (36/24)/(1/n). Is k > 18?
False
Let q be 58/348*(-2 - 1). Suppose 5*s = 2*s. Let b be -1 + (0 - (2 + s)). Is b not equal to q?
True
Let g(z) = z**3 - 11*z**2 + 10*z - 1. Suppose 3*n = -4*y - 0*y - 73, -3*y = 2*n + 50. Let v = 29 + n. Let a be g(v). Is -4/7 < a?
False
Suppose -2*r = 2*k + 29 + 39, 3*r - 33 = 2*k. Let l be (-2)/9 - 955/36. Is k smaller than l?
True
Let t be -2 - ((-4)/(-4) - 224/74). Which is smaller: -1 or t?
-1
Suppose -6*h + 2*h - 84 = 0. Let t be ((-14)/h)/(1/39). Suppose r + 6*x - 4*x + 10 = 0, 4*r = -x - t. Do r and -3 have the same value?
False
Suppose 4*v - v + x - 164 = 0, -5*x = -4*v + 187. Suppose 4*j + 4*d = 32 + 4, 5*j - v = -d. Suppose -40 = -4*h - 0. Which is smaller: h or j?
h
Let a = 14 + 1. Suppose y - 2*y = 3*j - a, -25 = -5*j - 5*y. Suppose q - 4 = -j. Which is smaller: q or -1/3?
q
Let y = 1203/7 + -173. Let p be (-4)/(-6) - (125/(-15) + 1). Let g be p/12 + 4/(-6). Is g less than y?
False
Let d(r) = r**3 + 8*r**2 - r - 5. Let l be d(-8). Let q be (20/(-14))/(2/l). Let c = -80/21 - q. Which is smaller: c or -1?
c
Let d = -27 - -27. Suppose -3*v + 2*w = -4*v - 2, 3*w = 3*v - 12. Suppose -v = -d*b - 2*b. Is 3/4 less than or equal to b?
True
Suppose 0*g = -o + 5*g + 78, -4*g - 256 = -3*o. Suppose -5 = -5*u, -3*h - 2*h = -3*u + o. Is h smaller than -17?
False
Let m be (11074/(-56))/((-3)/(-12)). Is m at least -790?
False
Suppose 0*a = 5*a - 60. Let t(c) = 2*c**3 + 2*c**2 - 6*c + 4. Let g be t(-3). Let d be g/a*(-3)/(-21). Which is bigger: d or -1?
d
Let q(m) = m**3 + 40*m**2 - 126*m - 79. Let a be q(-43). Is -208 at most as big as a?
True
Let y = -11033/1120 - 1/160. Which is bigger: y or -10?
y
Let q = 1.5091 - 0.0491. Which is smaller: q or 0.2?
0.2
Suppose 9*q + 4 = 7*q. Let n be 161/(-35) + q/(-10). Is -5 > n?
False
Let o = -230/21 + 1777/168. Let f = 0.25 - 0.3. Which is smaller: o or f?
o
Let p = -431/6 + 72. Suppose 4*u + 4*u = -16. Let y be (u - 1) + 7 + -5. Does y = p?
False
Let m = -42 - -42.63. Let r = 61.37 + m. Which is greater: r or 2/3?
r
Let y = -33.9 + 37. Let t = y + -3. Let i = 1.8906 + 0.0094. Is i at most as big as t?
False
Suppose 2*z - 7*z = 15. Let v(f) = -f**2 - 2*f + 4. Let p be v(z). Which is smaller: 0 or p?
0
Let j = -1 - 12. Let x be 12/(-4) + 4 - (6 - -8 - 2). Which is bigger: j or x?
x
Let c(q) = -3*q. Let l be c(-3). Let p = 73 - 37. Suppose -5*t + 9 = -p. Is t > l?
False
Let p(o) = -o**3 - 7*o**2 + 3*o + 7. Let r be p(-6). Let y = 31 + r. Let v = -7 + -7. Which is bigger: y or v?
v
Let a(w) = -5*w - 20. Let c be a(-3). Is c less than or equal to -45/7?
False
Suppose 2*q = -0*q - 32. Let l be 144/(-10) - ((-126)/(-35))/(-9). Which is greater: q or l?
l
Let q be 12*(2/(-3) - 0). Suppose u - 10 = 3*u, k - 4*u = 20. Suppose -5*a - c - 37 = 0, k = -a + c + c - 3. Which is greater: q or a?
a
Let a = 66477/4 + -16527. Which is bigger: 91 or a?
a
Suppose -2*h = i + 7, -3*i - 18*h - 17 = -13*h. Which is smaller: i or -2/41?
-2/41
Let k(z) = 7*z. Let u be k(2). Suppose d = -2*h - 13, 2*d = -h + 4*d - 14. Let r = u + h. Which is greater: 4 or r?
r
Suppose 55 - 79 = -4*s. Which is smaller: 15 or s?
s
Let z = 152 + -690. Is -0.1 > z?
True
Suppose 446 - 460 = 2*n. Which is greater: n or -0.08?
-0.08
Suppose 6*s - 10 = s. Suppose 0 = -4*g - 4*y + s*y - 8, 10 = 5*y. Which is bigger: g or -9?
g
Let z(i) = i + 8. Let s be z(8). Suppose 6*d - s = 2*d. Suppose 2*h = 4*h - d. Is h less than 1?
False
Let q be (-715)/15 + (0 - -7). Which is bigger: -41 or q?
q
Let f be 857/3436 + (1896/96 - 20). Which is bigger: -1 or f?
f
Let v(w) = -w**3 + 11*w**2 - 7*w + 3. Let i be v(7). Suppose 4*d + i = d. Let t be d/(-28) + -7 + 5. Is t < 1?
True
Suppose -2*d - 266 = -3*o, 5*o + 5*d + 77 - 537 = 0. Does o = 90?
True
Let g be (51/42 - (-2)/7)*40. Suppose o = -5*c + 290, 5*c + o = -2*o + 280. Which is greater: c or g?
g
Let t = -71.14 + 75. Let g = 4 - t. Let l = 0.84 - g. Is l bigger than 1?
False
Let k(c) = -2*c**3 - 2*c**2 + 2*c + 6. Let n be k(3). Let z be (-1360)/75 + (-8)/n. Is z < -19?
False
Let r be (1/(-2)*-2)/(12/(-2160)). Let x = r - -1622/9. Is 0 at least as big as x?
False
Let n be -1 - (28/21)/(-1). Let f = 4.04 - 0.04. Let m = 4.5 - f. Which is smaller: m or n?
n
Let o be 336/40 - (-2)/(-5). Let i(a) = a**2 - 8*a + 5. Let y be i(o). Suppose 2*j = 2*x - 6, 8 = -4*x - j + 25. Is y smaller than x?
False
Suppose s - 3*c + 187 = -7*c, 0 = -5*s - c - 1030. Which is greater: -208 or s?
s
Let a = -42 + 53. Suppose -a*x = -16 - 6. Let r be 16/7 + -1*1. Which is bigger: x or r?
x
Let b(t) = 3*t - t - 4*t. Let c be b(5). Let o = -12 - c. Do -2/3 and o have the same value?
False
Let r(c) = c. Let z be r(5). Is z equal to 5?
True
Suppose 0 = -30*y - 22*y. Which is greater: -1/1366 or y?
y
Let z = -27 - -18. Let y be (-3)/12 + z/12. Let u = -1 - y. Is u greater than 3/10?
False
Suppose -4 + 0 = -q. Suppose -71 + 15 = -q*b. Which is smaller: b or 13?
13
Let g = 166 + -476/3. Which is smaller: g or 8?
g
Let n(d) be the first derivative of -d**4/4 - 4*d**3/3 + 3. Let p be n(-5). Suppose -10*j - p = -5*j. Is j less than or equal to -5?
True
Let w = 19 + -17. Suppose -3*a = -0*a + w*j - 30, -2*a + 20 = -5*j. Suppose a*d + 5 = 5*d. Which is bigger: d or 1/20?
1/20
Suppose 5*n + 64 - 104 = 0. Which is smaller: n or 60/7?
n
Suppose 7*d - 9*d + 5 = 3*w, -3*w + 5*d - 23 = 0. Which is smaller: -1/144 or w?
w
Suppose 0 = p - 8*p - 5607. Let q be (p/(-93))/3 + (-6 - -3). Which is smaller: 1 or q?
q
Suppose -g = 3*g - 20. Let o(r) = 2*r**2 - 9*r - 3. Let c be o(4). Let q be 12/(-42) - 37/c. Is g equal to q?
True
Let x be ((-9)/4)/((-8)/160). Let i = x + -43. Which is smaller: 1 or i?
1
Let v = 26/731 - -1/43. Let d be (-1032)/(-1071) - (-4)/(-7). Let u = d - v. Which is smaller: 10 or u?
u
Suppose 0 = r + 1, -38*h + r = -43*h - 451. Do h and -92 have different values?
True
Suppose -2*r = 3*r - 3*b + 111, -103 = 5*r + b. Let g(d) = -d**3 - 21*d**2 + d + 21. Let v be g(r). Is -2/35 < v?
True
Let x = -43.23 + 43. Suppose 200*j + 21 = 193*j. Which is greater: x or j?
x
Suppose 4*h = -4*n, 3*h = 4*n + 6*h. Suppose n*l + l = 4. Suppose -3*t + 20 = -l*c, 2*c = t - 2*c - 20. Which is smaller: 2/43 or t?
t
Suppose 0 = 5*x + 2*w - w - 66, -4*x + 2*w + 64 = 0. Let j be ((-15)/(-20))/(3/x). Suppose 8*d - 3*d = 20. Which is smaller: d or j?
j
Let p = 3268 - 16096/5. Is 49 smaller than p?
False
Suppose 73 = -8*p - 79. Let w = 55 + p. Does w = 36?
True
Let s be (6 + -2 - 2)/5. Let i = -0.53 + 61.13. Let a = i - 61. Which is smaller: s or a?
a
Let n be (5/(-10))/(2/4). Let t = 2 - n. Suppose -63 + 21 = t*w. Is w greater than -14?
False
Let t = 418 - 778. Let r be 2/8 - t/(-32). Suppose 0*y + 50 = -5*y. Is y equal to r?
False
Let n = 71 - 67. Let l = 81 + -77.1. Let v = l - n. Which is bigger: -10 or v?
v
Let x = 50.9 + -52. Is 0.08 at most as big as x?
False
Let n be (5/27 - 0)*(-3111)/(-34). Let m = n - 95/6. Which is greater: 1 or m?
m
Suppose -4 = 3*s + 5. Let b(p) be the second derivative of -p**4/12 - 11*p**3/6 + 6*p**2 + 5*p. Let c be b(-12). Which is smaller: c or s?
s
Let v = 928.74 + 2.26. Is 0 equal to v?
False
Suppose -5*t + 175 = 2*d, -8*d - 131 = -3*t - 4*d. Let m = -181/5 + t. Is m != 0?
True
Let h be (-8)/2 + (24 - 56). Are -260/7 and h nonequal?
True
Let n be -1 + 3/(3/(-109)) + -4. Which is bigger: n or -112?
-112
Suppose 4*l = 54 + 42. Suppose -8*n + 83 = 11. Suppose 2*z = n + 37. Which is greater: l or z?
l
Let v = -9406 - -4975778/529. Is v > -1?
True
Let o = -228 + -70. Is -299 greater than o?
False
Let i = 0.7 + 0.3. Let f = 7819/4 + -7785/4. Is f at most as big as i?
False
Let n = 1 + -0.9. Let t(s) = -s**2 - 14*s + 17. Let v be t(-15). Suppose -v*o - 26 = -24. Which is bigger: o or n?
n
Let m = -9849 - -5919247/601. Is m less than or equal to -1?
False
Suppose -4*p = 3*m - 8, 4*m = 5*p - p + 20. Let j be (3 - 3)*p/2. Let u = 0.29 + -0.24. Is u <= j?
False
Let m be (2/(-55))/((-21)/(-15435)). Which is smaller: m or 1?
m
Suppose 4*m = k - 73, 3*k + 32 = -2*m - k. Let o = -15 - m. Suppose o*q - 3 = 6*q. 