 - x - 8. Let r be s(q). Is -0.2 smaller than r?
True
Let s = -39 - -46. Which is smaller: 1/5 or s?
1/5
Let y(f) = -2*f - 17. Let o be y(-9). Is -2/195 < o?
True
Let j(k) = -2*k + 4. Let y(v) = 5*v - 12. Let z(i) = -8*j(i) - 3*y(i). Let r be z(-4). Which is smaller: 5/7 or r?
r
Let h = -0.2 - 9.9. Let w = h + 10. Is -2/25 greater than w?
True
Let a = 6 - 4. Is 4 less than a?
False
Suppose -4 = -5*f - 64. Is f <= -9?
True
Let h(w) = 5*w - 26. Let s be h(5). Which is smaller: 4/19 or s?
s
Suppose 4*k + 8 = -4. Let r(i) = -i**3 - 7*i**2 - 6*i + 4. Let w(n) = -n**2 - n + 1. Let t(u) = r(u) - 3*w(u). Let d be t(k). Are -2/5 and d non-equal?
True
Let s = -39/16 - 21/16. Is -5 at least as big as s?
False
Let x be (-3)/((-5)/(120/(-9))). Is x not equal to -5?
True
Let x(o) = -o**3 - 13*o**2 - 5*o - 8. Let r be x(-9). Let m = r + 197. Let i be 2/8 + m/40. Do -3 and i have different values?
True
Let y = -3 + 3. Let i = 2 + y. Let t = -2.1 + i. Which is smaller: t or -2/7?
-2/7
Let k be (4 + -5)*(1 - -2). Let i be 482/(-10)*12/k. Let q = 194 - i. Is 2 at least q?
True
Suppose -8 = -3*j - j. Let o(p) = p**j - 10 - p + 0*p - 7*p. Let y be o(9). Does 1/7 = y?
False
Suppose 4*o - 5*n + 8 = 5*o, -4*o + 13 = n. Suppose -6*q - 5 = -3*q + 2*i, 3*q + 4*i + 13 = 0. Which is smaller: o or q?
q
Let s = -21 + 20.2. Let z = 0.93 + s. Which is smaller: -0.1 or z?
-0.1
Let n = 2/4301 - -163428/21505. Which is greater: n or 9?
9
Let f = 8 - 102/13. Are 1 and f nonequal?
True
Let o = 32 + -22. Suppose -4*s = -9*s + o. Let u = -0.012 - -0.012. Which is bigger: s or u?
s
Let x = 7 - 27/4. Let i = 0.63 + -0.6. Which is smaller: x or i?
i
Let h(l) = -3*l**2 - 4*l. Let p(g) = -7*g**2 - 8*g - 1. Let w(u) = 9*h(u) - 4*p(u). Let f be w(3). Let i be 2 + (-8)/2 - -4. Which is smaller: f or i?
f
Let g = -1 - -1. Let y be 9/6*(-1 - 15/(-18)). Is g at most y?
False
Let i(l) = -l**3 - 8*l**2 + l + 6. Let m be i(-8). Let x be (m/8)/(14/140). Which is smaller: x or -3?
-3
Let b(o) = o**3 + o**2 + 4. Let z be b(0). Suppose 5*h + 4*n + 30 = -n, -z*n = 0. Let d be 0/2*h/(-12). Which is greater: d or -2?
d
Suppose 4*r - 2*r - 80 = 0. Suppose 0*c = 3*j - 3*c + 12, r = -4*j - 2*c. Which is smaller: j or -7?
j
Let i = -642/35 + 134/7. Let v = -0.16 + 0.06. Which is smaller: i or v?
v
Let q = 0.247 - 0.047. Which is smaller: q or -0.08?
-0.08
Let w be ((-1)/2)/((-2)/(-1)). Let v = -5 - -5. Let g = 0.1 + v. Which is bigger: g or w?
g
Let p = 34 - 34.1. Which is greater: 14 or p?
14
Suppose 7*a - 24 - 53 = 0. Which is smaller: a or -1?
-1
Let d be (-3)/(-12) - 11/(-4). Let k be (0 + 3/(-6))*-2. Is d >= k?
True
Let h = 52 + -37. Let u be -1*(4 + h/(-9)). Is -3 > u?
False
Let k = 17 + -17. Is k at most as big as 16?
True
Let f be (24/15)/(6/15). Let m be (0 + 1)*(-6 + f). Suppose -17 = 5*g + 2*x, -2 = -g - 0*x + 5*x. Is g greater than m?
False
Suppose -2*f = -4*f + 880. Let g = 8358/19 - f. Does -1 = g?
False
Let d be (-4)/(-4) + 1 + 0. Which is smaller: 4/5 or d?
4/5
Suppose h = 3*d + 7, 2*d - 5*h + 0*h + 22 = 0. Let y = 1/103 + 99/412. Is y greater than or equal to d?
True
Suppose -12 = 4*m - 7*m. Suppose 0 = m*d, -6*n + 5*d = -3*n - 6. Let b be 1/n - 13/18. Which is bigger: -1/2 or b?
b
Suppose -r + 1 = -0. Which is smaller: -1 or r?
-1
Let c = -0.5 + 0.7. Let u = c + -0.07. Do 0 and u have different values?
True
Let p = -41539/15 + 7976/3. Let y = -112 - p. Which is bigger: y or -2?
y
Suppose -o - 32 = -3*o. Let g be o/24*(-30)/4. Is g at most -7?
False
Let q = -0.07 + 0.17. Does 2 = q?
False
Let o = 0.1 - 0.1. Let l = -36 - -35.9. Is l less than o?
True
Let w = 10 - 16. Which is smaller: w or -1/2?
w
Let t = 8 - 5. Let i(j) = -j**3 + 2*j**2 + 3*j - 1. Let a be i(t). Let g = 3.2 - 3. Is g >= a?
True
Let x be (-42)/(-8) + 3/(-12). Suppose 67 = 3*g - z, x*z + 11 + 12 = 2*g. Let w be (g/9)/((-2)/(-3)). Which is bigger: 5/2 or w?
w
Let j be (-3 + 2)*2/(-7). Let b be -2 - (-4 - 0/(-4)). Is b less than j?
False
Let k = -1/50 - -27/100. Is k <= -1?
False
Suppose -3*s = 2*s + 15, -n - 2*s = 6. Suppose n*z - 2*z + y = 0, 4*y = 2*z. Which is smaller: z or 1?
z
Let p(h) = -11*h - 2. Let s(y) = -y**3 + 10*y**2 - 10*y + 7. Let m be s(9). Let r be p(m). Suppose -r = 9*c - 4*c. Is c at least as big as -4?
True
Suppose -10*h - 3 = 7. Is h equal to -3/7?
False
Let f be ((-1172)/(-12) - 3)/2. Let i = -47 + f. Does i = 2?
False
Suppose 5 - 15 = -5*a. Suppose -a*u + 6*u = 4. Which is smaller: 2/15 or u?
2/15
Suppose -d - 24 = -0*d. Let m be 7/(-7) + -1 + d. Let y = m + 103/4. Is y at least 0?
False
Let d be (0 + -9)*(-2 - -1). Is 10 at least as big as d?
True
Let u be (-2)/(-2) - (238/231)/1. Are u and 1 nonequal?
True
Suppose -8*q - 11 = -9*q. Suppose -20 = -d + 4*b, q = -d + 3*b + 28. Is 8 smaller than d?
False
Suppose -3*k - 5*j = k - 171, j = -4*k + 159. Let m be (-18)/117 - 137/k. Are m and -3 equal?
False
Let f = -9/7 + 5/7. Let s be (-2)/4*(2 + 0). Are f and s non-equal?
True
Suppose 0 = -2*d + d + 30. Let u be (4/(-10))/((-3)/d). Suppose -2*f - 2*c = u - 0, -f - 10 = -3*c. Is f bigger than -3?
False
Let k = 1/6 + 1/6. Let w be (2/3)/(1/(-3)). Let n = -1 - w. Which is smaller: n or k?
k
Let i(z) = -z + 26. Let c be i(18). Which is smaller: 7 or c?
7
Let l be 4 - (-3 + 199/28). Which is greater: l or -1?
l
Let u = 18 + -9. Suppose 35 = -4*w - u. Let l = w - -4. Which is greater: l or -6?
-6
Suppose -c + 5 = 4. Let k be 6/9*-3 + c. Is k less than or equal to 1?
True
Let g = 23 + -17. Suppose -12 = -2*r + g*r - 4*o, 4*r - 3 = o. Let i be (-2)/8 + 10/8. Which is smaller: r or i?
i
Let k be (12/30)/((-6)/(-5)). Let m = -0.2 - 0. Let d = -0.1 - m. Which is smaller: d or k?
d
Let m = 49/106 + 2/53. Is -0.077 equal to m?
False
Suppose 3*d + 0*a - a = -9, -a = -5*d - 17. Let o = d - -5. Which is greater: o or 4/7?
o
Let t be (-48)/32*2/(-3). Is -1/9 at most as big as t?
True
Let m be -25 + (2/4 - (-12)/8). Is m <= -23?
True
Let p(z) = -5*z - 68. Let q be p(-13). Is q > 0.5?
False
Suppose -5*u + 3 = z, 0 = 2*z - 5*u + 4*u - 28. Suppose 0*x = -5*x + 4*t + 7, 0 = -x - 4*t - z. Which is smaller: 0 or x?
x
Suppose -5*l - 48 = 3*l. Is 2 at most l?
False
Let a be (196/(-42))/((-16)/(-42)). Which is smaller: -11 or a?
a
Let r = -1.8 - -0.5. Let u = -1.5 - r. Is -0.5 greater than u?
False
Let k = 2 - -1. Suppose 9*d - 4*d - 40 = -k*c, -5*d - 120 = -5*c. Suppose -f - 5 = 5*l - 0*f, 3*l + 4*f = -c. Do 1/3 and l have the same value?
False
Let m = 274817 - 6330108/23. Let u = -405 - m. Which is greater: 1 or u?
1
Let n be -1 + 2 + -2 + 3. Suppose -2*r + 8 = 0, 11 = -a - n*r + 5*r. Let v be -1 + (27/12 - a). Is v <= 1?
True
Suppose 0 = -3*h + 5*h - 16. Let d(o) = -o**2 + 9*o - 10. Let b be d(h). Do b and -4/5 have the same value?
False
Let m = -7.1 + 7. Let y(w) = -w - 10. Let a be y(-8). Let z be ((-1)/(-6)*a)/(-1). Is m at least z?
False
Let v = -598 - -43655/73. Is -1 greater than v?
False
Let s = 4/29 + -43/522. Does s = 0?
False
Let d = 0.04 - -1.46. Let x = d + -1.8. Is x greater than 0?
False
Suppose -u + 0*u = 4644. Let l = u + 264697/57. Let v = l - -10/19. Is v > 2/11?
True
Let b = -11 - -15. Suppose 3*g + 16 = b*j, -5*j - 5*g = -2*g - 20. Let h = 3 - j. Which is smaller: h or -3?
-3
Let u = -3 - -6. Suppose 2*v = 4 - 0. Is v != u?
True
Let p = 0.1 - -0.1. Let g = 0 + -2. Let l = 2 + g. Which is bigger: l or p?
p
Suppose -4*v + 3*z - 8 = 0, 5*v - 9*z + 15 = -4*z. Which is bigger: v or 2/5?
v
Let c be (-1)/2 + 36/56. Are -1 and c unequal?
True
Let z = -9 + 8.9. Let l = z - -0.2. Which is smaller: -0.07 or l?
-0.07
Let r = -18 + 19. Are -1/76 and r non-equal?
True
Let c = -17 + 18. Let b be (4 - 3/c)*-6. Which is smaller: -5 or b?
b
Let k = -141 + 212. Let w = k - 496/7. Are w and -1 unequal?
True
Suppose 0*b - 2*b - 2*d + 14 = 0, 0 = -3*b - d + 13. Suppose 4*w + 7 = -b*z - 12, -5*z - 4*w - 21 = 0. Which is bigger: z or 1?
1
Let x = -13/150 - 1/150. Let f = 121/225 + x. Is -1 at most as big as f?
True
Let g(z) = -z**3 - 9*z**2 - 9*z - 9. Let i be g(-8). Let k be i + 1 + (-1)/7. Suppose -2*u = -3*u. Is k < u?
True
Let b be (-4)/(-8)*(-4)/(-8). Which is bigger: -8/9 or b?
b
Let m be (2 - 2)/(-1*1). Suppose 0 = -3*w + 8 - 11. Let v be (-3 - m)/3*w. Is -1 at least as big as v?
False
Suppose 18 = 5*u - 7. Suppose 2*m = u*