 = 5722/91 - 225/13. Which is bigger: k or 46?
46
Let v = 8010 + -1890359/236. Let i(w) be the third derivative of w**5/60 + w**4/24 - w**3/6 + 2*w**2. Let u be i(0). Which is smaller: u or v?
u
Let b = -187 + 5047/27. Let o = 9 + -9. Which is bigger: o or b?
o
Let o be ((-6)/176)/(22 + 1050/(-56)). Are -1 and o unequal?
True
Suppose -3*w + 15 = -6*w. Let z be (9 + w)*(-2 + (-276)/16). Which is smaller: z or 0.1?
z
Let k = -2972 - -1689. Let y = 815987/636 + k. Which is bigger: -1 or y?
y
Let d = 288/5 - 34921/10. Is d at least as big as -3434?
False
Let g = -383/95 + -349/19. Which is smaller: g or 0?
g
Let l be (11 - 9) + (-1 + 1 - 583) - 4. Which is smaller: -584 or l?
l
Let a = -1 - -0.7. Let k be 7 + (-304)/44 - 0. Which is greater: k or a?
k
Let n(j) = j + 3. Let h be n(0). Suppose -d - y - 2*y - 12 = 0, h*d + 4 = -y. Suppose -2*b + d = -4. Which is smaller: 0 or b?
0
Let u = -5 + 0. Suppose 4*p - 34 - 82 = 0. Let s be (-91)/12 + 1 - p/(-116). Which is smaller: s or u?
s
Let x(t) = 76*t + 9. Let m be 4/(-10)*(2 - -3). Let a be x(m). Let s = -59 - a. Is s > 85?
False
Let d(f) = -f**3 - 10*f**2 - 22*f + 12. Let k be d(-6). Suppose k = -16*a + 19*a. Which is bigger: -26/37 or a?
a
Let c = 295 - 297. Let u be (1*1/c)/((-1)/(-40)). Let x = 18 - 37. Which is greater: x or u?
x
Let z = -10528.93729 + 10529. Which is smaller: z or -1?
-1
Let n = 6416.5 - -613.5. Which is smaller: n or -0.1?
-0.1
Let t be (1 - (0 - 1)) + 3 + -1. Suppose 31*d = 27*d - 5*o - 415, 2*o - 394 = t*d. Which is smaller: d or -101?
-101
Let v be (-44)/(-176)*8/(-28). Is -32/31 at most as big as v?
True
Let l = 2751 - 2751.2. Which is smaller: l or 2.88?
l
Let v = 12251 - 11480. Is v smaller than 763?
False
Let w = 9245/17 + -1627/3. Which is bigger: w or 1?
w
Let i(h) = -h**3 + 2*h**2 - 38*h - 93. Let u be i(-2). Which is greater: 3/11530 or u?
3/11530
Suppose -9*h - 2*k = -11*h - 348, -k = -2*h - 345. Let n = -172 - h. Do n and -24/25 have the same value?
False
Let t = 6176013078026/507 + -12181481044. Let c = -4317 + t. Let q = 673/1521 - c. Is q less than -1?
False
Let q = 123 + -105. Suppose -20*g + q*g = 0. Which is smaller: g or 19/20?
g
Let d be (1296/(-63))/(2 - 143/70). Are d and 1925/4 equal?
False
Let i = -1157/66 - -1/33. Let c = -114 + -86. Let u be (-4)/(-22) + c*1/11. Which is smaller: u or i?
u
Suppose 4*z - r = -7*r + 1234, -3*z + 3*r + 948 = 0. Which is smaller: 315 or z?
z
Let c be 12/(-48) + (-2)/(-16)*2. Suppose 5*f - 26 + 21 = c. Let s = -4 - -3. Which is bigger: f or s?
f
Let o be -11 - ((-2)/4)/(4060/1419880). Does 164 = o?
False
Suppose -3*v - 6 = 3, -8891 = -2*l - 3*v. Is l bigger than 4451?
False
Let l = 149.0413 - 0.0413. Let w = -147 + l. Which is bigger: 31 or w?
31
Let r = 79.7 - 107. Let o = r - -26.3. Is 0.49 > o?
True
Let v be (-1 - (-2)/(-4))*-2*31. Let o = v + -73. Suppose 2 + o = -2*i. Which is greater: i or -12?
i
Suppose -4*o - 123*s = -125*s - 56, -5*o + 59 = 3*s. Is 0.09 greater than o?
False
Let v = -28747 - -29630. Is v at least 877?
True
Let h(o) = 2*o - 211. Let n be h(106). Which is bigger: -102/211 or n?
n
Let h = -9.4 - -8.14. Do h and 5/7 have different values?
True
Let m(x) = -x - 10. Let o be m(-15). Suppose -d = -o*l - 100, 2*l = -d - 3 - 30. Suppose -254 = -2*f - 288. Is f less than or equal to l?
False
Suppose -6227 = 8*c - 1400 + 509. Are -668 and c equal?
False
Let j be (((-23)/(-5) + -4)/3)/((-31)/(-155)). Let n be -1 + (2 - (-26)/(-32)). Is n less than or equal to j?
True
Let y(o) = 10 + o**2 - 17 - 15 + 55 + 11*o. Let u be y(-7). Suppose 38 = u*i - 5*m - 152, i + m = 44. Which is greater: 2 or i?
i
Let j be 26/(-4)*(1 - -1). Suppose 5*s = 6*s - 4, -6 = -5*g - 4*s. Let p be g/(2/(18 + -6)). Is j != p?
True
Let j(x) = 3*x**2 + x - 1. Let h be j(1). Let l be 195/(-100) - h - -5. Let p = 3 + -5. Is p >= l?
False
Let g(p) = p**3 + 5*p**2 + 8*p - 2. Let a be g(-3). Let m be (a/9 - (-8)/36)*-3. Let y be (m/111)/((-42)/189). Is y bigger than -2/3?
True
Let m be 26/91 - (-197381)/2982. Let a = 5/213 + m. Which is greater: 66 or a?
a
Let h = -7 - -7. Let i = -2656 + 77022/29. Is i less than or equal to h?
True
Let g = 115 + -199. Let x(z) = 1787*z**2 - 8952*z. Let h be x(5). Which is smaller: g or h?
h
Let t be (-2 - 0)*12/102. Let l(k) = -3*k**2 + 15*k - 1. Let o(c) = c + 12. Let s be o(-7). Let r be l(s). Which is smaller: t or r?
r
Let p = -341 - -363. Let b = 20 - p. Do b and -21 have the same value?
False
Let i(h) = -h**2 - 6*h - 43. Let s be i(-5). Let z be s/247 - (-1254)/(-130). Is -11 less than z?
True
Let x = -2096 + 2128. Which is greater: x or -3?
x
Suppose 112 = 2*l + 108. Let j be (-1 - -4) + 4 + l + -6. Is -3 less than or equal to j?
True
Suppose 0*g = g + 4*r + 2, 0 = g + 5*r + 2. Suppose 4*q - 82 = -3*o, -2*q - 3 + 33 = -4*o. Let w be (-1)/2*-11*q/(-57). Which is bigger: w or g?
w
Let t(p) = p**3 - 8*p**2 + 7*p - 21. Let w be t(6). Let s = w + 68. Suppose 20 = 5*q - 4*m, s + 8 = q - 5*m. Which is greater: -2/57 or q?
q
Suppose 20 = -8*n + 12*n, 2*f = -n + 245. Which is smaller: 1/4 or f?
1/4
Suppose 0 = 83*f - 0*f + 83. Let u = -2172 + 28221/13. Let h = u - -799/715. Which is smaller: h or f?
f
Let m = -1.13967 - 0.06033. Which is smaller: m or -3?
-3
Suppose -42*r - 1022 = 448. Which is bigger: r or -950/27?
r
Suppose 0 = -160047*h + 160035*h - 135144. Which is smaller: -11264 or h?
-11264
Let l = -43120 - -211503602/4905. Are l and 0 equal?
False
Let k(t) = -t**2 - 32*t - 191. Let x be k(-24). Which is bigger: 3/1682 or x?
x
Let q(t) = -t**3 + 5*t**2 - t + 7. Let i be q(5). Suppose 0 = -x + i*b + 11, 0*b - 2*b = -10. Which is smaller: 6 or x?
6
Suppose -b - 4*m = 16, -4*b = -3*m - 15 + 3. Let w be ((-238)/4)/((-3)/(-6)). Let j be (-12)/102 + 37/w. Is b >= j?
True
Let j(i) = -4*i**2 - 292*i - 1606. Let a be j(-6). Which is bigger: a or -2/1473?
a
Let u = -4 - 1. Let w = -4 - u. Let y = 0.1053 + 0.0947. Is w less than y?
False
Suppose -13*n = 5*r - 17*n - 1650, 1320 = 4*r - 2*n. Is 331 less than or equal to r?
False
Let k(s) = -s**2 + 325. Suppose -486 = -5*x + 32*x. Let p be k(x). Suppose 26 = 5*z + 1. Which is bigger: z or p?
z
Let n = 1781 + -950. Which is smaller: n or 830?
830
Let i = 2.42 + -3.19. Let p = i + 0.97. Let m = 0.2 - 0. Is m greater than or equal to p?
True
Let n(w) = 9*w + 9. Let j(z) = 1. Suppose 4*m - 42 = -3*m. Let a(i) = m*j(i) + n(i). Let r be a(-4). Is -21 smaller than r?
False
Suppose -5*n - 7 = -3*z + 39, 2*z - 39 = 5*n. Let t be z/(-6) + (-1)/(-2). Let d = 8909 - 8909. Which is bigger: d or t?
d
Let k(v) = -713*v + 33652. Let l be k(47). Let b be (2 + 2)*35/1. Which is smaller: l or b?
b
Let s be 263 - 1 - (-9)/((-27)/6). Suppose -q = -6*q + s. Let t = q - 207/4. Is -0.43 at least t?
False
Let s be 2*-42 - (0 - (-1 - -1)). Let y = s + 82. Let m be y*((-44)/(-8) - 4) + -46. Is m less than 0?
True
Suppose 22*n + 0*n - 74316 = 0. Let x be n/108 - -1 - (-2)/9. Which is bigger: x or 33?
33
Let q = 20600 + -24157. Are q and -3557 nonequal?
False
Suppose 17 = 4*s - 9*s - o, -14 = 2*s - 2*o. Let z be 22/s + 2 - (-3)/6. Let k be 1 - z/(-15) - (-52)/10. Is k at least as big as 5?
True
Suppose -20 = -3*z + a, 0 = -0*z - 3*z + 2*a + 25. Suppose 3*q + 15 = q + 3*p, 3*q + z*p = -13. Let o be 0/(4 - (-3)/(-3)) + -6. Does o = q?
True
Let t(y) = 8*y**3 - 6*y**2 - 41*y. Let h(q) = 9*q**3 - 6*q**2 - 38*q - 1. Let c(o) = -4*h(o) + 3*t(o). Let z be c(-3). Is z greater than 296?
False
Let s = 121 - -73. Let f = -194 + s. Is f at least -30?
True
Suppose 0 = 5*y - 6*y + 5. Suppose y*j = 9*j - 228. Let d = 57 - j. Is 1/6 bigger than d?
True
Let s be 11/((20/(-36))/(-5)). Let k be 2696/18 - (4 + (-418)/s). Do 149 and k have the same value?
False
Let q be -36*3492/(-152)*(-3)/(-9). Let o = q - 272. Is o at most 4?
True
Let d(y) = -41 - y**2 + 31*y + y**2 - 2*y**2 + 40. Let c be d(15). Which is bigger: 29/2 or c?
29/2
Let q(v) = -v**2 + 483. Let n be q(22). Let b = -61099/94 + 650. Which is smaller: b or n?
n
Let y be (642/5)/(3/10). Let n = y + 508. Let m be (-4)/34 + n/(-9384). Is m less than 0?
True
Suppose 0 = 5*g - z - 2*z + 2387, 3*z = 12. Let q = g + 15673/33. Is q less than 1?
True
Let i(j) = 12*j - 2827. Let b be i(92). Is -1722 greater than or equal to b?
True
Let t = 3 + 47. Let a = 1433 - 1