 7*b**2 - 14*b**2 + 37 - 18*b. Let a be c(7). Let p = -107 - -106. Which is greater: a or p?
a
Let u = 11.9 - 9.6. Let h = -2.4 + u. Let g = -57 + 97. Is h > g?
False
Let t(y) be the third derivative of -y**4/24 - 25*y**3/6 - 2*y**2 - 126*y. Let q be t(-20). Is 65 != q?
True
Let n = 20.3 - 20.6. Let d = 6.99 + -7. Let p = 0.41 + d. Which is smaller: n or p?
n
Suppose 4*m = -7*m - 1177. Let o(q) = -6*q + 14. Let i be o(20). Which is bigger: m or i?
i
Let l be 3932/(-190) - (743 - 763). Which is bigger: l or -2?
l
Let z = -4.97 + 5.211. Let g = -0.341 + z. Which is bigger: g or 131?
131
Suppose -3*g - 63 + 21 = 0. Let a be 2/g - (-50)/7. Let h = -57 + 66. Which is greater: a or h?
h
Let y = 3383 + -3382. Which is bigger: y or 3077?
3077
Let l = 4.78 - 224.78. Let t = 219 + l. Let c be (-3)/7*1/(-3). Is c > t?
True
Suppose 23*a + 57*a = -82*a - 627264. Is -3872 at most a?
True
Let k(n) = -n + 2. Let u be k(2). Let g = -2/357 - 2467/5712. Let b = -193/368 - g. Which is greater: u or b?
u
Let x be (-3)/2*-65*4/18. Let z be (-1 + -5)*(-11)/(-3)*-1. Is z at most as big as x?
False
Let j be 28/(-12)*(-1000)/(-1750). Suppose 4*o = -5*k - 1 + 11, 2*o - 2 = -k. Suppose o = -0*l - l. Which is smaller: j or l?
j
Let r(i) = -i**3 + 8*i**2 - 7*i + 4. Let l be r(7). Let n be 126/4 - l/(-8). Let p(o) = 6*o**2 - 210*o + 430. Let w be p(2). Are w and n equal?
False
Suppose 4*y + 1965 = 2513. Is y bigger than -7?
True
Let g = 1.83 + -134.83. Let l = g - -132.7. Is 1/2 equal to l?
False
Let g be (-1 + 0/1)/1. Let q = 283 + -113. Let h be 6/q*(0 + -5). Which is bigger: h or g?
h
Let f = 3.32 + -7.19. Let h = f - -4. Let a = h - 3.13. Do a and 2 have different values?
True
Let s = 17 + -14. Suppose 5*l - 1 = s*m - 0, 3*m = -3*l + 39. Let j(k) = -k + 8. Let v be j(m). Which is smaller: 1/9 or v?
v
Suppose -2*h + 4 = 2*h, 4*h = 5*w - 966. Suppose -g + 16 + 26 = q, -5*q + 3*g + w = 0. Is q greater than or equal to 42?
False
Let q = -14286 + 14286.93. Which is smaller: q or 1/4?
1/4
Let n = 7.05 + -8.9. Let i = 105.85 + n. Let g = 124 - i. Which is greater: -1/2 or g?
g
Let f(c) = -c**2 - 57*c - 162. Let r be f(-3). Let z = 5 - 10. Let m be 29/(-195) - z/25. Which is greater: m or r?
m
Let k be (-25 + 0)*180/50. Let g(n) = 2*n**3 + 4*n**2 + 7*n + 3. Suppose -8 = 2*h + 3*m, -3*h - 12 + 0 = 5*m. Let c be g(h). Is c less than or equal to k?
False
Suppose 53*k + 197 = 38. Which is greater: 301 or k?
301
Let o = 9.91869 - -0.02731. Is 1/4 > o?
False
Suppose z + 122 = 3*a, 0*a - 5*a - z = -206. Suppose -21 = 10*g - a. Do -9 and g have the same value?
False
Suppose -52*k = -12*k. Which is smaller: k or -2/2299?
-2/2299
Let z = -6.5 - -35.5. Let n = z + -28.78. Let g = n + 9.78. Which is smaller: g or 1?
1
Let k be 52/(-155) - (-2214)/(-34317). Let g = 1.61 - -7.29. Is g at least k?
True
Let j = -8550 + 7901. Is -651 > j?
False
Suppose 164*n - 276133 = 21*n. Do 1930 and n have the same value?
False
Suppose 22 - 10 = 4*n. Suppose -2*o = -5*q - 5*o + 11, 0 = -n*q - 3*o + 9. Which is greater: q or 2/345?
q
Let s be 1/(-3) - 14/(-46). Suppose 22*l + 11 = 55. Suppose -7 = l*p + 5*p. Which is bigger: s or p?
s
Suppose 2*i + i + 30 = 0. Let a be (-4)/i + (-258)/(-30). Let l(r) = r - 11. Let n be l(a). Are n and -7/9 equal?
False
Let l(c) = 224*c - 2272. Let b be l(10). Which is bigger: -1/4 or b?
-1/4
Suppose -2*g - q - 6 = -3*q, -g + 3*q = 11. Let a = -3778692098/91 + 41523204. Let f = a + 885. Do g and f have the same value?
False
Let t = 1 + -1. Let z = -1724.8 + 1713.8. Which is smaller: z or t?
z
Let g = -25 + 25.5. Let v = -1.7 - -1.3. Let i = v + g. Which is smaller: -0.3 or i?
-0.3
Suppose l - 232 = b, l + 1210 = -5*b - 4*l. Let m = 404 + b. Is m <= 167?
True
Suppose f - 1253 = -4*l, 5*f - 1257 = -l - 3*l. Suppose 0 = 307*c - l*c - 12. Let y = -832/217 + 48/31. Is y greater than or equal to c?
False
Let n be (-4)/((-203)/196 + 15/20). Let c = -20 + 33. Which is smaller: n or c?
c
Suppose 6 = 6*b - 3*b. Suppose 2*k - 19 = -3*z, 11 = 2*k - 3*z - b. Suppose w = -3*w + k. Is 13/4 at least w?
True
Suppose 0 = 4*a + 164 - 20. Let y = 21 + a. Let d be ((24/15)/(-2))/(6/y). Is d at least as big as 4?
False
Suppose 0*q = 11*q - 99. Suppose n - 3*s = -q, -1 = -4*n + 4*s - 21. Is -1.7 < n?
False
Let v(j) = j**3 + 3*j**2 + 4*j + 2. Let t be v(-2). Let m = 34679/7 + -4972. Let i = 16 + m. Which is bigger: i or t?
i
Let z = 11 + -254/23. Let g be 14/4*(-46)/(-322)*(4 - 2). Is g at least z?
True
Let c be -8 - -5 - -2 - 10. Let i = -57/10 + -9/2. Is c bigger than i?
False
Let i = 647 + -646. Let c = -4349 + 561025/129. Is i smaller than c?
False
Let p = 1.17 - -2.83. Let n = p + 105. Let b = -112 + n. Is b not equal to 18?
True
Let x = 43 + 8. Suppose x*f - 39*f - 264 = 0. Which is greater: 24 or f?
24
Let p = 0.768 - 10.742. Let d = 2.3 + -2.326. Let v = d + p. Is -0.2 at least as big as v?
True
Let j = 170 - 132. Let z(a) = -19 + 40*a + 1 - j*a. Let k be z(9). Which is bigger: k or -21?
k
Let p = -108948 - -326789/3. Let c(h) = h**3 + 2*h**2 + 3*h - 1. Let x be c(-3). Which is smaller: p or x?
x
Let w = 7162 - 7161.74. Which is smaller: w or -1.2?
-1.2
Let q be 6/(-57) + (-26725)/(-168150). Which is smaller: 1 or q?
q
Let y be (120/375)/(4/30) + -2. Let n = -3/20 + y. Which is bigger: -2/5 or n?
n
Let i = 90995/49296 + 1/3792. Suppose -u + 3 + 3 = 5*g, -4*g + 4 = 0. Is u at most i?
True
Let m = -7 + 2. Let b be 21/28*1/(-57). Let d = -143/684 + b. Which is smaller: m or d?
m
Let r be (-14)/(-120) + (13 - ((-3216)/(-128) + -12)). Let l = -2 + 2. Which is greater: r or l?
l
Let o = -84 + 88. Let g be 3*(21/9 - 3). Let q be o/(6 + g)*-3 - -1. Which is bigger: -4 or q?
q
Let j = 11714 - 13495. Which is smaller: j or -1779?
j
Let o be (-13)/((-468)/16)*(2 + (-5)/4). Let h = 9 + -9.83. Which is greater: h or o?
o
Let d be 3 + ((-137833)/(-1302))/1. Let y = d - 1/186. Let i = 54088/497 - y. Which is bigger: i or -1?
i
Let q = 56 + -56.124. Let m = -0.676 + q. Which is bigger: 13 or m?
13
Let s = 74 - -4. Let j = -4 + s. Do j and -2/3 have different values?
True
Let i = -32027/7524 - 131/171. Which is smaller: i or -6?
-6
Suppose 5*s + 1007 = -2*f + 2859, s + 5*f = 352. Let w be (-182)/s + (-44)/(-264). Which is smaller: w or -1?
-1
Let d = 4776.83 + -4776. Is d equal to 9/4?
False
Let k = -53302 - -585819/11. Is -45 < k?
False
Let i(l) = -2*l**3 - 22*l**2 + 17*l + 11. Let g be (150/175)/((-6)/(-28)) + -16. Let u be i(g). Is u less than 95?
False
Let z = 10 - 13. Let k = 25 - z. Suppose -3*g + 0*g - i = -k, 5*g - 56 = -4*i. Which is greater: g or 31/4?
g
Suppose 2*r = -r + 6. Let i be (-1)/((-77)/35 - -2). Suppose -3*x - i*l + 20 = 0, 7*l - 4*l = -2*x + 12. Is r smaller than x?
False
Let c(k) = -k**2 - 4*k + 66. Let h be c(14). Let d be 2/(308/90) + h/217. Are 35 and d unequal?
True
Let g(c) = c**3 - 64*c**2 - 55*c + 346. Let y be g(65). Which is smaller: y or 993?
993
Suppose -23 = -2*r + 51. Let d be 183/(-122)*(-1 - -3). Which is smaller: d or r?
d
Suppose -337*v = -316*v - 4326. Does v = 2?
False
Suppose -4*p - 2236 = -2*o + 4534, -3*p = -o + 5080. Is p > -1694?
False
Let l be 3 - 2 - 1*-3. Let z = -2437 - -2490. Suppose 0 = 2*d + 5*v - 8 - 3, 5*d - z = -l*v. Is d != 14?
True
Let f be 14 + (-12)/((-24)/14). Is 32 at least as big as f?
True
Let a = 80 - 60. Suppose 0 = 4*o + a, -7*f + 5*f - 3*o = 7. Is f >= 9?
False
Let u be 4/((-5728)/1058) - 348/(-464). Let w = -2 + 2. Which is smaller: w or u?
w
Let c = 393 - 30. Suppose -4*g + c = 3*f, 0 = -3*g - 8*f + 3*f + 264. Let b = -97 + g. Is b > -5?
True
Let t be (-4592 - -12)*(-8 + 14 - 5). Is t <= -4580?
True
Suppose -3*h = -2*t + 285, -3 - 282 = 3*h + 2*t. Let v = -122 - h. Is v greater than -27?
False
Suppose 0 = 7*m - 604 - 278. Let b = m - 84. Let c be 0 - (-24)/b - 0. Which is smaller: -0.2 or c?
-0.2
Let s = 4379 + -19999. Is s bigger than -15620?
False
Let m = -18056 + 14250. Which is smaller: m or -3807?
-3807
Let v = -611440583/25328226 - 8/603053. Let l = v - -145/6. Suppose 8*k = 3*k. Which is smaller: l or k?
k
Let c = 7641 + -7627. Does c = 40?
False
Let a = 11 + -15. Let o = 1 - a. Suppose -p + 22 = 4*n, n - o*n + 12 = -4*p. Which is smaller: -1/4 or p?
-1/4
Let w = -6542 + 6557. Let r be (-22)/(10/(-7) - 0). Are w and r equal?
F