t k be 2/g*-9*2/(-3). Which is greater: k or 1/32?
k
Suppose 4*u = 15 - 119. Let s = 26 + u. Are s and -1/36 non-equal?
True
Suppose -25*x - 960 = -85. Which is smaller: -33 or x?
x
Suppose 0 = -3*k + 2*c - 27 + 79, 0 = -2*k + 5*c + 53. Let v be (k/56)/(0 - -1). Are -1 and v nonequal?
True
Let a be (8/14)/(-1)*((-526)/20 + 27). Let t be (-1)/(-18)*(-4)/(-38). Which is smaller: a or t?
a
Suppose 2*s = -8*s + 200. Let n(u) = u**2 - 7*u + 11. Let d be n(8). Is d >= s?
False
Let z = -8.81 + -0.19. Let x = 20.06 + -19.76. Which is bigger: x or z?
x
Let i(b) be the first derivative of -b**2/2 + 2. Let z(h) = h**2 + 11*h + 3. Let s(q) = 6*i(q) + z(q). Let l be s(-4). Which is smaller: -1/34 or l?
l
Let i be 42/(-63)*181/(-2). Let b = i + -10501/174. Which is smaller: 1 or b?
b
Suppose 53*x - 61*x = 8. Is -13/21 at most as big as x?
False
Let o = -0.059 + 48.059. Let u = o + -45.7. Let n = u + -0.3. Is -0.01 bigger than n?
False
Suppose -8*n = -33*n - 225. Are -4 and n equal?
False
Let r = 2 + 3. Suppose 4*l - r = 9*l. Suppose 5*x + 10 + 10 = 0. Which is smaller: x or l?
x
Let a be (6/18)/((-2)/6). Let u be 4/14*(-3 + 2). Which is smaller: a or u?
a
Suppose -7 = -11*r - 29. Let y = -189/85 + -20/17. Let u = y + 43/20. Which is smaller: r or u?
r
Let q = 0 - -1. Let u be q/(0 + (-4)/8). Suppose -10 = -v - 5*i, 3*v + 3*i + 0*i + 6 = 0. Is u >= v?
True
Let q be 2*-1 + (-2 - (-7 - -4)). Is q at least as big as -2/285?
False
Let a = -105 - -104.9. Let r = -36 + 18. Is a at most as big as r?
False
Let u be 9/(-6)*40/270. Is 2 less than or equal to u?
False
Let i = 4.62 - 4.533. Is i greater than 0.8?
False
Let i be 46/(-5934)*-1*6/11. Is 0 greater than or equal to i?
False
Suppose -17*m = -0*m + 34. Is m > -96/31?
True
Let v = 634 - 830. Which is greater: v or -194?
-194
Let t be 2/4 - (-137)/(-2). Which is bigger: t or -64?
-64
Let k = -235 - -236. Which is smaller: -2/1121 or k?
-2/1121
Let g be 2 - 6266/10 - (-4)/(-10). Let m = 1906/3 + g. Which is smaller: 9 or m?
9
Suppose -1 = -3*c - 4. Let q be (-6)/(-4) + 2*c. Let b = -1289 + 1300. Is q less than or equal to b?
True
Let d = 397 + -2781/7. Which is smaller: d or -84/5?
-84/5
Let w = 20 - -76. Suppose 17*z = 20*z - w. Let c = z - 0. Which is smaller: c or 31?
31
Suppose 49 = 4*s + 57. Which is bigger: s or -61?
s
Let i = 7 - 5. Let l = -3052.98 + 3053. Is l bigger than i?
False
Let g = -426 - -429. Suppose 2*u - 12 = -u. Which is smaller: u or g?
g
Suppose -3*j + 4*a = 23, 2*j - a = -j - 8. Which is smaller: -2/369 or j?
j
Let o = 6 + -4. Suppose 5*u + 25 = -o*n, 4*n = -n - u - 74. Is n <= -16?
False
Let z = -625 - -624.9. Which is smaller: z or -0.06?
z
Let r(j) be the second derivative of -20*j**3/3 - 3*j**2/2 - 18*j. Let d be r(-1). Is d at most 36?
False
Suppose w = -0*w + 1. Let m = -10634752/49 + 217048. Let a = m + -86/7. Which is bigger: a or w?
w
Suppose -25 = -5*p, 0*p = -2*w + 5*p - 437. Which is bigger: w or -205?
-205
Let l = 1.36 + -1.293. Let p = l - 0.227. Which is smaller: p or -1/3?
-1/3
Let t be (-1 - -7)*(1 - 13/(-39)). Are t and 9 non-equal?
True
Let x(s) = -s**3 - 10*s**2 - 11*s - 13. Let c(m) = m**3 + 7*m**2 + 2*m + 5. Suppose -6*v + v - 35 = 0. Let r be c(v). Let k be x(r). Does 7 = k?
False
Let z = 0.24 + 1.56. Let b = 8.2 - 7. Let x = b + z. Which is greater: x or 1?
x
Suppose -i + 20 = -3*i. Let s(l) = -l**2 - 11*l - 15. Let n be s(i). Let k be 38/(-290) - n/25. Do k and 0 have the same value?
False
Let o(h) = -4*h + 13. Let r be o(5). Let j(a) = -a**3 - 7*a**2 + 2*a + 8. Let z be j(r). Let d be (2 - 2)/3 - z. Is 5 > d?
False
Let y = 7.6 - 7.4. Which is smaller: 0.053 or y?
0.053
Let z = 54 - 57. Let a be 0*(z - -1)*(-4)/(-16). Is 6/7 at least as big as a?
True
Let b be -126 - (-1 - 0/2). Suppose -39*q + 11*q + 15*q = 1638. Which is smaller: q or b?
q
Let i be (5/(-7))/((10/6)/((-62)/93)). Let g be ((0 - 0)/1)/2. Which is smaller: g or i?
g
Let h be (34/(-7))/(16/(-28)). Let r = 47/6 - h. Which is smaller: r or 0.04?
r
Suppose -2*d + 2*y - 3*y = -55, 4*y = -20. Is d bigger than 123/4?
False
Suppose -19 + 117 = 5*k + 3*c, 0 = -k - 5*c + 2. Let x(i) = i**2 - i + 22. Let q be x(0). Is k < q?
False
Let p(w) = -3*w + 5. Let y be p(-4). Suppose -9*a = a - 1080. Let g be a/(-21)*42/(-12). Does g = y?
False
Let y be 4/10 + (-20)/175. Let n(a) = a**3 + 5*a**2 + 9*a + 7. Let c be (1 - 0)*(8 + -11). Let k be n(c). Which is bigger: y or k?
y
Let v(u) be the third derivative of -u**6/40 - u**5/60 - u**2. Let z be ((-7)/(-14))/(6/(-24)). Let l be v(z). Which is greater: l or 21?
21
Suppose 5*o + 0*j - 69 = 3*j, -81 = -5*o - 3*j. Suppose -13 = 2*n + o. Is n at least -13?
False
Let a = -362 - -362.1. Is a at least -29/6?
True
Let p be (8/(-795))/((-6)/2193). Let b = 3/265 - p. Which is bigger: b or -5?
b
Let h be 1306/(-10) + 8/40. Let t = h - -131. Is 1 at least as big as t?
True
Let b = 13 - 8. Let g be 6*2/60*b. Let z(d) = -d**2 - 11*d - 9. Let v be z(-10). Is v bigger than g?
False
Let p = 0 + -2. Let i(l) = l + 2. Let t be i(p). Suppose t*v = 4*v. Which is greater: 4/7 or v?
4/7
Suppose 0 = 2*k + 3*x + 177, -3*k + x + 13 - 262 = 0. Let n be (k/(-3 - 0))/(-6 - -8). Suppose -1 = -r - y + 18, 0 = -5*y + 25. Is r bigger than n?
False
Let w be (-4)/(-10) - 188/20. Let u = -15 - w. Is u < 3?
True
Let t = -44 + 8. Is -35 smaller than t?
False
Let x(z) = 13*z**2 + 18*z + 12. Let a be x(-4). Let g = a - 69. Which is smaller: 78 or g?
78
Suppose -7 = 4*h - 23. Let s be (h/(-6))/(2/(-36)). Let w be s/8*2/3. Which is smaller: 4/15 or w?
4/15
Let m(h) = h**3 - 7*h**2 - 4881 - 6*h + 4881. Let g be m(8). Is g at least 2?
True
Let v be (-340)/(-68)*4/(-85). Which is smaller: v or 4/3?
v
Suppose 0 = -3*g - 2*x + 512, g - 188 = -34*x + 29*x. Which is greater: g or -2?
g
Let g be 7*3/39 + -1. Let v be ((-3)/30)/(3/(-12)). Which is bigger: v or g?
v
Let j = 15035833/104727 + -4/14961. Which is smaller: 144 or j?
j
Suppose 0 = 9*g + 156 + 60. Is g smaller than -25?
False
Suppose o = -3*x - 301, -2*o + 380 = -4*x + 2*o. Is -1/3 at least x?
True
Let v be (-5)/(-2) - 15/10. Let x be ((-159)/(-21))/(10 - 1). Let r = -20/21 + x. Which is smaller: v or r?
r
Let u(s) = 316*s**3 - s**2 + 6*s + 8. Let j be u(-1). Is j at least as big as -315?
True
Suppose 11*c - 12*c + 4 = 0. Suppose 0 = -2*q - 14 - c. Let r = q - -8. Which is smaller: -3/5 or r?
r
Let a(n) = 1. Let j(d) = -d - 10. Suppose -2*k = 11 - 13. Let c(v) = k*a(v) + j(v). Let l be c(-7). Is l bigger than -2?
False
Let t = -21.0294 + 0.0294. Which is smaller: -0.9 or t?
t
Suppose 2*k + 62 = 3*y, 2*y + y = -5*k + 34. Suppose 0*m + y = m. Let c be (9/m)/(2/(-4)). Which is greater: 0.7 or c?
0.7
Let o(d) = -2*d**2 - 40. Let s be o(0). Let l = 48 + s. Which is bigger: 7 or l?
l
Let c be (9/6)/((-5)/(-10)). Suppose 5*w + c = -2. Is -1/2 at most as big as w?
False
Let p be 1*-1 + (16 - -30). Suppose -4*o = -9*o + p. Is o <= 9?
True
Suppose -5*k + 0*k = 5*m - 110, -m = -3. Which is smaller: k or 5?
5
Let k = -744 - -743.92. Is k <= -27?
False
Let n = 36064/649 - 612/11. Suppose 2*o = -z - z - 4, -2*z - o = 2. Is z at most n?
False
Let a = 348 + -339. Which is smaller: a or 3?
3
Suppose -4*l = 3*s + 23, 0 = -s - 3*l + 9 - 25. Let z(h) = -h - 2. Let x = 5 + -8. Let k be z(x). Which is bigger: k or s?
k
Let z(o) = 3*o**2 - 50*o + 13. Let f be z(10). Is f equal to -187?
True
Let b = 107.932 + -108. Let f = -0.032 + b. Is f bigger than 2?
False
Suppose -16 = -x + 2*v + 26, -2*x = -v - 99. Which is bigger: 51 or x?
x
Let h = 0 + 1. Suppose -15*j - 67 = -727. Let n be 6/(-16)*j/(-11). Is h equal to n?
False
Let k = 12.39566 + -0.12166. Let c = k - 0.074. Let h = c + 0.8. Do h and 2/7 have different values?
True
Let i(j) = -j - 6. Let a be i(-7). Let u be ((-94)/112)/((-9)/12). Let c = u - 4/3. Which is smaller: a or c?
c
Let j = -2034 + 14235/7. Is -6/11 at most as big as j?
True
Suppose 44 = -4*v - 0*v. Suppose a - 2*a - o = 13, -41 = 3*a + 5*o. Let r be (30/5 - 6) + (a - -1). Do v and r have the same value?
True
Let s be 698 + -8 + 0 + 0. Is s > 690?
False
Suppose 0*g - 3*g + 135 = 0. Let w be g/105 - 4/(-7). Let h be 6/(6/(-1))*2/26. Is w at most as big as h?
False
Let n be 3/(-7) - (-62)/14. Suppose 8 = -n*s - r, -3*r - r = -3*s - 25. Is -3 bigger than s?
False
