True
Let x be 1/(-1*(-4)/12). Suppose -a = -2*l + x - 6, -3*a = -5*l - 9. Is l at least -2.6?
True
Let a = 42.339 + -0.439. Let f = -42 + a. Which is greater: f or 0.3?
0.3
Let u(g) = -g**3 + 8*g**2 - 10*g + 13. Let r be u(5). Are 334/9 and r unequal?
True
Let m(i) = -3*i + 43. Let g(d) = d - 14. Let z(n) = 7*g(n) + 2*m(n). Let u be z(5). Which is smaller: -0.2 or u?
u
Suppose -4*a + 299 = 203. Let v = -1.95 + -0.05. Is a at least as big as v?
True
Let d be (8/130)/((-21)/(3780/24)). Which is bigger: d or -1/3?
-1/3
Suppose -5*j - 3*f + 3 = 75, 4*j + 40 = 2*f. Is j equal to -22?
False
Let h = -36.05872 - -0.06872. Let l = 1.01 - h. Which is smaller: 1 or l?
1
Let z = -802 + 803. Is z at least -2/1615?
True
Let s = -488 - -2438/5. Let v = 2173/6 + -363. Are s and v equal?
False
Let i(z) = -z**3 - 5*z**2 - 16*z - 87. Let o be i(-5). Which is bigger: 0.1 or o?
0.1
Let d = -376/51 - -120079/204. Let u = d + -578. Which is smaller: u or 3?
3
Let x be -12*(4/(-12) - 0). Let c be (6/x)/((-106)/22 - -4). Is c at least as big as -2?
True
Let i = -512 + 509.8. Is 8 at least i?
True
Let m be (-32)/116 + 2/8. Let k be 77/(-308)*(-8)/(-2). Which is greater: m or k?
m
Let x = -382 + 231. Is -151 less than x?
False
Suppose -40 = -5*k - 55. Let v be k/9*(27/(-130))/(-9). Which is smaller: 0 or v?
v
Let m(j) = j + 4. Let h be m(3). Suppose 2*b = -h*g + 2*g + 34, g = 3*b - 17. Let q be (3 + 1)*(-44)/(-176). Which is greater: q or b?
b
Let p(n) = -n**2 - 5*n + 310. Let v be p(17). Do v and -65 have the same value?
False
Let r = -24.399 + 24.8. Are 1 and r equal?
False
Suppose 2*w - o + 3 = 0, -w + 16 = 9*o + 8. Let h = -23.018 + 23. Is w != h?
True
Let c = 268 + -265. Which is smaller: c or -22?
-22
Let n = 7 - 7. Let c be 6*(n - (-16)/6). Let a be (-8)/c*4/(-6). Is -2/39 <= a?
True
Suppose 2*q = 0, 4*l + 3*q = 2*l - 2. Let c(w) = -340*w**2 + 2*w + 1. Let g be c(-1). Let p = 9547/28 + g. Is l greater than p?
False
Suppose -19*d - 3 = -20*d. Suppose d*l = 4*p, -3*l - p = 3*p. Which is greater: l or 10?
10
Let t = -479 + 477. Is t <= 0?
True
Let j be 23/11 - (3 - 2). Let p = 5610 - 5610. Is p equal to j?
False
Let j = -208 - -126. Let o be (-164)/(((-24)/18)/((-2)/3)). Does j = o?
True
Let p be 1/(3*(-1)/(-51)). Suppose 3*w - 12 = 0, 0 = -3*r + 3*w - 5*w + 62. Suppose p*t = r*t. Is 0 at least t?
True
Let m = 76 + -46. Suppose 3*p + 0*q = -3*q + 6, 3*p - 3*q = m. Suppose 14 - p = 2*d. Is 3 >= d?
False
Let x = 296 + 461. Which is smaller: 756 or x?
756
Let u = -52 + 121. Suppose 3*g = u - 9. Let a be (2/4)/((-2)/g). Which is bigger: -4 or a?
-4
Suppose 0*t - 5*t + 3*s = -6, -4*t = 4*s + 8. Suppose 4*f - 55 - 25 = t. Let m be -1 - -2 - f/16. Which is smaller: m or -1?
-1
Let o(b) = -b + 6. Let j be o(6). Let p(g) = g**3 - 3*g**2 - 4*g + 3. Let c be p(4). Let k = j - c. Is k < -6?
False
Let m = 808 - 808.288. Which is smaller: 0.3 or m?
m
Let c = 113.9 - -450.1. Which is bigger: -1 or c?
c
Let t = 43/9 - 271/63. Let m = -28/39 - 116/273. Let o = t + m. Do o and -1 have the same value?
False
Suppose -5*v + 520 = 180. Suppose -5*y = -5*a - 210, -a - v = a + 2*y. Is -39 != a?
True
Let r = -36 - -36.033. Let j = r + -18.033. Which is smaller: j or 1?
j
Let o be (-23)/115 + (-214)/5. Which is smaller: o or -167/4?
o
Suppose -3*y - 5*a = -4*y + 424, 5*a - 444 = -y. Suppose 2*z + y = 9*z. Let l = z - 745/12. Which is greater: l or 1?
1
Suppose -29*i + 8352 = -0*i. Which is bigger: 287 or i?
i
Let j = 2379 - 16603/7. Is j smaller than -0.1?
False
Let x = -3/131 + 295/1441. Let n = -31 - -31. Do x and n have the same value?
False
Let w = 88 + -60. Let b = w + -6. Let l = b - 37. Which is smaller: l or 1?
l
Let y = 2250 + -4233. Let v be (-4 + y/(-498))*(-4)/(-6). Is 1 at most as big as v?
False
Suppose 0*m + 5*y = 2*m + 20, -2*y + 10 = -m. Let l = -8 - m. Suppose -l*r - 6 = -2. Which is smaller: 2 or r?
r
Let w = -1463/92 - -360/23. Let q = -1.3 - -1.39. Which is bigger: w or q?
q
Let r be (-11)/(-132) + 2/(-8) - -1. Suppose -1 = t - 9. Let v = t + -7. Which is greater: r or v?
v
Suppose 5*i = -4*w + 8, 5*w = -3*i - 0 - 3. Let h(m) = -4*m - 7. Let f be h(w). Let a be 0 - -3*f/40. Which is greater: a or 1?
1
Let g(o) = -o**3 - o**2 + 9*o - 5. Let i be g(-4). Which is greater: 4 or i?
i
Let d(i) = -i**3 - 6*i**2 + 8*i + 6. Let b be d(-7). Let q = b + 1. Let y be (3/60)/(4/(-10)). Is q less than or equal to y?
False
Suppose 6*z = 3 - 51. Let i be (3 - (-60)/(-25)) + z/5. Is i less than or equal to 4/31?
True
Let l be (0 + 854/(-10))*223. Let b = l - -18860. Let r = b - -185. Which is smaller: 0 or r?
0
Let q = -12 + 102. Suppose 15*f + 1020 + q = 0. Which is bigger: f or -0.1?
-0.1
Suppose -b + 301 = 3*j, -5*j = -3*j + 4*b - 214. Is 11 at least as big as j?
False
Suppose -i - 4*h = -67, 5*h + 360 = 38*i - 33*i. Which is smaller: i or -6?
-6
Suppose 21 = -2*a + 27. Suppose -5*u = -87 - a. Is u greater than or equal to 17?
True
Let l = -36 - -37.4. Let k = 0.4 - 0. Let v = k - l. Is v > -0.1?
False
Let x = -12 - -1. Let m = -9 - x. Suppose 3*j + 5*d - 7 = -0*j, 0 = -m*j + 2*d - 6. Do j and 2/11 have the same value?
False
Let p(t) = 4*t**3 + 3*t**2 + 2*t - 2. Let n be p(-1). Which is bigger: n or 1?
1
Let j = 14.29 - 0.29. Let f = j - 10. Let i = -2405 - -2404. Is i less than or equal to f?
True
Let n = -1343.56391 - -2.59391. Let z = n - -1347. Let a = 6 - z. Is a greater than -1?
True
Let w = -2/277 + 616/8587. Which is smaller: 5/2 or w?
w
Let n(f) = 3*f**2 + f - 1. Let u be n(-1). Let d be 10/(-25) + 2396/(-10). Let m = d - -3122/13. Is u at most as big as m?
False
Suppose 2*v = 0, 0 = -4*z + v + 94 + 114. Let j be z/(-65)*10/(-4). Let n = 2/41 + 150/287. Is n not equal to j?
True
Let r(x) be the second derivative of -x**4/12 - 2*x**3/3 + x**2/2 - 36*x. Suppose 0 = -s - 2*s - 12. Let f be r(s). Is f at most 1/2?
False
Let r = 319/476 + 3/68. Let j(o) = o**3 + o**2 - 4*o - 3. Let h be j(-2). Is h greater than or equal to r?
True
Suppose 2*a = p, 5*a - a = 0. Let c(h) = -5*h - 19. Let s be c(-4). Let q be 1/((-9)/(-6)*6) + s. Which is smaller: p or q?
p
Let r = 2061056 + -3219369745/1562. Let k = r + -1/142. Let t = -0.3 + 1.3. Is t less than k?
False
Let f = -0.1 + 0.3. Let j = -1 + f. Suppose 0 = 2*q + h - 8, 15 = 5*q - 8*q + 3*h. Which is smaller: j or q?
j
Suppose -2*v - 3*y = -13, -y + 26 = 5*v - 0*y. Suppose 0 = -i - 2*a - 11 + 2, 0 = 3*i + v*a + 31. Which is smaller: -31/2 or i?
i
Let y = 2 + 1. Suppose 0 = y*j + 5*j - 3*j. Which is smaller: -1/79 or j?
-1/79
Suppose -598 = -23*m - 2484. Is -82 smaller than m?
False
Suppose -j = -3*k + 14, -3*j + 3*k - k - 7 = 0. Let x = 11 - 14. Let v be x/3 + -2 + 4. Is v at least as big as j?
True
Suppose -3*z + 4*q = z - 24, -3*z = -4*q - 18. Let a(r) = -r - 12. Let o be a(z). Is -18 smaller than o?
False
Let z(t) = t**2 - 6*t - 11. Let i be z(0). Let a be i/(165/(-54)) + (-5 - -1). Is a >= -0.022?
False
Let a = -215 + 213. Is -35 less than or equal to a?
True
Let z = 400.11 + -399. Let y = 0.15 - 0.04. Let k = z - y. Is k less than or equal to 1?
True
Let t = 4.791 + -3.96. Let u = -0.031 + t. Is u smaller than 2?
True
Let b = -955 - -189091/198. Is 0 smaller than b?
True
Suppose 156 = -2*r - 3*s, -4 = 5*s + 16. Is -64 > r?
True
Let y be (-386)/(-268) - ((-180)/8)/(-15). Let f = y + -263/1206. Is f greater than -1?
True
Suppose -4*p = -p - 54. Let n(o) = -o**2 - 53*o - 654. Let y be n(-32). Is p <= y?
True
Let h(s) = 1. Let l(q) = 6*q**2 - 8*q - 4. Let c(t) = -3*h(t) - l(t). Let w be c(4). Which is greater: w or 0.1?
0.1
Let r = 29.7 - 42.7. Which is bigger: r or -10?
-10
Let j = -638 - -626. Which is greater: j or -1?
-1
Let g(l) = -l**2 - 7*l + 3. Let u be g(-15). Let a be 130/u + (-1 - -2). Which is smaller: -1 or a?
-1
Suppose 5*s = -5*u - 360, 3*u + 12*s - 7*s + 216 = 0. Which is greater: u or -74?
u
Let r be (-112)/16*(1 - (-113)/7). Let c be (-1)/(-2)*r/84. Suppose -11 = 5*n - 1. Which is smaller: c or n?
n
Let a(k) = k - 4. Let h be a(-8). Let u be h/234 + 0/(-1 + -1). Is u less than or equal to -1?
False
Let g = 3826 - 3825. Let p(f) = f**2 - 5*f + 6. Let z be p(4). Is g not equal to z?
True
Let o(y) = -y**3 - 7*y**2 - 8*y + 12. Let h be o(-5). Suppose h*l + 3*l = -10. Let u be (-1 + 0/l)*1. Which is smaller: -2/27 or u?
