. Which is smaller: q or 4/5?
4/5
Let z(v) = -2*v**2 - 8*v. Let o be z(-4). Suppose o*m - 20 = 2*i + 4*m, -4*i - m - 40 = 0. Which is bigger: -11 or i?
i
Let l(h) = h**3 + 7*h**2 - 2*h - 22. Let g be l(-7). Is 0 at least as big as g?
True
Suppose -20 = 14*s - 13*s. Let d be (-8)/s + 12/20. Which is bigger: d or -2/43?
d
Let h be (-759)/(-9) - 32/24. Let y = h + -114. Which is smaller: -30 or y?
y
Let y = -1433 + 1388.76. Let d = y + 45. Let s = d + -0.06. Is 1 <= s?
False
Let x = 14.7 - 14. Let o = -28.3 - x. Let l = o - -30. Are -2/11 and l unequal?
True
Let i be 25/(-2)*(-528)/60. Which is smaller: 111 or i?
i
Let s = 408 + -407. Is s bigger than 1/40?
True
Let a = 23.332 - 23.3. Which is smaller: 1 or a?
a
Suppose -19*p - 35*p - 8640 = 0. Which is smaller: -158 or p?
p
Let k be -6 + 14 - (-91)/9. Is 17 <= k?
True
Suppose 26*s = 23*s + 3. Suppose p = s - 0. Is -2/5 at most p?
True
Let o = 0.0586 + 0.1814. Which is greater: 1.1 or o?
1.1
Suppose 5*c - 67 - 3 = 0. Let u = -19 + c. Is u less than or equal to -1?
True
Let u = 1.35 - 0.15. Let o = u - -4.8. Let r = 4 - o. Is -1/2 at least as big as r?
True
Let y be 0 + -350 + 16 + -20. Is -354 at least y?
True
Let x(p) be the first derivative of p**4/4 - 5*p**3/3 - 1. Suppose 2*l = 4*h - 22, 0 = -0*h - h - 3*l + 2. Let z be x(h). Which is greater: z or 1/4?
1/4
Let k = -1246 + 1252. Suppose -45 = v - 6*v. Is v at most k?
False
Let w be (-572)/70 - (-5 - 54/(-10)). Which is smaller: w or -8?
w
Let b(i) = i**3 - 11*i**2 - 14*i + 51. Let u be b(11). Is u at least as big as -103?
True
Let m = 1.88 + -0.91. Let s = 1.07 - m. Which is greater: s or 4.3?
4.3
Let q(w) = -6 + 27*w + 21*w - 46*w. Let l be q(11). Which is bigger: 1 or l?
l
Let r = 228 - 1331/6. Let t = 11/2 - r. Let h = -3.6 + 0.6. Which is smaller: t or h?
h
Let z = -37/44 - -12/11. Suppose 0 = k + k - 10. Suppose -18*t + k = -13*t. Is z greater than t?
False
Suppose c + 19 = -5*h, -2*h = c + 3 + 7. Let f(t) = t**2 + t - 6. Let p be f(c). Let q be (4/6)/(p/108). Is q less than 10?
False
Suppose -2*n = -5*j - 490, -j - 2*j - 315 = 3*n. Let d be (-116)/j + 3/(-45)*3. Is d less than or equal to 1?
True
Let g = -405 - -4461/11. Are 0 and g equal?
False
Let s be 32/112 - (-92320)/(-323610). Are -1 and s unequal?
True
Suppose 2*a = 2*o + o + 14, 0 = o. Let l be (-101)/a - (-30)/70. Let y be (l/(-49))/(-1 + -1). Which is smaller: y or 1?
y
Suppose -18*r = 14*r - 8*r. Is 2/1179 bigger than r?
True
Suppose 0 = -4*k + 5*k - 4. Suppose k*o = 7 + 141. Suppose 2*w - 13 = -o. Which is bigger: -2/5 or w?
-2/5
Let y(w) = -4*w + 6. Let k be y(3). Let r(t) = 15*t + 34. Let j be r(k). Which is bigger: j or -57?
j
Suppose 22 = 5*w + 12. Suppose -w*d - 3*d = 0. Do 5/6 and d have the same value?
False
Let t = -4 + 14. Let l = 11 - t. Let a = 8 + -2. Which is smaller: l or a?
l
Let y = -24/5 - -23/10. Suppose 23 = -5*r - h + 4*h, h - 1 = 0. Is r smaller than y?
True
Let l = -56.6 - -8.6. Let z = l + 47. Is z greater than 3?
False
Suppose -5*s - 4*y = -39 - 3, -18 = -2*s - y. Which is smaller: s or 15?
s
Suppose -20*g + 4*v + 244 = -25*g, 0 = -2*g - 3*v - 99. Is g != -195/4?
True
Suppose 0 = -28*x + 38*x + 70. Is x >= -6?
False
Let d(h) = h - 1. Let m be d(-6). Let v = -4 - m. Let q(k) = -2*k + 5. Let l be q(v). Is -1 < l?
False
Let s be (-9 - -4)*(-3)/3*-1. Is 5 less than s?
False
Let v be 11*(1 - 0) - -2. Suppose 0*c = -3*c + 2*r + 30, 2*c - v = -r. Let w = 3 - c. Is -5 at least as big as w?
True
Let m = 382 - 382.4. Are 3 and m equal?
False
Let w = -0.224 - 9.876. Let h = 1.9 - w. Let c = h - 11. Does 1 = c?
True
Let l(j) = -j. Let g(i) = 3*i + 21. Let v(h) = g(h) + 5*l(h). Let t be v(0). Suppose -3*b + 9 = 3*o - 6*o, 5*b + t = -4*o. Are -2/3 and b non-equal?
True
Suppose -43 = -36*w + 173. Is w <= 68/11?
True
Let i = 2302 + -2277. Which is bigger: 35 or i?
35
Let a be (-30)/(-18)*19080/100. Is a less than or equal to 318?
True
Let b be (-1)/(-15)*(-6 - 45). Is b equal to 1/2?
False
Let f = -47 - -32. Let j = -21 - f. Let x be -2 + (-3 + 1 - 2). Is j bigger than x?
False
Suppose -51 = -6*v - 141. Let o be (-2)/(-7)*v/10. Is o at most as big as -1?
False
Let f(v) = 2*v**2 - 2*v - 3. Let y be f(-2). Suppose 47 = y*k + 38. Do 2/115 and k have different values?
True
Let n = -73/18 + 155/36. Is -874 equal to n?
False
Let i = -568 + 570. Which is smaller: -1/378 or i?
-1/378
Let h = -55 + 54.9. Let i = -0.1 - -0.1. Let p = h - i. Is p > 9?
False
Let u be 2/(-44)*(-589 - 0). Let x = 696/11 - u. Is x bigger than 38?
False
Let v = -28 - 12. Let x = v - -20. Let u = x + 27. Which is greater: -0.1 or u?
u
Let x = 0.08 + -0.14. Let a = -0.94 + x. Let n = 13 + -1. Which is smaller: n or a?
a
Let c = 340 - 340.1. Do -1/25 and c have different values?
True
Suppose 3*o + 2*l - 38 = 67, -4*o - 5*l = -133. Let u = 14 + -14.1. Is o != u?
True
Suppose 2*s - s = 9. Let c = -85 + 119. Suppose c = -2*h + 46. Is s smaller than h?
False
Let m(s) = 2*s + 53. Let k be m(-23). Let u = 0.06 - -0.24. Is k less than or equal to u?
False
Let r = 30 - 46. Let n = -31 - r. Let p = n + 15. Which is smaller: p or 10?
p
Let y be 2/(-8)*(-87 - -91). Which is smaller: -2/3499 or y?
y
Let h(c) be the third derivative of 0 + 0*c + 1/6*c**4 + 0*c**3 - 2*c**2 - 1/60*c**5. Let j be h(4). Which is smaller: j or 1/9?
j
Let c = 17 - 17.05. Let b = -0.15 - c. Let x = 647/5 - 129. Which is bigger: b or x?
x
Let s(c) = 27*c**2 - c + 2. Let m be s(-2). Let n be m/49 - (2 - 0). Let g = -26 + 25.9. Is g bigger than n?
False
Suppose 0 = -12*n + 9*n + 105. Let v = n + -19. Is 16 less than or equal to v?
True
Let k = 1823/522 + 2/261. Is -10 less than or equal to k?
True
Suppose -2*o = -0*o + 4. Let y be 2 + (0/o)/(-4). Suppose 4*q = -3*a + 1 + 3, 8 = y*q. Do -1 and a have different values?
True
Let k = 0.95 + -0.8. Let h = 0.15 - k. Let w = -84 - -165/2. Which is smaller: h or w?
w
Let i = 3/13 - 551/78. Which is greater: i or -7?
i
Let g = 23 + -13. Suppose -4*y = -3*k - 1, -k = -5 + 4. Let u be (7/(-35))/(y/2). Which is smaller: g or u?
u
Suppose 4*d + 2 = -2*c, 4*d - c + 0*c - 13 = 0. Is 14/9 <= d?
True
Let n = -0.3 + -30.7. Let r = n - -29. Does 2 = r?
False
Suppose -977*s - 8 = -985*s. Is 2/781 at most s?
True
Suppose -4*y - 4*c = -36, 5*y - 7*y + 4*c + 30 = 0. Does -9 = y?
False
Let h = -1257751/1515 + 4151/5. Is 1 not equal to h?
True
Suppose -49*o - 4875 = 16*o. Suppose -3*m - 148 = -m. Is o greater than or equal to m?
False
Let o = 586 - 591. Which is bigger: o or 3/10?
3/10
Let u(b) = -b + 38. Let j be u(19). Suppose -j - 13 = 4*g. Is g smaller than 0?
True
Let i(z) = -6*z - 4. Let h be i(-6). Let b be 2/7 + h/(-14). Which is greater: b or -1?
-1
Let k(c) = -c**3 + 42*c**2 - 36*c - 149. Let a be k(41). Which is bigger: a or 53?
a
Suppose -x + 4*h = -6*x + 51, -2*h - 13 = -3*x. Suppose 2*d + 15 = -5*b, -2*b = -4*b - 2*d - 12. Let r be (8/(-10))/(b + (-36)/(-40)). Which is smaller: x or r?
x
Let a = -0.2 - 0. Let j = 2281 - 2282. Are j and a nonequal?
True
Let k be -3*(-4)/36*291. Are 97 and k equal?
True
Let p = 8527/3 + -2897. Is p smaller than -56?
False
Let y = 0.024 + -11.024. Which is smaller: 20 or y?
y
Let i = -6539/6 + 1095. Is i greater than 6?
False
Let h = 887/5328 + 7/333. Let p(s) = -s + 4. Let k be p(4). Suppose k*y = -2*y + 2*c + 4, 3*c + 9 = 0. Which is smaller: h or y?
y
Suppose 3*n - 8 - 7 = 0. Let v(c) be the first derivative of c**3/3 - c**2 + 7*c + 10. Let o be v(0). Which is greater: n or o?
o
Suppose -8*h + 3*h - 5 = 0. Let u be h + (7 - 4/1). Suppose -22 = u*a + 2*t, 4 = -a - 3*t - 1. Do -13 and a have the same value?
False
Let d = 3 + -5. Let o be 3 + 0 + 0 + 0. Suppose -3*s + 15 = -3*n, n - 3*s - o = -2. Is n != d?
True
Let l(p) = -p**2 + p - 7. Let m be l(4). Let a = m - -28. Are a and 9 equal?
True
Suppose 6*l + 8 = -4. Which is bigger: 2 or l?
2
Suppose 8 + 16 = 12*v. Suppose 22 = -v*x + 90. Which is smaller: 32 or x?
32
Let g(w) = w**2 + 7*w - 22. Let n be g(8). Let a = 71 - n. Is 1 != a?
True
Let r = 1 - -2. Suppose -3*k - 4*h = -6*k - 142, -8 = -2*h. Let m be k/(-4)*4/28. Is m at most r?
True
Let g = -15 - -14.72. Let z = 128 + -127. Is g != z?
True
Let y(c) = -7*c**3 + 5*c**2 + 2*c + 12. Let f(w) = -3*w**3 + 2*w**2 + w + 6. Let o(i) = -5*f(i) + 2*y(i). Let b be o(0). 