 -79 = -r - 5*s. Which is greater: r or 6?
r
Let z be ((-4)/(-10))/((-2)/(-37)). Let f(s) = -24*s + 276. Let d be f(-7). Suppose 3*t - 465 + d = 0. Which is greater: z or t?
z
Let y = 189.38 - 189.52. Do y and 129 have different values?
True
Let c = -11 - -30. Let z = 13 - c. Let m = -565 + 571. Is m greater than or equal to z?
True
Let r = 54 + -54. Suppose -4*g + 5*t + 167 = r, 131 = -0*g + 3*g + 2*t. Suppose -12*q - g = -7. Which is bigger: q or 0?
0
Let c(b) = -7*b**2 + 29*b + 16. Let j = -759 + 764. Let o be c(j). Which is smaller: o or -111/8?
o
Let v = -35 - -116. Let s = v + -21. Suppose -29*l + s = -24*l. Which is bigger: l or 10?
l
Let h = -15569 - -15568.754. Are 0.9 and h non-equal?
True
Let m be (-3 + (-78)/(-9))/(5/1035). Suppose 2*k = -u + k - 300, 5*k - m = 4*u. Which is smaller: 0 or u?
u
Let z = 1302 + -1359. Let d = 45033 + -404782/9. Let h = d + z. Which is smaller: h or 10?
h
Let g be 95/19 - (-4 + 2)*284. Does g = 574?
False
Suppose -7*f + 11*f - 49488 = 0. Let z = f - 7882. Let i = z + -830652/185. Which is bigger: i or -1?
i
Let a be (27 - 22) + (-11 - -7). Is a at most as big as 2/3817?
False
Let v be (1/(-3))/((-4)/(-12)*(-2 + 3)). Which is smaller: v or 1959?
v
Let l = 0.72 + 0.11. Let i = 0.13 - l. Let b = i + 0.1. Is -6 at most as big as b?
True
Let c be -1 + (-3)/(-21) + 1. Suppose 0*k - h = k + 32, -2*k = h + 64. Let z = 33 + k. Is z <= c?
False
Let i = 8758.8 - 8631. Is i at least 1/4?
True
Let c(l) = 188*l + 23125. Let z be c(-123). Let o = 32595/56 + -582. Are z and o unequal?
True
Let s be (-624)/(-234)*(1 + -2671)/(-5). Is 1422 at least as big as s?
False
Let k(l) = -156*l - 40. Let w be k(-2). Let p be (-324)/3621 - (-32)/w. Which is bigger: -1 or p?
p
Let j(m) = m**2 + 5*m + 3. Let v be j(-6). Suppose 63 = 6*g - v. Suppose 5*x - g = -7. Which is smaller: x or -16?
-16
Suppose -4*w = -20 + 8, -3*w - 25591 = 5*b. Is -5121 at least as big as b?
False
Let q be (3/(-6))/(11/(-22)). Let i be q*(-374 + (0 - -1)). Is i > -372?
False
Let j = 2320.904 + -2321. Does -0.4 = j?
False
Let s(b) = 21*b - 107. Let q be s(6). Suppose -2*a = -6*a - 12. Let z be 19 - 2/(a + 5). Are q and z nonequal?
True
Suppose 24*b - 171 = 15*b. Suppose c - b = 4*k, 2*c - 5*c = -2*k - 7. Is c equal to -5/57?
False
Suppose 7*q + 56 = 84. Let a be q/12*(-21)/(-49). Let h = -2 - 3. Is a equal to h?
False
Let d = 286 - 285.829. Let o = d - 0.071. Which is smaller: o or -48.7?
-48.7
Let j = 500/44997 + -69/283. Which is smaller: j or -1?
-1
Let k = 2229 + -2230. Is k > 26/367?
False
Let r = 37 - 33. Suppose 57 = -3*j + r*z, -4*j = -z - 3*z + 76. Which is smaller: j or 0?
j
Let r(j) = -j**3 - 5*j**2 - 3*j - 7. Let s be (-10)/3*(-60)/(-40). Let p be r(s). Suppose 13*f = n + 8*f - 26, 0 = n + 3*f + 6. Which is greater: n or p?
p
Let c = 8/5521 + 18781/6089663. Is 1 <= c?
False
Let i = 1582 + -1571.5. Which is smaller: i or -0.3?
-0.3
Let f = 538347/7 + -76691. Which is smaller: 215 or f?
215
Let w be 9*3 + -8 + 4. Let m = -45.35 - -45.38. Which is smaller: w or m?
m
Let y = 1.6 + 13.4. Let v = -11 + y. Let m = -421/12 + 147/4. Is m >= v?
False
Let k = 42662.043 - 42641. Let o = 3.135 - k. Let d = o - 0.092. Which is smaller: -0.2 or d?
d
Let l = -0.2 - -0.11. Let q be (-9)/((-343278)/(-31452)) - (-2)/13. Let a = q + 2/489. Is a less than l?
True
Let z = 0.1685 + 0.8315. Which is smaller: -1.323 or z?
-1.323
Suppose 4*d + 2*f - 1340 = -2*f, -3*d = 5*f - 991. Is 379 >= d?
True
Let b(s) = s**3 + 4*s**2 - 2*s + 4. Let a be b(-4). Let u be 25/((-25)/6)*-6. Suppose -3*r - 4*j = -u, 4*j - 12 = -r + j. Is a > r?
False
Suppose -79 + 213 = 3*l + 4*c, 3*l = 3*c + 99. Suppose n + 23 = -x + 4*x, 0 = 3*x - 4*n - l. Suppose -4*f = -x - 6. Which is greater: f or 13/5?
f
Let j be (-90)/18*(-14)/(-5). Are 142 and j nonequal?
True
Let v(u) = 10*u**3 - 2*u - 1. Let f be v(-1). Let q = 33 + f. Let y(o) = -23*o - 22. Let n be y(-2). Is q at most n?
True
Let m = -55139/135 + 1225/3. Are m and -1 unequal?
True
Suppose 7*d - 12 = 5*d, 0 = 2*a + 3*d + 1038. Which is smaller: -539 or a?
-539
Let j = -50.179 + 30.128. Let v = j + 0.051. Let b = -21 - v. Do b and 5 have the same value?
False
Let o = 123 - 251. Let p be 2*(o/(-129) - 1). Which is smaller: p or 1?
p
Let y = -10 - -9.7. Suppose 5*c - 3*j = 231, 0*j = 4*c - 3*j - 183. Suppose 3 = -a, -2*a + 7*a = -3*v - c. Is y greater than or equal to v?
True
Suppose 0 = 37*i + 5*i + 42. Is 1870 < i?
False
Suppose 76*y = 72*y - 5*b - 23, 5*b + 25 = -5*y. Which is smaller: 330 or y?
y
Suppose -87*w + 85*w - 17 = -5*o, w = 3*o - 11. Let v be 6/(-14) - 204/(-84). Suppose t = v + 5. Is w >= t?
False
Let v = 47/126 - 20/63. Which is smaller: 1 or v?
v
Let u be -3*(0 - (-2 + 2 - 1)). Let k be 2 - 1 - 3*(u + -1). Suppose 4 = -3*d + k. Which is smaller: 4 or d?
d
Let r be (-9104)/(-112) - 28/98. Is r less than 85?
True
Let z = -8795 + 15578. Do 6783 and z have the same value?
True
Suppose -5*a + 1794 = -5*n + 6399, 4*n - 3*a = 3682. Let z = -14697/16 + n. Is 0 >= z?
False
Suppose -2*w - 882 = 12*w. Let r be 9*(10/w)/(-5). Is 57 greater than or equal to r?
True
Suppose o = -3*o + 96. Suppose -j + 4 = -5*l + 39, 2*j + 5*l + 40 = 0. Let c = j + o. Is c <= -6/11?
True
Let c be (12387/(-5) - 124/(-310))*2/6. Is -827 >= c?
False
Suppose -96*f + 94*f + 1345 = -w, -2*f + 1343 = -3*w. Is f at least 676?
False
Let t be 974*(-1915)/(-4500) + 3/6. Let z = t - 415. Is z less than 1?
True
Let j(z) = 197*z - 21. Let a be j(4). Suppose 0 = 16*o - a - 257. Let n be 67 + (-3 - (-2 - -2)). Is o equal to n?
True
Let j be (-22)/(-8) - 2/(-8) - -5. Let o = 13 - j. Suppose 5*u - o*l - 11 = -1, u = 3*l. Is 4 bigger than u?
True
Let n(b) be the first derivative of 23*b**2/2 - 53*b + 116. Let w be n(3). Let h = -6 - -20. Which is bigger: h or w?
w
Let s be (-8105)/8510 + (-1 - -2). Let o = 93/74 + s. Which is smaller: o or 2?
o
Suppose 7*p - 38 = 67. Let j be (-17)/(2/8*-4). Are j and p nonequal?
True
Let f = 7.88 - -0.12. Let t = 83739 - 83737. Which is greater: t or f?
f
Let i(t) = 387*t - 2311. Let o be i(6). Suppose 2*f - 28 = -2*y, -f + 0 = 3*y - 18. Do f and o have the same value?
False
Suppose 2*s + 4*x = 182, -348*s = -347*s - 2*x - 111. Is -21 >= s?
False
Suppose 690 = -a + 70. Which is bigger: -622 or a?
a
Let d = -278 + 337. Suppose 173 + 67 = 4*a. Which is smaller: d or a?
d
Let d = 3 - 6. Let s be -11 + d - (0 + -1). Let c(b) = b**2 + 3*b - 21. Let p be c(-5). Which is greater: s or p?
p
Let g = 0.92 - -0.11. Let l = g - 0.93. Is -145 bigger than l?
False
Let v be ((-20)/38)/((-975)/50). Let q = 6739 + -384139/57. Let h = v - q. Which is bigger: h or 2?
2
Let c = 4965 + -4852. Which is greater: -1/8 or c?
c
Let o(j) = j**2 + 6*j + 14. Let r be o(-3). Suppose -2*m + 6 = r*q, -3*q - 2 = m + 3*m. Let i be 2/(-7) - (-55)/21. Is i smaller than q?
False
Let s = -120363/4 - -30091. Is -36.41 smaller than s?
True
Let w = 22 + -15. Suppose -4*z + 7*s - 4*s = -20, 4*z = -2*s. Suppose 5*f = -2*g + z, -2*g - 4*f + 7*f = -18. Is w > g?
True
Let v = -366 - -344. Does -24 = v?
False
Let u be (-20)/5 - (-348)/30. Is 0 bigger than u?
False
Let c be (1*588/(-8))/(60/42*-1). Which is bigger: c or 50?
c
Let r(p) = p**2 + p + 1. Let v be r(-1). Let a be (-4)/(-834)*-1*(8 - -1). Is v < a?
False
Let o be (-1 - 5)*145/(-10). Let v(r) = r + 5. Let t be v(-3). Suppose -168 - 6 = -t*p. Do o and p have the same value?
True
Let i(h) = -16*h**3 + 24*h**2 + 3*h - 10. Let k(r) = r**3 - 4*r**2 + r. Let a(d) = i(d) + 6*k(d). Let q be a(2). Is -73 != q?
True
Let c be ((-32)/48 - (-5)/(-3)*-5779) + 2. Which is greater: c or 1/2?
c
Let v be 177930/55 + (-7)/77. Which is smaller: 3236 or v?
v
Suppose -8727 - 5803 = 115*s + 1570. Which is bigger: s or 34?
34
Let b(u) = 37*u + 504. Let q be b(0). Let c = q - 514. Which is smaller: c or -5?
c
Let r(j) = 76*j**2 + 9*j - 20. Let b be r(-4). Suppose -6*l + b = -14*l. Is -145 > l?
False
Let z = -8 + -11. Let r = -19 - z. Let a = 0.153 + 24.847. Which is greater: r or a?
a
Suppose 3156*j - 3175*j + 54730 + 13385 = 0. Which is smaller: j or 3586?
j
Let w = -220 + 218. Let b be (-4928)/(-55) - (-3)/(-5). Suppose -4*h + b = 25. Which is smaller: h or w?
w
Let q be (18/(-10))/((-63)/(-35)*(-13)/(-78)). Which is smaller: q or 425?
q
Let d = 3.03