k - 0 + 11. Suppose 2*f + k*f + 1 = 5*z, -4*z = f - 5. Let a = 1.253 + -1.253. Is f less than or equal to a?
False
Let s(z) = -4*z + 5. Let h(n) = -9*n + 11. Let f(t) = -3*h(t) + 7*s(t). Suppose -3*w - 10 = -4*k, 3*w = 2*k - 5 - 3. Let d be f(k). Which is smaller: -0.1 or d?
-0.1
Let t = 452 + -313. Which is smaller: t or 138?
138
Let s = 506.2 - 467. Let o = -1.02 - -39.02. Let i = o - s. Which is smaller: 0.2 or i?
i
Let j(b) = 2*b**2 - 2*b - 2. Let k be j(-2). Let f be (-14)/(-35)*k/34. Let c = 0.2 + -0.1. Is f less than or equal to c?
False
Let y = -3 + 15. Suppose u + 0*m - 81 = -5*m, 0 = -m + 5. Let d be (-3 - 1) + u/y. Is -2/9 >= d?
False
Let m be 10/12 + (-14)/(-84) - 1. Let i be ((-1667)/(-3))/((-68)/76). Let a = -621 - i. Is m at most as big as a?
True
Let n be 10/15 - (-48)/9. Suppose n*h - 6 = -0. Is -4 bigger than h?
False
Let g = 124 - 26. Is 97 equal to g?
False
Let i = -772/5 + 1799/10. Which is greater: i or 25?
i
Let o(g) = -126*g + 919. Let m be o(7). Is m > 43?
False
Let t = -18 - -13. Let l = 68 - 72. Let r be -1*((-4)/l - -2). Is t > r?
False
Let s be -16*1 + 0/(7 - 17). Which is bigger: s or -19?
s
Let r = -167/7 + 4523/189. Let n(u) = -u + 1. Let h be n(0). Is h greater than r?
True
Let c(l) = -l + 3. Let j be c(-10). Let f = -19 - -15. Which is smaller: f or j?
f
Suppose -6*l + 4*g = -l - 78, 0 = 3*l + g - 40. Is l equal to 1/6?
False
Suppose -k = 3 - 1. Let p be 6/(-4)*10/(-15). Let w be (2/k)/(p + 4). Which is smaller: w or -0.3?
-0.3
Suppose 0 = 4*c + 8, 5*c - 10 = -3*o + 10*c. Let x = 0 + 0. Suppose -h = 2*w - 10, 2*w + 2*h - 8 + 2 = x. Is o greater than or equal to w?
False
Let r = 10/51 + -968/5457. Is 1 < r?
False
Let k(r) = 30*r**2 + 509*r - 14. Let p be k(-17). Is -1 at most as big as p?
True
Suppose 0 = -7*y + 10*y - 102. Suppose 4*q + 54 + y = 0. Which is greater: q or -21?
-21
Let d = -133.577 - -133.5. Which is greater: d or -0.01?
-0.01
Let n = -10.9 - 2.1. Let f = n - -13.02. Let t = f - -2.98. Which is smaller: t or -2?
-2
Suppose 3*v = -148 - 1664. Is -604 <= v?
True
Let l = 216693/198520 + -8/3545. Let z = 12/7 - l. Are z and 1 equal?
False
Let b = 311 - -276. Let g = -822 + b. Let v be g/(-35) + -3 + -2. Which is smaller: v or 1?
1
Let m = -1/5840 + 12287/3544880. Is m less than -1?
False
Let g be -2 + -3*2/(-3). Suppose g = 2*h + 2*h. Let y = 105/2 + -1153/22. Is y < h?
False
Let c be 28/21*(-15)/(-2270). Do c and 0 have the same value?
False
Let h = -5822 - -896615/154. Let b = 5/14 - h. Is b > 0.3?
False
Let u(h) = -h**3 - 12*h**2 - 2*h - 18. Let i be u(-12). Suppose -v = -i*v - 5, k + 4 = -4*v. Suppose 28 = 2*n + 4*d, 18 = n - k*n + 3*d. Is -3 greater than n?
False
Let s = 48 + -43. Suppose -5*f + 25 = 5*c + s, -5*f = c - 16. Is -2/45 greater than or equal to c?
False
Let q(l) = l**2 + 1 + 5 - 7*l + 2. Let n be q(6). Let o(j) = -2*j**2 + 2*j + 7. Let z be o(-2). Is n >= z?
True
Suppose -2*r - m = -1, -5*r + 5*m - 5 = 15. Is -18/235 < r?
False
Let g be (-16158)/5382 - (-27)/9. Is g greater than -1?
True
Suppose -4*c + 3 = 11. Let b = -12469 + 12469. Is b equal to c?
False
Let f = -135 - -138. Is 2.66 greater than or equal to f?
False
Let n = -1.7 - -1.9. Let f = -145 + 186. Is n greater than f?
False
Let y be ((-3)/4)/(3/24). Let p(b) = -2*b - 15. Let s be p(-9). Let m be ((-21)/2)/s*2. Are y and m non-equal?
True
Let h(d) = -29295*d**2 - d + 1. Let b be h(1). Let k be 12/b*-2433 + -1. Let p = k - 5/93. Is 1 <= p?
False
Suppose -2*v - v = -3. Let i = 2/47 + 17/705. Which is smaller: v or i?
i
Let g = 7 + 2. Is 0.04 greater than or equal to g?
False
Suppose -3*b + 5*m - 56 = 0, -b - 4*m + 4 + 0 = 0. Let x(t) = t + 1. Let c be x(4). Suppose 2*y - 2*w + 0 = -30, c*w - 42 = 2*y. Do b and y have the same value?
False
Let b = 0.032 + -10.032. Which is smaller: b or 0.2?
b
Let w = 65 + -80. Is w at most as big as 2?
True
Let c(v) = 2*v**3 - v + 66. Let t(s) = s**3 + 66. Let m(b) = 2*c(b) - 3*t(b). Let i be m(0). Let p be (-12)/i - (-74)/(-165). Is 1 <= p?
False
Let l be (-3950)/(-175)*56/4. Which is greater: 317 or l?
317
Let a be 2 + -1 + (-12)/(-3). Suppose -3*l = -2*l. Suppose 5*i = h + 1, i + h + l*h = a. Are 5 and i equal?
False
Let k be (-692)/8 + (-10)/25*-5. Which is smaller: -86 or k?
-86
Let d = -8987 - -45186/5. Which is bigger: 50 or d?
d
Suppose 4*z - 2*z + 5*r = -17, 2*z + 2*r = -26. Let f(s) = -s**3 - 17*s**2 - 17*s - 18. Let v be f(z). Let c be (v/8)/(6/8). Is 3/8 <= c?
False
Suppose 2*j + 4 = 2*w - 4, 4*j + 13 = w. Let m be ((-203)/70 - -3)/((-1)/2). Is m equal to w?
False
Suppose 3*j - j = -6, j + 11 = 4*o. Suppose o*c = -3*c. Suppose c*p = p - 1. Which is bigger: 3/2 or p?
3/2
Let k be 6 + -3 + 8*(-10)/3. Which is smaller: -25 or k?
-25
Let a = -619.1 - -619. Is a greater than -147/10?
True
Let a be ((-1)/2)/(((-21)/18)/7). Suppose s + 3 = -2*d, 4*s - a = 5*d + 2*s. Which is bigger: d or 2?
2
Let s = 6241/4865 + 2/695. Let v(i) = 5*i - 7*i**2 - 42*i**3 - 48*i**3 + 91*i**3 + 6. Let n be v(6). Is n greater than or equal to s?
False
Let h(l) = 4*l + 15. Let p be h(-14). Let t = 39 + p. Which is smaller: 0 or t?
t
Let s(b) = -12*b + 42. Let g be s(-6). Is 114 greater than g?
False
Suppose 0 = -2*p + 7 + 1. Let z be (-2)/p + (-44)/(-8). Suppose -39 + 15 = -2*n - z*v, 5*n + 4*v = 26. Does n = 4/7?
False
Let k(i) = -i**2 - 4*i - 2. Let r be (-3)/2 - 15/10. Let d be k(r). Let m be (-18)/6 - (d - -2). Is 0.1 equal to m?
False
Suppose 0*v = 6*v - 72. Let h = -10 + v. Let m = 351 + -2099/6. Are m and h non-equal?
True
Let f = 23.9 + -24.1. Is f > 82?
False
Let n = -903 - -983. Is n <= 402/5?
True
Let a = -215/92 - -1/276. Let p be ((-29)/(-6))/(21/(-12)). Let z = a - p. Which is smaller: z or 0?
0
Let r = -229/24 + 26/3. Suppose 4 = 12*l - 14*l. Is l <= r?
True
Suppose -2*x + 6*x + 2 = 2*q, 4*x = -2*q - 6. Let v be -2 - (-1 + 3246/10). Let o = -327 - v. Are o and x non-equal?
True
Suppose y = -4*a - 3*y - 8, -2*y = 4*a + 4. Suppose a = 4*g - 7*g + 12. Suppose -7*s + g*s = 21. Which is bigger: s or -3?
-3
Let n = 2.66 - 2.6. Let y = 847/30 - 39/10. Let d = 517/21 - y. Is n smaller than d?
True
Suppose -4*v + 26 = -3*r + 76, 2*r - 4 = 0. Let h = v - 22. Is 0.2 less than h?
False
Let b = -1215 - -3647/3. Which is greater: 691 or b?
691
Let r = 3.5 + -4.82. Let b = r + 1.2. Let f = b - 0.88. Does -4 = f?
False
Suppose 3*z = -8 + 20. Suppose -9*t = -2*f - 5*t + 2, 0 = 4*f - z*t - 12. Which is smaller: f or -0.02?
-0.02
Let m(v) = -v**3 - 2*v**2 - 1. Let o be m(-2). Let x be 225/(-375)*2/12. Is o at most as big as x?
True
Let d be -1 - (0 + (-45)/47). Let o(f) = 4 + 5 + 3*f - 4*f. Let s be o(8). Does d = s?
False
Let b be 11 - ((-224)/(-22) + 216/(-1188)). Suppose 4*z + 1 = 17. Let g = z + -2. Is g greater than b?
True
Suppose -g - 74 = 3*v, 4*g = 3*v + 72 - 323. Is -0.08 not equal to g?
True
Let h = -21/26 + 4/13. Suppose -4*j - 2*d = -7*d - 14, 0 = -4*j - 2*d. Suppose -5*t - 6 = -j. Which is smaller: h or t?
t
Let y = -37 - -41.4. Let t = 3.4 - y. Is 10 smaller than t?
False
Suppose 0 = 2*f + 4*i + 56, 2*f - 5*f - 84 = 2*i. Let t be ((-30)/35)/(6/f). Which is smaller: 7/2 or t?
7/2
Let x be 23/12 + (-1)/4. Suppose -6*m = 65 + 13. Let d = -10 - m. Which is smaller: x or d?
x
Let w be (12/14)/(1/112). Let d = -670/7 + w. Suppose -4*u = -k - 12, 0 = k + u - 3. Which is smaller: d or k?
k
Let m(y) be the second derivative of 53*y**3/6 - 3*y**2 + 3*y. Let t be m(-6). Let p be 2 + -1 + t/300. Which is smaller: p or -1?
-1
Suppose 8*z + 86 = -218. Let g = -229/6 - z. Which is smaller: g or 0?
g
Suppose 0 = 2*o - 39 + 31. Suppose 2*n - 10 + 0 = -o*z, 4*z = 5*n - 11. Which is smaller: z or 2/97?
2/97
Let w = -37.61 - -38. Let j = w - -17.61. Let q = -9 + j. Do q and -1/3 have the same value?
False
Let k(o) = -o**2 - 25*o + 51. Let j be k(16). Let c = 3007/5 + j. Let g(l) = -4*l - 1. Let u be g(1). Which is greater: c or u?
c
Let l be (3 - -1)/4 + 0. Let f be (5/3)/l - 0. Which is smaller: f or 3?
f
Let t = 228 + -228. Let d = 0 - 1. Let i = d - -2. Is i at least as big as t?
True
Let i(t) = -4*t + 10. Let c be i(3). Let h be (13/2*-1)/(c/(-4)). Is -11 at least as big as h?
True
Let d(i) = -i**3 - 17*i**2 - 31*i - 15. Let f be d(-15). Let u = 14 + -34. Let a = -30 - u. Which is greater: a or f?
f
Let g = 