ive of -j**5/20 + 11*j**4/12 - 11*j**3/6 + 9*j**2/2 + 4*j. Let i be x(10). Which is smaller: 2/25 or i?
i
Let w = -6 - -5. Let h be 115/20 + w/(-4). Do 6 and h have different values?
False
Suppose 4*u + 23 = 5*s, -2*s + 2*u + 23 = 5*u. Let n = 8 + -2. Which is smaller: n or s?
n
Let v be ((-12)/7)/(8/(-28)). Is 8 < v?
False
Suppose -2*n = -3*n + 1. Let g be (-63)/(-12) + n/(-4). Let f be g*(-6)/(-10)*-1. Which is smaller: 1/4 or f?
f
Let o be 4/(-18) - -2*(-2)/144. Let m = 3 + -4. Let n(v) = -2*v - 1. Let t be n(m). Does t = o?
False
Let o = 380/7 - 54. Let i = 10 + -10.2. Let q = i - 0. Which is smaller: q or o?
q
Let o = -45989/146 - -315. Which is greater: -1 or o?
o
Let p(g) = -g**3 - 3*g**2 - 5*g - 2. Let q(j) = -2*j**3 - 5*j**2 - 9*j - 4. Let t(o) = -11*p(o) + 6*q(o). Let s be t(3). Which is smaller: 2/19 or s?
2/19
Let v(p) = p**3 + 3*p**2 - p - 4. Let j be v(-3). Let x(k) = -k**3 - 9*k**2 - 8*k - 6. Let g be x(-8). Let a be ((-2)/(-2))/(9/g). Which is smaller: j or a?
j
Suppose 13*m + 1128 = 9*m. Let c = m + 2823/10. Which is smaller: -1 or c?
-1
Let p = -14 + 9. Let o be p/4*(-2)/10. Let q be 3/((-15)/(-2))*1. Which is bigger: o or q?
q
Let f = 1031303/1619370 + -2/161937. Let k = 14/19 - f. Which is bigger: k or 0?
k
Let t be 5/10 - (0 + 1). Is 1/5 at most as big as t?
False
Let l = 3 - 3. Suppose 2*f = -u - 2, 3*f = -l*u - u - 2. Suppose 3*m + 5*p - 4 = f, -4*m = 3*p - 3 + 5. Which is bigger: m or -1?
-1
Suppose -106 = 5*j + p + 113, -177 = 4*j - p. Let l be 2/(-3) - j/(-6). Let i be (3/(-4))/((-2)/l). Which is smaller: i or -2?
i
Let n = -158/3 + 52. Which is smaller: -2 or n?
-2
Let o = -9 + 9.04. Let x = o + -2.04. Let p = -6 + 2. Which is bigger: x or p?
x
Suppose 0 = -4*m - 0*m + 312. Let b = 0 - -2. Let i be b/(-6) + 14/m. Which is greater: i or 2/5?
2/5
Suppose 0*f + 2 = -2*f, -4*z = -2*f + 2. Let l = 25/144 + -1/144. Is z <= l?
True
Let t = 50 - 51.6. Is -0.1 < t?
False
Let i = -116 + 116.06. Which is smaller: 0.2 or i?
i
Suppose 0 = z + z - 18. Let s(j) = -j + 5. Let p be s(z). Are -5 and p equal?
False
Let b(f) = -2*f + 4. Let k be b(7). Which is smaller: -21/2 or k?
-21/2
Let q = 1 - -2. Suppose q*f - 4*f = 0. Which is greater: f or 1?
1
Suppose -3*t - 14 + 44 = 0. Let q be (t/3)/((-4)/12). Is q less than or equal to -12?
False
Let y = 4 - -1. Let d(v) = -v + 4. Let q be d(2). Let h be (-2 - 0)*q/(-1). Is y > h?
True
Let b = 2 + -1. Suppose -1 = -a, -2*f = 2*a - 5 - b. Suppose 7 - f = n. Is n bigger than 5?
False
Let c = -7 + 7.3. Let f = -0.7 - c. Is -0.2 not equal to f?
True
Suppose 0 = -4*z + 4*m - 4, m - 5*m + 5 = -5*z. Which is greater: z or -2?
z
Let a(m) = -m - 8. Let d be a(-6). Let b(g) = -g**3 + 8*g**2 - 16*g + 2. Let r be b(4). Which is smaller: d or r?
d
Let h = -8.9 + 9. Are h and 15 nonequal?
True
Let m = -8.6 + 8.77. Which is greater: m or 0.2?
0.2
Let x = 43 - 39. Which is greater: 5/2 or x?
x
Let x be 0 - (-2 + -1 + 1). Suppose -s - 5*l = 12, 4*s + x*l = 2*s. Let d = 0 + s. Which is greater: d or 0.1?
d
Let d be 11/6 + 2/12. Let r be (-46)/22 + 0 + d. Which is bigger: -1 or r?
r
Let i = 58.3 + -58.37. Let f = -15 + 76/5. Which is greater: i or f?
f
Let c = 3 - 3.1. Let d = -9 - -10.5. Let k = -1.2 + d. Which is greater: c or k?
k
Let d be ((-10)/15)/(4/(-18)). Let u = d - 3. Suppose -3*c = -5*z - 25, -3*c + 8 - 1 = 4*z. Which is bigger: u or z?
u
Let o = 179.8 + -180. Which is smaller: 42 or o?
o
Suppose 0 = w + 4*s - 16, -2*s + 25 = 3*s. Let y = 3 + -1. Let a = y + w. Which is greater: a or -3?
a
Let t(z) = 2*z**2 + 10*z - 2. Let d(q) = -q**2 - 9*q + 1. Let x(r) = -3*d(r) - 2*t(r). Let u be x(7). Which is smaller: 1/2 or u?
1/2
Let t = 5.13 + -0.13. Let w = -1.4 + 1.4. Which is smaller: w or t?
w
Let j(r) = r - 5. Let p be j(-4). Let f be ((-3)/p)/(21/(-54)). Are 0 and f unequal?
True
Suppose 2*g + 5*k - k = -94, 26 = -g + 5*k. Let h = -163/4 - g. Which is smaller: h or 1?
h
Let t = -1/137 + 455/6028. Is -1 >= t?
False
Let s be ((-4 - -1) + 3)/(2 + -5). Which is bigger: s or -11/9?
s
Let q = -21.973 - 0.027. Let t = 22 + q. Which is greater: t or -21?
t
Suppose -6*k - 3 = -3*k. Let m be 3 + 4*(-36)/44. Is m less than or equal to k?
False
Let s be 9/(-15)*4/114. Which is bigger: s or 1?
1
Suppose -2*l + 9 = 3*o - 0*l, 0 = 4*o + 4*l - 16. Let j be ((-2)/(-10))/(8/15). Is j < o?
True
Let x be 74/24 - 12/(-6 + 10). Which is bigger: x or 0?
x
Suppose 0 = 2*y - 4*y. Suppose 0 = -u - y + 1. Which is greater: u or 4?
4
Suppose -95*i + 90*i + 195 = 0. Are i and 39 equal?
True
Let i = 992 + -24803/25. Which is bigger: i or 0?
0
Let k be (12/(-30))/((-3)/180). Which is bigger: 25 or k?
25
Let r = 6/7 - -29/56. Let h = r - 17/24. Let j = -4 + 6. Is h less than j?
True
Let t = -493/712 - -6/89. Which is bigger: -1 or t?
t
Suppose 5*v + 5*y - 1 + 16 = 0, -8 = 2*v + y. Let g be 0 - -1 - (v + 4). Let i be 4/(2/(-1)) - -2. Which is greater: i or g?
g
Suppose 0 = -2*g - y - 3*y - 20, 4*g + 4*y = -20. Which is smaller: g or 14/15?
g
Let h be 3/(-9) + 10/3. Let p be ((-20)/h)/5 + 1. Let r be 3/(-6) - 2/(-4). Which is bigger: r or p?
r
Let i = 0.5 + -0.6. Let m = 0.01 - 0.03. Let y = m + 1.02. Is y < i?
False
Let x = 7 + -8. Let g be (-97)/2 - (-1)/(-3). Let m = g + 49. Which is smaller: x or m?
x
Suppose 2*s = -11*s - 741. Which is smaller: s or -58?
-58
Let x be 17/3 + (-12)/18. Let n be 1014/1590 - 3/x. Let i = n - -41/318. Does i = -2/5?
False
Let d be (-6)/(-10) + (-12)/(-30). Suppose 6 = -w + 2. Is w > d?
False
Let s = -27 + 50. Let v = s + -11. Let d be (-1)/(-3) - v/27. Does d = 0?
False
Suppose 0 = 2*t - 3*b - 6, t + b - 4*b - 6 = 0. Which is bigger: t or 2/3?
2/3
Let s(i) = -i**3 + 16*i**2 - i + 13. Suppose -4*u - 3*c = -67, -11 - 7 = -u - 2*c. Let p be s(u). Which is bigger: -6 or p?
p
Let x = -39.77 + 40. Let z = 0.02 - 0.05. Let s = x + z. Is s < -2/5?
False
Let a(l) = l**3 + 4*l**2 + 2*l - 1. Let c be a(-2). Let v be 2/c - 0/1. Is 1 less than v?
False
Let q(v) = -v - 8. Let n be q(-5). Let p be (-1)/(-3)*(3 - n). Is p at most as big as 2?
True
Let t = -0.041 + 0.241. Which is greater: 32 or t?
32
Suppose -3*s - 2 = w + 50, 0 = 2*s + 8. Is -39 >= w?
True
Let d = -5 + 7. Let h(u) = -u**2 + 8*u - 5. Let a be h(7). Suppose -2*z - 12 = -4*t, a*t - t - 3 = -3*z. Which is bigger: t or d?
t
Suppose -5*w - 124 = 11. Let o be 1 + 48/w + 1. Let z be 0 + ((-3)/(-3))/1. Is o bigger than z?
False
Let s = -44.9 + 49. Let z = 0.2 - -3.8. Let i = z - s. Are i and -1/8 non-equal?
True
Let v = -85 + 85.3. Are 4 and v nonequal?
True
Suppose r - u + 19 = -3*r, -r + u = 1. Let a = r - -10. Suppose 4*x = -a*b - 16, -7*x + 3*x - 20 = 0. Which is smaller: -2/9 or b?
-2/9
Let p = -6.2 + 0.15. Let z = -6 - p. Is z at most 0?
False
Let i = 11 + -30. Is i less than or equal to -19?
True
Let s = -6 + 11. Let u = 129/35 + -23/7. Which is greater: s or u?
s
Let v = -3030 - -33438/11. Which is bigger: v or 11?
11
Suppose -2*j + 4*j + 4*y = -4, -2*j = y + 1. Let g be (-32)/(-48) - (-22)/(-6). Is g at least as big as j?
False
Suppose -2*l = 3*l - 4*f - 23, -5*l + 5*f + 20 = 0. Let j be 0*(-3 + l/2). Which is greater: -2/29 or j?
j
Suppose -4*c - 38 = -2. Which is bigger: c or -26/3?
-26/3
Suppose -i - 3*i + 3*m = 1, -2*m = 2*i - 10. Let h be ((-6)/(-8))/(i/8). Let z(b) = b**2 - 3*b. Let v be z(h). Is v greater than -1?
True
Let t = -133 - -3323/25. Is 0 greater than t?
True
Let f be 3/(48/(-20))*1. Which is greater: f or -1?
-1
Let m = 0.14 - 1.14. Which is smaller: m or 12?
m
Let p be 1*3/(-78)*1. Let k = -46/13 - p. Let c = -3 - k. Are 2 and c nonequal?
True
Let c = 13 - 7. Suppose -5*y - 4*n = -c*n + 2, 2*n + 6 = y. Is -1 equal to y?
False
Let j be ((-9)/(-27))/((-1)/6). Is j at most -14/9?
True
Let v(f) = -8 + 2*f + 0*f - 2*f - f. Let j be v(-8). Is 1 != j?
True
Let w = 100 - 110. Which is smaller: w or -6?
w
Let d = -27/2 + 13. Suppose -4*g + u + 85 = -4*u, u + 5 = 0. Let r = 15 - g. Is r < d?
False
Let b = -10.03 - -0.03. Let x = b - -10. Which is smaller: x or 0.5?
x
Let p = -214/3 - -72. Are p and 3/4 unequal?
True
Let f(d) = -4*d**3 - 4*d**2 + 6*d + 12. Let b(p) = -p**3 + p**2 - p + 1. Let a(j) = -3*b(j) + f(j). Let x be a(-8). Do 3 and x have the same value?
False
Suppose -o + 2 = 0, 2*o - 18 = 3*k - o. Let b be k/6*18/6. Let z = 