Suppose 4*h = 16 + 16. Let v be ((-328)/56 + 7)/((-2)/(-21)). Let r be (4/v)/((-13)/(-117)). Is h at most as big as r?
False
Let p = -0.10473 + 0.04573. Does 1/14 = p?
False
Let y = 66.1 + 199.9. Let j = y - 265.91. Which is smaller: 0.8 or j?
j
Let p(u) = 5*u**2 - 2*u**3 - 76*u - 35 - 8*u**3 - 3*u**3 + 37*u**2 + 12*u**3. Let a be p(40). Is a at least as big as 124?
True
Let t = 14394 - 14392.29. Let z = -1.6 - -1.4. Which is smaller: z or t?
z
Let i(c) = -c**2 + 7*c + 5. Let y be i(8). Let h be 39/13*(-2)/(-3). Let g be (-18)/81 - (2 - h/9). Is g greater than y?
True
Let f = -0.56 + -37.44. Let j = 39.01 + f. Let v = j - 0.01. Is v equal to 1/10?
False
Let j(n) = n**3 + 8*n**2 + 10*n - 7. Let b be j(-8). Let t be (-24)/18 + 350/140*508/(-15). Is b >= t?
False
Suppose -9234 + 1734 = 50*v. Are v and -138 nonequal?
True
Let p(x) = 3*x**2 - 41*x + 97. Let t be p(11). Which is smaller: 10 or t?
t
Suppose -67 = 5*y - 4*r, 0 = -0*y - y + 5*r - 5. Let b(j) = -j**3 - 11*j**2 + j + 10. Suppose 15 = -7*l - 62. Let t be b(l). Are y and t equal?
False
Suppose -5*o = -250 + 5945. Which is bigger: o or -1140?
o
Let w = -16900 - -15676. Is w less than -1?
True
Let v = 7353.45 + -7168. Let l = v + -186. Is l at most as big as -0.2?
True
Let r(u) = u**2 - 9*u - 33. Let c be r(12). Let a = 3 - c. Which is smaller: a or 1/28?
a
Let q = 9526 - 9511. Is q smaller than 309?
True
Suppose 15*r - 17*r = u + 208, 0 = -2*u + r - 381. Is -1165/6 greater than u?
False
Let u(n) = 58*n + 1135. Let q be u(-20). Which is bigger: -259/11 or q?
-259/11
Suppose -57*p = 45*p + 33*p + 135. Which is smaller: 8/1005 or p?
p
Suppose -274*v + 26832 = -16*v. Let b(y) = 12*y + 8. Let t be b(8). Are v and t non-equal?
False
Suppose -39*n = -44*n - 2*g + 13, 5 = n - 2*g. Let z be 3/(0 - n) + 0/7. Let l = 6 - 18. Which is bigger: l or z?
z
Let s = -271 - -261. Let l be (-1385)/s + 5/2. Which is smaller: l or 142?
l
Let k = 21189 - 21188.9076. Which is bigger: 4/5 or k?
4/5
Let a(z) = -z**2 + 4*z - 21. Let y(w) = -w**2 + 3*w - 22. Let n(h) = -5*a(h) + 4*y(h). Let r be n(4). Which is smaller: r or -2/13?
-2/13
Let a = 10076 + -18075. Is a at most as big as -7996?
True
Let i be 12/8*((-6786)/27)/(-29). Are i and 191/15 non-equal?
True
Let s be ((-62)/(-3))/((99680/48856)/10). Let p = 709/7 - s. Is p bigger than 1?
False
Let r = 47 + -44. Suppose -3*t - 186 = r*f, 0*f + 4*f = 8. Let o = t + 27. Is -38 at most o?
True
Let c = -1017.8 + 1017. Which is greater: 28.5 or c?
28.5
Let m = 3014 + -3039. Are m and -332/13 nonequal?
True
Let d = 36296/7779 - -2/2593. Are 16 and d unequal?
True
Suppose -8*b = 5 - 37. Suppose -x + 332 + 320 = 2*z, 8 = -b*x. Do 327 and z have different values?
False
Let c(d) = -31*d**3 - 2*d**3 + 32*d**3 - 15*d**2 - 48 - 17*d. Let u be c(-14). Suppose 0 = -3*k - 14 + 5. Is u bigger than k?
False
Let q = -122/9 + 592/45. Let l = -18 + 16. Which is bigger: q or l?
q
Let r be 0 + (-41210)/24198 - (-45)/135. Let z = r - -50/37. Which is bigger: z or 0?
0
Suppose -57*n = 46*n - 103. Is n >= -5/369?
True
Let m = 3982 - 3983. Let k = -50.07 + 50. Is m less than k?
True
Let j(o) = -o**2 + 3*o. Let q be j(4). Let t = 214103/7 - 30489. Let a = -97 + t. Is a equal to q?
False
Let q be -2 + 154/55 - (52/90 + 0). Does 1/481 = q?
False
Let u(x) = 157*x**2 - 24*x - 24. Let f be u(-1). Which is greater: f or 155?
f
Let b be 5/(-15) - (-2)/(-6). Let j(s) = 4*s + 17. Let h be j(-3). Suppose -6 = v - h. Which is smaller: v or b?
v
Let b = 613.297 + -0.297. Let i = 608 - b. Which is smaller: -0.3 or i?
i
Suppose -41*d + 32*d + 202872 = -33*d. Which is bigger: -8452 or d?
-8452
Let c = 372152 - 372152. Suppose 0 = -3*m - 3*l + 30, -l + 46 - 18 = 4*m. Let k be (-10)/m - 3/9. Is k equal to c?
False
Suppose o - 4*g = -38, 2*g = 2*o + 7*g + 63. Is 7 smaller than o?
False
Let k be ((-513)/285)/(6/(-10)). Let i(d) = -d**3 - 4*d**2 + 3*d - 7. Let u be i(-5). Suppose u*v - 5*g - 36 - 32 = 0, -v + 28 = -k*g. Is 15 smaller than v?
True
Let o = 6416 - 6440. Suppose -2*x + 2*g + 5 + 11 = 0, 26 = 4*x - g. Suppose -f + 5 - x = 0. Is o > f?
False
Suppose 0 = 5*z + 5*s + 1498 + 887, 2*z = -5*s - 951. Let x = z + 1433/3. Which is smaller: 556 or x?
x
Let v(y) be the third derivative of y**5/6 + 31*y**4/12 + 277*y**3/6 + 50*y**2 - y. Let x be v(-5). Is 217 != x?
False
Let t be (-2)/(-4)*(-32 - 16570). Is 1 at most t?
False
Let y = -18.07 - -18. Let q = -151.6 + 20.6. Let b = q - -131. Which is smaller: b or y?
y
Let j be 66 + 0*7/70. Is -1 at most as big as j?
True
Suppose -23*o - 335 = -358. Is 3/16247 bigger than o?
False
Let x = 23206 + -32735. Is -9528 less than x?
False
Let l be ((-14)/(-4))/7*134*1. Let q = -71 + l. Let k = q - -2. Which is greater: k or -8/7?
-8/7
Suppose -1492 + 461 = 23*a + 3983. Which is greater: a or -2405/11?
a
Let j = 401 + -399. Let v be (-246079)/(-2915) + j/11. Is 85 at least as big as v?
True
Suppose 1128 = 76*l - 80*l. Let y = 2813/10 + l. Let a = -11/10 - y. Which is greater: a or -0.01?
-0.01
Let j be ((3 + 2)/5)/4. Let w = 510 + -390. Is j > w?
False
Suppose 4*w + 2036 = 89*w - 599. Is w at least as big as -4?
True
Let v = 453 + -406.7. Let i = v - 46.5. Which is smaller: i or -0.01?
i
Let g = -259.033 - -259. Let s = g - 0.287. Is s > -0.3?
False
Let s = -865 - -873.948. Let j = -0.052 - s. Let w = j - -2. Which is smaller: w or 1/4?
w
Suppose -h + 2 = 4*b + 1, -2*h - 3 = 3*b. Let q be (-7)/14*(14 + 1 + h). Let i be q*(-5)/30*0. Do -1/22 and i have different values?
True
Let a = 856/2997 + -60692245/20979. Let m = 2887 + a. Which is smaller: m or -0.3?
m
Let i = -20.79 - 0.21. Let w be ((-420)/504)/(((-12)/(-4))/18). Which is greater: i or w?
w
Let i = -0.1 + 0.07. Let p(w) = w**3 + 4*w**2 + 3*w - 3. Let f be p(-4). Let x be 26*1/8 + f/5. Is x less than i?
False
Let i = -12.1 - -12.3. Let k = 205 + -50. Is k smaller than i?
False
Let z = -585/2324 + 1/581. Is -4/919 < z?
False
Let r(b) = 183*b**2 + 417*b + 2457. Let p be r(-6). Which is smaller: p or 6544?
p
Let b = -407 - -435. Let x(r) = -17 + 2*r**2 - 21 + 35. Let z be x(-4). Which is smaller: b or z?
b
Let k(z) = 2*z**3 + 61*z**2 + 29*z - 29. Let q be k(-30). Let f(l) be the third derivative of l**4/24 + 3*l**2. Let p be f(2). Is p greater than or equal to q?
True
Let q = 20.96 + -21.16. Let l be (-7)/595*(-4)/(-14). Let g = l + 1236/13685. Which is smaller: g or q?
q
Let s = 53 + -94. Let m = 1.17 + -42.25. Let u = s - m. Which is smaller: u or -0.1?
-0.1
Suppose 11*d = 130 + 90. Let i be 198/104 - 11*d/1430. Suppose 2*q - 7 = l, -2*l - 3*l - 2*q = -13. Which is greater: l or i?
i
Let g be 6 - (-3 + (-20)/(-4)). Suppose 5*m + 50 = -f, -27 = g*f + 5*m + 233. Let j = f + 69. Is 3/22 less than j?
False
Let p = 11590 - 11589. Which is bigger: -1/5 or p?
p
Suppose -107*y = -104*y + 600. Let x = 164 + y. Which is smaller: x or 1?
x
Let b = -144 - -144.03. Let u = 44/3 - -83/3. Let m = 42 - u. Which is bigger: b or m?
b
Let g(y) be the first derivative of 2*y**3/3 + 55*y**2/2 + 27*y - 80. Let c be g(-24). Which is smaller: c or -2?
c
Let b = -61 + 48. Let y(i) = i**2 + 14*i + 7. Let d be y(b). Let p be (d/(-10) - 1)/(32/(-40)). Which is smaller: 23 or p?
p
Suppose 0 = n - 3*h - 267, -5*h + 25 = 15. Let d be 135/(-1043) - (-39)/n. Is 1 bigger than d?
True
Let v be 2/(-4)*(-4)/6*12. Suppose -8*p - 174 = -37*p. Are p and v equal?
False
Suppose 244568 = -515*k + 496*k. Are k and -12872 unequal?
False
Let x = 1.0769 - -4.9231. Do -2/677 and x have the same value?
False
Let b be 93/(-11 - (-12 + -2)). Which is bigger: 34 or b?
34
Suppose -3*x = 3*c + 396, 2*x + 0*c = 3*c - 244. Let j = x - -113. Do j and -6 have the same value?
False
Let c = -82 + -79. Let a = -26241/163 - c. Let t = 4 - 4. Do a and t have the same value?
False
Let p = 148 + 47. Suppose 4*s - p = -2*h + 3*h, -2*s + 90 = 2*h. Let d = -68 + s. Which is smaller: -19 or d?
d
Let z(n) = -n + 13. Let i be z(-18). Let g(k) be the first derivative of 8*k**3/3 - k**2 + 3*k - 15. Let j be g(2). Is i less than j?
False
Let c(t) = -t**3 - 5*t**2 - 3*t + 5. Let m be c(-5). Let l be 6/(-30) - (-584)/m. Suppose q - 20 = -i, -l + 124 = 4*i + q. Which is bigger: i or 24?
i
Let x(l) = l**3 + 3*l**2 - 4*l - 3. Let h be x(-2). Let u be ((-324)/(-63))/(4/14). Suppose -6 = -u*f + 