. Which is greater: b or q?
q
Suppose -3*v + 4*m + 78 = 0, -2*v + 6*v - 104 = 2*m. Suppose -23*u + v*u + 6 = 0. Which is smaller: -12/11 or u?
u
Suppose 32 = -l + 4*n, 50 - 11 = -2*l + 3*n. Which is bigger: -2 or l?
-2
Let h(w) = -w**3 - 7*w**2 - 26*w - 64. Let r be h(-4). Which is greater: r or -4?
-4
Suppose g + 3 = 4*n + 2*g, -5*n = g - 5. Suppose 5*u - 3*x + 28 = 0, -3*u + 0*x - 32 = n*x. Is -8 > u?
False
Let s(g) = -47*g - 14. Let u be s(-7). Let b be 255/u - 2/3. Which is smaller: b or 0?
0
Suppose -35*n - 637 = -28*n. Do n and -90 have the same value?
False
Let d be 459/24 - 4 - (-1)/(-8). Is 3 < d?
True
Suppose 5*a - 9*a + 524 = 0. Let r = 5894/45 - a. Is r at least as big as 1?
False
Let y = 71/3710 + 1/106. Is -1 <= y?
True
Let q = 16 - -21. Let s = q + -37. Is -0.2 < s?
True
Let a(d) = 7*d + 3. Let b(v) = 10*v + 4. Let f(n) = 7*a(n) - 5*b(n). Let q be f(-22). Suppose -2*m + 59 = -3*w, m + 2*w - 12 = -0*w. Which is smaller: m or q?
m
Let o = 3.37 + -3.47. Is o at most as big as 0.014?
True
Let m(x) = 4*x + 88. Let p be m(-21). Which is smaller: p or 7/2?
7/2
Let m = 0.604 - 0.504. Are m and 634 equal?
False
Suppose 13*f - 88*f = 225. Is f greater than or equal to -39/19?
False
Let l = 1863 + -1872. Which is bigger: l or -10?
l
Let b be -2 - ((0 - 3) + 3). Let l be (-4)/(-3)*(-27)/b. Suppose -2*h + 6*h = x - 29, 0 = -3*h + 2*x - l. Which is bigger: -7 or h?
-7
Let v = -34 + 32. Let f be v/(-2)*133/(-19). Is 2 smaller than f?
False
Let r = 62.2 + -56. Let q = r + -7.2. Which is smaller: 7 or q?
q
Let z(r) = r**2 + 2*r + 9. Let v be z(-6). Suppose -5*u - v = 2*t, -4*u = 2*t + 31 - 3. Suppose -p - 9 = 3*x - 20, 0 = 4*p - 3*x + 31. Which is smaller: u or p?
u
Let b = -16.9 - -16.7. Which is smaller: b or -0.034?
b
Let z(q) = q**3 + q**2 - 11*q. Let n be z(3). Let c be ((-1)/n)/(2/4). Which is bigger: c or 2/11?
2/11
Let q be (-9)/(-18)*4/7. Let j = -6.94 + -0.06. Which is bigger: q or j?
q
Let a(y) = -2*y**3 - 14*y**2 - 9*y + 36. Let u be a(-9). Is u <= -0.1?
False
Let p be (-34)/(-3)*45/(-6). Is -87 < p?
True
Suppose -2*a = -4*a + 520. Which is greater: a or 262?
262
Let i(k) = k**2 + 15*k - 34. Let x be i(-17). Suppose -9*l - 6 - 3 = x. Which is bigger: -0.01 or l?
-0.01
Let w be -31 - 0*3/9. Let z = w - -58. Let k be 320/225 + (-6)/z. Which is smaller: k or 0?
0
Let u be (-1 - 15/5) + 3. Let h = -1.94 + -0.06. Which is smaller: h or u?
h
Let z = -31/57 + 23/19. Is z != -67.4?
True
Suppose -2*k + 4*y = 6, 10 = -4*k + 3*y + 8. Let x = 570059 - 12535755/22. Let h = x + -252. Which is bigger: h or k?
k
Suppose 2*r + 173 = -5. Suppose 3*b = -b - 256. Let v = r - b. Is -25 not equal to v?
False
Suppose c = 4*y + 5, -2*y = 4*c + 3*y - 20. Suppose -c*u - 195 = -45. Which is bigger: -31 or u?
u
Suppose 0 = -4*z + t + 234, 0 = -z + 4*t - 0*t + 51. Let r = 118 - z. Which is smaller: 60 or r?
r
Let f(r) = -2*r**2 - 9*r + 13. Let b(z) = z**2 + 5*z - 6. Let q(n) = 7*b(n) + 3*f(n). Let v be q(-8). Let i be -3*(10/v)/5. Which is greater: i or 3?
3
Suppose -3*r + 7 = -2*v, -9*r + 6*r - 4*v - 5 = 0. Are r and 1/659 non-equal?
True
Suppose 2*n - 3*z - 154 = 0, -6*z = 2*n - z - 138. Is n at most as big as 74?
True
Suppose 6 = 5*k + 4*l, -5*k + 6 = 5*l + 1. Let h be (k - (-15)/(-2))/((-27)/(-54)). Let s be ((-5)/(-3))/((-1)/6). Which is smaller: h or s?
h
Let k be 6/8*148/111. Which is bigger: 2/2855 or k?
k
Let f(b) = -b**2 - 4*b + 8. Let h be f(0). Is -5 not equal to h?
True
Let h(d) = -d + 44. Let m be h(24). Let c = 78 - 55. Which is greater: m or c?
c
Let c be 2 - ((-12)/4 - -3). Suppose o = c*o. Suppose 3*s - 4*s + 2 = o. Which is bigger: 2/5 or s?
s
Suppose -8*x - 30 = 82. Let c be -2 - (x/20 - -3)*-2. Is c at least 2?
True
Let k(s) be the third derivative of -s**5/30 + 7*s**4/24 - 2*s**3/3 + 2*s**2. Let f be k(4). Suppose 6*i = -28 - 20. Is i at least as big as f?
True
Let y(i) = -51*i - 8 + 9 - 16*i**2 + 38. Let l(x) = -3*x**2 - 10*x + 8. Let n(v) = -11*l(v) + 2*y(v). Let f be n(-9). Does f = -3/8?
False
Let z = -62.1 - -62. Let j(g) = -2*g**2 + 7*g - 3. Let o be j(6). Is z less than or equal to o?
False
Let s(a) = -31*a - 1. Let w be s(-5). Is w less than 154?
False
Let m be (2/3)/((-10)/45). Let l be m + 1 + (-108)/(-56). Which is smaller: 1 or l?
l
Let l = 0 - 0. Let u be (2/(-4)*29)/(32/128). Let a be 2 - (-2)/4*u/14. Which is smaller: l or a?
a
Let g = 0.871 - 0.9081. Which is bigger: -1 or g?
g
Let y = 0.028 - -28.972. Let g = y - 41. Which is smaller: 1/2 or g?
g
Let t be 24/18 - (-25)/(-60). Which is greater: 2 or t?
2
Suppose -5*a = -2*x - 18, 32 = -3*x + 4*a + a. Let c(g) = 2*g**2 + 67*g + 1. Let t be c(-34). Let z be (8/5)/(x/t). Is z at most 0.1?
True
Suppose -l - 193 - 12 = s, -3*l - 621 = s. Let u be (-20)/15 + l/(-12). Which is smaller: 17 or u?
u
Suppose -3 = -0*b - b. Let q(k) = 8*k**2 + 11 - 3*k**2 + 2*k**2 - k**b + 6*k. Let p be q(8). Is 1 greater than p?
True
Let w = 15533837/350 + -44382. Let k = w - 8/25. Which is smaller: 2/3 or k?
k
Suppose m + 41 = 3*c, 19 = 2*c + 5*m + 3. Which is smaller: -17 or c?
-17
Suppose 3*s + 2*s = 5*w - 45, -47 = 5*s - 4*w. Let i = -16 - s. Which is greater: -8 or i?
i
Let d be ((-1)/(-2))/(7/840). Suppose 12 = 2*x - d. Do x and 35 have different values?
True
Suppose 2*l = 4*w - 18, 6*l - 2*l - 14 = -2*w. Let f = 748/1845 - 2/369. Is l at least f?
True
Let a = 125.42 - 124. Let x = a + -0.87. Is 2/9 smaller than x?
True
Let z(s) = 3*s**3 - 3*s**2 + 3*s + 5. Let p be z(3). Let a be 2/(-6) + p/(-3). Is a bigger than -23?
False
Let p be (-2)/(20/(-8) - -2). Suppose p*c = 35 + 5. Let a be 1/(-2)*c/(-5). Which is smaller: a or -2/13?
-2/13
Let g(z) = 3*z**2 + 2*z - 9. Let y be g(-3). Is -4 >= y?
False
Let r be (-3 - -3) + -8 - 4. Let f be (-8)/r - (-8)/(-10). Let t = 0.21 - 0.27. Is t greater than f?
True
Let h = -6.45 + 0.45. Let r = -4 - h. Is r greater than or equal to 3?
False
Let j = -124 - -125.81. Let t = -1.71 + j. Is -6 less than or equal to t?
True
Suppose 0 = 6*p - 13*p - 196. Let i = -2/43 + 51/172. Is i > p?
True
Let v = 29.8 + -28.8. Which is smaller: v or 0.0461?
0.0461
Let t = -27/28 - -5/7. Let i = -1.949 - -0.149. Let s = 1.9 + i. Is t bigger than s?
False
Let m be ((-12)/(-84)*0)/(-2). Is m smaller than 5/46?
True
Let j be (100/(-30)*30/8)/12. Is 1/3 < j?
False
Let v(b) = b**3 + 8*b**2 - 9*b + 3. Let y = -14 - -5. Let a be v(y). Suppose a*r = -2*r - 5*u + 15, 2*r = u - 9. Is -10/7 <= r?
False
Let f be (-4)/10 + 188/20. Let p be -2 - 0*(-3)/f. Which is smaller: p or -7/8?
p
Let q = -0.21 - -10.21. Let l = 543 + -542.8. Are q and l non-equal?
True
Let u = 32.6 + -6.6. Let z = -26.8 + u. Let g = z - -0.2. Is g greater than or equal to 0.1?
False
Let q = 1.34 - 1.775. Let l = 0.135 + q. Which is smaller: 0.4 or l?
l
Suppose -13 = -v - 4. Suppose i = 3*o + v, -3*o - 5*i - 35 = 2*o. Is -2 > o?
True
Let o be ((-3)/(-15) - -4) + 12/(-3). Are o and -1 unequal?
True
Let y be (2/(-4))/(9/2790). Which is smaller: -461/3 or y?
y
Suppose -34*d - 284 = 668. Is -20 >= d?
True
Let w = 37 + -33. Suppose 0*g - 5*x = 4*g - 23, 3*g = 4*x - 6. Suppose -s + 3 = 4*d, 4*s = -g*d + w*d - 24. Which is greater: d or -2?
d
Let v(h) = -2*h - 14. Let r be v(-10). Suppose -9*u = -r - 3. Which is greater: -2/19 or u?
u
Let n = -2/11 - -28/33. Is 1 equal to n?
False
Let x be 16*(-12)/(-27) - 0. Let j = x - 284/45. Suppose 3*d - 26 = 5*u, 3*d = d + 3*u + 16. Is d at most j?
False
Let n = -416 + 282. Let x = n + 134. Is 6/23 >= x?
True
Let r = 40 + -20. Suppose 4*k + 0*k - 2*f - r = 0, 0 = 4*f + 16. Is k greater than 2?
True
Suppose 4*t = -2*d + 194, 2*t = 3*t + d - 50. Which is smaller: 48 or t?
t
Let r be (-2)/8 + (-30)/8. Suppose h + 14 = 8*h. Let o be ((-6)/r)/(3/h). Is o > 1?
False
Let o(d) be the third derivative of 0 - 1/120*d**6 - 1/6*d**3 + 0*d**5 + 0*d + 1/12*d**4 + 6*d**2. Let n be o(1). Is -1/12 at least n?
False
Suppose -280 = -11*f - 16. Is 22 > f?
False
Let r = 48 - 46. Suppose 4*b - 3*b = 3*l - 28, r*b + 32 = 3*l. Which is smaller: l or 3?
3
Let a be (184/(-5))/(918/111906). Let v = a + 4486. Which is smaller: 0 or v?
0
Let j(i) = -7*i + 48. Let y be j(7). Which is bigger: y or -1/69?
-1/69
Let b = 203845/266 + -1533/2. Let c = -253/266 - b. Which is bigger: c or -2?
c
Let l(t) = t**2 + 4*t - 6. L