(-102)/18 + 6 + 8/(-6). Is d smaller than -7?
False
Let g be (-22)/(1 + (-1 - 1)). Suppose 69 = d - g. Let i be d/(-35) + 3/5. Is i at most -2?
True
Let g = -19636 - -28531106/1453. Which is smaller: -1 or g?
-1
Let c = -0.2 - 0. Let i = 0.13 + c. Let o = i + 0.08. Which is smaller: -1 or o?
-1
Let t = 1/1360 - -103/7888. Let i = -139/435 - t. Let c = 1.8 - 1.2. Is i equal to c?
False
Let h(k) = 0*k - 16 - 4*k + k**2 + 11*k + 4*k. Let v be h(-13). Let u be ((-8)/v)/((-4)/20). Are -2 and u equal?
False
Let y = 458 + -6415/14. Suppose -5*m + 3*m + 2 = 0. Which is smaller: m or y?
y
Let z(q) = -q**3 - 19*q**2 - 54*q - 34. Let k be z(-16). Is k not equal to 62?
False
Let u be 5/20 + 4/(-24). Suppose c = -3*a - 0*c - 2, 0 = -2*c + 8. Let q be (a/(-6))/(1/3). Which is smaller: q or u?
u
Let f be (24/9570)/(16/40). Are 1 and f nonequal?
True
Let v = 440/2061 - -2/229. Which is bigger: 0.5 or v?
0.5
Let s = 114 + -114.1. Let b = -24 + 42. Do s and b have different values?
True
Let u be 3 - 7/2 - (-255)/(-34). Which is bigger: -15 or u?
u
Let r be 132/20 + 2/5. Let c be -1 + 74/48 + 13/104. Which is smaller: c or r?
c
Suppose 28*b - 8*b = 1080. Is 54 bigger than b?
False
Let b(l) = -9*l. Let w be b(-1). Let f = -51 - -96. Suppose 4*v + 3*i - f = 0, -i - 39 = -4*v - 2*i. Is v at most w?
True
Let r(y) be the second derivative of y**5/20 + 5*y**4/12 - y**3/3 - 9*y**2/2 + 6*y. Let j be r(-5). Does 2/11 = j?
False
Let a = 3.7 + 2. Is 0.1 >= a?
False
Let q = -5.7 + 22.5. Let v = q - 17. Let x = -2 - 1. Is v smaller than x?
False
Let n = 37 + -30. Suppose -59 = 5*b + 4*l - l, l - n = b. Let s = -0.2 - -1.2. Which is greater: b or s?
s
Let v = 36 - 22. Let z = v - 5. Let o = 8.9 - z. Is -2 at least as big as o?
False
Let z(r) = -8*r + 3. Let s be z(-4). Suppose 3*y + 2*p = 110, -4*y + 3*p + 151 = 10. Is s at least y?
False
Let f be 60/(-14) - (-2)/7. Let x be 15*(-2)/(-2 + 8). Let a = -7 - x. Which is bigger: f or a?
a
Let z = 3 - 4. Let c = 4771 - 4771.2. Is c <= z?
False
Let p be (-24)/16*((-148)/(-28) + -1). Which is smaller: p or -6?
p
Let j be (-2)/(-10) + (-2)/10. Let d = -56 - -60.6. Let m = -5.5 + d. Do m and j have the same value?
False
Suppose -457 + 92 = -5*d. Is 74 bigger than d?
True
Let u = 13 - 14. Let i = -0.15 + -9.85. Let j = i - -16. Which is bigger: j or u?
j
Suppose -26*v + 28*v - 2 = 0. Which is bigger: v or -4/97?
v
Suppose -2*p + 3*q = 0, -3*p = -5*p - 5*q. Suppose -4*f - 18 = -5*z - 7, -3*z + 9 = p. Suppose 3*c + 17 = 3*y - f, -5*y + 4*c = -32. Which is smaller: y or 9?
y
Let d = 41 + -1. Let o = 42 - d. Which is smaller: o or -0.21?
-0.21
Let v be (-2)/8 + 34/8. Suppose v*w = -w + 5. Which is greater: -2/63 or w?
w
Let h be 1/((-2)/42) + 0/6. Let d = 15 + h. Is -6 bigger than d?
False
Suppose 3*a = -0*a + 60. Suppose -4*n = 8, -5*i + 2*n + 117 = 18. Is a >= i?
True
Let l(c) = c**3 + 4*c**2 - 2. Let m be l(-4). Let g be (24/(-5))/(m/10). Is g at most 24?
True
Let q be 3/(-10) + (-35871)/330. Which is smaller: -217/2 or q?
q
Let o(c) = -2*c + 6. Let d be o(5). Let t be -518*d/(2 - 1118). Let f = t + 30/31. Is -2 at least f?
False
Let v be 4/6 + 0/(-2). Suppose -4*k + 3*k = 0. Suppose k = -4*w + w. Which is greater: v or w?
v
Let j = -7/29 + 2558/145. Are j and 16 non-equal?
True
Let k = -15 - -18. Suppose k*l + 4 = l. Let h be (-6)/8 - 4/l. Which is greater: h or 2?
2
Let o be -26 + 2 + 2 + -4. Let k be (-38)/o - (-16 + 17). Is k < -1/2?
False
Let b be ((-15)/(-20))/(1/(-12)). Let l be 2/4*(b - -9). Suppose 5*z = -3*w + 10, z - 3*z + 4 = 3*w. Is l bigger than w?
False
Suppose -2*y - 4*p = p + 6, -y + p - 3 = 0. Let h = -0.62 + 0.7. Let k = h - 0.1. Which is smaller: k or y?
y
Let w be (2 - (-15)/(-9))*(1042 - -5). Let u = 3487/10 - w. Is u <= -1?
False
Let b = 23 + -20. Suppose b*q - q - 6 = 0. Let y = -19/7 + q. Is -1 less than or equal to y?
True
Let d = 649 + -370. Which is bigger: d or 0?
d
Let i(a) = -a + 5. Let r = 34 + -29. Let x be i(r). Which is bigger: -3/8 or x?
x
Let b(u) = 520*u**3 - 3*u + 2. Let i(x) = -780*x**3 + 4*x - 3. Let r(h) = 7*b(h) + 5*i(h). Let z be r(-1). Let g be -6*(-3 + z/84). Which is smaller: 0 or g?
g
Let a be 108/(-267)*(10/6 + -2). Does a = 1?
False
Suppose -3*v + 24*r - 23*r = -49, 0 = -5*v + 3*r + 75. Which is greater: 0.12 or v?
v
Let z be (-1)/((3/(-5))/3). Let l be 1/z*(-10)/(-4). Which is bigger: l or 1?
1
Let j = -2/6935 - -41776/575605. Is j >= 0?
True
Let k = -28.3084 - -0.0084. Let n = k + 28. Are n and 1 equal?
False
Let i = -1/386 - -3675/3088. Which is greater: 2 or i?
2
Suppose -20 = -5*x, -3*d = 2*x - 7 - 1. Suppose -3*a + d - 3 = 0. Let q be ((-1)/(-6))/((-20)/18). Which is smaller: a or q?
a
Let b = -208/203 - -38/29. Which is bigger: b or 2.6?
2.6
Suppose 2*m - 4 = -0. Let t be (-7 - -3)*m/4. Do -2 and t have the same value?
True
Suppose 4*h = 5*h + 4*w - 1, 4*h + 47 = w. Let v(l) = -l**2 - 11*l + 1. Let q be v(h). Let d be 4 - 4 - q*-3. Is 2 at least d?
False
Let a = -0.079 - -66.079. Let g = 63 - a. Let f = -7 - -15/2. Are g and f equal?
False
Let j = -684 - -670. Which is greater: j or -1/5?
-1/5
Let j be (-1)/(10/(-11) - -1). Let l = -8 - j. Let w be (l - -1)*1/6. Do 1 and w have the same value?
False
Let s = -1054/1075 - -37/43. Which is smaller: -1 or s?
-1
Let y be (-3)/12 - 2/(-8). Suppose 3*q + y*q = 36. Let f be 2/(-24)*q/(-4). Which is bigger: 1 or f?
1
Suppose 32*z - 121 = -25. Is 31/11 > z?
False
Let d = -14 - -12. Let k be (-165)/(-135) + d/9. Is -1/23 < k?
True
Let f be (100/(-3) - 3) + -1. Let i = f + 37. Which is greater: i or -16?
i
Let r = 41 + -42. Which is smaller: 7 or r?
r
Let k = -6805/9 + 759. Let m be 0*(-3)/(-9) + (-381)/(-135). Let v = m - k. Is 1 at most as big as v?
False
Let g be (90/(-135))/((-4)/(-11646)*3). Is g greater than -647?
False
Let a = -1446 + 10149/7. Is a less than or equal to 3?
False
Suppose -d + 9 = -4*v - 8, 51 = 3*d + v. Let g = 38 - d. Is 19 greater than or equal to g?
False
Suppose 0 = 6*r - 0*r - 30. Suppose 20 + 15 = r*v. Is 9 greater than v?
True
Let q = -12 + 11. Suppose -3*j + j = -5*i + 52, 5*j + 4*i + 130 = 0. Let r be 10/j*4/10. Which is smaller: q or r?
q
Suppose 16 = -4*x + 4. Suppose -n + 1 = -14. Let t be (n/9)/(x/9). Is t >= -2?
False
Suppose -21*y + 20*y + 4 = 0. Suppose 2*q = 3*p + y*q + 6, 0 = 3*p - 3*q - 9. Let c = -166/187 - -12/17. Is c less than p?
True
Let l = -2/8483 + -25009/1866260. Which is greater: l or -1?
l
Let u = 9.7 + -9.69. Suppose 0*x - 3*l = -2*x - 12, 0 = -4*x + 3*l - 12. Let m be (x - 0) + 14/63. Is u greater than or equal to m?
False
Suppose -56*g = -58*g + 16. Let s be (-3 + 1)/(g/452). Is s greater than -113?
False
Let l(u) = u**2 - u + 1. Let y be l(-4). Let r be (-18)/y*(-56)/152. Which is smaller: 0 or r?
0
Let n(d) = 32*d**2 + 161*d - 3. Let o be n(-8). Which is smaller: 756 or o?
756
Let l(m) = m + 3. Let f be l(3). Let p be (10/6)/(f/54). Suppose 2*k - 6*k = -56. Is k bigger than p?
False
Let q be (((-10)/6)/(-5))/(12/(-180)). Do q and -7 have different values?
True
Suppose 4*w - 31 = -3*r, 7 = -2*w + r + 2*r. Suppose 49 = -w*y - 43. Which is smaller: y or 0?
y
Let r(q) = -q**2 - 10*q + 13. Let u be r(2). Let b = -1/1840 - 57037/5520. Which is greater: u or b?
b
Let a = 429.1 + -429. Let g = -4.32 + -0.98. Are a and g nonequal?
True
Let z be 2 + 15363/21 + 1. Let k = z - 736. Which is smaller: k or -1?
k
Let y = 13/48 - -1/16. Suppose 0*h + 3*h - 18 = 0. Let l = -7 + h. Which is bigger: l or y?
y
Let x be -2 + (2 - (-10)/5). Suppose -5*s + 2*b = -x*s + 32, 32 = -5*s - 2*b. Let l be (-1)/(-2) - (-4)/s. Is l equal to 0?
True
Let y be (6/20 - 1)*48/(-84). Suppose -2*x = 3*x + 5. Which is bigger: x or y?
y
Suppose -55*n + 4*n - 51 = 0. Do -3/23 and n have the same value?
False
Let q(j) = -j**2 - 5*j - 7. Let f(p) = -2*p**2 + 27*p + 12. Let x be f(14). Let c be q(x). Which is smaller: c or 0?
c
Suppose -r + 182 = 3*l, 0 + 1 = -r. Suppose q = 5*b + l, 10*b - 2*q = 7*b - 31. Is -23/2 <= b?
False
Let p = 8 - 4. Suppose 2*z = 6*z - p. Suppose 0 = 4*i + 6*t - 8*t, t = -2*i - 4. Which is smaller: z or i?
i
Suppose -2*y + 5*y - 48 = 0. Let j be 45/6*y/6. Which is smaller: j or 0?
0
Suppose 0 + 7 = s. Suppose 4*n - 4 = 0, -4*n - s = -r - n. Which is greater: r or 7?
r
Let o be 12/(840/850) - 2*2. Is