. Let d be g(-5). Which is bigger: u or d?
u
Let i be (-18)/45 + (-44)/(-10). Suppose -i*k = k + 5. Let t be 28*((-1)/2 - k). Is t > 12?
True
Let a be 2/(-14)*(-36)/(-4). Let c(k) = -5*k - 70. Let l be c(-14). Which is greater: l or a?
l
Let c(v) = 2*v - 1. Let u be c(-6). Suppose 3*z - 5*y = 41, 0 = -5*z - 2*y - 1 + 59. Let k = u + z. Which is smaller: k or -6/7?
k
Let r = -675/16 + 54635/1296. Which is greater: -1 or r?
r
Let a be (-8)/28 - (-149)/7. Suppose 4*c - 5*v = -a, 0 = 2*c + 2*c - 2*v + 18. Let j be 3/3 - c/(-2). Does -1 = j?
True
Suppose 0 = k + 7*k - 16. Suppose 7*z - k = 9*z. Is z <= 2/59?
True
Let d(v) = 148*v**2 - 50*v + 16. Let b be d(3). Which is greater: -0.1 or b?
b
Suppose 40*m = -3*m. Is -10/347 at least m?
False
Let c be 4 - (-10)/(480/(-198)). Is 1 > c?
True
Suppose 2*t - 3 - 3 = r, -r = 4*t - 18. Suppose 132 = 10*f - 88. Let s = 26 - f. Which is smaller: r or s?
r
Suppose 23*i - 15*i - 104 = 0. Suppose -i*q + 18*q = 15. Is q >= 4?
False
Let m = -34 + 45. Suppose m*l = -4*n + 10*l + 10, 3*l = -3*n + 12. Let o(a) = -a**3 + 5*a**2 + 6*a + 3. Let v be o(6). Which is bigger: n or v?
v
Suppose 0 = 7*b + 2369 - 2565. Suppose 5*k + 2*g - 46 - 112 = 0, 0 = 3*k - 2*g - 82. Are k and b unequal?
True
Let j(w) = w**3 + 15*w**2 - 15*w + 17. Let a be j(-16). Which is smaller: 147 or a?
a
Let b = -69 - -64. Let h(z) = z + 12. Let j(a) = a + 1. Let r(q) = -h(q) + 4*j(q). Let k be r(b). Which is smaller: -24 or k?
-24
Let k(d) = 14*d + 9. Let m be k(-5). Let s = m + 63. Let v(h) = h. Let u be v(-4). Is s equal to u?
False
Let p = 0.045 - -32.955. Let h = p - 33. Which is greater: h or -2/49?
h
Let s = -90 + 89. Is -0.102 < s?
False
Let w = 103 - 98. Suppose b + 1 = 3, -4*b = w*o + 22. Which is smaller: -5 or o?
o
Suppose 3*k = 178 + 4499. Is k greater than or equal to 1559?
True
Let n = -0.9 - 4.5. Let r = n + 5. Which is bigger: r or 3?
3
Suppose 0 = 3*j - 3*m - 27, -3*j - m - 4*m - 13 = 0. Let z = j - 39. Is -37 >= z?
False
Let i = -4 - 18. Let a = -24 + i. Which is bigger: a or -0.1?
-0.1
Let r(q) = 2*q**2 - 3*q - 1. Let p be r(2). Suppose 5*n - p = -4*x, -6*x = -x + 5*n. Is x at least -4/5?
False
Suppose -l = -19 - 41. Let y = l - 239/4. Which is greater: -0.01 or y?
y
Let c = -8 + 5. Let q(k) = -k**3 - 8*k**2 + 23*k + 29. Let p be q(-10). Which is greater: p or c?
p
Suppose 0 = 4*x - 9*x + 35. Suppose -2*y - 10 = -x*y. Let s = 4.7 + -5. Is s at least as big as y?
False
Let p be 2/7 + ((-176)/28 - -7). Which is greater: -1/37 or p?
p
Suppose 4*f + 3*l - 1 = 14, -3*f = 4*l - 13. Suppose f*s = 3*q - 6, s = -2*s - 3*q. Let b be ((-1)/2)/((-1)/34). Is b at least s?
True
Let y(d) = -d**2 + 4*d + 4. Let f be y(2). Suppose -20 = -4*g + 4. Let v = f - g. Is 2 > v?
False
Suppose s = -1, -5*g + 3*s + 4 = 4*s. Let n be (-4269)/21 - (-2)/7. Let u = 2643/13 + n. Is g at most u?
False
Let t = -1/544 + 3839/16864. Which is bigger: t or 0?
t
Suppose -9*m = -10*m - 140. Let y be m/(-25) - 3/5. Suppose 0 = 4*h - 9 - 3. Is h bigger than y?
False
Let p be ((-159)/171 - -1)*108/(-24). Which is greater: p or 1?
1
Let z(t) = t**3 + 19*t**2 - 20*t + 5. Let h be z(-20). Let w(f) = -2*f + 5. Let l be w(h). Is -7 <= l?
True
Let l = 42 - 38. Suppose -l*w + w = 153. Is w at least -51?
True
Suppose 5*z - 5*i = -1645, 53*i - 991 = 3*z + 52*i. Which is smaller: 0.1 or z?
z
Let b = 87 - 88.62. Let y = 1.5 + b. Let z = y + 0.02. Which is greater: -1 or z?
z
Let o be (6/(-26))/(30/200). Which is smaller: o or -3?
-3
Suppose t + y - 90 = 5*y, 4*y = -2*t + 120. Let x = 66 - t. Is x equal to -3?
False
Suppose -v = -5*n + 13, 6*n - 3*n = v + 7. Suppose -2*i - 3*u = -u, i - v*u - 3 = 0. Which is smaller: -1/25 or i?
-1/25
Let n be 1 + -4 + (0 - -7). Let f be (-81)/(-36) - 1/n. Suppose -f*o + 2*i = -i + 8, i - 7 = 5*o. Are 1/3 and o equal?
False
Suppose -2*u + 8 = -0*u. Suppose -3*n = 9, u*n = -2*h + 5*n + 3. Let l be (-11)/(-63) + (-4)/14. Which is bigger: h or l?
h
Suppose -l + 2*z = -5, 0 = 6*l - 8*l + 3*z + 8. Which is bigger: l or 1/317?
l
Let h = 1355.8 - 1222. Let s = h - 134. Which is greater: s or 0.014?
0.014
Let i = -0.0565 - 0.0545. Is 0.3 at least as big as i?
True
Let r = -3736/7 - -536. Suppose 3*m + h = m + 2, 3*m - 3 = 4*h. Are m and r unequal?
True
Suppose 5*d - 8*d + 246 = 0. Let s = 104 - d. Is 20 equal to s?
False
Let r be 29 + -35 + 18*(-3)/(-6). Let v = 1.9 + -1.64. Let q = v - 0.06. Which is smaller: r or q?
q
Suppose -2*z = 3*t - 9, 0 = -4*z - 3*t + 11 - 2. Suppose -q - 5 - 10 = z. Which is smaller: -14 or q?
q
Let x = -465/7 + 24624/371. Let v = 144/265 - x. Let l be (-16)/6*201/(-536). Is v bigger than l?
False
Suppose -2*x - 26 = x + 4*q, -2*q = 2*x + 18. Let n be 2/x*1/(-1). Let w(h) = -h**2 + 19*h + 610. Let s be w(-17). Is n < s?
False
Let m = -15 - -7. Let g = -39 - -51. Let a = g + m. Which is bigger: a or -0.1?
a
Suppose 5*u + 1338 = 3*o - 35, -4*o + 261 = -u. Let h = u + 5816/21. Is 0 at least h?
True
Let v(m) = -2*m - 2. Let f be v(-4). Let g = -19/2 + f. Is g != -5?
True
Let k = 9537 - 1468703/154. Are -1 and k non-equal?
True
Let c be 408/(-64) + 9/24. Which is bigger: -8 or c?
c
Suppose u = 5 - 3. Suppose 0*d = 3*d - 9, -2*d = u*z + 46. Is -26 at most z?
True
Suppose -4*f = -3*h - 6180, 2*f = h + 3*h + 8230. Let n be h - (-6)/((-2)/1). Let a = n - -18509/9. Is -2 >= a?
True
Let j(y) = -y**3 + 6*y**2 + 7*y + 8. Let q be j(7). Let b(c) = -c**2 + 8*c. Let s be b(q). Let p = -10 + 19/2. Is p at most s?
True
Let x = 0.17636 + -0.19636. Let j(b) = b**2 + b - 4. Let n be j(3). Is x at least n?
False
Let r = 1 + -1. Suppose -2*b - 50 + 10 = r. Let t be 12/b - 106/(-10). Which is greater: t or 11?
11
Let a = -23 + 22.7. Let o = -0.3 - a. Which is smaller: -3/7 or o?
-3/7
Let z(l) = l**2 - 19*l + 8. Let y be z(18). Let v be (27/(-15))/(6/y). Suppose 0 = 3*i - 4*i + 5. Is i bigger than v?
True
Let g = 118.1 + -118.1. Are g and -11/6 unequal?
True
Let q be 14/(-84) - (10/12 - 1). Let c be (q + 2/(-10))/(44/(-165)). Which is bigger: 0 or c?
c
Let d be ((-14)/21)/(1/(-3)). Which is bigger: 10/7 or d?
d
Let t = -101.3 + 100.6. Which is greater: 0.048 or t?
0.048
Let g = 0.269 - 1.269. Which is smaller: g or -77?
-77
Let b = 78.2 + -99. Let d = b + 21. Which is smaller: 1 or d?
d
Suppose 0 = 2*o - o - 6*o. Let j be o + 2/5 + (-26300)/2000. Is j at most -2/5?
True
Suppose -3*o - 2 = 13. Let s(j) = -j - 4. Let p be s(3). Which is smaller: o or p?
p
Let h = -91/6 - -9379/618. Is h < -1?
False
Suppose -4*w + 5*f = -29, 9 + 6 = -5*w - 4*f. Let c = -46/143 - -2/143. Is w greater than c?
True
Let p = -6 - -4. Let o be 4 + 2 + 156/(-8). Let c = 13 + o. Which is smaller: p or c?
p
Let p be ((-4)/(-10))/((-87)/(-15)). Let r be 1/(1*(-1)/(-13)). Suppose -r*j + 10*j = 0. Is p greater than or equal to j?
True
Let k(n) = -13*n + 5. Let i(s) = -s**3 - 2*s**2 + s - 1. Let l be i(-2). Let a be k(l). Let c be (2 + a/(-18))/(-2). Does -13 = c?
False
Let q be ((-2)/15)/(2/(-10)). Let y = -4947 + 4906. Which is bigger: y or q?
q
Suppose -5*c + 133 = -32. Suppose t = 2*i - 35, -3*i - c = -2*t - 98. Which is smaller: t or -27?
-27
Let r = 22.14 + -4.15. Let b = r + 0.01. Let i = b + -17. Is -0.01 less than or equal to i?
True
Let s(q) = q**3 - q**2 + 10*q + 46. Let y be s(-6). Is y at least -263?
False
Let r(f) = -145*f**3 + 6*f**2 + 3. Let g be r(-2). Is -0.1 less than g?
True
Let j = -53 - -74.6. Let n = j + -20. Which is smaller: -2 or n?
-2
Suppose -10*l + 55 = -35. Suppose -l*h + 12*h = 0. Which is bigger: h or -2/161?
h
Suppose 4*k - 333 = 67. Suppose 3*z = -2*r + 58 - 3, 0 = -5*z - 5*r + k. Let p be (-1)/(-10)*z/6. Which is smaller: -2/7 or p?
-2/7
Let f be 1/1 + (12 - 8). Suppose f*p + 10 = -5*y, 5*y + 2 = -4*p - 1. Let j = -11 - -9. Is j at most p?
False
Let y = 1 + -2. Suppose 44*u = -4*u - 48. Is y less than or equal to u?
True
Let f = 0.61 + 0.89. Let c = f - 1.7. Which is smaller: c or -2/41?
c
Let l be 10/6 + -2 + 0. Let f(q) = q**2 + 11*q - 2. Let h be f(-13). Let i be 30/h + (-1)/4. Which is smaller: l or i?
l
Let f = -13 + 13.26. Let t = -0.16 + f. Which is bigger: t or -19?
t
Let d be (-16)/20*15/6. Let k be 7/((-42)/6)*(-4 - 0). Let j be k + -2 + d/1. Which is smaller: j or -1?
-1
Let m = 28 - 86/3. Let t = 349.03 - 349. Is t at least m?
True
Let n 