8/430)/9*-1*1. Let z = i + m. Which is smaller: z or 0?
z
Let z(j) = 40 - 118 + 30 - 10*j. Let w be z(-5). Let k be (-14)/(-6) + 3/(-9). Is k >= w?
True
Let l be (-15)/(-6) - 1/(-2). Let o = 24 + -22. Suppose 6 + 2 = 4*t + 4*v, -t - 1 = -o*v. Which is smaller: t or l?
t
Let s = -189 + 767/4. Suppose 2*h - 4*h - 12 = 0. Let k = h + 10. Are k and s equal?
False
Suppose -122*c = -112*c - 18040. Is 1805 greater than c?
True
Let y = 39 + -50. Let n = 10 + y. Let v = -0.4 - -1. Which is greater: v or n?
v
Let w be (0 - -430) + (-3 - 0). Suppose 326 = 4*m - 2*q, -2*m - 4*q + w = 3*m. Which is bigger: 1 or m?
m
Let a = 20 + -33. Let f be (2 - -4)*5/(-2). Which is smaller: f or a?
f
Let q be 1 - (-1 - -1) - -2. Suppose q*x = 5*x - 6. Let u(v) = 2*v**2 - v - 4. Let h be u(2). Which is bigger: x or h?
x
Suppose 14 = i - 4*i - 5*w, 0 = 2*i + w. Let z = -375 + 1796/5. Let f = -15 - z. Is f at most as big as i?
True
Let h be (2 + 9/(-6))*0. Suppose -4*x + 5*x = h. Is 0 >= x?
True
Let b = -219.7 + 219. Which is smaller: -1 or b?
-1
Let q = 72 + -71.82. Which is smaller: 1/3 or q?
q
Let f(u) = u + 12. Let i = 10 + -10. Let z be f(i). Let p be z/(-28) + (-8)/14. Which is greater: -5/4 or p?
p
Let j(v) = v**3 + 6*v**2 + 3*v + 1. Let d be j(-5). Suppose o - d = -b, -5*b - 2*o + 34 + 30 = 0. Let l be 5*-1*(-7)/b. Is 2 < l?
True
Let u(g) = -6*g - 3. Let a be u(-1). Let r = 6 + a. Let h be 58/(-36) - (-1)/r. Is -1 at least h?
True
Let q = 14.2 - 18. Let o = 3.58 + q. Is -2/3 at least o?
False
Let r(s) = 40*s + 897. Let b be r(-50). Is -1104 < b?
True
Let w be (4 + 5)/(1/(-5)). Let o be 10/6 + (-15)/w. Let i be (2 + (1 - o))/(-13). Is i <= 0?
True
Let f(i) = 2*i**2 + 6*i - 3. Let t be f(-4). Suppose -23 + 28 = -t*s. Which is smaller: s or 15?
s
Let a be (-110)/(-3 + 1 + -15 + 18). Let o = -109 - a. Is 2/55 > o?
False
Let j = -67423 + 338856/5. Let p = j - 350. Let w(s) = s**2 - 3*s - 5. Let k be w(4). Is k > p?
True
Let i(r) = -r**3 - 6*r**2 - 16*r - 22. Let y be i(-3). Are y and -3.04 unequal?
True
Let j(y) = -y**3 + 2*y**2 - 1. Let f be j(1). Let z be (-4 - -8) + f - 11. Suppose 3*o = -2*c - 28 - 3, 3*o = -15. Which is bigger: c or z?
z
Suppose 71 = -i + 68. Which is smaller: i or -2?
i
Let u be 0/4 - 2/(-14). Let b = -30 - -28. Let j be 3/b - 12/(-8). Is j < u?
True
Let m be (-2)/9 + 7060/(-63). Let h = 112 + m. Which is bigger: h or -1/3?
h
Let h be 2/54*6/(-5). Let l = -2507.1 - -2507. Which is bigger: l or h?
h
Suppose 4*d - 49 - 91 = 0. Let y = 34 - d. Is -1/8 at least y?
True
Let o = 13 - -2. Suppose o*m + 23 = -112. Is -16 not equal to m?
True
Let a = -0.33 + 0.34. Let z = -1.01 + a. Is -8 > z?
False
Suppose -110*t + 127*t - 17 = 0. Which is bigger: 12/7 or t?
12/7
Suppose 5*a + 3*r - 13 = 4, -4*a + 4*r + 20 = 0. Let n be 10/50*a*-3. Is n < -2?
True
Suppose 0 = 5*p + 3*q + 62, -2*q = 4*p - 0*q + 48. Let w = 9 + p. Is 0.6 at most as big as w?
False
Let x = -3 - -6. Let m(p) = -p**2 + 12*p - 9. Let z be m(11). Suppose -7*f - o = -z*f - 2, 3*o = 4*f - 13. Which is smaller: f or x?
f
Let m = -12.37 - 0.13. Let h = 2.7 + 10.3. Let g = m + h. Which is greater: -0.1 or g?
g
Let g be (-6)/24 - (-26)/8 - 2. Which is bigger: g or -1/287?
g
Let c = 55/7 - 1478/189. Which is smaller: 0 or c?
0
Let o = 2274 - 2509. Which is greater: o or -1?
-1
Let b = -11 - -18. Let y = -130 - -132. Which is smaller: b or y?
y
Let n be 55/275 + 59/(-45). Let y = 0.2 + -0.3. Which is greater: y or n?
y
Let a = -6613/27 + 245. Let d = -232 - -231. Are d and a equal?
False
Let w = -12071 - -494850/41. Let r = w - 1/82. Let t = r - -23/18. Do t and 0 have different values?
True
Let q = -979/182 + 21/26. Which is smaller: q or -5?
-5
Let p be -3*(-114)/(-260) + 0. Let j = p - -21/13. Do j and -1 have the same value?
False
Let i = 240 - 320. Which is greater: i or -82?
i
Let m = -87.9 - -84. Let d = -0.9 - m. Which is greater: d or -4?
d
Suppose -4*l + 2132 = -4*t, -3*l = -2*t + 63 - 1131. Which is smaller: -530 or t?
t
Let s be ((-1)/2)/(44*8/(-32)). Is 1 > s?
True
Suppose -5*v = -6*v + 2. Suppose q - 10 = 5*i, -3*i = -2*i - v*q + 2. Let x be i/((-2)/(-4)*-10). Is 0.2 <= x?
True
Let o(p) = p**2 - 2*p - 37. Let y be o(0). Are y and -112/3 equal?
False
Let i = -2 - -5. Suppose c = 2*c - i. Suppose 2*h = -s - 3*s + 10, 13 = 5*s + 2*h. Is s > c?
False
Let r = -17626481865/2233 + 7893633. Let a = -2/319 - r. Is a at most as big as 32?
True
Suppose -58*x = -32*x + 11986. Is -461 at least as big as x?
True
Suppose 3*f - 33*n = -28*n - 1270, -3*f + 2*n = 1282. Is f >= -430?
True
Let a = 19821/22 + -901. Is -3/2 smaller than a?
True
Suppose 390 = -0*m + 5*m. Suppose -7*a + 69 + m = 0. Is a less than or equal to 19?
False
Let h(j) = -2*j - 6. Let y be h(-5). Let p = 0 - y. Let l = 6 + -10. Is p at least as big as l?
True
Let r = 88 - 349/4. Which is bigger: -2 or r?
r
Let n = 0.841 - 14.841. Is 0.29 equal to n?
False
Let t be (-12)/(-5)*((-700)/15)/7. Let j be t - ((-4)/12)/((-3)/27). Which is smaller: j or 0.1?
j
Let n(p) = -11*p - 87. Let s be n(-8). Which is smaller: 2/151 or s?
2/151
Suppose -9*k = 27 + 9. Suppose c = -0*c + 4*s - 15, -25 = 3*c - 2*s. Which is smaller: k or c?
c
Let a be ((-20)/15)/((-4)/54). Let o(j) = 2*j - 13. Let k be o(a). Is 24 at least as big as k?
True
Let j be 25*-1*1/1. Let a(l) be the third derivative of -l**6/40 - l**5/30 + l**4/6 + 41*l**2. Let n be a(2). Which is smaller: n or j?
j
Let f = -13 + 19. Let b be f - ((-4 - -4) + 2). Suppose b*o = 0, -5*v + 6*v = 3*o + 7. Which is smaller: v or 2?
2
Suppose 48 + 168 = -24*n. Which is greater: -4 or n?
-4
Let h = 667/1744 - 7/16. Which is greater: h or -1?
h
Suppose 21 = -a + 8*a. Suppose -g = 3*g - a*g. Let k = -24.8 + 4.8. Is g > k?
True
Let a(w) = -w + 3. Suppose 5*y - 6 = 19. Suppose 3*z - 32 = -0*z - y*g, z - 16 = -3*g. Let l be a(z). Which is bigger: 2/17 or l?
2/17
Let u(j) be the first derivative of j**4/4 - 14*j**3/3 + 2*j - 20. Let i be u(14). Is i at most as big as 0?
False
Suppose 5*c = 2 - 27. Which is greater: c or -120/19?
c
Suppose 3*y - 2*w - w = -12, 0 = -y - 2*w - 19. Let m be y*(-2 - (-20)/6). Is -12 > m?
False
Let y be (-8)/18*6/20. Let r(g) be the second derivative of -g**3/6 - 15*g**2/2 - 6*g. Let p be r(-14). Which is smaller: p or y?
p
Suppose 18 = h - 5*d, 5*d - d = -5*h + 90. Suppose -61*i + 24 = -55*i. Suppose i*t + 18 = 2*u, 0*u - 5*t = 2*u + h. Which is smaller: u or -3/14?
-3/14
Let f = 6 - 1. Let z be 2 + 0 - (-5 + f). Which is smaller: z or 2/11?
2/11
Let q(y) = -2*y**2 - 4*y + 6. Let v be q(0). Let p be (18/(-14) + 2)*9. Which is smaller: v or p?
v
Let z = -28.3044 - -0.0044. Does z = -0.1?
False
Suppose -3*b - b = 0. Suppose b = -i - 5*u + 14, i + 2*u = -i + 4. Which is bigger: i or 9?
9
Let p be (23 - 18) + 239/(-48). Suppose -5*h - 10 = 0, -4*t + h + 8 = -2*t. Suppose 3*g - 5 = -t*n - 2, 5*g = 3*n - 3. Which is smaller: g or p?
g
Let n = 1.006 + -0.006. Are 1.19 and n equal?
False
Let f = -8/1593 - -6953/1067310. Is f greater than or equal to 0?
True
Suppose -6 = -3*u - 252. Let v = u + 244/3. Let x be (-9)/(5 - 2) + 3. Is x > v?
True
Let q(j) = -2*j**2 + 1. Let c be q(1). Let u(w) = 2*w**2 - 11*w + 17. Let s be u(6). Suppose s*b - 28*b - 60 = 0. Which is greater: b or c?
c
Let x = -607/1254 - 7/114. Let r(i) be the third derivative of -i**5/60 + i**4/2 + 11*i**3/6 - 5*i**2. Let j be r(13). Which is smaller: j or x?
j
Let m = -16 + 20. Let s be 940/36 - m/36. Which is greater: 25 or s?
s
Let d be (-4)/30 - (-771)/45. Let q = 17 - d. Suppose q*p = 4*p - 28. Are p and 6 equal?
False
Let l be (10 - 1)/(-3) - -2. Let k(g) = 2*g + 5. Let n(h) = h - 1. Let v(b) = -k(b) + 3*n(b). Let y be v(6). Is l greater than y?
True
Let x(y) = -2*y**2 - 4*y - 3. Let n be x(2). Are n and -19 unequal?
False
Suppose m = -3*x, -x = -4*m - m - 16. Is 2/735 less than or equal to x?
True
Let v = 259 + -279.08. Let c = -20 - v. Which is bigger: -0.7 or c?
c
Suppose -44 = -6*u + 40. Is u greater than 3?
True
Let h(g) be the third derivative of -1/10*g**5 + 1/120*g**6 + 0*g + 5/6*g**3 + 1/12*g**4 + 0 + 8*g**2. Let a be h(6). Is -0.1 smaller than a?
True
Let j = -8 + 8. Let u be 4/8 - ((-6)/15)/(-1). Do j and u have the same value?
False
Let r = -36.4 + 40. Let k = 8.6 - r. Which is smaller: 0.1 or k?
0.1
Let q