 n be ((-18)/(-8))/((-3)/(-24)). Let h = 26 + 25. Let g = h - 32. Is n bigger than g?
False
Let a be (16 + (-95088)/5940)*(-5)/(-2). Suppose 0 = 4*k - 0*k - 3*r - 3, 3 = -3*r. Which is bigger: k or a?
k
Let h = -4065 + 4109. Do 217/5 and h have the same value?
False
Let q(w) = w**3 + 11*w**2 - 4*w + 2. Let z be q(-11). Suppose -z*y + 15 = -41*y. Let x(o) = o**3 - o**2 + o + 3. Let u be x(y). Do u and 23 have the same value?
False
Suppose -5*l + 10 = -0*l. Let n be l/(-4) + (-65)/(-60). Is 2 at least n?
True
Suppose -4*f - 12 = x, 2*f + 6 = x - 2*x. Suppose b - 3*u = -0*u - 1132, 4596 = -4*b - 5*u. Let q = -74362/65 - b. Are x and q unequal?
True
Let q(j) = -j**2 - 9*j + 11. Let w(i) = -11*i + 6. Let v be w(-6). Suppose v = -n + 62. Let l be q(n). Is l less than or equal to 4/37?
False
Let o = 42.082 + -0.082. Let d = 41 - o. Let y be 51/(-9) - -2 - -4. Is y at least as big as d?
True
Suppose -1037 + 333 = 4*c. Let n be ((-6)/(-8))/((-462)/c). Which is bigger: -5/196 or n?
n
Let i be (20/(-45))/(-2 - 912/(-9)). Is i at most -1?
False
Let z = 119.5 + -122.8. Let s = 12.06 - 12. Let c = s + -0.16. Which is greater: z or c?
c
Let v(t) = -5*t**3 - 365*t**2 - 5*t - 366. Let l be v(-73). Let s = -376/1425 + 4/75. Is l bigger than s?
False
Let b(c) be the second derivative of -c**4/24 + c**3/2 + 9*c**2 - 10*c. Let d(f) be the first derivative of b(f). Let t be d(3). Does t = 2?
False
Suppose -376*a = -4*r - 374*a + 18, -24 = -5*r + 4*a. Which is smaller: 2/57 or r?
2/57
Let z be (-1 + -5)/(2/(-2)). Let a be 50/(-4) - z/36*-9. Is -14 greater than or equal to a?
False
Let m(s) = 118*s + 589. Let q be m(-5). Is -1/421 > q?
True
Suppose 0 = 2*w + 4*v + 156 + 116, 4*w = 4*v - 580. Are -136 and w non-equal?
True
Suppose 16813 = 34*g - 77*g. Let b = 394 + g. Suppose 13 - 5 = 4*p. Which is bigger: p or b?
b
Let q = 0.5744 + -0.3794. Is 9 less than q?
False
Suppose 0 = -50*h - 223136 + 89036. Do h and -2682 have different values?
False
Suppose 3*i = 5*t - 42, -t + 55 = -2*i + 20. Let z be (-1 + i/(-22))/(-166 - -167). Is 1 < z?
False
Let t be (-510317)/4960 - 6/4. Let o = t - -3192/31. Let r = -3/160 - o. Which is smaller: 1 or r?
1
Let g be (-16)/((-7)/(63/(-6))). Let a be (6/g)/(1 - 1/2). Let z be (45/(-120))/(4 - 1). Are a and z unequal?
True
Suppose 2598 = -4*v - l - 5314, -2*l = -v - 1978. Which is smaller: v or -1977?
v
Let j be -4 - (-1 + (160/63)/((-630)/675)). Is 1 equal to j?
False
Let h = 121 + -41. Suppose 4*l + 190 = -4*x + 542, -3*x = -l + h. Let t = l + -61. Is 25 not equal to t?
False
Let q(g) = 53755*g**3 - 2*g**2 + g + 2. Let h be q(-1). Let c = -1397445/26 - h. Let n = c - 60/13. Which is smaller: n or 2?
2
Let f = -3666 - -3666. Is -2/19 > f?
False
Suppose -4*q = -5*y + 343, 700*y + 63 = -q + 698*y. Is -36 < q?
False
Let n = 169/54 - 816209/260766. Is n at least 1?
False
Let h be (-1)/(-708)*-122 + (-95)/30 + 3. Is h != 17?
True
Let l = -12236 + 452765/37. Are l and 2 non-equal?
True
Let n be ((-189)/(-162))/((-6)/(-4)). Suppose u = -2*l + 13, 2*l - 3*u + 8 = 1. Suppose l*c = -c - 4*s + 17, 0 = -5*c - 5*s + 20. Which is greater: c or n?
c
Suppose -4*z - 8430 = -3*i, -z - 2109 = -201*i + 200*i. Which is smaller: -2102 or z?
z
Let n be (-4 - -46 - (-1 + 3))/2. Let k(u) = -u - 3 - 2*u - 2. Let t be k(-8). Is n at least t?
True
Let b = 0.05984 + -504.15984. Let t = -504 - b. Is t less than -9.5?
False
Let f be -2 - (-1742)/(-4) - (19 + (-585)/26). Which is greater: -413 or f?
-413
Let d be (3/6)/((-3)/48). Let t(n) = 4*n - 10. Let z be t(d). Let i be (-9)/2*12/z. Which is smaller: 2 or i?
i
Suppose -25*v - 34*v + 21567 = -46*v. Is 1657 at most as big as v?
True
Let b = -100559 + 100557. Suppose w + 4*w - 680 = 0. Is b > w?
False
Suppose 9*w + 1479 = -1581. Let b be 1/(7/(-2)) + w/(-14). Let x be (-3)/1*(1 - b/(-9)). Does x = -12?
False
Let g(r) = -r**3 + 2*r + 1. Let o be g(-1). Let p = 26 + -17. Let t be 7 + -6 - p/8. Which is greater: t or o?
o
Let j = 2335 + 511. Which is bigger: 0 or j?
j
Let g = 4 + -12. Let z = -8 - g. Let i be -1*2 - (-529)/230. Is z > i?
False
Let d = -268.35 - -268.32. Is d less than 825?
True
Suppose 2*i = 3*k + 4, -5*i + 4*k = -4*i - 7. Let m be 7/1 - 112347/16416. Is i at least m?
False
Suppose 2*o = 5*h + 29, 3*h - 4*o + 14 = 5. Let m(i) = -i**2 + 5*i + 10. Let u be m(h). Which is greater: -73 or u?
-73
Suppose 3*f + 0*f - 5*n = -32, -4*f - 5*n = -4. Let t be ((-8)/240)/(f/(-65)). Which is smaller: 0 or t?
t
Let l(s) = -259*s - 748. Let p be l(-15). Is 3137 at most as big as p?
True
Let k(f) = -9*f**2 + 37*f + 4. Let u be k(-4). Let n = -426 - u. Which is smaller: n or -2/5?
n
Let h be 10140/104*(-4)/(-3). Suppose -h*t = -136*t. Is t at most as big as 1/447?
True
Let d = 116 + -155. Suppose p + 2*p + 117 = 0. Let f = d - p. Are f and 8/9 equal?
False
Let r(x) = 24*x**2 - x - 1. Let k be r(-1). Suppose -4*m - s - 18 = -6, 4*s + k = -4*m. Which is greater: m or -0.03?
-0.03
Let r = 802.397 + -803. Let q = -10.397 + r. Which is smaller: -3 or q?
q
Let j = -3145/8 - -210603/536. Let w = -76/1005 - j. Is 12 >= w?
True
Let g = -271990 - -271997. Let m be 3*(0 + -2)/(-2). Suppose 0 = -m*v + 2*x + 19, x + 14 - 1 = 2*v. Are v and g equal?
True
Let r = 104.017 - -17.983. Which is bigger: r or 8?
r
Let f be -1*(0 + 2*-3). Suppose 2*z = 4*h - f, 0*h + 9 = 4*h - 5*z. Let i = 1623/11 - 147. Is h greater than or equal to i?
True
Let m(r) = r**2 + 2*r - 208. Let a be m(13). Let w(s) = -s + 0 - 3 + s**2 + 8*s. Let p be w(-5). Is a less than or equal to p?
True
Let o = -26232.8 + 26233. Is o bigger than 712.4?
False
Let f be (26/6 - 0) + (-2)/6. Suppose -10*v + f*j = -6*v - 12, -3*j = 4*v + 2. Is 57 > v?
True
Let d be 7 - 3 - 3978/272. Which is bigger: d or -11?
d
Let j(a) = -a**2 - 5*a - 5. Let b be j(-5). Suppose 24*y - 4 = -4. Let n be (1 - y)*(-4 - b). Which is smaller: -1/64 or n?
-1/64
Suppose -2*u = 5*h + 12, -u = h + 3*h + 12. Let g be h/20*-5 - -5. Let d(q) = -q**2 - 7*q + 6. Let x be d(-7). Is x less than or equal to g?
True
Let p = -588 - -303. Let a = -306 - p. Which is bigger: a or 1?
1
Let k(p) = -p**3 - 8*p**2 + 22*p - 121. Let n be k(-11). Which is smaller: 24/19 or n?
n
Suppose 24*k = 23*k + 14. Let g be (k - 6)/(2 + 6/(-2)). Let p be (-723)/(-15) - g/(-40). Which is bigger: p or 47?
p
Let p be 2/(((-2)/831)/((-1)/(-42))). Let t = 39/2 + p. Let j = -2.2 + 2. Which is smaller: t or j?
t
Suppose -79 = -4*h - 2*w + 397, h - 118 = -w. Suppose 0 = -3*m - 2*k - 328, -3*m - 2*k = -4*m - h. Is m greater than or equal to -112?
True
Let y(o) = 56*o + 3301. Let m be y(-59). Which is smaller: m or -115?
-115
Suppose -2 = -5*r + 4*i - 59, -r + 6 = 5*i. Let t be 6/r + 4/24. Are t and -45 equal?
False
Let r(v) = -v**3 - v**2 - 13*v - 60. Let a be r(-4). Suppose 4*m = c + 150, -2*c = -0*m - m + 34. Which is smaller: m or a?
m
Let h = -40.2 + 0.2. Let i = h - -41.05. Let c = 22.05 - i. Which is smaller: c or 2?
2
Let o = 134.94916 + 0.05084. Which is greater: -1.2 or o?
o
Let r = 0.3 - 0.3. Let s = 524.96 - 234.4. Let a = -291 + s. Is a greater than r?
False
Let v be 140/15*4026/88. Which is smaller: 416 or v?
416
Let u be 726/(-25773) - (-4)/142. Which is bigger: 9717 or u?
9717
Let t = -0.02 + 2.02. Let u = 34.7 + -271.4. Let d = u + 236. Do t and d have the same value?
False
Let p(l) = 3*l + 9. Let j be p(2). Suppose 16 = -r + j. Let m = 0 + r. Is m less than -4/3?
False
Let h = -5 - -6. Let k(g) = g**3 + 6*g**2 - 2*g. Let s be k(-6). Let y be s/21 - (-570)/(-875). Which is bigger: y or h?
h
Suppose -363 = -26*o + 183. Is o at most 275/13?
True
Let p be (4/(-6))/(2/(-3)). Let v(t) = -t**2 + 3*t - 6. Let x be v(7). Which is bigger: x or p?
p
Suppose -149 + 317 = -14*u. Let r be -1 + -4 - u/((-15)/(-5)). Is r equal to -8/29?
False
Let w = -3971.9 + 3965. Is 3 bigger than w?
True
Let v = 6181 + -6180. Is v greater than or equal to 6/329?
True
Let x = -586 - -770. Let m = x + -193. Let v be 44/36 + -2 + 1. Which is smaller: m or v?
m
Let r = -451 - 348. Which is smaller: r or -1?
r
Let h(g) = 7*g + 118. Let z be h(-17). Let n(t) = -3*t - 27. Let c be n(-19). Let j be (-3 - (-1162)/390)/((-12)/c). Is j < z?
False
Let h be 15953/12642 + (9/42)/(2/(-4)). Is h at most as big as 75?
True
Let c(u) = -10*u**2 - u - 12. Let d be c(6). L