6 - 2767/114. Suppose -5*b = -4*r + 5*r + 2, -2*b + 2 = -r. Which is smaller: b or v?
v
Let r be 11/(-33) - 4/(-3). Let m be ((-6)/(-12))/((-2)/8). Let j be (m/5)/(7/5). Which is smaller: r or j?
j
Let r(v) = 53*v - 162. Let x be r(3). Which is smaller: x or 59?
x
Let d(c) = c**2 + 11*c - 2. Let b be d(-11). Let i be (1 + b)/(-4 + 7). Let y = 165 - 167. Do i and y have different values?
True
Let h be ((-27)/18)/(70/28). Let q = 0.2 + -0.4. Which is bigger: h or q?
q
Let w(m) = -51*m - 89. Let q be w(-1). Is q greater than or equal to -72?
True
Let g = 51 + -29. Suppose -6*l + 8 = -g. Let q(u) = u**2 - 5*u. Let c be q(l). Which is smaller: 2/53 or c?
c
Let s = -14 - -31. Let t = -7 + s. Is 12 <= t?
False
Suppose 19*y - 16 = 3. Is y < -1/64?
False
Let z = -4.173 + -0.027. Let k = -1.2 - z. Are k and -3/4 non-equal?
True
Let o = 63191/63 - 1003. Which is smaller: -2/9 or o?
-2/9
Let s = 14 + -100/7. Which is bigger: s or 6?
6
Suppose -10 + 38 = 4*i. Suppose -i*o - 24 = 4*v - 2*o, 19 = -v + 2*o. Is v < -4?
True
Let z be -4*20/(-32)*2. Let v = -6 + z. Is v <= 1/21?
True
Let u be 2/(-3 + (-565)/(-185)). Let b = u - 39. Let s(d) = -d**2 - d + 3. Let m be s(-3). Which is bigger: m or b?
b
Let q be ((-1)/(-6) - 3/6)*-24. Let d be ((-2)/q)/(20/304). Which is bigger: d or -5?
d
Let n = -0.3 + 0.06. Let m = -19.06 + 19. Let d = m + n. Which is greater: d or -0.1?
-0.1
Let x = 3 + 22. Let w = 25 - x. Which is greater: w or 3/7?
3/7
Let b(w) = -w**2 + 10*w - 12. Let p be b(5). Let c = 32 - p. Is c < 0?
False
Let t(f) = f - 7. Let q be t(6). Let m be (-2)/1 + q - -7*1. Are m and -2 unequal?
True
Let n(l) = 39*l. Let b be n(2). Suppose q + 0*q = 5*w - b, -5*w + 72 = -4*q. Does 15 = w?
False
Let i = 2/13049 - -16528/62439465. Which is smaller: 0 or i?
0
Let y be 76/20 + (-4)/5. Let g(q) = 4*q**y + 16 + 9*q**2 - 5*q**3 - 8*q - 15. Let j be g(8). Is j greater than or equal to -4/9?
True
Let q be (-33)/(-9) + 4/(-6). Suppose -q*h + 9 - 30 = 0. Let u be h/(-105) + 2/15. Are 1 and u equal?
False
Let f = 2858/15225 + 2/725. Let w = 33/10 + -291/70. Let h = f + w. Is -0.07 bigger than h?
True
Let d = -51194 - -113394712/2215. Which is smaller: d or 0?
0
Let c = -152 + 115. Let a = -37 - c. Is a at most -23?
False
Suppose 5*q = -5*r + 100, q - 2*q = 5*r - 8. Is q at most 25?
True
Let l = -133 + 149.6. Let s = l - 16.4. Which is smaller: s or -4/13?
-4/13
Suppose -3*t + 4*t + 40 = q, 3*q + 2*t - 120 = 0. Let p = -33 + q. Is 3 >= p?
False
Let f be (-10 - -30)/(4/26). Let i be f/(-14) - (-10)/35. Let z be i/(-15) - (-36)/(-10). Is z less than or equal to -18/11?
True
Let z(s) = -s**3 - 14*s**2 + 2*s + 8. Let n be z(-14). Let f = -7 - n. Let r be (-72)/130 + 2/f. Is r at least as big as 8?
False
Let t be ((-28)/30)/(4/(-3)). Let p be 0/(-7)*(6 - 7). Which is smaller: t or p?
p
Let a be (-87)/6*(-1 - -5). Let q = a - -55. Is q bigger than -2?
False
Let j = 9 - 9. Let c(q) = 1 + j + 8 + q. Let l be c(-12). Is -10/3 greater than l?
False
Let n = 598.006 + -598. Which is smaller: n or 0.1?
n
Let n(o) = -11*o + 28. Let u be n(5). Is -22 >= u?
True
Let b(o) = 3*o**3 + 2*o**2 + 8*o - 1. Let l be b(6). Let y = -424 + l. Let w = y + -5829/17. Which is smaller: w or -1?
-1
Let b = 111.3 - 61. Let o = -50 + b. Which is smaller: o or -0.14?
-0.14
Let i = -186 - -540. Is i != 354?
False
Suppose -76*y = -74*y + 840. Is y > -2/5?
False
Let b = 337.1 - 337. Does -0.014 = b?
False
Let i be 3/(-4) - (1638/120)/(-13). Is i less than -1/4?
False
Suppose -5*v + v + 14 = d, -6 = 3*d. Suppose v*q = -5*m + 2*m + 15, -20 = 4*q - 4*m. Let j = 388 + -387. Is q not equal to j?
True
Let j be 2/4 - 77/(-14). Suppose 0 = -9*l + j*l - 12. Which is smaller: -7/2 or l?
l
Let c be (-10)/45 - (-6)/18. Is 78 at least as big as c?
True
Let u(s) = s**2 + 4*s + 4. Let m be u(-4). Let n = 142/47 + -50/141. Is m greater than or equal to n?
True
Let q be (2 - 0)*90/20. Let h = 13 - 23. Let i = h + q. Which is smaller: -3 or i?
-3
Let f = 162 - 40. Let j = -614/5 + f. Which is smaller: -0.4 or j?
j
Let s be 250 + (-1 - (6 - (3 - 0))). Let g be ((6 + -8)/s)/(1/2). Is -1 less than or equal to g?
True
Suppose -3*i = 5*t - 871, 9*i = 5*t + 6*i - 859. Is 173 less than or equal to t?
True
Let l = -0.29 + -0.01. Let a = 1.8 + -1.44. Let o = a - 0.46. Which is smaller: l or o?
l
Let x be (-491 - 11) + 4 + 0 + 1. Which is smaller: x or 0?
x
Let a be -6 - 90/(-25) - -7 - 5. Which is smaller: a or -2/125?
a
Let v = -24 - -24. Suppose k - 4 + 2 = v. Is 4/7 smaller than k?
True
Suppose -4 = v + 2. Let z = -1 - v. Let p be z/10 + 10/(-4). Is -4 bigger than p?
False
Let z(j) = j**3 + 1. Let y be z(2). Suppose -d + 3*n = 2 - y, 4*d + n = 15. Suppose 20 = -d*k, -5*h = 2*k + 13 + 32. Which is smaller: -8 or h?
-8
Suppose 2*q = -3*p + 3, -15 = -5*q + 3*p + 24. Let z = 16 + -12. Suppose q = m - z*m. Which is greater: 1 or m?
1
Let u = -428.05 - -462. Let l = 34 - u. Is l at most as big as -1/3?
False
Let s(h) = -93*h + 108. Let u be s(2). Which is smaller: u or 2?
u
Suppose -29*j + 50*j = 378. Is j greater than or equal to 18?
True
Let y = 104 - 518/5. Suppose 2*k - n + 44 + 14 = 0, -4*n = 5*k + 158. Which is smaller: k or y?
k
Let f = -19 - -23. Suppose f*i - 24 = -0*z - 2*z, -z + 14 = 4*i. Let y be (-6)/4 - z/(-4). Which is bigger: 8/5 or y?
8/5
Suppose -2*f = -4*f + 2. Suppose f = -0*b + b. Let n = 13803/37 + -373. Which is smaller: b or n?
n
Suppose 0 = c - 10 - 30. Suppose -i - 3*i = -c. Suppose -4*s - 2 + i = 0. Does s = 1?
False
Suppose 84 - 12 = -36*l. Which is greater: l or -1.8?
-1.8
Let q be -422 - 4 - -8 - 5/(-35). Is q at least -419?
True
Let c be 18/12*(-112)/(-3). Let s be (12/(-7))/((-8)/c). Suppose -q = q - s. Is 7 greater than or equal to q?
True
Let q be 13/30 + (-1)/3. Suppose -16*h + 5*h = 99. Let j be 2/(-9) + (-20)/h. Which is greater: j or q?
j
Let h = 374 + -345.6. Which is greater: 0 or h?
h
Suppose 5*r = -4*c + 6, 3*c = -c - 3*r + 10. Suppose 42 = -p - 4*g, 2*p = -0*p - c*g - 72. Is 0 bigger than p?
True
Suppose -w + 10 + 110 = 2*x, 66 = x + 2*w. Are x and 4/7 nonequal?
True
Let k = -0.0007 - -0.0007. Which is smaller: 8 or k?
k
Let o = 12.65 + 0.35. Let s = o + -13.25. Is s bigger than -1/2?
True
Let u(p) = p**2 + 2*p. Suppose 5*l - 6 - 9 = 0, l = -4*k - 37. Let c be u(k). Let b be (-5)/40 - (-18)/c. Is 1 less than or equal to b?
False
Let r = -70 - -122. Let l = r + -52. Is 0 at least as big as l?
True
Let n = 55 + -55.3. Let t be (3/(-2))/((-21)/12). Is n <= t?
True
Suppose -7*c + 2*c - 15 = 3*z, -4*z - 20 = -2*c. Let b be 6*(-1 - c)*1/(-2). Is b at most 9?
True
Let m = 414.9 - 390. Let d = 25 - m. Is d greater than -11?
True
Suppose 8 + 0 = 2*p - 4*d, d = 1. Suppose -2*z = p*z - 80. Is 10 bigger than z?
False
Let g = 1 - 1. Let w = -135/14 + 8221/854. Let m = -131/549 - w. Which is smaller: m or g?
m
Suppose 0*q + 9 = -3*f + 3*q, 10 = 2*f + 2*q. Let h = -659 - -628. Is h less than f?
True
Suppose -2*v + 445 = 10*u - 7*u, 5*u = -5*v + 1115. Which is smaller: v or 1122/5?
v
Let y(f) = -f**3 + 56*f**2 + 179*f - 88. Let d be y(59). Is 22 > d?
False
Let q be 23*(2 - (2 + 1)). Which is smaller: 2 or q?
q
Let p = -24.958 - 0.042. Let g = 25.1 + p. Is -0.1 <= g?
True
Let h be 1*2*1/(-5). Let u(v) = 6*v + 13. Let c(b) = 6*b - 62. Let f be c(10). Let q be u(f). Which is smaller: q or h?
h
Let y = -1/270 - 30773/1890. Which is bigger: y or -17?
y
Let t be (-1012)/69*3/2. Let n be (12/2)/(t/77). Which is greater: -22 or n?
n
Let f be (2/(-4))/(763/154 + -5). Is f less than or equal to 11?
True
Let v(r) = 5*r**2 - 27*r - 62. Let t be v(10). Is t equal to 171?
False
Let q be (-12)/10*(-5)/(-1). Suppose -4*x = -0*y + 3*y - 15, -5*y - 10 = -5*x. Let g be y/10*(-15)/q. Which is smaller: -2 or g?
-2
Let s = 2/569 + -635/18777. Let i = s + 35/66. Does i = -2/3?
False
Let y(q) = -18 - 31*q - 46*q - 10 + 63*q. Let g be y(-2). Is 0 >= g?
True
Let c(v) = 4*v**3 + 6*v**2 - 4*v - 1. Let r be c(-2). Is 1/94 <= r?
False
Suppose -x + 48 = 17. Suppose -5*p = -3*c - 49, 4*c - 3 = 2*p - x. Suppose 8*r - 4*r = -p. Is -4/5 greater than r?
True
Suppose 62*p - 3 = 65*p. Let c be ((-10)/44)/(8/48). Which is greater: p or c?
p
Let j be -18 + 28 + (1 - 23). Suppose 5*r - 2*r = -42. Which is bigger: r or j?
j
Let v(n) = n + 2. Let i be v