s bigger: z or k?
z
Let y = -55/632 - 3/79. Let h = -5/8 - y. Suppose 3*u - v = 2*v + 9, 3*u + 5*v = -15. Which is smaller: h or u?
h
Suppose 5*a - 24 = 2*n, -2*a - 2*a = -16. Let d = -339133/9249 - -1/3083. Let l = d + 35. Which is smaller: n or l?
n
Let b be 1*2 - ((-311)/(-23) - 11). Which is smaller: 0 or b?
b
Suppose -22 + 2 = -4*l, l - 17 = 2*k. Which is smaller: k or -8?
-8
Let u = -45 - -41.8. Let n = -5.2 - u. Is n smaller than -1/21?
True
Let d(p) = 22*p - 45. Let h be d(2). Which is smaller: h or -1/241?
h
Let d = -2/5329 + 10692/90593. Is d less than or equal to -2?
False
Let k = 22 - 34. Let w be (-4)/k + 38/(-6). Let h = 0.9 - 0.8. Which is greater: w or h?
h
Let z be 6/45 + (-39)/(-45). Is z greater than or equal to 4/85?
True
Let y be (-21)/(-105) + 634/130. Let l be ((-6)/(-26))/((-135)/2892). Let x = y + l. Is x smaller than 0?
False
Suppose -3*f = -6, -f = -3*p - 136 - 148. Let v = 99 + p. Which is greater: v or 8?
8
Let z = 155 - 154. Which is smaller: z or 6?
z
Let t = 1116.3 - 1116. Let a = -0.6 - -0.9. Is a at most as big as t?
True
Let v = -3848781/524 - -7345. Which is bigger: v or 0?
0
Suppose -5*z - 3*u = -34, 36 = 4*z - 6*u + 4*u. Let i(f) = -f**3 + 3*f**2 - 3*f - 3. Let q be i(3). Let m = q + 17. Are z and m nonequal?
True
Let u = 1.024 + -0.044. Let d = 0.921 - u. Are d and -0.1 unequal?
True
Suppose -2*i = 3*v + 25, 2*v - 4*i - i = -4. Let f(w) = w**3 + 7*w**2 - 6*w - 10. Let a be f(v). Let d = a - 48. Is d less than -15?
True
Suppose -255 = 11*j - 10*j. Is 0 less than j?
False
Suppose 0*l + l - 4 = 0. Suppose 9*h + 78 = -l*h. Let n be 1/(-1) + 12/(-2). Which is smaller: n or h?
n
Suppose -339*b + 804 = -351*b. Is -65 greater than or equal to b?
True
Let l = -1759 - -752. Is l at most as big as -1007?
True
Let h be (57/(-8))/((-18)/24). Let j = h + -33. Is j less than -24?
False
Let d be 4/14 + 72/42. Suppose d = 5*z - 3. Let y(c) = -c**3 + c**2 + c - 1. Let a be y(z). Which is bigger: a or 2/21?
2/21
Let y(u) = 26*u**3 - 25*u**3 - 1 - 3*u**2 + 6*u**2. Let b be y(-2). Suppose a - b = 2*f, 5*a = 2*f - 7*f. Are 2/5 and f unequal?
True
Let l be (4/12)/(2/12). Suppose l*i = 5*o + 27, o + 1 = -3*i - i. Is i <= -1.3?
False
Let f(p) = 6*p**2 - 18*p - 8. Let t be f(13). Let q be t/6*2/(-4). Let x = 65 + q. Does x = 0?
False
Let z be (-5 - (-81)/12)*(-40)/2. Which is bigger: z or -37?
z
Let y be (12 + -18 - -6) + (0 - -2). Which is smaller: 1 or y?
1
Let i be -1*(-870)/(-78) + (-4)/(-26). Is i smaller than -13?
False
Suppose 6*w = -10*w. Is -22/23 equal to w?
False
Suppose 4*f - 14 = 14. Let w = 2 + 28. Suppose z + 5*z = w. Is z less than f?
True
Suppose -a = 4*t - 30, 3*a - 7 = 4*t + 3. Suppose -5*c - 64 = -2*q, -3*c - 2*q - 42 = -a. Suppose -10 = v + 2. Is c <= v?
True
Suppose -13*i + 5*i - 360 = 0. Are -42 and i unequal?
True
Let x(q) = 10*q + 49. Let y be x(-5). Is 2/1577 greater than y?
True
Let c be (-222)/(-37) + (-6)/9*6. Which is smaller: c or 37/22?
37/22
Let y(a) = 3*a**2 + 17*a - 14. Let c be y(-6). Which is bigger: c or 9?
9
Suppose 6*z = -0*z - 12. Let k be 10 + -33 - (z + 0). Does k = -20?
False
Let a(s) = -7*s**3 + 12*s**2 - 15*s + 13. Let d be a(6). Is d < -1158?
False
Let a = 87 + -869/10. Let y be -12*(-4)/8 + 2/(-1). Suppose -l = 2*g + 1, -y*g + 1 = l + 4. Is a less than l?
True
Suppose 0 = i - 174 + 160. Which is smaller: 11 or i?
11
Let j(v) = v**2 + 13*v - 13. Let o be j(-14). Let r be (5/(1*-10))/(-11). Which is greater: o or r?
o
Let c(p) = -13*p**3 - 2*p**2 - 2*p + 5. Let k be c(1). Which is greater: k or -8?
-8
Let f(z) = z**3 + 9*z**2 - 2*z - 14. Let i be (2 + -3)/((-4)/(-36)). Let p be f(i). Suppose 4*j + 16 = 0, 2*a - 4*j + 2*j = 14. Is a smaller than p?
True
Let q(g) be the first derivative of -g**2/2 - 19*g - 2. Let u be q(-9). Which is greater: -9 or u?
-9
Suppose -13 = n + 3*h, 4*n + 2*h + 0 = -12. Let v = 10250/13 - 788. Is v greater than n?
True
Let z be 2*((-2)/(-8) - 30/168). Let u(w) = -w**2 - 4*w + 12. Let s be u(-6). Which is smaller: z or s?
s
Let m(k) = k**2 - 9*k + 8. Let l be m(10). Let y = 18 - l. Which is smaller: -2/27 or y?
-2/27
Suppose 2*z = 5*k + 4*z - 6, 3*k = -5*z + 15. Suppose -3*a = -2*s - 8, -4*a - s - 4 = -k*s. Let v be a*(3/2 + -1). Is 0 at most as big as v?
True
Let t = -4.4 + 8.4. Is 8 less than t?
False
Let q(u) = -u**2 + 4*u + 8. Let n be q(-2). Let t be 1*27/(-6) - (n - -2). Suppose 0 = -0*y + 2*y + 4. Which is smaller: t or y?
t
Let l = -0.788 + 0.688. Is l > 1.22?
False
Let t = 6933 + -6986. Let x be 13/((-1)/4 - 0). Do x and t have the same value?
False
Let y be 4/((-80)/522 - (-4)/18). Suppose -y*b = -59*b. Are 2 and b equal?
False
Suppose 0 = -q - 5*q + 6. Let a be q*-4*(-5)/(-230). Suppose y = -v + 1 - 0, -2*v = 0. Is y < a?
False
Let s be 4/3 - (-91)/(-39). Is s at most -1/2293?
True
Let t = 4.68 + -0.28. Let a = t + -13.4. Is a at least as big as 3?
False
Let g = 3/35 + -17/35. Is 262 <= g?
False
Let o = -36 + 40. Suppose -o*k - 57 - 67 = 0. Are -32 and k unequal?
True
Let y = 141 + -171. Is -29 <= y?
False
Let h be (-18)/63 - (-139)/(-63). Let t = 25/9 + h. Suppose 5*i + 3*v - 4 = 1, 5*i + 5*v - 5 = 0. Is t < i?
True
Suppose -15 = -2*b + 7*u - 2*u, 5*b - u + 20 = 0. Is b at least as big as -4?
False
Suppose 6*d = 2*d + 16. Suppose -w - 2*y + 70 = d*w, 5*w + 3*y = 70. Is 14 less than w?
False
Let w = 0.014 + -0.126. Let p = -0.612 - w. Let y = -0.2 - 0.8. Which is greater: y or p?
p
Suppose -9*t + 8*t + 2 = 0. Is -24 > t?
False
Suppose 4*w = 10*r - 9*r - 3, 0 = w + 2*r - 6. Which is smaller: w or -1/890?
-1/890
Let d = -707/4 + 3547/20. Suppose -2*u + 10 = -4*h, -4*h = -0*h + 8. Which is bigger: d or u?
u
Let p = -472 - -491. Is 3/13 greater than p?
False
Let k(l) = l**3 - 17*l**2 + 2*l - 33. Let y be k(17). Suppose 20*q = 21*q + y. Is q at least as big as 1/36?
False
Let v = -112 + 146. Let l = -38 + v. Which is bigger: l or -38/7?
l
Let c(b) = -b**2 - 5*b - 7. Let v be c(-5). Suppose -1110 = 78*w - 252. Which is smaller: w or v?
w
Suppose 0 = 10*f - 410 - 240. Let n = 64 - f. Let y be (4/90)/((-2)/6). Which is bigger: n or y?
y
Let c = 1 + 1. Let b = c - 4. Let r = -451.25 + 451.3. Are b and r unequal?
True
Suppose -4*d + 0*d + 12 = 0. Let b = 38/9 + -23/9. Do d and b have different values?
True
Let h = -4 + 0. Let t = h + 5. Let f = 54 + -54. Is f at least as big as t?
False
Let b = -20.9 + 22. Let q be (-1 - (-4)/2) + -1. Suppose -13*s + 11*s - 2 = q. Which is greater: b or s?
b
Suppose -3*x - 14*x = 0. Is x equal to 13/63?
False
Suppose 4*c - 4 = 12. Suppose -2*p - 5*a = c + 18, -a - 4 = 0. Let q be 2/8 + 65/(-60). Which is greater: p or q?
q
Let q = 0.204 - 0.504. Which is smaller: q or 10/11?
q
Let d = -414112/23 - -18011. Which is smaller: d or 7?
d
Let l = 52034659/8375 - 1212726/335. Let f = 2593 - l. Which is smaller: 0 or f?
f
Let k = -43 - -128/3. Let d(i) be the first derivative of i**4/4 - 3*i**3 + i + 11. Let w be d(9). Is k >= w?
False
Let b = 26 + 0. Let k = -20 + b. Is 2/3 < k?
True
Suppose -14*p = 626 + 1236. Let h be p/76 + -1*1/(-4). Which is smaller: -1 or h?
h
Let f = 1.1 + -1. Let r = -586 + 586.03. Does r = f?
False
Let a be (7/(-14))/(1020/504). Is -1 smaller than a?
True
Let d(l) = 5*l**2 - 5*l - 4. Let r be d(-1). Let g(w) = -w + 5. Let y be g(-2). Is r > y?
False
Suppose -w = -j + 6*j + 147, 5*w - 3*j + 707 = 0. Is -142 smaller than w?
False
Suppose 0 = 3*u + 5*w - 25, -4*u - 16 = 5*w - 41. Is u greater than or equal to 2/679?
False
Suppose 2 + 4 = -3*z. Let h be (z/(-4))/((-3)/12). Let r = -3 - h. Is 1/6 equal to r?
False
Let v = -9 - -2. Let m be 2/12 - 98/12. Which is smaller: v or m?
m
Let p(d) = d**3 - 1. Let m be p(1). Suppose -4*v - x + 15 = -9*v, -x - 15 = 5*v. Let u be (-29)/5 - -3 - v. Which is smaller: u or m?
m
Let m = 435 - 879. Which is greater: m or 2?
2
Let r(h) = -2*h**2 + 29*h - 21. Let i be r(14). Is i smaller than -43/7?
True
Let b = 0.1 - 0. Let d = -59 - -37. Let j be ((-72)/(-96))/(d/(-16)). Are j and b nonequal?
True
Let h = 25.46 + -0.46. Let c = -18 + h. Let y = c + -8. Is 0.06 at most as big as y?
False
Let d = 108 - 101. Let p(u) = u**3 - 7*u**2 + 4*u. Let f be p(6). Let x = f + d. Is -5 less than x?
False
Let h = -1/1418904 + -1466082551/9932328. Let o = h + 603/4. Do o and 4 have differe