is smaller: r or -903?
r
Let m be 2/4*-6 - -3. Suppose 2*f + 21 = -f. Which is greater: f or m?
m
Let n(t) = t**2 - 21*t + 82. Let l be n(16). Let b(w) be the third derivative of -w**5/60 + w**4/8 - 2*w**3/3 - w**2. Let h be b(l). Which is smaller: h or -3?
-3
Let h = -24 - -48. Suppose 26*r - h*r = 30. Let w = r + -44/3. Which is smaller: 1 or w?
w
Suppose 7*u + 5 = 6*u. Let s be (7 + u - 110/53)*1. Are s and 0 unequal?
True
Suppose 5*j - 50 = 5*c, 5*j - c + 2*c = 38. Let v be 45*(4 + (3 - j)). Are -45 and v equal?
True
Let l(y) = -4*y**2 - 9*y - 4. Let h(z) = 11*z**2 + 26*z + 11. Let p(g) = -6*h(g) - 17*l(g). Let n be p(1). Which is smaller: 6/37 or n?
6/37
Suppose 0 = -n + 5*k - 6, -2*n = 3*k - 6 - 8. Let a be 2*(n/8 + 2). Suppose -2*c - 24 = -6*c. Are a and c nonequal?
True
Let c(l) = -l - 3. Let n be c(-13). Let d be 2/10*-1 + (-48)/n. Suppose 5*m + 2*j + 7 = -1, -4*m - 6 = 2*j. Which is bigger: m or d?
m
Let y = 1365 + -1365. Which is greater: y or -152?
y
Let c = 211 + -157. Let h = -56 + c. Do -46 and h have the same value?
False
Let b be (-10)/(3 - -2) + 7. Suppose c - 4*c - 12 = b*v, 3*v - 16 = 4*c. Let s = -0.8 + -0.2. Is c < s?
True
Suppose -1615 + 383 = 11*y. Which is smaller: -113 or y?
-113
Let k = 514 + -586.12. Let q = k - -72. Is q != 2/5?
True
Let s be (-4)/(-35)*(-1820)/(-56). Which is smaller: s or 4?
s
Let z = 52 - -4. Suppose 3*x + 7 = 3*l - l, 5*l = -3*x + 28. Which is smaller: x or z?
x
Let v(x) = x**3 - 4*x**2 - 6*x + 5. Let h be v(5). Suppose b = -h*b + 4. Let c be b/(30/3*1). Is c greater than or equal to 0?
True
Let u(m) = -m**2 - 4*m + 7. Let p be u(-5). Suppose -5*l - 29 = -g + 49, -8 = 4*g. Let s be l/(-6) + -1 + 4/6. Is p smaller than s?
True
Let w be (4/6)/(15/225). Let m be -3 + (3 - (-18)/w). Is 2 greater than m?
True
Let g = 22 + -18. Let r be g/22 - (615/55 - 4). Which is bigger: r or 0.2?
0.2
Let r(u) = 9*u - 15. Let s be r(14). Is s at least 1?
True
Let f(s) = -s**2 - 6*s - 7. Let j be f(-2). Are -10/31 and j unequal?
True
Let a = -21.31 + 18.47. Which is smaller: a or -1?
a
Suppose 0*c + 4*c - 20 = 0. Let b(f) = c - 1 - 3 + 2*f**2 - f**2 - 2*f. Let r be b(2). Which is greater: 0.2 or r?
r
Suppose -2*w + 4 = 0, 2*w - w = 2*k + 8. Let s be (-138)/(-33) + (-5)/(55/2). Let y be (-6*s/(-40))/((-1)/5). Do k and y have different values?
False
Let g = 573.359 + -573. Is 2/5 less than or equal to g?
False
Let r be (4/(-10))/((-1)/20). Let f = -108 - -117. Which is smaller: r or f?
r
Suppose 10 = 5*i - 0. Let a = -343 - -342. Let s be (a/(-11))/(-3 + i). Do 0 and s have different values?
True
Suppose 223 = 7*c - 29. Let i be (2/(-6))/((-3)/333). Let o = i - c. Which is smaller: o or 3?
o
Suppose 64 = 3*v - 77. Let j = -15 + v. Suppose -29*x = -j*x. Which is bigger: -9 or x?
x
Let l(d) = -4*d**2 - 7*d + 1. Let t be l(6). Let q = t + 272. Suppose -5*w = 5*i - q + 22, -3*i + 35 = 5*w. Is i greater than 15?
False
Let f be 12/(-7) - (-6)/3. Let h(j) = j**2 + 7*j + 4. Let l be h(-7). Let o = 10 - l. Is f > o?
False
Let h = 485/6 - 161/2. Suppose 0 = -4*o + 2*i + 2*i - 8, -o - 4*i + 3 = 0. Which is smaller: o or h?
o
Let v(f) = -f**3 + 9*f**2 + 8*f + 22. Let s be v(10). Which is smaller: 30/53 or s?
30/53
Let w be 0 - (-1)/((-4)/(-8)). Let v be 1*(34/(-14) + w). Which is smaller: v or -1?
-1
Let o(q) = 2*q - 6. Let i be o(9). Suppose 5*n - n = i. Let m be (4 + 12/(-3))/n. Which is greater: 1/3 or m?
1/3
Suppose 0 = 16*l - 172 - 84. Which is smaller: 3 or l?
3
Let l = 0 - -0.1. Let h = -0.1 + l. Let r = 205 + -200. Do r and h have different values?
True
Let r be (-68)/(-7) - 4*(-7)/98. Which is greater: r or -1?
r
Let c(v) be the third derivative of v**5/60 - 5*v**4/12 + 11*v**3/3 + 31*v**2. Let b be c(7). Which is smaller: b or -3/62?
-3/62
Let a(s) = s - 6. Let q be a(5). Let b be (-12)/(-20) - (-395)/(-575). Is q less than b?
True
Let k be 2/84*85 - (-6)/(-9). Which is smaller: 0 or k?
0
Let j = 2/1865 - -223/746. Is j greater than 0.4?
False
Let r = 0 - 24. Let s = r - -22. Is s less than -14?
False
Let u(w) = -3*w**2 + 5*w - 2. Let m be u(4). Let r be m/(-12) - 2/4. Suppose 4*i + r*q - 2 = 8, -3*i - q = -6. Is i bigger than -3?
True
Let w = 0.104 - -0.096. Which is smaller: -21 or w?
-21
Let h = -395929/163 - -2429. Is 0 greater than or equal to h?
True
Suppose -11*c - 1080 = -56*c. Suppose 2*j - 31 = 3*h, -j + 4*h + 8 = h. Is j at most as big as c?
True
Suppose -5*l - f = -128, 4*f = -5*l + 77 + 60. Suppose 3*k + l = -k + o, -k - 5*o = -20. Let a be 27 - 29 - (-2)/(-1). Are k and a non-equal?
True
Let y be (2 - 0) + 5 + -1 + -1. Suppose -5*l + 0*l - c + 21 = 0, -y*l + 25 = 5*c. Is 4 greater than or equal to l?
True
Let d(n) = -n**3 - 7*n**2 + n + 10. Let s be ((-8)/(-24))/((-1)/21). Let i be d(s). Suppose -3*m - i = -0. Is 3/8 at most as big as m?
False
Suppose 5*x - 5*w - 20 = -0*w, 5*x - 8 = 2*w. Suppose -h - 16 = -x*h - 4*g, 3*g - 12 = 5*h. Is h equal to 0?
True
Let w be ((-36)/30)/(6/20). Suppose -5*u + 4 = -16. Let p = w + u. Which is bigger: -2 or p?
p
Let i be (1 + -1)*(5 + 72/(-16)). Which is smaller: i or 10/29?
i
Let i = -529 - -250. Is -280 at most i?
True
Let v = -3 + 7. Let n be 1/4 - v/(-48). Let w = 67 - 68. Is w <= n?
True
Let f(g) = g**2 - 4*g. Let n be f(4). Let o = 443 - 23039/52. Let y = -9/13 + o. Which is bigger: y or n?
n
Let n(u) = 4*u + 4. Let y be n(-3). Let f = 8 - y. Let a be 3/15 - f/5. Which is smaller: a or -1?
a
Let i = 130 + -747. Is i not equal to -617?
False
Suppose 0 = 3*x - 3 - 9. Suppose 5*u = -4*n + 8, 0*u - 4*n - x = 2*u. Let d be u/4 + 0/(-1). Do 2/5 and d have the same value?
False
Suppose -x = x. Suppose -s + 2*s = x. Let f be -1 - (8/14 - 2). Is s greater than or equal to f?
False
Let n be -2 + -3 + (25 - 5)/5. Which is smaller: -2/1461 or n?
n
Let o = -158 + 229. Let v be -3 + (-74)/(-3)*3. Is v > o?
False
Suppose 0*n + 22 = 2*n. Let j(x) = -x**2 - 12*x - 17. Let r be j(-13). Let a be 8/(-2)*r/12. Are a and n equal?
False
Let d = 0.104 + -0.304. Is -6/5 bigger than d?
False
Let a be 0/(-1) + (6 - -2). Suppose -a = -b + 5*b. Let i = -2072 + 2075. Is b less than or equal to i?
True
Let d = -754 - -733.65. Let u = d - -16.4. Let a = u - -4. Is a < 1/4?
True
Let n = 1591/68 - 93/4. Is n greater than 1?
False
Suppose 2*b + 3 = -3*i - 0, 0 = 2*b - 2*i + 8. Let c(t) = 5*t**2 - t + 1. Let k be c(1). Suppose 3*g - k = -2. Is b at most g?
True
Let f = 1.815 - 0.055. Let n = f - 0.86. Is 2/9 equal to n?
False
Let g be 2/(2 + -1) + 1. Let o be (1/g)/((-1)/(-12)). Suppose r = -5, 18 = o*k - 5*r + 3*r. Which is smaller: k or 9/7?
9/7
Suppose 2*u = -86 - 2. Let r = u - -96. Is 52 equal to r?
True
Let c = -18.16 - -26. Let i = c - 8. Let x = i - -0.26. Is 0.1 at least as big as x?
True
Suppose -2*s = 2*z - 16, -502*z + 3*s = -504*z + 21. Let p = 3.08 + -0.08. Is z less than or equal to p?
True
Let k be ((-20)/15)/(7/9). Let s = 56353/35 - 8058/5. Let n = k - s. Is 3 not equal to n?
True
Let p(g) = 12*g + 208. Let f be p(13). Which is greater: 727/2 or f?
f
Let r be (-5)/(-4) - (-35464)/352. Is r != 102?
False
Let h = -0.9 - -3.4. Is 0.7 not equal to h?
True
Let f be ((-24)/(-10))/(3/10). Let d = -20 + f. Let v be (6*(-9)/6 - 3) + 0. Is d less than v?
False
Let w(s) = -s + 1. Let u be w(2). Let m = -331/5 + 66. Which is bigger: u or m?
m
Suppose -44 = 5*u + 3*l, 6*u + 4*l = 2*u - 32. Let x be 12/u*15/(-2). Let g be 0/2 - (-6)/x. Is g < -0.03?
False
Let h = -758 + 758.2. Which is smaller: 8.8 or h?
h
Let y = 71 - 71.31. Let o = 1.99 - y. Let p = o + 0.7. Are p and -1/4 unequal?
True
Let c be ((-9)/(-5))/(14/70) - 5. Which is smaller: 110/23 or c?
c
Let t be (-210)/20 + 0 + 9. Which is greater: t or 124?
124
Let q(d) = -d**2 - 17*d - 172. Let i be q(-9). Which is smaller: i or -113?
-113
Suppose 12*z + 2044 = 556. Are -123 and z equal?
False
Let a = -20 + 19.792. Let x = 10.892 - a. Let q = x - 11. Is q not equal to 8?
True
Let h = 54 - 27. Let u = h + 6. Let w be (-2)/(-6) - 143/u. Which is bigger: -6 or w?
w
Let p be -178 + 187 - (-330)/(-8). Which is bigger: p or -32?
-32
Let h = -275 + 276. Is h != 9/26?
True
Let i = -38 - -38. Let u(g) = g**3 - 7*g**2 - 9*g - 6. Let t be u(7). Let k be (t/(-60) - 1)*-8. Is k at most as big as i?
True
Let p be -13*42/(-182)*8/6. Suppose 1 = -w + 3