/4 + 21/12. Let h = w + -3. Let a be (0 - h) + (-2)/2. Which is smaller: -2 or a?
-2
Suppose 4*h - 4 - 14 = 2*f, 0 = 5*h - 15. Let p be 8/3 + (-1)/f. Is p equal to 1?
False
Let c be ((-6)/(-8))/((-1)/4). Suppose -i + 4*t + 13 = 0, -6*i = -i - 2*t - 29. Suppose 5*z - 2*m + 2 = -i, 4 = -4*z + 2*m. Is z bigger than c?
False
Let b = 128.9 - 138. Let t = b + 9. Which is greater: -1/2 or t?
t
Let z be ((-30)/50)/((-1)/5). Let t = 5 - 3. Are t and z equal?
False
Let c = 1.19 + -0.09. Let x = -3 + 3.1. Let w = x - c. Which is greater: -2 or w?
w
Suppose 5 - 10 = -5*m. Let j be -1 - (-1*1 + 0). Which is greater: j or m?
m
Suppose -2*g = -3*g - 250. Let t = g - -2252/9. Which is bigger: t or 0?
t
Let k(r) = -2*r**3 + r**2 + r + 1. Let b be k(-1). Let t be -1*(b/(-24) + 0). Is t > 1?
False
Let r = -10 + 13. Let q(b) = -b**2 + 2*b - 5. Let i be q(r). Is -9 >= i?
False
Suppose 0 = -4*m - 3*z - 130, 2*m - 4*z - z + 52 = 0. Is m < -30?
True
Let m be (10/15)/((-8)/(-18)). Let d(o) = 9*o**2 + 2*o + 1. Let g be d(-1). Let u be ((-4)/g)/((-2)/4). Is m > u?
True
Let y = -26 + 25.6. Suppose 4*x + 2*s = 5*x - 1, x + 17 = -4*s. Let f = x - -23/5. Is y less than or equal to f?
True
Let d(y) = 2*y**2 - 6*y + 6. Let t be d(3). Suppose -5*o + 2*a - 37 = -0*o, -o - t = a. Is o greater than or equal to -8?
True
Let n(s) = -s**3 + 4*s**2 - 4*s. Let a be n(3). Let u = a + 4. Let r = -2/21 - 20/231. Is r bigger than u?
False
Let d(b) = 13*b**2 + 8*b - 11. Let w(t) = 7*t**2 + 4*t - 6. Let s(y) = 6*d(y) - 11*w(y). Let o be s(-5). Suppose 2 = 3*n + o. Does n = 1/3?
False
Let c = -0.11 - -0.11. Which is smaller: -2 or c?
-2
Let k be (2/6*3)/1. Let r be -1*4/(-26)*1. Which is greater: r or k?
k
Let h = -0.03 + 0.1. Let s = h + 0.13. Which is smaller: -0.2 or s?
-0.2
Let c = 3802/3 - 1250. Which is greater: 18 or c?
18
Let x be (121/33)/(1/3). Suppose 0 = 3*k - 4*l - x, -2*k - 2*l - 1 = k. Let u(r) = r**3 - r**2 + r + 1. Let a be u(0). Are a and k non-equal?
False
Suppose 0 = 2*a + 4, -6*a = -2*t - a - 30. Which is smaller: 2/3 or t?
t
Let c = -389/20 + 39/2. Which is smaller: c or 0?
0
Let d = 80 - 44. Is 37 less than d?
False
Suppose 3*w - 6 = 0, w + 4 = -2*x + 2*w. Let k(h) = -2*h - 1. Let f be k(x). Does f = 0?
False
Suppose -4 = -9*w + 8*w. Suppose -f - 12 = -3*f. Which is smaller: f or w?
w
Let x(m) = -m**2 - 6*m + 2. Let r be x(-5). Let d(u) = u + 8. Let g be d(-6). Suppose -g + r = -5*f. Is f greater than or equal to -1/10?
False
Let k(d) = d**2 + 4*d - 10. Let r be k(-5). Which is greater: -7 or r?
r
Let q = -8 - -2. Let r = 8 + q. Which is greater: r or 1?
r
Let v be 621/21 - (-1)/(-3). Let k = 5821/105 - v. Let j = k + -26. Which is greater: j or -1?
j
Let b be (3/4)/((-7)/(-56)). Suppose -3*q + 14 = 3*f - q, q = -5. Which is bigger: b or f?
f
Let j be (-1)/28*(1 - -1). Is j at most as big as 0?
True
Suppose 3*j = -5*b + 3, -4*j + 5 = -b + j. Let g = b - -2. Suppose 0 = -g*l - 2*l + 8. Which is bigger: 4/5 or l?
l
Suppose 12 = -3*h - 0, -f - 2*h - 11 = 0. Which is smaller: f or -11/3?
-11/3
Let p be 23/46 - (-11)/6. Is 2 less than p?
True
Let a(s) = 2*s + 3. Let g be a(-3). Which is greater: -5 or g?
g
Let s be 3/(9/(-267)) + 1. Let a be s/234 + (-2)/(-13). Which is bigger: -0.2 or a?
-0.2
Suppose q - 6*q + 20 = 0. Suppose q - 1 = -f. Which is smaller: f or -1?
f
Let a be -24 + 0/(-2)*1. Let h be (3/48)/((-4)/a). Which is smaller: h or 0?
0
Let u = 19 - 18. Which is smaller: u or 0?
0
Let w(n) = -n - 1. Let j(p) = -3*p + 2. Let u(d) = j(d) - 4*w(d). Let a be u(-6). Suppose 0*v = -v. Is v less than a?
False
Let x = 23 + -34. Let t = 13 + x. Which is bigger: 3/2 or t?
t
Let y be (-20)/(-30) - (105/9 - 2). Is y bigger than -9?
False
Suppose w - 3 = -2. Which is smaller: 4/7 or w?
4/7
Let n(f) = 5*f**3 - f**2 - 2*f. Let m be n(-1). Is -1 less than m?
False
Let j = 2.3 + 0.7. Let q = -2 - j. Let s = q - -5.2. Is 0.1 greater than or equal to s?
False
Let b = 16 + -15.8. Let p = -0.1 - -0.4. Is b <= p?
True
Let x be 2/17 + (3 - (-72)/(-34)). Suppose 2*m = m. Which is greater: m or x?
x
Let b be ((-2)/(-3))/(2/(-6)). Let c be 42/(-110) + b/(-11). Does c = 0?
False
Let u be -2*(-1)/(-33)*3. Is -1 > u?
False
Let l = -8.8 - -7.8. Suppose 0*y - 4*y = -16. Is y not equal to l?
True
Let h = 5/2 + -8/3. Is h equal to 3?
False
Let i be (-14)/(-8) - 3/(-12). Let f be (-1)/6*-2*i. Suppose 21*j - 74*j = 0. Which is bigger: j or f?
f
Let q be -3*(371/(-93) - -4). Is q greater than or equal to -1?
True
Let u be (-6)/15 - 42/(-5). Let z be u/(-36) - (-23)/(-18). Which is smaller: -2 or z?
-2
Let m be 10/3 - (5 - 1). Let p = -2 - -2. Are p and m nonequal?
True
Suppose 7*g - 13 = -6*g. Is 1/7 smaller than g?
True
Let f(h) = -h**3 + 9*h**2 - 7*h - 5. Let t be f(8). Let o = -12 + t. Is o < -9?
False
Let a(p) = -p**3 + 5*p**2 + 6*p + 4. Let v be a(6). Suppose 7*k - 3*k = -4*z - 12, 13 = v*k - z. Let f be (15/(-110))/(k/8). Which is smaller: 0 or f?
f
Let t = 11/8 + -71/40. Let l be ((0 + -1)*0)/(-1). Which is smaller: t or l?
t
Let n = -1 - 0. Let o be 3/2*34/357. Is o at most as big as n?
False
Let d = -8 + 7.9. Which is bigger: d or 9?
9
Let d be 7/3*24/2. Let g be 2 + (-2)/4*61. Let r = d + g. Which is smaller: r or 0?
r
Let h be (-2)/6 - 14/(-6). Suppose -h = -2*v + v. Let x be v/1 + (-1 - 2). Is x >= -1/3?
False
Let n = -8 - -9. Which is smaller: n or -1/6?
-1/6
Suppose 4*m + 3*p = 947 - 213, -5*m + 921 = 2*p. Suppose -m = -4*l + 39. Let i be (-1)/3 - l/12. Is i at most as big as -4?
True
Let n be (-262)/(-390) + (32/60)/(-4). Does n = 2?
False
Let r = 7 - 5. Let g be ((-208)/(-195))/((-4)/(-6)). Which is greater: g or r?
r
Suppose 4*x = -5*s + 9*x + 10, 0 = 5*s - x - 18. Which is smaller: 5 or s?
s
Suppose 9 = -4*i + 5. Which is greater: -1/5 or i?
-1/5
Let d = 23.9 + -24. Which is smaller: 6 or d?
d
Let v be 220/(-2) - 7/(-14). Let g = 2421/22 + v. Which is bigger: g or 0?
g
Let d be 36/(-24)*2/39. Which is bigger: 0 or d?
0
Let o(k) = -k**3 - 5*k**2 - k - 5. Let q be o(-5). Suppose q*m + 3*h = 5*m - 40, 0 = m - 5*h - 30. Which is bigger: 3 or m?
m
Let k be (-10)/(-12)*18/(-60). Which is greater: k or 0?
0
Suppose 4*r = -2*u - 62, -r - 3*r + u = 47. Is -14 equal to r?
False
Suppose -2*t = -2*w + 10, -4*t + 5*w - 4*w - 5 = 0. Let l = 21 - 61/3. Which is smaller: l or t?
t
Let j = 68 - 69. Are j and 1/19 unequal?
True
Let p be (6/(-4))/((-5)/10). Suppose -5*s = -p*s. Is 0 < s?
False
Suppose -2*i - 5 - 9 = -4*b, b = 3. Let t = 9 + -4. Suppose -5 = t*g - 0. Is i <= g?
True
Let h = 10 + -13. Let s be 4*(-9)/(-15) + h. Is s < -1?
False
Let k(j) = j**3 + j**2 + j + 6. Let b be k(0). Do 6 and b have the same value?
True
Suppose 2*z - 6*n + 24 = -2*n, z = -4*n + 12. Let w be (-7)/((-35)/15) - 6. Which is smaller: z or w?
z
Let x = 943/9 - 105. Which is smaller: x or -1?
-1
Suppose g + 25 = -2*o - 3*o, 2*g + 10 = -2*o. Let f = -1 - g. Let q = -3 + 2. Is q bigger than f?
False
Suppose 3*x + 15 = 0, -5*p = 3*x - x - 15. Let r(v) = v**2 + v - 2. Let a be r(-3). Is a at most as big as p?
True
Let f(g) = -g**2 + 2. Let v be f(0). Let k(c) = -c**3 + 2*c**2 + 4*c - 2. Let h be k(3). Let q be (h - -1)/2*3. Which is smaller: q or v?
v
Let l be (-1)/(-1) - 10/6. Let h = 10 + -2. Let k = h - 9. Which is smaller: l or k?
k
Let l(q) = -2*q - 2. Let j be l(-3). Suppose -j*a + 10 = a. Let n be (-6)/(-26)*a/3. Is n bigger than -1?
True
Suppose -4*r - 11 = -2*b + 1, -b + 3*r = -6. Let d = -13 - -5. Let m = d + b. Which is smaller: -1 or m?
m
Suppose 0*i + 3*i = 0. Suppose -4*m + 31 - 7 = i. Let t be (-4)/m + (-4)/(-4). Which is bigger: -2/5 or t?
t
Let l(t) = -t**3 + 3*t**2 + 4*t - 3. Let w be l(4). Let n = 6 + w. Which is smaller: 2 or n?
2
Suppose 2*c - 20 = w - 5*w, -2*w = -c - 14. Let q = w + -10. Which is smaller: -3 or q?
q
Let k(u) = -4*u + 67. Let r be k(20). Are -15 and r equal?
False
Suppose -10*b + 11*b = -3, -5*k + b - 27 = 0. Which is bigger: k or -10?
k
Let v(x) = -x**3 - 7*x**2 - 5*x + 2. Let b be v(-6). Suppose 35*m - 33*m = -6. Is m at most as big as b?
False
Let t = 111/50 - 11/5. Is 0.1 not equal to t?
True
Let w = 0.03 - 0.33. Let i = w - -0.3. Let n = 0 + i. Which is bigger: -2 or n?
n
Let n be 20/8 - (-2)/4. Let p be 4/6*n/(-4). Which is smaller: p or 1?
p
Let a(q) = -q**3 + 3*q**2 + 2*q +