((-19)/2)/(2/l). Let m be (-18)/189 - (-12)/28. Which is smaller: m or w?
m
Suppose -f + 126 = 5*a, -45*a + 2*f - 132 = -50*a. Which is smaller: 496/21 or a?
496/21
Let f = 1336446/229 - 5836. Let n be 7979/4122 + (-2)/1. Let t = f + n. Which is bigger: t or 1?
1
Let q = 7060 + -7026. Which is smaller: 150 or q?
q
Let i = -1174.35 + 1160.8. Is i at most as big as 3/4?
True
Let v be (-161)/(-49657)*2/7. Which is greater: v or 1?
1
Let g(q) be the second derivative of q**4/12 - q**3/3 + 27*q**2/2 + 3*q - 22. Let b be g(6). Do 51 and b have different values?
False
Let s(c) = c**3 - 2*c**2 - c. Let h be s(2). Let p be h + 2 + 5 + -4 + 0. Suppose 1 = -5*g + 6. Is p <= g?
True
Suppose 2*a + 4*h = -6, 4*a = 2*a - 2*h. Let l(i) = 14*i**3 - i + 18*i**3 + 2 - 31*i**3. Let q be l(0). Is a bigger than q?
True
Let r be (1 - (6 + 98/(-21)))/((-15)/18). Is r <= 263?
True
Let m = 0.0591 + -0.9007. Let j = m - 0.0584. Is j greater than 4/13?
False
Let b be 0 + (-4)/(-28)*17 + -1. Let w be 1 + 1 - ((-84)/4 + -4). Suppose 5*v = m - w, 10 = v - 3*v. Which is greater: m or b?
m
Let g(c) = 16 + 12 - 16*c - 62 + 17. Let o be g(-1). Is 5/23 less than o?
False
Let m = -5343.981 + 5355. Let y = 0.019 - m. Let o = y - -11.1. Is -3/16 != o?
True
Let f be 14/3*459/34. Let a be (42/f)/(10/5052). Let g = -1713/5 + a. Are -6 and g nonequal?
True
Suppose 0*w + 2160 = 5*w. Let z = -517 + w. Which is greater: z or -87?
z
Let r(m) = -3*m + 7. Suppose -9 = -3*g + 5*k + 4, -g + 7 = -3*k. Let p be r(g). Is -8 greater than p?
False
Let u(m) = -m**3 - 7*m**2 - m + 3. Let z be u(-5). Let w = -2352 - -2311. Which is smaller: w or z?
z
Let h be (182/(-1183))/((-2)/(-13)). Which is smaller: -2/47643 or h?
h
Let y = -5/219 - 167/21462. Let g = y - -113/490. Does 28 = g?
False
Let y = 15 - 4. Suppose 71 + y = z. Let n = -3036/37 + z. Which is smaller: -1 or n?
-1
Suppose 0 = -8*o - 0*o + 288. Suppose 0 = -o*a + 41*a + 20. Let i be -21*5/(-660)*a. Is i equal to -1?
False
Suppose 2*b + 3*x + 0*x - 79 = 0, 0 = -5*b + 5*x + 160. Suppose 0 = n + 4, 4*f + 93 = n - b. Which is smaller: f or -25?
f
Suppose -397 = -11*g + 6*g + n, -4*n = -2*g + 166. Let v = 115 - 39. Is v bigger than g?
False
Let v be (5 - (-78)/(-18))*(-90)/12 - -6. Is v less than or equal to -2310?
False
Suppose 0*p - 3*q + 12 = 3*p, -5*p - 2*q = -29. Let g be (-2)/p + (-23)/(805/270). Let d be (g/72)/(2/(-18)). Which is greater: 2/191 or d?
d
Let i(o) = -3*o**3 - 6*o**2 - 10*o. Suppose -6*r = r + 28. Let g be i(r). Let x be (-2)/(-17) + (-16)/g. Are 2/111 and x equal?
False
Let a(k) = -k**3 + 8*k**2 - 9*k + 14. Let j(p) = -p**2 - 16*p - 48. Let c be j(-11). Suppose c*x - 9*x = -16. Let u be a(x). Do u and -59 have the same value?
False
Let l(z) = -z**3 + 17*z**2 - 6*z + 67. Let v be l(12). Suppose -18*n - 347 = v. Is n smaller than 1/3?
True
Let q = 142/953 - 12537/90535. Let x = -0.1 - 0. Which is bigger: x or q?
q
Let m = 8687/4 + -5915831/2724. Which is bigger: 1 or m?
1
Let a = -6.66 - 32.34. Let r = -338 + 336. Which is smaller: a or r?
a
Suppose 0 = -h - 3*h + 36. Let x be 11 - ((-30)/(-18))/(5/15). Is h less than x?
False
Let w(x) = 3*x**2 + 10*x + 17. Let m be w(-8). Let o = -111 + m. Suppose 0 = -8*s + o*s + 100. Which is smaller: -16 or s?
-16
Let f = 13167 - 10685. Is 2484 bigger than f?
True
Let x = -494 - -237. Let z = -256 - x. Does z = 4/7?
False
Let u = 707 - 703. Suppose -12 = -u*b - 2*s, b - 10*s = -15*s + 21. Which is smaller: b or 18/29?
18/29
Let a = 8500 + -5395. Which is smaller: a or 3104?
3104
Let p(b) = 8*b + 46. Let z be p(-29). Let n = z + 553/3. Let q = 4 - 6. Is n not equal to q?
True
Let z = -4623 - -4623. Let x = 123 + 22. Is x >= z?
True
Suppose 2*v = 2, -z + 2*v = -3*z + 78. Let c = -37251 + 25187. Let m be 2/11 + c/(-319). Is m equal to z?
True
Suppose -52*i + 1233 - 1285 = 0. Which is greater: i or 1/28?
1/28
Let l = -11569 - -11568.96975. Which is greater: 0.2 or l?
0.2
Suppose -115 = 4*p - 4*j - 31, 4*j + 70 = -3*p. Suppose 2*r - 52 = 4*r. Let i = r - p. Which is greater: i or -3?
-3
Let n = 37 + -37. Let i be -1*(-1)/(-3)*n. Let a be -2 - i - (0 - -4). Is a not equal to -6?
False
Let l(c) = -17*c - 4134. Let o be l(49). Is o less than -4967?
False
Suppose 3*z = -4*y - 41, -4*z = -y + 8 - 4. Let b be ((-12)/18)/(-3*y/(-396)). Is 11 less than or equal to b?
True
Let d(q) = q**2 + 12*q + 10. Let a be d(-11). Let s(i) = -36 + 2*i + 21 + 14. Let k be s(a). Which is bigger: k or 2?
2
Let g(a) = 2*a**3 + 30*a**2 - 74*a + 34. Let s be g(-31). Let k be (-4)/(-22) - (-5344)/s. Is -1 < k?
True
Let l be (-8 - -4) + 8578/2146. Let g = -704/131979 + l. Are g and -1 equal?
False
Let y be (-804)/(-9) + 2*(-1)/(-3). Let i = 105 - y. Which is smaller: i or 5?
5
Suppose 26 = -3*o + 5*n, 69 - 15 = -4*o - 3*n. Let v(k) = 11*k + 85. Let p be v(o). Is -48 > p?
False
Let y(g) = g**3 + 10*g**2 + 6*g + 5. Let c be y(-9). Let h be ((-2)/(-20)*-16)/((-2)/35). Which is smaller: h or c?
h
Let f = -0.1121 + -44.8879. Let h = 30 - 74. Let n = f - h. Is -38 not equal to n?
True
Let u = 65 - 63. Suppose 5*o + 90 = 5*c, 74*o - 69*o = -u*c + 1. Let x be (-156)/(-14) - -2 - 0. Is x greater than or equal to c?
True
Let t be (-5)/(-340)*(-1131)/609. Which is smaller: 1 or t?
t
Let k = -19.28 + -3.34. Let b = k - -22. Let q = 0.57 + b. Does q = -0.2?
False
Suppose -28 = -3*q - 82. Let t(m) be the third derivative of m**4/24 - 2*m**3/3 + 2*m**2 - m. Let o be t(-16). Is o at least q?
False
Let x = -1.11 + -1.08. Let y = x + -0.81. Is y < 11?
True
Suppose -14*d + 68 = 2*c - 13*d, 3*c = -4*d + 92. Let z be 4/8*(-3)/(c/(-808)). Which is smaller: z or 33?
33
Let b(x) = -3*x**2 - 5 - x**2 + 5*x**2 + 0*x**2. Let d be b(3). Suppose -d*l = -5 + 5. Is l smaller than -25?
False
Let u be ((-2)/10 - (-1729)/(-105))*3. Let b be 4*(-40)/(-128)*(-34)/u. Is b <= 2?
True
Suppose 35 = 14*h - 7*h. Suppose 10 = -0*s + 2*s - 5*r, h*r = s - 10. Let g = -1670/11 + 151. Do g and s have the same value?
False
Let u be ((-6)/8)/(33/616). Is -234/17 greater than or equal to u?
True
Let c = 63 - 602. Let u = -319 - c. Is u bigger than 0.1?
True
Let h be (-1)/1 - 2*63/(-6). Suppose -2*u + 12 = 2*u + 3*y, -5*y = 3*u - h. Let d be 0 - (1 - (-1 - u))/(-13). Is 1 less than d?
False
Let u(j) = -114*j**3 - 2*j**2 + 3*j - 1. Let f be u(1). Let d = -74 - f. Which is smaller: d or 37?
37
Suppose -q - 33 - 12 + 5 = 0. Which is greater: q or -30?
-30
Let k = -682 + 661. Is -4 less than or equal to k?
False
Let x be (-8)/(-21) + 4/14. Let s = 224347/4 - 3813911/68. Which is greater: s or x?
x
Let b = 0.023 + -0.123. Let p be 2/(-10)*(-1 + 12/20). Is b smaller than p?
True
Suppose -o - 5*r = -6427, 31925 = -513*o + 518*o - 5*r. Is -2 smaller than o?
True
Let t(x) = x + 9. Let u be t(-5). Suppose -4 - u = -m. Let k be 0 + (-50)/m - (3 - 4). Which is smaller: k or 2?
k
Suppose -2*m - 2*y = -22, 0*m + y = 3*m - 13. Let q(b) = 24*b**2 + 4*b - m*b**2 + 3*b**2 + 7*b**2 - 3. Let s be q(1). Is s smaller than 27?
False
Let k = -11.879 - -7.879. Let w = 19 + 6. Which is greater: k or w?
w
Let y = -3382 + 3383. Is y > 14/279?
True
Suppose -4*d + 75*h + 836 = 73*h, -d + 209 = 3*h. Which is smaller: 156 or d?
156
Suppose 5*c + 4*r = -10, 0 = -c + 3*r - 0 + 17. Suppose c*j - 83 + 69 = 0. Which is bigger: 9 or j?
9
Let m be 135220/30*24/160 - 1/10. Is 678 greater than m?
True
Let a = -1339.4 + 1339.26. Let y = 0.04 + 0.05. Let q = 2.91 + y. Is a equal to q?
False
Suppose 2*x = 2*k - 8, -8 = -4*x - k - k. Let f be x + (5/(-130))/((-15)/(-12)). Let r = 69/130 + f. Is r less than or equal to 1?
True
Let a be (24/(-9))/((-4)/6). Suppose -5*j = -a*j. Let i be 846/102 + -14 - 5*-1. Which is smaller: i or j?
i
Let h = 60.989 - -0.011. Let t = -107 + h. Let o = -47 - t. Which is bigger: 22 or o?
22
Let b = -6 - -2. Suppose 5*h = -n + 24, 5*n - 59*h + 27 = -63*h. Which is greater: n or b?
b
Let k = 13930 + -28661/2. Let p = k - -401. Is p at most as big as -3/214?
False
Suppose 0*p - 4 = p. Let a be 0 - (6/4)/(18/(-36)). Suppose -5*d - 32 = 2*v - 6, -a*v = -6. Which is smaller: p or d?
d
Let s be 14/(-35) - 7/(-5). Let p be 620/(-1302)*4/(-5). Is p at most s?
True
Let t(o) = 9*o**3 - 40*o**2 - 250*o + 7. Let j be t(-6). Which is greater: j or -1878?
j
Suppose 37*c + 20*c - 57 = 0. Is c less t