 + -168.1. Which is greater: h or 22?
22
Let o be 6681/612 - 33/3. Let d be 7/3*(-4)/(-14). Is d at least o?
True
Suppose -9*w = -20*w + 121. Which is smaller: 34/3 or w?
w
Let f = 94/3 + -32. Let g = 62 + -61.87. Which is bigger: f or g?
g
Let z = 2 + -2. Let w = 101 + -106.9. Let o = -0.1 + w. Which is greater: z or o?
z
Let l = -14.86 + 1.96. Which is bigger: 0.09 or l?
0.09
Let v(n) be the second derivative of n**4/6 + 7*n**3/3 + n**2/2 + 6*n. Let m be v(-7). Let s be ((-14)/(-8))/((-5)/(-4)). Do m and s have the same value?
False
Let u = 0.02058 + -0.02058. Let j be (2/4)/(10/(-4)). Which is smaller: u or j?
j
Let z be ((-4)/42*1)/((-2)/90). Is 3 bigger than z?
False
Let f be (1 - -4 - -1)/(-4 - -2). Suppose 3*a + m + 7 = 0, 3*m + 3 + 6 = -5*a. Is f != a?
False
Let h(l) = l**2 - 6*l + 8. Let p be h(4). Let d be (-2)/(-14) - 44/14. Which is smaller: p or d?
d
Let k = 4 + 72. Which is greater: 1 or k?
k
Suppose 3*c = -0*c + 9. Suppose -5*k = 4*i - 2*k + 4, 0 = -c*i - k + 2. Let m be 36/8*i/(-3). Is m greater than -2?
False
Suppose 0 = y - t + 204, y = -5*t + t - 194. Is -201 equal to y?
False
Suppose 0 = -5*v - 7*v + 96. Suppose v*k + 7*k + 225 = 0. Is k at most -13?
True
Suppose 25*n - 30*n = -10. Suppose n*g + t + 3 = 0, g + 15 = -2*g - 5*t. Which is smaller: 8/17 or g?
g
Let m = 43 + -48. Let y be (-25)/6 + m/(5/(-4)). Suppose 4 = 5*s - 1. Which is bigger: y or s?
s
Let p(n) = -n**3 - 12*n**2 + 46*n + 10. Let g be p(-15). Let o be (-2)/6*(3 - 24). Let y = -12 + o. Is g < y?
False
Suppose 40*o - 10*o = 0. Do -3/5 and o have different values?
True
Let x = 38002/17 + -2234. Which is bigger: x or 2?
2
Suppose 0 = 2*b + b - 69. Suppose 5*l = -2*l + 182. Which is bigger: l or b?
l
Let u be 12/(-15)*(4 + -3). Let q(n) = -n**3 - 6*n**2 - 5*n + 1. Let p be (-6)/9*12 + 3. Let m be q(p). Which is smaller: u or m?
u
Let q = 43 - 32. Let r(z) = -z + 11. Let b be r(q). Are b and 3/16 non-equal?
True
Let w = -92232137469/224346710 - -1/6409906. Let l = 411 + w. Which is smaller: -1 or l?
-1
Let n = -1695 + 588169/347. Which is greater: n or 0?
n
Let w = -19 - -21.6. Let a = 0.4 + w. Let u = 1 + a. Which is smaller: -0.2 or u?
-0.2
Let j be (4 + (-225)/(-10))*2. Let a = 475/9 - j. Let n(r) = -r - 2. Let z be n(-3). Is z bigger than a?
True
Suppose 5 = -h + t, 16 = -5*h - t + 3. Is -29/9 greater than h?
False
Let c = -1144 + 1110. Is c at least 7?
False
Let j = 160.1 + -160. Which is smaller: 105 or j?
j
Suppose 3*l + 2*l + 15 = 0. Let v be (-6)/(l + 5 + 0). Let j = 185 + -185. Which is bigger: v or j?
j
Let b = -424 - -358. Which is smaller: -56 or b?
b
Let d be ((-3)/51)/((-33)/(-18216)). Is -33 greater than or equal to d?
False
Suppose -2*v + 1 + 1 = -2*j, 4*j - 28 = -4*v. Suppose j*n - 8*n = 0. Suppose -2*f = -n*f. Which is bigger: 4 or f?
4
Let i(y) = -7*y - 3. Let x be 14/(-8) + (-63)/(-84). Let j be i(x). Which is smaller: j or 17/4?
j
Suppose 4*n - 210 = 19*n. Is -64/5 < n?
False
Let g = 55 + -54.6. Let o = g - 0.44. Let s(p) = p - 4. Let l be s(5). Which is smaller: l or o?
o
Let w = 0.08 - -11.32. Let l = w + -12. Let y = l - -0.7. Is y greater than 8?
False
Let j(w) = 2*w + 44. Let u be j(-15). Let h be (-22)/((3 - 11)/4). Which is greater: h or u?
u
Let l(i) = i**3 - 11*i**2 + 3*i - 16. Let m be l(11). Does 11 = m?
False
Let b be (14/2072)/((-6)/(-64)). Which is smaller: -1 or b?
-1
Let c(y) = y - 7. Let r be c(6). Suppose -5*v - 551 = 944. Let t = 3287/11 + v. Which is smaller: r or t?
r
Let j(g) = g + 27. Let a be j(-12). Which is smaller: a or 13?
13
Let s = 56 + -55.65. Let j = -0.1 + 0.35. Let d = s - j. Which is greater: -1 or d?
d
Let z = 25 + -24. Let a be z - (20 - (2 - -2)). Let l be (-2)/5*a/(-39). Are -0.1 and l equal?
False
Suppose 0 = -f + 386 - 390. Is -34/11 equal to f?
False
Let w be (-114)/(-40)*(-1)/3. Let y = -6/5 - w. Do -5 and y have different values?
True
Suppose -4900 = -i - 6*i. Is i less than or equal to 1?
False
Let u(z) = -2*z - 8. Suppose -2*q - 3*q + 18 = -4*v, -v = -3. Suppose b = -q - 1. Let o be u(b). Which is smaller: o or 5?
5
Let d(b) = 3*b**3 + 4*b**2 - 9*b - 21. Let n be d(-5). Which is greater: n or -249?
-249
Let b(v) = v + 15. Let d = 33 + -45. Let r be b(d). Which is greater: -4 or r?
r
Suppose 2*h = -75 + 99. Is 14 equal to h?
False
Let s = -293.7 + 205. Let v = s + 89. Let w = -0.8 + 1. Which is smaller: v or w?
w
Let u(k) = 2*k**2 - 6*k - 21. Let r be u(-2). Is r less than or equal to -12/11?
False
Let u(v) = -2*v - 7. Suppose -17 = 2*m - 5. Let r be u(m). Which is bigger: r or 8?
8
Let z = -701 - -636. Do z and 3 have different values?
True
Let q be -5*(-6 + 6 + -77)/(-5). Which is bigger: -536/7 or q?
-536/7
Let v = 73 + -37. Is v less than or equal to 36?
True
Suppose -15*v - 505 = -2605. Which is bigger: 141 or v?
141
Suppose 0 = -5*m - 5*b, 0 = m + m - 5*b. Suppose 130 = 5*c - 115. Let i = 143/3 - c. Are i and m unequal?
True
Let y = 380 - 12163/32. Suppose -7*k - 10 + 3 = 0. Which is smaller: y or k?
k
Let z be -290*(7/42 - (-2)/(-3)). Which is bigger: 144 or z?
z
Suppose -30 = -3*r - 3*l, -3*l + 25 = -r + 3*r. Is 61 greater than r?
True
Let c = -7 + -5. Let y be (-72)/28 - c/28*-1. Is y smaller than -3?
False
Let n = -1943/60128 + 2/1879. Is -1 > n?
False
Let g be (-640)/(-1120) - -2*6/28. Let y be (-1)/2*(-10)/(-445). Which is smaller: y or g?
y
Let h = -163 + 640. Is 477 at most as big as h?
True
Let k be 1608/(-7479) + 4/18. Is k greater than or equal to 1?
False
Let d be (-1 + 2)*(-1 + 0). Let t = -186 - -183. Let q be (t/(-18))/((-44)/16). Is d less than or equal to q?
True
Let u = -1842 + 1841. Which is smaller: 2/811 or u?
u
Let q be 1686/(-24) - (-1)/4. Let i = q - -218/3. Suppose 5*w - 1 = 3*a, 10 = 4*a - 4*w + 6. Is i not equal to a?
True
Let g = 102.956 + -103. Which is bigger: g or -0.1?
g
Let a = 515 + -5153/10. Do 1 and a have the same value?
False
Let r = -2132.5 - -2133. Is r at most as big as -12.4?
False
Let b = 34 - 1256/37. Let z = -9.86 + -0.14. Let i = z + 10. Is i at least b?
False
Suppose -4*h = 3*v + 67, -4*v + 5*h = -65 + 206. Let g be 4*(-3)/(-6) + v. Let n be 3/(-3) + (-25)/g. Which is smaller: n or 1?
n
Suppose 2*p + 1801 - 1125 = 0. Is p < -338?
False
Let n be -8 + 4132/4650*9. Does -1 = n?
False
Let h(k) = k + 3 - 8*k + 3*k**2 + 3*k**3 - 4*k**3 + 6*k. Let a = -1 + 4. Let d be h(a). Which is bigger: -1 or d?
d
Let i be (0 + (-24)/(-16))*4/(-1974). Which is greater: 0 or i?
0
Let w = 178 + -179. Which is greater: -6/157 or w?
-6/157
Let l be (-2)/28 + (-452)/(-56). Let n(j) = j**2 - 4*j - 4. Suppose -19 = -5*r + 11. Let t be n(r). Do t and l have the same value?
True
Let o be 21/14*(-4)/(-6). Let b = 17 + -16. Let q be (1/(-22))/(b/(-4)). Is o not equal to q?
True
Let p = 4.17 - 4. Let f = p + -0.12. Let w = f + -0.15. Which is smaller: w or 0.1?
w
Let a be -4*4*(-1)/(-4). Which is bigger: a or -1?
-1
Suppose -11*z = 369 + 1831. Which is bigger: -399/2 or z?
-399/2
Let i = 123 - 123.98. Let o = -6.02 + i. Is -1 > o?
True
Let z = -0.283 - 13.717. Is 4 < z?
False
Let z = 787/4 + -201. Let f be 35/(-21)*3*1. Which is greater: f or z?
z
Suppose 4*z = 4*y + 306 + 78, 5*y = z - 116. Let w = z + -75. Which is bigger: 18 or w?
18
Let x be (-5)/((-5)/3) - -1. Let d = -307 - -286.1. Let r = 21 + d. Which is greater: r or x?
x
Let n = 48 - 51.5. Let o = -3.5 - n. Is 2/7 less than o?
False
Let g = 46.3 - 47. Let i = 6.3 - g. Suppose -5*s = -2*m - 17 - 3, -18 = -4*s + 2*m. Is i greater than or equal to s?
True
Let d = -12 - -10. Let r be (-4)/8*d/3. Let v = -14 - -3. Is v equal to r?
False
Suppose -6*m - 5*y = -6*y + 270, y - 135 = 3*m. Which is smaller: m or -363/8?
-363/8
Suppose 3*c + 50 + 19 = 0. Is 0 greater than or equal to c?
True
Suppose 2*d - 12 = 26. Suppose 17 = 12*h - d. Which is smaller: h or 5?
h
Let k(w) = w**2 - 9*w + 19. Let q be k(13). Let h = 5/339 - 121048/1695. Let j = h + q. Which is greater: -0.2 or j?
-0.2
Suppose 3 = -2*o - 2*k - k, -9 = -2*o + k. Suppose -o*j = 3 + 3. Let t be (4 - 6)*(-2)/j. Which is smaller: t or -3?
-3
Let x = 17.92 - 10.92. Is x less than -0.37?
False
Let c be 1*1/((-2)/(-18)). Suppose -10 = d + c*d. Is d < 2.6?
True
Let w = 435/13 - 67/2. Suppose 0 = 2*a + 6, -7 = -5*b - 3*a - 1. Let n(r) = r - 3. Let x be n(b). Is w not eq