. Suppose 4 = 2*q, s*r - 10 = -4*q - q. Suppose 5*g = -4*g - 9. Which is smaller: g or r?
g
Let d = -2 + -1. Let w = -1 - 2. Are d and w non-equal?
False
Let h be (-4)/24 + (-73)/(-6). Let u be (-2)/8 - (-7)/h. Is -3 at most u?
True
Suppose 20 = 5*u - 0*u. Suppose -w = u*i - 14, 2*w + 2*i = 5*i - 16. Let k be (-2 + (-20)/(-9))*-3. Is w greater than or equal to k?
False
Let d = 1/593 + -4747/1779. Let n = -12 - -8. Which is smaller: d or n?
n
Let i = 350/9 - 67909/1746. Which is smaller: i or -1?
-1
Let c = -72/107 + 2/321. Which is greater: 0.08 or c?
0.08
Let c = 74 + -44. Suppose -3*f + 4*n = 21, -5*f - 4*n + 9*n - c = 0. Do 0 and f have different values?
True
Let d = 1/37 - 81/259. Let q(c) = -c - 3. Let m(y) = -2*y - 4. Let s(n) = 2*m(n) - 3*q(n). Let a be s(1). Which is greater: a or d?
a
Let w = -5 - -8. Let a be w - (-1 - -12 - 2). Is a greater than or equal to -7?
True
Let w(s) = -s**3 - 3*s**2 + 3. Let i be -3*(-1)/3 - 4. Let n be w(i). Suppose 0 = n*g - 6*g. Which is bigger: 1 or g?
1
Let a = -27.61 + 28. Let b = 0.09 - a. Which is greater: -2/3 or b?
b
Let h(z) = 11*z**2 + z - 1. Let y be h(1). Let m be (y/(-77))/((-4)/7). Is 1/3 greater than m?
True
Let c = -25/48 + 3/16. Let b = -6/5 + 13/15. Let s = c + b. Which is greater: -2 or s?
s
Let c = 0.5 + -0.49. Let s = c + 0. Is 0 at least s?
False
Let j(w) = w**2 + 3*w + 5. Let m be j(-4). Let g = m - 4. Let d(a) = 5*a**3 + a - 1. Let p be d(1). Is p not equal to g?
False
Let n be 2 + (2 - 0) + -1. Let w = -3 - n. Is w at least as big as -7?
True
Suppose 53*x = 52*x - 11. Which is greater: -86/7 or x?
x
Let k = -5 + 5.02. Let p(j) = -j**3 - 4*j**2 - 2*j + 2. Let w be p(-3). Are k and w nonequal?
True
Let x be 2/20*2*-2. Let j = 12 + -9. Suppose 0 = -v + j*v. Are v and x non-equal?
True
Let x(b) = b - 2. Let p be x(2). Suppose p = k + 6 - 24. Suppose -c - 4*s - s - 22 = 0, -c = -3*s - k. Are c and 3 equal?
True
Let h = -0.15 + -4.85. Which is bigger: 2/5 or h?
2/5
Let m = -0.093 + 2.093. Let z be (134/(-4) - -2)/1. Let n = z + 31. Which is smaller: n or m?
n
Suppose -5*j - 4*l - 26 = 0, 3*j - 5*l + 14 = -7*l. Let g be 6 - ((-4)/(-4) + -3). Let b be (6/g)/(3/(-2)). Is b >= j?
True
Let r(x) = -3*x + 4. Let h = 7 + -4. Let d be r(h). Let l(b) = -5*b + 1. Let a be l(1). Which is smaller: a or d?
d
Let h be 2*1/4*0. Suppose -21 = 3*g - 3*k, h = -4*g - k - 18 - 0. Are g and -5 unequal?
False
Let v be ((-2)/6)/((-1)/6). Suppose -4*o + 1 = -u + v, 0 = 3*o + 3*u - 3. Let p be 0 - (o + -2)/(-2). Is p bigger than -1?
False
Suppose -5*a + 2 = -3*y, 3 + 5 = 3*y + 5*a. Is -1/9 less than or equal to y?
True
Let j = -7 - -1. Let a = -5 + 4. Let z be a/(((-12)/(-20))/3). Is z at most as big as j?
False
Let d = -2.38 + 1.37. Let i = d - -1. Which is smaller: i or 0.2?
i
Let q = 509/24 + -63/8. Which is smaller: q or 13?
13
Let k = -9276/13 - -714. Which is smaller: k or 0?
0
Suppose 5*n + 2*y = -0*n - 30, n + 6 = 5*y. Is -6 at most as big as n?
True
Let i = 134 + -687/5. Let x = -3 - i. Which is smaller: 0 or x?
0
Suppose 0*w - w = 124. Let m be (-6)/w*12/(-9). Which is smaller: -1 or m?
-1
Let j be ((-3)/4)/((-2)/8). Suppose 2*p - 9 = -3*k, -p + 3 = 2*k - j. Which is smaller: 2 or k?
2
Let c(o) = -3*o + 10. Let x be c(4). Which is smaller: -4/7 or x?
x
Let b = 5 - 14/3. Let r(c) = c**2 + c + 1. Let m be r(0). Is b <= m?
True
Suppose s - 6*t + 20 = -t, -7 = -s - 4*t. Let o be ((-2)/s)/(168/(-1185)). Let m = 18/7 + o. Which is bigger: m or 2?
2
Let i(y) = y**2 + 6*y - 14. Let h be i(-6). Let u be ((-24)/126)/(12/h). Which is smaller: 0 or u?
0
Suppose -2*i - 2 = -12. Suppose i*c - 4*f = 12 + 19, -3*c + f = -13. Suppose -4*u + 2 = -10. Is u < c?
False
Let v = -13 - -5. Let h = -7 - v. Is -3/10 smaller than h?
True
Suppose -4*w - 15 = d, 0 = -4*d - 4*w - 0 - 24. Let m(f) = f**3 + 12*f**2 + f + 7. Let z be m(-12). Let h be (-1 - -2*2) + z. Is d at least h?
False
Let d be 653/1530 + (-12)/18. Let y = d - -3/170. Which is smaller: y or -0.09?
y
Let d = 0 - -0.06. Let p = -437 - -441.94. Let r = p + d. Which is greater: r or -0.1?
r
Suppose -4*z = -4*y - 32, 5*z + 0 = -3*y + 8. Let d = 6 - y. Let k be d/10 - 1*2. Are k and -1 unequal?
False
Let p(a) = a**2 + 10*a + 1. Let g be p(-10). Is g greater than 13?
False
Let u = -0.61 + -0.39. Is u less than or equal to 0.05?
True
Let w(q) = q**2 + 11*q + 5. Let x be w(-10). Suppose 0 = -5*h + h - 2*z - 34, -3*z = -4*h - 9. Is h <= x?
True
Suppose -3*g + 3 = -0. Which is smaller: 9/4 or g?
g
Let s(c) = -c**3 + 9*c**2. Let m be s(9). Is m at least as big as -3/17?
True
Let d = 34 - 34. Which is greater: d or -25?
d
Let f be (-2 + 3)/((-2)/(-10)). Let y = -5 - -10. Suppose 2*i + c = 10, -1 = 2*i - 2*c - y. Which is bigger: i or f?
f
Suppose 0 = -3*h + 9. Which is bigger: 4 or h?
4
Let s = -97 + 145. Let u = -1033/21 - -32/21. Let b = u + s. Which is smaller: b or 0?
0
Let w = -11.7 - -11. Let v = w - -1.7. Is v >= -0.5?
True
Let h be 3 + 5/((-15)/(-27)). Which is bigger: h or 11?
h
Let u(h) = 4*h - 4. Let j be u(1). Is j less than or equal to -2?
False
Let m = -2.05 + 0.05. Let t = 2.1 + m. Which is smaller: 0 or t?
0
Suppose 2*n = -2*n + 8. Suppose 5*v - 3*g - 12 = -0*g, -n*v + 5*g = -20. Are v and -1/5 equal?
False
Let g = -11 + 34. Suppose g - 2 = 3*a. Which is bigger: a or 6?
a
Let f = 883 - 4434/5. Is -5 at most as big as f?
True
Suppose -4*a - 3*q - 15 = 0, -5*a + 15 = -3*q - 0. Does 0 = a?
True
Suppose 0 = 3*o - 4*o. Suppose -4*g - 4 = -o*g. Is -1 > g?
False
Let s = -2 + 5. Let a = s - 3. Let b = 392/645 + -1/129. Is b not equal to a?
True
Let z(f) = f**3 - f. Let q(o) = o**3 - o**2 - 3*o + 2. Let v be q(2). Let s be z(v). Let j(u) = u**3 - 7*u**2 - 1. Let m be j(7). Which is bigger: m or s?
s
Let y = 2 - -1. Suppose b + 0*b - y = -f, -2*b + 10 = -2*f. Suppose 0 = 2*g + b*v + 18, 4*v - 5 + 13 = 0. Is -4 > g?
True
Let p = -5 - -9.6. Let j = p - 2. Let h = j - -0.4. Which is greater: h or -0.1?
h
Let x = -1.17 - -0.17. Which is bigger: 0 or x?
0
Let t = -106 - -105. Let k = 6.06 + -6. Which is bigger: t or k?
k
Let u be 17/55 - 2/5. Which is bigger: 0 or u?
0
Let j = 0 + 0. Let p be (-34 - (5 + -3))*3. Let z be -3 + 5/((-160)/p). Is j at least z?
False
Let r = 9645/16 + -603. Is r greater than -1?
True
Suppose 0 = -0*f - 3*f + 3*a - 15, -3*f = 5*a + 7. Suppose -3*d - 3 = 3. Is d < f?
False
Let f be -6 + 2 + 112/20. Do 2 and f have different values?
True
Suppose -f - 2*p + 33 = 4*f, -2*f + 18 = 2*p. Suppose 0 = -g + 3*i + 5, 4*g - 7*i - 20 = -4*i. Are g and f equal?
True
Let h(c) = c**2 - 8*c - 3. Let q be h(8). Let b be q/(-9) + 8/3. Is b smaller than 2?
False
Let j(r) = r**3 + 5*r**2 + 3*r - 4. Let p be j(-4). Which is bigger: 1 or p?
1
Suppose 3*s - 7*s = -508. Suppose -5*a + s - 32 = 0. Are 18 and a equal?
False
Let q(n) = n**2 - n - 1. Let h be q(-2). Suppose -3*v - 4*i - 32 = v, 0 = -4*v - 2*i - 24. Let x = h + v. Is 3/8 < x?
True
Let u be 36/14 - (-3)/7. Suppose -u*c = 2*c + 30. Is -8 < c?
True
Let o be (25/(-7) - -3)*-7. Let h be (-3 + -2)/(2/o). Is h greater than or equal to -11?
True
Let k = -0.2 - -0.4. Let h = 0.7 - k. Let w = 1.5 - h. Are -1 and w nonequal?
True
Let o = -695/77 + 67/7. Let s be 2/(-3)*(-6)/2. Is o less than or equal to s?
True
Suppose -125 = -8*k + 75. Which is smaller: k or 26?
k
Let s be ((-2)/(-10))/(6/(-645)). Let j = s + 22. Let h = 0.02 - -0.28. Which is greater: j or h?
j
Suppose 11 = h + 4. Which is smaller: 6 or h?
6
Let d(t) = 5*t + 1 - t + 2*t**2 + 0 + 2*t. Let o be d(-4). Let c be (-8)/(-14)*7/o. Is c smaller than 0?
False
Let f = 0.061 + -0.091. Which is greater: f or -1?
f
Let u be 9/6*(-4)/(-3). Let s = -82.96 - -83. Is s greater than u?
False
Let l(b) = -b - 11. Let r be l(-12). Which is greater: -3/25 or r?
r
Let k(o) = 8*o. Let g be k(-1). Let q be 8/(-20)*5/g. Let s be (-27)/18*(-2)/(-3). Is q less than s?
False
Let q = 6 - -4. Suppose 0 = 2*f + 2*r - 20, -f + 3*f = 4*r - q. Is f < 5?
False
Let z = -191/5 + 38. Suppose 0 = 4*k - 2 - 6. Let q be 2 + -2*k/4. Is z <= q?
True
Let a be ((-2)/(-5))/((-4)/(-15)). Suppose 7 = -5*u + 32. Suppose -u*i = -4*q + 7 - 24, 0 = -q - 3. Which is smaller: a or i?
i
Let r = 0.13 - 0.63. Let g = r - -0.2. Let k = -3 - -2. Is k bigger than g?
False
Let j = 6 - 3. Suppose -o - 48 = -j*