= -10 - -11. Which is smaller: p or 4/11?
4/11
Let n be 1 + (1 - 2) + -2. Let d be n - 0 - (-3 + -2). Suppose 0 = -0*l - d*l. Which is smaller: l or 6/7?
l
Let f = 3 + -1. Let v = f + -4. Let i = 4 + -6. Is v not equal to i?
False
Let m be ((-9)/(-6))/(3/6). Which is smaller: 2 or m?
2
Suppose d = 3*c - 30, -d + 2*c - 25 = -0*c. Let i be (-5)/d + (-10)/(-6). Suppose -i*s - 1 - 1 = 0. Which is smaller: s or -3/7?
s
Let w = -111 - -113. Let x = -4078/5 - -819. Is x not equal to w?
True
Let q = -0.07 - 0.13. Which is smaller: q or 4/5?
q
Let o(l) = l**2 - 1. Let v be o(3). Suppose v = 5*y - 12. Let d be (-5 + y)/((-2)/(-2)). Which is smaller: 1 or d?
d
Let j = -18 - -19. Is -2/41 equal to j?
False
Let q be ((-26)/(-39))/((-4)/18). Is -2 greater than q?
True
Let s be 35/(-36) - 8/(-36). Is -1 at most s?
True
Let k = 18.3 + 0.7. Let g = -14 + k. Which is smaller: 1/4 or g?
1/4
Suppose 29*y + 9 = 20*y. Let n be 1 - (11/5 + -1). Which is smaller: y or n?
y
Let f = 2 - 1. Let i = 1/311 - -587/10885. Is i <= f?
True
Let p = -12 - -12. Which is smaller: p or 2/5?
p
Let j(r) = -2*r**3 - 8*r**2 + 4*r. Let s(z) = -3*z**3 - 8*z**2 + 5*z - 1. Let w(b) = -4*j(b) + 3*s(b). Let n be w(8). Which is smaller: -10 or n?
n
Let d be 1 - -2 - 3460/1140. Are d and 1 equal?
False
Let c = 45 - 321/7. Let d = 15 + -15. Is c less than d?
True
Suppose -3*c + p = -4*p + 41, -51 = 5*c - 4*p. Are c and -6 nonequal?
True
Let z = 26 - 33. Is 0 less than or equal to z?
False
Suppose 2*w + 0*w = -16. Let b be 0 + w/10 + 1. Suppose 0*t = 4*t - 4. Which is bigger: t or b?
t
Let u = 191/3 + -61. Let h(r) = r**2 - 3*r + 2. Let t be h(3). Are u and t nonequal?
True
Suppose -j = 5*f + j + 85, 5*j = 25. Which is greater: f or -18?
-18
Let f = 1 + 2. Suppose -8 = -6*m + 10. Does f = m?
True
Let q = 4 - 5. Is q greater than 6/13?
False
Let n = 8.3 + -5.3. Which is smaller: 1/5 or n?
1/5
Suppose 0 = 4*n + h + 1, n + 14 = -5*h - 10. Let a be n/3 + 4/(-3). Let z = 5/81 - 283/648. Is a >= z?
False
Let z(k) = k**2 + 8*k - 1 + 10 + 0*k. Let x be z(-6). Is x at most as big as -3?
True
Let o(f) = f**2 - 3*f. Let x be 2/(-4)*-2*-8. Let g = -5 - x. Let i be o(g). Is i at most as big as -1/7?
False
Let l = -124 - -257/2. Is l > 5?
False
Suppose -6*l = 11 - 29. Suppose y = 5 - 2. Is y < l?
False
Let f(o) = -4*o - 7. Let v be f(-2). Are -1/28 and v equal?
False
Suppose -4*k + 2*k - 156 = 0. Let y = k + 1172/15. Is y <= 0?
False
Let x = 3253/21 + -155. Suppose p + 33 = 32. Is x less than p?
False
Let o = -11/63 - 1/21. Is o bigger than -0.2?
False
Let t = -121/4 - -621/20. Let u = 0 - -3. Suppose -7 = n - u*a + 6, 5*n + 15 = 5*a. Which is smaller: t or n?
t
Let j(l) = -l**2 - 4*l + 5. Let s be j(-4). Suppose -s*t = -t + 2*b - 22, -3*t - 4*b = -19. Does t = 5?
True
Let s be (-9)/7 - 1/(-1). Suppose 2*f - 7 = -1. Suppose 4*d - 3 = 2*q + 5, d = -f*q - 12. Which is smaller: d or s?
s
Suppose -2*l - 5*k = 35, k - 14 = 5*l + 6. Is -5 less than or equal to l?
True
Let f(r) = r**2 - 5*r + 9. Let u be f(5). Suppose -c = -2*s - u, -s + 3*c - 18 = -1. Let l = 31/2 + -16. Which is bigger: l or s?
l
Let w = -60.1 + 60. Is w at least as big as 4?
False
Let q be 1 + 0 - (-7)/(-8). Let c be -3 - (-2 - (2 - 6)). Let w(z) = -z**2 - 5*z. Let h be w(c). Is h at most q?
True
Suppose -5*z + 4 + 1 = 0. Let u be -2 + 1 - 3/z. Let d be (-3 - u)*(-1)/(-3). Which is smaller: 1 or d?
d
Suppose -5*q + 3*q - 34 = 0. Is -17 at least q?
True
Let z = 7/25 + -17/25. Let l = -0.086 + 6.886. Let c = 7 - l. Does c = z?
False
Let g = 1201/7 - 172. Suppose 6*x - 2*x = 4. Is g > x?
False
Let x(l) = l**3 + 8*l**2 - 10*l - 10. Let f be x(-9). Which is bigger: -1/3 or f?
-1/3
Let m = -576/1465 + -2/293. Let a(p) = 2*p - 1. Let r be a(-1). Which is smaller: m or r?
r
Let t(j) = -2*j + 19. Let s(w) = w - 9. Let m(p) = -13*s(p) - 6*t(p). Let k be m(7). Let a be 58/(-18) - (-2)/9. Which is bigger: k or a?
a
Suppose 3 = -4*d - 3*f, 4*f + f = -5*d - 5. Which is smaller: -1 or d?
-1
Suppose 2*c = 5*t - 20, -3*c = -4*t + 2 + 14. Let v be ((t/(-9))/1)/(-2). Which is bigger: v or 0?
v
Suppose -32 = 6*s + 2*s. Does -4 = s?
True
Let v = 1 - -1. Suppose -j = -4*i - 6, -2*j - 5*i - 4 = -5*j. Let f be j/(-4)*(0 - -1). Which is smaller: f or v?
f
Let f(a) = -a - 1. Let m be f(-4). Suppose m*h - 10 = -2*h. Let j be 12/(-9)*3/h. Which is smaller: j or -1/2?
j
Let c = -212 + 310. Is 97 >= c?
False
Let p be 3/(-44)*(-13 + -3). Is 0 at most as big as p?
True
Let m be (-2)/28*1*6. Suppose -t = t - 4, 0 = 3*b - 4*t + 5. Is m < b?
True
Let l be (-2)/(-42) + 20/70. Let o = 2 + -2.1. Is l less than o?
False
Suppose -16*y = -19*y - 3. Is -3/46 <= y?
False
Suppose -15 = 3*u + 5*x, -2*x - 2*x - 12 = 0. Suppose 0 = a + 5*q - 1, 4*q = -9*a + 10*a - 1. Which is greater: u or a?
a
Let u = -0.1 + 1.1. Let q be ((-32)/(-20))/(1/(-5)). Let c = -6 - q. Which is smaller: c or u?
u
Suppose y = 4*y - 117. Suppose 3*x = -5*m + y, 5*m + 0*m = 3*x + 21. Are 5 and m nonequal?
True
Let m = -1 - -0.4. Let q = -0.66 - m. Is -1 > q?
False
Suppose -5*p + 2*t + 3 = -10, -2*t - 10 = -4*p. Let k = p - 1. Let h be (3 + -3)/(k/1). Which is greater: h or 10/9?
10/9
Suppose -u - 8 = -5*u. Let c be u/(-1) - 35/(-15). Which is smaller: c or 1/4?
1/4
Let g = -3.85 - 0.15. Let r = -5 - g. Are r and 4/5 equal?
False
Let f = 6 - 4. Suppose 0 = -5*t + 45 - 20. Let q be (t/(-15))/(f/(-12)). Is q >= 3?
False
Let d be 9/4 + 1/(-4). Let g be (5 - d/1) + 2. Let h = -3 + g. Which is bigger: h or 1?
h
Let v = -31/270 + -1/54. Are 1 and v equal?
False
Let q = 53 - 54. Suppose -2*a - 1 - 17 = -2*b, -4*a = 4*b + 12. Let u be ((-1)/3)/(8/a). Is q equal to u?
False
Suppose -4*w = 2*k + 92, -2*w - w - 4*k = 69. Does w = -24?
False
Let q = 2.3 - 1.3. Is -6 at least as big as q?
False
Let z be (-1*55)/(-9 + 10). Is -56 not equal to z?
True
Let l be (1 - (-48)/(-4)) + -3. Which is bigger: -15 or l?
l
Suppose 3*l + 9 = 0, -3*z + 6*z - l = 27. Suppose 3*y + 10 = -4*g, 3*g - g = 5*y + z. Which is greater: -2/5 or g?
-2/5
Suppose 0 = -4*t - 4. Let b(p) = 5*p**2 - 8*p + 5. Let n be b(5). Let u be (-76)/n + (-4)/(-10). Which is greater: u or t?
u
Let q(x) = x**3 + 6*x**2 - x. Let w be q(-6). Let t be ((-4)/w)/(20/(-15)). Do t and 0 have different values?
True
Let m(k) = -k. Let o be m(-3). Let r be (o/(-45))/((-2)/6). Is 1 <= r?
False
Suppose -4*d + 95 = -29. Which is bigger: d or 30?
d
Let r = -77 - -79. Which is bigger: r or 6/5?
r
Let o = -17/89 - 919/1246. Let i = 199/154 + o. Which is smaller: i or 0?
0
Suppose 2*z + 67 = 5*m - 2*z, -4*z = -2*m + 22. Is 15 bigger than m?
False
Let v = 41 + -41. Which is smaller: v or 0.7?
v
Suppose 48 = -0*f + 3*f. Suppose 4*m - 5*l = 15 + 23, -3*l = -3*m + 27. Suppose -v - m = -2*q - 2*v, 5*q = -2*v + f. Which is greater: 1 or q?
q
Suppose -207 = 17*z - 20*z. Which is greater: 139/2 or z?
139/2
Let q = -67 + 70.1. Let s = q - 6.2. Let y = -3 - s. Is 2/5 <= y?
False
Let u = 4.05 - 0.05. Let d = 3.835 - -0.065. Let m = d - u. Which is bigger: -0.7 or m?
m
Let n be (10/25*-1)/(6/10). Which is smaller: n or -1?
-1
Let j = 2 + -4. Let f = 4 - 12. Let r be ((-2)/(-4))/((-12)/f). Are r and j unequal?
True
Let q = 31 + -16. Suppose 0 = -4*m - q + 71. Is 13 >= m?
False
Let u = 587/15 + -114/5. Let m = u - 16. Suppose 3 = 3*x - 0. Is x at least m?
True
Suppose 0 = -2*p + 3*p - 3. Let o = p + 3. Suppose o*v = 3*v. Is 0 >= v?
True
Let h = 5 + 4. Let g = 10 - h. Let s be 20/(-15) + 2/g. Which is greater: s or -2/5?
s
Suppose 2*b = -4*z + 8, -z + 4 = b - 0*b. Let s = 9 - 4. Suppose b*h = -h - s. Does h = -0.1?
False
Suppose 0 = 3*y - 3*j - 9, 4*j + 11 - 1 = 2*y. Is -1/14 < y?
True
Suppose -15 = 3*v + 3*m, -v + m + 3 = -2. Is -4/23 < v?
True
Let k(w) = w**2 - 2. Let n be k(2). Suppose 2*p + 0*p - 227 = 5*r, 0 = -2*r - n*p - 88. Let f be 100/r - 2/(-9). Is -1 != f?
True
Suppose 37 = 3*f + 31. Which is smaller: 28/13 or f?
f
Suppose 0 = -k + 2. Suppose -2*n = -2*i + n + 7, 2 = 4*i - k*n. Which is smaller: 2/19 or i?
i
Suppose 0*v = 3*i + 4*v - 10, 3*i - 5*v = 1. Suppose 0 = i*k - 6*k, 12 = -l + 4*k. Let s be ((-2)/l)/(2/8). Is s >= 0?
True
Let q(i) = -i**2 + 2. Let w be q(-3). Which is greater: -23/4 or w?
-23/4
Let c be (28/(-42))/(22/(-3)). Which is greater: c or 0?
c
Let c = 5 - 17. Let d = c + 12.