 Let d be 24/(-133) - ((-33)/(-7) + o). Which is greater: d or 0?
d
Suppose -8 + 40 = 8*g. Let z be g + -141 + 0 - 3. Let k = -197 - z. Does k = -57?
True
Let a(b) = -21*b - 252. Let z be a(-12). Suppose z = -4*v + 489 - 545. Which is greater: v or -16?
v
Suppose 0 = 61*z - 58*z - 15. Suppose -46*y + 39*y - 98 = 0. Let v be y/91 - (-5)/((-65)/(-93)). Which is greater: v or z?
v
Let a = 6301 - 6303. Let g be (-1 - 1) + 63/24. Which is bigger: g or a?
g
Let x(a) be the first derivative of a**4/4 - 4*a**3 - a**2 + 19*a - 98. Let w be x(7). Which is greater: w or -241?
w
Let i = 2216307139/12374 - 179110. Is 1 less than i?
False
Let v = -109691 + -4834. Let r be v/360 + (-1)/(-8). Which is greater: r or -317?
-317
Let v = 494.3 + -368.3. Is v at most 2/31?
False
Let g(q) = -8*q**3 - 39*q**2 + 7*q - 15. Let j(d) = 3*d**3 + 20*d**2 - 3*d + 7. Let l(n) = -2*g(n) - 5*j(n). Let f be l(22). Which is bigger: f or 73/4?
73/4
Let q(j) = -3*j**3 + 2*j**2 + 15*j - 18. Let v be q(1). Let g = -481/217 + -11/31. Do g and v have different values?
True
Let s = 51950 + -616753/12. Let x = -554 + s. Which is greater: 0.32 or x?
0.32
Suppose -63*k - 115*k = 21*k + 796. Suppose 0*l + 5*l + 10 = 0. Which is greater: l or k?
l
Let r(b) = -47*b + 869. Let c be r(15). Which is greater: 173 or c?
173
Let r = 43 + -49. Let d = 7 + r. Let o be 3/((-2 + (-9)/(-3))/d). Which is smaller: 27/7 or o?
o
Let q be ((-3)/2)/(-1)*4. Let p be q/(-27) - 8/126. Let i be (2/2)/((-54)/(-54)). Does p = i?
False
Suppose 4*l - 13 + 1 = 0. Suppose l*p + 2*i - 6*i = 182, -3*i - 180 = -3*p. Let m = 44 - 89/2. Which is greater: p or m?
p
Let p(h) = -3*h**2 + 1. Let g be p(1). Let o = -986193196/473 + 2084974. Let a = -2/43 + o. Are a and g unequal?
True
Let a(r) = 11*r - 9. Let p be a(1). Let q be (-2 + p)*1*(-6 + 5). Let l be 95/20 - ((-1)/2 - q). Do l and 4 have different values?
True
Let t(a) = -a**2 - 19*a - 74. Let d be t(-6). Suppose -1080 = d*s + 8*s. Let r be (5 - 0) + 2550/s. Is r greater than or equal to -22?
False
Suppose 5*n = 2*n + 5*f + 20, 0 = -2*n + f + 4. Let b = 412934/7 + -59875428/1015. Which is bigger: n or b?
b
Suppose -5*p + 3*p + 178 = 0. Let v be 3 + 2 - (1524/108)/(6/(-36)). Let q = p - v. Are -1 and q equal?
False
Let l = -0.2 + 0.4. Let z = -1309 - -2624. Let m = 1290 - z. Which is bigger: l or m?
l
Suppose 2*l - 1 = -3*s - 2, 4*l = 4. Let g = 39 + -69. Let y = g - s. Is y bigger than -28?
False
Let k be (-72)/96 - (101057/12228)/(-11). Do k and -1 have different values?
True
Let m(v) = -v**2 - 10*v - 14. Let b be m(-8). Suppose -5*q + 20 = -5. Suppose q*g + 5*n = 15, n + n - 2 = b*g. Which is smaller: g or -2/49?
-2/49
Let q = 539.453 + -537. Let v = -2.46 + q. Is 0 less than v?
False
Suppose 0 = 4*r + 6 - 82. Suppose -m = -w + 4, 4*w + 4*m - r + 3 = 0. Suppose 3*k + 3*u = -15, 0*u = -4*k + 2*u + 4. Which is greater: w or k?
w
Let w(h) = -3*h**2 - 20*h - 62. Let s be w(-26). Is s equal to -1570?
True
Let o be (2/(-6))/(3/(-54)). Let y be (4/(-12))/(2/o). Let v be (y + 1)*(-1)/2. Which is greater: -3 or v?
v
Let c = -32 + 41. Let z = c - 10. Let s be 2/(208/(-536)) - -5. Is z != s?
True
Let h = 0.0588 - 0.3678. Let i = 6.409 + h. Which is bigger: -1 or i?
i
Suppose -68*g + 70*g + 2615 = 3*l, 4*l = 5*g + 6541. Which is smaller: g or -1312?
-1312
Suppose -27*f + 10 + 9 = -8. Which is smaller: -3/8969 or f?
-3/8969
Let d be 44/33 - (25/(-45))/((-4)/9564). Is -1324 > d?
True
Suppose 0 = -c + 6*c. Suppose -o - o = -12. Let b be ((-1)/(-1) + 35/(-21))/o. Is b at least as big as c?
False
Let u be 560/3 - (-8)/24. Suppose -4*c = -m - u, 2*m - 72 - 60 = -3*c. Suppose 5*z - 9 - 28 = -3*y, 4*z = 3*y - c. Is 10 less than or equal to y?
True
Let n = -1507.2826 + -0.7174. Do -1/3 and n have the same value?
False
Suppose -2*m - 1892 = -26*a, 0*a = -m + 3*a - 896. Is -881 less than m?
False
Suppose -2*a - 3*a + 50 = -5*t, t - 2 = -a. Let y(m) = -2*m**2 + 9*m - 5. Let o be y(a). Which is smaller: o or -6?
o
Let r = -36145 + 35495. Is -640 > r?
True
Let j = -96244/17 - -5660. Which is smaller: 8 or j?
j
Let x = 2620 + -49792/19. Let a = -267.3 - -267.1. Is x smaller than a?
True
Suppose u + 134 = 5*v - 97, -3*u + 135 = 3*v. Let h = -99102 - -99146. Are v and h non-equal?
True
Let i(s) be the third derivative of -2*s**4/3 - 13*s**3/3 - 3*s**2 + 1. Let g be i(6). Do -122 and g have the same value?
True
Let p(d) = 2*d**2 - d - 3. Let t be p(0). Let l = t + -5. Is l less than -2?
True
Suppose -b = -5*s + 1044, -2*s + 497 = 2*b + 89. Let q be s/4*(-2)/(-4) - 1. Suppose 5*w = -q, -5*w = 2*l + 11 + 8. Is 30/7 equal to l?
False
Suppose 0*v - 4*v = 0. Suppose v*z = z. Let b be (-8)/28 - (79/91 - 1). Do z and b have different values?
True
Suppose -9*m + 72 = -27. Suppose m*s - 22*s = -583. Is 54 greater than s?
True
Let u = 5796/11 - 196987/374. Let s(x) = -x**2 - 4*x + 5. Let r be s(-5). Is r > u?
False
Let k be 260 + (-4)/(-4)*-3. Let x = k - 1803/7. Suppose -3*p = -8*l + 3*l - 3, 0 = l + 4*p - 4. Is l bigger than x?
True
Let w be 1 + -15*(-21)/(-3). Let u = -58 - w. Let p be 69/u*22/3. Is p bigger than 11?
False
Suppose -2*p = 2*l + 122, -3*p + 7 - 185 = -2*l. Let o be (-4)/10 + (-1778)/30. Let i = o - p. Is i less than -3?
False
Let q(m) = -8*m - 14. Let y be q(-3). Suppose -y*f + 30*f - 2680 = 0. Is 133 at least as big as f?
False
Let q = 0.707 - 0.207. Let k be ((-9)/6)/(15/4). Let c = k - -1. Are q and c nonequal?
True
Let a be (4/3)/((-82)/84 - -1). Let s = a + -53. Let w(q) = q**2 - 8*q + 11. Let n be w(s). Is n at least as big as -5?
True
Suppose -2*d - 2*p = 14 - 2, -5*p - 48 = -d. Does d = 126/19?
False
Let b(q) = q**3 - 30*q**2 - 28*q - 106. Let x be b(31). Let t(z) = -z. Let l(h) = -2*h - 6. Let g(n) = -l(n) + 6*t(n). Let a be g(5). Is x smaller than a?
False
Let u = -145 - -145. Let v be 3/45*-3*(-2 + u). Suppose -4 = 2*s - 4*s. Which is smaller: v or s?
v
Let t be 13/(845/1573) - (0 + (-8)/10). Which is bigger: t or -55?
t
Suppose 3*l = -3*s + 9241 - 9280, -65 = -4*s + 5*l. Let i = -7 - 23. Let x be (2/i)/((-76)/(-36)). Is x < s?
True
Let w = -102 - -99.07. Let u be 24/165 - (-126)/(-231). Which is smaller: w or u?
w
Let f = 40853 - 40869. Let h be 183/(-12) - (-1 - -2). Is f at most as big as h?
False
Let y = -51.03 + 51. Let n = y - 0.028. Let k = n + -2.942. Which is greater: -1/20 or k?
-1/20
Suppose -422*z + 35 = -427*z. Let c be (-40)/(-70) + (-409)/z. Is c bigger than 59?
False
Let w = 17 + -28. Let u = -780 - -1153. Let b = u - 387. Do w and b have the same value?
False
Suppose -3*n + n = 4782. Let g be (n/6 - -4)/(17/(-10)). Let b = -232 + g. Which is greater: b or 1?
1
Let n = 0 + 0. Let l be 10/(-60)*((22 - 16) + -1). Which is greater: l or n?
n
Let z = 3544 + -3605. Is z < -1170/19?
False
Let l = 146 + -63. Suppose -v - 16 = 3*w, 0 = -4*v - 2*w - l - 21. Is -26 bigger than v?
True
Let b be 35 + -41 - -35*843/4917. Is b equal to -1?
False
Suppose -309 = -5*c + 4*p, p + 4*p + 249 = 4*c. Let j = c - 25. Suppose h - 4*h = j. Which is greater: -1 or h?
-1
Let w be 0*(7 + -3 + -5). Suppose w = -21*a + 8*a + 78. Which is smaller: 14 or a?
a
Let c be -4*5/(-40)*(-8)/(-2). Suppose -c*f - 28 - 36 = 0. Let v = f + -7. Is v at least -39?
True
Let z(w) = -11*w**2 + 36 + w**3 - 14*w + 0*w + w**2. Let a be z(11). Suppose a = -3*m, 0*m + 2*m = -4*f - 58. Is -16 > f?
False
Suppose -2 = -4485*a + 4483*a. Which is smaller: a or 8/677?
8/677
Let b = -67449.64 - -67449. Suppose 10 = -0*t + 2*t, 2*h = 3*t - 21. Are h and b unequal?
True
Let l be (-3)/21*11 + 9/(-21). Let v be (-3)/l*1216/(-96). Is -14 <= v?
False
Let h(w) = -w**2 - 28*w + 108. Let x be h(-24). Is x not equal to 204?
False
Let d(i) = -3288*i - 19823. Let x be d(-6). Let s = 98 - 194. Which is smaller: s or x?
s
Let a = -43 + 41.3. Let z be 1 + -13 - -2 - -13*5712/7293. Which is bigger: z or a?
z
Let w be -146 - (4/(-10) - ((-342)/(-45) - 8)). Is -729/5 >= w?
True
Let s = 64 + -53. Suppose 5*i = s*i - 24. Suppose -13 = i*k - 3*z, -3*k + 16 = -4*k + 5*z. Which is greater: k or -4?
k
Let f be 4/(-112)*609/(-58). Let k = 190/3 + -64. Which is smaller: f or k?
k
Suppose l + g - 8 = 0, 584*l = 583*l - 3*g + 18. Suppose -3*r = -3 - 0. Is r less than l?
True
Let p = 134 + -136. Let c = -10/207 + 1964/32085. Is c at least as bi