t n(f) = -f**2 + 27*f - 50. Let i(g) = g**2 - 28*g + 51. Let t(l) = -3*i(l) - 2*n(l). Let k be t(28). Is k less than or equal to 4?
True
Let a be 4/(-3) - (-25)/(-15). Let l be (-10)/a*(-3)/(-2). Let u be (-2)/((-5)/(l/(-47))). Which is smaller: u or 1?
u
Let w be 543/111*((-48)/15)/(-8). Let o = 46/37 + w. Is o > 2?
True
Let v(i) = i**2 + 10*i + 12. Let h be v(-9). Let j be (h + 9)/3 + 2. Let t be 2 + (-2 - j/(-183)). Which is greater: 1 or t?
1
Let y(p) = -4*p - 93. Let j be y(-25). Let f = -21 + 30. Suppose j*s + f = -12. Is -3 at least as big as s?
True
Let s be (7 - 7)*(0 - -1). Suppose 3*g - 9 = s, -4*g = 5*l - 10*l - 22. Is 0.1 >= l?
True
Let d = -4/63 - -178/819. Let h = -2862 - -2879. Do h and d have the same value?
False
Let z = -2912 + 2913. Do 15/191 and z have the same value?
False
Let h = 36 - 20. Suppose 0 = -4*f - j - 4*j + h, 6 = -2*f + j. Which is smaller: -1/23 or f?
f
Let u = 1240 + -1258. Is u bigger than -17?
False
Suppose 5 - 7 = u, 5*u = 4*n - 126. Which is greater: 274/9 or n?
274/9
Let k = 2 + -2. Let y = 3 - k. Let l = -2.8 + y. Is l at least 0.1?
True
Suppose -o + 4*o + 9 = 0. Let r = 2 + o. Let u be (-55)/(-11)*r/8. Is u greater than 0?
False
Let d(u) = -6*u + 2. Let v be d(0). Suppose v*x + 3*x - 2*r + 3 = 0, -3*r + 1 = -4*x. Which is smaller: -2 or x?
-2
Let k = -6.6 + -10.4. Let r = k + 16. Which is bigger: r or 0.23?
0.23
Suppose -335*h + 327*h = 1688. Is -211 at most h?
True
Let x = -5.188 - -0.188. Which is bigger: 0 or x?
0
Suppose -4*x - 72 = 2*y, 2*y + 70 = 2*x - 4*x. Let f be (-986)/30 + 76/(-570). Which is smaller: f or y?
y
Let u = 33 + -34. Let o be 1 - 9/((-36)/(-8)). Are o and u non-equal?
False
Let y = -689 - -610. Which is bigger: y or -475/6?
y
Suppose 0 = 6*l + 1258 + 230. Let r = -1227/5 - l. Is 3 < r?
False
Let k be ((-9)/312)/((-11)/(-76)). Let s = k - -1/22. Are s and 1 non-equal?
True
Let x = 28771/47828 + -10/3261. Let q = x + 3/44. Which is greater: q or 3/7?
q
Let s be (-6)/57 - (-22875)/212800. Which is smaller: 0 or s?
0
Let y = 52 + -43. Let i(j) = j - 13. Let d be i(y). Is d less than or equal to -4?
True
Let y(g) = -g - 5. Let d be y(-9). Which is smaller: -12 or d?
-12
Suppose 2*b - 204 = -3*c, -3*b + 61 = -8*c + 9*c. Do c and 69 have different values?
True
Let p = 0.052 - 0.152. Does -0.2448 = p?
False
Let b be (-26)/(-7) - (-6)/21. Suppose b = t - 11. Is t at least 15?
True
Let o be ((-6)/(-28))/((-120)/140). Which is greater: -0.42 or o?
o
Let h(j) = -j**2 - 8*j + 34. Let k be h(-11). Is k >= -1/443?
True
Let s be 66/(-11) + 2015/221. Which is smaller: s or 3?
3
Let k = 16.222 + 0.178. Let o = 15 - k. Let q = 1.36 + o. Is q greater than or equal to -1?
True
Let j be 4 - (2/(-3) + (-119)/(-21)). Is -2/95 smaller than j?
False
Let l(j) = -j**2 - 2*j + 33. Let c be l(-15). Are -161 and c equal?
False
Suppose 2*z = -3*l + 1439, -z - l + 4*l + 742 = 0. Let d = z + -5099/7. Let j = 0 + 0. Is j not equal to d?
True
Suppose 0 = -4*o + o. Let y = -631/10 - 643/10. Let l = 127 + y. Which is greater: l or o?
o
Let f(z) = z + 16. Let d be f(-11). Let n be -2 - ((-20)/d + -14). Which is bigger: n or 2?
n
Let y(j) = -j**3 - 49*j**2 - 95*j - 48. Let i be y(-47). Is i smaller than -1013?
False
Let u(r) = r**2 - 5*r + 3. Let z(s) = -2*s**2 + 4*s - 2. Let d(y) = -4*u(y) - 5*z(y). Let n be d(2). Is n at least 23?
False
Let l(t) = 8*t - 12. Let u be l(6). Let f = u + -41. Let s = -2 + 2.2. Does f = s?
False
Suppose -5*d + 10 = -90. Suppose c = -4*c + d, 0 = v + 5*c - 11. Which is smaller: -10 or v?
-10
Let o = 91 - 88. Suppose -o*j - 96 = 2*c + c, j = 3*c - 44. Is 0.1 < j?
False
Let i be 222/370 + (-6)/10. Which is smaller: i or -3/514?
-3/514
Suppose 5*k - 2*k + 2*v - 8 = 0, -4*v + 12 = 5*k. Let r be k/(-20) + (-12)/15. Which is bigger: -3/20 or r?
-3/20
Let w = 50 - 72. Let y be ((-2)/3)/(w/(-6)). Let h(m) = -m**2 + 6*m - 4. Let d be h(5). Is y < d?
True
Let h = -88 + 88. Suppose -2*q + 17*q + 450 = h. Is q at least -29?
False
Suppose 24*a - 29*a + 5 = 0. Let j be ((-1)/1)/a + 68/32. Is -0.2 greater than or equal to j?
False
Let u(h) = -4*h**2 - 6*h + 9. Let w(y) = 5*y**2 + 6*y - 10. Let z(l) = -6*u(l) - 5*w(l). Let p be z(5). Let t = -13.3 - -10.3. Is t equal to p?
False
Suppose -2*c - 3860 = 2*c. Let r = -1258728206/1300915 - -3/185845. Let s = c - r. Is s greater than 3?
False
Suppose b + 4*b + 193 - 198 = 0. Suppose -3*z - i = 3 + 1, z - 4*i - 3 = 0. Let t be (170/36)/(-5) - z. Which is bigger: t or b?
b
Suppose 0 = -2*d - d - 4*d. Is d at most 1/21?
True
Let m = -521 - -7807/15. Which is smaller: m or 0?
m
Suppose -m = -3*x - 2, 9*m - 5*m - 3*x = -1. Do m and -26/97 have the same value?
False
Let s = -28565/53 - -539. Which is bigger: -0.1 or s?
s
Let t(f) = 3*f**2 + f - 1. Let r be t(1). Suppose -r*k = k. Let s be 1/(-4) - (-95)/540. Is k <= s?
False
Suppose -10 + 4 = -3*o. Suppose -o*a = a, -4*k - 3*a = 24. Let c be 44/363*k/(-4). Is c greater than 1?
False
Let f(n) = 4*n**2 - 114*n - 59. Let p be f(29). Which is bigger: -27/46 or p?
-27/46
Let a be (-2)/16 - (2 + (-771)/312). Which is bigger: a or 1?
1
Suppose -t - 4*t + 36 = b, -t - 8 = 4*b. Suppose 974 = 13*z + 350. Let m = z - 39. Is t at least m?
False
Let p be (-12)/(-9) + (-1)/3. Let a be 5/2*(-42)/(-175) - p. Are a and 3.3 equal?
False
Let z(g) = g - 4. Let w be z(0). Let s(j) = -j**3 + 15*j**2 - 32*j + 252. Let b be s(14). Which is bigger: w or b?
b
Let a(c) = -8*c + 90. Let f be a(-6). Which is greater: f or 136?
f
Let q = 7.5 + -7.199. Which is bigger: q or -0.1?
q
Let m = -18 - -36. Let c be (-4)/(-10) - m/(-5). Suppose -x + c*s - 18 = 0, -2*x - 1 = s + 8. Which is smaller: -7 or x?
-7
Let c = 636 + -664. Is c at most 2/11?
True
Suppose 0 = 4*n - 10 + 2. Let h be n/(200/405) + -4. Is 1 at most h?
False
Suppose -7*h + 16*h = 864. Which is bigger: h or 95?
h
Let l be (-5511)/(-495) + 2/(-15). Is 3 at most l?
True
Let p be (-11 - -8) + 3038/1014. Is p > 1?
False
Let k(r) be the third derivative of r**5/60 - r**4/24 + r**3/6 - 3*r**2. Let f be k(2). Is f <= 16/7?
False
Let p be (-1)/2*19*2. Let x be (-15)/(-2 + 34/12). Which is bigger: p or x?
x
Let g(i) = i**3 + 10*i**2 - 11*i - 10. Let a be g(-7). Is a at least 215?
False
Let j = 32 + -46. Let d = 18 + j. Let u be (-18)/d - (-7)/(-14). Is -4 >= u?
True
Let c = -86 - -85.98. Which is bigger: c or -0.01?
-0.01
Suppose -4*f + 4*y - 87 = f, -3*f + 5*y = 60. Suppose -2*j - 59 = -5*b, 56 = -4*j + 3*b - 27. Is j greater than or equal to f?
False
Let q(x) = x**2 + 16*x + 31. Let z be q(-17). Let g be (-18)/10*4/z. Which is smaller: -2 or g?
-2
Let m = 26.215 - 0.115. Which is bigger: m or -2/9?
m
Suppose -5*v = 4*p - 24, 5*p = 5*v + 7*p - 22. Suppose 3*s = -f + 3*f + 6, 15 = 5*s - 5*f. Suppose b + 3 = s, 3*b + 7 = 4*j - 2. Which is smaller: v or j?
j
Let u = -2/10511 - 864/262775. Does u = 0.2?
False
Let f = -177 - -150. Let l be (112/(-12))/((-1)/(-3)). Which is smaller: f or l?
l
Let t be (6 + 2)/(2/4). Suppose 0*o = 5*o - 3*i - 42, 5*o = -2*i + 22. Let k be 21 - o - -1*1. Do t and k have the same value?
True
Suppose 5*n = -4*y - 203, -n + 3*y + 201 = -6*n. Let s be 1/2 - n/(-6). Which is greater: s or 1?
1
Suppose -2*y + 11 = -y. Let h = y + -9. Suppose 7 = n - h*n. Is -7 smaller than n?
False
Suppose 5*l + 3*j - 166 = 0, -1 = l - 4*j - 48. Let x be (116/(-56) - -3) + (-15)/l. Is x at least as big as 0.1?
True
Let l = 0.69 - 68.69. Let q = 70 + l. Is 18 at least q?
True
Suppose -11*a = -7*a + 8. Let l(i) = -2*i**3 - 4*i**2 - 2*i + 1. Let z be l(a). Suppose 4*k - 5*d = 44, -3*k = z*d - d - 2. Is 6 at least as big as k?
True
Let h = 5.2 + -4.6. Let g = -0.7 + h. Is g bigger than -1/54?
False
Let t = -204 - -112. Let u = t + 25. Let g be (-6)/39 + u/(-13). Is 1 at least as big as g?
False
Let j = 401/406 + -68/29. Is j at least -2?
True
Suppose 29 = 3*j - c - 4*c, 2*j = -3*c + 13. Suppose -5*w + 13 = 5*u - 12, 2*w = j. Which is bigger: u or 2/85?
u
Let f be ((-137)/(-1))/(32/128). Is f less than 546?
False
Let r be 1/4 - 5105/510. Let k = r - -26/51. Let g = k - -8. Which is smaller: g or -2?
-2
Let r(w) = w**3 + 14*w**2 + 9*w - 52. Let v be r(-13). Which is bigger: 1/76 or v?
1/76
Let l = -59 + 59. Let q be 5*-4*12/(-170). Which is smaller: q or l?
l
Let m be 4 + (1 - -1) + -2. Supp