 2*w. Suppose -6 = -w*g - 0*g. Suppose -t - 13 = 4*d, -5*t + g*d + d = -4. Which is smaller: 2 or t?
t
Suppose -4*q + 2*q + 3*j = -4, 4*j = -q + 2. Let d be 4/q + 2/(-2). Is d at least as big as 2/19?
True
Let n(k) = k**2 + 7*k + 7. Let z be n(-6). Which is greater: z or -3/7?
z
Let t be ((-1)/22)/((-8)/(-16)). Is t > 1?
False
Let q be ((-242)/145 - 6/15) + 2. Which is smaller: -1 or q?
-1
Let z = 62 + -194/3. Suppose c + 9 = -2*c. Which is smaller: c or z?
c
Let h = -36 + 45. Which is bigger: 8 or h?
h
Suppose 0 = -2*x - p + 12, 11 = 2*x - 5*p - 13. Let f be (-1)/(-2) + x/2. Suppose -5*r = o - 19, -3*r = -r + 4*o - f. Do 5 and r have different values?
True
Let a = -9 - -10. Let s be (-14)/40 - a/4. Are -2 and s equal?
False
Let h = -7 + 7.08. Let d = h + 2.92. Let y = -2 + d. Which is smaller: -1 or y?
-1
Let m = 2 - 3. Let o be (-6)/6 - (-2)/m. Which is bigger: -9/5 or o?
-9/5
Let q = -13 - -22. Let s be q/(-12) + (-71)/(-100). Is s greater than -1?
True
Let t = -21 + 37. Let f be ((-24)/20)/(t/(-20)). Do f and -1/10 have the same value?
False
Let y = -109.2 + 109. Is -24 at least as big as y?
False
Let n(k) = k**3 + 4*k**2 - k. Let h be n(-4). Let w be (0 - -2)*(-6)/h. Let f be ((-24)/28)/(w + 1). Are f and 0 equal?
False
Let x(z) = 2*z + 9. Let n be x(-5). Let s(u) = -u - 2. Let v be s(-2). Suppose q + 4*q + 2*i - 6 = 0, v = 2*q + 3*i - 9. Does q = n?
False
Let s be 6/(-27) + (-2935)/36. Let l = -83 - s. Is l != 0?
True
Suppose -4*y - 4*d - 8 = 0, 8*d - 3*d = -2*y - 13. Which is smaller: 4/5 or y?
4/5
Let q be 6/(-4) + (-27)/18. Is q not equal to -6?
True
Let q = 33 - 20. Suppose -4*g - b + 1 = 0, -q = -5*b + 12. Let z be (-1)/(2*(-7)/2). Are g and z equal?
False
Let b = -4 - -4. Suppose -5*u - 1 - 4 = b. Let y be (-22)/(-6) + u/(-3). Is y at most 2?
False
Let j = 0.03 - 4.03. Let h = -7 - j. Let d = -1 - -2. Which is smaller: h or d?
h
Let d(b) = -b**2 + 6*b + 8. Suppose 4*x - 40 + 8 = 0. Let a be d(x). Is a < -7?
True
Let r = 0.03 + -0.02. Let h = 19 + -12. Let x = h - 7.1. Which is greater: x or r?
r
Let w(l) = 6. Let a(n) = n - 5. Let d(x) = 3*a(x) + 2*w(x). Let t be d(4). Let p be t/12 - (-2)/(-24). Is 0 greater than p?
False
Let a be (15/305)/(29/(-1249)). Let y = -60/29 - a. Let g = -155/671 + y. Which is smaller: g or 1?
g
Let d(k) = -9*k**2 + 3*k - 1. Let l be d(2). Let g = 31 + l. Suppose a = 3*q + 6 - 5, -5*a - 5*q - 15 = 0. Which is smaller: a or g?
a
Let t = -14 + 13.3. Let g = 0.6 + t. Let m = -1 + 1. Which is bigger: g or m?
m
Suppose -v - 1 = -0*v. Let y be v + 4/((-780)/(-63)). Let s = 1/13 + y. Is s >= 0?
False
Let z be (0/(-1))/(2 - 1). Suppose -l + 2*d + 10 = z, -2*d - 5 = l - d. Which is smaller: l or 2/15?
l
Let b be 668/(-10) - (-6)/(-30). Are b and -67 equal?
True
Let l = -10 + 7. Let i(f) = f**2 - 4*f. Let c be i(5). Suppose -z + 0*z = -3*p - 5, 8 = 4*p - c*z. Is l less than p?
False
Let g(i) = -i**3 - 4*i**2 - 4*i - 1. Let p be g(-3). Suppose 0*q - 5*q = 0. Let d be q/2 + p/(-12). Is d greater than or equal to 1?
False
Suppose 5*l = -0*l + 10. Let g be 12/16 + l/8. Suppose 0*u = -u. Does g = u?
False
Suppose -4*c + 65 = -5*x, 62 = 3*c - 3*x + 17. Let o be ((-4)/c)/((-61)/(-5)). Is o not equal to -1?
True
Suppose 5 = -5*n - 0. Is -2 at least n?
False
Let l be (1625/160)/5 + -2. Is -1 less than l?
True
Let w(d) = d**2 - 10*d + 18. Let v be w(7). Is -3 less than v?
False
Let p be (-8)/(-3) - (-8)/(-12). Suppose 0 + 1 = -5*f + p*t, -4*t = -12. Which is smaller: f or 1/4?
1/4
Let f(i) = 9*i**3 - i**2 - i + 1. Let g be f(1). Suppose 4*h = 3*n - 19, n - 4*h + 15 = -g*h. Which is greater: 4/9 or n?
n
Let a(f) = 2*f**2 + 2*f - 2. Let k be a(-2). Suppose 0 = -u + k*u + 6. Let z be 3/(-5)*u/(-9). Are 1 and z unequal?
True
Let r be (2/6)/((-1)/(-3)). Let k(v) = -v**2 - 4*v + 14. Let m be k(-6). Is m smaller than r?
False
Let g be (-4)/(-6) + (-84)/(-9). Let d be (-4)/(-10) + (-4)/g. Let q(p) = -p**2 - p + 2. Let j be q(d). Are -1 and j equal?
False
Let y be (-5)/(15/(-6)) + 1. Suppose -z = 0, 4*f + 5*z = y*f - 2. Let l be f - (-3)/(-10)*-4. Which is greater: 0.1 or l?
0.1
Let u(m) = 3*m + 0*m - m**2 + m - 3. Let a be u(2). Which is smaller: a or 2/21?
2/21
Let u(f) = -f**3 - 10*f**2 + 11*f + 1. Let g be u(-11). Which is smaller: 1/4 or g?
1/4
Suppose -12 = -6*f + 2*f. Suppose -40 = 2*i - 7*i. Suppose 3*c - 3*b = 9, -b - b + i = 5*c. Are c and f nonequal?
True
Let m be 4/10 - 6/15. Let n be -1*(1 - (3 - 1)). Suppose -2*h - 3*o + 10 = n, 18 = 5*h + 3*o. Which is smaller: m or h?
m
Let z be 5 - (0 + -1 - 0). Let x = 50 - 43. Are z and x unequal?
True
Let x = -22.304 - 0.096. Let d = -22 - x. Is -0.3 at least as big as d?
False
Let k(h) be the second derivative of h**4/12 - 5*h**3/3 + 3*h**2 - 2*h. Let s be k(9). Is -3 at least as big as s?
True
Let t = -0.7 - -0.5. Is t greater than 2/37?
False
Let t(v) = -v**2 - 14*v - 15. Let y = 19 + -32. Let u be t(y). Let k be -1 + -1 - 6/(-9). Which is smaller: u or k?
u
Let z be (-3)/2*(-16)/6. Suppose z = 2*x - 0*x - 4*b, 0 = 5*x - 5*b. Which is bigger: -1 or x?
-1
Let m = -2.16 + 2.1. Let c = 0.4 - 4.4. Let y = 5 + c. Is y less than or equal to m?
False
Let t be 12/(-3)*3/(-4). Suppose -1 = -q + 5. Suppose q*h - 12 = 2*h. Do h and t have different values?
False
Suppose 2*n + 2*n - 4 = 0. Suppose -p - 5*d = n, p - 4 = 5*p + 4*d. Let z be -2 + 1 + 4/(-8)*-2. Which is greater: p or z?
z
Suppose 44 = 5*g + u, -6*g - 5*u = -3*g - 22. Let h be (5 - g/3) + -3. Do h and 0 have different values?
True
Let q = -183/44 - -32/11. Let j = -77 - -77. Which is smaller: j or q?
q
Let v be ((-3)/2)/(6/8). Let p = 6 + v. Suppose -p*d - 3*y = -d, -3*d = -4*y. Is 1/7 < d?
False
Let u be (-12)/10*(-10)/3. Let y be 12/(-3) + 18/2. Suppose -y*c - 5 = z, 0 = -4*z - 4*c - u. Is -1/4 smaller than z?
True
Let s(b) = -b**2 + 8*b. Let w be s(8). Suppose 2*y + w*g = -3*g - 2, 5*g = -20. Is y < 5?
False
Suppose 0 = 2*j + 5*w - 21, 5*j - 6*w + 35 = -w. Let y be ((-30)/4)/5*j. Suppose 0 = 2*f + y*v + 8, -7*v + 2*v - 10 = 0. Are f and 0 non-equal?
True
Let s = 9 - 5. Let i be (-1 - -5) + -1 + -27. Let u be s/(-10) - i/(-15). Is 1 < u?
False
Let y(r) = -r**3. Let g be 22/5 + (-6)/(-10). Suppose -3 + 5 = n, 0 = m - 2*n + g. Let v be y(m). Which is smaller: v or 3?
v
Let q = 4 - 3. Which is greater: q or 3?
3
Suppose 2*h - 6*h = -40. Let s = h - 6. Suppose -5*f + 2 = 3*m - 5*m, 5*m = -s*f - 5. Is -1 greater than f?
False
Let g(s) = -s**2 - 7*s + 18. Let y be g(-8). Is -1 at least y?
False
Let v be 33/(-55) + (-3)/(-5). Are v and 0 equal?
True
Suppose 0 = 6*b - 2*b. Is 0 >= b?
True
Suppose 4*j = 3*j + 14. Suppose 3*q = -4*d - d + 3, 2*d + 5*q = -j. Suppose -5*k - 18 - 13 = -2*b, 0 = -5*b + 3*k + 30. Is b less than or equal to d?
True
Let k = -4 - -34/9. Let a(x) = x**3 - x**2 - 1. Let h be a(0). Is h less than k?
True
Suppose 4578 = 5*h - 0*w - 2*w, 3676 = 4*h - 5*w. Let m = h - 39300/43. Let k = m + -47/86. Which is bigger: k or -2?
k
Let t be (60/(-825))/(52/10). Which is smaller: -1 or t?
-1
Suppose 4 = -a + 1, 3*a + 12 = -l. Let q(g) = -g + 2*g - 4*g + 3. Let t be q(2). Is t > l?
False
Let h = -1 + 1. Let c = -65/8 + 8. Are h and c nonequal?
True
Let t = 26.5 + -3.5. Which is bigger: t or -1/2?
t
Suppose -2*u + b - 8 = 0, b + 12 = 4*b. Let n be ((-7)/u)/((-3)/6). Is n < -7?
False
Suppose -2*v + v = -f - 1, 3*f + v - 1 = 0. Is 2/71 <= f?
False
Let z = 3 + -8. Let p = 7 + z. Suppose 0 = 4*g + b - 7, -2*b - 1 = 2*g - 3*b. Which is smaller: g or p?
g
Let q be 3/(-6) + (-35)/2. Let s = -126 + 0. Let z be 8/s - (-4)/q. Does -2/9 = z?
False
Let v(o) = -o - 7. Let z be v(10). Is z bigger than -17?
False
Let u = -25 - -151/6. Let c = -2 - -2. Suppose -a + 2*a + 1 = c. Which is greater: u or a?
u
Suppose -20 = -5*f, -5*r + 4 = -2*f - 2*f. Suppose 2*i - 4*z - 8 = -20, 2*i - 9 = -3*z. Suppose r*l = -i - 12. Which is smaller: 0.1 or l?
l
Let z = 4 + 0. Suppose -4 - z = -2*k. Is k less than or equal to 3?
False
Let c = -98 - -46. Does -53 = c?
False
Suppose -2*f + 4*x + 6 = -22, -20 = -f - 4*x. Suppose 2*p + 9 = -3*r - p, 0 = 4*p + f. Let l = -27 + 161/6. Is l greater than or equal to r?
False
Suppose 4*u - 2*u + 2*k + 286 = 0, 0 = 5*u + 3*k + 705. Let n be 34/u - (-5)/(-30). Let y = n - 2/23. Which is smaller: 0 or y?
y
Suppose 