m + 5*h, 4*m + 4*h + 17 + 15 = 0. Suppose 5*v = -22 - 48. Is m < v?
False
Suppose -2*v + 3*v - 3*m = 5, -4*m = -2*v + 6. Is v at least as big as -1/2?
False
Let u(f) = -5*f + 13. Let r be u(14). Let y = r - -57. Which is smaller: 1/98 or y?
y
Let v(n) = -n**3 - 5*n**2 - 2*n - 6. Let w be v(-4). Let x = -15 - w. Is -2/13 less than x?
False
Let f = 1.989 + 0.011. Is 4/203 less than f?
True
Let y = -2 + 2.2. Suppose 4*u = -2*u + 3*u. Suppose 0 = -2*z + 2*d, u = 3*z + 2*z + 4*d. Which is smaller: z or y?
z
Suppose 10*q - 46 = 11*q. Let f = 51 + q. Which is greater: 1 or f?
f
Let m(y) = -10*y**2 + 70*y + 1. Let z be m(7). Is z equal to 48/43?
False
Let p = -75.9595 + -0.0405. Is 2 at least p?
True
Suppose 5*w - w = -84. Let z be -2 - -5 - (-70)/w. Which is smaller: z or 8?
z
Suppose -4*w - 2*l = 22, 5*l + 1 + 4 = 0. Let a = w - -5. Suppose 3*h - 5*h + f = a, 5*f + 11 = -h. Does h = 1/8?
False
Let l = -188 - -157. Let t = 3.9 + 28.1. Let d = t + l. Which is greater: -15 or d?
d
Let f = -2646 - -18474/7. Suppose 2*k + 12 + 4 = 0. Which is bigger: f or k?
f
Let g(b) = -3*b**3 - 5*b**2 + 21*b - 3. Let c be g(-6). Is 338 equal to c?
False
Let x = 7069 - 1915697/271. Which is bigger: 0 or x?
x
Let w = -218661/76 - -57217/20. Let r = w - -169/10. Which is smaller: 1 or r?
r
Let a = -251 - -2255/9. Suppose 4*n = -3*l + 9 - 0, 0 = -4*n + 4*l - 12. Let w = n - 0. Are a and w unequal?
True
Let b(v) = v**3 - v**2 + v - 4. Let r be b(2). Suppose -60 = -3*m - r*m. Is m less than 12?
False
Let l(p) = -p**2 + 13*p - 10. Let k = -7 - 1. Let o = k - -20. Let y be l(o). Are y and 1 non-equal?
True
Let i(n) = 7*n**2 + 38*n + 14. Let q be i(-5). Which is smaller: -1/297 or q?
q
Suppose 9*j - 379 = -361. Is -73 at most j?
True
Let d = -51/11 + 1217/253. Is -1 less than d?
True
Let u(n) = -n + 14. Let p(s) = -6*s + 71. Let k(a) = -2*p(a) + 11*u(a). Let t be k(-10). Suppose -t*c + 7*c = 0. Is -4/5 greater than or equal to c?
False
Let p be (-7 + 5)/((-2)/(-4)). Let m(g) = -3*g**2 - 6*g - 3. Let l be m(p). Let d = -27 - l. Which is smaller: -2/57 or d?
-2/57
Let t = 56 - 56.1. Let f(j) = j**2 + 2*j - 3. Let a be f(-4). Let h be (-1 - a)/(8/12). Is t at most h?
False
Let k be 2*2/24*4*-1. Suppose 1 - 9 = -l. Which is greater: k or l?
l
Let h(n) = n**3 + 3*n**2 - 7*n - 6. Let q be h(-4). Let y(z) = -z - 3. Let g be y(-6). Suppose -g*i = 11 - 29. Are i and q nonequal?
False
Suppose 0 = 3*v + 3*t - 12 + 3, 0 = -2*v - t + 5. Let m(n) = 12*n + 6. Let i be m(-6). Let g = i - -200/3. Are v and g nonequal?
True
Suppose 70 = 3*y + u, 9*y - 7*y = -2*u + 52. Do 20 and y have the same value?
False
Let y = 804 + -862.3. Let q = y + 61. Let u = -2.8 + q. Is u bigger than -0.7?
True
Let a(p) = 4*p - p - 4*p - 21. Let i be a(-15). Let o be 10/(-15)*i/(-4). Is -4/5 greater than o?
True
Let i(j) = -2*j - 6. Let d be i(-3). Suppose d = -8*y + 3*y + 10. Is 2/3 != y?
True
Let w = 1524 - 1547. Are -28 and w equal?
False
Let r = 15259/5 - 3035. Is r less than 17?
True
Suppose 5*c - 29 = -h - 3*h, -4*h - 3*c = -19. Which is smaller: -1/6 or h?
-1/6
Suppose 0*m = -m + 60. Suppose 4*p + 8 = -2*h, -3*p = -5*h - 15 + m. Suppose i + i = 12. Does i = h?
True
Let b be (134/5)/2 - (-18)/(-45). Let v(z) = z**2 - 12*z - 21. Let s be v(b). Suppose -3*m + 28 = -7*m. Which is greater: s or m?
m
Let g = -125 - -132. Let w be 5/(-5)*((-50)/g - 2). Which is smaller: w or 8?
8
Let i(c) = -2*c**2 + 16*c - 2. Let m be i(8). Which is bigger: -5 or m?
m
Let q be 35/(-14)*84/10. Which is bigger: 2 or q?
2
Let f = 121.3 - 128.37. Let x = f + 6.8. Let r = -0.07 - x. Which is greater: r or -4?
r
Let k be (1 - (-84)/(-100))*-1. Let r(v) = 3*v**2 + 6*v - 1. Let i be r(0). Is k < i?
False
Let i(k) = k - 9. Let y(t) = 5*t**3 + t**2 + 2*t + 1. Let q be y(-1). Let r be i(q). Suppose 0 = 2*l - 4*l - 30. Is l at most r?
True
Suppose 1961*u = 1983*u - 154. Let a = -0.2 - -0.3. Are u and a equal?
False
Let s(w) = -2*w**2 + 11*w - 4. Suppose 0 = 2*j + 4*v - 26, 0*j = 3*j + 5*v - 35. Let b be s(j). Let y = -4 - -10. Are b and y equal?
False
Let b(n) = -16862*n**3 + n**2 + n. Let y be b(-1). Let a = y + -2360641/140. Let j = a - 1/35. Is -2 at most as big as j?
True
Let k = 4 + -7. Let z be 12/(-9) + (-85)/k. Let u be (z/42)/(-2 - -5). Is u at most as big as -1?
False
Let x = 2.9 + 12.1. Let r = x - -8. Let n = -22 + r. Is n equal to 0.04?
False
Let g = -4264.5 - -4239.5. Let t = -0.2 - 0.8. Is g bigger than t?
False
Let j = -88 - -130. Let s = -24 + j. Let i = -22 + s. Are -1 and i nonequal?
True
Let k(g) = -35*g**2 - 31*g - 7. Let q be k(-5). Is q at most as big as -726?
True
Let z be (-116)/(-366) + 0 + (-3)/9. Which is smaller: -1 or z?
-1
Let n = 37 + -37. Suppose 7*x + 19 = 2*g + 2*x, -5*g - 4*x + 31 = n. Suppose 0 = 2*w - 27 + 11. Is w greater than g?
True
Suppose 3*z = -5*c - 7, -2*z + 9 = -4*c - 1. Suppose 5*r + 14 = -2*j - 0, 5*j = 3*r - 4. Is c greater than j?
False
Let y be -3 - (-4 - (-231)/233). Which is greater: y or 0?
y
Let p(g) = 4*g**2 + 8*g. Let d be p(4). Let z be ((-2)/(-8))/((-156)/d). Is 1 smaller than z?
False
Let r be 8*(-5)/(-5) + -3. Suppose -r*f - 5 = -3*g - 0*g, 3*g - 1 = f. Which is bigger: g or 6/17?
6/17
Let u be (15 + -12)/(-3 - 0). Are 11/46 and u equal?
False
Let c = 0.2097 - -0.3903. Is -24/13 greater than or equal to c?
False
Let w = -85 - -90. Let a be (-49)/(-3) + w/(-15). Is 14 greater than a?
False
Let h = -321 + 324. Let u be -8*(1/(-2) + 0). Suppose -b + u = h*b. Which is greater: 3/5 or b?
b
Let c(t) = 801*t**2 - 5*t + 5. Let a be c(4). Let x be 15830/a - -3 - 4. Let o = -1/753 + x. Which is smaller: 1 or o?
o
Let z = 560 + -707. Which is smaller: -149 or z?
-149
Let w = 330445/6324 - 4/1581. Which is greater: w or 53?
53
Let w(i) = -i**2 - 18*i + 16. Let d be w(5). Which is bigger: d or -10?
-10
Let j = -3 - -9. Let k be (-26)/104 + ((-74)/(-8))/1. Let x be (-1)/j - 3/k. Which is greater: x or -0.23?
-0.23
Let j be (-2)/5 - 2134/(-4785). Which is greater: 0 or j?
j
Let x = 7.1 + -6.1. Let d = 8 - 5. Let q be -2 + d/(27/16). Is q smaller than x?
True
Let q = 1.941 - 0.811. Is 3 <= q?
False
Let k = 10.77 + -20.04. Let t = 66.27 + -66. Let x = k + t. Is -0.2 > x?
True
Suppose 4*j + 3894 = -7*j. Let v be (j/1190)/(-1) - (-36)/(-126). Is 0 <= v?
True
Suppose 0 = -2*u - i + 6 + 2, -u = -2*i + 6. Suppose 4*a = u*a - 20. Which is bigger: -9 or a?
-9
Suppose -4*g - 2*w = 90, g - 2*w + 18 = 2*w. Let q = 45 + g. Is q <= 2/7?
False
Let g = -371 - -242. Which is bigger: -130 or g?
g
Let a = -12 + 17. Let j(p) = -12*p**2 - a*p - 5*p + 19 - p**3 - 7. Let d be j(-11). Is -1/9 equal to d?
False
Let t be (-6 + 0)*16/(-3). Let u = t - 31. Which is greater: -1/3 or u?
u
Let q(d) = -6*d + 8*d - 4*d + 42. Let c be q(21). Which is smaller: 2/77 or c?
c
Let k = 26 - -22. Let v = 49 - k. Which is smaller: 7 or v?
v
Let g = -83/308 - -3/154. Which is greater: -13 or g?
g
Let y be 2 + 39*(-3)/9*49. Let b = 20950/33 + y. Is -1 <= b?
True
Suppose 5*v - 86 = 14. Let y be (4/v)/((-2)/10). Which is smaller: 1/3 or y?
y
Let n(j) = -7*j + 6. Let d(g) = g - 1. Let i(m) = -6*d(m) - n(m). Let k(r) = 8. Let l(z) = -i(z) + k(z). Let a be l(8). Is a equal to -2/9?
False
Let i = -33.9 + 34.9. Is i less than -9/8?
False
Let c(b) = 0*b - 2*b + 2 + 2. Let h be c(-5). Let r = -480 + 495. Is r equal to h?
False
Let c = -220 + 139. Is -82 at most c?
True
Let s be (-101)/(-4)*-2*72/36. Is -101 less than s?
False
Let u = 271941/67 - 4059. Are 0 and u nonequal?
True
Suppose 46 - 37 = -h. Let l = -4 + 3. Which is smaller: l or h?
h
Let o = 186 - 184. Which is smaller: -0.006 or o?
-0.006
Let z be (-157)/(-2) + (-3)/(-30)*-5. Are z and 78 nonequal?
False
Let a(o) = o**3 + 5*o**2 + o - 1. Let l be a(-5). Let q be 0 + 2/(l + 4). Are 3/19 and q nonequal?
True
Let z(p) = -2*p**3 - 17*p**2 + 25*p + 43. Let n be z(-10). Is n less than or equal to 93?
True
Let k(w) = 4*w**2 - 2*w + 5. Let y be k(3). Which is greater: 25 or y?
y
Let h = 229 - 229. Which is greater: 3/26 or h?
3/26
Let v = 4.167 + -0.067. Let r = -4 + v. Is -14 >= r?
False
Let h(d) = 5*d - 103. Let n be h(-11). Which is smaller: n or -159?
-159
Suppose -5*q + 10 = -3*n + 5*n, -2*q + 4 = -n. Is q at most as big as 50/17?
True
Let a = 39 + -88. Let g be (14/a)/(0 + -1). Which is 