((-12)/10). Let t = 220 + -251. Let b = t + 30. Which is smaller: o or b?
b
Let v = 1969 - 1959. Let l = -15 - -26. Which is smaller: l or v?
v
Let n be (9 - 5)*58/8. Let r(x) = -x**3 - 2*x**2. Let o be r(-2). Suppose -v - n = -o*v. Does -29 = v?
True
Let l be (29/55390)/(0 - -1). Do l and -1 have the same value?
False
Let w be 70/30 + (-4)/(2 + 2). Is 28 at least as big as w?
True
Let k be (1 - 160/155)*3. Which is smaller: 0 or k?
k
Let y be ((-5)/2)/(85/(-136)). Suppose 4*x + y = 0, -5*a = 2*x - 4 + 6. Is a greater than -2/159?
True
Let k = -1678884629/133373130 - 1/808322. Let g = k - -182/15. Which is smaller: g or 1?
g
Let v be (78/(-12) - -8)/2826. Is -1 <= v?
True
Let r = 163 + -123. Which is bigger: 38 or r?
r
Let g be (-6)/(-244)*(2 - 14/21). Which is smaller: 0 or g?
0
Let a = -2/761 - 1280/92081. Let k = 22 - 24. Which is smaller: a or k?
k
Let h = 5197/2 + -2666. Which is bigger: h or -68?
h
Let h = -16697/12488 + 75/56. Is -1 less than or equal to h?
True
Let f(p) = p**3 - 3*p**2 - 13*p - 31. Let d be f(6). Is 2/23 bigger than d?
True
Suppose 318*c - 311*c = 0. Let w = 0.04 - 3.04. Which is bigger: w or c?
c
Let v(x) = 2*x - 6. Suppose 6*s = 9*s - 15. Let h be v(s). Suppose h*p - 2*a = -3*a - 11, 3*a = -5*p - 12. Which is smaller: p or -1?
p
Suppose -3*p - 220 = -8*p. Let q(x) = -3*x**3 - 3*x**2 - x - 1. Let c be q(-2). Let r be 11/p + c/(-28). Which is bigger: r or 0?
0
Let d = 6796567 - 142776280/21. Let p = 2303 + d. Is 1 smaller than p?
False
Let y(h) be the third derivative of -h**5/60 + h**4/2 - 11*h**3/6 - 9*h**2. Let z be y(11). Which is greater: z or 1/5?
1/5
Let n(q) = 2*q**2 - 66*q - 15. Let b be n(12). Which is bigger: 1/3 or b?
1/3
Suppose -6*n + 3*n + 2*q = 29, -43 = 5*n - 2*q. Let s = -3 - n. Suppose -2*d = 2*t, -39*d - 24 = -44*d + t. Is d less than or equal to s?
True
Suppose -4*l + 16*l = 3*l. Which is greater: 2/71 or l?
2/71
Let m = 82 + -56. Let b = -21 + m. Is 7 < b?
False
Let p = 6.49 + -6.3. Let b = p - 16.19. Which is bigger: -3/5 or b?
-3/5
Suppose 0 = 5*c - 189 + 744. Let v = c + 78. Is -33 less than v?
False
Suppose t - 9 = 4*t, -3*g + 5*t + 168 = 0. Let x = -155/3 + g. Is -0.1 at most x?
False
Suppose 53*u + 113 = 7. Which is smaller: 26.8 or u?
u
Let r = 123 - 122. Is r greater than 1/7?
True
Let j(y) = 3*y - 1. Let c be j(2). Let m be 5/1*(-4)/c. Let h be ((-112)/(-32))/(4/(-8)). Which is smaller: m or h?
h
Let h = 25 + -3. Let s = 36 - h. Let k = s - 29/2. Is k less than -0.2?
True
Let b = 17.18 - 2.18. Which is smaller: b or 5?
5
Let s be 17 - (-4 - -3)*(-1 + 3). Which is smaller: s or 0.1?
0.1
Let y = 0.1875 + 22.8125. Which is greater: 1.9 or y?
y
Let z = 1878/5 - 9143/30. Is z != 70?
True
Let m be ((-2)/(-3))/(31/465). Is 14 at most as big as m?
False
Let g(f) = -f**3 - 9*f**2 + 10*f + 8. Suppose 6*n - 116 = 16. Let u = n - 32. Let d be g(u). Which is bigger: d or 10?
10
Let g(y) = y**3 + 8*y**2 - 10*y + 8. Let h be g(-9). Let l = -7 + h. Suppose 6*v - l = -5*u + v, 6 = u - 3*v. Is 4 > u?
True
Let z = 3/10 + 1/5. Suppose 3*w + 149 = 161. Let g be ((-6)/w)/((-18)/48). Is g >= z?
True
Let t = -62.1 + 63. Let u = -1 + t. Is -0.2 less than u?
True
Suppose -5*m + 4 + 1 = 0. Let o = -2001/1105 + 121666/75803. Let r = o + 2/343. Do r and m have the same value?
False
Let g be (-16)/(-6)*(-3)/2. Let p be (g/14)/((-8)/112). Are 4 and p unequal?
False
Suppose 0 = -103*n + 80*n + 17871. Which is smaller: 776 or n?
776
Let z be 1 + 2 + -2 + -2. Suppose 4*f = -3*b - 0*b - 29, -4*f + 2*b - 34 = 0. Let g be 4 + f + (-440)/(-108). Which is smaller: g or z?
z
Suppose 11490 = -25*q - 21935. Are q and -1338 non-equal?
True
Let w = -2030.5 - -2030. Let t = 0.3 - 0.2. Is w smaller than t?
True
Let v = -1019 + -1379. Do v and -2397 have different values?
True
Let d = 4 + 0. Suppose -d*i - 30 = -9*i. Let h(w) = w**2 - 4*w + 5. Let t be h(4). Is i greater than t?
True
Let u = -28 - -32. Suppose -g - 10 - 15 = 4*q, -2*g = u*q + 30. Which is smaller: g or -4?
g
Let i = -24 + 23. Let f = 171/143 - 14/11. Which is smaller: f or i?
i
Let t = 112443/70 - 7347/5. Let u = t + -137. Is 0 <= u?
False
Let x = -2103/910 - -3/910. Is x > -3?
True
Let q(s) = -s**2 + 8*s - 6. Let z = 10 + -6. Let x be q(z). Let t be (4/x)/(12/(-20)). Which is smaller: 0 or t?
t
Let o = -27031/11297 - -194/79. Is o at least as big as 0?
True
Let r(v) = 2*v**2 + 3*v - 7. Let w(d) = 3*d**2 + 5*d - 13. Let a(c) = 5*r(c) - 3*w(c). Let n be a(0). Suppose -5*i = n + 6. Which is bigger: i or -5?
i
Suppose -8*r + 613 = -163. Is 98 equal to r?
False
Let b = 0.1 + -0.1. Let q = -1 + b. Let y = 3.41 + -3.11. Which is smaller: y or q?
q
Let n be 234/15 - 9/15. Which is smaller: n or 99/7?
99/7
Let x = 194 + -200. Let o(p) = -4 + 2*p - 8*p + p - 2*p**2. Let w be o(-3). Are x and w equal?
False
Let h be 16/104 + 43/(-26). Let q = 19/10 + h. Is q at most as big as -37?
False
Let d be (-33)/9 - (-15)/(-45). Is 2 less than or equal to d?
False
Suppose 2*v + 6*t + 3 = 7*t, 4*v - 4*t = -12. Which is smaller: v or 46?
v
Let p(f) = 3*f + 6. Let g be p(4). Suppose 4*x - g - 30 = 0. Let b = 14 - x. Which is smaller: 1 or b?
1
Let v be ((-8)/(-40))/(((-1)/12)/1). Suppose -5*a = 4 + 1. Which is bigger: v or a?
a
Suppose c - 6*c = 4*w - 41, 2*c = -3*w + 22. Let h(u) = -5*u + 114. Let g be h(22). Is g > c?
False
Let c(p) = p**2 + p. Let f be c(-4). Let a be (3 - 21/f)*4. Does 5 = a?
True
Let p be 0/2 + 2 + 0. Suppose -p*b + 0 = -36. Suppose -4*c + b = -14. Is c less than 9?
True
Let j = 58 - 61. Let m = -902/7 + 129. Is j > m?
False
Let p = 2011.04 - 2011. Suppose -g - 3*f + 3 = -4*g, -5*g - 5*f = -35. Does g = p?
False
Let b = 0.438 - 33.738. Let x = b - -31. Let o = 2.1 + x. Which is greater: o or -2/21?
-2/21
Suppose 0 = 6*r - 1014 - 4530. Suppose 8*k = -6*k - r. Is -66 at most as big as k?
True
Let k(f) = -f**2 + f - 4. Let u be k(2). Let v(d) = d**3 + 5*d**2 - 6*d - 4. Let q be v(u). Does -7 = q?
False
Let h = -61 + 63. Let z = 3257/1355 + -1/271. Is h equal to z?
False
Let k = -636.1 - -558. Let x = k - -78. Which is greater: x or 22?
22
Suppose 5*t - 15 = 5*o, -2*t + 3*o + 10 = -0*t. Let n be (-4152)/260*3/34. Let i = n + 2/221. Is i at most as big as t?
True
Let m be (-2 - 18/(-15))*245/(-2). Let k = m - 91. Do -0.2 and k have the same value?
False
Let h = 267228/37 + -149364172/20683. Let o = h - 14/43. Is 1 at least o?
True
Let n(u) be the first derivative of -u**3/3 - 11*u**2/2 - 19*u + 1. Let l be n(-9). Let v = 1 + -2. Is v <= l?
True
Let n be 21/(-90)*(-13)/(104/(-32)). Which is smaller: n or -1?
-1
Suppose -7*g = -10*g + 18. Let y = g + -2. Suppose y = -5*v - 31. Which is greater: -5 or v?
-5
Let h = 23 - 27. Let n be h/(2 + 2) + 12/14. Let l(k) = k + 6. Let p be l(-5). Which is smaller: n or p?
n
Let l = 2122 + -14850/7. Suppose 2*y - 5 = -3*y. Which is smaller: y or l?
l
Let z be 76800/(-380) + 1*3. Let i = z + 199. Which is greater: i or 1?
1
Suppose -20 = -2*z - 5*y, -12*y - 12 = -2*z - 15*y. Which is greater: -30/53 or z?
z
Suppose -513 + 1243 = 5*q. Is q smaller than 148?
True
Suppose -3*v + 0*v = 0. Suppose -2*h + h = -4*s - 1, 3*s + h - 8 = v. Let a be 1 - 2 - 10/(-11). Is s greater than a?
True
Let s = 95.7 + -48.8. Let o = -47 + s. Let v = 59 - 1119/19. Are o and v nonequal?
True
Let d = 24 + 1. Let p(c) = c - 10. Let t be p(12). Let n be ((-16)/20)/t + (-366)/(-15). Is n != d?
True
Let q = -58400/53 + 1102. Which is greater: q or 1?
1
Let r(a) = a**3 + a**2 + a - 10. Let h be 5*(-1)/4*-4. Suppose 0*i = -5*i - h*l + 5, -4*l + 4 = 3*i. Let z be r(i). Is z at most -11?
False
Suppose -4*u - 107 = -2*d - 97, -4*d - 5*u - 19 = 0. Do 5/233 and d have the same value?
False
Let d(s) = -s**2 + 8*s + 13. Let l be d(9). Suppose 2*u - 36 = -l*a, 0*u + 5 = 3*a - 4*u. Let v be 38/6 - 6/(-9). Is v at least as big as a?
True
Let f = 80.1 + -80.1. Which is greater: f or -1099?
f
Let d be (-3751)/(-3) + 2/(-6). Let m be (9 - 69345/55) + 4. Let w = d + m. Is w at least as big as 3?
False
Suppose 0 = -7*p - 0*p + 28. Suppose -4*i = g + p, 4*i - 5*g + 1 = -3. Which is greater: i or -1/2?
-1/2
Let q = -26.3 + 0.3. Let u = q - -26. Which is smaller: -17 or u?
-17
Let b(z) = -z**3 - 4*z**2 - 2*z + 4. Let p be b(-3). Suppose t = -4*a - 5 - 36, -220 = 4*t + 2*a. Let x be (-