28. Let u be m/((-2)/11) - (-2 - -2). Are u and -7 nonequal?
True
Let w(k) = 39 - 4*k - 13 + 21. Let g be w(14). Are -7 and g non-equal?
True
Suppose 0 = -4*f + 6*s - 10*s + 216, 0 = 2*f - 2*s - 100. Let z = f + -53. Which is smaller: z or -1/3?
z
Let f(g) = -2*g**2 + g + 10. Let h be f(3). Let n be (-3)/h - 2/(-5). Is n greater than -33?
True
Let y be ((-8822)/2640)/(322/4). Let r = y + 2/345. Is 1 <= r?
False
Let n be 422/(-5) - (-2 - 56/(-35)). Let h be 203/n + 3 - (-2)/(-3). Are 0.2 and h equal?
False
Let a = 222 + -222. Are 50 and a non-equal?
True
Suppose 4 = 2*s - 2*n, 5*s - 7 - 9 = -n. Suppose s*t - t - 22 = 0. Let y(f) = -3*f**2 - 69*f + 160. Let c be y(-25). Is t <= c?
False
Let s be -12*2/60 - 1964/(-10). Which is greater: 1368/7 or s?
s
Let m(h) = -h**2 + 17*h - 9. Let v be m(16). Let x = 6 - v. Let j be (x/(-6))/((-7)/28). Is j smaller than -0.1?
True
Let g = 0.08 - 0.07. Let d = g + 0.09. Let y = 1.4 + -0.4. Which is greater: d or y?
y
Let c = -10184 + 112102/11. Is c at least as big as -0.1?
True
Suppose 0 = 4*n - 20, -4*n + 22 = 5*a + 2. Suppose a = 3*x - 2*x + 6. Which is smaller: x or 0?
x
Suppose -3*f - 2*r + 116 = -7*r, -4*f + 203 = 3*r. Let g(i) = -i**3 + 11*i**2 - 10*i + 1. Let y be g(10). Suppose -t = -2*c - f, t = -c - 3*t - y. Is -21 <= c?
True
Let x = -213.1 + 209.1. Which is smaller: 19 or x?
x
Let z = -0.498 - -2.498. Which is bigger: 0.1 or z?
z
Let p = -10 - -10.06. Let c = 7.1 + -5.1. Which is smaller: p or c?
p
Let w = 2/23 - -36/115. Let r = 34 - 35. Is w > r?
True
Let w(r) = -5*r**2 - 3*r - 10. Let g(k) = 3*k**2 + k + 5. Let y(v) = 7*g(v) + 4*w(v). Let t be y(5). Is -5 not equal to t?
False
Let l(i) = -i**3 - 6*i**2 - 3*i - 12. Let k be l(-5). Is k > -23?
True
Suppose 2*i = -2*i - i. Which is greater: i or -2/2583?
i
Let i = -2002.89 + 1838.9. Let f = i - -131. Let o = 33 + f. Which is smaller: -2/3 or o?
-2/3
Let v = 157 + -155. Let c be 1/(v/(-228))*(-3)/9. Which is smaller: c or 41?
c
Suppose 2*f - 8 = 0, 0*y - 3*y = -5*f - 49. Suppose 3*k + 5*b + 108 = y, b + 105 = -5*k. Let i = k + 16. Is i > -5?
True
Suppose r - 4*j + 14 = -r, -5*r = 3*j - 4. Let q = -6.5 + 42.5. Let f = q + -17. Is r smaller than f?
True
Let a = -835 + 834. Is 2/1001 equal to a?
False
Suppose 14*u + 360 = 5*g + 17*u, u = -5. Does g = 18?
False
Let v be (-7 + (-656)/(-80))/(357/50). Are v and 1 non-equal?
True
Let x be 26/(-7) + 4 - (-32)/(-14). Let m be (-126)/66*1/3. Do x and m have different values?
True
Let c = -9 + 10. Suppose y = 2*s - 6, 5*s = -2*y + 13 + 2. Let b = 43/14 - s. Is b < c?
True
Let m(w) = -w**2 + 24*w + 55. Let u be m(25). Let c = -31 + u. Do c and 0 have different values?
True
Let m = -9 + 12. Suppose -3*k - m*f = f + 49, 29 = -3*k + f. Which is smaller: -1/3 or k?
k
Let q = -1376 - -20641/15. Is q <= -1?
False
Let m = -38291261/4446 + 77512/9. Let k = m + -3/38. Which is greater: 1 or k?
1
Let f(o) = 3*o - 3. Let d be f(7). Let g = d + 3. Which is smaller: 43/2 or g?
g
Let x(y) = -3*y. Suppose 21 = s - 4*b, -5*b - 23 = 5*s - 3*s. Suppose -2*u = -3*u + s. Let i be x(u). Is i less than or equal to -3?
True
Let f be 0*(36/8 - 4). Suppose f = 15*c - 3*c + 108. Is 4 greater than or equal to c?
True
Suppose -2*d - 2*v = 0, -3*d - v - 4 = -4*d. Suppose -3*t + 26 = 4*z, -2*z + 0*z - d = 0. Let r = 3 - -5. Is t < r?
False
Let d = 256 - 1800/7. Suppose -g + 15 = 2*g. Suppose -5*y + 25 = -g*t, 5*y - 4*y = 4*t + 11. Which is greater: t or d?
d
Let j = 41 + 44. Is j greater than 84?
True
Let i = 17 - 16.8. Let k = i - 0. Let g = 0.3 - k. Which is bigger: g or 0?
g
Let z be 18/14 - 8/28. Which is bigger: z or -10/23?
z
Let b be (0/(-2))/(-3) + 4/(-8). Which is smaller: 186 or b?
b
Let c = -10.3 - -0.3. Let s be (-140 - -146) + (-12)/2. Is s greater than c?
True
Suppose -2*g - 20 = -4*g. Suppose n + 24 = -5*l, 2 = -l + 3*n + g. Let s(x) = -x**2 - 7*x - 9. Let a be s(-6). Which is bigger: a or l?
a
Let r = -4 + 3. Let w be -2 - 34/24*-67. Let j = w + -93. Is r bigger than j?
False
Let v be -3 - (5 - 4 - 184/31). Is v > 2?
False
Let g = 460/19 + -270001/11153. Is 1 equal to g?
False
Let b be (-14 - -5)*3/(-9). Suppose 5*p + 2 = -2*f, -3 = 5*p - 10*p + b*f. Let i be p/(-1 + -2 + 0). Which is bigger: i or 6?
6
Let y(t) = -t**2 - 7*t + 11. Suppose 4*z - 6*z - 19 = -k, -z + 4*k - 20 = 0. Let i be y(z). Suppose -8*o = -i*o + 15. Which is smaller: -6 or o?
-6
Let a(j) = j + 2. Let n(f) = 7*f - 4. Let x(h) = 6*a(h) + n(h). Let k be x(4). Are k and 60 non-equal?
False
Let z = -550/13 + 5417/156. Which is smaller: -8 or z?
-8
Let p = 0.048 - 0.024. Is p bigger than -5?
True
Let b = -0.041 + -3.759. Let z = -3.739 - b. Which is smaller: -0.1 or z?
-0.1
Suppose -5*f - 234 = 5*q - f, 0 = 5*f + 5. Is 1 < q?
False
Let k be (6/(-46))/(((-5244)/8)/23). Which is smaller: k or 0?
0
Let a = 39 - 48. Let x be (-53)/a - (-4)/(-18). Which is greater: x or 6?
6
Let a(m) = -m**3 + 12*m**2 + m + 1. Let z be a(12). Let n(o) be the second derivative of o**4/12 - 2*o**2 - 4*o. Let s be n(4). Which is smaller: z or s?
s
Suppose -10 = 2*o - 20. Let m(n) = 18*n - 1. Let b be m(2). Suppose 0 = s + 3*w - 7, 3*w + 12 - b = -5*s. Which is smaller: s or o?
s
Let a(y) = -y**3 + 11*y**2 + 11*y + 17. Let c be a(12). Suppose 4*t = -12, -c*j = -0*t - 3*t - 4. Does 1/50 = j?
False
Suppose 4*x - 21 + 13 = 0. Suppose 27 = -d - x*d. Is d < -9?
False
Let a = -2275 - -2276. Which is greater: a or 6.5?
6.5
Let s = -31/188 - 4/47. Let t(n) = -n**2 + 8*n + 8. Let z be t(-1). Do s and z have the same value?
False
Let v = 0.3505 + -0.0405. Which is smaller: v or -2/7?
-2/7
Let n = -375 + 375. Let p be ((-352)/3)/((-28)/66). Let o = -277 + p. Which is greater: n or o?
n
Let s = 94 + -2255/24. Which is smaller: s or 0.09?
s
Suppose 0 = 3*p - 19 + 22. Is 2/89 less than p?
False
Suppose 4*x = -34 + 98. Suppose g - 1 = h + 5, -2*g = -4*h - x. Suppose -g*s - 28 - 40 = 0. Do s and -1 have the same value?
False
Suppose 0 = -4*t + 12, 0 = 2*l - 5*t - 720 + 213. Is l at least as big as 260?
True
Let d be (6 - 3 - 8)/(0 - 1). Suppose 0 = 2*i - 3*p - 68, 2*p + 3 = -i + 51. Suppose -i = -d*a - 10. Is 1 greater than a?
False
Let c = 93 - 63. Suppose -6*b = -c - 30. Suppose 7*f = b*f. Is 2/73 less than or equal to f?
False
Let l be (-4)/(100/(-31135))*1. Let r = l - 1241. Are r and 4 non-equal?
True
Let q be ((-44)/(-8) - 5)*2. Is 1/61 less than or equal to q?
True
Let v = 204/59 - 11348/3009. Which is bigger: 0.1 or v?
0.1
Let p(r) = -r**3 + 6*r**2 - 2*r + 9. Let k be p(6). Let n be 2/k*15/535. Which is bigger: 0 or n?
0
Let h(z) = -7*z**2 - 2*z - 2. Let f be h(-2). Let y = f - -16. Are y and -10 non-equal?
False
Suppose 5*s = -u + 20 + 10, -u - 12 = -2*s. Suppose -s*f - 140 = -4*f. Let n be 12/f*300/(-18). Is n bigger than 4?
False
Suppose -2*j = -4*p - 8, -p + 4*j - 10 = 4*p. Let w be 5 - ((-7434)/(-1170) - 4/26). Is w at least p?
True
Let r(t) = t**2 + 6*t + 10. Let s be r(-5). Suppose -l - 2*o = 13, -o + 3*o - 17 = s*l. Let c be ((-1)/l)/((-22)/165). Which is smaller: c or -2?
-2
Let g be (4/(-15))/(-4*(-4)/8). Is -0.5 >= g?
False
Let d(r) = -13*r - 53. Let i be d(3). Which is greater: -94 or i?
i
Let v(s) = -1 + 6 - 3 + s + 1. Suppose 3*b = 6*b + 12. Let d be v(b). Is -7/5 at most as big as d?
True
Let z = -59 - -61. Let o be (-12)/(-91) + 1/13*z. Is 0.65 less than or equal to o?
False
Suppose -q - 3*q = 2*p - 84, -5*p = -q + 43. Suppose 3*t = 4*k - 2*t - q, 2*k + 11 = -5*t. Which is greater: k or 8/3?
8/3
Let p = -0.057 - -31.057. Let f = 30.9 - p. Are 9 and f equal?
False
Let k = -279.4 + 257. Let y = -2.6 + k. Let f = y - -19. Which is smaller: f or 0?
f
Let b(y) = 5*y + 9. Let x be b(-4). Suppose 5*h = -o - 13, -3*o - 5*h - 3 = 26. Which is smaller: o or x?
x
Suppose 2*g - 16 = 2*z, -2*g + 5*z + 12 = 4*z. Suppose g*v - 2*m + 0*m - 18 = 0, -4*m + 6 = -2*v. Is v greater than or equal to 31/5?
True
Suppose 21 = 21*z - 42*z. Which is bigger: -1/321 or z?
-1/321
Let c be (-141835)/(-221578) + (-2)/7. Let d = c - 1/686. Which is smaller: 1 or d?
d
Suppose 0 = -13*c + 143 + 481. Is c < 46?
False
Let x(c) = c**2 - 4*c - 19. Let m be x(-3). Let a be (2/370)/(6/(-4) + m). Do 1 and a have the same value?
False
Let h(x) be the third derivative of -x**5/60 + x**4/2 + 13*x**3/6 - 10*x**2. Let p b