uppose -z = 2*w - 2*z - 35, 3*w - 2*z - 50 = 0. Let s = w - 20. Which is bigger: s or -5/9?
s
Let q = 0 + 18. Let n be (-20)/(-36) - 4/q. Is -1 > n?
False
Let i be -1*(0 + 0 + 1). Let z(u) = u - 6. Let d be z(6). Let h = i + d. Are h and -1/7 equal?
False
Suppose 4 = 4*k - 5*k. Let v = k - -4. Suppose v*b = -b. Which is smaller: b or 1/2?
b
Let d = 13 + -8. Suppose 0 = -d*i + t - 103, -i - 4*i = 2*t + 94. Let u be 2/(-10) + (-4)/i. Which is bigger: u or 1/5?
1/5
Let d = -5 + 11. Is d < 5?
False
Let f be (4*1)/2 + 93/(-124). Is f at least 1?
True
Let p = -4 - -37. Do 32 and p have different values?
True
Let a(v) = -v**2 + 0*v + 5*v + 9*v - 11 - 2*v. Let o be a(11). Is 0 at least o?
True
Suppose -x - 2*v = 3, 0 = -3*x + 5*v - 50 - 14. Let a = -7 - x. Let z = a + -4. Which is bigger: 3 or z?
3
Suppose -3*c - 3*q - 24 = -0*c, 0 = -2*c + 5*q + 5. Let t be (21/9 - 3)*-3. Let b = c + t. Is -2 less than b?
False
Let s = 83/9 - 9. Let j = 0.1 - 0.1. Which is smaller: s or j?
j
Suppose 0 = 11*w - 253 + 33. Is w < 20?
False
Let f be -2*((-7)/2)/(-1). Let c be (f - 1)*(-5)/(-10). Which is bigger: -5 or c?
c
Let y = 5.5 - 5.9. Which is greater: y or 4?
4
Let q be 0/((-2)/((-4)/(-2))). Suppose 0 = -s - t - 2 + 8, q = 2*t + 4. Which is greater: s or 9?
9
Suppose 4*n + 5*p = 14, -2*p + 9 = 5*n - 0*n. Is n bigger than 0?
True
Let m = 21 + -21. Let u = -1 - -3. Let h = 1.9 - u. Is h greater than m?
False
Let i = -1.9 + 2.1. Which is bigger: 0 or i?
i
Suppose 0 = 2*q - 3*q + 8. Suppose c + 26 = 5*a + q, 0 = 2*c + 6. Which is bigger: 1 or a?
a
Let x = -4.3 - -9.3. Which is greater: -1 or x?
x
Let m be (-19)/38 - (-1)/(-14). Which is smaller: m or -2?
-2
Let t = -0.12 + 0.32. Let a = -0.5 + -0.5. Is t <= a?
False
Let r = -45910/5551 - 12/793. Which is smaller: -7 or r?
r
Let m = 10 + -22. Which is smaller: -0.2 or m?
m
Suppose 39 = 5*o - o - 3*s, 34 = 4*o - 2*s. Let j be 37/(-5) + (-6)/(-15). Let g = o + j. Is -1/5 equal to g?
False
Let t = 2.9 + -3. Let k = t + 0.2. Is -0.1 smaller than k?
True
Suppose -g = 8 + 5. Is -13 at least as big as g?
True
Let c be (-44)/36 + 4/18. Do c and -2/9 have different values?
True
Let w be 2/(-1 - (-6)/4). Let g be (0 - w - 3) + -1. Which is greater: g or -7?
-7
Suppose -5*p + 6 + 26 = u, 0 = 3*p + 2*u - 22. Let c(y) = 1 - p + y + 0. Let m be c(4). Is m less than or equal to -1?
True
Let u(h) = h**3 - 3*h**2 - 5*h + 4. Let k be u(4). Which is greater: k or 1?
1
Let n be ((-6)/15)/(78/328). Let r = 21/13 + n. Let q = 0 - 0. Which is smaller: q or r?
r
Let m(c) = -c**2 + 1. Let u be m(0). Let v = 758/7 + -108. Is u <= v?
False
Let x = 172 - 1208/7. Let i be 1/(-2 + -2 + 3). Which is smaller: i or x?
i
Let z be ((-1)/2)/((-2)/(-8)). Let v be (-1)/z*0/4. Let l be 1/(-1*6) - 0. Which is greater: l or v?
v
Suppose 0 = 2*n + 2*n - 12, -31 = 4*w - 5*n. Let l = -5 + 3. Which is greater: l or w?
l
Suppose -9 = k + 4*j, 0*k - 3 = -5*k + 4*j. Let z = k - -2. Suppose 0 = -2*i + 4*x, -3*i - x - z + 8 = 0. Which is greater: 1 or i?
i
Let o = 1 + -1. Let a = -2.7 - -0.7. Let w = a + -2. Which is greater: w or o?
o
Let h(a) = 3*a + 10. Let z be h(-3). Which is smaller: z or 4/41?
4/41
Let o = -0.285 - 2.775. Let s = o + 0.06. Let h = 2.9 + s. Is h < 0.1?
True
Let y(s) = -s**3. Let b be y(1). Let a be 2/(-2)*8/20. Is a less than or equal to b?
False
Suppose -5*y - 10 = -2*c, -y + 15 = 7*c - 4*c. Let j = -2 - -2.2. Let p = j + -0.3. Is p at least as big as y?
False
Let t = -4 - -14. Suppose -n = 4*n - t. Suppose n*q - 6*q = 0. Is 0 less than or equal to q?
True
Let a be ((-33)/27 + 10/45)*-1. Do a and 2/23 have different values?
True
Let z(k) be the third derivative of -k**6/120 - k**5/10 + k**4/24 + k**3 - k**2. Let w be (6/5)/((-2)/10). Let y be z(w). Which is smaller: y or 2/9?
y
Let o = 0.2 + -0.13. Let w = o + -0.03. Let r = w + -0.24. Which is greater: r or 0.3?
0.3
Let m = -12 + 15. Do 2 and m have different values?
True
Let j = 6/4361411 + -152322279493/231154783. Let b = j - -659. Let x = -179/530 + b. Is x bigger than -1?
True
Let q(j) = 3*j**2 - 29*j + 5. Let p be q(9). Is p > -10?
False
Suppose -5*s - 12 = 4*q, 0*q - 2*q - 6 = 0. Let w be (1 - 4)/(-1) - (-1 + 2). Is s less than w?
True
Suppose 4*y - 1 - 11 = 0. Suppose -y*g = -g - 12. Is 4 > g?
False
Let m be (-22)/(-24) - (28/16)/7. Which is smaller: -8 or m?
-8
Let m be (3 + -2)*(-2)/(-170). Let f = m + 3/34. Let r be -4 - (-5)/((-15)/(-9)). Is f equal to r?
False
Let n(j) = -j - 4. Let t be n(-4). Suppose 4*a = 16, -2*a - 2*a + 16 = -3*m. Let c = m + 0. Are t and c non-equal?
False
Let o(l) = -l**2 - 2*l - 1. Let w be o(-2). Let z(j) = j**2 - 5*j - 37. Let p be z(-4). Are p and w nonequal?
False
Let b = 124 - 2355/19. Suppose 0 = 6*x - 3*x. Is x >= b?
False
Let f = -7 - -4. Let k = f + 8. Are k and 5 nonequal?
False
Let q(o) = -o + 1. Let z be q(-2). Let c be -3 + ((-3)/z - 0). Suppose -7*d = -2*d + 2*v + 7, 2*d + 5*v = 14. Which is smaller: d or c?
c
Let l = 0.2 + -0.2. Let r = 58 - 176/3. Which is greater: r or l?
l
Let y = -4 - -2. Let a = 2 + -5. Let n = a - -3. Which is greater: n or y?
n
Let h = -147.95 - -151. Let o = h + -0.05. Which is smaller: o or 1?
1
Suppose g + c - 1 = -4, -2*c = -2. Suppose 0 = 4*t - 4 + 8. Let l be t - -3 - (-6)/(-4). Which is bigger: l or g?
l
Let h(t) = -t**2 - 9*t - 10. Suppose -2*i - 20 + 6 = 0. Let y be h(i). Let o be (3/6)/(1 - y). Which is smaller: 0.1 or o?
o
Let t(i) = -i**3 + 3*i**2 - i - 2. Let c = -9 - -11. Let p be t(c). Is p greater than 3/7?
False
Let w = 24 - 20. Is w <= 0?
False
Suppose n + 1 = 0, -r + 24*n - 21*n = 0. Let j = 2 + -5. Is j bigger than r?
False
Let w be 6/20*(-4)/594. Let s = w + -1649/495. Let l = 64/21 + s. Which is smaller: 0.03 or l?
l
Let l be 5/(-10)*(-20)/(-2). Let u(r) = -r**3 - 4*r**2 + 5*r - 3. Let y be u(l). Is -4 greater than y?
False
Let z(f) = f**2 - 3*f - 1. Let r be z(4). Suppose 5*w = 5*g + 10, g - 6 = -g. Are r and w equal?
False
Let m = -161/24321 - -1/242. Let b = m + 271/1206. Let h = -2 + 1.7. Is b > h?
True
Suppose 4*r + o = 158, -2*o + 196 = 8*r - 3*r. Let y be ((-58)/r)/((-6)/(-5)). Let z = y - -7/8. Is z at most as big as 1?
True
Let a = 0 + -0.01. Let d = a - -0.11. Let x = 0 - d. Which is smaller: x or 2/11?
x
Let z = 8.9 - 9. Let k = z + 0.1. Which is smaller: k or 2?
k
Suppose 0 = 5*h - 6*h + 6. Do 5 and h have the same value?
False
Let t = 2 - 2.2. Let y = t - -2.2. Which is smaller: y or 0.1?
0.1
Let t = 1 - 2/3. Suppose 0 = -2*z + 3 - 5. Which is smaller: t or z?
z
Let b = 44 + -44.19. Let v = 0.09 + b. Which is smaller: v or 3?
v
Let y = -36 - -37. Is 5 less than or equal to y?
False
Let p(q) = 2*q**3 + 7*q**2 - 3*q - 2. Let y be p(-4). Is -11 smaller than y?
True
Suppose -3*o - 13 = -g, o = g + g + 4. Let p be o/(-9)*(-30)/4. Suppose 3*n = -2 - 10. Which is greater: p or n?
n
Let g = 0.3 - 0.5. Let u = g + 6.2. Which is smaller: -1 or u?
-1
Let a(y) = y**2 - 5*y - 1. Let g be a(5). Suppose -l - 2*l + 4*r + 11 = 0, -l - 2*r = 13. Which is smaller: g or l?
l
Suppose -5*m = 5, -5*y - 3*m - 13 + 5 = 0. Let b = 58.4 - 58. Which is smaller: y or b?
y
Suppose -2*w = 4*a - 18, w + 20 = 5*w. Let g be a/10*15/(-12). Let z = g - 1/12. Which is bigger: z or -1?
z
Let h = 36 + -26. Let p = h + -3. Is p at least -1/4?
True
Let y be (2*(-5 - -4))/2. Let s = 349/5 + -70. Is s greater than or equal to y?
True
Let j = 4.7 + -5. Let c = -0.3 - j. Let n = c - -1. Is -1 greater than n?
False
Let o be (-14)/(-1)*(-4)/(-8). Which is smaller: o or 3?
3
Let g = -106 - -105.7. Is g < -3/23?
True
Let i(d) = d + 4. Let w be i(-6). Let o(n) = -2*n - 3. Let m be o(w). Suppose -2 = -0*j - 2*j + 4*z, j - 5*z = m. Which is bigger: j or -2/19?
j
Let l = -4 - -8. Let f(w) = w**2 - w - 3. Let h be f(l). Is 9 less than h?
False
Let a be (-1)/(-1) - 16/8. Let h be (a/(-2))/(60/336). Which is smaller: 2 or h?
2
Let c = -96 + 4129/43. Which is smaller: c or 1?
c
Let x be ((-1)/3)/(2/2). Let a = 17 - 18.7. Let j = a - 0.3. Is x less than j?
False
Let v be 15/25 - (-3)/(-5). Let p be 2/3 - (-104)/(-174). Which is smaller: p or v?
v
Let k be ((2 + -7)*-2)/1. Suppose -o + 1 = -0*o - v, 0 = 5*v + k. Let m = -120 - -599/5. Which is greater: m or o?
m
Let l = 61/2 - 30. Let d(c) = c + 5. Let o be d(-4). Let n = -1 + o. Is l b