= -10*r - 4*r + 38*r. Which is greater: r or 1/2405?
1/2405
Let a = 380 - 272. Let p be (a/(-189))/(6/(-91)). Which is greater: 8 or p?
p
Let w(h) = h**2 + 31*h + 364. Let y be w(-54). Is y <= 1606?
True
Let v(a) be the second derivative of -a**4/4 - 29*a**3/3 - 19*a**2/2 - 137*a. Let y be v(-19). Which is smaller: -4/201 or y?
-4/201
Suppose -4 = -2*z, l + 2*l = 2*z + 2. Let v = 2854/31 + -92. Is v less than l?
True
Suppose g = -18 - 7. Let d = -19 - g. Which is smaller: d or 37/6?
d
Let l be -1 - 5293 - 9 - 10. Which is bigger: l or -5315?
l
Let k = 13765 - 14105. Which is smaller: k or -9?
k
Suppose -5*u - 28 = 9*u. Let w be (-20826)/90 + u/(-5). Is w at least as big as -231?
True
Let y be (-31 + 21)*((-7)/(-2) + -3). Let m be (0 + y)/(((-5)/(-25))/1). Is m less than -71/3?
True
Let x be 474*(-11 + 8328/756). Do x and 8 have the same value?
False
Suppose -5 = -2*c - 3. Let n = -169/3290 + 11/188. Which is smaller: c or n?
n
Let t = -32.956 - 0.044. Let y be (4/10)/(6/(-60)) - 450/(-125). Is t >= y?
False
Suppose 2*d = -2*d + 5*g - 6, 2*d = 3*g. Is d equal to -193/20?
False
Let f = 184.6 + -163. Let m = 21 - f. Suppose 0 = -4*q - 2*n, -n - 6 + 4 = 0. Which is smaller: q or m?
m
Let c = 2141 + -40667/19. Suppose 12*g + 27 = 15*g. Let x be 0*2/(-3 + g). Is c >= x?
True
Let u(t) = -t**3 + 23*t**2 + 7*t - 17. Let x be u(11). Let q = 4579/3 - x. Let b be (-2)/4*-14*2. Which is bigger: q or b?
q
Let h(y) = 6*y - 11. Let s be h(-1). Suppose -15 = d - 3*r, 2 = 3*d - 5*d - r. Let b be (1 - d)/(-2) + -14. Which is smaller: s or b?
s
Suppose x = -0*x - 4*b + 13, 5*x - 35 = -5*b. Suppose 5 = p - x. Let z be (2/(-4)*1)/(35/p). Are 0 and z non-equal?
True
Let y be 8/(-10)*(16007/(-3) + 48/72). Is y bigger than 4268?
False
Let k = 6.5 - 8. Let f = k + 11.5. Let h = 0.1473 + 1.8527. Which is bigger: h or f?
f
Suppose 0 = -t + 2, 5*p - 3*p = -t + 34. Let l = -15 + p. Let d be 10/(-15) - l/12. Is d <= -1?
False
Let t be ((-11)/(3300/8))/(1/3). Suppose n + 0 = -0. Is t less than n?
True
Let b = -107 + 157. Let a = 49.85 - b. Is a greater than or equal to 0.06?
False
Let c be (21032/132)/((-2)/(-12)) - -1. Is c greater than 957?
False
Suppose f - 9 = 2. Let n = f - 4. Suppose 3*o + n = 4. Which is greater: -1/16 or o?
-1/16
Let m = 193.91 - -0.09. Let x = m - 198. Let q(j) = -2*j + 2. Let l be q(2). Do l and x have the same value?
False
Let m be (-142)/(-355) + 17410086/(-43748140). Let p = 2/9809 + m. Is p greater than -1?
True
Let w = 1214/55 + -154/5. Let f(t) = -52*t - 2141. Let q be f(-41). Which is bigger: w or q?
w
Suppose 212*z - 208*z = t - 4, -4*z = 2*t + 4. Which is greater: -1/1532 or z?
-1/1532
Suppose 478027 = 382*k - 1124081. Which is smaller: k or 0.2?
0.2
Let v = 8797/7479 - -23/277. Let g = -836/621 + v. Suppose 5*i = 2*i - 3. Are i and g equal?
False
Let l be ((-2)/(-6))/((-18)/12*6/459). Is l < -343/19?
False
Let o = -2571/350 - -89/25. Let c be 4*(540/(-882))/(8/(-14)). Let x = c + o. Which is bigger: -2 or x?
x
Let q be ((-10)/(-20))/(2/92). Suppose 18 = v + q. Let a = 46 - v. Is a at least as big as 51?
True
Suppose -40*g + 17*g + 384 = -39*g. Is 36 at most as big as g?
False
Let z = -551887/13 - -42453. Which is bigger: z or -3.628?
z
Let x(t) = -t**2 - 17*t + 12. Let w be x(-17). Suppose 0 = 20*o - 16*o - w. Suppose l - 2 - o = 0. Which is bigger: l or -1?
l
Let m be (2 - (2 + -4 + -2))/2. Let h = -3 + m. Let z be h*-2*((-15)/(-12) - 1). Which is smaller: 14 or z?
z
Let x(v) = 7*v**2 + 126*v. Let a be x(-18). Is -3/1648 greater than a?
False
Let n = 15978 - 15972. Is n > 638/7?
False
Let d be (-2)/(-5) - 310/25. Let x be d/20 + 40/25. Let f be (0 + x - 2)*10/10. Which is smaller: f or 0?
f
Suppose 8*h - 2 = 6*h. Let r(p) = p**3 - h + 84*p - p**2 - 84*p. Let u be r(0). Is -5 bigger than u?
False
Suppose 53*c + 126 = 60*c. Let f be c/24 + (-381)/60. Which is smaller: f or -6?
-6
Let n(h) = 0*h**2 + 603*h - h**2 - 57 - 628*h. Let w be n(-23). Is -11 > w?
False
Let m be (-6)/10 + (4 - (-9604903)/(-65310)). Let k = -1/3110 + m. Is -143 less than k?
False
Let d = 91.9 - 92. Suppose 3*x = y - 380, -610 = 3*x + 2*y - 227. Let s = x - -891/7. Are s and d equal?
False
Let t = -44991 - -45625. Which is bigger: t or 0.23?
t
Suppose 2159*c = 2184*c - 125. Let l(j) be the second derivative of j**4/12 - j**3/3 - 2*j**2 - j. Let y be l(4). Which is smaller: y or c?
y
Let f be 21 + 2 + -8 + 59. Is f not equal to 50?
True
Let z = -975.7 + 975. Which is greater: 0.071 or z?
0.071
Let t(c) = -c**2 + 7*c - 8. Let m be t(-6). Let j be -2*19 + (20 - 28). Let o = m - j. Which is bigger: o or -39?
-39
Suppose -y - 4*d - 35 = 0, -4*d = 5*y - 26 + 121. Let h(p) = -3*p + 52. Let u be h(-16). Suppose u = 12*i + 256. Does i = y?
False
Let p(c) = -709*c + 5188. Let q be p(8). Does -483 = q?
False
Let j(z) = -z**3 + 11*z**2 + z - 14. Let b be j(11). Let y be (16 - 31)/((-2)/(-10)*b). Let t(a) = 25*a**2 + 3*a - 2. Let n be t(1). Is y less than n?
True
Let u be (-1)/(-3) - (1177/(-99) + 11). Is 1/13 at most as big as u?
True
Let q = -1752/295 - 39/59. Let f be (-1692)/2256 - ((-58)/(-8) + 0). Which is greater: q or f?
q
Let u = 684114839324029/32747 - 20890916406. Let b = 2/2977 - u. Is b >= 8?
False
Suppose 4*y = -i + 57, -91*y + i + 87 = -86*y. Suppose 2*d + 96 = 2*z + 2*z, 4*d - 72 = -4*z. Which is bigger: z or y?
z
Suppose 8 = 2*p, 549*r - 5*p = 553*r - 11780. Is r bigger than 2941?
False
Let c(n) = n - 18 + 2*n - 4*n + 14. Let i be c(-3). Let j be (-10)/(-55) - 6*(-15)/(-616). Which is bigger: i or j?
j
Let z be ((-219756)/45)/(60/126). Let g = z + 10258. Which is bigger: 3 or g?
3
Let l = 924.24 - 924. Is -31 at most as big as l?
True
Let m = 324 + -329. Let p(k) = -k**3 - 7*k**2 - 11*k - 5. Let i be p(m). Which is bigger: -2/413 or i?
i
Suppose 6409 = 9*d + 2*m, -16*m = -20*m + 20. Which is greater: -4 or d?
d
Let n be 70/28*(-16544)/(-235). Let r be 2/(-1) + (-354)/(-2). Is r greater than or equal to n?
False
Let y = 2050 - 3840. Which is greater: 1 or y?
1
Let y be 651/(-645) - 17*2/(-34). Do 1 and y have the same value?
False
Let o = -62 - -66. Let k be 12/(((-102)/o)/(225/60)). Is k bigger than -1?
False
Let o(r) = -r**2 - 49*r + 1749. Let s be o(68). Does s = -6206?
False
Suppose 6*v = -23*v + 667. Suppose 22*z + 45*z = v*z. Which is greater: -1/313 or z?
z
Let k = -28 + -102. Let t = -819596/9 + 90936. Let z = k - t. Does 1 = z?
False
Let y(w) = -w**3 + 5*w**2 - w + 3. Let q be y(5). Let c = 111.891 + 0.009. Let h = c + -112. Which is smaller: q or h?
q
Let c = -1.23 - -87.23. Let j = c + -87. Let i = 87 + -39. Which is smaller: i or j?
j
Let o be 3*(-23 + (-1507)/(-66)). Is o at most -2/8017?
True
Let d = 407/16 + -26. Let a(t) = t**3 - 4*t**2 + 4*t - 2. Let y be a(2). Is d equal to y?
False
Let t be 7/(7/6) + -18 + (-5292)/(-456). Is 0.5 at least as big as t?
True
Let l(i) = -i**3 + 3*i**2 - 2*i + 1. Let w be l(2). Let u = -2619 - -673086/257. Let o = u + 385/11051. Which is smaller: w or o?
o
Let i = 5/2036 - 29212563/14252. Is -2050 smaller than i?
True
Suppose -4*u - 4 = -3*t - 14, -2*t - 8 = -3*u. Suppose -68 = -0*q + 5*q + 3*x, -9 = q - u*x. Is q < -13?
False
Suppose -w + 1693 = -2*v, v + 2*w + 499 + 355 = 0. Let s be 2/(-10) + v/(-40). Is 18 bigger than s?
False
Let o be 10/2 + (-379008)/75852. Is o smaller than -3?
False
Let w be (-590)/90 + 7 + 76/(-90). Which is smaller: -0.017 or w?
w
Let g = 23153 - 23155.027. Which is smaller: g or 0?
g
Let x = 42.171 + -0.871. Let j = x + 36.7. Which is smaller: 2/3 or j?
2/3
Let p(x) = x**2 + 92*x + 260. Let c be p(-89). Let a(t) = -8*t**3 - t**2 + 1. Let l be a(1). Which is smaller: c or l?
l
Let b be 3/(-2)*2/(-3). Let z be b + 3702/(-1220) + 21/(-42). Let a = z - 4/61. Which is bigger: a or -4?
a
Suppose 0 = 3*d - 7*d - 36. Let r be d/((-36)/16) + -11. Suppose w - 4 = -10. Which is greater: r or w?
w
Suppose 2*i - 2*n + 6 = 0, -2*n + 102 - 94 = -4*i. Which is bigger: i or -2/18977?
-2/18977
Suppose -5*r + 2 + 9 = 2*j, -j + 5*r + 13 = 0. Suppose 3*q + j = 5*q, -2*q + 52 = -k. Is k <= -42?
True
Let u = -3 - -4. Let r(n) = 5*n - 27. Let h be r(-9). Let v be (-123)/h - 4/12 - 0. Which is smaller: u or v?
u
Suppose -7692*o = -7682*o + 1330. Is -134 at most as big as o?
True
Let w = 2319 - 2319. Which is g