
Let g = 10 - 25. Let q(n) = n**2 + 2*n - 2. Let r be q(-3). Suppose -5 = -4*k - r. Which is greater: g or k?
k
Let w be (11/3)/(72/27). Which is greater: 2 or w?
2
Let h be (0/3)/(-2 + 5). Suppose -11*y + 2*y + 45 = 0. Suppose 4*g + 5 = -0*i - y*i, g = h. Is 1/5 at least i?
True
Let y(i) = -i**3 + 5*i**2 - 5*i + 24. Let h be y(5). Is h greater than -3/301?
False
Let h = 3439 + -1083284/315. Which is greater: h or -1?
h
Let w(x) = -9*x + 72. Let c be w(9). Is -8 equal to c?
False
Let r = -419 + 1255/3. Are r and 71 nonequal?
True
Let w = -2146/1463 + 8/209. Which is greater: 0 or w?
0
Let i = -91 - -324. Which is bigger: i or 234?
234
Let n be 169/2*5*112/385. Let h(a) = -24*a - 2. Let c be h(5). Let l = c + n. Is 2 smaller than l?
False
Suppose 0 = -2*m + 62 - 12. Let z = m - 21. Are 4 and z non-equal?
False
Suppose -16 + 1 = 3*m. Let n be (2*17)/((-5)/(m/(-1))). Which is greater: -33 or n?
-33
Let y = -0.5 + -1.5. Let a = -1849/15 - -878/3. Let x = -170 + a. Is x at most as big as y?
False
Let y = 29.9 - 36. Let w = y - -6. Is 22 smaller than w?
False
Let j = 227203/5140 + -3/1028. Which is smaller: j or 45?
j
Let c(g) = g**3 + 7*g**2 + 7*g + 8. Let w be c(-6). Let p be 63/14*(55/(-30))/(-11). Which is smaller: p or w?
p
Suppose 2*s = -3*s + 15. Suppose -5*k + s*k = 12. Suppose -10 = -2*l + 5*o, l + 15*o = 16*o - 1. Which is smaller: k or l?
k
Let c(k) = k**3 - 44*k**2 + 2*k - 89. Let r be c(44). Is -18/19 at most as big as r?
False
Let x = 23 - 30. Let n = -0.2 + 0.1. Which is smaller: x or n?
x
Let y be (16/6)/8 + 1/4. Which is smaller: y or -1?
-1
Let o be -1*3 - 8/(-2). Let y be 3/9 - ((-16)/30)/8. Is y at least o?
False
Let r = -40.956 + -0.044. Which is smaller: -9 or r?
r
Let c(z) = -z**2 - 9*z. Let v(k) = -k**3 + 9*k**2 - 3*k + 19. Let f be v(9). Let j be c(f). Suppose 0 = 3*l - 3, -5*l - 3 = -3*g - j. Is g at most -1/5?
False
Let f = -9.5 + -1.5. Let d = f - -5. Let t = -1269 - -1269. Are t and d nonequal?
True
Let o = 2037 - 2035.9. Is o greater than -3/71?
True
Let n = 0.41 - 1.41. Let f = n + 0.8. Let z = 0.5 - 0.3. Which is greater: z or f?
z
Let c = 1.2 - 1.2. Let b = 0.8 + c. Let x = 0.7 - b. Which is smaller: x or 0?
x
Let x = 2/5601 - 16969/464883. Is x bigger than 1?
False
Let k be (-26)/(-48)*2 + -1. Let s(i) = i**2 - 5*i - 5. Let m be s(8). Let p = 18 - m. Which is bigger: p or k?
k
Let g(a) = a - 59. Let q be g(19). Let b be (100/q)/(10/(-168)). Do b and 42 have the same value?
True
Suppose -7*u + 5*u = 5*r - 3, 2*u - 2*r + 4 = 0. Let v = -15304/17 - -900. Are u and v nonequal?
True
Let g = 179.1 + -180. Let c = 53/6 - 28/3. Does c = g?
False
Suppose 5*q - 7 = -2*q. Let p = 15/14 + -10/7. Do q and p have the same value?
False
Suppose -5*l - 109 - 116 = -5*a, -2*a - 2*l + 102 = 0. Suppose -h + 17 = -2*v, -3*v + 2*h - 27 + 1 = 0. Let g be (-71)/v + 6/a. Is g bigger than 10?
False
Suppose -2*u + 6*u = 7*u. Let t = -1125 - -39369/35. Which is smaller: u or t?
t
Let h(c) be the first derivative of c**3/3 + 5*c**2 + 13*c + 21. Let r be h(-8). Is -3 <= r?
True
Let m(u) = -11*u + 64. Let w be m(8). Which is greater: w or -4?
-4
Let i(x) = 2*x - 30. Let f be i(18). Suppose -f*r = -8*r - 6. Is r >= 0.02?
False
Let r be (22/6 - -1)*3. Suppose 4 = 5*b + r. Let k = b - -4. Is k > -1?
True
Let z = 0.1 - 0.2. Let a = 45 + -38. Suppose -a*o + 2*o = 0. Which is greater: o or z?
o
Let l = -4 + 3. Let s be (-2 - -2)/3 - (-44)/253. Which is bigger: l or s?
s
Let j(g) = 11*g + 2. Let o be j(-2). Let v = -17 - o. Suppose v*y - 1 = 2. Do 2/9 and y have the same value?
False
Let k(j) = -2*j**3 + 9*j**2 - 2*j - 7. Let w(n) = 2*n + 12. Let i be w(-4). Let v be k(i). Is 0 at most v?
True
Let s = 81 - 78. Let u be ((-11)/s + 4)*(4 - 1). Let x = 494 - 38036/77. Is u less than x?
False
Let c(y) be the second derivative of y**4/12 - 5*y**3/6 + 3*y**2/2 - 11*y - 1. Suppose -3 = -t + 1. Let v be c(t). Is 7 greater than or equal to v?
True
Let q(d) be the third derivative of d**6/120 - d**5/15 - d**4/4 + 2*d**3/3 + 10*d**2. Let a be q(5). Let g = 2702/13 + -208. Are g and a non-equal?
True
Suppose 38*m = 65*m. Which is greater: m or 9/59?
9/59
Suppose 6*t = 4*t + 4*k + 8, 0 = 4*t + 4*k - 4. Let z(i) = t + 0*i**2 + 0 - 2*i**2 - 2*i. Let w be z(1). Is -9/7 at least w?
True
Let k = 8.4 - 20.6. Let a = 13 + k. Let q = 2.8 - a. Is -3/4 less than q?
True
Let l(p) = p**2 - 11*p + 15. Let d be l(9). Let b be (-88)/d + 9/(-27). Is 31 at least as big as b?
True
Let k be 150/(-284) + 1/2. Let f = -19767 + 19766. Is f equal to k?
False
Let r = -30 - -45. Let a = 7 + r. Which is smaller: 0 or a?
0
Suppose 20 + 30 = -2*n - 2*d, -2*d + 82 = -4*n. Let u = n + 31. Which is smaller: 11 or u?
u
Suppose -12 = -y + 2*u, -4*u + 4 + 0 = 0. Suppose -2 + 0 = -4*d + 3*b, 0 = 2*d + 5*b - y. Let o be (d/(-46))/(3/(-6)). Which is smaller: -1 or o?
-1
Suppose 2*v - 3 = 3*f, 2*v - 4*v - f - 9 = 0. Let g = 70 - 50. Suppose 5*r = -5*q + g, q + 0*q - 24 = -5*r. Which is bigger: q or v?
q
Suppose 4*r + 2303 - 515 = 0. Let v = 53194/119 + r. Let j = 103/119 - v. Which is smaller: 2 or j?
j
Let q be -1 + ((-1930)/975)/(-2). Let g = 83/1755 + q. Which is smaller: 0 or g?
0
Let p = 636.1 - 636. Let h = -27 - -6. Are p and h nonequal?
True
Let o = 1842 - 1824. Which is smaller: o or 117/7?
117/7
Suppose -a = a + 2. Let w = -13/7 - -214/119. Which is smaller: w or a?
a
Suppose 0 = h - 4*p - 6, 0*p = -4*h - 5*p + 3. Suppose -2*o + 7 = r + 4*r, -2*o + h*r = 0. Let k be 13/(-15) - -2 - o. Is k < 0?
False
Suppose 0 = 3*f - 4*f + 2. Suppose -3 = -g, 3*t + 6*g - f*g = 18. Let j(l) = -l**2 + 2*l + 2. Let y be j(3). Are y and t nonequal?
True
Let o be 0*((-186)/36 - -5). Let p be 73/37 + (0 - 2). Are p and o equal?
False
Suppose -2*k - 7 = -15. Suppose m - k = -m. Suppose m*i + 0 - 2 = 0. Which is smaller: -2/43 or i?
-2/43
Let l = -22203/344 - -513/8. Let p = l - 71/344. Which is smaller: p or -3?
-3
Let o(r) = -r**3 - 15*r**2 + 4*r - 38. Let b be o(-15). Which is greater: b or -99?
b
Let s = 22.235 + 1.425. Let j = s + 0.34. Let q = j - 23.3. Which is smaller: q or 2/7?
2/7
Suppose -2*j = 5*b + 11, 2*j = -b - j - 10. Let r be 0 - ((-1)/2)/(b/(-2)). Is r greater than 1?
False
Let f = -47 + 53. Suppose -f*t = t + t. Is 2/43 at most as big as t?
False
Let j = -168 + 107. Which is bigger: -1 or j?
-1
Suppose 3*x - 2*z - 21 = 0, 18*x - 28 = 14*x + 5*z. Suppose -w + 4 = -0*w + y, -4*w + 22 = 2*y. Is x at least w?
True
Let o = -17 + 21. Suppose o*b + 4 = 64. Let w be 19/5 - 60/b. Is w greater than 1?
False
Let n(k) = k**3 - 7*k**2 - 11*k + 25. Let r be n(8). Are r and -1/769 non-equal?
True
Let q(z) = -z + 5. Let t be q(4). Let f = 24 + -25. Let u = f + -2. Which is smaller: u or t?
u
Let f(l) = -l**3 + 7*l**2 + 9*l - 7. Let u be f(8). Let d be -1 - (4 - (u + 3)). Let b(p) = 2*p + 1. Let k be b(d). Are k and 2/29 unequal?
True
Let u be -3 + (17/((-85)/(-30)) - 191). Is u smaller than -188?
False
Let q = -5 - 37. Let j(o) = o**2 + 7*o. Let d be j(-6). Let x be (2/d)/(q/72). Which is greater: 1 or x?
1
Suppose -2*i = -0*g - 4*g + 6, -5*g - 5*i - 30 = 0. Let o = -0.0721 - 46.9279. Which is greater: o or g?
g
Let s be 14/(35/5)*(7 - 1). Let b be (-7)/s - (-14)/56. Are b and 0.04 equal?
False
Suppose -15*l - 1 = -16*l. Let b = 0.96 + -9.86. Let f = b + 9. Which is smaller: f or l?
f
Let a = 181 - 276. Let q = a + 94. Which is bigger: 3/68 or q?
3/68
Let b be -1 - (6 + 3) - 0/(-2). Which is smaller: -3 or b?
b
Suppose -15*w = 213 + 87. Which is bigger: w or -16?
-16
Let r = -119 - -123. Suppose r*b = 4*i + 16, -3*i + 14 = 2*b - 9. Let f(z) = -z**3 + 5*z**2 - 4*z. Let d be f(3). Is d != b?
True
Let o = 0 - -0.16. Let a = o - 0.26. Is -0.03 equal to a?
False
Let k = -22 + 21. Which is smaller: 6/137 or k?
k
Let o = -354 + 354. Is o at most 1/19?
True
Let j = 0.247 - 0.23. Let k = -1.983 - j. Let q be 11/(-5) - (-1)/5. Is k > q?
False
Let n = -61/4 - -415/28. Let l be 1/5 + (-7 - (-568)/80). Let u = l - 11/20. Is u > n?
True
Let z(b) = b**3 - 4*b**2 - b - 3. Let d be z(4). Let f be -3 + ((-924)/(-8))/d. Let a = f + 197/10. Which is greater: a or 0?
a
Let h(p) = p**3 - 20*p**2 - 12*p - 190. Let j be h(21). Let w(s) = s**2 + 7*s. Let g be w(-5). Let o be 68/145 + 4/g. Is o at most as big as j?
False
Let t(m) = 7*