4 - 6))/(-2). Which is smaller: q or f?
q
Suppose 2*m - 12 = 4*o, -5*o - 19 + 13 = -4*m. Let d(h) = h**3 + 10*h**2 - 4. Let f be d(-10). Is f less than or equal to m?
False
Let a be (-5564)/(-432) + -13 + (-1)/(-12). Let g be (-1 - 0/(-1))/(-1). Is g at most a?
False
Let u = -333.9572 - 0.0428. Let k = -334.088 - u. Which is smaller: k or -4?
-4
Let t(b) be the first derivative of -b**3/3 - 13*b**2/2 + 29*b + 13. Let g be t(-15). Which is smaller: g or -2/59?
g
Let s be ((-112)/10)/((-2)/(-20)). Let h be (104/132)/((-49)/6965). Let t = s - h. Which is smaller: -1 or t?
-1
Suppose 30 = -h + 31. Let a be (h - 6) + -4*84/(-64). Let m = -28.8 - 2.2. Which is bigger: a or m?
a
Let j(d) = -d**3 - 41*d**2 + 74*d - 320. Let k be j(-43). Do 1378/7 and k have the same value?
False
Let r = 74.89 - 79.89. Which is greater: r or -0.1753?
-0.1753
Let v(a) = -a**3 + 16*a**2 + 20*a - 5. Suppose 5*l = 2*l + 51. Let r be v(l). Let p be (r/23)/(2/(-4) - 0). Is p not equal to -26/7?
True
Let h = -325699/56490 + 173/30. Which is bigger: -1 or h?
h
Let v(s) = -s**3 + 5*s**2 + 6*s - 58. Let j be v(9). Is j bigger than 26?
False
Let r(u) = -35*u - 1356. Let q be r(-42). Which is bigger: q or 127?
127
Let w = 101.4 - 15.4. Let y = 0.171 + -85.771. Let h = w + y. Are 2 and h equal?
False
Let j be ((-9)/15)/(13/(-1)). Suppose 0 = 3*m + 2*m - o - 1231, 4*m - 5*o - 989 = 0. Suppose -9*y - 246 = -m. Which is smaller: y or j?
y
Let z = -5369/148 - -1/37. Which is smaller: -37 or z?
-37
Let h(z) = -z - 54 + 32 + 0*z. Suppose -3*t - 28 = 32. Let c be h(t). Are -2/7 and c equal?
False
Let d = 414 - 413.7. Is 6.96 < d?
False
Suppose 4*r = f - 19, -1240*f - 5*r = -1244*f + 10. Does 631 = f?
False
Let c = 130.32 - 2.32. Let r = -232 + c. Let a = r + 104.7. Which is smaller: -0.2 or a?
-0.2
Suppose 0 = m - 5*j + 867, -3*j = m - 249 + 1108. Is -864 > m?
False
Let q = -354 - -639. Suppose -a = -5*n - q, 5*n + 63 = 38. Which is greater: 261 or a?
261
Let l = -5/941 - -2177/55519. Let x(d) = -d**3 + 3*d**2 - 1. Let b be x(3). Is l < b?
False
Let n be (-112)/21*(-9)/6*-2. Let t(r) = -r - 10. Let a be t(-7). Let i be (n + 24)*(1 + a). Is i > 0?
False
Let w be 265097/(-21) + (-5)/15. Let u = 50227/4 + w. Which is smaller: -66 or u?
u
Let s be (10/7)/((-18)/42). Let n(u) = -u + 27. Let l be n(17). Let x be (-204)/85 - 6/l. Which is greater: s or x?
x
Let b = 2/3893 + -354295/62288. Which is bigger: -3 or b?
-3
Let r = -17/2 - -9. Let j = -10921 + 10842. Is r greater than or equal to j?
True
Let j = -5.093 + -21.677. Let v = j + 27.9. Let x = -3.13 + v. Which is smaller: x or 0?
x
Suppose -4*o - 15 = -b + 13, -2*o - 14 = b. Let t(d) = 2*d - 54. Let r be t(o). Is r bigger than -67?
False
Let m = 1 - 1. Suppose m = 3*v + 5 - 2. Let g be (-17 - -17)/(17/(-51)*9). Which is smaller: v or g?
v
Let q = 9957 + -10061.18. Let x = -104 - q. Which is smaller: x or 1/4?
x
Let d = 385 + -2085. Is -1701 at most as big as d?
True
Let f be -7 + 2 + -331 - -7. Let a = f - -334. Let l be 2 + 5/4 + 2. Is l greater than a?
True
Let p be 34/34 - 37715/34980 - (-1)/12. Let f be 2/2*(-1 - -1). Is p at most f?
False
Suppose 5*v = -3*o + 162, -v = -6*v + 3*o + 168. Let p = v + -37. Let g be (-18)/12 - (2/1)/p. Which is bigger: 3 or g?
3
Suppose 46*m = 7*m - 40*m + 16274. Suppose 5*d = -4*x + 828, -5*d - 399 = -3*x + 222. Is m at most x?
True
Let l = -81 - -76.1. Let z = l - 2.1. Let n = 7 + z. Which is greater: -6 or n?
n
Suppose 0*m - m - 369 = 0. Let v = m + 9226/25. Which is bigger: 1 or v?
1
Let m be (-647)/3 + ((-260)/39)/(-10). Which is bigger: 1/6 or m?
1/6
Let g be (2541/(-4))/(12/(-32)). Let o = -4368 + g. Let i = 211249/79 + o. Which is smaller: i or 0?
0
Let s = 17.774 - 20.774. Let o = -7.15 + 7. Is o bigger than s?
True
Let p(k) = -k**3 - 14*k**2 - 41*k - 37. Let w be p(-7). Which is greater: w or -4?
-4
Let y be 11/((-9790)/(-1275)) + 33/6 + -5. Which is greater: y or 0?
y
Let q = -457 - -273. Let s = 115 + q. Let r = s - -69.3. Is r <= -2/41?
False
Let k be (3 - 20/6)/((-3)/63). Suppose -13 - 22 = k*v. Let n = -8 - -4. Is n > v?
True
Let o(u) = -u**2 + 3*u + 30. Let s be o(-4). Let z be (-4)/(s/(-2)) + 4543/(-1133). Which is smaller: z or -1?
-1
Suppose 6*f = n - 1277, -n + 11 = 12. Is f >= -209?
False
Suppose -4*k - r + 417 = 0, 7*r - 5 = 2*r. Let t = 55 - k. Is -47 < t?
False
Let z = -219311 + 219319. Suppose -3 = 3*y - 5*c - 2, -3*c + 7 = -5*y. Which is bigger: y or z?
z
Let p = 203 + -200. Let h be 9/6*(104/p)/(-4). Which is greater: h or -12?
-12
Let u(d) be the third derivative of d**5/60 - d**4/12 - 2*d**3/3 + 12*d**2. Let j be u(4). Suppose j*v + 16 = -36. Which is smaller: -1 or v?
v
Let z be (16/(-12))/((-275)/10). Let a = z + 1828/3135. Which is bigger: a or -2/3?
a
Let d = 431 + -42. Which is greater: 7 or d?
d
Let p = -963 + 537. Which is greater: p or 1?
1
Let s = -24 - -17. Let r be ((-5229)/(-48))/s - (-3)/1. Let q = 1469/80 + r. Which is bigger: 7 or q?
7
Suppose 0 = b + o - 103, 6*o - 218 = -2*b + o. Let h be (-1012)/b + 10 + (-1120)/(-18). Is -3 greater than h?
False
Suppose -12*h - 30 + 30 = 0. Suppose h = k + 31 - 34, 2*k = -3*c - 27. Which is smaller: -61/6 or c?
c
Let a be 470 + -60 - (2 - 8). Which is bigger: a or 419?
419
Let a(b) = 16*b - 84. Let z be a(7). Suppose -z*i + 25*i = -3. Is i bigger than 2/537?
True
Let m = -4064 - -4087. Let o be (-1 - -1) + (-3 - -4). Let d be o + -2 - (1 + -24). Which is smaller: m or d?
d
Let u(g) = 15 - 7*g**2 + g**3 + 15*g**2 - g + 2 - 14*g**2. Let q be u(5). Which is smaller: q or -9?
q
Let c(l) = -1455*l + 84. Let a be c(2). Which is smaller: a or -2824?
a
Let n = -0.3074 - 4.7666. Let t = -7.87 - -7.844. Let f = n + t. Which is greater: f or -0.1?
-0.1
Suppose 225*y = 228*y + 687. Which is smaller: -242 or y?
-242
Let w(l) = -7*l + 93. Let s be w(15). Let i = s - -217/18. Which is smaller: 0 or i?
0
Let h = -226 + 106. Let d = -349/2 - h. Is -54 less than or equal to d?
False
Let b be (9872/(-12))/(26/78). Which is smaller: b or -2466?
b
Let h = -1242 - 2861. Is h <= -4103?
True
Suppose 4*g + 319 = -5*r + g, -g = 3. Suppose 122*s - 23*s + 7800 = -31*s. Which is smaller: r or s?
r
Suppose 5*a - 5*y + 1 = 6, -a = -2*y - 1. Let g = 4 - a. Suppose -2*x - o = -2*o - 31, -4*o + 19 = g*x. Is x greater than or equal to 12?
True
Let i = -126 - -64. Let h = 70 + i. Suppose 2*w = 4*m - 6, h - 4 = 4*m. Is 4/35 at most as big as w?
False
Let z(m) = m**2 + 21*m - 20. Let x be z(-22). Suppose 220 = 2*b - 7*b + 5*h, -x*b = 5*h + 60. Suppose -k = -3*k - 78. Do k and b have the same value?
False
Let g be (54/(-80) + 42/(-336))/(2/2290). Which is smaller: -911 or g?
g
Suppose 0*j + 4*j = -100. Let s(c) = -14*c - 352. Let v be s(-30). Suppose 5*h + v*i + 124 = 70*i, 4*i = 4*h + 92. Which is smaller: h or j?
h
Let j be ((-99)/(-36))/(2/32). Which is smaller: j or 29?
29
Let y(x) = -54*x**2 + 55*x**2 - 6 + 2*x - 7. Let m be y(-9). Suppose 251 = 5*n + 3*g - 7*g, 0 = 5*n + 2*g - 257. Are m and n equal?
False
Let a be 2 + (-2 - (-1)/1). Suppose 2*f = 31*f - 261. Suppose f*h - 8*h + a = 0. Is -5/3 > h?
False
Suppose 0 = -29*y + 24*y, 2*t = 2*y - 2. Which is smaller: t or -1/647?
t
Let c = -338 + 337.959. Is 5 bigger than c?
True
Let o = -85 + 131. Let p be o/52 - -3 - 4. Suppose 1504*w = 1505*w - 1. Which is greater: p or w?
w
Let p(n) = -n**2 + 149*n + 3. Let f be p(6). Which is bigger: f or 6033/7?
6033/7
Let m(s) = -4*s**2 - 74*s - 70. Let z be m(-1). Which is smaller: z or -4/4555?
-4/4555
Let j be (-2)/8*(-22985156)/1054. Let f = -5452 + j. Is 1 at least f?
True
Let m = 34 + -17. Let d = -12 + 14. Suppose 2*z + q = 4, q + 4 = 4*z + d. Are m and z unequal?
True
Suppose 24*v = 31*v - 3528. Let s = -512 + v. Is s != -6?
True
Suppose 2*s + 12 = 2*i, 18 = 2*i - 3*s + 2. Let o(f) = f**3 + 15*f**2 - f - 1. Let b be o(-11). Let x = b + -4441/9. Is x < i?
True
Let f(a) = -a**3 + 11*a**2 - 12*a + 21. Let i be f(10). Suppose 3*m + 4*o - 15 = o, -5*o - 20 = 0. Let w be (-2)/m - (-920)/3735. Is w at least as big as i?
False
Let m = 1556/11 + -426355/3014. Is m less than 4/15?
True
Let q be (7/14)/(3/18). Suppose -2*s - 4*u + 14 = -5*u, -q*s = 2*u - 14. Suppose 5*a + a - s = 0. Which is smaller: a or -3/56?
-3/56
Let x(c) be the first derivative of c**2 + 41*c + 31.