3) - f). Let d = y - -72. Is -1/4 != d?
True
Let k = -27.964 - 0.036. Let w = k + 22. Is w bigger than -5?
False
Suppose 0 = q + 3*s - 15, q - 5*q - 2*s + 30 = 0. Suppose -r = q - 7. Are 1/14 and r non-equal?
True
Let q be (1 + 3/6)*-8. Let c be ((-112)/21)/((-2)/q). Which is smaller: -33 or c?
-33
Let o(j) = 2*j - 6. Let l be o(3). Suppose 4*z = 5*z + 4, l = -2*x + 2*z - 88. Let h be (2/36)/(32/x). Which is smaller: 0 or h?
h
Let y = 58 + -56. Suppose b - 4*b - 2*s + 36 = 0, -s + 23 = y*b. Is b less than or equal to 10?
True
Suppose -2*s - 14 = 2*w, -s + 1 = -2*s. Let v be (-15)/(-15) + 69/(-12). Which is greater: w or v?
v
Let m = 11/3 - 10/3. Suppose -6 = 3*b - 0. Let o be b/5 + 144/210. Which is smaller: o or m?
o
Let i(d) be the first derivative of -63*d**2/2 - 13*d + 2. Let g be i(7). Let h = g - -9536/21. Which is greater: 0 or h?
h
Let u(n) = n + 3. Let c(t) = t**3 + 3*t**2 - 2*t - 2. Let g be c(-3). Let j be u(g). Suppose -5*f - 4*y - 15 = 0, -15 = 2*y + y. Do j and f have the same value?
False
Let d(a) = -175*a**3 + 2*a**2 - 2*a + 1. Let q be d(1). Let t = q - -110. Is t equal to -63?
False
Let l(n) = n - 8. Let v be l(10). Let k(x) = -x + 2. Suppose 3*s = -2*s. Let h be k(s). Is v less than h?
False
Let s = 627 + -359. Is s smaller than 268?
False
Let v be (3 + -1)/((-2)/(-4)). Suppose k + 0*k - 66 = -5*h, 2*k - 62 = -5*h. Let o be h/(-24) + (-3)/(-9). Is v >= o?
True
Let t = -49 - -26.8. Let p = t + 23. Let f = -1.2 - p. Is f at least as big as 1/2?
False
Let p(f) = 4*f**2 + 121*f + 59. Let u be p(-31). Which is greater: u or -9?
u
Let m(r) = r**2 - 7*r + 3. Let k be m(7). Let y be (k*1/12)/(7/56). Do y and 0 have the same value?
False
Let v(h) = -h**2 - 19*h - 55. Let b be v(-23). Which is greater: b or -148?
b
Suppose 0*h + 96 = 6*h. Let o be (h - 17) + (48/2 - -1). Suppose 5 + 20 = x. Is x at least o?
True
Suppose 3 = 4*a - 1. Let r = 21 + -17. Let m be r/(-9) - (-1102)/171. Is a at least m?
False
Suppose 3*t + 9 = 0, 0 = 2*i + 6*t - 8*t + 418. Is i greater than or equal to -214?
True
Let f be (-8 - (-13 + 8)) + -56. Does -63 = f?
False
Let r(m) = -m**3 - 14*m**2 + 14*m - 19. Let i be r(-15). Let a(b) = b**2 + 2*b - 8. Let n be a(i). Is 1/6 > n?
True
Let x = 466624/1521 + -2761/9. Which is bigger: -1 or x?
x
Let n(v) = 4*v - 23. Let g(t) = -t**3 + 14*t**2 - 10*t - 28. Let b be g(13). Let i be n(b). Which is greater: 19 or i?
i
Let d(h) = -h**3 + 5*h**2 - 3*h - 4. Let w be d(4). Let a = 436368 + -4806510/11. Let z = a - -588. Which is smaller: w or z?
w
Let y be (-38)/2 - (-1)/1. Suppose 0 = 3*x - 3*l, x - 3*l = 2*x - 12. Let b be -5 - ((-12)/x - -18). Which is bigger: b or y?
y
Let i(m) = m - 8. Let q = 27 + -21. Let s be i(q). Is -2 less than or equal to s?
True
Suppose -2 = -15*g - 17. Is g smaller than 2/59?
True
Let i = 0.066 - 6.066. Let x = 35 + -25. Suppose -a + x = -5*v - 2*a, 4*v - 16 = 4*a. Which is smaller: i or v?
i
Suppose -9 = -4*a - 1. Suppose -5 = -a*g + 5. Suppose -g*n = -2*n + 9. Which is smaller: 2/7 or n?
n
Let s = 6573 - 6568. Let z = -841/3 - -284. Is z bigger than s?
False
Let n be (-1)/27*-9 + 0. Is 11 at most n?
False
Let i(p) = p - 6. Let y be i(4). Let q be (-12)/y*(-150)/4. Let n be 20/6*(-108)/q. Is 1 equal to n?
False
Suppose 15*x - 17*x = 40. Let j be 78/x*(-1840)/15. Let b = -480 + j. Which is bigger: -3 or b?
b
Let g = 1.15 + -0.05. Let y = -0.1 + g. Is -1.6 > y?
False
Let d be (-4)/395*(6 + 4 + -5). Do d and -3 have the same value?
False
Let v be (-1)/(-1*(-2)/(-14)). Let w be -2*2/(-8) - 188/(-8). Suppose t + 1 = -3*y, 5*y + w = t + 1. Which is smaller: v or t?
v
Suppose 3*a - 21 = -4*t, 37*t - 36*t + 9 = 4*a. Which is bigger: t or 66?
66
Suppose -7*r + 2*w - 7086 = -r, 2*r - w + 2361 = 0. Which is greater: -1181 or r?
-1181
Let m(d) be the third derivative of -d**6/120 - d**5/60 + d**4/6 + d**3/6 - 7*d**2. Let w be m(-3). Is 1 smaller than w?
True
Suppose 18 = 5*h - h + 3*w, 4*w = -5*h + 22. Suppose 4 = t - h. Is 10 bigger than t?
False
Let r be 17876/(-981) - 8/(-6). Which is smaller: r or -18?
-18
Suppose 5*c + v - 5*v + 25 = 0, 0 = 2*v + 10. Let k be 1 + 1 - (-2)/1. Let x = c + k. Is x greater than or equal to -4?
False
Let h be 2/(2 - -4)*3. Is h equal to 40/103?
False
Let q = 201/2 + -601/6. Suppose -1 - 3 = 4*w. Is q equal to w?
False
Suppose 0 = -0*d - 12*d - 816. Suppose g - 2*g - 68 = 0. Do d and g have the same value?
True
Let j = 5.96 + -6.26. Is j <= -2/389?
True
Let a = 0.053 - 36.053. Let g = 37 + a. Let j = -4 - -3.7. Which is greater: g or j?
g
Suppose -3*u - t - 73 = 0, 5*u + t = -183 + 62. Which is greater: -23 or u?
-23
Let h = 2045435/256 + -7990. Let r = h - -1239/11008. Which is bigger: 0 or r?
r
Let j = -36 - -12. Let r be (2539/(-3))/((-88)/j). Let l = -231 - r. Which is smaller: 0 or l?
l
Suppose 0 = 5*j + 4 + 1, 336 = -2*s - 4*j. Which is smaller: -168 or s?
-168
Let h = 39 - 38. Let u be (63/(-28))/(h/(-4)). Are 19/2 and u equal?
False
Let c(r) = r + 26. Let f be c(-16). Let l be 2/(1*(-5)/f). Is l greater than or equal to 3?
False
Suppose 228 = -o - 3*o. Let n = 37 + o. Is n at least -18?
False
Let u = -4279 + 436463/102. Is u > 1?
False
Let d = -7 + 16. Suppose 3*o = -h + 15, 2*o - 20 = -h - d. Suppose -1 = 3*w - k + 4, -4*w - 12 = -o*k. Which is greater: w or 2/9?
2/9
Suppose 5 - 5 = 4*s. Suppose s = 10*a - 3*a. Which is smaller: a or 1/35?
a
Let i = 216.6 - 218. Is i at least -13/2?
True
Suppose 0 = 5*x - 5*m - 5, 8*m - 1 = -x + 3*m. Let v(i) = -46*i**2 + 5*i + 4. Let p be v(-1). Let o = 49 + p. Is o greater than x?
True
Let u(r) = 1. Let v(c) = -12*c + 8. Let n(y) = -3*u(y) + v(y). Let a be n(15). Let h = a - -357/2. Which is bigger: h or 5?
5
Suppose -o = 5*j + 125, 4*j - 167 = 4*o + 237. Let z = o + 105. Which is bigger: -3/10 or z?
z
Suppose 0 = -7*v - 10*v - 10166. Is -598 less than or equal to v?
True
Let k = -15.9 + 15. Let o = 0.32 + -1.12. Let m = k - o. Do 0.06 and m have the same value?
False
Let m(b) = 2*b + 11. Let a be m(-4). Suppose -5*t - 6 = 3*s + 7, 5*s - 35 = a*t. Which is smaller: -3 or t?
t
Let s(m) = 7*m + 48. Let h be s(-7). Let a be (-1)/(h + (-324)/(-327))*-1. Which is bigger: -108 or a?
-108
Let z = 21988 + -21983.1252. Let c = z - -0.0352. Let u = -0.09 - c. Which is smaller: u or 0.1?
u
Let y = 159.6 - 159.2. Which is smaller: 50 or y?
y
Let w be (2 - 3)/(-2)*-2. Which is bigger: w or -5/7?
-5/7
Let y be (2/(-4) + 1)/((-318)/6519). Which is smaller: y or -11?
-11
Let z = -41.07 + 41. Let x = z + 0.07. Is -16 greater than x?
False
Let c = 57.6 - -4.4. Does 7 = c?
False
Let r be 9/6 + 12974/(-52). Is r >= -247?
False
Suppose g = -5*h + 17, 2*h - h - 2*g - 10 = 0. Suppose 20 = -4*p + h. Which is smaller: -3 or p?
p
Let l be (-696)/145*(-10)/3. Which is smaller: 0.8 or l?
0.8
Let s be (11 - 12)*(-1 - -1). Suppose 38 = -3*m - 16. Let b be (1 + m/21)*(-4)/12. Which is greater: s or b?
s
Let d = -855 + 952. Which is smaller: 96 or d?
96
Suppose 0 = -4*y - 7*y + 22. Suppose -y*m = a + 74, 2*a - 4*a + 62 = -2*m. Is -35 > m?
False
Let w be (-12)/(-16)*(2 - -2*13). Let h = 19 - w. Let t = -209/42 + 17/6. Is t less than h?
True
Let c = 1.51 + -0.01. Let m = 117 + -113.5. Let h = m - c. Is h at least as big as 2/7?
True
Suppose k - 5 = -4*g + 7, -5*g = 3*k - 15. Let s be (g - (2 + 0)) + -2. Let j be 0 + 8/15 + (-12)/9. Is s less than j?
True
Let o = -53.9 + 54. Is o equal to -64?
False
Let w = 10 - 11.6. Let l = 0 + w. Which is smaller: 4 or l?
l
Suppose -4*g = -4*w - 20, -5*g - 23 = 5*w + 2. Suppose -3*x - 4*h = 17, g = -3*x + h + h + 13. Let i = -8/5 - -52/45. Which is smaller: i or x?
i
Let s = -68 - -63. Let h be 2*4*s/(-470). Is h smaller than -0.1?
False
Suppose 0 = 2*a + 2*a - 4. Let l = -12 + 13. Let s be -1 + l/((-14)/(-10)). Which is greater: a or s?
a
Let u = -1440499/500 + 2881. Which is greater: 1 or u?
1
Suppose 57*h - 32*h = 5150. Does 206 = h?
True
Let v be ((-4)/106)/(1/2). Suppose -12 = -3*w + 3*r, -603*r = 3*w - 602*r + 8. Which is bigger: w or v?
v
Let x be 4 - 2 - (16 + 1) - 3. Let a be (((-84)/x)/(-7))/((-7)/2). Is a at most -1?
False
Suppose k + 2*y - 7 = -0*k, -4*k + 50 = -3*y. Suppose -l - 4*a + k = -2, -3*l - 3*a + 12 = 0. Let v(t) = 7*t. Let f be v(l). Which is greater: f or 5?
f
Let f = -0.1 + 0.1. Let o(p) = -p**2 