14 - 51/322. Suppose 0 = -2*d + g + 57, -2*g + 5*g = -d + 25. Let k = d - 29. Which is greater: k or h?
h
Let d = 0.1 - 0.2. Suppose -3*b + 6 + 3 = -3*h, 0 = -2*h - 10. Let i be (-4)/3*(-3)/b. Which is bigger: d or i?
d
Let y be 93/15 + (-4)/20. Suppose -6 = k + g, k - 2*k = -3*g - y. Which is greater: k or -1?
-1
Suppose s = -586 - 56. Let w = s - -4530/7. Which is smaller: 4 or w?
4
Let l be -1 + (-1 - -2 - -1). Which is smaller: l or -1/95?
-1/95
Let d = -15 + 15. Suppose 0 = 2*u + 5*x + 238, d = -4*x - 26 + 10. Let b = u - -1852/17. Which is smaller: b or 1?
b
Suppose -6 = -2*r + 746. Suppose 0 = -5*k - 3*a - 252 + 722, 4*k = 5*a + r. Suppose -6*v - k = 68. Which is greater: v or -28?
v
Let k be 7*(2 + -2 + 2). Is 108/7 at least as big as k?
True
Let x(a) = a**2 + 5*a - 13. Let b be x(-7). Let t be ((-7)/(-14))/((-2)/(-11 - b)). Is t bigger than -0.7?
True
Suppose 2519*r + 390 = 2534*r. Is r greater than or equal to 11?
True
Let h(y) = y**2 + 5*y - 3. Let b be h(-5). Let d be b/(-4) + 84/16. Suppose 5*a - 3*a + 14 = 2*u, d = 3*u. Which is bigger: a or -7?
a
Suppose 0 = q - 5*q + 12. Suppose q*p - 3*o + 5*o - 5 = 0, 4*p - 6 = -2*o. Let s = -5/348 + 881/12876. Is p less than s?
False
Suppose 12*c = 15*c + 75. Is c greater than -26?
True
Let m = 108 - 117.2. Let o = -0.2 - m. Let h = 10 - o. Is 2/17 equal to h?
False
Suppose -l + r = 6, -4*l - r + 7 - 21 = 0. Let w(o) = 2*o + 4*o - 5 - 2*o**3 - 5*o + 6*o**2 + 2*o**2. Let c be w(4). Is l bigger than c?
False
Suppose 0 = -16*n + 2*n + 28. Let q(r) = -r + 1. Let u be q(n). Let k = 419/102 - 25/6. Is u at most k?
True
Let c = 24 - 71/3. Let p = 387 - 388. Which is bigger: c or p?
c
Let s = 226 - 125. Suppose -171 - s = -4*u. Is u not equal to 69?
True
Let r = -231 + 233. Is -4/19 less than or equal to r?
True
Suppose -4*q + 130 = -5*o + 1842, q - 2*o + 428 = 0. Is -429 >= q?
False
Let n(o) = -o**2 + 5*o + 30. Let s be n(11). Let i be (s/(-345))/(8/20). Which is smaller: i or -1?
-1
Suppose 3*x - 27 = -5*k + 6*x, 5*k = -3*x + 33. Suppose -g = 2*j - 8, 5*g = 4 + k. Which is bigger: j or -4?
j
Let g = 15 + -49. Let x be (-4 - -7)/(2 - g/(-20)). Which is smaller: 11 or x?
x
Let f(d) = -d**2. Let z = -8 - -6. Let y be f(z). Let m be 116/406 - 37/7. Which is bigger: y or m?
y
Suppose -2*i + 6 = i. Suppose i*z + 2*z = -5*g - 44, -56 = 4*z + 2*g. Let w be (z + 7)*2/6. Is w >= -1?
False
Let l = -6.9 + 6. Let s = 2511 - 2508.922. Let k = s + -0.078. Which is greater: l or k?
k
Let u be 1254/532 + 1/7. Which is greater: -1.1 or u?
u
Let j = -115.9 - -116. Is -205 at least as big as j?
False
Let d be ((-292 + 0)*2)/(160/(-32)). Does 118 = d?
False
Let x be 1*((-7 - -3) + 3). Let q(s) = -s**3 + 5*s**2 - 7*s + 3. Let k be q(3). Are k and x equal?
False
Let t be (-1 + 823)/(0 + -16 + 14). Which is greater: t or -412?
t
Let w be (-3)/(-4)*(92/(-3) + -5). Which is smaller: -26 or w?
w
Let t = 0.16 - -0.12. Let h = t + -0.38. Does 7 = h?
False
Let i(q) = -q**3 + 6*q**2 + 11*q - 70. Let g be i(6). Let v(w) = -w**3 + w**2 - w. Let l be v(1). Do g and l have the same value?
False
Let u be (41349/(-960))/((-18)/20728). Let g = -198397/4 + u. Let i = g + -1/144. Which is smaller: i or 1?
i
Let b(g) = g**3 - 11*g**2 + g - 10. Let z be b(11). Let r be ((-3)/(-99))/((-32)/(-96)). Which is greater: z or r?
z
Suppose -127 = -4*r + 9. Suppose 0 = 4*v + 2*y + r, 0 = -5*y + 13 + 2. Let z be (-3)/2 - 35/v. Are 2 and z equal?
True
Let i be 606/14 + 48/(-1176)*7. Are 37 and i non-equal?
True
Suppose 3*i - 331 = 5*r - 10*r, 3*i = -3*r + 195. Let j = r + -69. Is 14 smaller than j?
False
Suppose 27 + 24 = 3*j. Let g = -334 - -351. Is j > g?
False
Suppose 168 = -2056*q + 2028*q. Which is smaller: q or 6/7?
q
Let u = -2401 + 74423/31. Which is greater: u or 1?
1
Let f be (-5)/(-1)*1*-1. Let s(d) = -d**3 - 6*d**2 - 5*d - 2. Let q be s(f). Let v be ((-693)/(-756))/(1/(-3)). Is q not equal to v?
True
Let t be 42/1449*1821/(-5). Let p = 53/5 + t. Let q be (-1)/3 - (-2)/6. Is p bigger than q?
True
Let n(a) = -5*a - 38. Let v be n(-28). Which is bigger: v or 101?
v
Let r be (-3)/(-4)*(-8)/108*-9. Which is greater: r or -6?
r
Let o be 72/28 - 3 - 8/(-28). Suppose 0*j - 5 = -5*j. Which is greater: j or o?
j
Let n(a) = -a**3 - 5*a**2 + 4. Let f = -1 - 4. Let b be n(f). Suppose k + 1 = -b. Which is smaller: k or -6?
-6
Let v(b) = 0 + 3*b - 3 + 2*b. Let a be v(3). Let g be (-3 - -10*3)*(-24)/(-54). Is g less than or equal to a?
True
Let v(q) = -q**2 + 6*q - 4. Let n be v(7). Let p be 2/n + (-504)/(-2409). Is 1 at most p?
False
Let c be (-3)/((-9)/2)*-6. Suppose 0 = 3*v + 3*u - 24, -3*v + 5*u = 5 + 3. Let x be (-8)/c - 0 - v. Is -7/6 less than x?
False
Let p be (-1)/(-2) - (-32)/(-58). Let x be ((-5029)/(-6815))/((12/5)/2). Let w = p - x. Are w and 0 equal?
False
Suppose -4*h + 19 = 3. Suppose 11*z - h = -4. Which is greater: -1/10 or z?
z
Let w = -12 - 29. Let c = w - -40. Let p be (4/15)/((-12)/10). Which is smaller: p or c?
c
Suppose -5*p = -3*j - 72, -2*j - 3*j - 3*p - 120 = 0. Suppose 24*b - 42*b - 2088 = 69*b. Is j != b?
False
Let u be (-732)/246 - (2 - 5). Let i be (212/(-8))/(2378/(-4)). Let q = u + i. Is -1 less than or equal to q?
True
Let q be 5/15 - 1/3. Suppose q = 3*j + 2*j + 20. Let c be (-6)/j*32/(-12). Do -5 and c have the same value?
False
Let q(x) be the first derivative of -1/3*x**3 - 12*x - 1/2*x**2 - 7 + 1/4*x**4. Let l be q(0). Which is bigger: l or -13?
l
Suppose -513 = -2*m - g, -m + 0*m + 243 = 5*g. Is 259 less than or equal to m?
False
Let l = -475/8382 - 1/254. Is l less than or equal to 18?
True
Let s = 0.307 + -0.707. Is 23/4 at least s?
True
Let b be ((-2)/11)/(6/9). Suppose -2*f = -0*f, 4*j = -5*f + 16. Suppose 2*v = 2 - j. Are b and v unequal?
True
Let u(y) = 17*y - 568. Let p be u(33). Let m(b) = b**3 - 5*b**2 + 4*b - 3. Let n be m(3). Is n >= p?
False
Let l(v) = -v**3 - 5*v**2 - 5*v - 3. Let a be 34/(-9) - (-26)/(-117). Let h be l(a). Is 3/17 equal to h?
False
Let y = 322 - 322. Are y and -5/7 nonequal?
True
Let w be (-56)/66 - (-2)/3. Suppose -7 = -11*i + 4*i. Which is bigger: w or i?
i
Let o(k) = -k**2 - 7*k + 4. Suppose -2*v - a + 3*a - 24 = 0, 4*v - 5*a = -52. Let s = v - -1. Let z be o(s). Which is greater: 1 or z?
z
Suppose 5*r - q = 4*r + 169, 2*r = 4*q + 348. Let g be r/1224 + (-5)/((-45)/(-2)). Is 1 < g?
False
Suppose -3*g + 20 = -2*r, -r - g = 3*g - 12. Let d be 1 - (1 - -2) - -1. Let o be 2/d*2*1. Is r equal to o?
True
Let c = -92 + 461/5. Which is greater: c or -7/4?
c
Suppose 2 = 4*p + 6. Let z = 1 + p. Let v = 4069 + -4076. Which is smaller: z or v?
v
Let d = 190/9 - 914/45. Let m be (-5 - -11)*1/3. Suppose 4*z + 3*l = -3, -7*z + m*z - 1 = l. Is z at most as big as d?
True
Suppose 0 = -5*t - b + 560, -4*b + 329 = 5*t - 216. Let r = 53 - t. Do -60 and r have different values?
False
Suppose 5*h + 11 = -2*r, -3*r - 2*h = -4*r + 8. Suppose 3*b - r*b = -1. Let i be (1/15)/(8/16). Is i equal to b?
False
Let x(k) = 2*k**2 - 35*k + 19. Let y be x(20). Is 117 greater than y?
False
Let z = -1533/26 - -59. Suppose 0 = 5*c + 6*u - 5, 0*c - 5*u + 1 = c. Which is bigger: c or z?
c
Let g(n) = -n - 26. Let b be g(-12). Suppose -4*a - 27 = 37. Is a less than or equal to b?
True
Let g be (1 + -5)/((-28)/(-11260)*-6). Let n = -268 + g. Are 1 and n equal?
False
Let n be (-44)/7 + 8 - (-22630)/(-13797). Let i be 46/10 + 2/5. Suppose i*j + 5 = -0*j. Which is greater: n or j?
n
Let a(n) = 2*n**2 + 8*n - 9. Let y(z) = -3*z**2 - 7*z + 10. Let p(v) = 5*a(v) + 4*y(v). Let j be p(5). Is 19/3 at most as big as j?
False
Let o be (17 + -1)*(-11)/(-22). Suppose -2*k = 4*r + 16, -o*k - 3*r = -3*k + 5. Is 13/8 != k?
True
Let t be (-2)/20 - (10 - 424/40). Let w = -1.2 + 1.11. Which is greater: w or t?
t
Let g be (-6 - -4) + (6 - 4). Let f be ((-6)/(-9))/((-3)/(-2)). Do f and g have different values?
True
Let u be 25/((-1050)/(-952)) - 2/1. Is 22 < u?
False
Suppose -5 = -5*k - 0. Let z be 6*(-3)/(-3) - 2. Suppose z*l - k = 3*l. Are l and -4 nonequal?
True
Let r = -0.149 - -0.349. Which is bigger: r or -135?
r
Let l(r) = -7*r - 6. Let d be l(-1). Let w be 1 + -2 + 7/8. Is w less than or equal to d?
True
Let f = 1202/3 + -402. Which is smaller: f or 40?
f
Let q(m) = m**3 - m**2 + 22. Let x be q(0). Suppose 0 = -i - i - x. Let u be