/225. Suppose 3*d - 4*d = 4*a + 2, 2*a = -4*d + 20. Suppose -d*r + 41 = 35. Which is smaller: r or g?
g
Let z = -13689 + 13690. Which is smaller: 20/1833 or z?
20/1833
Let o = 91.4 - 43. Let w = o + -8.4. Let f(p) = -p**2 - 6*p + 1. Let h be f(-6). Is h > w?
False
Let y = 6 + -6. Let g(d) = 25*d - 40*d**2 + 10 - 33 + 79*d**2 - 40*d**2. Let s be g(26). Which is bigger: y or s?
y
Let t(f) = -93*f + 89. Let v be t(1). Do v and -124 have the same value?
False
Let m = 46941/5 - 9610. Which is bigger: m or -223?
m
Suppose l - 2*l = -4*d + 4815, -3618 = -3*d + 3*l. Let k = d + -13242/11. Suppose 0*g + 4*g - 15 = 5*a, 0 = -g + 2*a + 6. Is g less than or equal to k?
False
Let q = -0.8114 - -4.8114. Let k = 0.1 + -0.1. Is k != q?
True
Let u be (4/(-26))/(1 + 0). Let x(c) = 15*c**2 - 39*c - 323. Let s be x(-7). Let q = s - 684. Which is bigger: u or q?
q
Suppose 0*s = 4*p + s - 292, 4*p = 2*s + 304. Let v = p - 653/9. Which is greater: 2 or v?
2
Suppose 28 - 29 = -f - h, -2*f = 3*h - 3. Is 5/772 equal to f?
False
Suppose 2*p + 580 - 1774 = -l, -3*l + 12 = 0. Suppose 0 = -122*m + 117*m + p. Is m > 119?
False
Let u be 97/(-11) + 2/(-11). Let y = -8652 + 8652.4. Which is smaller: u or y?
u
Let o(l) = -l**2 - 124*l - 306. Let c be o(-75). Which is smaller: 3370 or c?
c
Suppose w + 5*y = 5*w - 30, -2*w - 5*y = 0. Suppose w*l + 159 = 4*z - 36, 5*l + 240 = -5*z. Do -44 and l have different values?
True
Let b be (-23122)/(-1195392)*(2 + (-4)/8). Let u be (2 - 2) + (-6)/283. Let q = u + b. Which is bigger: q or 0?
q
Suppose 165 = 13*k + 2*k. Suppose 0 = k*z + 6*z + 2703. Which is greater: -158 or z?
-158
Let j(l) = 1604*l + 11046. Let i be j(-7). Let k be (-181)/((-1)/(1 - 2)). Is k >= i?
True
Let q be ((-6)/27 - (-19)/45)*0. Suppose -5*a - 62 = t, -4*a - 49 = -2*t - 5. Let w be (-1)/(-5)*a/(-162). Is w bigger than q?
True
Let r = 20836 + -22363. Are r and -3 equal?
False
Suppose n - 9 = -5*r, 3*r - 4*n = -0*r - 13. Which is greater: -4/371 or r?
r
Let p = 46.3 + -1.3. Let r = p + -29.1. Let k = 5.9 - r. Is k equal to -3?
False
Let f = 8242 - 10799. Is f at most 0?
True
Suppose 2*h = -5*q + 53, -5*h = -10*q + 15*q - 140. Suppose -4 = 5*k - h, -3*s - 2*k = -16. Is -3 smaller than s?
True
Let m = -86933/63477 + -2/2351. Is -1 greater than m?
True
Let c = -617 - -4929/8. Let a = -4 - -4. Suppose 3*j - 4*j - 1 = a. Which is smaller: c or j?
j
Suppose 79149 = 47*d - 66478 + 45141. Is d < 2138?
False
Let i = 1434 + -1433. Is i > -6/695?
True
Let n = 133.75 - 3.75. Let g = n + -134. Which is smaller: 4 or g?
g
Suppose 2*j = 3*o - 670, 41*o = 37*o - 3*j + 865. Suppose -5*p - 6*p + o = 0. Is p < 20?
False
Let g be 16*(-6)/((-96)/(-20)). Let w = 1933.7 - 2064. Let y = 130 + w. Which is smaller: y or g?
g
Let h = 7/327 + 34/109. Is h <= 2637?
True
Let w(m) = 9*m + 61. Let d be w(-6). Let z be ((-119)/(-2))/(d/(-14)). Is z less than or equal to -120?
False
Let o = -4590 + 5149. Is 559 greater than or equal to o?
True
Let a(z) = z**3 - 9*z**2 - 11*z + 15. Let w be a(10). Suppose 10 = -w*o - 0. Are o and -6/5 nonequal?
True
Let a = 74429/4 - 566181411/30428. Is a less than 1?
True
Let n be -3 + (-2 - -6) - 1. Let a be n*(-1 + 4 + (26 - 28)). Which is bigger: 8/15 or a?
8/15
Let b(s) be the second derivative of s**5/20 + s**4/3 + s**3/6 - 3*s**2 - 13*s. Let z be b(-3). Let i be (-1)/(-2) + 68/(-64). Which is bigger: z or i?
z
Let h = -7330 - -11764. Which is smaller: 4435 or h?
h
Let f be (12/(-18) + 1)/((-3)/(-297)). Suppose 4*o + f = 5*x, 3*x - 5*o - 23 = 2. Let r(k) = -k**3 + 4*k**2 + k - 5. Let i be r(4). Is x less than i?
False
Suppose 51 + 33 = 4*o. Suppose o*c - 8 = 25*c. Let w = -555 + 537. Is w greater than c?
False
Let f(v) = -31*v + 2. Let j be f(3). Let k = 11523 - 11607. Let x = k - j. Is x less than 4?
False
Let q = -84 - -82. Let n be (-34576*15/(-482))/q. Let a = 538 + n. Are a and 1 equal?
False
Let s be 4*-1 + -5 + (-276984)/(-30852). Which is smaller: 1 or s?
s
Suppose -33*j = -26*j + 42. Let i(n) = -n**3 - 4*n**2 + 14*n - 5. Let w be i(j). Which is smaller: -53/3 or w?
-53/3
Let f = -109.3 - 1.7. Let s = f + 111.25. Is -2 at least s?
False
Let y = -26 - -61. Let w = -64 + y. Let d = -1.05 + 0.05. Are w and d non-equal?
True
Let c be (-690595)/(-413295) - 10/6. Is c at least 1?
False
Suppose 6*d = 437 + 1237. Suppose 0 = 281*g - d*g + 54. Is g <= -1?
True
Suppose -566*y = -746*y + 1744920. Does y = -0.1?
False
Let x = 482/11 - 44. Suppose -5*u + 212 = 197. Suppose 5*b = 2*b + u. Which is smaller: b or x?
x
Suppose 8 + 22 = 4*t - 5*w, -48 = -5*t + w. Let n = t - 21. Let j be (-2 - -4) + n/((-33)/(-12)). Is -0.01 at most j?
False
Suppose 4*u - 326 = 4*c + 6*u, 0 = -2*c - 3*u - 177. Which is smaller: -1083/14 or c?
c
Let k be (6/21 + 88/(-112))*-8. Suppose -4*r - 15 = 5*t, -1 = r + k. Is -1/55 at least as big as t?
False
Let g be (-7)/((-8)/74240*-8). Let w = 4945078/609 + g. Is w at least as big as 1?
False
Let a = -3100/17 - -182. Let u be (-3)/(-8) + (-230)/(-368). Suppose -32*r - 31 = u. Which is smaller: r or a?
r
Let r = -12704 - -9001. Is r != -3703?
False
Let u be 1 + 3 + (-120)/33. Let t = u + -188/33. Let o = t + 1069/201. Is o greater than -1?
True
Suppose 35*q = -31*q + 57*q - 234. Is q bigger than 67?
False
Let d = 86 - -162. Let l = 249 - d. Which is smaller: -2.56 or l?
-2.56
Let l = -463 + 689. Suppose 2*x + 3*a = a - l, 3*x - 5*a + 371 = 0. Is x less than -118?
False
Let k = -42 - -45. Suppose 4*w - k*y - 7 = -0, -2*y + 18 = 3*w. Suppose -7*a + 3*a = -w. Is -1/3 at least as big as a?
False
Suppose -105*b + 9752 = 120212. Which is smaller: -1054 or b?
-1054
Suppose -92129 + 21125 = 122*f + 266*f. Which is bigger: f or -180?
-180
Let p be (60/(-14))/(-1*3/21). Suppose -10*l + p + 120 = 0. Suppose 5*u + 24 = q + 2, 5*q = 5*u + 70. Which is bigger: q or l?
l
Let i be 2 + -2 - 10353/(-69) - 0. Let w = -150 + i. Are 1 and w unequal?
True
Let l be ((-322)/70)/(-23)*0. Is l equal to 1/21367?
False
Suppose 3*h = 4*l + 6*h - 124, 0 = -3*h + 12. Suppose 25*q = l*q - 84. Suppose 33*o + q = 34*o. Which is smaller: o or 27?
27
Let d = 2626/35 - 333/5. Let m = -2763 - -2771. Does d = m?
False
Let o be ((-4)/17)/(16668/15742). Let m = 1 - -2. Let l = 2.8 - m. Which is smaller: o or l?
o
Suppose -3*l + 38 = -10. Let y be (2/l)/((-2)/44). Suppose 4*i = 3*v - 5, -53*i + 13 = -57*i - 5*v. Is y equal to i?
False
Let c be 5112/(-192) - 3/8. Let z be 6/c - (-521)/2223. Are z and 1 unequal?
True
Let w be ((-1284)/3 - -3) + 16/4. Is -421 less than w?
False
Let k be 10/(-15)*(-4)/6. Suppose 0 = -3*a - 2*b + 473, 472 = 3*a + b - 0*b. Let p = 158 - a. Are k and p unequal?
True
Let m = 526 - 527. Let r(c) = c**2 - 2*c - 18. Let b be r(6). Let i be 4/b + 2/(-222)*86. Which is greater: i or m?
i
Let y(l) = l**3 + 4*l**2 - 4*l + 6. Let i be y(-5). Let k = 100 - 73. Let r be ((-12)/k)/(-2 - (-24)/9). Which is bigger: i or r?
i
Let l = 87.139 + -87. Let y = 4.861 + l. Which is greater: -12 or y?
y
Let p = 93 + -77. Suppose 2*q - g = -4, 5*q - q - 4*g + p = 0. Suppose -2*f + 18 = -0*f + 4*r, 5*f - 4*r + 25 = q. Is f >= 0?
False
Let q(w) = w**3 - 65*w**2 - 85*w + 428. Let o be q(66). Is o smaller than -821?
True
Suppose 7*h - 2024 - 465 = 1144. Which is greater: h or 518?
h
Suppose 3*p = -113 + 116. Is p greater than or equal to -3/409?
True
Let k = 143.061 - 143. Let t = k - -0.039. Let d be 12/(-8) - (-3 + (-91)/(-62)). Which is bigger: d or t?
t
Let n be 2*3/((-6)/(-31)). Suppose -2*m = 205 - 7. Let k = 131 + m. Which is greater: k or n?
k
Let f = -2667 + 2786. Is 121 not equal to f?
True
Let d = 5.51 + -1.71. Let s = d - 5.8. Which is smaller: s or -38?
-38
Suppose c = -2*c + 2*f + 51, 3*c + 3*f - 51 = 0. Let o = 19 - c. Suppose 0 = 2*g + 2*d + o*d - 2, -2 = -g - 3*d. Are g and -2/7 equal?
False
Let c = -2/35 - 3/35. Let w(l) = l**2 - 14*l + 30. Let u be w(12). Suppose u = -12*d + 18. Is d <= c?
False
Let c(k) = k**2 + 24*k + 12. Let j be c(-11). Let q be (-987)/35*j/12. Let u = q + -308. Which is smaller: -1 or u?
-1
Let p = -568935754/485 - -1173063. Let z be 475/(-970) + 1/2. Let b = p + z. Do b and 8 have the same value?
False
Let j = -2450 - -2451. Which is smaller: 10/6743 or j?
10/6743
Let p be 1*(9 - 24) - -14. Is -4/35 at least p?
True
Let k = 5189/21 + -247. Let