pose -u = 3*u - k. Let l be -1 - (-1 - -1*u). Is l at most as big as -2?
True
Let g = 9.97 - 10. Do g and 0.1 have different values?
True
Let z = -0.4 + 0.2. Let m = z - -1.2. Let v = -1.1 + m. Which is smaller: v or -3/2?
-3/2
Let l = -13 - -13. Let t be (4/(-183))/(10/15). Do t and l have the same value?
False
Let h(x) = 2*x + 3. Let b be h(-3). Let r = 2 + b. Let u = 6 - 8. Is u greater than r?
False
Let d be 2/4 - (-3)/6. Let k(u) = u**3 + 3*u**2 - 3*u + 7. Let c be k(-4). Which is smaller: d or c?
d
Let w(u) = -2*u - 1. Let l be w(-2). Suppose -4*d + 2*s = -14, -1 = -3*d - 4*s + 4. Suppose -l*m - d = -12. Is 0 greater than or equal to m?
False
Let v(u) = -3*u**2 - 2*u - 2. Let k(p) = -p**2 + p + 1. Let d(f) = -4*k(f) + v(f). Let j be d(6). Let m = -10 - j. Is -4 <= m?
True
Let b be 6/(-8)*(-2)/12. Let v(p) = p**3 - 2*p**2 - p + 1. Let i be v(2). Let q be (-6 - i) + 3 - -3. Is q less than or equal to b?
False
Let h = -11 - -11.2. Which is smaller: h or -3/2?
-3/2
Let n be 1*((-3)/27 + 0). Let k = n - 4/45. Let b be 3/1 - (-33)/(-11). Is k less than b?
True
Suppose -14*g + 6*g = 0. Is g < 2/71?
True
Let a = 5 + -5. Let c = a - 5.7. Let z = c + 6. Which is bigger: 1 or z?
1
Let u be (-6)/9*45/(-6). Suppose -u*z + n = -n + 2, -24 = 2*z + 5*n. Let b = 102/5 + -21. Are b and z equal?
False
Suppose -5 = -4*u + 3. Suppose 4*j = 3*w - 3, -5*w = -9 - 16. Suppose -j*v + 2*h = -14 + 2, 5*h + 11 = -2*v. Do v and u have the same value?
True
Suppose -c + 5 = 4*c. Suppose -1 = -3*h + 5. Which is smaller: h or c?
c
Let i = 125 - 109. Is i > -0.3?
True
Suppose -3*u + 3 = -3*w, -5*u + 2 = 4*w + 42. Is w bigger than 0.1?
False
Let n be (9/(-6966))/(2/16). Let v = -10/43 - n. Let f = 2 - 1.9. Is v <= f?
True
Let u = 33 + -32.99. Which is greater: -0.2 or u?
u
Let u = 617/3 - 204. Let c = -0.8 + 0.9. Is u greater than c?
True
Let o(y) = -2*y**3 + y + 4. Let u be o(-2). Is 18 less than u?
False
Let p = 60.8 - 59. Is -2 < p?
True
Let o(z) = -z**2 + z + 11. Let j be o(0). Is j bigger than 11?
False
Let o = 49 + -11. Suppose -2*p = -4, p = -2*r - 3*p + o. Let k be 1/5 + (-6)/r. Which is greater: k or -0.3?
k
Let n be -7 + 5 + 7/4. Suppose -5*s + 0 = -5. Suppose -4*u - s = 3. Which is bigger: u or n?
n
Let s = -114593/6 - -19240. Let t = -142 + s. Are t and 0 unequal?
True
Let f be ((-60)/14)/((-1)/7). Which is smaller: 32 or f?
f
Suppose -r - r = 2. Let x be (-5)/(-10) + r/14. Which is smaller: x or 0?
0
Let t = 6 - 5. Let k(y) = -4*y**2 + 2*y - 1. Let n be k(t). Suppose -5*z + z - 16 = 0. Are z and n equal?
False
Suppose -4*a - 5*d = 38 + 14, -2*d = 4*a + 40. Let p = 11 + a. Let v be (-9)/(0 + p) - -4. Which is bigger: 8/5 or v?
8/5
Let x = 10 + -18. Let c = -9 - x. Let q be (c/(-3))/((-3)/(-18)). Is q at least as big as 2/3?
True
Let g = -35 - -25. Let b = -19 - g. Which is bigger: b or 0?
0
Suppose -2*b + 4 = -w, -4*w = -2*w - 3*b + 7. Let y = 0 + w. Let f = y - -5. Which is bigger: f or 1?
f
Let w be (-16)/(-24)*(-1)/2. Which is bigger: w or 1/7?
1/7
Let p be (-3 + 3)*(-1)/(-2). Let u be 3 - (p + (6 - 3)). Which is greater: u or 3/4?
3/4
Let f be 1*2/2 - 1. Suppose g + 0 - 6 = f. Suppose -5*h - 2*c + 53 = 0, h + 5*c = g*c + 5. Is 10 less than or equal to h?
False
Let g = -16/9 + 14/9. Let n = 0 - 0.5. Let l = -0.4 - n. Is g bigger than l?
False
Let p = 8 + -6. Let g be (-2)/5*(-1 + -4). Let z = -1 + g. Are p and z non-equal?
True
Let n be (3/(-6))/((-1)/(-2)). Suppose 6*h - h = 0. Is n bigger than h?
False
Let m be 9/(-21) - -74*15/2982. Which is greater: 0 or m?
0
Let o(m) = -11*m + 4. Let q(y) = y - 1. Let v(s) = -o(s) - 5*q(s). Let g be v(-1). Are g and -5 non-equal?
False
Let z = -13 - -13. Suppose n - q + 4*q + 9 = z, 0 = -4*n + 5*q + 15. Which is smaller: -3 or n?
-3
Let w(m) = -m - 9. Let s be w(-8). Which is smaller: s or 6/37?
s
Let o = 2.6 - 5.6. Let j = -1 - -2. Are o and j nonequal?
True
Let v be 86/6 - (-2)/(-6). Suppose 8*i = 3 + 13. Let a be v*-1*1/i. Is -7 greater than a?
False
Suppose 5*i + 17 = -3, -5*f - 151 = 4*i. Is -27 equal to f?
True
Let a = 0.05 - 0. Let l = 2.33 - 0.38. Let m = l + a. Which is bigger: 0 or m?
m
Let g = 5/31 - -38/341. Let m(n) = -n**3 - 6*n**2 - 4*n + 4. Let t be m(-5). Does g = t?
False
Let y = -301/1395 + -1/155. Let v = 0.6 - 0.8. Is y less than v?
True
Suppose 0 = -2*l - 0*k + 4*k + 8, -10 = 4*l + 5*k. Let r = 347 - 6591/19. Which is smaller: l or r?
l
Let t = 431/15 + -85/3. Which is smaller: 1 or t?
t
Let o be -5*(8776/(-4390) - -2). Let f = o + 928/10975. Which is bigger: f or 0?
f
Let p = -2/3293 - 108653/26344. Are p and -3 equal?
False
Let v be 15/10 + (-1)/(-2). Let m be (v + -4)*4/36. Let a(d) = -d + 1. Let c be a(1). Do c and m have the same value?
False
Let d(z) = z + 7. Let n be d(-3). Which is smaller: 18/7 or n?
18/7
Let l be -2*(-1)/(-54)*-2. Let t be (1 - -1) + (-2 - -1). Suppose 2 + t = 3*x. Which is smaller: l or x?
l
Let d = 18 + -27. Let x(m) = m**3 + m**2 - 8. Let c be x(0). Is c at most d?
False
Let a be 1/(1/4) + 855/60. Is a less than or equal to 17?
False
Suppose -4*z + 11 = -17. Let m(f) = f - 4. Let i be m(z). Let l = 1 - i. Which is bigger: -4/7 or l?
-4/7
Let u = 0.8 - 0.92. Let q = -0.22 - u. Which is smaller: q or -2?
-2
Suppose 2*a - 6 = a - 3*x, -2*a + 3 = -3*x. Suppose -a*s + 28 = -8. Let q be -2 - -3*s/27. Is -5/4 equal to q?
False
Let a(f) = f**2 + 5*f + 4. Let g be a(-5). Suppose 2 = g*x - 2*x. Let r = -7 + 9. Is r less than or equal to x?
False
Let h(p) = p**2 - 11*p + 9. Let r be h(8). Do -16 and r have the same value?
False
Let r be ((-52)/(-12) + -4)*21. Which is smaller: r or 9?
r
Let s(p) = -10*p**3 + p**2 + p - 1. Let w be s(1). Let n be 12*3/((-24)/(-4)). Let t = w + n. Is -4 <= t?
True
Suppose -3*j - 5*m = -50, -33*j - 46 = -38*j + m. Let d(h) = h**2 - h + 9. Let o be d(0). Is o greater than or equal to j?
False
Let r = -1.2 - -1.2. Is 3 at least r?
True
Let y be 117/(-5) - 9/15. Let z be 488/y + 4/(-6). Let n be (-45)/z - 2 - 0. Which is bigger: n or 0.1?
n
Let x(k) be the second derivative of -k**4/12 + k**3/3 + 7*k**2/2 - 4*k. Let u be x(3). Are -0.4 and u nonequal?
True
Let j be (3/(0 + 3))/(-1). Which is greater: j or -2/175?
-2/175
Let y = 0 - -3. Suppose 0 = 3*u + z - 2*z - 40, 4*z + 69 = 5*u. Suppose 5*t + 4 + 3 = -y*c, -5*t + 2*c = -u. Which is smaller: 2/5 or t?
2/5
Let k be -2 - 1/(2/(-2)). Let m(a) = a**3 - 5*a**2 - a + 7. Let h be m(5). Let j be k/(h - (0 - 2)). Which is greater: 0 or j?
0
Let d(a) = -10*a - 15. Let g be d(5). Which is greater: g or -66?
g
Suppose 0 = -o + 6*o + 30. Let w be ((-3)/o)/(1/4). Which is smaller: 1 or w?
1
Suppose 5*l - 2 = -27. Let o be 65/(-25) + (-3)/l. Suppose -8*a + 4 = -4*a. Are o and a equal?
False
Let b = 7497/247 - 546/19. Let k = -19/13 + b. Is k equal to 0?
False
Let a(r) = 11*r**2 - r. Let z be a(1). Is 11 bigger than z?
True
Let i = -199/232 - -14/29. Let m = -4 - -4. Suppose m = o - 3*o. Are o and i nonequal?
True
Let l = -6 - -6. Suppose -2*j + 2 = -l*j. Which is bigger: 1/7 or j?
j
Let j = -13 - -20. Let b(k) = k**2 - 8*k + 7. Let d be b(j). Which is smaller: d or 2/5?
d
Let z be 2/2 - (-1 + 2). Suppose -12 = -2*l - 8*x + 3*x, l + 3*x = 7. Let y = z + l. Which is greater: 3/4 or y?
y
Let a = -3.3 - -2.93. Let g = -0.07 - a. Does -3/2 = g?
False
Let v = -49 - -51. Which is greater: v or -1?
v
Let y(u) = u**2 + 3*u + 1. Let i be y(-4). Is 6 smaller than i?
False
Let o be 4/28*1*3. Let c = 38 + -36.95. Let d = c - 0.05. Which is greater: o or d?
d
Let z = 13/6 + -1/2. Let p = 7/6 - z. Is p at least as big as -1/4?
False
Let n = 58 + -60. Which is smaller: n or 35?
n
Let h be (-2)/13 - 152/26. Let l be 4/h*9/(-6). Which is smaller: l or -2/7?
-2/7
Let t(c) = -c**2 - 2*c - 3. Let o(j) = -3*j**2 - 5*j - 7. Let i(d) = 2*o(d) - 5*t(d). Let h be i(2). Is -3 less than or equal to h?
True
Let c = 82/5 - 16. Is -2 greater than or equal to c?
False
Let r = -15 - -5. Let t(c) = c + 10. Let w be t(r). Is w bigger than 2/35?
False
Suppose -12 = a + 3*a - g, 5*g = -a - 24. Suppose -47*b = -29*b + 54. Are b and a non-equal?
True
Let g(k) = -k + 5. Let a be g(5). Is a at most -1?
False
Let g = -7.6 - -8.7. Which is bigger: g or -0.1?
g
Suppose -5 = 3*j + 1. Let y be ((-4)/(j - 2))/(-11). Which is bigger: 0 or y?
0
Let t be 2/3