 -9.05 + 0.05. Let q = -0.5 - 10.5. Let k = p - q. Is 1 at most k?
True
Let p = 835/364 + -4/91. Are p and 3 nonequal?
True
Let x = 785 - 19623/25. Is 1 greater than x?
True
Let v = 639 + -639.27. Which is smaller: v or 0?
v
Let x = -13.42 + 17. Let i = x + -3.2. Which is bigger: 0 or i?
i
Suppose -z = -2*z + 5. Let c(a) = 5*a**3 + 8*a**2 - 15*a - 17. Let m(q) = -6*q**3 - 8*q**2 + 16*q + 18. Let w(b) = 5*c(b) + 4*m(b). Let x be w(-9). Is z > x?
False
Let m be (-145)/(-13) - 4/26. Suppose -302*j + 282*j + 240 = 0. Are m and j equal?
False
Suppose 0 = 33*w - 37*w + 4. Let i(a) = 22*a**3 + a - 1. Let t be i(w). Which is greater: 23 or t?
23
Suppose 5*x - 5*g = 30, 0*g = 2*x - g - 9. Suppose 5*l - 4*r = 358, x*l + l - 5*r = 290. Let m be 0 - 4*(-1)/l. Which is greater: m or 1?
1
Suppose -31*k = -34 + 65. Which is smaller: -0.0672 or k?
k
Let u = -12 + 14. Let d(c) = 4 + c - u*c - 9. Let p be d(-8). Is 4 less than p?
False
Let f be 6580/(-442) + (-4)/(-34). Let d = -186/13 - f. Which is smaller: d or -2?
-2
Let m = -9.97 - -22.97. Is m != -8/17?
True
Let r(q) = -28*q + 15. Let k be r(4). Let z = 488/5 + k. Is z > -6/5?
True
Let d(p) = -60*p**3 - 3*p**2 - 6*p + 8. Let l be d(1). Which is smaller: -62 or l?
-62
Let l = 40 - 16. Let g = -23.9 + l. Let o = 6 - 13. Is g > o?
True
Let i(z) = -2 - 2*z - 3 - 3*z. Suppose 2*j + 5*q + 19 = 0, -4*q = -3*j - 4 + 10. Let r be i(j). Which is smaller: 4 or r?
4
Let t be ((-36)/27)/(4/(-6)). Let i be 22/11*(-1)/t. Is i at least 2/53?
False
Suppose -2*n - 238 = 4*d - d, -1 = -n. Let j be 11*(94/(-10) - -2). Let k = j - d. Is k less than -0.3?
True
Let n(a) = 2*a**3 + a**2 + 3*a - 3. Let u be n(-3). Let c be 1/(-2) - u/6. Suppose 27*t - 60 = 21*t. Which is bigger: t or c?
t
Let y(s) = -7. Let z(j) = j - 1. Let r = -22 - -23. Let d(h) = r*z(h) - y(h). Let g be d(-6). Is -1/14 < g?
True
Let l be 1 + (-14553)/36 - 6/8. Are -403 and l non-equal?
True
Let y = -0.02 + 2.02. Let z = 48 + -48.042. Let k = -2.042 - z. Which is bigger: y or k?
y
Suppose 2*z - 237 - 51 = 2*s, 4 = -s. Which is smaller: z or 139?
139
Let u = -4 - -4. Let j(z) = z. Let b be j(u). Suppose 18*r = 2*q + 20*r + 8, 3*q + 4*r + 14 = 0. Which is smaller: q or b?
q
Let i be (4 - 1 - 4) + 472/184. Is 2 greater than or equal to i?
True
Let l(k) = k**2 + 11*k - 8. Let v be l(-9). Let i = -19 - v. Suppose 52 = 3*f - i*f. Is -12 < f?
False
Let f = 361177015/37 + -9760854. Suppose -107 = 3*z - 2168. Let k = f - z. Which is smaller: k or 1?
k
Let a(j) = j**3 - 17*j**2 - 91*j + 10. Let k be a(21). Is -140 greater than k?
False
Let f(p) = -p**2 - 6*p - 4. Let i(q) = -q**2 + q + 1. Let g(w) = -f(w) + 2*i(w). Let v be g(4). Let s = -17 + v. Which is smaller: s or 4?
4
Let o(q) = -20*q + 1443. Let k be o(65). Which is smaller: k or 144?
k
Let v(w) be the third derivative of w**5/60 - w**4/6 - 7*w**3/6 + 6*w**2. Let u be v(6). Let k be 28/4 + (-2)/2. Which is smaller: k or u?
u
Let u(v) = -3*v**3 + 2*v**2 + 12*v - 3. Let j(q) = -13*q**3 + 9*q**2 + 48*q - 13. Let n(h) = -2*j(h) + 9*u(h). Let w be n(-5). Which is bigger: 65 or w?
65
Let q = -1704/91 - -144/91. Is q bigger than -17?
False
Let w = -19 + 18. Let k = 43 + -40. Let v be 0/(3/(k/w)). Which is greater: -2/85 or v?
v
Let o = 306 + -17751/58. Are o and 0 non-equal?
True
Let p be (-366)/20*3/(-12). Let x be (-25)/8 - (-7)/(-28). Let b = x + p. Are 1 and b nonequal?
True
Suppose 3*c = 5*v - 4*v + 10, 4*c = 5*v + 39. Let k = v + 1. Do -5 and k have the same value?
False
Let q be (6/(-4))/(29/(-6)). Let f = q + -139/261. Which is greater: -1 or f?
f
Let u = -1192.1 + 1192. Is u greater than or equal to -0.0408?
False
Suppose 5*r + 2790 = f + 4*f, 3*r - f + 1676 = 0. Is -558 < r?
False
Suppose 8 = -2*o + 6*o. Suppose o*a = -0*a. Suppose 0 = -a*q - 4*q. Which is greater: q or -1?
q
Let l = -4.7 + 5.8. Let j = l - 1. Do j and 0.78 have the same value?
False
Suppose -375 = 21*w - 26*w. Suppose -5*z = 25 + w. Is -20 smaller than z?
False
Let z be (-4)/36*126/6. Which is bigger: z or 3/4?
3/4
Let f = -125 + 111. Let j = 21 - 36. Is j <= f?
True
Suppose 4*o + 4*m = 173 + 267, 2*m + 564 = 5*o. Which is smaller: 122 or o?
o
Let f = 16 - 2. Let p = f + -27/2. Is -0.4 equal to p?
False
Let i = -2/431907 - -29801993/88540935. Let p = i - 149881/7995. Let h = p + 55/3. Is h <= 0?
True
Let m be (-85)/(-20) + (-3)/(-4). Let w(k) = k**3 - 6*k**2 + 7*k - 10. Let b be w(m). Suppose 2*l = -b*l. Which is greater: l or 1/3?
1/3
Let m be 264/(-165)*(-45)/6. Is m < -1.9?
False
Let y = 33 - 24. Is y greater than -0.17?
True
Let l(n) = -8*n**2 + n + 13. Let q(f) = 4. Let a(g) = l(g) - 3*q(g). Suppose -7*k + 3*k - 2*i = 10, 5*k - 4*i = 7. Let y be a(k). Is y equal to -2?
False
Suppose -9*q + 0*q + 63 = 0. Let u be 8/(-96) + (-1)/4. Which is smaller: u or q?
u
Suppose 20 = -20*f + 15*f. Which is bigger: -2 or f?
-2
Let r = 5.5 + 21.5. Let j = 26.5 - r. Let l = 1.5 - j. Are l and -0.12 non-equal?
True
Let x = -0.4 - -4.4. Let y = -16.7 + 16.8. Is y not equal to x?
True
Suppose 3*s + 2*x + 6 = -0*s, 12 = s - 4*x. Suppose 3*j + 3 = -s*j. Which is smaller: j or -2/63?
j
Let j = 93 - 60. Suppose -39 = 6*c + j. Is c bigger than -12?
False
Let l(p) = -p**2 - 32*p - 177. Let o be l(-7). Which is smaller: o or -27/40?
o
Let n = -0.75 - -1.05. Is 6/13 smaller than n?
False
Let l = -15 - -59. Let w = -65 + l. Is w equal to 1?
False
Let p = 10163/3905 - 2/781. Is 0.4 greater than or equal to p?
False
Suppose n = -5*p + 8*p - 9, 0 = -5*n + p + 11. Suppose 2*w - 18 = 3*b + b, -n*w + 3*b + 15 = 0. Is w < 9?
True
Let c be 0*(-4)/(6 + -2). Let l be 9/(1 + (-5)/2). Let p be ((-6)/8)/(l/4). Is p at most as big as c?
False
Let d be (-66928)/234150 - 12/(-42). Let u = 4903772/16725 + d. Let n = u + -292. Which is bigger: n or 1?
n
Let z = 3903.985 - 3930. Let l = z + 0.015. Which is greater: l or 0?
0
Let l(i) = i**3 - 3*i**2 - 2*i - 4. Let k be l(4). Suppose -2*z + 2 - k = -2*s, 3*z - 9 = 0. Suppose -6*t = -s*t - 10. Which is greater: t or 4?
t
Let r be ((-16)/(-8) + 130)/(2/3). Let c = r + -1772/9. Is c < 2?
True
Let d(j) = -j**3 - 4*j**2 - j - 9. Let k be d(-4). Let z be (1/k)/(5/20). Are -2 and z non-equal?
True
Let k(j) = j**2 - 3*j - 5. Let x(a) = 2*a**2 - 4*a - 6. Let o(d) = -3*k(d) + 2*x(d). Let f be o(0). Suppose 0 = f*r + r. Are r and 2/3 unequal?
True
Let o be (204/5)/(-3)*-30. Which is greater: 407 or o?
o
Let h = 956 - 993. Is 1 smaller than h?
False
Let o = 34 + -32. Suppose -6*i + o*i + 3*n = 8, -2*i + 3*n + 2 = 0. Which is greater: i or -3?
-3
Suppose 0 = -2*j + 5*x - 19, -j + 6*j + 3*x = -32. Suppose -6 = -2*f, f + 3*f = -4*y + 28. Let n be (-3 - j)*y - 2. Is n less than 14?
False
Let w be -26 + 21 + ((-118)/22)/(-1). Which is smaller: 2/23 or w?
2/23
Let w be (-1)/(-2 + 15/6). Let a(u) = 2*u**2 + 2*u - 1. Let r be a(1). Suppose -r*x - 11 = -2. Which is bigger: x or w?
w
Let n(t) = 4*t - 69. Let h be n(17). Do 99 and h have different values?
True
Let w be (7345/(-18) - -4) + 60/(-135). Are -406 and w unequal?
True
Suppose -2*t = -t - 11*t. Suppose -9*m + 10*m - 8 = t. Are m and 9 non-equal?
True
Let i = 34759/414 + 43/207. Which is smaller: i or 85?
i
Let l = -475 - -475. Let c be -7 + (3 - (-6)/(-3)). Let m be (-4)/c*3/(-55). Which is smaller: m or l?
m
Let r = 1.007 - 0.007. Is 0.4 at most r?
True
Suppose 3*n = 4*g + 50, -3*g - 46 = -4*n + 23. Suppose -u + 20 + 46 = 4*t, -u = 2. Is t smaller than n?
True
Suppose 5*u + 1 = -9. Let o be (u/10)/((-6)/(-9)). Is 0 <= o?
False
Suppose 109*x = 111*x - 5*u - 6, -2*u = 4. Which is bigger: x or 7/8?
7/8
Suppose 505*n = 495*n - 230. Is -31 at least n?
False
Let t(z) = -17*z - 124. Let i be t(-3). Which is bigger: -72 or i?
-72
Suppose 2*u - 20 = -2*u. Suppose -u*z - 3*s - 17 = 0, s - 1 = 3*z - 2. Let p be 4/12*-1 + 22/84. Does z = p?
False
Suppose -4*i + 727 + 49 = 0. Suppose -k - 67 = -i. Is 127 at most as big as k?
True
Let f = 190/29 - 2245/232. Is -4 greater than f?
False
Suppose -10*v = -17*v + 105. Is v < 48?
True
Let g = 38 - 14. Suppose g*j - 1 = 25*j. Let o(l) = l - 2. Let k be o(0). Do j and k have the same value?
False
Let q = -19 - -18.5. Let c = -0.4 - q. Let m = 17.2 - 15. Is c at most m?
True
Suppose -1097*k + 946 = -1119*k. Which is smaller: -7 or k?
k
Let i be -45*((-72)/10 + (2 - -