*l + 20 = -0*l. Let c(y) = 2*y + 210. Let b be c(0). Let g be 4/22 - b/66. Is g smaller than w?
True
Let g(y) = y - 3. Let t be g(-5). Let f = t - -12. Suppose 2*z + 0 - 8 = 0. Does z = f?
True
Let x = -10 + 10.14. Let a = -0.14 + x. Which is smaller: a or -2?
-2
Let n = -5/702 + -3967/34398. Let b = n + -8/49. Let q = -0.1 + 0.2. Do q and b have the same value?
False
Let g be 1502/24 - 2/6. Suppose 10*h - 310 = 5*h. Let s = h - g. Which is bigger: s or -1?
s
Let j be (0 - -3) + 175/(-58). Let r = -237/290 - j. Which is smaller: -2 or r?
-2
Suppose o = -5*g + 13, -g + 2*o = -2 + 6. Let v be (-32)/180 + g/(-9). Is 1 > v?
True
Let x be (1/3)/(13/(-3)). Let g be (2 - 1)*(16 - 13). Suppose k = -3*j + 2*k + 7, 17 = -g*j - 5*k. Which is smaller: j or x?
x
Suppose -4*s + 0*s = 0. Let f = -1/45 - 1/5. Is s smaller than f?
False
Let d = -2 + 1. Let u(z) = 5*z**2. Let j be u(d). Let k be (-10)/4*1/j. Is k < 0?
True
Suppose 3*n - 13 = -2*d, -3*n + 2 = 3*d - 10. Which is bigger: d or -13?
d
Let g = 1.9 + 3.3. Let d = -5 + g. Is d at most 0.2?
True
Let f(b) = 14*b**2 - 5*b - 9. Let q(i) = 5*i**2 - 2*i - 3. Let g(y) = 6*f(y) - 17*q(y). Let r be g(2). Is 1/27 at most r?
True
Suppose -5*a + 6*a = 4. Does a = 3?
False
Let a be (-4)/5 - 8/12. Let k = a - -109/105. Suppose 1 + 6 = -7*l. Do l and k have the same value?
False
Let a(z) = z**2 - 7*z - 14. Let k be a(7). Is -14 at most as big as k?
True
Let m be 2 + 2*(-5)/2. Let q be (-1264)/42 + m/9. Let c = q + 30. Is -1 greater than c?
False
Let s(u) = -u + 4. Let p be s(6). Let m be ((-15)/(60/16))/1. Which is smaller: p or m?
m
Suppose 3*m - 2 = 5*k + 22, 0 = 4*k + 4*m. Let f = 6 + k. Which is smaller: f or 1/2?
1/2
Let u be 15/42*4/5. Let p = 0 + 0.1. Which is smaller: u or p?
p
Let j = -26 - -38. Is j > 11?
True
Let r(w) = w**3 - w + 3. Let g be r(0). Let t = g - 2. Suppose 5*a + t = -24. Which is greater: -4 or a?
-4
Let m = -0.088 + -0.012. Are -1/4 and m nonequal?
True
Let z = -18 - -4. Let i be z/(-6) - 1/3. Let m = 287/4 - 71. Which is smaller: i or m?
m
Let a(w) = -w + 9. Let g be a(7). Let m be 1 + g + -1 + -7. Let o be (8 + -2)/(-1)*1. Is m > o?
True
Let l be 14/(-4) + 5 + -1. Let b = 4.2 - 4. Which is bigger: b or l?
l
Let x(k) = 2*k - 4*k + 5*k - 2. Let p be x(2). Suppose -9*d = -p*d. Is 0 at most d?
True
Let p be ((-6)/4)/(3/(-44)). Let r be 4/p - (-6)/(-33). Let m = 33/2 + -91/6. Which is greater: m or r?
m
Let w be (30/20)/(60/1514). Let s = -145/4 + w. Let k be 2/4 - (-5)/2. Is k > s?
True
Suppose 5*y + 34 - 4 = 0. Let h be 6/27*y/(-8). Which is bigger: -1 or h?
h
Let z(j) = -3*j**2 - 3*j + 2. Let l be z(1). Let o be (l/1 - -3) + 1. Which is smaller: -7/5 or o?
-7/5
Suppose -2 = -2*f - 4. Let w = -2 + f. Let l(r) = r**3 + 4*r**2 - 4*r + 3. Let z be l(-5). Do w and z have the same value?
False
Let w = 5 + 25. Let r be (-20)/6*w/25. Is r at least -2?
False
Let n be 3*(-3)/(-378)*2. Which is smaller: 2 or n?
n
Suppose 70 + 5 = 5*s. Suppose -5*o = -5*m - s, -4 - 6 = 2*m. Let u be (6/(-4))/((-63)/(-12)). Which is greater: o or u?
u
Let s be (-1 + 0/(-2))*-8. Let u be (-7)/(70/(-4)) + (-7)/5. Let x be (u + 17/18)*s. Which is smaller: x or 1?
x
Let p = -5 - -4. Let m be p/(-3) - 24/(-9). Let a be (-5)/m - 1/3. Which is smaller: a or 0?
a
Let a(w) = w - 4. Let f be a(8). Suppose 2*b + 16 = -f*y, -b - 2*y = -4*b. Suppose -4*p = -0*p + 8. Is b < p?
False
Let r(y) = y**3 - 5*y**2 + 3*y + 3. Let s be r(2). Let w = -0.41 - 1.49. Let x = w - -2. Which is greater: s or x?
x
Let l = -2 - -6. Let b be (-2 + 12)*1/l. Which is bigger: 3 or b?
3
Let w = 3 + -2. Let v(m) = m + 3*m - 2*m + 0 - w. Let z be v(1). Which is bigger: z or -1/5?
z
Suppose -4*s - 2 - 2 = 0. Let o be 2/6 - (-70)/15. Suppose k - o*k = 4. Are k and s nonequal?
False
Let h be -2 - (1 + -2 + 0). Let f = -1 - h. Let g be f + -1 - (-3)/2. Is g not equal to -1?
True
Let d(h) = h**2 - 20*h - 96. Let j be d(24). Let r be (-2)/7 - (-46)/14. Do r and j have the same value?
False
Let v(a) = a**3 - 6*a**2 + 5*a + 5. Let s be v(5). Suppose -2*u = -d - 3, -5*d = -s*u - 2 - 3. Let x = u + -8. Is x at least -5?
True
Let b be (1 - 3)/(2 - 4). Let y = 650/11 - 14200/231. Let n = -12/7 - y. Which is smaller: n or b?
n
Suppose -6*g + 9 = -3*g. Suppose 0 = g*m - 5 - 1. Let b(f) = -f**2 + 3*f + 2. Let v be b(3). Do m and v have different values?
False
Let h = -21.02 + 0.02. Let g = h - -34. Are 0 and g equal?
False
Suppose -v + 4*v = 21. Is v not equal to 8?
True
Let p be 18*-4*(-1)/12. Let m be (15/5)/(p/(-4)). Are -3 and m equal?
False
Let w be 6/(-30)*22*1. Let s be -5 - (-3)/(-1 + 4). Let z = s - w. Which is smaller: z or 0?
0
Let y = -0.0193 + 3.0093. Let x = y + 0.01. Which is smaller: -2/3 or x?
-2/3
Let n = 1 - 1. Suppose 8*b - 4*b = 0. Let u be (b + 2)*-1 - -2. Is n greater than u?
False
Let k = 0 - 4. Let t = -4.4 - k. Let x = -0.5 - t. Is 1/4 at most x?
False
Let x be -4 - (1 - 3) - -1. Are -2 and x nonequal?
True
Let c(b) = 11*b**3 + b. Let s be c(-1). Let v be ((-8)/s)/((-8)/2). Let m = -30/13 + 236/91. Is v at most m?
True
Suppose 5*y = -70 - 80. Let o be ((-57)/y - 2)*14. Is o != 0?
True
Let y(g) = 2*g - 1. Let t be y(4). Let a(d) = -d**2 + 8*d - 10. Let s be a(t). Are -2 and s equal?
False
Let f = 627/4 + -5669/36. Let u = f + 1/18. Is u >= 0?
False
Suppose 5*t = 4*t + 2. Suppose -2*f + 6 = t. Suppose -3*a = 3*g - 9, -3*g + f = -4*a - 0. Is 1 at most as big as a?
True
Let i(q) = q - 5. Let t be i(-5). Let w(s) = -s**2 - 11*s - 3. Let l be w(t). Suppose -6*y = -5*y - l. Do y and 6 have different values?
True
Let s(u) = u**3 + u**2 - u + 3. Let b be s(0). Suppose 0 = 3*x - 3*h - 21, 0 = -2*x - 4*h + 7 - 23. Which is greater: b or x?
b
Suppose 4 = -39*t + 40*t. Which is smaller: 2 or t?
2
Suppose 3*z - 24 = -4*j, z = -z + 2*j + 2. Suppose 3*m = z*o + 6, -4*m - 2*o - o = 17. Is -1 bigger than m?
True
Suppose -205 = -3*m + 128. Let c be (-3 + 1)/(m + 0). Is -1 not equal to c?
True
Let c(w) = -w - 8. Let t be c(-6). Let i be 4/t + (-122)/(-16). Let y = 413/72 - i. Is y >= 1?
False
Let j = -44/9 + 4. Is -1 greater than or equal to j?
False
Let a = -264752/353 - -750. Is -1 at least as big as a?
False
Let u = -0.18 + -3.82. Let z = 2 - 1.9. Which is greater: z or u?
z
Let h be 2/(-12) + (-28)/(-24). Which is bigger: h or 4?
4
Let v = -13 - -4. Let z = v - -31. Which is bigger: z or -1/3?
z
Let h = 2/41 + -96/287. Is 1 greater than or equal to h?
True
Let h(s) = s - 5. Let z be h(4). Let v = -115/3 + 38. Is v greater than z?
True
Let z = -90/17 + 1727/323. Suppose -7 = t + 4*l, -t + 3 - 8 = 3*l. Is z greater than or equal to t?
False
Let r be ((-115)/(-51))/(-5) - 0. Let p = -2/17 - r. Is -1 != p?
True
Let g(y) be the third derivative of -y**6/120 - y**5/60 + 2*y**2. Let i be g(-1). Suppose 0 = 4*a - a - 6, 3*j + 4*a - 5 = i. Is 0.1 greater than or equal to j?
True
Suppose 4*a + 34 = -3*y, 2*y = 5*a + 7*y + 45. Let n = a - -8. Does n = 1/13?
False
Let s = -1.1 - -1.3. Which is smaller: -1 or s?
-1
Let m = -10 + 12. Is -0.06 >= m?
False
Let s = 5.5 - 5.33. Which is smaller: s or 0?
0
Let z(w) = -w**2 - 4*w - 1. Suppose 5*o - 5*h + 0*h = 0, -4*o + h - 9 = 0. Let x be z(o). Which is greater: 0 or x?
x
Let z be 6/(-8)*(-15)/9. Which is smaller: z or 0?
0
Let a be (-6)/(-2) + 64/(-40). Which is smaller: -0.2 or a?
-0.2
Let d(k) = k**2 + 6*k - 2. Let s be d(-6). Let x = -4 - s. Let r be (2 - (-4)/(-1))/x. Is r equal to 1/6?
False
Suppose 5*u = 3*p + 7, -p + 4*p + 9 = 3*u. Which is greater: u or -2/107?
-2/107
Suppose 0 = -3*j + 2*j + 1. Is 3 <= j?
False
Suppose -6 = 5*k + 4. Suppose 36*a - 28*a + 24 = 0. Which is greater: k or a?
k
Suppose -44 = -0*g + 2*g. Let b be ((-3)/g)/((-2)/(-4)). Is b less than or equal to -1?
False
Let m = 655/7 + -93. Which is smaller: 1 or m?
m
Suppose 3*m = 2 - 8. Let o = m + 1. Is o != 2/19?
True
Suppose -b = 2*b. Let y(l) = 2*l**2. Let w be y(b). Is w >= -2/51?
True
Let w be 1/(-4 + 0 + 5). Is 1/10 equal to w?
False
Suppose -5*v + 4 = -0*s - 3*s, 2*s - 4*v = -4. Let t = 1 - s. Let a be (t/2 - -2)/(-3). Is a at least -0.1?
False
Suppose -3*q = q. Let j be (-60)/(-9) - (-4)/(-6). Suppose j + q = -2*t. Which is bigger: t or -4?
t
Let h = 6 - 3. Suppose i = -h*i. Let j = i + 2. Which is greater: j or 2/3?
j
Let x(a) = 7*a**2 + 3*a +