Let p = 1923/11 + -175. Which is smaller: p or l?
l
Suppose p + 0*p = 3. Suppose -1 - p = 2*w. Which is smaller: -1 or w?
w
Let i be 8/12*(-28)/(-3) + 0. Is 5 at most as big as i?
True
Let y = -68366/35 + 9378/5. Let k = 78 + y. Let d = 30 - 31. Do k and d have different values?
True
Let k = -3.06 - -0.06. Let p = 4 + k. Which is smaller: p or -1?
-1
Let t(u) = -2*u. Let j be t(-1). Let m be (-16)/(-2) + (-6)/j. Which is smaller: 4 or m?
4
Let q = 4.2 + -4. Let a = 0.1 - q. Let l = 203/495 + -1/99. Do l and a have the same value?
False
Let f = 13 + 0. Let m = 5 - f. Let l = m + 8.2. Is l at most as big as 4?
True
Let t = 3 + -3. Suppose 2*s = -t*d - d, -4*d = -5*s. Are d and -2 unequal?
True
Let a(c) = c**3 + 3*c**2 + 2*c + 1. Let g be a(-3). Is g <= -3?
True
Suppose -6*a = -5*a. Let c be -2 - 0 - (-20)/1. Let x be -1*(39/c + -2). Which is greater: x or a?
a
Let v = -1733/5 + 345. Let j(d) = -d**2 - 8*d - 13. Let u be j(-6). Is v equal to u?
False
Let y = 1 + -1. Suppose -2 + 0 = -4*h + 2*i, 0 = -2*h + 3*i - 1. Suppose 0 = -3*g + 2 + h. Is g less than or equal to y?
False
Let y = 8 + -10. Suppose 0 = 3*w + 2*q + 1, -2*q + 3 = q. Let u = w + 2. Which is greater: u or y?
u
Let y = 0.33 - -1.77. Let h = -2.1 + y. Is -0.14 greater than h?
False
Let z be (1/2)/(2/(-4)). Let k be (-30)/(-140) + 2/(-4). Is z >= k?
False
Let i be 1/(2*(-1)/(-10)). Suppose 19 + 0 = 2*j - 5*s, -i*s - 28 = j. Let l = -15 + 11. Which is smaller: j or l?
l
Let d = 2/45 + -4/9. Which is smaller: d or -1/25?
d
Let a = -54 - -41. Is a less than -14?
False
Let p = -857/4 - -31721/148. Let w = 176/111 + p. Let g be 2/(-1) + 1*4. Which is smaller: w or g?
w
Let c(l) = -6*l - 2. Let x be c(2). Let b be 46/x - 8/(-28). Is -5/2 < b?
False
Let v(q) = q**3 - 6*q**2 + 3. Let r be v(6). Suppose -r*g = -4*g. Which is smaller: -1/8 or g?
-1/8
Suppose 0*a - 3 = a. Which is smaller: 0.2 or a?
a
Let m(p) = -p**3 + p**2 + 4*p - 3. Suppose -2*k - 3*z = -16, 3*k - 6*z + z = -14. Let i be m(k). Which is greater: 1/7 or i?
i
Let m(g) = -g - 2. Let y be m(-5). Which is greater: 9 or y?
9
Let w(f) = -f**3 - 7*f**2 - 6*f + 3. Let h be w(-6). Suppose 2*v + 5*d - 14 = 8, -h = 5*v - 2*d. Suppose 4 = 2*y + 2*y. Do v and y have different values?
False
Let i = 12.5 - 13. Is 0 at most as big as i?
False
Let k(n) = -n**3 - 4*n**2 + 6*n + 4. Let j be k(-5). Which is smaller: j or -2?
-2
Suppose -2*l - 2*l = 0. Let f be l/((0 - 0) + 2). Let w = 3 - 3. Does f = w?
True
Let w = -1303/4 - -324. Suppose l + 5*z + 15 = -4*l, -3 = 5*l + 2*z. Let g be (5/(-10))/(l/2). Which is bigger: g or w?
g
Let f = -25 - -49/2. Let r = -1 + 2. Is r < f?
False
Let g = 12 - 1. Let v = g + -7. Let f = v - 6. Which is smaller: f or -2/5?
f
Let g(b) = b**3 + 9*b**2 + 7*b - 6. Let d be g(-8). Let t be 10*3/((-9)/24). Let o be 3/((-114)/t) - d. Which is smaller: 0 or o?
0
Let r be (-591)/532 + 2/(-8). Let p = r + 34/19. Which is bigger: p or 1?
1
Let a be 2 + (-3)/9*-3. Which is smaller: 21/5 or a?
a
Let r = 0 - -0.1. Let q = -2.3 + -6.7. Let w = -7 - q. Are r and w equal?
False
Let c be (-2)/((29 - -2)*3). Which is bigger: 0 or c?
0
Suppose -3*q - 12 = -21. Which is greater: 11/3 or q?
11/3
Let d = 4063/31 + -131. Which is bigger: 1 or d?
1
Suppose -h - 8*h - 90 = 0. Are -6 and h equal?
False
Let f be 1/5 - 9/(-5). Let x be f/(0 - 6/(-15)). Let a = -5 + x. Which is smaller: a or 2/11?
a
Let n = 130471/171 + -763. Is n less than or equal to 1?
True
Let k = -627/4 - -156. Which is greater: k or 0?
0
Let l(b) = b**2 - 5*b + 3. Let h be l(3). Suppose -3*q - q + 12 = 0. Suppose 0*a = q*a + 3. Which is greater: h or a?
a
Let q = -12 - -12.1. Let k = 3 + 1. Let r(h) = h - 4. Let b be r(k). Which is bigger: b or q?
q
Let d = -0.1 - -0.2. Let t be (-6)/(-16)*(7 - -67). Let q = 28 - t. Is d > q?
False
Let f be -2 + 3 + (-2)/1. Let s = f - -2. Which is smaller: s or 4?
s
Let g = 10417/23 + -453. Suppose 2*y + 2*d = -6 + 16, 0 = -4*y - 3*d + 15. Do y and g have the same value?
False
Let r(f) = f + 3. Let v be r(-3). Suppose 15 = -4*d + 5*i, 3*d - 3*i = -14 + 2. Which is greater: d or v?
v
Let i(s) = s**2 + 5*s + 1. Let k be i(-5). Let y(x) = 11*x + 2. Let b be y(-2). Let w be (-18)/b + 4/(-10). Which is smaller: k or w?
w
Let q(w) = w**3 - 3 + w + 0 + 4*w**2 - 9*w**2. Suppose 2*r = 6*r - 20. Let v be q(r). Which is smaller: 0 or v?
0
Let y = -16.9 - -17. Is y equal to 1?
False
Let d be 6/22*9466/(-3). Let x(v) = 122*v - 6. Let y be x(-7). Let f = d - y. Is f at most as big as 0?
True
Let c be -2 + -21 + (2 - -1). Do -19 and c have the same value?
False
Let d = 0 + 2. Suppose 2*a = -i + 23, -3*i - d*a - 7 = -4*i. Let v be -2 - (1 + (-48)/i). Is v <= 1?
True
Suppose 6*t = 4*t + 32. Let q = t + -25. Is -9 at least q?
True
Let c = 11 - 32. Let g be 3/c + 57/105. Is g less than 5?
True
Let b = -3 - -8. Suppose -10 = -b*m - g - 4*g, -5*m + 55 = -4*g. Let y be -2 + 0 + 16/m. Which is smaller: y or 2/11?
2/11
Suppose -2*q - 8 = 6*q. Do -1/10 and q have different values?
True
Suppose -5*i - 13 = 7, -u - 4*i = 16. Let a = -1 - u. Let j be (0 - (-3 - a)) + 2. Is j greater than or equal to 4?
True
Let m be (-3)/(3/16)*1. Let f be 6/21 + m/7. Let h be 9/(-2) + 5 + -1. Which is smaller: f or h?
f
Let j = 12 - 18. Which is greater: j or -5?
-5
Let t be 1*3 + 165/(-57). Is t at least as big as 1?
False
Let q = 183 - 914/5. Which is smaller: q or -1?
-1
Suppose 0 = -2*b - 5*y + y + 34, -3*y = -12. Let j(o) = -o**2 + 8*o + 11. Let n be j(b). Suppose -u - 3*u - n*q = -14, 3*u - 8 = -q. Is -1/5 > u?
False
Suppose 0 = -3*m - 15 + 3. Let w = m - -1. Let u = -6 - w. Which is smaller: u or 0?
u
Let r = -117/343 + -7068/90895. Let j = -1/53 - r. Which is greater: 1 or j?
1
Let q(y) = -y**3 + 11*y**2 + 12*y - 13. Suppose -z + 3*z = 24. Let d be q(z). Which is bigger: d or -12?
-12
Suppose 1 = -4*h - 3. Let o = -867973/52460 - 12/2623. Let k = -65/4 - o. Do h and k have the same value?
False
Let b be 15356/(-8040) - (-9)/6. Let k = 2/201 + b. Is k greater than 0?
False
Let k be ((-3)/9)/((-3)/9). Are -0.3 and k equal?
False
Suppose -2*j - 3*j = 0. Suppose j = -d + 87 + 21. Let x be (-1)/4 + 99/d. Which is smaller: 1 or x?
x
Let i = 0.6 - 0.61. Let v = i - -0.01. Let d = v + 0. Which is smaller: d or -0.6?
-0.6
Let a = 0 - -11. Let c = a - 13. Do c and 2 have different values?
True
Let r = -2/3 - -5/12. Suppose 4*b - 13 = 3. Suppose -b*x - 3 = -7*x. Is x greater than r?
True
Let w = 8 + -8. Suppose w*o + 2*o = 0. Is 4/5 equal to o?
False
Suppose -2 = -3*x - 4*r + 6, r - 2 = 4*x. Which is greater: x or 5/18?
5/18
Let a = -1.06 + 0.06. Let d = 4 + a. Let v = -2 + d. Which is bigger: v or 2/5?
v
Let r be (-2)/(-20) + -69*(-8)/80. Let h = 4 + -1. Is r bigger than h?
True
Let x = 18.08 - 2.98. Let s = x + -15. Let h = 2 - 2.1. Is h less than or equal to s?
True
Let g = 482/7 - 2312/35. Do 4 and g have the same value?
False
Let c be 60/27 - 4/18. Let z be c/5 - 1/(-10). Let h(f) = -f**2 - 5*f. Let t be h(-5). Which is smaller: z or t?
t
Let x(n) = n**2 + 9*n - 12. Let f be x(-10). Is f >= 0?
False
Let k = 0.06 - -18.94. Let t = -12 + k. Which is smaller: t or -2/7?
-2/7
Let y be (1/(-13))/(3/9). Which is smaller: 0 or y?
y
Let a = 31 - 78. Let b = a + 142/3. Is b equal to 0.5?
False
Let n = 18723/4 - 4637. Suppose -160 = -4*d - 4*t, d - 23 = 4*t + 37. Let y = n - d. Which is bigger: y or 1?
1
Let t = -1 + 0. Let z = 16 - 28. Let j be 4 + (-3)/z*0. Which is bigger: t or j?
j
Let o be 8/(-68) + (-2)/(-17). Is o < -1/5?
False
Let s = 4 - 4.01. Let q = 0.11 + s. Is q at most -4?
False
Suppose -4*b = -b. Which is greater: -2/53 or b?
b
Let x(b) = -b**3 - 7*b**2 + 8*b - 7. Let m be x(-8). Do -20/3 and m have the same value?
False
Suppose -8*z - 360 = -3*z. Do z and -71 have different values?
True
Suppose -4*j = -c - 1 + 8, -4*j = 8. Let f be (-5)/6 + c/6. Which is greater: f or -1/21?
-1/21
Suppose 17*w + 27 - 10 = 0. Let n be -6*5*(-3)/(-42). Which is greater: n or w?
w
Suppose x = b + 13 - 7, -b - 12 = 2*x. Is -10 not equal to b?
True
Suppose 0 = -z + 3*v - 13, -v + 3 = -7*z + 8*z. Which is smaller: z or -2/75?
z
Let w be 3/(-2) + (-1110)/(-756). Let l be (-2)/4 + 31/126. Let q = w + l. Is 1 < q?
False
Suppose 9 = -3*k + 2*v, -4*v - 8 = 5*k - 5*v. Let i be 2/2 + (-2 - k). Suppo