ich is smaller: 8 or v?
8
Let i be 7/((-105)/380) + -3. Is i equal to -27?
False
Suppose v - 18 = 5*g, 26*g + 8 = v + 23*g. Is v >= -81/11?
True
Let p = -747 - -750. Which is bigger: p or -64?
p
Let w = 5873 - 5420781/923. Is -1 greater than w?
False
Suppose 4*s - 20 = 2*i, 4*s = 5*i - s + 25. Let v = -8.17 - -0.17. Let c = -7.9 - v. Is c smaller than i?
False
Suppose -2 = -2*c, 5*k - 3*k = 3*c + 49. Let y be 3 + k/(-5) + 1. Suppose -6*j + 2*j + 2*v - 2 = 0, 5*j + 4 = 2*v. Which is bigger: y or j?
y
Suppose -2*t = n - 7, -3 = -4*t + 5. Suppose u = -5, u = -x + n*u + 7. Is -4/9 greater than or equal to x?
True
Let a = 21 + -22. Let g = -2191/11 - -199. Which is smaller: g or a?
a
Let m = 14 - 10. Suppose -3*v = -15 - 3. Suppose -v = p - 3*p. Which is smaller: m or p?
p
Let p be 38*(6/7 + -1). Let s be (-1 - 2/2)/(140/280). Which is greater: s or p?
s
Suppose 5*y - 27 = a, -2*y = -a - 2*a - 16. Let x be (2 + a)*4/8. Suppose 3*t - 2*d - 2 = -1, -2*d - 4 = x. Is -1 less than or equal to t?
True
Let k be (1/3 - 1)*3. Let l = k - -3. Let u = 773/7 + -110. Is u equal to l?
False
Let y(h) = 7*h - 1. Let k be y(1). Let i be (-14)/(-42) + (-26)/k. Suppose 11*l + 25 = 6*l. Which is smaller: i or l?
l
Let s(x) = -40*x + 106. Let n be s(3). Suppose 3*k = -5*p - 76, 4*p = 4*k - 34 - 14. Is n smaller than p?
False
Let c = -6/299 + -281/897. Is 0.313 greater than or equal to c?
True
Let r = 871/34 - 51/2. Suppose -4347*m + 4353*m = 6. Which is smaller: r or m?
r
Let n = 485 + -6787/14. Let h(p) = -p + 12. Let v be h(7). Suppose -v*r - 4 = -r. Is n > r?
True
Suppose 4*x + 22 = -5*q, 0*x - 2*x - 14 = 4*q. Let m be q/4*6/9. Let w = -6 - -10. Do m and w have the same value?
False
Suppose 2*x - 16 = -2*x. Suppose 4*q = 20, 2*y + 0*y - x*q = -22. Let n = 17 - 19. Is n < y?
True
Let o be (3/9 - 2)*3. Let b = 616.98 - 617. Is o bigger than b?
False
Let u = -12 - -10.4. Let y = u + 11.6. Let k = -10.06 + y. Which is smaller: 0 or k?
k
Let i = 25 - 111. Is i less than or equal to -85?
True
Suppose 5*p + 4*w - 16 + 5 = 0, -3*w = -p - 13. Let y be 138/24 - p/4. Suppose y*f = -3*j + 2*f - 11, -3*f = -5*j - 28. Which is smaller: j or -9/2?
j
Suppose 55*k = 60*k + 10. Suppose 4*n = 16, -4*n = -p - 3*n - 3. Let h be 0 - p - (-2 - -6). Is k at least h?
True
Let i = -32 - -38. Let t be 86/10 - (-6)/(-10). Let p = -4 + t. Which is greater: p or i?
i
Suppose 4*m = -3*l + 11 - 0, -2*l = 3*m - 8. Which is bigger: -1/246 or l?
l
Suppose 187 = -4*i + n - 9, -5*n - 270 = 5*i. Are i and -97/2 equal?
False
Let n(d) = -2*d - 5. Let v be n(-3). Suppose 0 = -2*t - v + 7. Let c(b) = b**3 - b**2 - 5*b + 4. Let o be c(t). Which is smaller: 3 or o?
3
Let b(s) = s**2 + 15*s + 26. Let f = 4 + -17. Let k be b(f). Is k equal to -3?
False
Suppose -i + 0*i + 1 = 0. Suppose -d = i - 2. Let h be d/(-2) - (-6)/(-18). Are -2 and h equal?
False
Let v = 221 - 220. Which is bigger: -2/2843 or v?
v
Let f be 1/(1/(2 - 3)). Let d = -714 + 713. Are f and d equal?
True
Let t be (-2)/(-6)*(-1 + -2). Let q = -7 + 9. Suppose 6*p - q*p + 12 = 0. Which is smaller: p or t?
p
Suppose 3*m = -h + 22, -4*h = h - 3*m - 200. Which is smaller: 30 or h?
30
Let r(t) = -t**2 + 8*t - 14. Let k be r(5). Which is bigger: k or 3/361?
k
Let x(z) = z**2 + 5*z + 8. Let o be x(-6). Let m(k) = k**3 + 8*k**2 - 7*k + 10. Let u be m(-9). Let t be u/182*o/(-4). Which is bigger: t or 1?
1
Let z = -0.568 + 0.668. Which is smaller: 578 or z?
z
Let p(z) = z**2 - 9*z + 6. Let q be p(8). Let f be 3/(5/((-20)/18)). Which is greater: f or q?
f
Let d(a) = a + 0*a - 5 - 1. Let w(x) = 8*x**2 + 255*x - 27. Let c be w(-32). Let k be d(c). Which is bigger: k or 2/13?
2/13
Let z = 178490/7 - 25446. Is z < 0.1?
False
Let d be ((-6)/3 - -3)*-1. Let t(f) = f**3 - 7*f**2 + 7*f - 1. Let g be t(6). Suppose 3*m = g*m + 6. Is d <= m?
False
Let u be (-4)/(10/(-15)*6). Suppose 2*i - p + 4 + u = 0, 15 = -3*i + 4*p. Is -1/3 < i?
False
Let g(u) = -3*u - 1. Let c be g(-4). Suppose -101*n + 81*n + 240 = 0. Is c greater than n?
False
Let u(q) = -q**2 - 2*q - 1. Let v be u(0). Suppose 0 = 4*g + 3*n + 1 + 3, 0 = -g + 2*n - 1. Is v at least g?
True
Suppose -65*f = -1175 + 265. Is 28 at least f?
True
Suppose 0 = -3*y - 4*c - 8, -2*y + 2*c = -y - 14. Suppose -6*a + y*a - 40 = 0. Are -20 and a unequal?
False
Let h be (8/14)/(9/21). Suppose 6 = -q + 2*q. Let k(v) = v - 4. Let c be k(q). Which is bigger: h or c?
c
Let b = -55.32 + 55. Let i = 0.42 + b. Let f be (-2)/6 - 1/3. Which is greater: f or i?
i
Let u = -0.279 - -0.176. Let k = 3.737 - u. Let v = k + 0.16. Is v greater than or equal to -1/3?
True
Let o(q) be the second derivative of -q**5/20 - 17*q**4/12 + 13*q**3/2 + 10*q**2 - 4*q. Let x be o(-19). Are x and 1 unequal?
False
Let o = -17 + 27. Let w = o + -12. Let r = w + 3. Are 2 and r equal?
False
Suppose 0*f + 3*f - 2292 = 0. Let w = f + -3841/5. Which is smaller: -4 or w?
w
Let z = 1 + -9. Let w be 6 + -12 - (-6 - -1)*1. Which is greater: z or w?
w
Let c(v) = 50*v. Let r be c(-1). Let f = 31 + r. Is f bigger than -16?
False
Suppose -3*z + 2 - 8 = -l, 0 = -5*z - 5*l + 10. Let t(d) = d**2. Let a be t(0). Suppose a = -3*w + 3*r + 12, -5*w - 3*r - 13 = 7. Are z and w unequal?
False
Suppose -3*v - 4*r - 2745 = 0, 77*r = 4*v + 76*r + 3679. Do v and -920 have different values?
True
Suppose -5*b = -25 + 10. Suppose d - 30 = 5*c - b*d, 2*c + 9 = d. Is c greater than or equal to 7/5?
False
Let a(u) = -4*u**3 + 1 + 5*u**3 - u**2 + 0. Let v be 5 + -12 + 4 - 6/(-2). Let n be a(v). Do n and -2/7 have the same value?
False
Suppose 239 - 1191 = 8*c. Is -119 greater than c?
False
Let t = -55 - -37. Let m = 18.08 + t. Which is greater: 0 or m?
m
Let b = -1460 + 1465. Let k be (36/5)/(2/(-10)). Let v be (-2)/9 - 26/k. Which is smaller: b or v?
v
Let t = -91 - -90. Which is smaller: 6/35 or t?
t
Let c(q) be the third derivative of q**5/30 + q**4/8 - q**3/3 + 7*q**2. Let h be c(1). Let n(r) = r**3 + 4*r**2 + 3*r + 3. Let t be n(-3). Is h greater than t?
False
Suppose 5*a - 12 = a. Suppose -3*b = -2*t + 2*b + 26, a*t - 4*b = 46. Suppose 2*w - 2*n = -3*w + 96, -5*w - n = -87. Is t at least as big as w?
True
Let x be (-896)/(-152) + 4/38. Is x at least -34?
True
Let t = -15 + 16.6. Let c = 0.6 - t. Let j = -1.1 - c. Which is smaller: j or -2/9?
-2/9
Let n be (-36)/2*(-2 + -3)/10. Suppose -6*h = 3*h - n. Does h = 15/7?
False
Let v be (-30)/45 - 2/(-6). Let f = 14.74 + -15. Is v > f?
False
Let h = -4.44 + 0.84. Which is smaller: h or 0.2?
h
Suppose 8 = 2*b - 0*b. Let z = 2 - b. Let x be ((-25)/(-45)*3)/(27/(-36)). Are x and z equal?
False
Let y = 23 + -6. Let d = 15 - y. Let c = 0.6 + -0.8. Is c less than d?
False
Let g be (621/(-252))/((-3)/(-190)). Let w = g - -156. Are 2/5 and w nonequal?
True
Let u(r) = 14*r + 211. Let c be u(-15). Is 814 greater than c?
True
Let y be (-1 - -7)*(1 + 0). Suppose 3*h - 5*h = -y. Suppose -t = q + 1, 0*t - 43 = h*t - 5*q. Which is smaller: t or -7?
-7
Let s(f) = -221*f - 36. Let v be s(-2). Are v and 406 nonequal?
False
Let y = 0.4 + 6.6. Let l = y - 6.9. Let p = 17.8 + -17. Which is smaller: l or p?
l
Let i be 3/((-1)/2*2). Let g be (-5)/(10/6) - 1. Which is smaller: g or i?
g
Let r = 5112.98 - 5159. Let w = r - -46. Does w = 0.4?
False
Suppose 25*b - 96 = 19*b. Is -13/4 not equal to b?
True
Suppose -9*n - 69 - 129 = 0. Suppose 0*s + 3*s = -66. Let p = n - s. Which is smaller: -1/32 or p?
-1/32
Let m = -30/163 - 40763/815. Are -51 and m nonequal?
True
Let r = 33 + -18. Let b = -39 + r. Let h = -5 - -5. Which is smaller: b or h?
b
Suppose -2*p + 2*v + 12 = 0, -2*v - v - 8 = -p. Let k be (9 - p) + (-380)/94. Is 1 smaller than k?
False
Let c(a) = -a**2 + 10*a - 20. Let w be c(7). Let g be (-4)/(-170)*(w - 6). Is g at most as big as 5?
True
Suppose -11*s = -17*s. Suppose s = 4*c - 25 + 89. Which is smaller: c or -18?
-18
Let z = -192 + 304. Let d = z + -112. Is d at most as big as 1/117?
True
Suppose 0*w = 12*w + 744. Are -435/7 and w equal?
False
Let m = -0.03 + -33.97. Let h = -5 - m. Let k = h - 32. Is k less than 3?
True
Let d be (-2)/4*-2*(-1938)/(-51). Is 39 < d?
False
Let p = 97 - 99. Which is smaller: -61 or p?
-61
Let i = 14072276/1789 - 7866. Which is greater: i or 1?
1
Let f(i) = i**2 + 2. Let c be f(2). Suppose -2*m + 4*z + 14 = 0, z - c = -3*m