35. Let l = 145/3 + u. Are l and 1 non-equal?
True
Suppose -40 = -7*h + 79. Which is greater: 11 or h?
h
Suppose 0 = -2*u + 3*u - 5*m + 1, 5*m = 0. Let h be (u - 4)*(-6)/(-15). Let d(s) = s - 2. Let b be d(0). Is h less than b?
False
Let m be 0 + (2/12*4 - 0). Are 0.1 and m equal?
False
Let d = 36 - 26. Let g = d + -12. Is g less than 0.3?
True
Let r(f) = f**3 + 3*f**2 + 3. Let h be r(-3). Let l be (-52)/(-3) + (-2)/(-3). Suppose -5*v + l = 2*j, -h*v + 20 = 2*v. Is j != 1/4?
True
Let n = -10 + 10. Is 0.4 less than or equal to n?
False
Let l = -2858/11 - -260. Let s be 2 - 1 - 3/(-1). Suppose 9*o = -5*r + s*o - 25, 2*r + 3*o = -15. Are l and r equal?
False
Let x(m) = m**2 + 14*m - 7. Let o be x(-14). Is o at most as big as -7?
True
Suppose 0 = 4*s - 3 + 15. Let v be (-10)/25*(-5)/s. Is -0.1 less than v?
False
Suppose 2*n + 52 = -8. Let p be (4/(-18))/(n/(-9)). Which is smaller: 1 or p?
p
Let k(a) = -a**3 + 5*a**2 - a + 5. Let u be k(5). Suppose -d - 5*i = u, 3*d = -i + 6*i. Suppose -2*c + 2*x + 10 = -0*c, -2*c = 3*x + 10. Is d < c?
True
Let r be -5*((1 - -1) + -7). Suppose -5*a - w + 9 = -28, -5*a = 5*w - r. Let m = a + -2. Which is greater: 5 or m?
m
Let i = 2 - 5. Let l = -1 - i. Let g = -5 + l. Is g < 1?
True
Suppose -d + 5*g = 0, 0*d + 2*g = 5*d - 23. Suppose 11 = 3*v + 2*p, -d*v + 8*p - 15 = 3*p. Which is greater: v or 0?
v
Let c = -0.05 - -2.05. Is 0 at least as big as c?
False
Let r = -76 - -2814/37. Let j = 43 + -85. Let i be 48/j - 2/(-14). Is r less than or equal to i?
False
Let l be ((-666)/(-8))/((-2)/(-160)). Let a = l + -13587/2. Let f = a - -131. Which is smaller: -4 or f?
-4
Let c be (-3 - 2)*(-8)/32. Let r(a) = -a. Let u(m) = 3*m - 3. Let x(h) = 4*r(h) + u(h). Let t be x(-4). Is t bigger than c?
False
Let u = -6 - -10. Let m be 2*1/176*u. Does m = -1?
False
Let m be 8/(-36) - (11/9 + -1). Which is smaller: m or 1?
m
Let w = 1 + -1. Let x be ((-18)/(-4))/((-3)/(-16)). Let b be (2/x)/(12/(-32)). Is w < b?
False
Let l = 636/13 - 2584/39. Let q = l + 17. Let k = -0.1 + -0.9. Which is bigger: q or k?
q
Let b = -3.73 - -3.9. Let s = 0.03 + b. Which is bigger: -0.6 or s?
s
Let x(f) = -f**2 - f. Let y be x(-3). Let c be (-8)/y*9/(-21). Which is greater: 0 or c?
0
Suppose 0 = -2*t - 23 - 1. Is t bigger than -10?
False
Let g be 51/357*4/134. Are -1 and g unequal?
True
Let k = -27 + 28. Which is bigger: k or 5/21?
k
Let g be 1*27/(-15)*-5. Let p be 2/g - (-366)/54. Which is smaller: p or 6?
6
Let a = -551/305 + 2/305. Let x = 11/5 + a. Is x equal to 2?
False
Let m(a) = -a - 6. Suppose 0 = 2*y - 0*y - 5*z + 7, 0 = -2*y - z - 25. Let g be m(y). Which is bigger: -1/5 or g?
g
Suppose 0 = 6*y + 12 - 12. Let v(d) = -d - 3. Let m be v(-5). Does y = m?
False
Suppose -a + 197 = 4*b, a + 194 = 4*b + 3*a. Let c = -97/2 + b. Is c greater than -0.1?
True
Let j be 4/18 + (-82)/45. Suppose 0 = 6*w - 7*w - 2. Is w >= j?
False
Suppose 1 + 4 = 5*b. Are 2/3 and b non-equal?
True
Suppose -5*z - 80 = -5*w, -1 + 4 = -z. Suppose 8 = 2*a, 0 = 3*k - a - w - 4. Suppose 0*n - 2*n = -14. Is n less than or equal to k?
True
Let a = 1 - -2. Let g be a/(-9)*0 + -4. Let y = g - -3. Do -1 and y have different values?
False
Let m = 88361 + -4857498/55. Let k = -217/5 + m. Is -2 less than or equal to k?
True
Suppose 0 = 2*l - 4*l - v - 1, 4*v - 11 = -3*l. Is -4 greater than or equal to l?
False
Let p be (2 - 3)*(-1 + 1). Is -82 at most as big as p?
True
Suppose 0*b - 5*b = -2*y - 8, 2*b - 62 = 5*y. Suppose -2*v = 2, 5*t - 5*v + 35 + 35 = 0. Are y and t nonequal?
True
Let m = 10309/3220 + -1/644. Is m < 4?
True
Suppose -m + 40 = 33. Is 4 greater than or equal to m?
False
Suppose 5*c - 10 = 0, -2 = 3*k + 3*c + 2*c. Is -6 at most as big as k?
True
Let p = -3.96 - -4. Let l = -0.04 + p. Do -2 and l have different values?
True
Let f(p) = -p**2 + 8*p + 12. Let q be f(9). Let k be (-1)/(-1)*q/(-9). Let m = 233/7 - 33. Are k and m unequal?
True
Let z(f) = 2*f**2 + 4*f + 2. Let v be z(-3). Suppose 10*n = v*n. Which is smaller: -2 or n?
-2
Let d be -3 + -3*4/(-12). Which is smaller: -5 or d?
-5
Let f(u) = -u**2 + 6*u + 10. Let j be f(7). Let z(n) = -n**3 + 2*n**2 + 5*n - 2. Let t be z(j). Suppose -3*g - 15 = 4*x, -g - 10 = t*x + g. Is -1 != x?
True
Let j = -15.87 + 16. Let v = j + -7.13. Is 0.1 bigger than v?
True
Let t = -13 + 14. Is -3/14 at most as big as t?
True
Let a = -3005430/179 + 16790. Let d = a - 87968/895. Let r = -99 - d. Which is smaller: -1 or r?
-1
Suppose 0 = -3*u - 2*u + 60. Suppose -3*v - 15 = 2*v, 0 = 2*d - 4*v - u. Is d >= 1/13?
False
Suppose 2*a = -0*a + 2. Let n = a - -4. Let q = 8 - n. Are 3 and q equal?
True
Let a = 0.2 + -4.2. Let r = a - -3.7. Let d = r - -0.1. Which is greater: 2 or d?
2
Let t be 1/2 - 6/(-36). Which is bigger: t or 0.16?
t
Suppose y + 3*y = 32. Let d be (100/(15/(-3)))/(-2) + -1. Is y at least d?
False
Let l be ((-6)/(-21))/(248/772). Let s = l + -1/31. Do 1 and s have the same value?
False
Let n be 1/4 - 4/8. Suppose -2*h + 4*v = 18, -5*h + 2*v - 6*v + 11 = 0. Is h greater than n?
False
Let u be (1 - (-1 - 10)) + -2. Let d(l) = -l**3 + 9*l**2 + 10*l + 2. Let n be d(u). Which is greater: 1 or n?
n
Let y = 6 + -3. Let f be (3 + -3)*y/(-3). Which is greater: f or -2/3?
f
Let f = 18 + -11. Is 6 < f?
True
Let v = 4 + 0. Suppose 4*q + v*z = -20, 0 = 2*z + 11 - 3. Which is smaller: 2/15 or q?
q
Suppose 2*o - h + 3*h = -26, -o + 5*h = 13. Let f = o + 6. Is -7 < f?
False
Let g be 0 + 9/(9/3). Suppose -c - 10 = -4*r, 3*c + 3*r = 2*r + 9. Is c >= g?
False
Let k = -28 - -28. Which is greater: k or -1/4?
k
Let q(v) = -v**2 - 7*v - 7. Let g be q(-6). Let c = 227/28 + -33/4. Which is smaller: c or g?
g
Suppose 11 = 5*g + 3*z, 0 = g - 4*z + 3 + 4. Which is smaller: 1/97 or g?
1/97
Suppose 3 = w - 1. Let n(k) = k**2 + 3*k + 1. Let d be n(-4). Which is greater: w or d?
d
Let r be ((-24)/(-21) + -2)/(44/(-77)). Does 2/11 = r?
False
Let c be (-122)/(-14) + (-5)/((-35)/2). Which is greater: 19/2 or c?
19/2
Let o = -0.4 + 1.4. Let h = 81 - 90. Is o != h?
True
Let j be ((-8)/35)/((-18)/21). Is j less than or equal to 1?
True
Let u = 1/45 - 2/9. Is 0 smaller than u?
False
Suppose 5*w = -2*g, -8*w = -3*w - 4*g - 30. Suppose 4*u = 18 + 6. Let l = -4 + u. Is l < w?
False
Suppose -2*l = -3*l + 4. Is 1 <= l?
True
Let f be -2 - (-14 - 1)/3. Suppose -3*q + 3*w = -2 - 1, -5*q + f*w = -5. Let j be ((-3)/(-1*3))/q. Which is greater: -1/5 or j?
j
Suppose 0*y - 3*y - 5*r = -124, 2*y + r - 78 = 0. Which is greater: y or 37?
y
Let a be ((-2)/(-12))/((-1)/(-2)). Let i(r) = -6*r. Let y be i(-1). Suppose -2*s + y*s = 0. Which is smaller: s or a?
s
Suppose 4*p = 6*p. Which is bigger: p or 5/6?
5/6
Suppose 24 = -u + 5*u. Let j be -2 - (-4)/8*u. Let b = 1.1 + 4.9. Which is bigger: j or b?
b
Suppose 5*h - 3*n = 11, 3*h - 4*n - 12 = -h. Let g be (h/3)/(2/(-6)). Is g at least as big as -1?
True
Let l(i) be the first derivative of -i**4/4 - 7*i**3/3 - 7*i**2/2 - 9*i + 2. Suppose 2*g + 14 = 2. Let n be l(g). Is n greater than or equal to -3?
True
Let b = 10103/31 - 326. Is 1 > b?
True
Let y = 0.59 - -0.41. Which is bigger: -0.4 or y?
y
Suppose 0*j = -5*j. Suppose 2*z - 5*g + 11 = j, -2*z + 2*g = 3*z - 4. Suppose 2*u + z = 4*i, 5*i - 1 = -u + 12. Which is greater: i or 4/5?
i
Let q = 10 + -9.94. Let g = 0.26 - 0.2. Let t = q - g. Which is greater: -4/7 or t?
t
Let f be 2*(-3)/12*(2 - -13). Which is bigger: f or -8?
f
Let z be (-4 - -3 - 1) + 0/1. Which is smaller: 18 or z?
z
Let q = 0.151 + -0.031. Which is smaller: q or -1/3?
-1/3
Suppose 0*w + 2 = 2*w. Let s = -86.2 - -73. Let g = 13 + s. Is g >= w?
False
Let q = -140/9 + 419/27. Are q and -1 unequal?
True
Let p be (-1 - 39/(-45))*(-4)/8. Is 0 less than p?
True
Suppose 11*s - 8*s + 75 = 0. Which is greater: -26 or s?
s
Let x = 21 + -24. Is x <= 20?
True
Let a = -5 - 5. Let o be 0/7 + 2/a. Let q = 0 + 0.1. Which is smaller: o or q?
o
Let p = -49 + 30. Which is bigger: -17 or p?
-17
Let p(r) = -r**3 + 7*r**2 - 5*r + 3. Let g = -4 - -10. Let n be p(g). Suppose -4*m + u = -n*m + 16, 5 = m + 2*u. Which is bigger: 1 or m?
m
Suppose -b = 5*t + 22, t - 5 = 2*t. Let h(c) = -c**2 - 2. Let x be h(b). Let d = -32/3 - x. Do 0.2 and d have different values?
True
Let l = -7 + 16. Let k(f) = -2*f + 0*f - 2 + 13. Let a be k(l). Is a equal to -6?
