7/(-102)*(-27)/(-6). Let g = -466/391 - s. Which is bigger: g or t?
g
Suppose -60 = 7*v - v. Let f be (0/(-4))/((-2)/(-1)). Let q = f + 1. Which is bigger: v or q?
q
Let k = 1411 - 1413. Suppose 3*g + 5*q + 17 = 0, -2*g - 8 = 4*q - 0. Let v = g + 9. Are k and v unequal?
True
Let i be (-3)/30*(308/48 + -6). Which is smaller: -1 or i?
-1
Let n(k) = k**3 + 20*k**2 - 20*k + 30. Let p be n(-21). Suppose -p*h - 18 = -6*h. Which is smaller: -9 or h?
-9
Let d = 1/31 - -768/217. Is d bigger than 4?
False
Let m(d) = d**2 - 14*d - 15. Let p be m(15). Suppose c + 5*u - 29 = p, -c + 45 = 2*c + u. Does c = 13?
False
Let y = -61.69 - -0.69. Let q = 60.9 + y. Is -2/9 <= q?
True
Let g = 130.9 - 131. Let s = 31 + -35.9. Let m = s + g. Which is smaller: m or -0.1?
m
Let w = 25 - -102. Suppose -3*x = 4*o + w, -2*o + 6*o = x + 21. Is x at least as big as -37?
True
Suppose -3*k + d + 33 = 5*d, 0 = -4*k + d + 63. Let p be k/6*22/(-55). Is p not equal to 1/128?
True
Suppose 4*t - 4 = 2*t. Let c be t/8 - 18/8. Let x be (-69)/(-46)*(-2)/3. Which is greater: c or x?
x
Suppose 2*g = -2, -3*g = 2*d - 6 + 1. Suppose 2*z - 4*j - 13 = 19, 2*z = -d*j + 24. Let a = 19 - z. Is a less than 4?
False
Let g(z) = -z + 13. Let y be g(-2). Is y smaller than 106/7?
True
Suppose -4*v = y - 303, 31 + 551 = 2*y - 4*v. Is 298 at least as big as y?
True
Let r be (6*8/12)/(-1). Let h be (12/r + -1)*13. Let i = -37 - h. Which is greater: i or 16?
16
Let c = 5645/957 - -10/957. Let u = 135/88 - c. Is -3 not equal to u?
True
Suppose 62 = -4*f + 3*s - 45, -5*s + 25 = 0. Let d = f - -20. Are d and -13/4 non-equal?
True
Let g = -725 + 756.9. Let b = g - 32. Which is bigger: b or 2.4?
2.4
Let g = -21.08 + 21. Let f = -0.11 - g. Let l = 3.8 + -4. Which is smaller: f or l?
l
Suppose -z = -4*b - 16, -14 = 3*z + 5*b - 45. Let x be z/(-4) + 4*1. Let h be (x/3)/((-2)/(-66)). Is h >= 12?
False
Let k be (-10341)/(-351) + -5 + 0. Which is greater: 23 or k?
k
Let q be 0 - -3 - 35 - 1. Let f be -21*(-3)/q + 2. Is f < 1/2?
True
Let k = 8 - 37/5. Let s = 0.19 + 0.01. Let j = s + -0.4. Which is smaller: j or k?
j
Let f = 18 + -37. Let n = 18 + f. Is n bigger than -1/3?
False
Suppose l - 12*l = 11. Is -3/47 at most as big as l?
False
Let v(a) = -a + 3. Let l = 0 - 3. Let p be v(l). Let y be (2/(-39))/(p/(-9)). Are y and 0 equal?
False
Let z(m) = m**3 + m**2 - 2*m. Let v(c) = -c**3 - 5*c**2 + 4*c + 4. Let d be v(-5). Let i = d + 14. Let s be z(i). Which is smaller: s or 2/39?
s
Let v(s) = 2*s + 2. Suppose -o = 5*b - 3*o - 24, -4*b = 5*o - 39. Let k be (b - 1)*(-8)/10. Let u be v(k). Which is bigger: -0.1 or u?
-0.1
Let v = -1.49 + 1.73. Is 4 less than or equal to v?
False
Let h = 35 - 33. Suppose 6*x = 2*x. Suppose x = -2*r - 5*f - 15, 4*r = f + f + 6. Which is smaller: r or h?
r
Let n = -6 + 4. Let x = n + 5. Let u = -342 + 343. Is u smaller than x?
True
Suppose -84 = -5*w - 4*f, -w = -5*w + 2*f + 88. Let x be 0 - ((-3881)/w - 0). Let k = x - 194. Which is greater: k or 1?
1
Let p be (-6 + 9)/(6/4). Let m be (5 + -5)*p/4. Let i be -4 + (m - -3)/1. Is i at least as big as 2?
False
Let t be (10494/(-4))/(1 + -7). Let l = -442 + t. Is -4 greater than l?
True
Let i = 1933 + -2835. Is -902 at least i?
True
Let z be (-315)/4 - 4/16. Let j = 55 + z. Let n = j - -23. Which is smaller: 0.12 or n?
n
Suppose 0 = 3*g - 8*g. Let i be 18/(-72)*(-8)/(-42). Which is smaller: g or i?
i
Let l = 12761/55185 + -2/4245. Suppose -6 = -0*c - 2*c. Let t = 4 - c. Is l at least as big as t?
False
Let m(v) = -v - 2. Let x be m(-7). Suppose x*w + 0*w - 10 = 0. Suppose -w*y + 3*y - 1 = 0. Which is smaller: y or 7/5?
y
Let h = -5 - -8. Suppose -2*u + 4*m - 2 = 0, -4*u - 5*m = -h*m + 14. Let w be (-24)/(-15) + u/5. Is 3/23 < w?
True
Let g(c) = 3*c**3 + c - 1. Let b be g(1). Let w(v) = v**3 - 4*v**2 + 2*v + 2. Let s be w(b). Let q(j) = 2*j**2 - 19*j + 37. Let m be q(7). Is s <= m?
True
Let l(y) be the third derivative of -y**4/24 + 25*y**3/6 + 5*y**2. Let q be l(6). Is q at most as big as 0.1?
False
Suppose 0 = 2*h - 5*v - 7, -5 = -0*h - h + v. Let d = 3 + 6. Let r = 8.9 - d. Which is greater: r or h?
h
Let q be (-188486)/404*4/(-10). Let j = q + -933/5. Which is smaller: 1 or j?
j
Suppose -4*r = -2*m - 446, 6*r - 7*r + 5*m = -89. Is r <= 0.2?
False
Suppose 27 + 35 = n. Is 60 greater than or equal to n?
False
Let b(z) = z**2 + z - 1. Let q be b(-1). Suppose 4*u + 24 - 8 = 0. Let g be 621/(-1620) - (1/u - 0). Which is bigger: g or q?
g
Let o = 72.78 + -76. Which is smaller: o or -2/7?
o
Let u = -0.18 - -38.18. Let c = u + -39. Let v = -2/5 - -13/20. Is v less than or equal to c?
False
Suppose -2*v + 0*n - 4*n - 32 = 0, 16 = -v - 5*n. Let z be v/6*(-6)/4. Let l be (-1)/(z - (-6 + 4)). Is l greater than 3?
False
Let f be (-76)/4 + 7/(28/(-8)). Does f = -21?
True
Let x = -0.2 + 0.33. Let m = -59 - -58.43. Let i = x - m. Is 0 equal to i?
False
Suppose 3*w - 6 = -y - 1, -6 = -y - 4*w. Suppose y*p - 90 = -3*p. Let a = p - 22. Which is bigger: a or -1?
-1
Let i = 69 - -88. Suppose -8*x = -i - 67. Which is smaller: 0 or x?
0
Let x = 1418 - 1417. Which is smaller: 1/711 or x?
1/711
Let x be 103/4 - (-30)/(-40). Which is bigger: x or 3?
x
Suppose -26*w + 1320 = -31*w. Which is bigger: -265 or w?
w
Let y = -25 + 25. Let k = -1.5 - y. Let h = -1.2 - k. Is h >= -4/11?
True
Let g = 636/7 + -2285/28. Which is smaller: 9 or g?
9
Let a = 1.3 + -1. Suppose 0 = -i + 61 - 60. Which is greater: a or i?
i
Let m(t) = 13*t**2 + 3*t + 4. Let w be m(-1). Let j = 20 - w. Is 7 <= j?
False
Let c = -1403/2798 + 2/1399. Is 527 != c?
True
Let f = -206.9 + 217. Let p = f - 10. Let s = 2 + -1. Is s not equal to p?
True
Let w = 64 + -47. Is 23 smaller than w?
False
Suppose -t - 2 = 3*v, -5*v + 4*v + 4 = 5*t. Let n(r) = 5*r**2. Let q be n(v). Suppose -18 = -i + g - 9, -2*i = g - 3. Do q and i have the same value?
False
Let m(o) = -5*o - 2. Let n be m(2). Let f = 16 + n. Suppose 0 = -f*p + 18 - 2. Is p bigger than 2?
True
Let h be (-1594)/(-1932) - (-75)/(-90). Which is smaller: h or -1?
-1
Suppose 4976 - 15920 = -57*x. Is x < 769/4?
True
Let q(o) = -5*o - 1. Let r be q(-1). Suppose -4*z - s + 5*s = 0, -1 = r*z - 5*s. Is z greater than -3?
True
Let g = -265 + 244. Is -22 equal to g?
False
Let m = 2 + 1. Let t be 2/m - 76/(-12). Let o be (7 - t)/(0 + 2). Is o bigger than 0?
False
Suppose 0 = 8*q - 2*q + 540. Let p be (6/5)/((-234)/q). Which is smaller: p or -1?
-1
Let i = -2/217 - 10406/1085. Which is smaller: i or -9?
i
Let n = 6/251 + -927/7279. Let h = n + -2/261. Suppose -10 = 4*a + 5*o, -a + 4 = 4*o + 12. Which is bigger: h or a?
a
Let x = 0.2 + -0.6. Let i = x - 0.1. Which is smaller: i or -10?
-10
Let j be 183080/(-20344) + (12 - 3). Which is bigger: j or 1?
1
Let a be (-4)/6 + 4/(-3). Suppose u + 25 = 4*j, 2*j + 15 = -0*j - 5*u. Let g be a*(2 + j/(-2)). Which is bigger: g or 0?
g
Let h(c) = -3*c**2 - c + 4 + 0 + 2*c**2 - 2. Let r be h(0). Suppose -r*t + 5*f - 22 = 0, -4*t + 3*f - 8 = 8. Is -2 greater than t?
False
Suppose -31 = -14*v - 87. Let g(b) = b + 12. Let r be g(-11). Let s(i) = -5*i + 1. Let p be s(r). Is p less than v?
False
Let u be 22 + -2 - 40/10. Which is greater: u or 77/5?
u
Let g = 19 - 19.065. Let d = g + 8.865. Let t = 1.8 - d. Is 2/3 at most as big as t?
False
Let u(j) = -j - 26. Let k be u(-23). Let m be 0/(2 - (-4)/(-1)). Let n = -3 - m. Is n smaller than k?
False
Let m = 1.7 - 1.34. Let u = 0.22 + m. Let z = 0.6 - u. Is z < 0?
False
Suppose 25*n = 31*n + 402. Which is smaller: -738/11 or n?
-738/11
Let p(i) = i**3 - 8*i**2 + 9*i - 24. Let g be p(7). Let w(a) = a**2 + 18*a + 24. Let h be w(-16). Is h bigger than g?
True
Let g = 0 + 2. Suppose -3*v + 14 = -10. Suppose v = 6*w - g*w. Are -2 and w equal?
False
Let y(g) = -g**2 + 8*g + 3. Let h be y(9). Is -7 != h?
True
Let m be (-72 + 0)*2/4. Let h = 384 + -420. Are h and m equal?
True
Let i = 0.25 - 0. Let l be ((-8)/(-12) - 1)/(15/18). Is i greater than l?
True
Suppose 3*h + 168 = 207. Which is smaller: h or 17?
h
Let j be (-572)/3 - 30/(-45). Let l = j + 773/4. Which is bigger: 3 or l?
l
Let j be (-39)/(-338)*16/(-6). Is 5 < j?
False
Let t be 6/(-3) - 13*2. Let y be t/10 + 20/25. Let p be 1/4*(y + 6). Is 2/43 < p?
True
Let g = 60 - 59.7. Which is smaller: g or -3/5?
-3/5
Let v be -5*(2 + 136/(-70)).