= 10 - 6. Suppose -4*s = -5*d - 2, 5*d + n*s - 18 - 4 = 0. Is g <= d?
True
Let s be (-2)/(-10) + 477/(-135). Which is smaller: s or -2?
s
Let o = -1 - 3. Let u = o + 4. Let a = 4 - 3. Is u < a?
True
Let g = 8.7 - 8.5. Which is smaller: g or 1/16?
1/16
Let w be (1/3)/((-17)/459). Is w <= -10?
False
Suppose 4*p + 8 = 5*p. Let s = -8 - -13. Let d = s - p. Which is greater: d or -2?
-2
Let g = 1.8 + -1.5. Which is smaller: g or 0?
0
Suppose -4*u + 31 = 2*i + 3*i, -52 = -3*u + 2*i. Suppose 4*v - 2 = u. Which is smaller: v or 0?
0
Let x = 17 + -16. Does x = 0?
False
Let o = 3 - 1. Suppose o*n + 6 = -0*n, -3*n - 9 = i. Suppose 0 = -i*q - 2*q. Which is smaller: q or 2?
q
Let s(l) = l**3 + 8*l**2 - 10*l - 4. Let q be s(-8). Suppose -4*v - q = -0*v. Let u = 97/5 + v. Are u and 0.2 non-equal?
True
Let h = -10 - -23. Let f = 14 - h. Which is smaller: -2/11 or f?
-2/11
Let w(h) = -h**2 + 5*h + 5. Let f be w(6). Is -11 <= f?
True
Let p be (-6)/(-15) + (-28)/(-5). Let i be 1/2 + (-3)/p. Is i equal to 2/7?
False
Let f be 0/(1 - 2) - -5. Suppose 0*h = f*h. Let a be h - -1*(0 - -3). Which is bigger: a or 2?
a
Let l = -130 + 128. Which is smaller: 0.12 or l?
l
Let l = 5 + -11. Let d = -9 - l. Do 2 and d have the same value?
False
Let y = 1 + 1. Let q(u) = -u + 2. Let n be q(2). Let m be -2 + (2 - (n + -2)). Is y less than or equal to m?
True
Let y(b) = b**3 + 3*b**2 - b - 6. Let x be y(-5). Let v = x - -155/3. Suppose 4*k - 3*z + 6 = 0, 2*k - 5*z = -2*z - 6. Is k greater than v?
False
Let p = 0.04 - -1.96. Let z = 0 + p. Let a = -0.9 - -1. Which is bigger: a or z?
z
Let i = 23 + -22. Which is smaller: i or 9?
i
Let b be 6/(-12) + 33/2. Suppose -2*n - 3*p = 2*n - 14, 0 = 2*n - 3*p - b. Let u(s) = -s**2 + 5*s - 2. Let i be u(n). Is i greater than or equal to -2?
True
Let d = -4 - -9. Suppose r = 3 + d. Let v be (-1)/2 + (-20)/r. Is -3 < v?
False
Let i be -3*(2 + -1) - (-84)/(-2). Is -45 <= i?
True
Let u be ((-72)/(-20))/((-1)/(-10)). Let z be -1 - (u/1 + 3). Let b be 4/(z/(-14)) - 1. Is b less than -1?
False
Let z(u) = -u**3 - u**2 + 3*u + 3. Let l be z(-2). Let i = -2 + l. Let n be (-30)/50 - (-46)/110. Is i smaller than n?
True
Let w be 1 - (3/5)/((-22)/10). Which is smaller: 2 or w?
w
Let u(a) = a**2 + 3*a - 1. Let n be (-1)/((-2)/3 + 1). Let q be u(n). Let g be (q/4)/((-2)/4). Is g bigger than 0.2?
True
Let l = -22.1 - -22. Does l = -0.06?
False
Suppose n + 0*v - 5*v + 19 = 0, -4*n = -v. Let m be n*(-4 - -2) + -1. Suppose 4 = -0*l - l. Which is bigger: l or m?
m
Suppose -3*y = -0*y - 6. Suppose i + 9 = -3*d, -3*d = 4*i - y*d - 8. Is i bigger than 0.2?
True
Let h = 0.7 - 2.7. Let u = -3 - h. Is u less than 1?
True
Let a be 3*(-3)/6*-8. Suppose -j = 3*s + 10 - 1, 4*s = 2*j - a. Let z be (-3)/(2/(0 - -1)). Is s at least z?
False
Let j be (-38)/(-240) + 8/(-40). Which is bigger: j or 0?
0
Let c be (-3)/(-2)*(1 + 3 + -6). Let r be ((-314)/(-4))/(102/2). Let x = 2/51 - r. Is x less than c?
False
Let w be ((-286)/(-33))/(2/(-3)). Let l be 21/((-1)/2 - 1). Is w less than l?
False
Let m = 3034/217 + -2010/31. Let k = m + 8216/161. Let r = k + 34/69. Which is smaller: r or -0.4?
-0.4
Suppose 4*j = -4*y - 23 - 1, 5*y + j + 10 = 0. Does y = -3/13?
False
Suppose 8 = -6*o + 10*o. Is 4 != o?
True
Let v be (-3)/30*((-4)/(-1) - 0). Suppose 0 = -3*i + 15, 5*i - 12 - 8 = w. Which is smaller: w or v?
v
Let f be 1118/130 + 4/10. Is f greater than 8?
True
Let v be 1/5*5876/6. Let d = 196 - v. Suppose 0 = l + 2*l. Is l not equal to d?
True
Let l be ((-3)/6)/(15/6). Which is smaller: -3 or l?
-3
Let o be 32/3 - 3/(-9). Suppose -4 = 3*h + o. Are -5 and h nonequal?
False
Let v = 24/17 - 103/85. Let y(t) = t**2 + 6*t - 3. Let z be y(-6). Let b be 2*((-6)/(-4))/z. Which is bigger: v or b?
v
Suppose 4 = -p + 5*o - 2*o, -2*o = 4*p - 12. Let r be 11 + p + 0 + -1. Suppose 24 = -3*g + 3*f, g + r = -3*f + 5*f. Which is bigger: g or -3?
-3
Let q be 138/30 + (-2)/(-5). Let z = 5 - q. Is z != 2?
True
Let v = 5 - 8. Let o be 2/v - 7/3. Let p = 3 + o. Which is greater: p or -2/7?
p
Let d = 0 - -3. Suppose 0 = -i + 5*n + 12 - 0, -3*i - 3*n = 0. Let w be ((-6)/d)/(i - 4). Which is smaller: -1 or w?
-1
Let f = 138 + -139. Is f at most as big as -6?
False
Let c(a) = -a - 7. Let w be c(-8). Which is smaller: -2/15 or w?
-2/15
Let b = -12.4 + 14. Let f = b - -0.4. Let c = -3 - -2. Which is greater: f or c?
f
Let x be (-1)/3 + (-10)/(-3). Let i(j) = -j - 4. Let o be i(-8). Suppose 0*y - 20 = -3*p + o*y, 5*p = x*y + 15. Which is smaller: p or -4/7?
-4/7
Suppose t + 4*s - 17 = -0*s, 19 = -t + 5*s. Let i be 0 + 2 + (-7)/3. Which is smaller: i or t?
i
Suppose -2*m = -4*m. Which is smaller: m or 1/20?
m
Let c = 4 + -5. Let o = 3 + c. Let q = o - 2. Which is bigger: -2/9 or q?
q
Let b be (1 + (0 - 0))/((-5)/(-2)). Suppose -26 = 3*c - 4*l, -5*l + 33 = -3*c - c. Let s be (c + 1)*(1 - 0). Which is greater: s or b?
b
Suppose -5*i + j - 21 = 5*j, 5*i = -5*j - 25. Suppose -500 = -4*h - h. Let f = 803/8 - h. Which is greater: i or f?
f
Let l be 7/4 - 30/40. Let s = 0.12 + -10.12. Is l less than or equal to s?
False
Let j = -40/117 + 1/9. Are j and 0 equal?
False
Let v = 158226 + -2058015/13. Suppose -k = -0*k - 83. Let w = v + k. Does -1 = w?
False
Let h = 90 - 1169/13. Is h less than 0?
False
Let z = -1.2 - -1.68. Let j = -0.02 - z. Let l = j + 0.45. Which is smaller: l or 1?
l
Let r = 0.2 - -1.8. Suppose -2*m - 1 + 5 = 0. Suppose -m*k = 3*k. Which is bigger: r or k?
r
Let b = -73.1 + 73. Let h = 0 - -1. Are b and h non-equal?
True
Let r be 2/(4/(-3))*-4. Suppose 0*s - r = 3*s. Let u be ((-4)/10 - s) + -1. Is u >= 0?
True
Let x(f) = 3*f**3 - 3*f**2 + 4*f - 5. Let j be x(2). Let a = 14 - j. Suppose -2*i - 2*i = 0. Are a and i unequal?
True
Suppose -4*c - h - h = -16, c - h - 4 = 0. Let t = -10 + c. Which is greater: t or -5?
-5
Let g be ((-1 + 1)/3)/(2/(-1)). Is g smaller than 5/19?
True
Let o = -0.42 + 0.02. Let s = 0.22 + -0.12. Is s greater than or equal to o?
True
Suppose -4*u + 40 = -0*u. Let j = 12 - u. Which is greater: j or 1?
j
Let y be (-3)/42*1*6. Suppose -a = -3*a. Which is greater: y or a?
a
Suppose j = -5*m + 27 - 97, 3*m - 2*j + 42 = 0. Which is greater: -15 or m?
m
Let b(l) = 2*l + 3. Let k be b(-3). Let p be 0/(4 + k + 1). Which is smaller: p or 2/3?
p
Let h be -1*5*2/(-5). Let y be (-20)/70 + 2/7. Is h at least as big as y?
True
Let h = -17137/2 - -8729. Let p = h - 164. Which is bigger: -4 or p?
p
Let x = -2 + 4. Suppose 0 = u + x + 4. Which is smaller: -7 or u?
-7
Let w = 1 + 4. Suppose -p + w = -y - 0*p, 8 = -2*y + p. Let x(l) = -l**3 - 3*l**2 + 2*l + 2. Let c be x(-3). Which is smaller: c or y?
c
Suppose 5*v - 7 = 5*s - 37, -5*s + 9 = 2*v. Is -25/6 < v?
True
Let h be ((-3)/(-12) + -1)*2. Let d = h + 7/6. Let v = 2 - 3. Is v less than or equal to d?
True
Let p(s) = 7*s**3 - 2*s**2 - 11*s + 1. Let y(l) = 13*l**3 - 3*l**2 - 21*l + 2. Let a(d) = -11*p(d) + 6*y(d). Let j be a(-5). Is j greater than or equal to 0.4?
True
Let v(y) = y**2 + 6*y + 5. Let a = -11 - -6. Let l be v(a). Let s = 65 - 586/9. Is s > l?
False
Suppose 8*g + 8*g = -16. Let n be ((-1)/2)/(23/(-2)). Is g at most as big as n?
True
Let c(m) = -m**3 + 6*m**2 - 4*m + 5. Let r be c(5). Let z be (-4)/10 - 596/60. Let h = r + z. Which is greater: -1 or h?
h
Let x(y) = y**3 - 8*y**2 + 4*y - 2. Let j be x(8). Let t be (8/10)/(2/j). Let u be (t/10 - 1)*-3. Is -2 bigger than u?
False
Let f = -3.868 - 0.032. Let r = -4 - f. Is 0 not equal to r?
True
Let m = 1 + -3. Are m and -2 equal?
True
Let s = -12733/4 - -3225. Let z = 58 - 17. Let q = z - s. Which is greater: 0 or q?
0
Let y = 0.2 + 0.6. Let h = -1.1 - -0.1. Let j = h + y. Is 2/7 less than j?
False
Suppose 1 + 4 = 5*z. Let r = -3 + 6. Suppose 4*b = r*b + 5*o + 20, 0 = -4*o - 16. Is z at least as big as b?
True
Let y = -2 - -3. Let r = 410608/7385 + -2/7385. Let t = r + -56. Which is smaller: t or y?
t
Let f = 14 + -8. Which is smaller: f or 5?
5
Let d = -2.4 - -2.2. Is -1/6 less than or equal to d?
False
Let n = -496 + 506. Suppose -2*d + 2*v + 41 = 3*v, 3*v = -4*d + 83. Suppose -o = o - d. Is o greater than or equal to n?
True
Suppose -3*f = 2*f + 5. Which is smaller: f or -2/7?
f
Let l = 8 - 10. Is l < -3/2?
True
Let y = 90 - 56. Which is smaller: 0.1 or y?
0.1
Let o be (1/(-2))/((-1