 (-4)/10. Suppose 0 = k*m - 5*h + 15, 3*m + 2*h + 42 = -m. Let i be 12/m*(-5)/(-2). Which is smaller: i or 0.1?
i
Suppose -7*y + 3*y - 6 = 5*p, 4*p - 3*y = -11. Is p <= 0.3?
True
Let x(h) = h + 4. Let k be x(-3). Let c = k - 0. Is c not equal to -1/3?
True
Let p = -42/5 + 976/115. Which is smaller: p or 1?
p
Let p = -5 + 6. Let b = 5 - 5. Is p less than or equal to b?
False
Let v be (61/(-2) - 4)*2/3. Which is greater: v or -21?
-21
Let b = -57 + 66. Is b not equal to -1?
True
Let s = -0.3 - -0.2. Let z = -0.1 + s. Let c = z - -0.2. Do c and 0 have different values?
False
Let s = -84 + 82. Which is greater: -17/5 or s?
s
Let r = 109/41 + 1/123. Which is bigger: r or 3?
3
Let s be (-2)/((-4)/3*6). Which is bigger: s or 0.1?
s
Let f be (6/8 + 1)*4. Let g(w) = -3*w**2 + 30*w - 41. Let j be g(8). Are f and j non-equal?
False
Let q = -443/220 - -33/20. Which is smaller: 0 or q?
q
Suppose -3*h = -h. Suppose -4*j - 4 = 5*c - 23, 8 = 2*j + 4*c. Let v be 3/4*(-6)/j. Is h bigger than v?
True
Let a = 0.16 - 0.26. Which is smaller: 0 or a?
a
Suppose 4*d + 1 = 5. Let x = 323/6 + -53. Which is smaller: d or x?
x
Suppose -2*n + 105 = 5*p, -2*p - 3*p + 5*n + 105 = 0. Let r be ((-3)/p - 0)*2. Which is smaller: r or -1?
-1
Let y = 23 + -18. Suppose -t = 5*z + t + 10, 0 = y*z + t + 5. Are z and 6/7 non-equal?
True
Let m(q) = -q**3 - q**2 + 4. Let v be m(0). Suppose v*a = -w + 18, 3*w - 2*a + 5*a = 9. Are w and -2 unequal?
False
Let z = 25 + -26. Which is smaller: z or 3/7?
z
Let j be -2 - 10/7*-1. Let g = -2 - -3. Which is smaller: j or g?
j
Let w be (0 - 8)/2 + -1. Let y = -6 - w. Is 0 equal to y?
False
Let g = -0.03 - 0.07. Let j = 25 + -18. Which is bigger: j or g?
j
Let z = -62 + 70. Which is bigger: z or -3?
z
Suppose -1 + 7 = 3*w. Let k be 1/w - (-4)/(-8). Let r = -25/7 - -143/42. Which is smaller: k or r?
r
Let w = -0.1 - -0.2. Let o(d) = -3*d**2 + 1. Let l be o(1). Is l > w?
False
Let x(f) = f**3 + 3*f**2 - 1. Suppose 2*s - 3 = 5*s. Let m be x(s). Is m < -1/14?
False
Let n = 155 + -488/3. Is -9 greater than or equal to n?
False
Suppose 0 = 3*g + 4*l + 1 + 20, -3*l + 64 = -5*g. Is -10 less than g?
False
Let p = 27 + -86/3. Let n be (3 - 4)*(1 - 0). Is p > n?
False
Let f(l) = 2*l - 3. Let u be f(2). Suppose 3*z - 4*w = 4*z - 4, 5*z = w - 1. Which is smaller: u or z?
z
Let t = 32/49 + 2/147. Which is smaller: t or 0.08?
0.08
Let u = -494 - -3464/7. Is 2/9 > u?
False
Let s(x) = 13*x**2 + 0*x**3 - 3 + 3 + x**3. Let d be s(-13). Do 4/17 and d have different values?
True
Suppose 4*h - 5*w = -1, -43 = 5*h + 5*w - 8. Suppose 0 = -2*f + 5*f - 3. Let d be -4 - 1*-2 - f. Which is smaller: h or d?
h
Suppose -4*a + 4*h - 56 = 0, 2*a + 2*h = -2*a - 26. Let u be (-4)/((-12)/a) - -4. Which is smaller: u or -2?
-2
Let p be (3 - 2)*(-1)/1. Which is greater: p or 0.3?
0.3
Let l = -10 - -19. Let y be 418/(-24)*l/(-6). Let f = -103/4 + y. Which is smaller: f or -1?
-1
Suppose -18 = -2*c - c. Let x(q) = q**3 - 5*q**2 - 6*q + 1. Let v be x(c). Is v >= 1?
True
Let y = 3.1 + -3. Let f = y - -0.9. Which is smaller: f or 0.2?
0.2
Let w = -24 + 59/2. Which is smaller: 5 or w?
5
Suppose 5*v - 128 = 2*z - 428, -3*z + 131 = -2*v. Which is smaller: v or -60?
-60
Let o = -4/67 - 461/134. Suppose 30*y + 18 = 24*y. Is y at least o?
True
Let g be 8/20 + (-65)/(-25). Which is bigger: 7 or g?
7
Suppose -5*m + 35 + 130 = 0. Suppose m = -4*j + c, -2*j - 4 = 3*c + 9. Is j bigger than -9?
True
Let k = 1.8 + -1.8. Let y = k - 0. Is 0.4 bigger than y?
True
Let c be (-9)/(-6) + -1 + -1. Let m(f) = -f - 7. Let z be m(-6). Which is bigger: z or c?
c
Suppose 5*a + 3*q = q + 81, 0 = -4*a - 2*q + 66. Let t = a - 10. Are 5 and t unequal?
False
Suppose 0 = -4*m - 4*b - 8, 3*m + 6 = -2*b - 3. Is m smaller than -5?
False
Let j = -0.04 - -0.06. Let q = 1.02 - j. Which is smaller: q or -0.1?
-0.1
Let q be (10*1)/((-6)/9). Let f be 1/2 + q/(-10). Let v be 0/(f/1 - 3). Do -2/11 and v have the same value?
False
Suppose -39 = -5*s + 3*o, 7 = 4*s - o - 20. Suppose -2*w + s = l, 4*l - 4 = 5*w - 6. Is 4/3 less than l?
True
Suppose b - w + 7 = -2*w, -2 = w. Is -7 equal to b?
False
Let m = 0 + 0. Let f = m - 0. Is f not equal to -1/2?
True
Let c = 13 - 11. Suppose u - 3 = -2. Which is smaller: u or c?
u
Suppose 10 = 3*u - 53. Let s = u + -10. Suppose 5*c + 22 = 3*l, 5*l + 2*c = 4*l - s. Is -1 less than l?
False
Suppose -3*r + x - 12 = 3*x, -4*x = 12. Let s(y) = -y**2 - 3*y - 1. Let i be s(r). Let t(b) = b**3 + 4*b**2 - 4*b + 7. Let m be t(-5). Which is smaller: m or i?
i
Let t(m) = m - 72. Let c be t(31). Are c and -43 non-equal?
True
Let d = 15/31 + 143/217. Is 2 less than d?
False
Suppose -5*h - 13 = 7. Let u(o) = -o**2 + 9*o - 11. Let m be u(8). Which is smaller: m or h?
h
Let j = -3/94 + -37/1786. Which is smaller: 1/2 or j?
j
Let l(q) = -3*q - 1. Let r be l(5). Let u = -9 - r. Suppose m = 4*m - 4*d + u, 2*m - 3*d + 4 = 0. Do m and -5 have the same value?
True
Let i be -2 + -2 + 1 - -45. Let p be 6/i - (-1)/(-7). Is p < 0.1?
True
Let z = 56.9 + -57. Let r = -3 + 2.94. Is z < r?
True
Let k = 3 - 8. Let r(m) = -2*m**2 - 13*m - 7. Let x be r(k). Is x <= 9?
True
Let j(z) = z**2 - 4*z - 3. Let y be j(5). Let i be (12/(-54))/(y/3). Which is smaller: 0 or i?
i
Suppose 13 - 3 = 5*d. Suppose x + 3*o = 4*o + 3, -x - d*o = 0. Is x >= -1?
True
Let u = -0.2 + -0.8. Let v = -3 - -1. Let r be 2/56 + v/7. Is u >= r?
False
Let s be 3/4 - (-12)/48. Is -1/52 at most s?
True
Let r(y) = 4*y - 7. Let x be r(2). Which is greater: x or 3/23?
x
Let y = -91 - -53. Is y >= -38?
True
Let s be -1*(1 - 1) - -3. Suppose -s*d - d = -12. Suppose -5*r + 2 = -d*r. Is 1 greater than r?
False
Let l = -41 - -59. Suppose -z = 2*z - 3*u - l, 0 = -2*u - 8. Suppose z*o - 4*k - 12 = 0, 0 = -4*o + k + 5 + 5. Which is smaller: o or 1?
1
Suppose -11 + 3 = -4*b. Is 0.06 != b?
True
Suppose 3*u = c - 1 + 31, 5*u = -3*c - 34. Which is smaller: -16 or c?
c
Let r be (-22)/(-18) - (-2)/(-9). Suppose a = -2*a. Is a <= r?
True
Suppose -h - 3*h = 8. Suppose 16*a + 26 = 10. Is h smaller than a?
True
Let z = 287/18744 + 4/213. Which is smaller: 1 or z?
z
Let s = -1.1 - 0.1. Let f = 1.2 + s. Which is smaller: f or -0.03?
-0.03
Suppose -3*n - 18 = -3*o, 6*n - o + 26 = n. Let w = n - -4. Let p be 8/(-6)*w*3. Is p < 1/3?
False
Let k = -2/169 + 175/507. Suppose 6 = r + 4. Suppose p - r = 3*p. Which is smaller: k or p?
p
Let m = 0.13 - 0.53. Is m >= 1?
False
Let w = -19.5 + 16. Let y = 0.5 + w. Let t = -400 + 400. Is t > y?
True
Suppose -3*i - 13 = -v, 0*i - i = 4. Suppose -3*j - 4*b = -j - 16, 5*b = -4*j + 17. Let m be (-5)/j*(-12)/(-15). Which is smaller: m or v?
v
Suppose -3*g = -6*g + 15. Suppose -v - g = -5*j, 2*j + 10*v - 5*v = 29. Is 3/5 less than j?
True
Suppose -4*r - c - 177 = -r, 5*r = -c - 293. Let l be r/(-8) + (-6)/(-8). Let y be 2/l + 2/(-8). Which is smaller: y or 1?
y
Suppose -168 = 4*p + 4*h, -11*h = p - 7*h + 39. Is p <= 1?
True
Let n = 1 - 0.8. Let c = -0.1 + n. Which is smaller: 0.3 or c?
c
Let a be 8 - 6/(-4)*-2. Suppose -a*i = -0*i - 10. Let c = -1 - i. Which is greater: c or -2?
-2
Let h = 3 + 0. Let w = -1.27 - -1.17. Do h and w have different values?
True
Let h = 14 + -14. Suppose w = 4*p - 6, -2*w = -0*w - p - 2. Let n be w/3 + (-4)/6. Is n bigger than h?
False
Suppose 3*z - 12 = -z. Suppose -3*r - 1 = 7*p - z*p, 2*r + 16 = 5*p. Which is bigger: 1 or p?
p
Let g = -2.96 - -2. Let b = -0.04 + g. Let j = -8 + 8.3. Is j > b?
True
Let u(w) be the third derivative of w**6/120 + w**5/15 - w**4/24 - w**3/2 + 4*w**2. Let v be u(-4). Is v <= 2/3?
False
Suppose -2*m + 4*j + 2 = -2, 3*j = 3*m - 3. Let k = 6197/11 - 563. Is k less than or equal to m?
False
Let t be 10/4*(-30)/(-25). Let j be (-8)/(-6) - 1/t. Let n be j/24*2*2. Is 1 less than or equal to n?
False
Let q = -3 - -3. Let z = 101165/7 + -14510. Let o = z + 58. Is q bigger than o?
False
Suppose 0 = 8*y - 29*y + 21. Which is bigger: -2/237 or y?
y
Let r = -37/6 - -389/66. Which is bigger: 0 or r?
0
Let m be 6/10 + (-14)/(-10). Let t(g) = g**3 - g**2 - 2*g + 1. Let f be t(m). Is f bigger than 4/15?
True
Let j be (8/(-1))/((-6)/6). Suppose 0 = 2*c + 6 + j. Are c and -7 unequal?
False
Let j be 24/9*9/6. Suppose 5 = 4*c + i, j*c + 25 = -0*c + 5*i. Let t = -2 - c. Is t less than or equal to -3?
False
Let 