*h = -5*z - 25, 3*z - 5*z = 5*h + 10. Suppose h*m - 2*m = f - 11, 3*f - 17 = -2*m. Let k be 9/15*f/(-9). Which is smaller: -2 or k?
-2
Let s be (0 - 2)*15/(-24). Let o = 3/2 - s. Which is smaller: -1 or o?
-1
Suppose -2*v = 1 - 5. Suppose 0 = -v*m + 3 + 1. Which is smaller: m or 1?
1
Let o be 0/(-5 + 1 - -2). Suppose 4*z = -2 - 2. Is z greater than o?
False
Let q(f) = 2*f**2 - 5*f**2 + f**2 + f**2 - 5*f - 3. Let k be q(-4). Is k < 6/7?
False
Let b(u) = -u**3 + 7*u**2 - 5*u - 4. Let z be b(6). Suppose 3*s - 145 = z*y, -4*y + 5 = y. Let m = -195/4 + s. Which is smaller: 0.04 or m?
0.04
Let f = 0.32 + 0.08. Is f bigger than 1/3?
True
Suppose -2*w + 3*t - 15 = 0, -w + 3*t = -2*t + 25. Suppose 0*z - z = w. Suppose z*b = 4*b + 24. Is b < 0?
True
Suppose -3*m + 2*m + 2 = 0. Is m < 12/11?
False
Let c(i) = -2*i + 3. Let m be c(2). Let z(y) = -y. Let j be z(-4). Let b(w) = w**3 - 5*w**2 + 5*w - 5. Let d be b(j). Is d smaller than m?
False
Let q = 6 + -6. Let y(g) = g**2 + g - 4. Let j be y(q). Which is bigger: j or -5?
j
Let s be (1/(-9))/((-4)/6). Let d be 24/16 + (-7)/(-2). Let f = 4 - d. Which is greater: s or f?
s
Let g(f) = f**3 - 3*f**2 + 2*f. Let o be g(2). Suppose o = 5*x - 0*x - 2*b - 41, 3*x - 5*b = 36. Is 17/3 at most as big as x?
True
Let k be -1 + (0/(-2))/(-10 + 11). Let c be (-2 + 2/2)*0. Suppose 3*y = q + 8 + 4, c = 4*q - y + 4. Which is smaller: k or q?
k
Let o = -34 - -33. Does o = 2?
False
Suppose -11*u - 4 = -15. Which is bigger: u or -15?
u
Let i = -11 + 16. Let z(r) = r. Let y be z(i). Is y bigger than 5?
False
Let h = 0.4 - 4.4. Which is smaller: h or -0.1?
h
Let u(s) = -s**2 + 4*s + 6. Let n be u(5). Suppose 8*r + 25 = 13*r. Suppose -r*v - n = -g + 2, 0 = -g - 3*v - 5. Does -2 = g?
True
Let p(y) be the second derivative of -y**4/12 + y**3/2 - y**2/2 + 2*y. Let u be p(3). Let k be (-6)/(-39) + 12/260. Is u bigger than k?
False
Let x be (-3)/(74/(-4) - -2). Let f be ((-1)/4*0)/(-2). Is x greater than or equal to f?
True
Let c = 5 + -5.4. Let f = 0.4 + c. Is -0.4 greater than f?
False
Let m = 5 - 7. Let y = m - -1.8. Let b = -0.16 - y. Which is greater: -0.1 or b?
b
Let z = -1109803/203 + 5467. Which is smaller: z or -1?
-1
Suppose -4*l + 6*l - 22 = 0. Which is bigger: l or 14?
14
Suppose 5*s + 25 = 0, 1 + 0 = u + 2*s. Which is bigger: -6 or u?
u
Let p(h) = h**3 + 5*h**2 - 2*h - 6. Let c be p(-5). Let q be -1 + 1 + (c - -1). Suppose 4*l = -q*o, l - 3*l - 4*o + 6 = 0. Which is smaller: -6 or l?
-6
Suppose v + 2*h - 6 = h, -v + 18 = 5*h. Are 5 and v non-equal?
True
Let g = 11 + -12. Which is smaller: 2/7 or g?
g
Let v = -3545/336 + -13/112. Suppose 3*i = -i + 44. Let a = v + i. Are 1 and a nonequal?
True
Let n(u) = -u - 1. Let l be n(-1). Which is smaller: l or -1/25?
-1/25
Let n be ((-438)/(-24))/(2/8). Is 73 less than or equal to n?
True
Suppose 45 = g - 5*s - 130, 0 = 4*g + 4*s - 748. Let x = g - 108. Let h be 1/3 - x/105. Which is greater: 0.1 or h?
0.1
Let a be (-1 - -1) + 8/(-8). Let f = 2 + -3. Let u be f + (9/(-7))/(-1). Are u and a nonequal?
True
Let h = -7749028089304/287 - -27000152065. Let k = -54193 + h. Let j = k - 6/41. Is j >= 1?
False
Let w = 1 - 2. Let t = 16 + -13. Is t != w?
True
Let y be 25/12 - (-7)/(168/(-18)). Suppose -j = -6*j. Which is smaller: j or y?
j
Suppose 4*u + 4*k = 36, -u + 4*k - 4 = 12. Suppose u*q + 3 = 5*o - 3, -2*q = 2*o - 6. Suppose 2*l - 3 = 1. Is l less than o?
False
Let v be 22/(-11)*1/5. Which is greater: -0.6 or v?
v
Suppose -5*d + 8 = -3*q - q, -3*q + 13 = d. Suppose -3*n + d = -2*n - 4*m, -4*n + 4*m + 4 = 0. Which is smaller: n or 1/10?
n
Suppose 0 = -3*p - 2*g, -4*g - 20 = p - 5*p. Is 3 > p?
True
Let y be 2/1 - 6/3. Suppose -4*s + 24 = 5*r, 5 = s - y*r + r. Let z = -5 + 4. Does z = s?
False
Let z = -34 + 34.1. Does 0 = z?
False
Suppose -3*f - 4 = 2. Let y be 1/(-2) - (-4)/(-8). Which is bigger: f or y?
y
Let i = -6 + 13. Is i at least as big as 0?
True
Suppose 5*r + 2*m - 6 = m, r - 6 = -5*m. Is r not equal to -2/77?
True
Let h be 7/56 + 2/(-16). Is 1/10 equal to h?
False
Let p(r) = 2*r**3 + r**2 - r + 1. Let x be p(1). Suppose -4 + x = -n. Let a = 83/465 - -2/93. Is n equal to a?
False
Let p(m) = -3*m**2 + 15*m - 8. Let w be p(6). Is w less than or equal to 2?
True
Let m(h) = -2*h + 2. Let l be m(3). Let p = l - -6. Which is smaller: 4/3 or p?
4/3
Let j be 13/52*(-16)/(-434). Let m = 201/1736 + j. Which is greater: -1 or m?
m
Let w(s) = s**2 - 9*s + 4. Let d(x) = x**3 - 5*x**2 + 2*x - 2. Let o be d(5). Let b be w(o). Let p be b/(-10) - (-2)/(-5). Is -1/4 not equal to p?
True
Let l be 1*(-4)/10 + (-12)/(-5). Let y be (2/(-3))/((-2)/3). Which is greater: l or y?
l
Let a be ((-4)/(1 - 2))/2. Suppose -2*p - 4 = -5*t, -3 - 1 = 3*t + a*p. Which is smaller: t or -3/8?
-3/8
Let t = 7 + -8.7. Let b = t + 2.7. Let m = 0.13 + -0.2. Is m <= b?
True
Suppose 0*k = -9*k + 738. Is k at most 82?
True
Let q(p) = p - 17. Let m be q(19). Is m < -0.2?
False
Suppose 18 + 2 = -4*x. Let n = -4 - x. Suppose 3*z - 4 = -z. Is z smaller than n?
False
Let s(d) = 29*d + 1. Let r be s(-1). Let z be (-15)/r + 2/(-7). Suppose -2*a - 4*m - 4 = 4, -10 = -3*a + 5*m. Is z > a?
True
Suppose 125 = 4*c - 35. Let x be 10/45 - c/18. Is -2/3 equal to x?
False
Let w = 84/5 - 914/55. Is 1/4 > w?
True
Suppose 2*f = -2*k + 22, 2*f + 13 + 45 = 3*k. Suppose o = 5*p + 28, -41 = 2*p - 5*o - k. Suppose 6*t = -21 - 3. Which is bigger: t or p?
t
Suppose 35*r - 82 = 33*r. Does 42 = r?
False
Let f be 3 - (-4)/((-752)/186676). Let c = -990 - f. Which is smaller: 0 or c?
c
Let y be (1 - 98/(-6))*(-24)/(-16). Is y less than 26?
False
Let l be 9 + (-3 - (-8)/2). Is l smaller than 1?
False
Let p = -35 - -38. Is p smaller than 6?
True
Suppose -5*s = 3*g - 2*s - 27, 0 = -2*s. Is g at least as big as 9?
True
Let w = 46 + -37. Is w at least as big as 5?
True
Let o = 2 - 4. Let r = -111 - -110.9. Which is smaller: o or r?
o
Let f be ((-2)/12)/((-13)/(-13)). Suppose 2*x + 3 = 1. Is f less than x?
False
Suppose 0*x + w = 5*x - 25, -4*w - 12 = 2*x. Suppose -n = x*n. Suppose n*d - d = 1. Is d at most 0?
True
Suppose q - 3*w = -4, -4*w - 14 + 89 = 5*q. Let m = q - 10. Which is smaller: 1/9 or m?
1/9
Let a = -31.2 - -31. Is -0.14 bigger than a?
True
Let m = 17 + -8. Let j = -8 + m. Is -1/6 < j?
True
Let p = -26 - -30. Is p greater than -1/3?
True
Let q = 8 + -8.02. Let a = q + 1.02. Let b = -1 + 1. Is b at least as big as a?
False
Let z = -0.8 - -0.3. Let y = -11 - -21. Let d = 10 - y. Is z > d?
False
Let y = -10 + 13. Suppose -4*g + p = 3*p + 4, -3*g - y = -3*p. Is -3/2 bigger than g?
False
Let o(v) = 9*v**2 + 1. Let s be o(-1). Let x = -6 + s. Suppose -5*r - q = -26, r + x*r = 4*q + 46. Is r < 7?
True
Let d = -0.033 - 0.367. Is 2/5 at most d?
False
Let b = 60 + -87. Suppose d = -4*j + 31, 3*d - 31 + 2 = -4*j. Let s be (-6)/8*j/b. Which is smaller: 0 or s?
0
Let b be 4/3 + 4/12. Let v(k) = -k**2 - 2*k + 4. Let y be v(-3). Which is bigger: y or b?
b
Let i = 1.09 + -0.14. Let z = 0.05 + i. Is z at least -6?
True
Let p(q) = -q - 6. Let g be p(-6). Let c = 56 - 56. Is c greater than g?
False
Let j(s) = -s**2 - 4*s + 1. Let l be j(-4). Suppose -l - 8 = -3*b. Let p be (-48)/(-22) + (-2)/11. Is b equal to p?
False
Let z = -1.13 - -0.13. Let x = 16.7 - 18. Let b = 0.3 + x. Is b at least z?
True
Let y(g) = -g**2 - 5*g + 10. Let l be y(-8). Are -14 and l nonequal?
False
Let v = 132 + -133. Which is smaller: 1/6 or v?
v
Let s = -8 - -3. Let l(j) = j**3 + 5*j**2 - j - 4. Let r be l(s). Does r = 2/9?
False
Let z(n) = 0*n**2 + 3*n**2 + 2*n**2 - 2 + n**3 + 3. Suppose 4*c + 20 = -2*m, m - 18 = 3*c - 3. Let k be z(c). Is k equal to 2?
False
Suppose -v = 2*l - 5, -3*v + 0*l + 15 = 2*l. Let u(t) = 2*t + 1. Let m be u(v). Which is smaller: 10 or m?
10
Let y = -66/5 - -13. Which is bigger: 4 or y?
4
Let t = -41 + 23. Is t at least as big as -18?
True
Let w be 29/(-65) - (-21)/35. Let l = -2 + 2. Is l at most w?
True
Let s = -3/4 - -1/12. Which is smaller: -0.1 or s?
s
Let g = 11 - 167/15. Which is greater: -1 or g?
g
Let g = -0.36 - -0.36. Which is greater: g or -27?
g
Suppose 2*l = 3*l + 7. Which is greater: l or -2?
-2
Let u be 2/(-11) + (-13)/(-11). Which is smaller: -1/3 or u?
-1/3
Let v = 12 - 13. Let r = 0.5 - 0.6. Let n = 1.9 - r. Which is smaller: n or v?
v
Let k 