d n equal?
False
Let g(m) = -m**3 - 4*m**2 + 6*m + 7. Let q be g(-5). Suppose 5*s + 5*l + 25 = 3*l, q*s = -5*l - 10. Let j be 6/s + 24/30. Which is greater: j or 3?
3
Let p = 22 + -19. Suppose -x = p*h + 8, -4*x + 17 = x - 4*h. Is -19 bigger than x?
False
Let f = -117/2 + 58. Suppose -3*d + 4*p - 3*p = -5, 4*d = 3*p. Let j = 1 - d. Is f greater than j?
True
Suppose 2 = 3*p - 1. Let c = -247615/27 + 9171. Is c at most as big as p?
True
Let g = -4.005 - -4. Let u = 2.905 + g. Let o = u - 3. Which is smaller: o or -14?
-14
Let r = -0.051 + 13.051. Let h = r - 14. Which is bigger: h or 11?
11
Suppose -4*x = -t + 43, 2*t - 4*x - 42 - 24 = 0. Suppose -t = -a - 9. Are a and 1 equal?
False
Let o = -143/296 + 4/37. Is 0.12 smaller than o?
False
Let v(r) = -r**3 - r**2 - r + 5. Let q be v(0). Let l = 10 - q. Suppose 0*k - 4*d + 25 = l*k, k + d = 5. Which is smaller: k or 3?
3
Let b be (-42)/28*(-8)/(-6). Let x be b/6 - 6/9. Is 1/9 != x?
True
Let h be (-19)/(-1)*(5 - 0). Is h at most as big as 96?
True
Let a be (9/21)/(40/(-42)). Is a less than 1?
True
Let v be ((-129)/(-40))/((-90)/(-1275)*17). Are v and 4 unequal?
True
Let h be ((-2)/4)/(6/(-36)). Suppose -2*m = -2*b + 1 + 3, 4*b - 1 = h*m. Let j(y) = -y**2 - 5*y + 9. Let c be j(m). Which is greater: -4 or c?
-4
Let j(q) = q**2 - 2*q - 4. Let y(l) = l**2 - 3*l - 5. Let p(u) = -7*j(u) + 6*y(u). Let g be 14 - 10 - (-10)/(-2). Let r be p(g). Is 2 smaller than r?
False
Suppose -5*s + 4*s + 13 = 0. Suppose 15 = 36*l - 35*l. Is s at least l?
False
Suppose -5*h - 2 = -7. Suppose -150 = -j + 6*j. Let a = j - -31. Is h equal to a?
True
Let s(b) be the first derivative of -2*b**3/3 + 3*b**2 - 4*b + 8. Let a be s(4). Which is smaller: -1 or a?
a
Let f = -624 - -1276. Is f less than 1?
False
Let f(r) = r**2 - 11*r. Let k be f(0). Is -21 > k?
False
Let k(q) = -q**3 + 12*q**2 - q - 9. Let j be k(12). Let c = j + 21. Suppose c = -2*m - 4 + 2. Is -2 smaller than m?
True
Let n(o) = -o**3 + 20*o - 10. Let q be n(5). Which is smaller: -32 or q?
q
Suppose 21*k - 124 = 17*k. Let s = k + -48. Which is smaller: -2 or s?
s
Let r = -30 - -42. Suppose 0*p = -3*p + r. Suppose 21 = -5*h + a, 4*h - p*a = a - 21. Is -0.1 greater than h?
True
Let v(o) = -o**2 + 19*o. Let q be v(19). Suppose q = -5*z + 45. Which is smaller: 10 or z?
z
Suppose -3*s = 14 + 22. Let t be -5*(-7)/(-21)*(3 + 0). Is t greater than or equal to s?
True
Let z = -129 + -66. Let d = z + 139. Is d bigger than -1?
False
Let w be (1/7)/(9/63). Is 42/19 not equal to w?
True
Let k be 1 + -5 + -5 + 7 - 0. Let t = 1 + -1. Which is bigger: k or t?
t
Let h be (4/((-12)/(-513)))/(3/2). Which is smaller: h or 113?
113
Let f = -42 + 42.53. Let i = f - 0.33. Is -10 greater than i?
False
Suppose 245 + 921 = 11*b. Is 105 smaller than b?
True
Let y(w) = 2*w**2 + 27*w + 92. Let r be y(-10). Which is smaller: r or 194/9?
194/9
Let t be 13/((-28)/(-196) - (-6)/56). Is t > 52?
False
Let r = 3 + 0. Let n = 1852 - 5555/3. Is n less than or equal to r?
True
Let y be (-6)/(-3*3/15). Suppose -y = -5*g, -w - 5*g - 32 + 102 = 0. Let j be 1 + w/(-14) - -3. Which is smaller: j or 0?
j
Let g be 3 + ((-3)/24 - 1595/(-88)). Which is smaller: g or 7?
7
Suppose -23*w + 760 = -13*w. Does w = 76?
True
Suppose -d + 3 = 0, -d = -3*l - 3*d. Let n be ((-2 - -1) + 2)/(l/(-10)). Which is bigger: 0.06 or n?
n
Let s = 54 - 94. Are -5 and s unequal?
True
Let j be ((-12)/105)/(4/(-10)). Let n = -849 - -848.6. Is j > n?
True
Suppose -2 = 2*t + t - 2*c, 4*t - 2*c + 4 = 0. Let k be (-21)/((-84)/8) + 16/(-3). Which is smaller: t or k?
k
Suppose -m - m = -4. Suppose -2*g = -0*g - 2. Suppose m = -3*f - g. Is f <= -2/37?
True
Let d = -743/6 - -123. Suppose 0*s = 4*t - s + 6, s = -2*t. Let q be 36/(-44) - ((-13)/(-11) + t). Which is bigger: q or d?
d
Suppose 2*p + 4*a = 80, -4*p + a = -5*p + 41. Let y be (-5640)/p - (-3 - -1). Let i = y - -132. Is 6 greater than i?
True
Let n(h) = h**2 + 3*h - 3. Let z be n(2). Let f be (72/(-42))/((-1)/z). Suppose -4*j - f + 4 = 0. Is -2 less than or equal to j?
True
Suppose -2*y - 14 = 5*y. Let v = y + 2. Which is smaller: v or 2/39?
v
Let f = 4 - 3.96. Let r be -4*3/9*3. Let u be 1/(0 - 2/r). Is f <= u?
True
Let i = -19 - -5. Let z = -8 - i. Let d = 5 - z. Is 0.14 at most as big as d?
False
Let j = -28796/145 - -994/5. Suppose 7*w - 4*w - 2*b = 1, w = -4*b - 9. Which is greater: w or j?
j
Let b = -5.2 + 4. Let g = -0.9 - b. Which is greater: g or 2/11?
g
Let x = -1.13 + -0.12. Let l = -5.65 + x. Let t = l + 7. Which is smaller: -2/3 or t?
-2/3
Let c = -0.5 - -2.5. Let a = -6961 - -257558/37. Which is smaller: a or c?
a
Let b = -52 + 53. Let v = -137 + 65. Let j be (16/v)/(b/(-3)). Which is smaller: 0 or j?
0
Suppose -l + 0*g - 70 = -4*g, -4*l - 5*g = 322. Are l and -79 nonequal?
True
Let n = 61 + -245/4. Let h = 18/113 + -659/7684. Let i = h + 247/340. Which is smaller: n or i?
n
Let q = 3 - 2. Let v = -0.091 - -37.091. Let h = v + -36.95. Which is smaller: h or q?
h
Suppose 4*j - 4*v + 38 = 254, 215 = 4*j - 3*v. Which is bigger: j or 52?
j
Suppose 3*y + 256 - 100 = -3*m, 2*m + y = -107. Let g = -59 - m. Suppose -2 = -5*i - 4*f - 36, -7 = i + f. Which is smaller: i or g?
i
Let l = -11 + 10. Let j = l + -1. Let n be j - (123/63)/(-1). Is 1 less than n?
False
Suppose 0*p + 6*p = 6. Let k(o) = -o**3 - o**2 + 2*o - 1. Let i be k(p). Let s be i - (-1 - (-8 + 0)). Is -8 > s?
False
Let m(w) = -2*w**3 - 5*w**2 + 3. Let v be m(-1). Let n be (-4)/14 - 135/(-350). Let y = n - -7/10. Is y greater than v?
True
Let l be 23*(2 - 3) - 1. Let d be (-31)/15 + 8/l. Suppose 0*k + 27 = -9*k. Is k > d?
False
Let b be (65/(-42))/(-5) + (-43)/86. Suppose 0*x = 4*x. Do x and b have the same value?
False
Suppose 7*x = 5*x, 4*x + 207 = -3*s. Let n = s + 69. Are n and 12/11 equal?
False
Let u be (-4)/(-14) + (434/(-147) - -2). Is u smaller than 7?
True
Let o(j) = 4 - 18*j - 14 - 19*j**2 + 34*j**2 - j**3 - 6. Let k be o(13). Do k and 88 have the same value?
True
Let d = -9103/7695 - -89/81. Which is smaller: 1 or d?
d
Suppose q - 7 = 1. Suppose -4*c + 24 = -8. Is q equal to c?
True
Let t be (-582)/594 + -2 - -3. Which is greater: t or 0?
t
Let h = 1772/5 - 354. Let y = 0.21 + -9.21. Which is smaller: h or y?
y
Let k = -0.23 + -0.67. Let u = -2.9 - k. Let m = u + 3. Which is bigger: -0.2 or m?
m
Let t be 6 + ((-8)/4 - -2). Suppose t*i - i + 20 = 0. Let s be 1/i*20/(-15). Is s equal to 0?
False
Let h be -1 - (-15)/(-111)*114/(-15). Are 1 and h equal?
False
Let z be (-66)/(-140) - 4/10. Let l be (-10 + 624/63)/(32/66). Let a = z + l. Which is smaller: a or 0?
a
Let g = 134 - 537/4. Which is greater: 37/6 or g?
37/6
Let w = -3/403 - -2451/4433. Suppose i = -i - 2*p + 8, -2*i - 4*p + 14 = 0. Which is smaller: i or w?
w
Suppose -2*s = o - 15, 0 = -4*s - o - 17 + 52. Let i(t) = -3*t**2 - 2*t + 15. Let z be i(s). Let u = 2741/9 + z. Which is smaller: -1 or u?
-1
Suppose 4*l + 36 = -2*l. Let d = 26 - 33. Which is greater: d or l?
l
Let j(d) = 7*d - 10. Let u be j(8). Which is smaller: 50 or u?
u
Let y(p) = -4*p**2 - 37*p + 24. Let s be y(-10). Which is smaller: s or -18?
-18
Let u = 446 - 423. Let a(n) = n**2 - 2*n - 2. Let o be a(-4). Is o >= u?
False
Let i be -2 + 1 + 4 + 4/(-2). Let o be (1 + (-3 - -2))/1. Is o less than i?
True
Let x be (4 - 3) + 3 + -1. Let b = 22806 - 159630/7. Which is bigger: b or x?
x
Let z = -20687829/451 - -45871. Which is bigger: -1 or z?
z
Let o = 726 + -776. Is o > -48?
False
Let l = 2/2301 + -39133/18408. Which is greater: -3 or l?
l
Let w = 35338/39 + -906. Is w > 1?
False
Let k = 2003/13 + -154. Which is bigger: k or -1?
k
Let i be (204/(-170))/(2/(-790)). Is i >= 474?
True
Suppose -26*l - 29 = 231. Which is smaller: -2 or l?
l
Suppose -c + 2 = 0, 55*p - 60*p = c - 67. Is p < 18?
True
Let f = 4 - 5. Let t = -483 - -485. Which is bigger: t or f?
t
Let j = -319 + 474. Which is bigger: 154 or j?
j
Let u be (63/(-6))/7*12/(-30). Which is greater: u or 1/68?
u
Let q be (120/(-9))/(4/(-24)). Let o be ((-3)/1)/((-15)/q). Let p = o + -16. Is -0.3 bigger than p?
False
Let q be (1051161/4)/((-156321)/108). Let u = q + 20/1579. Let y = -182 - u. Is y greater than -1?
True
Suppose 0 = -3*s + 5*w - 14, 0 = s + 3*s - 4*w + 8. Suppose -12 + 14 = -s*o. Let u = 119/5 - 24. Which is smaller: o o