 = a + -2.5. Which is greater: -2/13 or b?
-2/13
Let x = 3 + -2. Let g be 0/(-2*x/2). Let m = -15258/581 - -184/7. Which is greater: m or g?
m
Let v be (-71254)/368 - 6/16. Is 0.1 >= v?
True
Let a(q) = -q**3 + 7*q**2 + 8*q - 1. Let l be a(8). Let w be l/(4*(-2 - 9/(-4))). Let o be 1/(-1) - 6/3. Which is greater: o or w?
w
Let r(s) be the second derivative of -s**6/360 + s**5/40 + 5*s**4/24 - 4*s**3/3 + 10*s. Let p(b) be the second derivative of r(b). Let n be p(6). Is -11 > n?
True
Suppose 4*f = -0 + 28. Suppose -53 = -n - 46. Suppose -n - 11 = -3*p. Which is bigger: p or f?
f
Let o = -7.9 - -8. Let w = o + -2.7. Is w at most as big as -0.1?
True
Let u = 180 + -181. Are u and -13/105 unequal?
True
Let g = 9 - 8. Let b be 0 + g + (-4 - -2). Let a be (2/24 - (-15)/(-20))/3. Which is smaller: a or b?
b
Let i = -19.3 - -15.3. Does i = 0.32?
False
Let o(m) = 7*m + 28 + 5 + 4*m - 13*m. Let x be o(12). Is 10 > x?
True
Let b = 14.2 - 17.2. Which is bigger: b or -0.8?
-0.8
Let d be 0 + 2/(-14) + (-6096)/(-42). Let u = d - 224. Is u at most -79?
True
Let l = -7208/5 - -26215506/18185. Which is smaller: l or -1?
-1
Suppose 0 = 5*r + j + 7, 4*r + j = 2 - 7. Is r < -5/2?
False
Let v = -224/9 + 110/9. Which is bigger: 2 or v?
2
Let j(n) = 10 + 4 - 8*n - 7 + 2*n**2 - n**2. Let i be j(7). Which is smaller: i or 2/259?
i
Let i = -166 - -600. Let p = i + -431.77. Let h = -0.23 + p. Are h and -9 non-equal?
True
Let o = 109914517/1365 - 402579/5. Let l = o - 102/13. Is l at least 1?
False
Let u = 0.13 + -0.03. Let p(g) = g**3 + 55*g**2 - 112*g + 132. Let d be p(-57). Is u >= d?
False
Let q = 1/93 + -191/465. Let l = 14.3 + -13. Let u = l + -0.3. Is u at least q?
True
Let x = 2605 - 2604.9. Let y be (-1)/((-10)/(-36))*-5. Is y at least as big as x?
True
Suppose 5*a - r = r + 29, r - 8 = -2*a. Suppose -3 = p + 4*d - 13, 5*p = -2*d + 32. Let m be -2 - (2 + (-1 - p)). Which is smaller: m or a?
m
Let t = 17 + -14. Let m be (1*(3 - t))/1. Let u = -165 + 4787/29. Which is smaller: m or u?
m
Let c = 3 - 1. Let h = 9756/13475 - -4/1225. Which is smaller: c or h?
h
Let h(k) = k**2 - 21*k + 2. Let v be h(22). Let u = v - 32. Is u != -8?
False
Let f = -143 - 101. Is f equal to -244?
True
Let x = 4.26 - 4. Let l = -2.26 + x. Is l < -2/5?
True
Let g = 88 + -83. Suppose -g*b = -l - 26, l - 1 = b - 7. Is l greater than or equal to -2/21?
False
Let m be -2 - (-2 + 0 + -5). Let a(h) = -2*h - 9. Let p be a(-7). Suppose v - p = -0*v. Is m <= v?
True
Let u = 7 - 6.76. Let p = u + -0.24. Is p at most -0.05?
False
Let b be 2/(-2 - 0 - -1). Suppose -29*v = -10*v + 114. Let z be (-28)/21 + b/v. Are -3/2 and z nonequal?
True
Let q = 399/5 - 80. Which is smaller: 3/2 or q?
q
Let n = 2606/3 - 843. Let f = n + -26. Which is greater: -2 or f?
f
Suppose 2*k + 2*k = 116. Suppose 3*q - 13 = b, 0*b = 4*q + b - k. Which is smaller: 4 or q?
4
Suppose -5*a = -3*a. Suppose 3*d + 3 - 252 = a. Suppose -3*z - i - 2*i = 51, 3*i = -5*z - d. Is z > -16?
False
Let b be ((-25)/60)/((-125)/1400). Let o = 11 - 7. Which is greater: b or o?
b
Let c = 301 - 301. Are -1/626 and c equal?
False
Suppose 8*k = 2*k + 108. Suppose 4*g - 3*u + 45 = 0, 0 = -5*g + 2*u + k - 76. Is g at least -12?
True
Let u be (10/32)/((-510)/(-204)). Is -3/7 less than or equal to u?
True
Suppose -3*v = -3*d - d + 19, -4*v - 38 = d. Let f be 198/(-24) + v/12. Which is smaller: f or -1?
f
Suppose -2*j + 3*l + 800 = 0, 4*j = 3*l - 5*l + 1600. Which is greater: 399 or j?
j
Let i = -377 - -470. Is i > 91?
True
Let u = 0.18 + 0.62. Is u less than -1/3?
False
Suppose 2*z - 51 = -z. Let d = z + -17. Let i = d + 1. Which is greater: i or -1/15?
i
Let j be 5/(-25) - 462/(-10). Let f = j - 82. Is -35 > f?
True
Let g = -47 + 38. Let s(h) = -h**2 + 13*h + 19. Let c be s(14). Which is smaller: g or c?
g
Let x(n) = -n**3 - 2*n**2 + 2. Let f be x(-2). Suppose 3*j + f*o = -187 + 36, -5*j + o - 256 = 0. Let v be 2/(108/j - -2). Which is smaller: v or -16?
v
Suppose 9*t + 10 = 4*t. Let u be t + 3/(12/(-16)). Which is bigger: u or -7?
u
Let s = 789 + -6973/9. Let q = s + -3203/225. Which is bigger: -1 or q?
q
Let c = 191/858 - 1/33. Which is greater: c or -1?
c
Let t(s) = -8*s**3 + s. Let q be t(-1). Let k(n) = 3*n - 15. Let d be k(q). Suppose -d*o = -11*o - 100. Is o at most as big as -20?
True
Let x be 4/(-24)*-4*27. Suppose -y = -5*y - 12, x = g - 5*y. Suppose 0 = -7*o + g*o - 5*i - 8, o - 2*i = -2. Are o and -1 unequal?
True
Let l = -19.4 + 19.1. Which is greater: 45 or l?
45
Let m = 266.7 + -253.7. Is 43 not equal to m?
True
Let y = -2 + 2. Let u(i) = 6*i - 5. Let p(r) = 4*r - 3. Let v(c) = 7*p(c) - 5*u(c). Let d be v(3). Is d < y?
True
Let v be 7*(-2)/(-56) + 399/(-492). Which is bigger: v or -1?
v
Let t = -64 - -65. Suppose o + 3*p = 6*p, 4*o - 17 = -5*p. Suppose -u = -o*u. Is u greater than t?
False
Suppose u + 2*l = -5, -7*l = -2*u - 5*l + 8. Is u < 19/49?
False
Let c = 24.04 + -23. Let g = c + -1.14. Which is bigger: 12 or g?
12
Suppose f - 11 = -3*v, -37 = -3*f + 5*v + 10. Let m be 7 + (-4)/1 - 8. Let z(p) = -p**3 - 3*p**2 + 7*p - 2. Let j be z(m). Is j bigger than f?
False
Let j = 29 - 14. Suppose -5*g + g - 12 = -5*w, 4*w + 5*g = -j. Let r = -139/22 + 13/2. Is w < r?
True
Let l(q) = -q**2 + 19*q + 121. Let f be l(-5). Which is smaller: -2/587 or f?
-2/587
Let q be ((3/4)/3)/((-20)/80). Is -16/9 less than q?
True
Let l(m) = m**3 - 15*m**2 - 16*m + 13. Let r be l(16). Suppose -10*t = -r*t. Let s be ((-2)/4)/(55/30). Are t and s equal?
False
Let d = 54/17 + -3800/1207. Is 2/9 smaller than d?
False
Suppose 10 = -a + 5*v, -7*a + 4 = -3*a + 2*v. Let y = 2/1465 + -69/7618. Do y and a have different values?
True
Let i(z) = z - 7. Let u be i(9). Let x be (-1*4 - -2) + u. Suppose 0 = -5*d, 0 = -2*w - x*w - 4*d. Which is bigger: w or 6/11?
6/11
Suppose 60 = -3*r + 6*r + 2*z, 4*r + 4*z = 84. Suppose r*i - 16*i - 54 = 0. Let c = i - 17. Is c smaller than 1?
False
Let q = 164 + -159. Which is smaller: 12 or q?
q
Let t = 2/35597 - 676903/9967160. Let k = 5917/40 - 148. Let i = k + t. Is 0 smaller than i?
False
Let a = -112/13 - 2221/130. Which is greater: -26 or a?
a
Let n = 0 - 2. Let q be (((-8)/6)/(10/(-45)))/n. Is q less than or equal to -9/4?
True
Suppose 28 = 52*f - 48*f. Suppose -6*l + 15 = -l. Suppose -l*k = -20 + 2. Which is greater: k or f?
f
Suppose -5 = d, -p + 22460 = -3*d + 2*d. Let a = p - 273317/12. Let w = 321 + a. Is w less than 0?
True
Let q = -0.08 - -0.3. Let d = -22 - -15.9. Let h = d - -6. Do q and h have different values?
True
Let u(j) = -9*j**3 + 2*j**2 - 1. Let a be u(-1). Let c(l) = a*l**2 - 6 + 7 - 10*l + 6 - l**3. Let i be c(9). Is -2 smaller than i?
False
Let m be 3876/374 - (-20)/(-55). Is 105/11 at least m?
False
Let z(f) = -f**3 + f**2 - 1. Let q be z(0). Let x be q*(-23 - 0)*-1. Let k = 12 + x. Which is greater: k or -10?
-10
Let n = 2 - 1.9. Let q = 368.6 - 371.507. Let j = 0.093 - q. Do n and j have the same value?
False
Suppose -4*r = -0*r + r. Suppose r = -3*y - 9, 5*a = -5*y + 24 - 9. Are a and 11 non-equal?
True
Let t = 325 - 188. Is t >= 137?
True
Let q be (4/238)/(87/406). Is q <= -2?
False
Let u(n) = -n**3 + 52*n**2 - 138*n + 32. Let d be u(49). Are d and 473 non-equal?
False
Suppose 5*g + 176 = 16. Let o(b) = -b**2 + 8*b + 5. Let f be o(3). Let t = f + g. Which is bigger: -14 or t?
t
Let c be 2/8 - (-899)/(-1260). Let r = 4/63 + c. Is 20 < r?
False
Let i = -0.254 + 0.554. Let z = 0.36 + 0.04. Let g = i - z. Which is greater: g or -5?
g
Let f be 1 + (-31)/(-27) - 2. Suppose -68*z + 73*z = -2*w + 3, -2*z = -5*w - 7. Which is smaller: w or f?
w
Let y = -2.4 + 1.8. Let g = y + 0.1. Is -2 > g?
False
Let z be (1 - -2)*(-398)/597. Which is smaller: -300 or z?
-300
Let n = -116 - -157. Which is greater: 43 or n?
43
Suppose b = -4*j + 7, 4*b - 2*b - 2 = 4*j. Let w = -13 + 8. Let v be ((-3)/w)/((-9)/(-2)). Which is greater: v or j?
j
Let v = 15 + -43/3. Let l = 0.5 - 1.5. Is l smaller than v?
True
Let v = 179/5312 - 3/166. Which is bigger: v or 1?
1
Suppose -3*r - 4*s = s + 32, -4*r - 4*s - 32 = 0. Let n(q) = -q**3 - 12*q**2 - 38*q - 13. Let z be n(-7). Let w be (2 + r - z)/2. Is w less than -5?
False
Let u = -6 - 7. Let f = 1395 - 1404. Let q = f - u. Is -1/3 > q?
False
Suppose -4*c + 144 = -4*u, 0*c - c = 4*u - 51. Supp