(-4)/(-4)*2/(-13). Which is greater: l or t?
t
Suppose 29 - 155 = -9*m. Is m <= 32?
True
Let k(j) = j + 1. Let t be k(-5). Let g be (24/5)/(126/(-84)). Is g bigger than t?
True
Suppose -9*w + 8*w = -8. Suppose -3*l + w = -0*c - 5*c, 5*c = -5*l. Let r be -4 + 0/3 - -1. Are r and c equal?
False
Let i = 98 + -98. Which is smaller: i or -3?
-3
Let z be (-8)/(-10)*(-5)/(-2). Suppose z*k + 6 = 4. Which is greater: 0 or k?
0
Suppose -2*h = 4*f - 16, -h - 5*f + 35 = 15. Suppose h = -0*c + 5*c. Which is greater: c or -3/26?
c
Suppose 0 = -3*s - 3*j - 12, 2*s - 4*j + 40 = -s. Let c be (10/20)/(10/s). Is 0.09 greater than or equal to c?
True
Let a = -27 - -109/4. Let p = 100 - 45. Let c be p/44 + (-5)/4. Is a < c?
False
Let a(d) = 7*d + 120. Let j be a(-17). Do -1/173 and j have the same value?
False
Let s = -27764/3 - -9253. Let y(w) = w**2 - w + 1. Let z be y(1). Let o = -1 - z. Which is greater: s or o?
s
Let g = -7.7 + 10.7. Which is bigger: g or 35?
35
Suppose 2*y = 4*d - 14, d - 4*d = -y - 11. Let t be (1 - 1)*2/d. Let m = 37 - 37. Is m smaller than t?
False
Let r = -87 - -86.928. Let s = 0.272 + r. Which is smaller: -25 or s?
-25
Let x = -121/177 + 1/59. Let b = 25012 + -175083/7. Is x <= b?
True
Let t = 17 + -18. Let z be 2 + (6 - 3 - t). Let y = z + -5. Are y and -7/2 equal?
False
Suppose 12 = -4*g + 5*g. Suppose 4*b - x - g = 0, b - 16 = 2*b - 5*x. Suppose 3*d = 4*l - 12 - 5, 2*l - 4*d - 6 = 0. Is b > l?
False
Let m = 24 + -22.7. Let x = 2.4 - m. Let b = x - 0.1. Is 5 at least as big as b?
True
Let j = -26 + 24. Let u = 0 - j. Which is smaller: u or -0.2?
-0.2
Let m be (105/6)/(-7)*8/(-10). Let r be (-5)/(15/m)*-15. Is r greater than 7?
True
Let n = 18 + -27. Let m be (-22)/102 - 3/n. Suppose -8 = -2*q + 4*y + 14, y = q - 6. Which is bigger: m or q?
q
Let b be ((-1)/(-2))/(11/(-110)). Which is smaller: b or 2/3?
b
Let q = 263 + 218. Suppose 2*y + 233 = 5*i, 4*y - 4*i = i - q. Which is smaller: y or -123?
y
Let v be (-2)/(-8) + 2399/(-1500). Let h = 2/125 + v. Suppose -4*k = -4 + 4. Is h > k?
False
Let c = -2/3959 - -289017/19795. Which is smaller: 16 or c?
c
Let c be 2 - 2*1/(-2). Suppose -4*o + 20 = -2*v, -4*v - c + 23 = 2*o. Let t be (-4)/6 + (-2)/o. Is t >= -4/3?
True
Let x(i) = i**3 + 15*i**2 - 18*i + 45. Let m be x(-18). Which is smaller: -602 or m?
m
Let m = -2.5 - -5. Let h = m + -2.6. Which is smaller: h or -44?
-44
Let f(r) = -r**2 - 8*r - 8. Let p be f(-6). Suppose -p*z = z - 15. Suppose 0 = -5*h + 2*s + 70, 5*h - 28 = z*h - 4*s. Which is bigger: h or 15?
15
Suppose 2*n + 3*v - 16 = 4*v, 5*v - 10 = 0. Let j be (4/1)/(-8 + n). Suppose 5*p - j*l - 1 - 14 = 0, 4*l = -5*p - 25. Which is smaller: -2 or p?
-2
Let q = 15 + -9. Suppose -4*r + 12 + 4 = 0. Suppose g - r = -q. Is g at most as big as -4?
False
Let o(x) = -5*x**2 + 9*x - 13. Let h(v) = 14*v**2 - 27*v + 40. Let t(z) = 4*h(z) + 11*o(z). Let m be t(7). Do -0.2 and m have different values?
True
Let w = 0 + -2.2. Let m = 2.14 + w. Let j = m - -0.16. Which is smaller: j or 6?
j
Let r(f) = -3*f**2 - 49*f - 235. Let d be r(-7). Let i be ((-6)/4)/(3/78). Are i and d non-equal?
False
Let c = 2/277 + -1951/1662. Suppose 0*z + 4*o - 23 = -3*z, -37 = -4*z + o. Let b = z + -11. Which is smaller: c or b?
b
Let i(m) = m**3 - 6*m**2 - 6*m + 10. Let l be i(7). Let u be 471/(-785)*10*-3. Do u and l have the same value?
False
Let w = 343 - 334.05. Let y = -0.05 - w. Which is greater: 2 or y?
2
Let r be ((-768)/54560)/(6/15). Is -1 at most as big as r?
True
Suppose 120*b - 19 = 101*b. Which is smaller: -2/2397 or b?
-2/2397
Suppose 5*a - 22 = -3*l + 159, -a - 5*l = -23. Let v = 47 - a. Is v at least as big as 10?
False
Let f(n) = -n + 8. Let m be f(5). Suppose 13 - 16 = m*z. Which is smaller: 2/15 or z?
z
Suppose 142 = 3*k + 136. Which is smaller: 12/13 or k?
12/13
Suppose -17*k + 484 = -1233. Which is smaller: 99 or k?
99
Let a be (-138)/(-1495)*10/6. Let l = 1777/26 - 68. Let c = l + a. Which is smaller: -2.3 or c?
-2.3
Let c be 79/9 - (-10)/45. Let r(j) = -j**2 + 9*j + 1. Let t be r(c). Let x be (-8)/(-2)*t/10. Is x bigger than -1?
True
Let w(h) = 30*h - 269. Let t be w(9). Which is smaller: t or -4/179?
-4/179
Suppose -19*q + 44*q - 3175 = 0. Is q > 133?
False
Let i(p) = p**3 - 8*p**2 + 6*p + 9. Let z be i(7). Let f = 45 - 40. Suppose -8*x + f = -3*x. Are z and x unequal?
True
Let r = -10394/1995 + 4/399. Which is smaller: r or -4?
r
Let d be (9/(-12))/(10/(-4) + 1). Which is greater: d or -0.04?
d
Let x be 0/1*(-2 + (-2 - -3)). Suppose -4 - 1 = -5*l + 5*g, 4*l - 3*g - 1 = x. Is -5/8 less than l?
False
Let n = 58 - 56. Suppose -n*f - 20 = -6*f. Suppose -23 = -3*r + 5*u, -2*r - 4*u + 5*u + 13 = 0. Is f at most as big as r?
True
Let v = 0.469 - 1.469. Which is bigger: 2/221 or v?
2/221
Let v = -31/75 - -2/25. Let r be (2 - 2)/(3 + -1). Which is bigger: v or r?
r
Let u(c) = -c**3 + 2*c**2 + 6*c - 6. Let s be u(3). Suppose 4*r + 9 = s*r. Is r at most as big as -9?
True
Let i = 25/2 - 12. Let k = 0.572 + -0.462. Is k < i?
True
Let d(q) = 2*q + 2. Let r = -34 + 27. Let z be d(r). Let h be (-6)/24*z/(-15). Is h smaller than 0.5?
True
Let q(x) = 1. Let o(y) = -2*y - 113. Let k(m) = -o(m) - 6*q(m). Let h be k(-31). Is 46 >= h?
True
Suppose 0 = -5*h + 29*h - 144. Does h = 2?
False
Let p be 4/8 + 36/8 + -2. Which is greater: p or -129?
p
Let s(c) = -c**2 - 6*c - 9. Let d(p) = p**2 + 5*p + 9. Let w(n) = -5*d(n) - 6*s(n). Let h be (-116)/14 - 46/(-161). Let y be w(h). Is y > -16?
True
Suppose -23 = -3*y + 4*f, 4*f - 2 = -22. Let g be y - (-99)/15 - 4. Is 5 equal to g?
False
Let v be 4/16 - (-110)/8. Suppose v*f - 72 = 16*f. Which is smaller: f or -35?
f
Let h = 2 + -1. Let j = -18.2 + 16. Let b = 3.2 + j. Is b smaller than h?
False
Let f = -522598 + 2621076/5. Let m = 1602 - f. Let z = m - -821/55. Is z at least -1?
True
Let q = 29731/3 + -9907. Let f(x) = -x + 6. Let j be f(6). Which is bigger: j or q?
q
Let v(t) = 13*t + 33. Let c be v(-3). Let q(l) = -8*l**2. Let r be q(-1). Is c smaller than r?
False
Let t = 305 + -307. Is t greater than 79?
False
Let x = -7 + 37. Let z = 45 - x. Let b = -212 - -211. Is b at most z?
True
Let a = -303 + 4547/15. Let o = -2 + 2.2. Which is bigger: a or o?
o
Let j = 14 - 18. Let x(a) = a**3 + 3*a**2 - 3*a + 4. Let l be x(j). Let c(t) = -2*t - 11. Let b be c(-6). Is b less than l?
False
Let n(y) = 3*y**2 + 8*y + 260. Let r be n(0). Which is greater: r or 261?
261
Let x(q) = -q**3 - 10*q**2 - 2*q - 21. Let v be x(-10). Let l be v/2 - (-14)/52. Let w(i) = -i**2 + 7*i - 6. Let k be w(6). Which is greater: l or k?
k
Let k = -14714/3 - -4947. Let n = k - 44. Let b be (2 - 1)/(3/(-9)). Which is bigger: b or n?
n
Let i = 228560/35469 + 2/3941. Which is smaller: i or 6?
6
Let p be (3 + (3 - 11))*64/10. Is -44 smaller than p?
True
Let x(n) = -46*n**2 + 1. Let l be x(-1). Let c be (-9)/l - (-49)/5. Suppose c = 2*d, d + 4 = -2*p + 5. Is p greater than or equal to -2?
True
Let r = 7 + -6. Let o = -24695/49 + 504. Which is greater: r or o?
r
Let c(b) = -b**3 + 8*b + 9*b**2 + b**2 - 5 - 2 + 2*b**3. Let x be c(-9). Let m be (23 - (-8)/4)*2/65. Are m and x nonequal?
True
Let z = 23 + -23. Suppose 3*h - 3*f = -9, -h + 3*h - 5*f + 3 = z. Let q = h + 14. Is q at most 9?
False
Let m = 2682 - 2422. Is m greater than 257?
True
Let c be (-5)/70*(-5 - -1). Suppose 0 = 2*p - 6*p - 24. Let o be -6 - -4*3/p. Does c = o?
False
Let j = 2922/629 + -124/37. Are 0 and j equal?
False
Let s(b) = b**3 - 29*b**2 + 29*b - 28. Let t be s(28). Is 14/97 equal to t?
False
Let w(f) = f**2 + 9*f + 10. Let k be w(-7). Let i = -0.945 - -0.085. Let x = i + -0.14. Which is smaller: x or k?
k
Let j = 0.65 - 0.7. Let v = -82 - -244/3. Which is smaller: v or j?
v
Let q(d) = 5*d**3 - 3*d**2 - 2*d + 6. Let f be q(-3). Is f smaller than -150?
False
Let b be (-4)/(-32) - (-1)/(-8). Is -14 >= b?
False
Suppose -1652 + 1633 = 19*a. Is 58/65 <= a?
False
Let k be -3 + (-2 - -1)*-1. Let t be 3 - (14/(-28) + (-2)/(-4)). Which is greater: k or t?
t
Let a = 11 + 7. Suppose 0*r = -3*r - a. Let d be (-2)/r - (-1)/(-3). Is 0 greater than d?
False
Let l = 14 + -12. Let i be (12/(-14))/(2/l). Is i <= 0?
True
Suppose -154 = -26*g - 128. Which is bigger: -5/111 or g?
g
Let s(z) = 3*z**2 - z - 28. Let w be s(4). Which is smaller: w or 6?
6
S