3) - (-7 + 6). Suppose 5 + 10 = 3*m. Is h != m?
True
Let m = 17.8 - 24. Let x = -6 - m. Is x >= 4?
False
Suppose -375 + 123 = 4*s. Let v be 3/(-2) + s/14. Let a be 3/((-9)/v - 3). Is -0.1 at least a?
True
Let q(t) = t - 6. Let g be q(9). Let b be 4*1/g + -1. Is b bigger than -1?
True
Let r = 45935915 - 217736241133/4740. Let b = -5/316 + r. Let j = b - -1/5. Is j greater than or equal to 2/7?
False
Let m = 0 - -5. Is 5 <= m?
True
Let l = -3538 - -24811/7. Which is smaller: 7 or l?
l
Suppose 3*c + 10 - 49 = 0. Suppose 0 = -5*a - 3*u + 10 + c, 5*a - 4*u = 16. Suppose 0 = s - a*s. Is 0 greater than s?
False
Let c = 16 + -22. Let g = c + 4. Is -2 bigger than g?
False
Let f be 2 - (-11)/(-2) - -4. Is f at most as big as 1?
True
Let n = -1.09 - -3.09. Let g = -1.7 + 2. Let o = g - 0.2. Is o > n?
False
Suppose 4*d + 909 = -3*r - 275, 888 = -3*d - 3*r. Let a be 0 + 1/((-1413)/d). Let u = a - -2/157. Which is bigger: -2/3 or u?
u
Suppose r = -x - 38, -2 + 30 = -x + 4*r. Is x bigger than -36?
False
Let x = -153/28 + 23/4. Which is smaller: x or -0.1?
-0.1
Let m = 34 - 47. Let u = m + 14. Which is greater: u or 0.2?
u
Suppose -3*g = g + 16. Suppose 0 = 16*l - 12*l + 20. Does l = g?
False
Let q = -0.015 - -0.045. Are -7 and q equal?
False
Let j = 0 + 11. Suppose 5*d + j - 36 = 0. Is d not equal to 5?
False
Suppose 4*a + 180 = -4*t, -3*a - 4*t + 36 = 168. Let d be a/145 + 8/20. Is d not equal to 1?
True
Let m(y) = 5*y - 3. Let o(k) = 11*k - 7. Let v(a) = 9*m(a) - 4*o(a). Let z be v(-3). Let j be (z - -2) + 9/21. Which is greater: j or 1?
1
Let c be 18/(-56) + (-1)/4. Suppose -2*m - 4 = 2*y, 5*y + 2*m + 9 = -2*m. Let i = 0 + y. Which is greater: i or c?
c
Suppose -3 = 4*w + 4*d + 9, 2*d + 6 = -4*w. Suppose 3*g + 9 = -s, -2*s + 3*g - 8 + 26 = w. Are 3 and s non-equal?
False
Suppose 3*v + 0 = 18. Let j(d) = -4*d - 2*d + 5*d**2 - d**2 - 3*d**2. Let c be j(v). Is c < 0?
False
Let g be (4 + -1)/((-42)/(-12) - 2). Which is smaller: 3 or g?
g
Let n = -0.26 - 0.04. Let g = n - -0.2. Let d = -16 + 33/2. Which is bigger: g or d?
d
Suppose b = -4*b + 3*i - 10, 4*b - 4*i = 0. Let x = -7 - b. Let u be 2*(3/(-3) - x). Is u > 2?
False
Suppose 5*n + 24 = -11. Which is smaller: -11 or n?
-11
Let i = -2.5 + 2. Let x = i + -4.5. Let n = -4.9 - x. Is 0.1 at least n?
True
Let t(b) = -b**2 + 9*b - 3*b + 3 + 7. Let o be t(8). Is -7 greater than o?
False
Let b be ((-4)/3)/((-10)/15). Let g be (12/(-16))/(b/8). Let l = -1 - 2. Is g at most l?
True
Let s be 4/14 - 151/14. Let p = s - -65/6. Which is greater: p or 1?
1
Let l(u) = u**3 - 16*u**2 - 18*u + 20. Let d be l(17). Let x be ((-9)/27)/(d/2). Which is greater: -1/5 or x?
-1/5
Let p be (-5)/((-10)/4) - 2. Let y(s) = 5 + p - s + 2 - 1. Let j be y(7). Is -4 less than j?
True
Suppose 11*l = 5*l + 480. Do l and 80 have different values?
False
Let y = -0.6 - -0.3. Let g = 3.3 + y. Is g <= -0.2?
False
Let v be 8/(-32) - 2/((-16)/34). Is v != 5?
True
Let p = 12.84 + 0.16. Let m = 12.6 - p. Does 0.1 = m?
False
Suppose -3*a - 15 = -3*r, 2*r - 5*r + 5 = -a. Suppose -4*m - m = r. Let s be ((-72)/(-189))/((-4)/(-6)). Is m <= s?
True
Let b = 9 - 9.05. Let k = b + 0.07. Do 2 and k have different values?
True
Let k = 26 + -17. Suppose -5*f - k = 6. Let r = -71 - -137/2. Which is greater: r or f?
r
Suppose -3 = -3*f - 6. Let r be f + -1 + 3 + 0. Is 4/7 at least r?
False
Let v = -600.09 - -611. Let z = v + -11. Let k = -1.09 - z. Which is smaller: 0.1 or k?
k
Suppose 2*m = 4*m - 4*t - 28, 2*t = -4. Let q be 0 + -2*m/4. Let o be 4 + q + 5/7. Which is smaller: 1 or o?
o
Suppose 4*r - 15 = -3. Suppose 17*i - 14*i - 6 = 0. Which is bigger: i or r?
r
Let p = 30 - 15. Suppose -5*g = 3*j - 0*g - 9, 0 = -5*j + 4*g + p. Suppose 3*m = -5*o - 9, o - 4*o - m = j. Is o at least -5/6?
True
Let h(p) = 3*p**3 + p - 1. Let s be h(1). Let o be (-2)/s + (-11)/(-3). Suppose 5*b - 20 = -5*z, -o*b - 2*z = b - 8. Are 0 and b unequal?
False
Let w(f) = 12*f. Let p be w(-6). Let j be -3 + 39/p*2. Let u = j + 19/4. Which is greater: 1 or u?
1
Let w = -0.75 - -0.8. Let k = w - 0.05. Let q be (-4)/(-20) - (-12)/(-10). Which is greater: k or q?
k
Let r = -7 - -15. Let o = 11 - r. Let q = -1/12 - 5/12. Which is greater: o or q?
o
Let j = 4.94 - 5. Let v = -16 + 16.04. Let r = j - v. Which is bigger: 1 or r?
1
Let b = 43 - 265/6. Are b and -2 unequal?
True
Suppose -8*b + 25 = -3*b. Is 1 at least b?
False
Let j(v) = 14*v + 1. Let i be j(-2). Which is smaller: -28 or i?
-28
Let z be -4*(3/15 - 5/(-100)). Is z less than 2?
True
Let z = 4 + 5. Let w(i) = i - 1. Let q be w(4). Suppose -6 = j + q*l, 5*j = j - l + z. Are 1 and j nonequal?
True
Suppose -2*g + 7 = 1. Suppose 0 = -4*s + 3 + 5. Suppose -g*c + 2*c = s. Is -3 less than c?
True
Let b be 123/(-6) - (1 + 2). Let q = -24 - b. Is q != 1?
True
Let y = 4 + -3. Suppose -2*z = -4*t - 2, 3*z + 2*t + y = -4. Let o = 1 + z. Is o at most -2/17?
False
Suppose c = 6*c - 4*v - 29, -4*v + 11 = 3*c. Is 3 at most c?
True
Let r be (-26)/114 - (-4)/12. Let w = -1 + 7. Let y be 1 + (-3)/w*0. Is y <= r?
False
Let s(u) = 33*u - 1. Let h be s(-4). Let k = 93 + h. Let m be 5/k*(-2)/1. Is -0.3 smaller than m?
True
Let s = -3 + 7. Suppose x + 2*r + 0 = 35, 88 = s*x - 5*r. Let m = 79/3 - x. Which is greater: m or -2?
m
Let o = 5 - 4. Let b be o - 0 - 3/4. Is b <= -1?
False
Let y(o) = -o**3 - 9*o**2 - 8*o - 12. Let a be y(-8). Is -13 less than a?
True
Let j = -20 - -62/3. Suppose 4*m - 1 - 3 = 0. Which is greater: m or j?
m
Suppose 4*p + 278 = 2*x, 3*x + 4*p + 572 = 7*x. Let a be (-2)/(-11) - x/990. Let j = a - -3/10. Is j > 3?
False
Let n(t) = 2*t + 3. Let q be n(-11). Does -18 = q?
False
Suppose i + 2*i = 60. Let l be 0*(i/8 - 2). Are l and -4 unequal?
True
Let m = 2 + -3. Let l = m - -3. Which is smaller: 3 or l?
l
Let l be 10/(-4) + (-2)/4. Suppose 5*k - 14 = 21. Suppose k*w = 6*w - 1. Which is greater: w or l?
w
Let s be 11/(-2)*(-5)/(-28). Let j = 9/8 + s. Let c = 0 + 1. Are c and j nonequal?
True
Let l = 4/15 + -3/5. Suppose -2*v + 2 - 4 = 0. Is v at least as big as l?
False
Let h = 13/6 - 23/12. Which is smaller: -0.1 or h?
-0.1
Let j = 17 + -18. Is -2/23 less than or equal to j?
False
Let b = 7 + -7.07. Let g = b + 0.67. Let v be ((28/(-6))/(-7))/(4/(-3)). Is g at least v?
True
Let l be -6*(1 - 0) - -2. Suppose -3*j + 10 = 4. Let t = j + l. Which is bigger: -7/3 or t?
t
Suppose 7*u - 11*u = 12. Which is bigger: u or 1/8?
1/8
Let c = -24 + 7. Let q be (-1 + 0)/((-17)/c). Is 2/71 greater than or equal to q?
True
Let q = -32/85 - -3/17. Let b(o) = -o**2 + 11*o + 10. Let r be b(11). Suppose r*n - 12*n = -2. Which is bigger: q or n?
n
Let r = 47 - 8. Let w be 0 - -1 - (-151)/4. Let l = r - w. Which is bigger: -1 or l?
l
Let s be 1/1 - 57/897. Let u = s - 18/23. Which is bigger: 1 or u?
1
Let n(q) = q - 8. Let h be n(7). Let o(m) = m**3 + 3*m**2 - 4*m + 1. Let f be o(-4). Let d be (h + f)*-1*1. Which is smaller: 1/8 or d?
d
Suppose 28 = -5*d + 3, z - d = 4. Which is greater: -1.2 or z?
z
Let o = 13 + -15. Are 3/4 and o unequal?
True
Suppose 4 = -2*j + 6*j. Are 41 and j nonequal?
True
Let w = -19 - -30. Suppose 0 = -2*v + w - 5. Suppose v*t - 3 = 3. Is -1 at most as big as t?
True
Suppose -8*u + 4 = 4. Let i = 823/5 + -164. Does i = u?
False
Let p = 0.65 + -0.65. Is 49 greater than p?
True
Let k(q) = -3*q + 9. Let d be k(3). Which is smaller: -13 or d?
-13
Let t(l) = l**3 - 6*l**2 - 4*l + 24. Let x be t(6). Does 18/7 = x?
False
Let m(g) = -g**2 - 16*g - 18. Let h be m(-13). Are 21 and h nonequal?
False
Let w(s) = -s. Let l be w(5). Let g(c) = -c**3 - 6*c**2 - 2*c + 2. Let x be g(l). Is x at least -12?
False
Let m be -4*(12/16 + -1). Which is smaller: m or -4/17?
-4/17
Let g = -12 - -11. Which is smaller: g or -1/27?
g
Suppose k + 8 = -4*l, -9 = 7*l - 2*l + k. Does -5 = l?
False
Let r = -5.5 - -2.5. Let l = 2.1 + -2. Which is smaller: r or l?
r
Suppose 0 = -37*r + 45*r - 112. Is r greater than 15?
False
Let y(q) = -q**2 - 9*q + 2. Let g be y(-9). Suppose 7*w - 40 = g*w. Are 9 and w non-equal?
True
Suppose -x + 51 - 6 = 0. Let h be 15/(-10)*4/x. Which is greater: h or 0?
0
Let h = -27 + 9. Let n be 10/60 - 206/12. Which is smaller: n or h?
h
Suppose 4*c = -3*o - 9, 5*c + 13 = -5*o - 2. Is c bigger than 1/102?
False
Let u be (2/(-148))/(6/72). Whic