e -27 = 19*u - 46. Which is smaller: x or u?
x
Let r be (-9368)/10 - (-17 - -13). Let v(f) = 298*f - 34. Let p be v(-3). Let d = p - r. Is 4 at most d?
True
Let g = 63954984/1135 + -56348. Which is smaller: g or -1?
-1
Suppose 35 = -40*h + 47*h. Suppose -3*n - 8 = 2*p - 23, 0 = 5*p - n + h. Which is smaller: p or -13?
-13
Let j be (-73)/(-28) - (-1)/4. Let t = -2114 + 2115. Which is smaller: t or j?
t
Let n(t) = -4*t**3 + 9*t**2 - 9*t - 22. Let y be n(4). Suppose 5*o = 3*d + 2*o + 513, -5*d = 5*o + 845. Is d at least y?
True
Let d(v) = v**3 + 13*v**2 - 3*v + 22. Let j be d(-13). Let b = j - 59. Suppose 0 = -f - u - 1, -4*f + 4 = 2*u - b. Is f at least as big as -2?
True
Let x(q) = -q**3 - 68*q**2 + 42*q - 1831. Let p be x(-69). Which is smaller: p or 85?
p
Let z be (1/(-2))/((-10)/7420). Let h be (z/(-49) + 7)*1/(-2). Is 51 > h?
True
Suppose 10*g + 39 - 79 = 0. Suppose j - 15 + 17 = -s, 0 = g*j - 5*s - 19. Which is smaller: j or 2/37?
2/37
Suppose -40 - 5 = 9*a. Let q be (1 - (-10)/a)*-1. Is q less than -3/122?
False
Suppose -19 + 4 = 3*f. Let s(p) = 2*p - 1. Let i be s(f). Suppose 29 = -2*b - n, 10*n - 7*n + 61 = -4*b. Is b bigger than i?
False
Suppose -5*h - 13*u + 8*u - 20 = 0, 3*u + 22 = -5*h. Let v be 1*1/h*320/(-64). Which is smaller: -1/333 or v?
-1/333
Suppose 1360 = 5*s + 230. Let m = s + -215. Let j(q) = -4*q - 5. Let a be j(-4). Is a greater than or equal to m?
True
Suppose 4636890 = 438*a + 133*a - 4344940. Which is smaller: a or 15729?
15729
Let q = 59 + -57. Let r(d) = 11*d - q*d - 3*d + 39 + 12. Let u be r(-9). Is -8 at least as big as u?
False
Let u = 0.8 - 0.8. Let a = 377/60 + -19/20. Which is greater: u or a?
a
Let j = -296351 + 2104625/7. Let v = j - 4296. Let x = 94/7 - v. Which is greater: 0.01 or x?
0.01
Suppose -w = 4*v + 2, -5*w + 3*v + 54 = 7*v. Suppose -w*x - 64 = 6. Which is bigger: 56 or x?
56
Let y be (-3 - 1 - (-904)/(-14))/(2/14). Which is greater: -477 or y?
-477
Let y = 687/7 + -678/7. Which is bigger: 2 or y?
2
Let p = -177 + 177.144. Let c = p + -0.244. Which is bigger: -63 or c?
c
Let w be 10922 + (6 - -1 - 4). Let g = -54349/5 + w. Is g not equal to 56?
True
Let g = -207391/5490 - -340/9. Let z = 105128 + -105128. Which is greater: g or z?
g
Let i be (4 + (4 - 285))*(3 + -6)/3. Is 277 at most as big as i?
True
Let q be (-7320)/(-135) + 2/(-9). Let y be (16/(-12))/(3/q). Let l = y + 16. Is -3 bigger than l?
True
Suppose 0 = 4*h - 5*h + 11. Let f be (0 + (-100328)/9552)/(2/(-2)). Let y = f - 2/597. Is y > h?
False
Let n be 0/((-1 - -3) + -4). Suppose -99 = -h + 3*f, 124 + 197 = 3*h - f. Let i be -2*(-4)/(h/(-15)). Is n > i?
True
Let g = -0.041 - 0.059. Which is bigger: g or 4/5?
4/5
Let p(q) = 104*q + 223. Let v be p(7). Suppose 0 = -v*o + 960*o - 108. Suppose -t = -2*c + 11, -5*c - 1 = -3*t - 26. Which is smaller: c or o?
c
Suppose -117 = 5*i - 2*n - 20, 0 = -5*i + n - 96. Let w(s) = -429 - 19*s - s**2 - 2*s + 390. Let f be w(i). Which is bigger: -4/13 or f?
-4/13
Let g = 1111 + -508. Let p = -525 + g. Which is bigger: p or -2/7?
p
Suppose 119*k = 88809 + 17696. Which is smaller: k or 1787/2?
1787/2
Suppose -3*i + 6*i + 3*r - 96 = 0, 2*r = 5*i - 188. Suppose 8*l = -l + i. Suppose -f - 97 = 5*z, 0 = -3*z - 2*z + l*f - 112. Is -20 greater than z?
False
Let u be (-6*6/63)/((-72)/(-84)). Is u > 1185?
False
Let n(y) = -y**3 - 17*y**2 + 38*y + 4. Let m be n(-19). Suppose 0 = 4*o + 4*a + m, 2*a = 2 - 0. Which is smaller: -10/13 or o?
o
Let k = 0.07 - 1.37. Let v = k - -1. Let m = -180.57 + 178.57. Is m less than or equal to v?
True
Suppose -25 = 5*c - 5*d, -4*c - 44 = 2*d - 12. Suppose -4*g - 7 = -0*w - 3*w, -w - 3 = -4*g. Let b be g/(30/(-63)) + 8/(-10). Is c >= b?
False
Let g = 5/31 - 314/217. Let m = -193 + 490. Let k be 4/(-18) + 66/m. Is g bigger than k?
False
Let f = -26094248/1147 - -22750. Is f at most as big as 0?
False
Let s = -2 - -10. Let r = 305 + -830. Let v = r + 533. Is s at least as big as v?
True
Let h be 21/(-14) - ((-18)/(-4) - (-18 - -22)). Is -14/65 < h?
False
Let l = 4737 - 4661. Which is smaller: l or 26?
26
Let j = 23898 + -23918.254. Let l = -0.254 - j. Which is smaller: -2/5 or l?
-2/5
Let j be ((-4)/190)/((-3)/5). Let m be 4/(2/((-12)/6)). Let g be (-1)/((16/m)/4). Is j equal to g?
False
Let z(b) = 2*b - 2. Let r(f) = -1. Let p(x) = -5*r(x) - z(x). Let o be p(6). Let y(t) = 7*t + 39. Let g be y(-6). Which is bigger: o or g?
g
Suppose 5*m = 4*m - 4. Let x(p) = -p**3 - p**2 + 5*p - 1. Let u be x(m). Let c = -50 + u. Which is bigger: c or -24?
c
Let z = 0.25 - 9.25. Let s = -36.2 - -40.2. Which is greater: s or z?
s
Let j = 3373 - 4136. Which is greater: -765 or j?
j
Let u(b) = 2*b + 26. Suppose 14*h = 9*h + 70. Suppose -c + 4*l - 13 = 0, 4*l = -3*c - 9 - h. Let t be u(c). Is t <= 11?
True
Suppose 3*s = 6 + 9. Let v = 4.82 - 3.41. Let k = v + -0.41. Is s smaller than k?
False
Let h = -9844 + 9881. Is 836/23 at least h?
False
Suppose 18*b - 18 = 13*b + 4*x, x = -5*b + 8. Suppose 0 = -b*t - t - 57. Is t <= 0.01?
True
Suppose 0*g - 4*h = -g - 62, 0 = -3*h - 15. Suppose 3*s + 2*m - 27 - 145 = 0, -2*s + 104 = 4*m. Let c = g + s. Is c greater than -21?
False
Let c = -0.306 + 48.306. Let z = -86 + c. Which is smaller: 3 or z?
z
Let p = -22828 - -15807. Is -7021 bigger than p?
False
Suppose 4*g = -5*b - 5, -3*b - 3 = 14*g - 12*g. Let i be b/2 + 9/((-270)/(-12)). Suppose -3*h = -h - 2. Which is smaller: i or h?
i
Let o(l) be the third derivative of -l**5/30 - 7*l**4/8 - l**3 - l**2 - 35*l. Let y be o(-9). Is 20 bigger than y?
False
Let w(j) = 185*j + 5221. Let u be w(-28). Do 1097/27 and u have the same value?
False
Let g be 5 - 42/(-35) - (-4)/5. Suppose -g*f - 14*f = 42. Which is bigger: f or -135?
f
Let c = 10080 - 10081. Is -4880 < c?
True
Let b = 2287 + -1887. Is -2 not equal to b?
True
Let j = 4.42 + 7.24. Let z = j - 0.76. Is 2 not equal to z?
True
Suppose -23 + 79 = 7*a. Let c(l) = 5*l**2 + 4*l + 4. Let w be c(-1). Is a at most w?
False
Let s = -113.7 - -116.217. Is 2 greater than or equal to s?
False
Let n = 7 + -6.7. Let c = -47.4608 + 0.0608. Let i = c + 51.4. Which is smaller: i or n?
n
Let a be (2/12)/(-4*(-1)/(-1206)). Suppose 0 = -2*s - 10, 4*s = 5*j + 75 + 160. Is j <= a?
True
Let o be (4/(-8))/((-2)/44). Suppose -z = z - z. Suppose -g - 5*k + 7 = 0, z = g + 3*g + 3*k - o. Is g at least as big as 2?
True
Let p be (-3)/(-3) - 569/938. Let g = p + -12/67. Let o = -68 + 69. Is g at most as big as o?
True
Let b = 6402 + -1607. Which is smaller: 0 or b?
0
Let k be (64/4)/(2/24). Suppose -4*w - k = 4*w. Let u = w - -71/3. Is 4 >= u?
True
Let m = -542 + 922. Let g = m - 501. Which is bigger: g or -1?
-1
Let k = -1771/20893 - 1286175521/1943049. Let w = k + 662. Is 1/3 not equal to w?
True
Suppose h - 8 = 12. Let w = h - -4. Let j = 12 + 10. Which is bigger: w or j?
w
Let o be (188/(-20))/1 - (-22)/55. Is o greater than or equal to -3.5?
False
Let y = -3856/13643 - 6/1949. Which is smaller: y or 1/2878?
y
Let u = 27.2 + -48.9. Let i = -8.7 - u. Is -2 < i?
True
Let s be 120/2*(-10)/(-25). Let q be (-5 - (-116)/s)*7/13. Do 0 and q have the same value?
False
Let s be (4/6*-1)/((-2)/57). Let c(w) = -s*w + 40*w + w**2 - 22*w. Let x be c(1). Which is smaller: x or 2/35?
x
Let u = -57007/3 - -18747. Let s = -256 - u. Which is smaller: s or -1?
-1
Let l = 7 - 4. Let m be 12/102 - (-198)/51. Suppose m*p = 116 - 120. Does l = p?
False
Let d(r) = -8*r + 72. Let t(u) = 17*u - 148. Let q(a) = 7*d(a) + 3*t(a). Let v be q(11). Which is bigger: 30/7 or v?
v
Let l = -5015 - -5724. Which is greater: l or 711?
711
Suppose 9 = f - 33. Suppose -2*n - 4*n = -f. Let u(r) = 2*r - 1. Let a be u(3). Which is smaller: a or n?
a
Let a(r) be the third derivative of 0*r + 16*r**2 + r**3 + 1/12*r**4 + 0 + 1/60*r**5. Let c be a(0). Is c at most as big as -3?
False
Let j = -9 + 7. Let a be (6 - (-290)/(-22)) + j/(-11). Let l be -1 - (10/a)/(4/(-8)). Do 2/3 and l have different values?
True
Let v(t) = -2*t - 55. Let w be v(-30). Let j be ((-108)/(-60))/9 - (-794)/w. Which is bigger: 158 or j?
j
Let p = 116.9 - 72. Let d = -126.6 + p. Let m = d + 82. Is m > 1?
False
Suppose -95*z + 26265 = -186*z + 106*z. Which is bigger: z or 1752?
1752
Let h be ((-5)/(-435))/(640/(-4224)). Is h bigger than 1?
False
Let u = 52 + -52.45