ich is smaller: -5 or z?
z
Let k = -2 - -0.4. Let s = 1 + -3. Let u = s - k. Is 1 <= u?
False
Let r = -256 - -209. Is 4 greater than or equal to r?
True
Let y = 2831/63 + -327/7. Let z = -130/63 - y. Which is greater: -4 or z?
z
Let r = -2/353 + 724/3177. Is r at most as big as 0.3?
True
Let y be (-33)/(-3) - (3 + 16/(-4)). Let s be y/66 + 60/33. Which is smaller: s or 6?
s
Let o be 4*1/40 - 14/(-35). Which is smaller: o or -24?
-24
Suppose 0*k + 4 = 4*k. Let b be ((-153)/(-45) + -2)*(k + 4). Which is bigger: b or 23/4?
b
Let h be (-2)/(-1 - 30/(-18)). Which is greater: -16 or h?
h
Let h = -12.7 - 0.3. Let r = -17 - h. Let f = r + 3.93. Are f and 1 nonequal?
True
Suppose 9*b + 1622 - 641 = 0. Which is greater: -106 or b?
-106
Suppose 37 + 11 = 4*s + d, -3*s + 2*d + 36 = 0. Is s < 5?
False
Let p = -90 - -89.95. Let a = -1 - -1. Let t = a + 0.1. Which is smaller: p or t?
p
Let b(v) = -2*v + 38. Let g be b(19). Which is smaller: g or -18/13?
-18/13
Let d(i) = -i - 3. Let g be d(-5). Suppose z - 2*f + 5*f + 1 = 0, -4*f = z + 3. Let u(w) = -w + 5. Let h be u(z). Is h not equal to g?
True
Suppose 7*o + 115 = 1193. Is o < 153?
False
Suppose 35*u = -42*u + 95865. Is u >= 1244?
True
Let u = 26 - 44. Let z = -18 - u. Let d be (1 - 4/6)*-1. Is z at most d?
False
Let s(a) = a - 79. Let l be s(42). Which is smaller: l or 0?
l
Let u(h) = 17*h**3 - 28*h**3 + 12*h**3 - 9*h + 5. Let z be u(3). Are 7 and z equal?
False
Suppose x = 4*l + 590, -2*l = 4*x + 167 + 119. Is l at least -148?
True
Suppose -4*l - 5*x + 78 = 0, l + 44 = 3*l + 5*x. Suppose 135 = -4*t - l. Let p be (-1)/((-12)/t) + 3. Which is smaller: p or 1?
p
Let t(k) = -k**2 + 7*k - 14. Let u be t(4). Let x be (-76)/(-30) - u/3. Suppose 4*v - 2*p - 13 = -p, 0 = 4*v - 4*p - 4. Are x and v non-equal?
True
Let k = -2.02 - -0.02. Let n = -41 + 24. Let z = 18 + n. Which is bigger: k or z?
z
Let u = -340 + 679/2. Which is smaller: u or -134?
-134
Let d be 16/(-28) + (-19)/(-21). Let a = -0.06 - -0.66. Let h = 0.5 - a. Are h and d unequal?
True
Let s = -352 - -12318/35. Let k be -1*2 + 7/(14/12). Suppose 5*f = k*a - 5, 0 = -5*f + f - 4. Is a < s?
False
Let u(s) = -s**3 - 9*s**2 + 1. Let l(g) = g**3 + 9*g**2 + g - 2. Let m(a) = 7*l(a) + 6*u(a). Let z be m(-8). Do 0 and z have different values?
False
Let t = 793/56 - 103/8. Let g = 0.1 - 0.1. Do t and g have the same value?
False
Let a = 293/329 + -15/47. Suppose -c = -2*j + 9, c - 13 = 5*j - 28. Which is greater: a or j?
j
Let a = 0.349 - -64.651. Which is smaller: 1 or a?
1
Let p be (2/(-4))/((-1)/10). Suppose 0 = p*i - 4*i - 20. Let a = 21 - i. Is 1/7 > a?
False
Let m = -3/2408 + 21885/170968. Is 1 <= m?
False
Let x(a) = -a**3 - 5*a**2 - 5*a + 10. Let s be x(-6). Is s equal to 76?
True
Let f = 56 + -40. Let x = -1.56 + -15.14. Let c = x + f. Which is smaller: -1 or c?
-1
Let o be (-16)/(-6)*((-10)/4 + 4). Suppose 0 = 4*a + 2*t - 22, t = a - o*a + 16. Is -0.1 greater than or equal to a?
False
Suppose 0 = 2*u + 4, -5*j + 2*u = 6*u + 28. Let b be 6*j/(4*-3). Which is bigger: 9/7 or b?
b
Let g(j) = -21*j + 3. Let t be g(-1). Let n = t - 22. Which is smaller: 9/4 or n?
n
Let i be 6 - (-12)/(-1) - -14. Are i and 5 unequal?
True
Let l = -0.015 - 0.04. Let j = -0.155 - l. Which is smaller: j or -72?
-72
Let u be 3/1 + 2645/138. Which is greater: 21 or u?
u
Let f(s) = 6*s**2 + s - 2. Let b be f(-2). Suppose 0 = -4*l + 4, p - 3*p = -4*l + b. Do p and -12 have the same value?
False
Let n = 7 - 3. Let c be (-2)/(-6) - n/(-6). Let r = -16 - -18. Is c at most r?
True
Let v = -2/121239 - 12844951/121239. Let h = 106 + v. Is 1 < h?
False
Suppose 0 = -2*l - 5*p + 229 - 677, -3*p = 3*l + 681. Let q = -1381/6 - l. Are q and -1 unequal?
True
Let l = 3 + 3. Suppose 6*k = 5*k - 7. Let q = k + l. Which is bigger: q or -2?
q
Let q = 58 - 156. Let i be q/34 + 3 + 0. Is i < -1?
False
Let w = -15 + -15. Let u = 27 + w. Is -2 at least as big as u?
True
Let a(c) = c**3 + 10*c**2 - 11*c - 10. Let n be a(-11). Let w(o) = -33*o. Let i(v) = 22*v. Let h(q) = 7*i(q) + 5*w(q). Let x be h(1). Is x smaller than n?
True
Let q be 7 + ((-6528)/(-30))/(-4). Is -47 != q?
True
Suppose -z - 23*k = -25*k + 7, -4*z - 4*k = 4. Which is greater: z or -1/90?
-1/90
Let u(l) = 4*l**2 + 26*l + 5. Let j be u(-3). Which is greater: -20 or j?
-20
Let z = -25 + 27. Suppose -5*b + 6 = 3*m, -4*b - 2*m + 4 = -0. Let p be b + z - 24/14. Is p >= -1?
True
Let r = -39.7 + 44. Let h = 4 - r. Are -0.2 and h equal?
False
Let t(w) = -4*w - 9. Let x be t(-3). Suppose -5*k = x*s - 8*s - 40, 4*k - 3*s = 30. Suppose -6 = -4*a + 22. Which is smaller: a or k?
k
Let c(z) = 2*z**3 + 58*z**2 + z + 29. Let o be c(-29). Which is smaller: 2/6339 or o?
o
Suppose -p = 4*a - 220, 0 = 2*a + 2*p - 150 + 34. Which is smaller: a or 107/2?
107/2
Let m be (-7)/(6 + -13)*-1. Which is bigger: -9/4 or m?
m
Let s be 6/(-14) + 302223/420. Let x = s + -719. Are 0 and x non-equal?
True
Let r be 2392/(-80) + 2/(-4). Let k = -519106 + 28552512/55. Let n = r + k. Is n equal to 1?
False
Let j be (-24)/18*9/294. Let r = -2/47 - -108/329. Is r > j?
True
Let b = -1.04 + 0.24. Let u = -4 + 4. Is u equal to b?
False
Let t(g) = g**2 + 5*g - 3. Let o be t(-7). Let x(c) be the first derivative of 2*c**3/3 - 5*c**2/2 - c - 15. Let f be x(4). Is f smaller than o?
False
Let c = 2.304 + -0.304. Is c greater than 0.26?
True
Suppose k + 4 = t, -5*k + 20*t = 19*t + 4. Which is bigger: 3/40 or k?
3/40
Let u = 50.2 - 17.2. Is u less than -2/7?
False
Let b(c) = 10*c - 4. Let o be b(6). Does 56 = o?
True
Let a(h) be the second derivative of -h**4/6 + 13*h**3/6 + 7*h**2/2 - 10*h. Let u be a(7). Which is smaller: -1/14 or u?
-1/14
Let v = 796 + -2497/3. Which is bigger: -35 or v?
-35
Let h = -0.1 - 0.15. Let s = h - 0.05. Let x be 1/3*(10 + -7). Which is smaller: s or x?
s
Let u be 1071/(-5) + -1 + 3. Let c = u - -211. Let f = 1 + -1. Is c < f?
True
Let n be ((-30)/40)/((-3)/2). Let g = -69 + 44. Let a = g - -21. Is a at most n?
True
Let g be (0 + -2)*(-6017)/154. Let q = -78 + g. Does q = -1?
False
Let s be 0 - ((-132518457)/267306)/(-9). Let v = s - -19997/298. Let p = -154/13 + v. Is -1 != p?
True
Suppose 30 = -3*l - 0. Let q = -11 - l. Is q > -14?
True
Let i = 0 - -0.1. Let h = -36 - -47. Are h and i equal?
False
Suppose 0 = 3*q - 4 + 7. Let l be q/4 + (-187)/(-716). Do l and 0 have different values?
True
Let k = 0 - 20. Let v = -26 + k. Is v at most as big as -47?
False
Suppose 0 = g - 2*g + 6. Let p be 0 + 1 + (-96)/8. Let v(c) = c**2 + 11*c + 4. Let n be v(p). Which is bigger: n or g?
g
Suppose -5*q = -130 + 15. Let d = q - 32. Which is smaller: -10 or d?
-10
Let j = 6.65 + -8.65. Which is bigger: 4/5 or j?
4/5
Let l = 2/8455 - 25609/1031510. Let n = l - -581/61. Let t = n + -53/6. Is t not equal to 3?
True
Let l = -303/16 - -12039/656. Are -2 and l non-equal?
True
Suppose 0 = 2*t - b + 11, 4*t + 8*b + 1 = 3*b. Let k = 18 + -27. Let m(p) = -p - 10. Let n be m(k). Is n at most t?
False
Let j be (-14)/105 + (-1209)/45. Which is bigger: -180/7 or j?
-180/7
Suppose -3*u = -0*u - 9. Let z = -2637 - -2639. Is z greater than u?
False
Let h(g) = -g - 14. Let s(j) = j**3 + 11*j**2 + 9*j - 22. Let f be s(-10). Let a be h(f). Let m be a/(-4)*(-18)/(-63). Is 0 != m?
True
Let r = 1.02 - 13.02. Let q = r - -6. Let o = 0 - -0.2. Which is smaller: q or o?
q
Let k = 2933 - 2039. Which is smaller: k or 895?
k
Let a = -242 - -251.7. Let n = 9.7 - a. Is n at most -42?
False
Let n = 231 - 226. Does n = 6/11?
False
Let r be -1 + -1*(-3)/2. Let v be ((-4136)/(-2820))/(38/40 + -1). Which is smaller: v or r?
v
Suppose -2 = -0*s - 5*s - z, 3*z = -9. Let t = -56 + 38. Let c be (1 + -3)/(-306) + t/153. Which is bigger: s or c?
s
Let x = 417 + -417.1. Which is bigger: x or 1?
1
Suppose 5*r = -5*g, 3*r + 3*g = -r. Let s = 3411/4 - 853. Which is smaller: r or s?
s
Suppose -10*j + 114 = -46. Let n be j/(-6)*(-36)/16. Is n <= 0.04?
False
Let f = -0.3 - -0.531. Let a = f + -0.031. Is -2/3 greater than or equal to a?
False
Suppose -25*z - 51*z + 102 = -25*z. Suppose c = -5 + 16. Is c < z?
False
Let q be -1 + 34/38 - 639/(-7695). Which is bigger: q or 2?
2
Let w be (4 - 1784/444)*(-9)/6. Is w greater than or equal to 1?
False
Let w = 49 + -46. Suppose -p - w*y + 48 = 0, -5*p - 5*y + 144 = -76. Is 40 