er: d or n?
n
Let h(i) = i**2 - 89*i + 260. Let o be h(3). Let f be 18/(-14) - 2/(-7). Let j be (f*2)/(20/(-22)). Which is bigger: o or j?
j
Suppose 4*b = -39*p + 41*p - 4, 5*p + 23 = -b. Let h = 0.3 + -2.3. Let l = h - -6. Are l and p equal?
False
Let d = 127/225 - 3/25. Suppose 20 = 4*j, 2*j = 3*a - 0*j + 10. Are d and a nonequal?
True
Let g be 4 - (2 - 0)*2. Suppose -m - 8 = -g. Which is greater: -10 or m?
m
Let i be ((-18)/(-91))/(3/14). Is i less than 0?
False
Let q be 197062/1365115 - (2 - (-24)/(-13)). Let r = q - -2/2041. Is 1 at least r?
True
Let b = 144 + 0. Let i = 56 - b. Let r be ((-2)/8)/(649/i). Is 0 at least as big as r?
False
Let j be -6 + 4 + 26 + 1. Suppose 27 = -3*o + 105. Is o <= j?
False
Let j = 21365/44 + -1919/4. Is 5 >= j?
False
Let k be (-2*(-2)/(-40))/((-1)/6). Let u = -2.65 + -0.35. Which is smaller: k or u?
u
Let d = 16.2 + -16.406. Let o = d - -0.006. Is o less than 8?
True
Let w = 17 - 13. Suppose w*m = -5*b + 18 + 65, 3*m - 4*b - 70 = 0. Let p be 16/(-88) - (-5)/m. Which is smaller: p or 0?
0
Let z = -58.3 + 55. Let j = z - -2.6. Is 0.1 at most as big as j?
False
Let z(g) = -g**3 + 14*g**2 + 16*g + 1. Let q be z(15). Which is bigger: q or 18?
18
Let t = 661/136 - 29/8. Which is smaller: t or 0?
0
Suppose -k + 3*k + 2*h = 6, -3*k = h - 7. Suppose 4*d + 0 = 4*u + 20, k*u - d = -6. Let c be 3 - 3/(30/26). Is c at least as big as u?
True
Let w(l) = l**3 - 6*l**2 + l - 4. Let r be w(6). Suppose 2 - 18 = r*q. Let k(g) = 7*g**3 - 965*g**2 - 131*g - 973. Let x be k(138). Is q smaller than x?
True
Let v = -4 - -16/3. Let o be 46/12*164/(-6). Let d = 105 + o. Which is greater: v or d?
v
Let u be (-1)/((-80)/28) - (-9)/(-15). Which is smaller: -27.6 or u?
-27.6
Let b = -310 - -309. Which is smaller: 1/386 or b?
b
Let z = -6 - -26. Let n = z - 20.17. Which is bigger: n or -1/4?
n
Suppose 2*p - 14 = -2*o, 2*p = -0*o + 5*o + 42. Suppose -3*v = -5*w - 53, 3*v = -5*w + 1 + 12. Is p > v?
False
Let o = -159 - -157. Which is smaller: o or -42/25?
o
Let n(x) = -x + 5. Let k be 0/3 - (-2 - 0). Let b be n(k). Which is bigger: 9/4 or b?
b
Let y = 0.2487 + -0.0487. Is y less than 94?
True
Let l = -23/13987 + -8/197. Let j(x) = x**2 + 2*x - 4. Let c be j(-3). Which is smaller: l or c?
c
Let c = 33.5 - 33. Is c at least as big as -0.5?
True
Let y = 21 + -44. Let n be ((-12)/((-5)/10*-1))/1. Is n at most as big as y?
True
Suppose -44*f - 60 = -49*f. Is 9 smaller than f?
True
Let c(p) = p**3 + 5*p**2 - 6*p - 3. Let v be c(-4). Let w be 5 + (33 - -2) + (5 - 9). Which is smaller: v or w?
w
Suppose -30*l + 31*l - 3*k = 185, 3*k + 758 = 4*l. Is l less than or equal to 192?
True
Let s be (-8760)/1240 - (2 - 7). Is -2 <= s?
False
Let w = 874 - 406. Suppose w = -7*r + 3*r. Let o = r - -471/4. Which is bigger: o or -0.4?
o
Let u be ((-692)/8)/(15/30). Is -2 bigger than u?
True
Let d(s) be the second derivative of s**4/12 + s**3 + 2*s**2 + 17*s. Let y = -8 - -3. Let v be d(y). Which is bigger: v or -3/10?
-3/10
Suppose 2 = -4*d - 2. Let p = -274/21855 + 8/235. Which is bigger: p or d?
p
Suppose -25 = -10*z + 9*z. Suppose 0 = 4*a + z + 15. Is 0.1 at most as big as a?
False
Let f(u) = 3*u - 9. Let s be f(4). Suppose 9 = 6*d - s*d. Let q be (d/(-2))/(18/8). Is q < -1?
False
Let o = -592 - -592. Is 6 greater than or equal to o?
True
Let t be ((-70)/(-4))/7*2. Suppose t = -y + 1, n + y + 1 = 0. Suppose 0 = 4*k - 9 - n. Is k greater than or equal to 5?
False
Suppose 0 = -f + 4*f - 93. Suppose 0 = 7*y - 10*y - 2*z - f, 3*y + 47 = 2*z. Which is smaller: -18 or y?
-18
Let d be -6 + 15/3 - (-4 + 4). Let p = 117 + -171. Let h be (8/(-6))/(12/p). Which is greater: h or d?
h
Let r be (-2)/(-5) + (-219)/(-15). Suppose 0 = -3*o - 0 - r. Which is greater: o or -1?
-1
Suppose 2*c + 4*h - 4 = 0, -2*h = 5*c + h - 17. Suppose 4*k - d = 21, 18 + 11 = 5*k - c*d. Let b be (1 + 1)/((-2)/(-6)). Is k >= b?
False
Let y be 24/9 - (-234)/(-108). Which is bigger: 194 or y?
194
Suppose 0 = 3*z + 2*y, -3*y = -3*z + z + 13. Let p be ((-12)/(-8) - z)*-12. Suppose p*o - 2*o = 4. Is -1/9 != o?
True
Let s be -4 - (-4 + (224 - 0)). Let a be 2/(-8) - 12/s*10. Let d = 4 + 3. Which is bigger: a or d?
d
Let x = 68 + -76. Let c be 0 + 3/(6/32). Suppose -3*h = -5*j - 44, 4*j - 4*h + c = -24. Is j greater than or equal to x?
True
Let y = 1968/13 + -162. Which is smaller: y or -10?
y
Let m(w) = -271*w + 73. Let l be m(3). Is -740 bigger than l?
False
Let c = -55481/13 + 4264. Is c less than or equal to -5?
False
Suppose 0 = -5*u - 6 + 56. Suppose u*r + 8 = 6*r. Let h be 1/(-3 - r) + 0. Which is smaller: h or -3?
-3
Let v = -876920/133 - -82546/19. Let x = v - -2245. Which is smaller: -5 or x?
-5
Suppose 3*h + 2*h - 3*u = 30, -3*h - u + 4 = 0. Suppose h*z - 25 = -19. Let w(b) = -4*b**2 + 2*b - 4. Let c be w(z). Is -17 less than or equal to c?
True
Let b = -281 - -240. Do -26 and b have the same value?
False
Let a be 1 + 1 + (0 - 1). Let k = 37 - 21.2. Let h = 16 - k. Do a and h have different values?
True
Suppose 0 = -l - 2*l + 3*s + 3, s + 5 = 3*l. Suppose l*x - 3*x = -58. Let m be -2*(-2 + x/30). Is -1 at least m?
False
Suppose w = -4*l + 50, -4*w + 6*w = 2*l - 20. Let c = l + -18. Suppose -5 = g - 1. Which is greater: c or g?
g
Let y = -12716 - -12717. Let a = -25091/210 + 239/2. Which is smaller: y or a?
a
Let x be 1/((-1)/4 - (-62)/216). Is x less than 28?
True
Suppose 7*f - 13 = 8. Suppose 0 = -t + 3*s - 4, 3*s + 48 - 12 = -f*t. Which is smaller: t or -9?
t
Suppose 4*r - 2*f - 32 = 0, -5*r + 2*f = 7*f - 55. Let m = 9 - r. Suppose -s - s = m. Which is bigger: s or 2/15?
2/15
Let w = 35.27 + 0.73. Let d = 35.8 - w. Which is smaller: d or -1?
-1
Let h be (-233)/(-3383) - 20/340. Are 1 and h nonequal?
True
Suppose 818 = -15*y + 293. Is -25 at most as big as y?
False
Let t = -2168 + 2171. Which is bigger: 59/22 or t?
t
Let i(m) = -m**3 - m**2 - 2. Let n(l) = -l - 7. Let v be n(-5). Let p be i(v). Let j be 2*(-3)/(-18)*3. Is j equal to p?
False
Let q = 20 + -20.058. Let k = q + 0.058. Which is bigger: k or -21?
k
Let a be (-81)/(-36)*(-2)/9*-12. Let f be a + 2/3*6/2. Is f at least 8?
True
Let k = -816 + 812. Which is smaller: -43/15 or k?
k
Let f be 3*1 - (-20 - -18). Suppose -16 = f*a - a. Let b be a/10 + 8/20. Which is smaller: b or -1/10?
-1/10
Suppose -1 = -7*s + 20. Let l be s/6 + (-25)/(-10). Let b(c) = -3*c - 2. Let i be b(-2). Does l = i?
False
Let d(b) = 2*b**3 - 7*b**2 - 3*b - 9. Let r be d(4). Which is smaller: -21 or r?
-21
Suppose -1 = -3*q - 4. Suppose 6*u + u - 147 = 0. Let l be (-9)/u*1/(-3). Is q at least as big as l?
False
Let q = -24 + 87. Let m be (-2)/(-1)*(1638/(-90) - -18). Is m smaller than q?
True
Let z(l) = 4*l + 3. Let b be z(-1). Which is bigger: b or -5?
b
Let n = -157 - -394. Let b be (1 + n/(-243))*(1 - 7). Is -1 != b?
True
Suppose -12*f = -3*f - 396. Let y = -42 + f. Which is smaller: y or 11?
y
Suppose -3*h = s - 8, 0 - 10 = -s - 2*h. Suppose -8*z + 18 = -s. Suppose -z*g = -0*g + 108. Which is greater: g or -26?
-26
Suppose 4*q = 3*m + 7, 4*m - 2*q + 6 = -0. Let d be 0 + (m - 20/(-16)). Is -21 at least d?
False
Let h = 2 + -2. Let c = -935/12493 + -2/961. Which is smaller: c or h?
c
Suppose 5*w - 5*r - 30 = 0, -4*r + 0 = -w + 12. Let h be (-6 + w)*2/4. Let g be h/2*(1 + -4). Which is smaller: -3 or g?
-3
Let h be 60/(-42) - (-640)/350. Let l = -8.5 + 0.7. Which is bigger: h or l?
h
Suppose -1667 + 5321 = -7*j. Which is smaller: j or -521?
j
Let c(q) = -11*q**3 - 22*q**2 + 19*q - 12. Let r(k) = -5*k**3 - 11*k**2 + 9*k - 6. Let s(h) = -6*c(h) + 13*r(h). Let n be s(11). Which is bigger: n or 25?
n
Let w(y) = y - 42. Let h be w(21). Let m be (-8)/12*(0 + 30). Which is smaller: m or h?
h
Let m = 3.9 + -1.3. Which is greater: m or 2?
m
Let c be (72/(-16) + 5)/((-3)/66). Is -22 equal to c?
False
Let z(a) = a**2 + 15*a + 14. Let t be z(-14). Suppose -3*d + 9 + t = 0. Suppose 0 = -4*w - d - 9. Are -4 and w nonequal?
True
Suppose -7*x = 31 + 32. Let c = -92557/11334 - 2/5667. Which is greater: c or x?
c
Let f = -83/4 - -209/12. Suppose 48 = -14*j - 2*j. Is f != j?
True
Let k = 172309/101 - 1706. Let m = k + -140/1313. Let x = -0.114 - -0.014. Is m <= x?
False
Let p = -0.7 - 0.3. Which is smaller: p or -19?
-19
Let h be (5 - 6)*(-4)/(-4). Let o be 10*(-4)/8*h. Let z b