16/56. Which is bigger: -7 or m?
m
Let l = 0.11 - 1.11. Let q be 4/6 - 1128/18. Let u = -182/3 - q. Is u >= l?
True
Let p be -3*(-1)/(1 - 2). Let h be (-2)/(((-78)/(-9))/13). Is p > h?
False
Let v = -239 + 290. Is v < 2/3?
False
Let f be (-8)/(-12) - (-14)/(-30). Let o = -91.047 + 91. Let l = o + 1.047. Do l and f have the same value?
False
Suppose -c + 336 = -4*g - 2*c, 2*g - 2*c = -168. Let n = g - -43. Let w = -575/14 - n. Is -1 at least w?
False
Suppose 4*t = -2*b, b - 4 = 2*t - 5*t. Let c = 2 + b. Let a be c/8*(1 + -2). Is 1 less than a?
False
Let y = -505 + 12627/25. Let h(m) = -m + 5. Let p be 0 - -1*(2 + 4). Let l be h(p). Is y greater than or equal to l?
True
Let h(q) = -5 + 6 - 2 - q**2 - 3*q. Let l be h(-3). Which is smaller: l or 3/8?
l
Suppose -4*m + m + 9 = 0. Suppose m*k = k. Let i be ((-294)/(-36) - 8) + -3*20/45. Are k and i equal?
False
Let u(l) = -5*l + 61. Let r be u(16). Which is smaller: r or -20?
-20
Let y = 1.043 + -0.043. Let w = 0.3 - 1.3. Which is smaller: y or w?
w
Suppose 4*a - 30 + 16 = -l, 0 = -3*a - l + 11. Which is smaller: 58 or a?
a
Let o = -51277/3 - -17261. Do o and 169 have the same value?
False
Let z = -60 - -33. Let y be -2 + (-3)/(z/(-8)). Which is smaller: y or -2?
y
Let c = 24.957 - -0.043. Let l = -19 + c. Which is smaller: l or -4?
-4
Suppose 3*l + 268 = -2*d, 6*l - 2*l = d + 112. Which is bigger: -129 or d?
d
Let j be (-8)/(-12) + (-19)/(-3). Let g(i) = -4*i + 1. Let p be g(-1). Suppose -p*r + 47 = 4*x, -3*r + x = -4 - 14. Is j at least as big as r?
True
Let i(p) = p**3 + 5*p**2 + 5*p + 2. Let x be i(-4). Let c(d) = 3*d - 2. Let z be c(-4). Let v be -1 + 1 + x/z. Which is smaller: v or 1?
v
Let y = -68 - -67.9. Let h = -3 - -5. Which is greater: y or h?
h
Suppose 0 = 2*b - 0*f - 3*f, 5*b + 9 = 3*f. Which is greater: 59 or b?
59
Suppose 2*q - v = -q - 23, -2*q - 3*v = 8. Let m be 15/35 + (-193)/q. Suppose -5*u - 2*u + m = 0. Is 3 at most as big as u?
True
Let u(b) = 21*b - 62. Let n be u(3). Is n less than or equal to 2/121?
False
Let f(p) = p + 7. Let h be f(-5). Let l be (-3)/15 + (-64)/(-70). Is h greater than l?
True
Let r = 1.8 + -2. Let y = -4.423 + -0.577. Which is bigger: y or r?
r
Let p be (1 - 1)/(18*(-1)/(-9)). Which is bigger: p or -1/95?
p
Suppose -61*z = -12*z + 538 + 246. Let n be 3 + -1 + 0 - 12. Which is greater: z or n?
n
Let z = 1 - 4. Let f be -3*(z - (-3)/9). Suppose 4*o = 4*i - 20, 12 + f = 4*i. Which is smaller: o or -4/7?
-4/7
Let g(d) = -d - 5*d + 0 + 0*d - 8. Let o(k) = 4*k + 5. Let i(x) = -5*g(x) - 7*o(x). Let u be i(-3). Is 6/13 greater than u?
True
Let j be (-5 - 442/(-91))*(-7 + 0). Are j and 1/272 equal?
False
Let b = -48 + 5. Let f = b - -104. Let i = 87 - f. Is i at least as big as 26?
True
Let n be 1/(-5)*113375/(-150). Let g = n - 149. Which is smaller: 3 or g?
g
Let h = -10 - -6. Let k be 0 + 0 + h + -1. Suppose 3*t - 35*d = -31*d + 5, 0 = 4*d + 20. Is k < t?
False
Let w(z) be the second derivative of -z**5/20 - z**4/6 - z**3/6 + z. Let m be w(-1). Suppose -4*y - 4 = -m. Are 0 and y nonequal?
True
Suppose 4*w = 3*t - 9, -t + 0*t = -3. Suppose 5*v - l + 2*l + 47 = w, 0 = 4*v - 4*l + 52. Let s be (-6)/(-36)*3/v. Is 1 > s?
True
Let g be ((-2)/(-6))/((-190960)/(-21215) - 9). Let d = -283 + g. Which is smaller: d or 5?
d
Suppose 0 = -0*d - 2*d - 12. Let z be (2/d)/(1/3). Suppose 9 = -21*x + 30. Are z and x nonequal?
True
Let k(n) = n + 3. Let h be k(9). Suppose 4*p = -2*o + 38 + h, -4*o = 2*p - 28. Let x be (-1)/2*40/p. Does x = -3?
False
Let w = 1.71 + 0.09. Let f = -443/3 - -146. Let s = 1 + f. Which is bigger: s or w?
w
Suppose 0 = -d + 2*s - 7, -7*d - 5*s = -3*d + 28. Suppose -7*u - 11 = 24. Let w(m) = 2*m**2 + 12*m + 3. Let y be w(u). Is d less than y?
False
Suppose -24*s - 54 = -18*s. Let d be s/6*(-476)/(-21). Is -33 at most d?
False
Suppose 3*q + 0 = 189. Let x be (-8)/(-2) - 396/q. Which is smaller: x or -1?
x
Suppose -2*j - 3 = -13. Suppose -4 = -q - 2. Suppose 16 = q*g + 6. Is j >= g?
True
Let x be -2 - (165 + (8 - -3)). Which is smaller: -180 or x?
-180
Let q(p) = -p**2 + 1. Suppose 0 = 3*n + 5*b + 25, 5*n = 2*n - b - 5. Let g be q(n). Which is bigger: -1/27 or g?
g
Let i = 0.013 + -34.013. Let l = 33.9 + i. Which is greater: 2/15 or l?
2/15
Suppose 2*q + 0*n - 36 = n, -2*n + 80 = 4*q. Suppose h + q = -5*m, -14 = -2*m + 8*h - 3*h. Which is bigger: -6 or m?
m
Let m = 100/133 - 6/7. Let w = -33 + 45. Let h = 13 - w. Which is bigger: m or h?
h
Suppose -z + b = 66, 6*z - 2*z = -4*b - 248. Suppose 0 = 8*n - 51 + 555. Which is greater: z or n?
n
Let o be (-4790)/(-40) - 1/(-4). Let c be ((-3)/(-1))/(12/o). Suppose c = 2*r + 2*s, -2*r - 5*s + 56 = 2*r. Which is smaller: r or 20?
r
Let q be (-29336)/(-91289) - (0 + (-4)/(-22)). Which is smaller: -1 or q?
-1
Suppose 7085 = -8*s + 2565. Is -565 smaller than s?
False
Let f be (-1384)/3260 + (-4)/(-10). Which is bigger: f or 1?
1
Let z(l) = -4*l**3 + l**2 - l. Let o be z(1). Let p be 0*1/(o/6*3). Let s be 2/4 + (-6)/(-4). Which is smaller: s or p?
p
Suppose 2*k + 180 = 7*k - 3*u, -u = k - 28. Let w = -45 + k. Is -9 at least w?
True
Let l = 0.87 + -159.87. Do 0.05 and l have the same value?
False
Let f be (627/6)/(-11)*-8. Which is smaller: f or -2?
-2
Let f = -20 + 22. Suppose -2*p + 14 = -f*v - 2*v, -4*p + 3*v = -33. Let d = -15 + p. Are 3 and d unequal?
True
Suppose 2*p - 2*n + 250 = 7*p, -2*p - 5*n + 79 = 0. Suppose -k - p = -5. Which is smaller: -48 or k?
-48
Suppose -5 = y, -2*g + 2*y - 4*y = 2. Suppose 0*c + 26 = 3*c - 2*n, -g*n = 16. Let m = -3 - -1. Is m less than c?
True
Let t(v) = -v - 12. Let z be t(-14). Suppose 13 = z*g - 21. Which is smaller: 15 or g?
15
Let c be 261/(-6)*4/(-6). Let g = -27 + c. Which is smaller: 5/7 or g?
5/7
Let b = 5995/2 + -2933. Let c = 65 - b. Do 2/77 and c have the same value?
False
Let u be (6/(-3))/(-1) - -177. Let r = 1077223/33 + -98468/3. Let y = u + r. Which is bigger: -1 or y?
y
Suppose -4*f - 2*l = 240, f + 2*f + 180 = -l. Let d = f - -58. Is 0 < d?
False
Let h(s) = 2*s**2 - 2*s - 23. Let f be h(0). Let k(b) = -b**2 + 2*b + 2. Let x be k(-4). Is x equal to f?
False
Let n = 7 + -3. Let h = -33 - -60. Suppose 0 = 4*x - h + 7. Do n and x have different values?
True
Let y = -44 - -42.4. Let m = -1.5 - y. Do 25 and m have different values?
True
Let z = -1264 + 849. Which is bigger: z or -416?
z
Let h = 230.2 + -230.5. Is -274 not equal to h?
True
Let h = 135 + -50. Which is smaller: h or -0.1?
-0.1
Let d = 3331176 - 14074218963/4225. Let c = -1/169 - d. Suppose 0 = -3*a + 3, -3*l + 5*a - 2*a = 0. Is c less than l?
True
Let t = 2/1091 - -29449/4364. Which is smaller: t or 6?
6
Let x be (21/(-15))/((-8)/5). Let d(n) = -6*n + 32. Let p be d(5). Which is smaller: x or p?
x
Suppose -6*k - 36 = -24*k. Let d = 150 + -80. Let i be (-24)/d*28/(-8). Is k less than or equal to i?
False
Suppose -t - 3*a - 6 = 0, a + 10 = 3*t - 4*a. Let h(o) = 14*o - 5*o + 4 - 8*o. Let q be h(-3). Which is bigger: q or t?
q
Suppose 427 + 15 = -13*y. Is y less than or equal to -20?
True
Suppose -4*w - 3*s + 13 = -2*w, 0 = -3*s + 3. Let c(z) be the third derivative of -z**6/60 - z**5/30 + z**4/12 - 2*z**2. Let r be c(-2). Is w less than r?
False
Let r be ((-1)/(-3))/(-1) - (-13)/3. Suppose 54 = 6*x - r*x - 2*v, -x = -3*v - 23. Which is bigger: x or 2?
x
Let x = -4 + 9. Suppose 0 = x*g + 2*o - 110, 4*g + 5*o = 4*o + 85. Is 19 > g?
False
Let a be (-6)/21348*-6*(-8)/(-4). Is a > 0?
True
Let s = -26/111 - 16/37. Which is greater: 0 or s?
0
Suppose 2089 = -5*y - 3*r, 6*y - y + 2074 = 2*r. Do y and -418 have the same value?
False
Let n = -12 - -100. Let b be 385/n - (-1 + 5). Which is smaller: b or 1?
b
Let j be 172/(-40) + (-27 - -31). Let n(k) = k**2 - k - 1. Let r be n(1). Which is greater: r or j?
j
Let y be 28/49*7/6. Suppose 5 = 3*s - 4*v, -s - 12 = s + 5*v. Let l = s + 7. Which is smaller: l or y?
y
Suppose -4*a = -18*a - 812. Let z = a - -173/3. Are z and 0.33 equal?
False
Let l(k) = -2*k**3 + k**2. Let q(s) = -s - s**3 - s**2 - 7 + 7. Let d be q(-1). Let v be l(d). Is -10/9 less than or equal to v?
True
Let s be (-13 - (-804)/60) + (-13)/(-5). Which is smaller: -2/9 or s?
-2/9
Let o = -10739/8 + 1351. Let y = -107/8 + o. Suppose 6*k - 4*k + 8 = 0. Which is smaller: y or k?
y
Let g = -9.04 + 10.04. Is 