 4. Is d greater than or equal to l?
False
Let w be 1 - (744/(-5) + 2/(-10)). Let n(k) = 5*k**2 + 25. Let f be n(-5). Is w > f?
False
Let u be (1042/10)/(2/(-4)). Let y = u + 1564/5. Let i = y + -104. Are 1 and i nonequal?
True
Let a(c) = c**3 + 4*c**2 - 5*c - 11. Let h be a(-5). Let f = -9 - h. Which is bigger: f or -1/20?
f
Let g be (-2 - -3) + -4 - -1. Let h(i) = 2*i**2 - 2*i - 1. Let a be h(2). Let b = -1 - a. Is b <= g?
True
Let u be (-2)/5 + (-816)/(-1890). Let g = -105 + 106. Which is greater: u or g?
g
Let y be 72346/183*(2 + (-21)/6). Is y smaller than -594?
False
Let j = -204.9 - -205. Which is smaller: 14.8 or j?
j
Let w be (-6)/46*(-4)/6. Let a(x) = -3*x - 21. Let p = -40 + 33. Let l be a(p). Is l != w?
True
Let d(m) = -3*m - 16. Let h be d(-7). Suppose 3*b = h*b - 2. Is b < -2/57?
False
Let f(w) be the first derivative of w**3/3 + w**2 + w - 57. Suppose 2*i = -4*y + 4, 5*i - 3*i = 3*y + 11. Let s be f(y). Which is bigger: 1 or s?
1
Suppose -5*i - 30 + 0 = -2*s, 2*i + 18 = 2*s. Suppose -s*d = -d - 56. Is 14 > d?
False
Let m = 3 - 8. Let y be (-2 - m) + (-916)/304. Let k = y + -71/380. Which is smaller: k or 0?
k
Suppose -4*w - 14 = -c - 7*w, 2*c = -2*w + 16. Let z be (36/42)/(6/28). Which is smaller: z or c?
z
Suppose -2*d + 4*c + 128 = -c, 4*c - 92 = -2*d. Suppose w = 28 + 27. Is w bigger than d?
True
Let t = -142 + 163. Which is bigger: 24 or t?
24
Suppose 13*n - 19*n = 6. Let r = 127 + -481. Let f = 1777/5 + r. Which is smaller: n or f?
n
Let g be (84/(-49))/2*224/(-6). Is 222/7 smaller than g?
True
Let q(b) = b**3 + 6*b**2 + 6*b + 7. Let n be q(-5). Suppose -n*a = -5*h - 9, -3*a + 3*h + 0*h = 0. Is a < 1?
True
Suppose -607*g = -620*g. Is 1/1260 greater than g?
True
Let h be (2 + 0)/(6/12). Suppose -x + 2 = -0*x. Suppose -3*f + x - 5 = 0. Is h equal to f?
False
Suppose -3 = d + 2*d. Let g = -0.19 + 0.32. Let c = g - -2.87. Which is smaller: c or d?
d
Let f = -2.9 - 10.1. Let x = f + 14.2. Let r = -2.2 + x. Is 3 < r?
False
Let w(k) = k**2 - 6*k - 39. Let j be w(11). Which is greater: 20 or j?
20
Let t = -151.54 - -153. Let f = t - 1.4. Which is greater: -0.1 or f?
f
Let j be 1287/(-4529) - 15/(1155/(-22)). Which is smaller: j or 0?
0
Let t = -5 - -8. Suppose 6*s - t*s + 9 = 0. Is s less than -1?
True
Let q be 53/17 + 18/(-153). Suppose -6*n - 1 = -n - q*s, 7 = 5*n + s. Is n less than 2?
True
Let a be (-6)/4*(-1)/(-8) + 0. Let x = 44 - 44. Which is bigger: x or a?
x
Let c = -34 - -39. Suppose 6*j - c*j = -8. Which is smaller: -2 or j?
j
Let w be 13/39*(-3)/(-2). Does 16 = w?
False
Let p(b) = -b**2 - 3*b - 3. Let r be p(-2). Let j be 4/16 - (-55)/4. Suppose -18*v = -j*v. Which is bigger: v or r?
v
Suppose 2*q + 5*b - 421 = 0, 5*b - 218 = -q - 0*b. Is q >= 203?
True
Let r = 13418/65 - 1032/5. Let m = -90 - -92. Let f be (-132)/(-168) - (9/(-6) + m). Which is smaller: r or f?
r
Suppose -g - 7 = 5*v, -3*v - 2*v = 3*g + 11. Let d be (3536/22)/(4/(-8)). Let z = -322 - d. Is z less than v?
False
Let r = 800 + -791. Which is greater: -49 or r?
r
Let x be (4 + 2)/30*0. Which is bigger: x or 39?
39
Let q be 4/((-244)/(-3))*16628/(-918). Let y = -2/1037 - q. Which is smaller: 0 or y?
0
Suppose 2*t - 37 = -5. Suppose -10 = -6*w + w - 5*l, t = -4*w + 4*l. Is 1/6 at least w?
True
Let n be (-224)/(-70) + 2/(-10). Suppose -12 - 40 = l - 4*b, -n*l - 4*b - 76 = 0. Are -34 and l nonequal?
True
Let i = -46.985 - -47. Let n = i - 7.015. Which is bigger: n or -2/7?
-2/7
Suppose -7*f + 15*f + 360 = 0. Which is smaller: f or -43?
f
Suppose q - 2*v + 3*v = 0, 5*q + 9 = 4*v. Which is smaller: q or -16/13?
-16/13
Let d be (-2)/(-1 + 1 + 4). Let x = 0.0876 - -12.6224. Let p = 13 - x. Which is smaller: d or p?
d
Suppose 4*d = -2*x + 26, 0 = 3*x + 7 + 2. Is d greater than or equal to 49/6?
False
Let p = 42.87 - 42.8. Suppose -2*t = 2*t - 16. Suppose -u + t*o = -4 + 22, -3*u - 3*o + 21 = 0. Is u > p?
True
Let x be (-17)/((-68)/8) - -7. Which is smaller: x or 52/5?
x
Let d(s) = -s**3 + 5*s**2 + 6*s + 2. Let c be d(6). Suppose -5*q + 3 = 2*k, -c = -4*q + 6*q. Are k and 2 non-equal?
True
Let j be (4/5)/((-117)/(-80)). Let z = -10/13 + j. Is z > -1?
True
Let q(z) = -4*z - 30. Let j be q(-8). Suppose -2*s - 226 = -j*a, -6*s + 4*s = -3*a + 231. Which is smaller: s or -107?
s
Let v = 12.94 - -0.06. Let l = 15 - v. Which is smaller: l or -0.3?
-0.3
Let g be 4/6 + (-690)/9. Let n = 13160 - 13237. Which is smaller: g or n?
n
Suppose 0*f = 2*j - 3*f + 4, -4*f = j + 2. Let b = 16 - 6. Let k be b/(-4) + (-2)/(-4). Is k > j?
False
Let f be ((-1)/(-3))/((-7)/63). Let z(r) = -r**2 - 11*r - 24. Let i be z(f). Do 5/63 and i have the same value?
False
Let k = -4077 - -4078. Let n be (57/(-27) - -2)*-7. Which is greater: k or n?
k
Let i = 2.8818 - -0.1182. Which is bigger: 274 or i?
274
Let n(r) = -r - 20. Let q be n(-20). Let u be 2 + -1 + 31 + -2. Suppose 0*f - 3*f = u. Is q < f?
False
Let o be (828/24)/(-3) - (-1)/2. Which is smaller: -31 or o?
-31
Suppose a + 17 = 3*s, -1 = a - 4*s + 20. Is a not equal to -14?
True
Let h = -0.0624 - -23.3624. Is h smaller than -1?
False
Let r = -19 - -46. Let q = r - 27.1. Which is bigger: -3 or q?
q
Suppose -2*v + 19*v = 0. Is -2/1975 less than v?
True
Let d = 59 + -16. Let f = d - 14. Which is smaller: -0.1 or f?
-0.1
Let r(d) = 2*d**2 - 24*d. Let w be r(12). Suppose 5*v = 0, -3*v = 3*u - w*v - 45. Which is bigger: u or 17?
17
Let f(h) = 6*h**2 + 4*h + 4. Let t be f(-5). Suppose 2*s = 5*w - 65, w + 2*w - t = 5*s. Let a = -26 - s. Which is greater: -12/5 or a?
a
Let k = -1433/5 + 287. Which is smaller: 336 or k?
k
Let d = -2.1 + 2. Let a = -62 + 45. Let i = -37 - a. Are d and i equal?
False
Let p be 4 + 3/6*2. Suppose h = -u - 3*h + 25, -143 = -3*u + p*h. Is u bigger than 42?
False
Suppose 7 = 3*c - 4*j + 3*j, 3*c - 3*j - 9 = 0. Suppose -2*n + c - 12 = 0. Let y be (-3)/(-6) + (17 - 21). Which is greater: y or n?
y
Let p be -2 + (-35)/7 + 8. Which is smaller: p or -8/159?
-8/159
Let n = 425/74 + -35831/518. Which is bigger: n or -62?
-62
Let w = -15 + 24. Suppose -3*b = 3*k - w, -2 = 5*b - 2*k + 11. Which is smaller: b or -15?
-15
Let y = -0.6 - -0.2. Let s(l) be the first derivative of -l**3/3 + 3*l**2 - 2*l - 23. Let x be s(6). Which is smaller: x or y?
x
Suppose l + d + 2326 = -5603, 4*l = -d - 31713. Let v be 2 - (3 + l/44). Let o = v + -179. Are -2 and o nonequal?
True
Let l = 1739 - 222591/128. Let z(p) = -6*p - 35. Let i be z(-6). Is l less than i?
True
Let r = 802.17 - 759. Let w = 43 - r. Let b = 2.83 - w. Is -2 greater than or equal to b?
False
Let g = 3.02 + -3.12. Is g < 203?
True
Let g = 690.88 + -690. Is 11 greater than g?
True
Let j(x) = 8*x + 23. Let h be j(-10). Let i be 15/(-10)*(0 - (-1)/h). Which is greater: i or -1?
i
Suppose -t = 2*t + 15, -f + 3*t = -20. Is f greater than or equal to 50?
False
Let b(i) = i**3 + 10*i**2 - 10*i + 11. Suppose 9*c - 33 = 12*c. Let y be b(c). Let q be (-3)/(-18) + 4/(-6). Is y not equal to q?
True
Let v = -840 - -1159. Is v >= 319?
True
Suppose 29*w - 1262 - 507 = 0. Is w bigger than 62?
False
Suppose -24*a + 152 + 16 = 0. Is 8 at most as big as a?
False
Suppose 0 = 5*p - 3*f + 12, 4*p + 5*f + 7 - 27 = 0. Let y(n) = -2*n + 28. Let u be y(15). Let k = p - u. Which is bigger: 8 or k?
8
Suppose 2*z - 1 = 3*z. Let q(p) = 2*p**2 + 6*p + 4. Let t be q(4). Let u be 69/t + -3 - -2. Which is greater: z or u?
u
Suppose 10 = -3*d + 13. Is 2/561 at least as big as d?
False
Let l = 351/4 + -87. Are 16 and l non-equal?
True
Suppose -p = -2*z + 6*z + 15, -3*p = 3*z + 18. Let m be 1 - (z/(-3) - -9). Is m less than or equal to -9?
True
Let n = -16.21 - -16.2. Are n and 16 equal?
False
Suppose 25*y = 41*y + 160. Which is smaller: -11 or y?
-11
Let w be (178/(-4))/((-90)/(-36)). Is w > -19?
True
Suppose 2*n + 2*n = 32. Let i(x) = 2*x**2 - 10*x + 2. Let k be i(4). Let t = k + n. Is t smaller than -3?
False
Let u be (3304/1589 - 2)/((-12)/8). Is 0 greater than u?
True
Let t be (-5)/15 + 86/6. Suppose 0 = -5*l + t + 6. Suppose l*g - g - 2*s - 5 = 0, 4 = g - 3*s. Is 1/2 > g?
False
Let v be (-1)/118*(2 + -4). Let g = v - -79/2301. Let r be 2*(3/2)/(-3). Which is smaller: g or r?
r
Let d = -9549 - -76517/8. Do 15 and d have the same value?
False
Suppose 5*p = -i - 55 - 164, 4*i - 4*p + 852 = 0. Which is bigger: 