et m = -66 - -68. Suppose m*l + 9 = -3*l + 2*y, -5*l = 3*y - 1. Is 1/21 equal to l?
False
Let k(o) = 3*o**2 - 8*o - 9. Let h be k(7). Is h smaller than 82?
False
Let v = -3 + 7. Suppose 4*n = -v*d + 5004, 0*d - d + 1269 = -5*n. Let f be 2/12 + 55/d. Which is bigger: f or 0?
f
Let m = 891 - 890. Is m at most 8/7?
True
Let c = -4 - -6. Let n be 7/(147/(-6))*c. Let q be (-1)/(-3 - -5)*0. Is n <= q?
True
Let g = 91692/341 - 6532/31. Let l = g - 58. Let c = 397 - 396.89. Which is bigger: c or l?
l
Let v be ((-104)/6)/(6/(-27)). Let h be (8/v*-3)/10. Is h greater than -1?
True
Suppose -m = u - 7, 3*u = -4 - 5. Let z be ((-15)/2 + 5)*(-1)/m. Is z at most -1?
False
Let j be (-78)/(-3) - (2 + -4). Are j and 28 nonequal?
False
Let o(u) = -u + 10. Let a be o(8). Let b be a*(-9)/(-6)*(2 + -1). Which is greater: b or 3/2?
b
Suppose -10 = -9*k + 4*k. Is -11 != k?
True
Let r = -4/1845 - 689/3690. Let c = 64697/36 - 1797. Let p = r + c. Is 1 < p?
False
Let j = -2240 + 266564/119. Is -1 equal to j?
False
Let t(b) = -5 - 3*b + 5 - 2*b. Let o be t(-1). Suppose 0*f + 12 = 4*f. Is o < f?
False
Let p be (1 - 0)/((-1)/(-5)). Suppose -p*h = -2*h + 15. Which is bigger: -0.1 or h?
-0.1
Let c = -549 - -865. Let m = -353/628 + 993063/3140. Let f = c - m. Which is bigger: f or -1?
f
Suppose -2 = -t - 6. Let q be (t/(-8))/(1*-1). Let x be (45/30)/((-3)/4). Is x smaller than q?
True
Suppose 81*x = 85*x + 1616. Which is smaller: x or -403?
x
Let r(m) = m**3 - m**2 - 2*m + 2. Let g be r(0). Let z be g/(-24)*-2*(-4)/26. Which is greater: z or 0?
0
Let m be (-24)/((-4)/2) - (-8)/4. Suppose -21 = -5*n - 3*k, 0*n - m = -2*n - 4*k. Are n and -2 unequal?
True
Let q = -15 - -29. Let t = 13 - q. Let m be (t + 0)*(-3)/1. Is m bigger than 3?
False
Suppose 132 = -c + 4*m, -3*c + 0*m - 396 = -5*m. Let k = 163 + c. Which is greater: 32 or k?
32
Let f(b) = b**2 + b. Let p be f(0). Let c be (2 - (2 - -2))/63. Is c greater than p?
False
Let z be (230/(-1265))/(4/(-22)). Let i be (26/(-8))/((-1)/(-4)). Let u be (-3)/(-1)*(-1)/i. Is z bigger than u?
True
Let s be ((-1)/1 - (-2)/(-4))*-2. Is 3 at least as big as s?
True
Suppose 6*l = -2*l + 72. Suppose 3*x - 24 = -4*j, 0*j - 5*x - 2 = 2*j. Is j bigger than l?
False
Let x(l) = 41*l - 1. Let i be x(1). Let w = -61 + i. Let t be (-2)/(-7) + (-162)/w. Which is bigger: 9 or t?
9
Let u = 24.1 + -82. Let y = 58 + u. Which is greater: 37 or y?
37
Let m = -13.21 - -13.68. Does m = 0.1?
False
Suppose -3*p - 4*p = -70. Suppose 0 = n + 2*h - 4, n + 6*h = h + p. Suppose -g + 16 + 7 = n. Which is smaller: g or 24?
g
Let t(v) = v**2 + 18*v + 40. Suppose -3*l = m + 31, -9 = 4*m + 7. Let d be t(l). Is -41 at least as big as d?
True
Let c(h) = h**2 - 4*h + 7. Let k be c(17). Is 227 at most k?
True
Let n(j) = -j**3 - 2*j**2 + j - 29. Let m be n(-4). Are 1/72 and m nonequal?
True
Let y = -20 + 18. Let d be y - -6*1 - 6. Let s be (-32)/(-40) - d/10. Which is bigger: 1/14 or s?
s
Let v = -2/3423 + -27358/44499. Let n = v - -1650/2639. Is -1 not equal to n?
True
Let y = 91.79 + 1.21. Let t = y - 92.9. Which is smaller: -2/3 or t?
-2/3
Suppose -3*p = -6*p - 45. Let x be -2*(-34)/(-4)*p. Let g = 3311/13 - x. Is g at least as big as -1?
True
Let s = 10 - 10.15. Let c = 18.45 + -14.3. Let x = s + c. Is -3 <= x?
True
Let b be -1*((-80)/27 + 3). Let i = 32 + -31. Which is smaller: i or b?
b
Suppose -66*r + 60*r = 0. Is -2/1777 < r?
True
Suppose 5*g - n = 2*n - 64, 4*g = -4*n - 64. Let o be 1*(-3 - 60/g). Is o greater than 1?
True
Let a = -3 - -1.9. Let b = -0.1 - a. Let r = 0.7 - b. Which is smaller: r or -2?
-2
Let w(r) = -10*r**2 - 28*r. Let l be w(-3). Which is smaller: -23 or l?
-23
Let d = 67.0603 + -0.1603. Let z = d + -67. Is z greater than 53?
False
Let x = 499 - 500. Which is bigger: x or 4/351?
4/351
Let k be (-7293)/(-340) + -22 + (-6)/(-20). Which is smaller: k or -2.95?
-2.95
Suppose 4*f - 2*g - 26 = 0, -34 = 4*g - 14. Suppose -p - 3 = -f*p. Let z = 2/3 - p. Which is smaller: -4 or z?
-4
Let u = 0.21 - 2.11. Let i = 0.5 - u. Let m = -1.4 + i. Is -0.1 at least m?
False
Let g = -137 + 547/4. Let z = -6 - -5. Let a be 57/(-6) - z/(-2). Is a smaller than g?
True
Let v(h) = h**3 - 11*h**2 + 22*h + 1. Let m be v(6). Is m > -50?
True
Suppose 242*y - 2 = 244*y. Let p be 7/153 + 2/(-9). Which is smaller: p or y?
y
Let o(z) = z**2 + 29*z + 13. Let p(a) = 2*a**2 + 59*a + 26. Let h(i) = 5*o(i) - 2*p(i). Let q be h(-20). Let j = q + 263/2. Which is bigger: j or 5?
5
Suppose 1834 = -5*j + d, 509 = -j + 2*d + 135. Is j smaller than -366?
False
Suppose 0 = -2*j + 5*v + 12, 0 = 4*j + v + 4*v + 36. Let m be 0*(-1 + 3)/j. Suppose 0 = 4*u + 2*p + 2, 2*u + 3*p - 1 = -m*p. Is 0.3 >= u?
True
Let j = -452 + 452. Is -9/25 less than or equal to j?
True
Let k be (-129)/140 + (-51)/(-85). Which is smaller: -1 or k?
-1
Let m(l) = l**3 - 5*l**2 + 4*l + 1. Let t be m(4). Suppose 3*d - p - 22 = 21, 5*d - p - 69 = 0. Let z = 13 - d. Is z at most t?
True
Let t = -204 + 203.8. Is 8/3 <= t?
False
Suppose 5*n = 3*h + 17, 0 = -h + 6*h - 2*n + 3. Let w be (h + 9/(-5))*3/(-8). Which is greater: 1 or w?
1
Let q(v) = -2*v - 1. Let x(c) = -c - 2. Let s(a) = -4*q(a) + 3*x(a). Let m be s(-1). Is m greater than -6?
False
Let d = 60.9 - 61.9. Which is smaller: d or -71.6?
-71.6
Suppose -7 = 4*p + 3*j, -2*j = -j - 3. Let x(q) = -q. Let d be x(-5). Suppose 3*k + 19 = -3*h + 4, -2*k + d*h = -4. Which is bigger: p or k?
k
Let c = 644 + -588. Is c at most as big as 55?
False
Let q(n) = 21*n - 9. Let k be q(-1). Is -3 > k?
True
Let l = 0.95 + -28.95. Which is smaller: l or -0.03?
l
Let i(y) = -y**3 + 9*y**2 - 6*y - 13. Let a be i(9). Suppose 4*s = -5*p - 244, -17*s + 5*p - 86 = -16*s. Which is greater: s or a?
s
Let d be (8870/(-5))/(-3 - (-243)/21). Let p = d - -207. Which is smaller: p or 0?
0
Suppose 5*u - 28 - 32 = 0. Suppose u*p - 203 = 19*p. Is -28 at most p?
False
Let w(z) = -z**2 + 3*z. Let p be w(3). Let y = 9/128 + 5221/384. Let r = y + -167/12. Do p and r have the same value?
False
Let o = 411 + -454. Is -2/9 bigger than o?
True
Let h(m) = -m**3 + 7*m**2 - 2*m + 80. Let g be h(8). Which is greater: g or -2/449?
g
Let n(q) = -q**2 - 6*q - 1. Let f be n(-5). Let u = 261 + -256. Is u < f?
False
Let l be (28/7 - 3)*-1. Which is smaller: -3/4 or l?
l
Suppose 1155 + 733 = 8*a. Which is bigger: 235 or a?
a
Let t be 0*1*(-3)/(-6). Let k be 1/5 + (-1488)/20. Let s = k + 74. Is t equal to s?
False
Suppose 3*b + 2*i + 28 = 0, b + i - 1 = -11. Suppose -l - 8 = 1. Is l equal to b?
False
Suppose -26*y - 3969 = -75*y. Does 161/2 = y?
False
Suppose -g = -3*m + 2*m + 4, -5*g + 3*m = 12. Is 2/319 at most g?
False
Suppose -2*q - 9*a + 4*a = -3, 0 = -a - 1. Suppose -2*k + 7*k = 50. Let x be 2*-3*k/(-12). Which is bigger: x or q?
x
Let n be (-100)/15*5/(30/9). Suppose 0 = l - 2 + 10. Is l at most as big as n?
False
Let t be 4/(16/8) - -19. Which is smaller: t or 14?
14
Let l be (-1)/(-3) + (-2334)/(-36). Let o = 65 - l. Which is smaller: o or -1?
-1
Suppose -5*w - 42 = -7*w. Let s = w + -19. Suppose 0 = 3*j + 3*p + 24, 0 = -s*j - 0*j + 2*p + 4. Which is greater: 1 or j?
1
Suppose -4*r = 47 - 187. Let t = -105 + r. Let n be 390/t + (-6)/14. Which is smaller: n or -7?
-7
Let l be (1 + (-8)/12)*24. Let u(h) = 2*h - 13. Let b(n) = -4*n + 25. Let y(c) = -6*b(c) - 11*u(c). Let x be y(8). Which is greater: x or l?
x
Let a = 0.0922 - 0.0722. Which is smaller: a or -1?
-1
Let m = 41449/10777 - -1/10777. Which is smaller: m or 5?
m
Let t = -2.5 + -0.5. Let r = 5 + t. Let k = 0.041 - -0.259. Which is smaller: r or k?
k
Let z = 137 + -169.6. Let m = z + 30. Let g = m + 2.7. Are 9 and g equal?
False
Let j = -4058/46833 + -395/699. Let k be 266/134 - -1 - (-10 + 13). Let b = j + k. Which is bigger: -2 or b?
b
Let d = 24199/2616 - 1/2616. Is d <= 9?
False
Let j be -2*116/(-20)*-1. Let p be 10*(-6 + 5) + (0 - 1). Which is bigger: j or p?
p
Let d be (2 - 1) + 0 + (2 - 0). Suppose 1 = -d*f + 7, -o + f + 22 = 0. Is 24 at most o?
True
Suppose 0*x + 3 = x. Suppose -x*k = -6*k. Suppose 2*y + 2*y + 4*h + 4 = k, 4*y + 5 = -5*h. Which is smaller: y or -1/11?
-1/11
Let m = 1 - -3. Suppose 0 = m*u - 5*i + 867, -858 = -u + 5*u - 2*i. Let t = u + 847/4. Is 0 smaller than t?
False
Let c = 0.11 + 0.16. Let h = c - 0.07. Does 0 = h?
False
Let m = -