01. Which is bigger: r or -58?
r
Suppose -7328986 = 494*i - 141*i. Is -20762 at most as big as i?
True
Let z = 688 - -4785. Is 5475 greater than or equal to z?
True
Let g = -1/2829 + -15085/8487. Suppose -3*u + u = 6. Let o = u + 0. Is g != o?
True
Let p = -7363 - -2341. Which is bigger: -5024 or p?
p
Let c(r) = 11*r + 529. Let f be c(-48). Is f less than 2/9309?
False
Let f = -3.7 + 0.7. Let w = f - -3. Let l = -8033 + 8044. Is l greater than or equal to w?
True
Suppose -2*s + 7*m - 613 = 12*m, -m - 3 = 0. Let f = s - -331. Are f and 32 unequal?
False
Suppose 5*p = -4*k - 203, 3*k - 15 = -2*p - 162. Suppose -359 - 19 = 7*a. Let b = a - k. Is -6 > b?
True
Let l be 2/(-28) + -25 + (-79815)/(-210). Which is greater: l or 711/2?
711/2
Let v be (374/4)/(5/10). Let k be (-15753)/(-87) + 5 - -1. Let i = k - v. Which is greater: 1 or i?
1
Let v be (109 + -6 - (1 - 1)) + 1. Let n = 103 + v. Let l be n/57 + (-24)/6. Which is greater: -1 or l?
l
Let l be -19*(2/(-1) - 3). Let d = l - 98. Let i = 1027 + -7201/7. Is i bigger than d?
True
Let r be (-2)/27 + (-15030)/(-281637). Is -1 greater than r?
False
Suppose -49*u + 3920 = -39*u. Suppose 0 = 3*n - 4*o - 240, -4*n + 2*o = -u + 62. Which is smaller: 83 or n?
83
Let f = -40438 + 40459. Let l(a) = 2*a + 3. Let o be l(-2). Which is smaller: o or f?
o
Suppose -4230*z + 4247*z - 2907 = 0. Which is greater: z or 170?
z
Let d = 431 - 624. Let k = 193.3 + d. Are k and 1.7 non-equal?
True
Let u(z) = 2*z**2 - 12*z - 13. Let y be u(7). Is -8/657 at least as big as y?
False
Suppose -18380 = 5*i + 2*c + 3128, 5*i - 4*c + 21484 = 0. Which is smaller: -4299 or i?
i
Let f = -43022 - -43025. Let i = -23 - -22.942. Let k = -0.172 + i. Is k at least f?
False
Let x = -1/65 - 127/195. Let b = 642 - 660. Is x > b?
True
Let q be (-14)/(-9) - 8/(-18). Suppose -5*k + 465 = 5*j, j - q = -6. Is k at least as big as 95?
True
Let z(q) be the third derivative of -q**4 - 40*q**3/3 + 6*q**2 - 3. Let u be z(-6). Is 64 < u?
False
Suppose -6*c - 15 = -9*c, 0 = -5*x + 3*c - 10. Let f be (285/(-30)*x)/((-2)/8). Which is smaller: f or 116/3?
f
Let m(i) = i**2 - 114*i + 117. Let d be m(36). Is d less than or equal to -2690?
True
Let p(k) = -k**2 - 3*k + 3. Let j be (6/(-8))/(5/20). Let t be p(j). Let b be 2/((-4)/(-9)) - (-11 - -12). Do t and b have the same value?
False
Suppose 28 = -22*y + 138. Suppose 7*h + y*w + 25 = 10*h, -3*h - w = 5. Are -42 and h equal?
False
Let q(m) = -2*m**2 - 48*m + 8. Let b be q(-24). Let a be (4 - 0) + 0 - (b + 8). Is a at least as big as -63/5?
True
Let d be 48/(-32) + 3013/2008. Let j = -64251/10040 - d. Is -6 at most j?
False
Let a(s) = s**3 - 31*s**2 + 32*s - 14. Let f be a(30). Let k(y) = -y**3 + 45*y**2 + 52*y - 156. Let p be k(f). Does 0 = p?
False
Let g(t) = -t**3 + 17*t**2 - 16*t - 144. Let j be g(14). Is 220 less than or equal to j?
True
Let v = -52981 - -26013641/491. Which is smaller: 0 or v?
v
Let d = 0.5402 + -0.0402. Let y = 0.4 - d. Which is greater: y or 2/173?
2/173
Suppose -4*r + 2*r - 137 = x, 4*r = x + 155. Which is bigger: x or -159?
x
Suppose 2*o + 2*b - 62 = 0, 0 = 3*b - 0*b. Let u = o + -32. Let y be (19/(-4))/(u/32*4). Which is smaller: y or 39?
y
Let o(b) = 4*b**2 - 142*b + 796. Let p be o(6). Is 0.01 not equal to p?
True
Let j be (-17 + 19)/((2/(-3))/((-11)/(-33))). Which is bigger: 2/31565 or j?
2/31565
Let y = 12.7 - 110.2. Let f = y + 86. Let d = f + 15. Which is greater: d or -2?
d
Let v(k) = 2*k**3 + 13*k**2 - 12*k - 26. Let n be v(-7). Suppose n*r + 228 = -29*r. Which is greater: -9 or r?
r
Let p be ((-764)/6)/(2/(-3)). Let a = 151 - p. Does -42 = a?
False
Suppose -2*r = -r - 14. Suppose -3*f + 188 = 41. Suppose 54*y - 70 = f*y. Is y <= r?
True
Let g = -4008 - -4008.3. Let x = 8 + -10. Let m = -1.86 - x. Is m <= g?
True
Let s be 4/(-16) - 17/(-36). Suppose -13*i - 412 = -399. Which is greater: i or s?
s
Let x be 9*((-194264)/462 + (-2)/33*3). Which is bigger: x or -22715/6?
-22715/6
Let l(d) = -d + 21. Let u = -149 - -156. Let r be l(u). Which is bigger: 12 or r?
r
Let n(q) = 35*q + 41. Let f be n(-4). Let a be (-78)/(-8)*(-11)/f + -1. Is -0.1 <= a?
True
Let g = -52 - -97. Let s = -0.29831 + 49.29831. Let m = g - s. Is 2/9 > m?
True
Let m = -286 - -90. Let j be m*5/(0 + -20). Let w = j - 50. Which is smaller: -5/19 or w?
w
Let n(r) = -r**3 + 107*r**2 - 132*r + 397. Let f be n(104). Which is smaller: f or 19116?
19116
Let y(f) = -f**3 - 3*f**2 + 2*f - 3. Let h be y(-4). Let d be 33 + -18 + ((-2)/(-2))/1. Suppose 8*i - 4*i = d. Is i > h?
False
Let y be 3072/(-3584) - (-16)/35. Which is smaller: -154/23 or y?
-154/23
Let w(l) = l**3 - 14*l**2 - 7*l - 19. Suppose 0 = 4*t - 13*t + 63. Let n be w(t). Let b = 6579/16 + n. Which is bigger: b or 1?
1
Let h be (10/(-20))/(6/(-60)). Suppose 3*p - 2*o + 2 - 27 = 0, -4*p + 31 = -5*o. Which is smaller: p or h?
h
Let y = -0.06 + 0.1. Let w be 8 - ((-611)/143 - -12). Which is smaller: y or w?
y
Let y be 2/1 + -1 - -125. Suppose -937 = -29*z + 2717. Let h = z - y. Is h > 5/6?
False
Suppose -3*i = -4*m + 18, -4*i + 6 = -5*i + 3*m. Let o be 66/i + -2*4/4. Let k = -39 + 29. Is o >= k?
False
Let d = -0.64821 + 0.17761. Is -1 greater than or equal to d?
False
Let q = 8 - -40. Let g = 145/39 - 57/13. Is q at most g?
False
Let h = 578/25 + 457/150. Which is bigger: h or 25?
h
Let u(f) = -f**3 - 14*f**2 + 32*f - 28. Let w be u(-16). Let c(a) = a**3 + 4*a**2 - 8*a - 5. Let p be c(-6). Which is bigger: w or p?
w
Let o = -282/5 + 318952/5655. Let m = o + 40/87. Is m smaller than 0?
False
Let r be (-1587)/(-46) - (1/2 + -1). Let v be ((-90)/r)/((32/(-28))/4). Is 15/2 greater than or equal to v?
False
Let t = -2554183000 + 748376456689/293. Let z = -2859 + t. Which is greater: z or 1?
1
Let y = 144596 - 30220254/209. Let p = y - 14/11. Let k = p + -111/437. Which is greater: -1 or k?
k
Let y = -75 - -223. Let r = y + -149. Which is greater: 1/12 or r?
1/12
Let l be (-248)/(-670) + (-2)/5. Let v(u) be the third derivative of u**5/60 + 13*u**4/24 + 13*u**3/2 + 47*u**2. Let t be v(-8). Which is greater: l or t?
l
Let f = 40 + -58. Let g = f - -8. Let l be (-18)/((-5)/(g/22)). Is -3 != l?
True
Let b(i) = 357*i - 3. Let c be b(-2). Let z = -2131/3 - c. Let h = -16 - -24. Which is greater: h or z?
h
Suppose -4*g - 6 = 18. Let k = g + 11. Suppose -x = -383*b + 385*b + 15, -2*x - 18 = 2*b. Is x greater than k?
False
Let r be ((-12)/(-40))/((-36663)/44 + -12). Do r and -1 have different values?
True
Let u = 36 - 57. Let t(j) = -j**2 - 27*j - 144. Let g be t(-9). Suppose -g*a = -26*a - 160. Which is bigger: u or a?
a
Let o(g) = -g + 4. Let t be o(-5). Suppose t - 8 = v. Let k be 1 + 1 + (-78)/48. Is k at most as big as v?
True
Suppose 5*v + 0*k + 5*k = 0, 0 = -5*v + 3*k + 24. Suppose 0 = v*z + 3*x + x - 595, 0 = 2*z + 3*x - 397. Suppose 13*w = -z + 847. Which is smaller: w or 51?
w
Suppose -47*t - 493 = 24. Which is greater: -45 or t?
t
Let a(y) be the first derivative of -9*y**2/2 + 17*y + 64. Let d be a(-3). Is d >= 44?
True
Let x = 477012/34937 + -314/23. Is 1 less than or equal to x?
False
Let p = 8966 - 9140. Let y = -2/39 + 88/195. Is y smaller than p?
False
Suppose -2*a + 8 = 2*a. Suppose 0 = -5*c + 5, 4*y + 23*c - 21*c = a. Do y and 9/7 have different values?
True
Suppose 3*m + 22 = 5*q, -23*m = -18*m + q - 10. Which is bigger: m or 63?
63
Let c be (33*1/3)/((-5)/25). Let w be -4 - (-24)/(-54)*498/c. Is 0 not equal to w?
True
Suppose m + 0 + 1 = 3*g, -4*g + 4*m - 12 = 0. Let x = -45428/19 - -2392. Is x greater than g?
False
Let b be 7*(-5)/((-6)/(6432/40)). Are 937 and b unequal?
True
Let t be 25/((-3250)/(-104))*1/(-4). Are 7.89 and t nonequal?
True
Let g = 0.95 + -35.15. Let f = -50.5 - g. Let o = 16 + f. Is -3/4 >= o?
False
Let m be 27/((-243)/(-150)) + -2 + (-40)/(-12). Is -4/145 greater than m?
False
Let g = -4477 + 4474.861. Are 2/13 and g equal?
False
Let s(z) = z**2 - 12*z + 5. Let c be s(12). Suppose -5*y - m + 1 = 0, y - 22 = -y + c*m. Let h be (-6)/(-4)*10/(-15). Is h <= y?
True
Let u = -245.66 - -246. Let l = -0.16 + 0.6. Let q = l - u. Which is greater: -29 or q?
q
Suppose -555 = -69*b - 4 + 1657. Let h be (-5)/15 - 64/(-3). Is b at least h?
True
Let m(k) be the third derivative of -k**6/120 - k**5/6 - k**4/6 + 3*k**3/2 - 3*k**2. Suppose 5*i 