1, 5*o = d + 807. Is -811 at most as big as d?
False
Let j(g) = 4*g**2 + 48*g + 34. Let m be j(-15). Let l = -220 + m. Let k(o) = -o**3 + o**2 - 4*o + 5. Let i be k(2). Which is greater: i or l?
l
Let w(c) = 3*c**2 + c - 1. Let n be w(-2). Let z = -4595 - -4655. Let l be (-82)/z - (n/6)/(-1). Is 1 at most as big as l?
False
Suppose -10*q + 42392 = -2*q. Let s = q + -15728/3. Which is smaller: s or 2/3?
2/3
Let a = -3 - 20.8. Let w = -0.423 + 0.523. Is a at least as big as w?
False
Let w = 809/3 - 259. Let o = 530 - 518. Is o bigger than w?
True
Let d = -92814 - -92814. Let u be (2 - (-1291)/(-17)) + 0. Let b = u + 74. Is b bigger than d?
True
Let d be ((-1179)/1965)/(2/10). Which is smaller: 2869 or d?
d
Let r(q) = 2*q**3 + 2*q - 56. Let m be r(0). Let h = 63 + m. Let d be -9 + ((-42)/(-4))/h. Is -8 >= d?
False
Let z = -3.3 + 0.3. Suppose 33 = 5*t - 8*t. Let k = 123/11 + t. Is k at least as big as z?
True
Let k be (16/(-20))/((-2)/10). Suppose -k*f - 3 = h + 16, -5*f = h + 24. Let b be (2/(-20))/(1 - f/(-4)). Is -19 >= b?
False
Let z be 15*4/(-12) - -28. Let n(f) = f**2 - 19*f - 91. Let t be n(z). Which is smaller: 25/13 or t?
t
Let m = -57 + 44. Let r = 2 - m. Let t = 7.9 - 8. Is t >= r?
False
Let w = -386057470/209 - -1847159. Let j be 4*(-82)/44 + 1. Let c = w - j. Which is smaller: c or 2?
c
Let a(v) = 2*v**2 - 131*v - 35. Let r be a(65). Which is bigger: -112 or r?
r
Let f(j) = j**3 - 2*j**2 - 6*j + 4. Let v be 18/4*((-12)/9 - -2). Let s be f(v). Let i be (4/5)/2 - 8/s. Is i equal to -2?
False
Let l be ((-480)/200 + 0)*20/6. Is 698 at most as big as l?
False
Let d be ((-14)/(-4))/((-2)/(-4)). Suppose 18*p - 219*p + 1028 = 56*p. Do d and p have different values?
True
Suppose -5*i + 5 = 2*z, -4*z - i + 16 = 3*i. Suppose z*y - 5 = -5*u, -6*u + 12 = -9*u + 2*y. Is u at least 7/8?
False
Let b(c) = c**2 - 17*c - 34. Let a(w) = 17*w + 32. Let h(k) = -3*a(k) - 2*b(k). Let y be h(-2). Which is smaller: -4 or y?
-4
Let b be 2*(2/(-11) + ((-129564)/88 - -18)). Which is smaller: b or -5817/2?
b
Let o(z) = -z**3 - 9*z**2 - 14*z - 4. Let u be o(-7). Let b be ((-10)/10)/(-205)*10/u. Which is smaller: -1 or b?
-1
Let n be (45/(-12))/((-27)/(-18))*1280/225. Which is smaller: n or -1/4?
n
Let a = -189 - -191. Let r = -135 - -120. Which is greater: r or a?
a
Suppose 2 = a - 4. Let o = a - 3. Suppose -318*d = -50*d + 298*d. Is o bigger than d?
True
Let d = -4781 + 4911. Which is smaller: d or 11?
11
Let f = -1926 + 1899. Suppose -w = -2*d - d - 2, 0 = w + 4. Which is bigger: f or d?
d
Let d be ((-930)/(-18))/(26/52). Is -3 greater than or equal to d?
False
Let g be ((-3)/13)/(15/50). Let u be 9 - (-7 - -14 - -4). Which is smaller: g or u?
u
Suppose -w - 3*w = -20. Suppose -2*p - w = -4*n - p, 3*n = 2*p + 10. Suppose n*z = 5*z + 5. Which is greater: 1/21 or z?
1/21
Let s = 330 + 77. Let f = -25587 + 25588. Which is greater: s or f?
s
Let j = 8516.905 + -8496. Let q = j - 21. Let k = -0.005 + q. Which is greater: 48 or k?
48
Suppose -276 - 30 = -17*h. Suppose -7*j = h*j. Is j at most -3/65?
False
Let u(f) = f**3 - 37*f**2 + 36*f + 2. Let s be u(36). Let j be -4 - ((-486)/(-30) - s/10). Let y(t) = 2*t - 10. Let n be y(-6). Which is greater: n or j?
j
Let x = 614 - 613. Which is smaller: x or -36/1403?
-36/1403
Let b = 299 - 245. Suppose -35*v + b = -37*v. Is 9 < v?
False
Let p(h) = h**3 + h**2 - 4*h - 3. Let t be p(-2). Let i = 1/12828 + 10135723/6414. Let a = 1581 - i. Which is smaller: a or t?
a
Suppose -t - 117 = -3*z + 64, -5*z + t = -305. Let g = z + -31. Suppose -g*y = -29*y - 30. Does y = 82/5?
False
Let f be (0 + 38/(-5))*(1 + -6). Suppose 2*g + d + d = -f, 0 = -4*g - 3*d - 71. Let x be -2*((-1)/(-2))/((-161)/g). Which is greater: -3/7 or x?
x
Let p = 161271/83 + -1943. Let q = 192 - 159. Suppose 39*b - q*b + 6 = 0. Which is greater: p or b?
p
Let d be (-5)/(-3) + 19/57. Let r(i) = 10*i + 1 - 5 + i**d + 5*i + 8. Let t be r(-15). Is t <= -2?
False
Let p be (-6 + 4 - 0/(-1))*148/(-37). Is 502 less than p?
False
Let c(p) = 5*p + 33. Let i be c(-6). Suppose i*b - b - 2*z = -20, 0 = -5*b - 2*z - 50. Let j be ((-20)/b)/((-2)/35). Which is greater: j or -34?
-34
Let c = -100 - -159. Let g = -39 + c. Let k be g/(-35) - 16/(-28). Are 5/4 and k non-equal?
True
Let u = 2481.8 - 2482. Let m = -0.15 + -0.05. Let y = m + -1. Which is smaller: u or y?
y
Let s(i) = -i**3 + 11*i**2 + 25*i + 19. Let m(y) = -y**3 + 28*y**2 - 56*y + 117. Let q be m(26). Let a be s(q). Which is smaller: 50/9 or a?
50/9
Let z be (1 + 5 - 10)*(189/7098)/(-9). Let h be -2*((-6)/2 + -1). Let p be (-2)/h + 1/4. Which is smaller: z or p?
p
Suppose 0*q - 4*t = 2*q, 0 = -5*q - t + 9. Let b(p) = 81 + 79 - 160 - q*p. Let y be b(-2). Is 4 > y?
False
Let q = -570.2 + 589. Let b = q - 16.8. Suppose -2*y - 2*y = r + 5, 2*y = -3*r - 25. Is b != r?
True
Let q be (-7)/((-56)/(-48)) - (-3 + (-33)/(-21)). Which is smaller: q or 2/47?
q
Let p be (-241992)/(-324) + (-50)/(-45). Is 746 at most p?
True
Let v be ((-19)/((-38)/12))/(-1 - -4). Suppose 7*c - v*c - 5*z = 715, c = -5*z + 113. Which is smaller: 137 or c?
137
Let l = -15692 - -11143. Let x = -59295/13 - l. Which is greater: x or -11?
-11
Let d be (-45)/(-17)*(-53)/159. Let z be 1*10/15 - (-320)/6. Let k = z + -55. Is d > k?
True
Let r = 3418 + -3410. Is r equal to 2/59?
False
Suppose -3*d + 59 = 3*y + 2*d, -d + 1 = 0. Suppose 0 = -2*p + 8*p + y. Let v = 41086/13 - 3162. Which is smaller: v or p?
p
Let l = 2303.7 + -2304. Which is smaller: l or 186?
l
Suppose -10*z + 6*z + 3*j = 17, 13 = -z + 2*j. Are z and 1/8988 unequal?
True
Let x = 2.1394 + -3.5994. Is x < 7/3?
True
Let s = 77185/558 - 2788/31. Which is smaller: 47 or s?
47
Let g be (-31)/1612*(3 - (-15)/(-3)). Which is smaller: 0 or g?
0
Let m(a) = -3*a**3 - 11*a**2 - 4*a + 30. Let z be m(-5). Let b be (-12)/z + 370/(-1625). Which is smaller: b or 5/2?
b
Suppose 0 = -4*b - 4*w - 20, 5*b = -w - 0 - 5. Is b at most -4/1523?
False
Let y be (-14 + (-1620)/(-110))*2/12. Is -1 less than y?
True
Let f(t) = -t**3 - 4*t**2 + 4*t - 2. Let p be f(-7). Let c = -49 - p. Do -166 and c have different values?
False
Let d be 4/10 - (-8)/5. Let u be 1382/461 + (d - 5). Let g = 6457/1383 + u. Is g equal to 6?
False
Let a(k) = 18*k**2 - 186*k + 282. Let m be a(8). Suppose -55 = -o + 2*o. Which is smaller: m or o?
o
Suppose 167*r = 165*r + 22. Do 61/5 and r have different values?
True
Let v(k) = -k**3 + 7*k**2 - 12*k + 5. Let s be v(4). Suppose 14 = s*i + 19. Let l = 62 + -79. Is i > l?
True
Suppose 1484*j - 612 = 1178*j. Suppose -2*i - 3 = -11. Let a be (2 - (i + -2)) + 2. Is j at most as big as a?
True
Let y be -6*(-3)/18 - -4. Suppose -5*k - 3 = 2*j, 0 = 2*j + y*k - 7*k - 4. Which is bigger: -1/362 or j?
j
Let w be 118/(-2) - (1 + -4). Let r = w + 64. Suppose 0 = -21*j + 25*j + r. Which is smaller: j or 0?
j
Suppose 3*k + 34 - 1 = 0. Let f(a) = a**3 + 10*a**2 - 10*a + 48. Let x be f(k). Which is smaller: 42 or x?
x
Let h = -27567 - -246505/9. Are -178 and h equal?
False
Let b = -273 - -594. Let i = 0.224 - 0.324. Which is greater: b or i?
b
Let m = 205.962 - 206. Let q be 1/3*60/80. Which is greater: m or q?
q
Let n = -10274 - -8680.4. Which is smaller: 0.1 or n?
n
Let l = 77629/30 + -4687/2. Is l greater than or equal to 244?
True
Let m = -457326/283 + 1616. Let k(u) be the third derivative of -u**5/60 - 5*u**4/3 + 20*u**3/3 - 95*u**2. Let q be k(-41). Are m and q nonequal?
True
Let l = -14.062 - -14. Let c = -66.938 + l. Which is bigger: c or 1?
1
Let k(f) = 91*f + 7. Let i = -123 + 109. Let g be k(i). Let v be g/196 - 6/(-8). Is -6 greater than v?
False
Let d = -0.446 - 0.554. Let i(j) = j**3 - 9*j**2 + 3. Let r be i(9). Let w be (6/r)/(8/13). Which is smaller: w or d?
d
Let g be -12 - -13 - -29*(3 + -2). Let b be (-3 + 1)/(g/945). Let m = b + 62. Which is bigger: m or -6/7?
-6/7
Suppose -g - l = 3, 4*g + 5*l + 3 = -14. Let x = -216690 - -1950208/9. Which is smaller: g or x?
x
Let r(d) = -d**3 + 14*d**2 - 24*d + 9. Suppose -21*v + 20*v = 5*c - 61, -2*c - 4*v + 28 = 0. Let j be r(c). Which is smaller: 18 or j?
j
Let y = 20 + 6. Let v = -14 + 44. Let i = v - y. Which is bigger: i or -1/4?
i
Let u(b) = 6*b - 18. Let f be u(3). Suppose f = -3*c - 9, 4*c - 187 = 3*q + 71. Is -90 <= q?
True
Let f be 2/(-1 - -3 - 416