 Let m be v(h). Suppose -m*b = b. Which is smaller: -2/9 or b?
-2/9
Suppose -4*n - 26 + 6 = 0. Let q(w) = w**3 + 6*w**2 + 3*w - 2. Let d be q(n). Suppose 4 = 4*o - d. Which is smaller: 0 or o?
0
Suppose 103*k - 105*k + 4 = 0. Suppose 4*o - 6 = 3*z + 7, -5*o + z + 19 = 0. Which is smaller: o or k?
k
Let c = 3.4238 + 0.0762. Is c at most -3?
False
Let n = -66779/84 + 795. Is n at most 1?
True
Let r be ((-714)/20 - 8/10)*1. Which is smaller: -37 or r?
-37
Let x(g) = g - 25. Let m be x(6). Which is bigger: -0.1 or m?
-0.1
Let v = -1730207/231 - -82670/11. Let z = -77/3 + v. Which is bigger: z or 0?
0
Let d = 112 + -111.31. Let u = d + -0.99. Is 7 at least as big as u?
True
Let w = -4177/2958 + 1/2958. Which is smaller: -1 or w?
w
Suppose -23 - 61 = 7*n. Suppose -z - 56 = 3*z. Which is greater: n or z?
n
Let j(q) be the first derivative of -3*q**2 - q - 2. Let b be j(0). Which is smaller: b or 1/69?
b
Suppose 3*s - 1 = -5*j, 2*s - 5 = -3*j - 2*s. Let g = 0 - j. Which is bigger: g or -1/32?
g
Let u = 0.1 + -0.09. Let y = 374 + -370.99. Let i = y - u. Is 0 at most as big as i?
True
Let r be (-1 + -5)/(0 + -1). Let q be ((-24)/(-28))/3 - (-288)/21. Suppose 0 = 5*f - 6 - q. Is r > f?
True
Let t(w) = -w**2 - 3*w - 2. Let d be t(-2). Let u be (-230)/50 + 6 + -1 + 0. Is u != d?
True
Suppose 0 = 5*o - 5*w - 5, 2*o + 4*w + 2 = -2. Suppose 4*r + o = -12. Which is greater: -4 or r?
r
Let n be -6*((2 - -9) + -6 + 2). Are n and 9/2 nonequal?
True
Let h(i) = -i**3 + 2*i**2 + 3*i. Let x be h(3). Suppose x = 5*w - 60 + 5. Let b be (-8)/w*5/20. Which is smaller: -1/5 or b?
-1/5
Let g = 1221 + -8529/7. Let p = -1361/532 + g. Which is greater: -1 or p?
p
Let r = -12 - -14. Let i be r/12*24/16. Which is bigger: -11 or i?
i
Let t = -0.0526 - 7.9474. Let q = 0.4 - 0.2. Is t greater than q?
False
Let u = 9/655 - -291439/2620. Let l = u - 111. Is -2 smaller than l?
True
Suppose 0 = 5*x + 2*v - 14 - 48, -3*x - 3*v = -39. Let b = x - 9. Let p = 1.02 + -0.02. Which is smaller: b or p?
p
Let a be (2/14*-2)/(-1). Let m = -260 + 1549/6. Let k = m - -13/6. Is k != a?
True
Suppose n + 16 = 4*p, 6*n - 3*n + 4*p - 16 = 0. Suppose n = -2*g - g + 15. Which is bigger: g or 3?
g
Let d = 54 - 268/5. Is 8 greater than or equal to d?
True
Suppose 0 = 4*s + 4*l - 8 - 20, -5 = -2*s + l. Which is smaller: s or 84/25?
84/25
Let r = -161 + 160.9. Which is greater: r or 48?
48
Let d = 2.6643 + 0.3357. Let z(h) = h**3 + 6*h**2 + 5*h + 2. Let t be z(-5). Which is smaller: t or d?
t
Let j be (-4)/3 + 780/(-9). Let y = j + 71. Is -15 bigger than y?
True
Let l be (-12 - (-540)/35)*14/(-2). Is -127/5 at least as big as l?
False
Suppose 0*p - 16*p + 592 = 0. Are p and 73/2 nonequal?
True
Suppose 3*y = 2*y - 17. Let d = y + 16. Let x(i) = -i - 5. Let u be x(-6). Do d and u have different values?
True
Suppose -3*k = 4*z, z = -5*k - 3*z. Which is greater: 30/203 or k?
30/203
Let b(d) = -d + 13. Let k be b(14). Let c = 4 + k. Suppose s = -c*s + 56. Which is greater: s or 13?
s
Let t be -3*4/(16/4). Let j be (1 - 16)/(t/6). Let c = -32 + j. Are c and -14/9 unequal?
True
Let t be 0 + 78*65 + (5 - 2). Let a be -1 - t/(-4329) - (-4)/(-26). Which is bigger: -1 or a?
a
Suppose 4*n = 117*i - 113*i + 388, 0 = -3*n - i + 311. Are 103 and n nonequal?
True
Let o(c) = -c**3 - 6*c**2 - 4*c - 9. Let b be o(-6). Let v be ((-6)/b)/(16/40). Which is greater: v or 1/27?
1/27
Let u be ((-2)/3)/(((-52)/(-270))/(-13)). Is 48 greater than or equal to u?
True
Let q = -246 - -241. Is -6 at most q?
True
Let m(u) = -1 - 6 + 3 - 3 - 5*u. Let n be m(2). Does n = -16?
False
Let o = 6.2 - 28.8. Let h = o - -23. Is h greater than -2?
True
Let j(s) = 4*s**2 + 12*s + 14. Let l be j(-3). Is 14 >= l?
True
Let v(u) = u - 2. Let s be v(2). Let c(g) = 2*g + s*g - 2*g - 3*g + 2 + g**3 - g**2. Let k be c(2). Which is greater: -1 or k?
k
Let a(m) = m**2 + 2*m - 7. Let s be a(-3). Let f be s/(-1)*(-3)/(-6). Suppose 6*l - f*l = -28. Is 0 greater than l?
True
Let u be (-6)/9*1650/(-80)*16. Do 220 and u have the same value?
True
Let j = -4063541/35 + 116089. Let b = 409/13 - 1719/91. Let d = b + j. Is 2/15 smaller than d?
True
Suppose 95*q - 100*q + u + 228 = 0, -2*q + 5*u = -105. Is q > 137/3?
False
Let t(q) = 2*q**3 - 2*q**2 + 11. Let s be t(0). Let k be (-3)/(-9)*0 + -14. Let r = s + k. Which is bigger: -4 or r?
r
Suppose 2*f - 350 = -2*i, f - 881 = -5*i + 2*f. Suppose 4*y = 4*n - i, -3*y = 2*y. Let a be 24/(-22)*(-11)/n. Is -1 > a?
False
Let a(n) = -4*n**2 - 35*n - 169. Let k be a(-6). Which is greater: k or -4?
-4
Let n = -90.6 + 88.6. Are 18 and n unequal?
True
Let j = 63 + -14. Let p = j - 48. Is 8/5 smaller than p?
False
Let y(b) be the second derivative of -b**5/20 - 7*b**4/12 - 5*b**3/6 + 13*b. Let q be y(-6). Let n be (-1)/q - (-493)/(-1734). Is n not equal to -1?
True
Let q = 0 - 128. Let t = q + 137. Is t at most as big as 6?
False
Let n = 609 - 610. Which is greater: -30 or n?
n
Let d(y) = -y**3 - 12*y**2 + y + 32. Let z be d(-5). Which is smaller: z or -146?
z
Let o = -3.1 - -3. Let p = -2/521 - 9895/1042. Let i = -10 - p. Is o less than i?
False
Let t be (132 + -1 + -1)*(-13 + 14). Suppose 5*i - t = 5*a, 2*i = -0*a + 3*a + 56. Are 22 and i equal?
True
Let x = 388 + -123. Let k be ((-4)/x)/((-2)/(-5)). Suppose -5*r = -3*y - 23, 3*r - 13 = 3*y + 2. Is k at most y?
False
Suppose -3*d = -t + 4*t, -4*t = 2*d - 2. Let s be -4 - 3/((-6)/938). Let m = s - 3264/7. Which is greater: d or m?
d
Let b(k) = -5*k + 25. Let x be b(4). Suppose v + 24 - 85 = -5*j, 0 = -x*v + 5. Is 11 < j?
True
Suppose -12*n - 417 = -6093. Is n at most as big as 472?
False
Let m(a) = -a**3 - 5*a**2 - 2*a + 4. Let b be (-84)/21 + 1 + 0. Let f be m(b). Which is smaller: f or -7?
f
Let s(m) = m**3 - 10*m**2 + 4. Let d be s(10). Let l be (-4 - -2)/((-2)/d). Let i be -11 + 13 + (-1 - -1). Is i greater than l?
False
Let n be -7 + -2*(1 + 0). Suppose 8*j + 5 = 9*j. Suppose j*c = -37 - 8. Is c at most as big as n?
True
Let c(s) = -2*s**3 - 3*s**2 + s + 2. Let u be c(-2). Suppose 4*w + u = 3*w. Let r be (-7)/(-28) - 1/w. Which is smaller: r or 4/3?
r
Let t be (19 - 4/4)/(2/(-1)). Let l be (-112)/21*(-3)/(-2). Which is bigger: l or t?
l
Let i(v) = -3*v**3 - v**2 + 8*v - 37. Let m be i(4). Are -209 and m unequal?
True
Suppose 38 = 2*n + 5*z, -z - 1 + 5 = 0. Let i = n + -12. Is i at least as big as -17/4?
True
Let p be 30/(-10) + (0 - -17). Suppose -17*i + p*i = 0. Let r be 1 - (4/(-4) + i). Do -1/2 and r have the same value?
False
Let j = -0.258 + 0.168. Which is smaller: 3 or j?
j
Let a = -5.13 + 0.13. Let z = a - -16. Let o = -0.5 + 0.5. Which is smaller: o or z?
o
Let i = 1070 + -1217. Which is smaller: i or -146?
i
Let l = -16.5 - -40.5. Which is smaller: l or -2?
-2
Suppose -7*q - l - 60 = -4*q, 0 = 3*q - 3*l + 48. Which is bigger: -20 or q?
q
Suppose -8*v - 18 = -11*v. Let j be ((-15)/(-50))/(v/(-14)). Are j and -2 equal?
False
Let z(q) = 55*q**3 - 3*q**2 + 5*q - 2. Let i be z(1). Let d = i + -56. Is d equal to -9/7?
False
Let s = 49 - 42. Let j be (3 + 1)*(-7)/4. Let f = j + s. Which is smaller: 2/5 or f?
f
Let i be 4*2/6*693/1540. Is 3 less than i?
False
Let i(v) = 5*v**2 - 3*v - 3. Let o be i(3). Let t be ((-1)/72)/((-209)/o). Let m = 955/19608 - t. Is m at most as big as 0?
False
Suppose 0 = -2*t + 6, -4*p + 7*t - 15 = 2*t. Suppose -6*j - j + 28 = p. Is -21 < j?
True
Suppose 0 = -4*n + 4. Let z be -2 - (2 + -4 + 0). Let b be z/(-2) - (2 + -14 + 4). Is b at least n?
True
Suppose -3*v + 4*i + 39 = 0, -6 - 6 = 4*i. Suppose 2*j - 6*j = s - 30, -4*j - 2*s + 28 = 0. Which is smaller: j or v?
j
Let x(s) = s**3 - 8*s**2 - 10*s + 7. Let u be x(9). Let o be 8/2 + u/2. Let m be 2/o + 7/(-14). Which is bigger: m or 1?
1
Let q = -206597/2 + 76647219/742. Let m be 40/212*(-2)/5. Let r = q - m. Which is greater: -3 or r?
r
Let c = 80 - 115. Let k(f) = -f**2 + 20*f - 100. Let w be k(16). Which is bigger: w or c?
c
Let q = -31 + 48. Let y = q - 40. Let u = y - -32. Is u less than -1?
False
Let n be 34/(-15) - ((-370)/(-50) + -7). Which is bigger: -0.15 or n?
-0.15
Let c be (0 - 1/(-2))/47. Let m be 4/(-4)*(24/6)/(-4). Which is smaller: m or c?
c
Let s = -138 - -119. Let w = -24 + 6. Let f = w - s. Which is bigger: -0.07 or f?
f
Let r = -205 - 366. Which is smaller: -570 or r?
r
Let