t g(r) = -5*r**2 - r - 2. Let a be g(-6). Let m(j) = -j**3 + 13*j**2 + 60*j - 40. Let z be m(17). Is z at least as big as a?
True
Let l = 469 - 265. Let r = -195 + l. Which is smaller: r or -0.4?
-0.4
Let j(n) = -17*n**3 + 93*n**2 - 25*n - 1. Let o be j(5). Which is smaller: o or -0.11?
-0.11
Suppose 3*u + 36 - 51 = -4*h, -u + 5 = -3*h. Suppose h = 28*b - 211 - 69. Are 1 and b equal?
False
Suppose -4*l + 13 - 161 = 0. Let y = -37 - l. Is 1/18 less than or equal to y?
False
Let m = 0.03 - 2.03. Let t be 301/105 + 2*4/60. Let o be (1 - t)/(1/(-13) - 0). Are o and m unequal?
True
Suppose -x = 4*x + 3*a + 38, -5*x - 5*a - 30 = 0. Suppose i + 3*o = 29, o - 10 = -1. Which is smaller: x or i?
x
Let r(x) = 0*x + 19*x - 52 + 4*x - 4*x - 5*x. Let s be r(-8). Which is bigger: s or -163?
-163
Let i = 174990 + -874953/5. Let l = 2 - 3. Which is smaller: i or l?
l
Let j(t) = -t - 5. Let b be j(0). Let y(o) = -o**3 - 3*o**2 + 10*o + 12. Let q be y(b). Suppose q = u + 37. Are u and -24 nonequal?
True
Suppose 12 = -3*t + 3*y, 2*t + 40 = -t - 4*y. Let l be -3 - (-4)/(t/(-1654)). Let p be 5 + 252/(-52) - l/286. Do p and -2 have different values?
True
Let f(w) = -w**3 + 12*w**2 - 11*w - 13. Let l = 55 + -34. Suppose 99 = -l*t + 30*t. Let d be f(t). Is -13 != d?
False
Let g = -2221.4 + 2220.836. Which is smaller: 16 or g?
g
Suppose 4*y - n + 21 = 0, -3*y - 2*n + 1 = 3. Let v = 4 + y. Are -2/51 and v non-equal?
True
Let q(g) = -2*g**3 + 20*g**2 - 33*g + 14. Let s be q(8). Suppose -s = -2*u - 4*a, 35 = -3*u + a + 4*a. Let y be (-196)/40 + 2/(-4). Is u bigger than y?
True
Suppose -2*c + 13*x + 27 = 16*x, 84 = 4*c - 4*x. Suppose 4*m - 5*m + 66 = -u, 3*u + 6 = 0. Suppose m = 27*w - 23*w. Which is smaller: c or w?
w
Suppose 2*j = -5*k + 24, -k - 2*j = -5*j - 15. Suppose -k*t + 2*t = t. Let q = -0.1 + 0.11. Are q and t unequal?
True
Let j = -358 - -303. Let b be (-306)/(-10) + 33/j. Which is smaller: 91/3 or b?
b
Let x = -0.187 + 0.027. Let b = -0.04 + x. Is b at most as big as 0.5?
True
Let y = 71 + -64. Let f = -13 + y. Let j be (f/9)/(24/(-45)). Which is smaller: j or 0?
0
Let q = -7286 + 7285. Which is smaller: q or -2/18953?
q
Let f be (5/(-30) + (-219)/(-18))/(2/(-208)). Is -1248 less than f?
False
Let b be -4 - (103310/(-32))/(-5). Let x = b - -650. Let c be 1 + 0 + 2 + -2. Is c equal to x?
False
Let m be ((-88)/550)/(15216/(-90)). Is m > -1?
True
Let r(y) = y**3 + 15*y**2 - 13*y + 48. Suppose 0 = -4*c + t - 65, 2*c + 2*t = -2*c - 62. Let i be r(c). Is -7/78 <= i?
True
Suppose -2*g + 75 = 21. Let x be (-6)/g - 5/((-10)/(-4)). Which is greater: x or -3?
x
Let j = -56 - -72. Let s be 342/j - 15/40. Let g = 7 - s. Which is smaller: -13 or g?
g
Let q be 1 + (29 - (7 + 22)). Let g be 2/(-10) - (-153)/15. Let k be g/54*(-2)/5. Which is smaller: q or k?
k
Suppose -s + 466 = 4*k + 174, 5*k - 293 = -s. Which is bigger: s or 3756/13?
3756/13
Let d(j) = j**3 - 20*j**2 + 16*j + 57. Let p be d(19). Let q be ((-6 - 4)/(-10))/(p + 1). Which is smaller: 25/32 or q?
25/32
Let g(n) = -n**2 + 2*n + 10. Let c be g(4). Suppose 0 = 5*u + 5, -c*u = -4*x + u + 3. Suppose -3*j + 5*p = 3 + 7, -4*j + 5*p - 15 = x. Which is smaller: 1 or j?
j
Suppose 4333*q + 1843 = 4352*q. Which is bigger: q or 98?
98
Let g be -3871 - (((-54)/(-6))/9 - 4). Is -3867 greater than g?
True
Let v be -4*1336/(-1376) - 12/9*3. Is v equal to -1?
False
Let n be (-7)/(-4) - 2/(-8). Suppose -4*q = 60*z - 57*z + 3, -6 = 3*z + 5*q. Suppose j - n = -h + z, 4*j - 20 = 4*h. Which is bigger: -1/6 or h?
h
Let l be 261/15 + (-6)/15. Let u = l - 40. Let a = u + 25. Is 5/4 > a?
False
Let i = -354.65 - 0.35. Let l = -344 - i. Which is greater: l or -1?
l
Let m = -534 - -530. Let l be (2/m)/(3/6). Is 69 >= l?
True
Let p = 9752 - 9727. Is 1/5 at most p?
True
Let a = 208 + -200. Suppose 0 = a*k - 304 - 296. Which is greater: k or 78?
78
Suppose 22*n = 1039 + 857 - 2094. Let l(k) = k - 5. Let b be l(4). Is b bigger than n?
True
Suppose 98*q + 84*q = 78565 + 62303. Is q less than 775?
True
Let z(j) = 269*j + 1525. Let y be z(-6). Which is smaller: y or -442/5?
y
Suppose -9*l - 2*i - 16 = -11*l, 4*l - 2*i = 22. Let y be (-188)/135*l - (-12)/(-54). Which is greater: -5 or y?
y
Suppose -3*l = 0, -4*v + 25 = -3*l + 73. Let n(c) = -13*c**2 + 2*c + 1. Let f be n(-1). Is f at least as big as v?
False
Suppose 3*v + 2*v + 1180 = -4*k, 0 = -98*k + 97*k. Which is bigger: -199 or v?
-199
Let w be 0 - (25/(-30) + 1/(-6)). Let d = 389 + w. Let o be 4 + -1 - d/100. Is -2 >= o?
False
Let z = -224 + 242. Suppose 14*q = z*q - 428. Let p(a) = -108*a - 1. Let n be p(-1). Is q greater than or equal to n?
True
Let r be 2 - (-1)/((-4)/(-8)). Suppose -4*l = -4*i - 92, 0 = 4*i + r*l - 2*l + 116. Let u = 26 + i. Which is greater: u or -1/3?
-1/3
Let r = 14910 + -13462. Which is greater: 0.1 or r?
r
Suppose -60*z = -198*z + 709663 + 42161. Which is bigger: 5447 or z?
z
Suppose -539 = 30*k + 1441. Let u be ((-2)/6)/((-22)/k). Let j(c) = c**3 + 5*c**2 - 4*c + 6. Let p be j(-6). Which is bigger: p or u?
u
Let f = 112506055 + -90454884701/804. Let x = 1/804 - f. Suppose -122 + 22 = -4*g + 4*b, -10 = -g - 4*b. Is g smaller than x?
False
Suppose -a + 5*s + 37 = 0, 3*a + 74 = 5*a + 4*s. Suppose 15*y - 728 = a. Which is smaller: y or 50?
50
Suppose -55 = -4*t + 5. Suppose -4*z - 2*o - 1 = -z, 3*o = z + 4. Let i be 1440/80 + z + -1. Does i = t?
False
Let d(j) = -j**2 - 20*j - 6. Let g be d(-9). Let i = 91 - g. Suppose 5*p = -s, s + 1 - 6 = 0. Which is smaller: p or i?
i
Let v = -441 + 462. Suppose s - 3*k = -40, 3*s + 4*k + 112 + v = 0. Let o(g) = 2*g**3 - 4*g - 1. Let q be o(-3). Is q != s?
False
Let b be (-6)/10 - 16/40 - 105960/(-144). Is b < 736?
True
Let w = -4404043/145095 - 1/8535. Which is smaller: w or -30?
w
Suppose 4*s + 11 - 19 = 0. Suppose -s*n = -3*n - 9. Let i be n/(-20)*1/(-6). Is 0 at most as big as i?
False
Suppose -2*q - 40 = -590. Is 276 less than q?
False
Let s = -1992 - -1991. Which is smaller: s or -1.441?
-1.441
Let x be ((-1)/3)/(44/(-396)) - (-312)/6. Suppose 0 = 3*b + 2*m - 93 - 61, 101 = 2*b + 3*m. Which is smaller: x or b?
b
Suppose -13*l = -7*l + 198. Let a be (l/2)/(7/14). Is a less than or equal to -32?
True
Suppose -129*l - 209009 - 667216 - 540711 = 0. Is l at least -10985?
True
Let u = 208 + -209. Let n = -99.92 - 0.08. Let o = n + 4. Which is smaller: o or u?
o
Suppose -34*r + 28*r - 36 = 0. Let a = -0.0027 - -2.3027. Are r and a equal?
False
Let k = 1337 - 291467/218. Let q = -207 + 206. Which is bigger: q or k?
k
Let j = 197.5 + -38.5. Let x = -159.14 + j. Let f = 4 - 4.2. Is f < x?
True
Let d = -23.9 - -21.9. Which is smaller: 1695 or d?
d
Let v = -1936039255/16459 - -117628. Are 1 and v equal?
False
Let z(n) = 38*n**2 - 22*n + 23. Let t be z(1). Let c be -1 + 12/9 + t/(-36). Let q = -8.6 + 0.6. Are q and c nonequal?
True
Suppose 22*z + 2*j + 421 = 23*z, j = -5*z + 2039. Is 410 > z?
True
Let l(s) = -15*s**2 + 55*s + 45. Let f(g) = 10*g**2 - 36*g - 30. Let j(i) = 8*f(i) + 5*l(i). Let z be j(-2). Let a be (-2)/6 - 188/(-6). Is a less than z?
False
Let i = 181 - 111. Let d = i - 93. Is d smaller than -23?
False
Suppose -4*c + 70 - 94 = 4*v, -5*c + 30 = -5*v. Let g = 1 - -7. Suppose 2*f + 3*q - q = -24, -4*q - g = 0. Which is bigger: v or f?
v
Let b = 58 - 53. Suppose j - 12 + b = -2*n, 22 = 5*n + j. Suppose n*h - 164 + 27 = -v, 4*v = -12. Is 28 at most h?
True
Suppose 2*r + 3*r + 159 = 4*u, -128 = 4*r - 3*u. Let o = -4.59 + 4.55. Which is greater: o or r?
o
Let g be ((-3)/(-9))/(14/(-70)) - (-15)/9. Is -3/667 > g?
False
Let k be ((-2 - -4)*-4)/((-7)/(-70)). Let r = k - -4558/57. Which is smaller: r or 0.04?
r
Let x(o) = 3*o**3 + 64*o**2 + 19*o - 71. Let q be x(-21). Which is greater: q or 31/5?
31/5
Let n = 8.941 + -9. Let y = -23.941 + n. Let u = 243 + -242. Is y equal to u?
False
Suppose -5*b = 4*h + 1399, -15*h + 2*b = -12*h + 1055. Is -351 >= h?
True
Suppose -25*j = -26*j. Let f = 335/26159 - -1/1414. Which is smaller: j or f?
j
Let b = 0 + -2.8. Let w = -0.46 - 3.14. Let k = w - b. Does 1/2 = k?
False
Let m be (-5)/(-35) - (-6396)/14. Let t = -455 + m. Which is greater: t or -1.9?
t
Let p(s) be the third derivative of -s**6/120 - s**5/30 + s**4/6 - s**3/2 - 6*s**2. Let d be p(2). Let w be (-10)/4 + 11 + d. Which is smaller: