05. Let m = 0 - -0.1. Is n equal to m?
False
Suppose -6*b = b - 2*b. Which is smaller: -2/35 or b?
-2/35
Let z be ((-4)/5 - -1)*4. Is z less than or equal to 0?
False
Suppose s = v + 3, -v = 4*s + 5 - 22. Let g be (-1 - (-4)/2)/v. Let d be (3/2)/((-42)/8). Which is bigger: g or d?
g
Suppose 2*c = 9 - 7. Does c = 4/17?
False
Let n be -5*12*1/10. Let t(h) = -2*h + 8. Let k be t(6). Which is smaller: k or n?
n
Suppose 3*o + 2*z - 2 = -4, 5*o + 10 = -5*z. Let m(c) = c - 4. Let a be m(4). Suppose 5*u + o*b - 10 = a, 3*b = 4*u - 2*b + 25. Are u and -4/3 unequal?
True
Let l = -175 - -270. Which is smaller: 96 or l?
l
Let s be -7*(90/385)/3. Is 0 not equal to s?
True
Let q(j) = 4*j**2 - 3*j + 5. Let b(f) = 2*f**2 - 2*f + 3. Let y(r) = -5*b(r) + 3*q(r). Let n be y(-1). Suppose 0 = -4*k + 3 + 5. Which is greater: k or n?
k
Let p be (-7)/28 - (-21)/4. Suppose u + p + 9 = -3*i, 2*u + 10 = 0. Does -2 = i?
False
Let h = -1525/3 - -530. Let b = h - 22. Do b and 1 have the same value?
False
Let g be (-3)/(-21) - (132/273)/4. Is -1 greater than g?
False
Let y be (1/5)/((-4)/(-20)). Let m be 3/1 - 1 - y. Let h be (-2 + 0)*(-2)/4. Is h >= m?
True
Suppose 5*g - 40 = -0*g. Let h = g - 7. Is h at least 3/7?
True
Let u(p) = 3*p - 11. Let z(j) = 7*j - 21. Let v(g) = 5*u(g) - 2*z(g). Let d be v(12). Which is smaller: d or -2/3?
d
Let r be (-27)/45 - (1 - 17/(-55)). Which is smaller: r or -3?
-3
Let o = 503 + -507.02. Let x = -0.02 - o. Is 0 greater than or equal to x?
False
Suppose 6*m = -21 + 111. Which is smaller: 43/3 or m?
43/3
Suppose -3*f = -3*o, 5*o + f = -7 - 17. Suppose 5*w + 8 = -g, 2*g + 0*g - 6 = w. Is w less than o?
False
Let x = 10 - -32. Let y be 2/(-1) + 80/x. Let n be 1*(2 + (-1 - 0)). Is n >= y?
True
Let z = 0.52 - 0.52. Is z != 16?
True
Let i be -1 + -1 + (-33)/(-11). Suppose 7 + 5 = -3*n. Let c be (2/n - -1)*0. Which is smaller: i or c?
c
Suppose -5*c - t - 5 = 0, -4*c + 6*t - 2*t - 28 = 0. Do -13/5 and c have the same value?
False
Let g = -13 - -5. Are g and -1 unequal?
True
Let z = -43 + 65. Let t be (-2)/9 - z/(-18). Which is greater: t or 3?
3
Let i(h) = h + 8. Let o be i(-8). Suppose t = -3*t - 12. Let b be t/15*(-10)/(-4). Which is smaller: b or o?
b
Let w = -0.16 + 0.09. Is w < -1?
False
Suppose 2*m + 29 = 3*m - 4*w, 145 = 5*m + 3*w. Let q = 26 - m. Which is bigger: 0 or q?
0
Let r = 18 - 14. Is 0 greater than r?
False
Let h = 852 - 2491/3. Let i = -22 + h. Let v = -2 + 1. Which is smaller: i or v?
v
Let l be (-2)/(-4) - 2/4. Let v be ((-45)/20)/(3/2). Let h = -7/6 - v. Is h at least as big as l?
True
Let z = 5.1 + -5. Is 24 bigger than z?
True
Let s be (-2 - (-5 - -3)) + -9. Let b be (-2)/30 + s/15. Which is greater: b or 0?
0
Let p = 48 - 338/7. Is p != 0?
True
Suppose -c + u = -9, -7 = c + 2*u - 1. Suppose -5*n + 1 - 11 = 0, 2*n - 12 = -c*w. Let q(f) = f**3 - 3*f**2 - 3*f - 5. Let r be q(w). Which is bigger: -3 or r?
r
Let i = -8.89 - 0.11. Which is greater: -4 or i?
-4
Let m be (0 - -1)/(2 - 1). Let g be m/(3 + -6)*0. Which is smaller: g or -2/3?
-2/3
Suppose -2 = -3*n + 10. Suppose 0 = -3*k + n*s - 2, 3*k = 2*s + s - 3. Which is greater: -4 or k?
k
Suppose 4*k = -10 - 6. Let b be k/8 + (-1)/4. Which is smaller: b or -1?
-1
Let l be 9/(-6) - -1 - (-3 + 4). Suppose -3*j - 2*a + 4 = -j, a = 5. Let q be (-3)/j - 1*3. Which is smaller: q or l?
q
Let d = 1 - -5. Suppose 4*s - 2*s - d = 0. Let k(l) = 4*l - 1. Let r be k(1). Is s less than or equal to r?
True
Let t be 2/(1 - (-3)/(-6)). Let l = 6 - t. Let i(x) = x**3 - 7*x**2 + 6*x + 3. Let f be i(6). Which is smaller: f or l?
l
Suppose -2*z + 7 = -5*j + 22, 3*z = -j - 14. Suppose 3*k - 15 = -2*k + 5*i, 4*k + i = 2. Is j less than k?
False
Suppose -z = 4*p, 0*p - 17 = 3*p + 5*z. Which is smaller: p or 3/28?
3/28
Suppose 0*i - 2*i = -4*k - 54, 5*k + 5*i + 105 = 0. Let c be (k/(-3))/(4/6). Suppose 3*x + 4*j - 36 = 0, -9 = 4*j - 21. Is x not equal to c?
False
Let v be (-1)/(-1) - 9/24. Which is smaller: 0.1 or v?
0.1
Let i be 4/(-10) - (8/5)/(-4). Which is greater: i or -1?
i
Suppose -2*t - 3*a = -0*a - 29, 0 = -4*t + 5*a + 3. Let v = 7 - t. Which is smaller: -3/4 or v?
-3/4
Let b(z) = -z**2 - 5*z - 4. Let x be b(-4). Let l be (8/(-10))/(x + 1). Is l greater than 1?
False
Let c(v) = -v**3 + 2*v**2 - v. Let j be c(1). Suppose 1 = -4*n - 7. Let k be -2 - ((1 - j) + n). Is 1/5 bigger than k?
True
Suppose 3*a = -6 + 9. Let x be 2/4 - 1/(-2). Let j = a + x. Is 3 smaller than j?
False
Let m = 59 + -60. Suppose -5*p - i = -12, -5*i - 1 = 4*p + 2. Suppose j - 4 = 3*u, 2*u + u + 24 = -p*j. Is u equal to m?
False
Let r(g) = -g**3 - 8*g**2 + 2*g + 9. Let o be r(-8). Let h = -8 - o. Let p be 2/2 + (-9)/11. Which is smaller: h or p?
h
Let c = 693/4 - 174. Let z = 1 - 1. Which is greater: c or z?
z
Let y = 54.1 + -50. Let g = 0.9 + y. Let p = g - 5. Do 1/3 and p have different values?
True
Let s = -2.4 - -2.51. Let w = -0.81 + s. Are 1/3 and w nonequal?
True
Let v(j) = j**2 + 9*j - 6. Let t be v(-10). Let s be 0 - (2/t - 1). Which is smaller: 1 or s?
s
Let p be (30/8)/((-27)/(-72)). Is p > 7?
True
Let h(p) = 3 + 0*p**2 + 5*p + 3 - p**2. Let n be h(7). Let g = 9 + n. Is 4/3 less than g?
False
Let o be 15/30*21/1. Let v be (-2)/((-18)/10 - -2). Let r = o + v. Which is smaller: -0.1 or r?
-0.1
Suppose 5*w = o + 23, -5*w - 3*o = -w - 7. Suppose l - 1 = 5*f - 10, w*f + 5*l = -16. Which is smaller: 4 or f?
f
Let s = -105 + 129. Which is greater: 23 or s?
s
Let b(l) = l**2 - 5*l - 46. Let q be b(-5). Do q and 6 have different values?
True
Let q = 27/140 - -2/35. Let h = 10.01 - 10. Is h <= q?
True
Suppose 0 = 4*p + 2 - 14. Suppose -2*f + 6*f = p*x, -5*x = -3*f. Let y be (-24)/14 + (-2)/7. Are y and x nonequal?
True
Let u(b) = b**2 + 6. Let o be u(0). Let i be (o/4)/(3/(-6)). Which is greater: -2 or i?
-2
Let y = 154 - 154.77. Which is smaller: y or 0?
y
Let l = 0.01 + 1.99. Let x = 114.8 - 115. Does l = x?
False
Let s(k) = -k**2 - 9*k - 11. Let a be s(-8). Let v = a + 4. Which is smaller: -3/16 or v?
-3/16
Let t be (1 - -1) + (0 - -2). Suppose -2*g + 4*v + 1 = -9, -t*v - 1 = -5*g. Let d = -10 + 7. Do g and d have different values?
False
Let y be 0*(20/12)/5. Which is smaller: 3/67 or y?
y
Suppose -5*t + 2*m - 4*m - 38 = 0, -4*m - 46 = 5*t. Let y(o) = o**2 + 9*o + 9. Let n be y(t). Which is smaller: n or -8?
n
Let h be 1/11*(-2)/(-16). Does -1 = h?
False
Let v = -0.06 - 3.94. Let u = v - -2. Which is smaller: -0.4 or u?
u
Suppose -4*o + 2 = -5*t, t = -2*o + o - 4. Is -3/2 at least as big as t?
True
Let q = -28 - -19. Let k(n) = n**2 - n - 11. Let i be k(0). Let d = q - i. Which is bigger: 2/3 or d?
d
Let h be 4 - (1073 - -1)/(-1). Let d be (-2)/2 + 1106/h. Which is greater: d or -1?
d
Let z(s) = -s + 1. Let j(v) = v**2 + 7*v + 8. Let b be j(-6). Let c be z(b). Let d be 0/((8/(-4))/(-2)*1). Which is smaller: c or d?
c
Let y(q) = -q**3 - 18*q**2 - q - 19. Let j be y(-18). Are 0.32 and j non-equal?
True
Let a be (4 - 2) + 18/(-10). Suppose 0 = 5*q + 24 + 1, 3*x + 27 = -3*q. Let k be 8/x + 6 + -3. Which is smaller: k or a?
a
Suppose -1 + 29 = 4*n. Suppose n*u - 10 = 2*u. Suppose -3 + 13 = 5*m + z, -1 = 4*m - z. Do m and u have different values?
True
Let l = -34 - -37. Which is bigger: l or -4?
l
Let i = 3.77 + -1.78. Let a = i + 0.01. Is 0.3 > a?
False
Let n = -5 - -4. Let c be 12/(-8)*6/(-9). Which is smaller: n or c?
n
Let n(s) = -3*s**2 + 3*s - 3. Let j be n(2). Which is greater: j or -17/2?
-17/2
Suppose -3*g = 3*l - 0 - 3, -2*l = 3*g - 3. Do -3/20 and g have the same value?
False
Suppose -2*t + 2*c - 5*c + 7 = 0, -5*c = -4*t - 19. Let k = 3 + t. Let y be (-1)/k - (-1)/(-2). Is -2 bigger than y?
False
Let i(x) = 2*x**2 - x + 1. Let k be i(1). Let d be (-4)/6*(k + 1). Let r = -10 + 8. Is d bigger than r?
False
Suppose 3*g + 2*y - 106 = 0, -4*y = -2 + 6. Let c be (3/2)/(g/(-368)). Let b = -16 - c. Which is bigger: b or 1?
1
Let j = 3 + -1. Let n = 142/305 + -4/61. Is n smaller than j?
True
Suppose -9*g = -36*g - 27. Let q be (4/10)/(9/5). Which is greater: q or g?
q
Let z be (-58)/(-435)*(8/2 - 1). Let o = 107 - 189/2. Let l = o + -13. Is z > l?
True
Let l = -605 - -7859/13. Is l < -1?
False
Let t be (-16 - 0)*(0 - -3). Let g be 378/(-8) + (-1)/2. Let m = g - t. Is -1 less than m?
True
Suppose -5*p - 1 = -6*p. Let z