l?
True
Let c(p) = -172*p - 3490. Let b be c(-52). Which is bigger: 5453 or b?
b
Let i(m) = -m**2 - 2*m + 1. Let z be i(-4). Let c(p) = -128*p + 75 - 22 + 41 + 117*p + 55. Let o be c(14). Is z greater than o?
False
Let z = -380 + -564. Let b be (-4 + 231/57)/(34/z). Let n = 30/19 + b. Is 0 > n?
False
Let m = 589 + -601. Let g be 24*m/(-567) + 10/(-45). Is -0.9 greater than g?
False
Let m = 9257 - 9418. Which is smaller: -5 or m?
m
Suppose 0 = -4*m - 3*t + 10, -5*t + 19 = 3*m + 6. Suppose 4*n - 9 = -m. Suppose -15 = -d - 5*h, 4 - 1 = n*d + h. Which is smaller: d or 1?
d
Let i(g) = -g**3 - 3*g**2 + 46*g + 8. Let j be i(12). Is -1599 >= j?
True
Let x be 120/28 + (-5)/(70/4). Suppose -6*t + 4 = x. Are -11/10 and t equal?
False
Let r be ((-284)/72 + 4)*(-9)/(-852). Which is smaller: 1 or r?
r
Let z be (-55260)/(-204) + (-6)/(-153)*3. Let v = 262 - z. Let g = 114/29 - 1471/116. Is v less than g?
True
Suppose -3*u = 0, 5*p + 48 = 4*u - 57. Let s be ((-9)/p)/(615/10 - 0). Is -1 at least as big as s?
False
Let v = -281 - -283. Let g be v/(-2) - (-1029)/1035. Which is smaller: 1 or g?
g
Let d = -384736/39 - -9866. Which is greater: d or 2?
2
Let y(a) = -41*a**2 + 5*a - 6. Let n be y(1). Let u = n + 91. Which is greater: u or 51?
51
Let a be (173316/27)/11 + 24/54. Are 2/9 and a non-equal?
True
Let q be (-107)/109 + 70/(-3815). Let o = -603173/715 - -4218/5. Which is smaller: q or o?
q
Suppose 9*b + 831 = -429. Let q = 12 - b. Let d be 47*1/4 - 114/q. Which is smaller: d or 2?
2
Suppose -432 = -7*j + 3*j. Suppose 105*u = j*u - 9. Let t be (-2 - (-939)/465)/(u/(-2)). Which is bigger: t or 0?
0
Let n be ((-1)/((-44)/14))/((-225)/(-150)). Is 1 equal to n?
False
Suppose 3*b = -5*i - b + 2735, -1628 = -3*i - 5*b. Suppose 19*x + 3098 = 24*x + 26*z, 2*z - 1130 = -2*x. Is i bigger than x?
False
Suppose -35*d = 3*d + 11514. Let m = -303 - d. Is m greater than -1?
True
Let w be 14/(-217) - 504/(-124). Are w and -130 equal?
False
Let q be ((-8)/(-2082))/(-2)*-81*(-61)/3294. Suppose 5*h - 6 = x, 4*x + 2 = -h + x. Is q greater than h?
False
Let n = 464784057723/12153887452 + 8/25533377. Let q = 268/7 - n. Is q smaller than -0.1?
False
Let y(l) = -34*l - 671. Let q(w) = -9*w - 167. Let m(a) = 9*q(a) - 2*y(a). Let t be m(-34). Which is smaller: t or 283?
t
Suppose 93*w + 3 = 96*w. Let p be (w/4*262)/(4/8). Which is smaller: p or 130?
130
Let d be -14 - (-1517)/111 - (2 - 2)/(-2). Which is bigger: 1410/13 or d?
1410/13
Let f = -35 + 82. Let l = -168 + 218. Let d = f - l. Is d < -11/4?
True
Let i be ((-1)/1)/((-11)/(-66)). Let b be (2/i)/(13/(-26)). Suppose 46*t - 43*t = 3. Are b and t unequal?
True
Let m = -0.11488 - -0.54408. Is 2 less than m?
False
Let p = 17.4 - -229.6. Let h = p - 247.1. Is h < -0.72?
False
Suppose -2*o + 4*x = -228, -x - 466 = -4*o + 2*x. Let d(g) = -218*g + 15594. Let a be d(71). Is a at most as big as o?
True
Let g = 369 - 369. Let t be g - 1/(-16)*-378. Which is smaller: t or -24?
-24
Suppose 36*y = -6*y + 672. Suppose -4*v - y = 0, -q + 2 - 4 = -v. Which is smaller: q or -7?
-7
Let z be (2 + -3)*(5 + 4/14). Is z at most 4?
True
Let c(f) = -12*f + 68. Let v be c(14). Let b be ((-2)/(-2315))/((-10)/v). Is 1 bigger than b?
True
Let a(y) = -y**3 + 16*y**2 - 15*y + 2. Let k be a(15). Suppose 0 = 4*s - 3*m - 24, -2*s + k*m + 12 = 7*m. Suppose 0 = s*l - 9*l + 111. Is 36 greater than l?
False
Let n(r) = 4*r + 8. Let h be n(-1). Suppose l + 35 = -k, -5*k - 114 = h*l + 28. Is l < -37?
False
Let n be 143 - (24/6 - 11). Let z = n + -373. Is z smaller than -224?
False
Suppose -48*d - 186 = -51*d. Let l be 2*(2 + -3) + d. Is l smaller than 60?
False
Let p = -0.4 + 5.4. Let b = -7 + p. Let n be (2*27/(-144))/(78/(-12) - -7). Is b equal to n?
False
Let p = 2193.985 - 2201. Let c = 0.015 + p. Let u = 7.1 + c. Do 4 and u have the same value?
False
Let b = -0.89 - -0.96. Let t = -0.03 - b. Let c = 0.175 + t. Which is smaller: 0 or c?
0
Suppose 6 = -2*m, -j = -4*j + 4*m + 42. Let p be 17/12 - j/15. Which is smaller: p or 1?
p
Let b = -4.298 + -0.702. Let q be (-246)/(-6300) + 2/(-7). Let i = -2/25 - q. Does b = i?
False
Suppose 0 = -8*f - 4*f - 2*f + 2*f. Which is smaller: f or -11/2125?
-11/2125
Let k = 555 + -168. Let a = -389 + k. Is a less than or equal to -174?
False
Let z be ((-26)/156)/(6/(-27)) - (-22)/24. Let t be (-1)/((6/(-22))/(-3)). Is t smaller than z?
True
Let k = 86 + -79. Suppose 2*y + k*i - 6*i = -73, -3*y = -2*i + 127. Is -79/2 at most y?
True
Let j = -981 - 781. Let u = -6823/4 - j. Let d = u - 56. Which is bigger: 2.5 or d?
2.5
Let c = 271932248424/335 + -811734429. Let w = c + -3626. Is w greater than or equal to -1?
True
Let l = 147 + -146. Suppose -5*h - 5*o - 36 = -111, -85 = -3*h + 5*o. Is l at most h?
True
Let g be (-75 - -57) + 16290/897. Is g smaller than 0?
False
Let m = 2 - 3. Let i be -2 - m - (-10 + 4). Let o = -445 - -450. Is o less than i?
False
Suppose 5*x + 20 = 0, -4*x + 5*x + 4 = t. Suppose -3*b + n + 182 = t, -8*b + 63 = -7*b + 2*n. Is 61 bigger than b?
False
Let w(r) be the third derivative of -13*r**4/24 + 31*r**3/6 - 58*r**2 - 2. Let x be w(6). Which is bigger: -43 or x?
-43
Let w(y) = -y**2 + 27*y - 45. Let f be w(25). Suppose -37 - 33 = -4*s - 3*z, -85 = -5*s - f*z. Which is smaller: 18 or s?
18
Let i = -62.7 + 59. Let r = i - -3.733. Let x = r + -0.133. Which is smaller: x or 7?
x
Let v(q) = -201*q - 1266. Let l be v(-11). Is l <= 946?
True
Suppose -75143*z + 75170*z = -594. Which is greater: z or -1167/56?
-1167/56
Let v be 4/7 - 1/231*41082. Is v <= -177?
True
Suppose 3*u = 3*z - 531, -201 - 690 = -5*z + 3*u. Suppose 0 = p - 5, 14*h - 2*p = 12*h - z. Is h less than -85?
False
Suppose 5*n - 16 = 2*b, -5*n + 2*b - 5*b = -26. Suppose -n*o - 50 = -2*o. Let k = 0.4955 - 0.2955. Does k = o?
False
Let t(h) = -h**3 + 10*h**2 - 12*h - 2. Let f be t(8). Suppose 3*y - 18 = -f. Let v be 2 - y*(-21)/72. Are 1 and v non-equal?
True
Suppose 5*q + 14882 = -3*o - 8089, q + 4567 = -4*o. Are q and -4597 unequal?
True
Suppose 0 = f + 3*t + 12, -3*f - f - 5*t - 20 = 0. Which is smaller: 26/61 or f?
f
Suppose 0 = -2*a - p - 1, a = 4*p + 8 + 5. Which is smaller: 49/39 or a?
a
Let g = -0.118 + 0.318. Is g != -27/5?
True
Let k = 515/938 - -3/134. Let l = 36 + -12. Let y = -24.05 + l. Is y less than or equal to k?
True
Let v(m) = -m**3 + 10*m**2 - 5*m + 2. Let d be v(7). Let k = d + -53. Let w = 54 - k. Are 3 and w equal?
False
Let x be (-36)/6422*23 - 1018/(-9671). Is x greater than -1?
True
Let b(u) = u**2 + u + 1. Let o be b(0). Suppose -4*q = 5*d + 3026, -2113*q + 2118*q = -4*d - 2410. Is o greater than d?
True
Let u be 237/3*(3/3 - 3). Let m be 6/(-4) - u/4 - 3. Let d = m - 22. Which is greater: 12 or d?
d
Let r = 2.1448 + 0.0252. Let q = r + -27.17. Which is smaller: q or 4?
q
Let b(i) = -77*i + 1225. Let q be b(22). Is q equal to -467?
False
Let f = -1548 - -1547. Is 0.3404 < f?
False
Let s = -2248 - -2247. Do s and -3876 have the same value?
False
Let w be (0 - 6/10)*(68 + 24361/(-357)). Is -706 bigger than w?
False
Let u = -598542 + 67037275/112. Let c = 37/7 - u. Suppose 11 + 10 = i + 5*x, 5*x - 20 = 0. Which is smaller: c or i?
c
Suppose 4*l - 14 = -i - 16, i = 5*l - 2. Is -2/13349 at least as big as l?
False
Suppose 0 = 2*r + 5*r. Suppose 4*l + 8 = 0, r = -2*i + 2*l + 9 - 5. Does -2/263 = i?
False
Let t be (-1336830488)/(-335766156) + 12/(-3). Let j = 3/40058 + t. Let q = 3/254 - j. Which is greater: q or 0?
q
Let v = 102 - 96. Let q be v/(-39) + -713*6/78. Is -51 greater than q?
True
Suppose -p - 31 = -5*o, -3*p - 2*o + 225 = 216. Do 13/2081 and p have different values?
True
Let w = -287152016 - -26670679244999/92880. Let i = -1/1161 + w. Is 1 greater than i?
True
Suppose 0*b - 2*b - 4*d = -32, 0 = b - 3*d + 4. Suppose -6*g = -b*g + 10. Let i be 26 + -30 + -1*g. Which is bigger: -8 or i?
-8
Suppose 28*c = 165*c + 93*c - 233910. Is c >= 1019?
False
Let s be 13*(-18)/(-312)*(-3 + -1). Let r be 104/(-39260)*1/s. Which is smaller: r or 1?
r
Let o be (-8)/(-2) + 4614/(-15)*-5. Suppose -5*y - 3*i + 0*i = -1922, -4*y + 2*i + o = 0. Which is smaller: 386 or y?
y
Let f(q) = q**2 + q + 3. Suppose 0 = -7*x - 0*x. Let u be f(x). Suppose 2*w = 2*v - 22, 4*v - 63 = -v - u*w. Is v > 12?
False
Suppose -5*h + 17 = -4*x, 4*h + 3*x - 13 = 6*x.