= l + -13.2. Which is smaller: -16 or q?
-16
Let c = 23/8 + -145/56. Which is smaller: 17 or c?
c
Let h(n) = -n**2 - 9*n - 8. Let u be h(-8). Let z be u - 3 - (-4 - (2 + 4)). Let t = -1 + 8. Is t at most as big as z?
True
Let s = 4 + -9/2. Let h = -146 - -1016/7. Which is greater: s or h?
s
Let k be 9/(-3)*(16/(-24))/1. Are 46/19 and k unequal?
True
Let z(y) = -y**3 + y**2 - 1. Let h(q) = 6*q**3 - 15*q**2 + q - 12. Let n(g) = h(g) + 5*z(g). Let c be n(10). Which is bigger: c or -5?
-5
Let m(w) = w**3 - 7*w**2 - 7*w - 7. Let x be m(8). Let j = 65/369 + -8/123. Is j bigger than x?
False
Suppose -6 - 12 = -3*o. Suppose -5*v - 5*p = 0, 4 - o = -v + p. Which is smaller: v or 2/9?
2/9
Let n be (6/9)/((-6)/(-45)). Suppose n*i + 56 - 11 = 0. Let j = 7 + i. Is j at least -2?
True
Let m = -31 + 19. Suppose 0 = 4*s - 3*z + 35, -5*s - 2*z - 26 = 35. Which is greater: s or m?
s
Suppose -3 = 5*y - 4*y. Let p = -4 + 9. Suppose 3*r = -q - 2*r - 2, q + 2 = p*r. Which is smaller: y or q?
y
Let u be ((-60)/36)/(-1 + 2). Let x = -13/9 - u. Is x smaller than 0?
False
Suppose -b + 6 = 4. Let c be b/(2 + 33/(-18)). Suppose 4*x = 2*u + 2*u, -3*u - c = 3*x. Are -1 and x nonequal?
True
Let f = -42.34 - -42. Let n = -0.34 - f. Which is smaller: -2/9 or n?
-2/9
Suppose -37 = -d + 4*m, -5*d + m + 65 = -101. Suppose d = -14*i + 11*i. Which is smaller: -7 or i?
i
Let z = 22 - 24. Let l(i) = 11*i**2 + 2*i - 3. Let x be l(z). Let w = -110/3 + x. Is w less than 0.05?
False
Suppose -265 - 360 = -5*r. Is r greater than or equal to 632/5?
False
Suppose 3*t + 2*h = 225, 0*h = -3*t - 5*h + 234. Suppose t = 4*q + 5. Let f = 1101 + -1084. Is f at most q?
True
Suppose 8 = 3*l - 4, -3 = q - 2*l. Let a(g) = 10*g + q + g**2 + 2 + 4 - 3. Let i be a(-9). Which is smaller: i or -2?
-2
Suppose x + 4*n + 8 = -x, 2*n = x + 16. Let s(m) = m**3 - 3*m**2 - 2*m - 4. Let g be s(4). Suppose 24 = -g*v - 12. Does x = v?
False
Let g = -0.9 + -37.1. Which is smaller: -2/5 or g?
g
Let x = -2884 + 8749/3. Is 33 equal to x?
False
Let s(i) = -11*i - 7. Let w(q) = -1. Let v(n) = -s(n) + 5*w(n). Let k be v(2). Let m be (0/(-1))/(k/(-24)). Which is smaller: 2/39 or m?
m
Let d be ((-42704)/11452)/((-2)/(-1)). Let l = 3/409 + d. Is l > -1?
False
Suppose 7*j = 5*j - 248. Let h = -84 - j. Let f be -8*(-4)/h*-5. Is f >= 0?
False
Let o = -596 - -596. Is o at most 1.3?
True
Let p(b) = -b**2 + 7*b + 2. Let j be p(6). Let k be (-371)/(-5247) + 10/9 + -1. Which is smaller: k or j?
k
Let r(n) = -n**3 + 4*n**2 - 3*n - 1. Let v = 60 + -57. Let h be r(v). Which is bigger: h or 3?
3
Let l = 122 + -130. Let z = l - -8. Which is smaller: 108 or z?
z
Let z(p) = 14*p**2 + 159*p - 76. Let i(h) = -9*h**2 - 106*h + 51. Let u(k) = 8*i(k) + 5*z(k). Let q be u(-27). Is 9 > q?
True
Let d be (1/10)/((-6)/(-15)). Is d less than or equal to 7?
True
Suppose -5*c = -o - 219, 7 = 4*c - 13. Which is bigger: o or -193?
-193
Let n = 21240/37 + -574. Which is smaller: n or -14?
-14
Let t(u) = -u**3 - 4*u**2 + 22*u + 98. Let v be t(-7). Is -0.6 smaller than v?
True
Let q = -66.7649 + -0.1351. Let u = q - -67. Which is greater: 1.8 or u?
1.8
Suppose 2*w - 8 = 3*m, -2 - 6 = 2*m - 2*w. Let a = -28491/13 - -2193. Is a at most as big as m?
False
Let h = -6.7 + -61. Let t = h + 65. Let y = -2.5 - t. Which is smaller: y or 0.3?
y
Let d be (-9 + -2)*-5 - (2 - 1). Is d smaller than 54?
False
Suppose -3*f - l - 4 = -8*f, 4*f = 4*l. Which is bigger: 20/33 or f?
f
Let h = 31 + -31. Suppose j + 73 = 3*p, 0 = -2*p + 3*j - h*j + 37. Is p at least as big as 23?
True
Suppose -5*x = -3*t - 2*x + 12, 4*t + x + 4 = 0. Let a = 5.9 + -0.1. Let d = -5.75 + a. Is t smaller than d?
True
Let a(l) = -4*l + 61. Let x be a(-19). Is 138 at most x?
False
Suppose 15*n = -454 + 94. Suppose 10 + 86 = -4*a - 5*u, a = -u - 24. Is n at most as big as a?
True
Let w = -441 - -480.3. Which is bigger: w or 0?
w
Let t = -35.4 - -35. Which is smaller: t or 10.4?
t
Suppose -21 = 5*z + 24. Let r be (-4)/(-9)*z/6. Let y(f) = f**2 - 5*f + 3. Let a be y(4). Is a greater than r?
False
Let d be ((-35)/126)/(10/(-6)). Suppose 4*r = -5*l + 20, -l + 2*r + r = 15. Is l equal to d?
False
Suppose -4774 = 8*y - 1342. Is -429 <= y?
True
Suppose 1 = -2*p - 7. Let u be 4/(-11)*(-1)/p. Let i be (41 + -35 - (5 + 0))/1. Are u and i non-equal?
True
Suppose 3*r = -5*g + 310, 225 = 3*g + 2*r + 39. Which is greater: 0 or g?
g
Let l = -0.129 + -58.171. Let a = 57 + l. Which is bigger: 3 or a?
3
Let j be (9/15)/(12/(-15)). Let x(l) = -l - 9. Let d be x(-12). Suppose 3*p - 3*q = -15, 5*p = -2*q - 0 + d. Which is smaller: j or p?
p
Suppose c + 1 = 5. Let i be 8/(((-16)/c)/4). Let a be (-225)/(-33) + i/(-44). Do 5 and a have the same value?
False
Let s = -104.082 + 0.082. Let t = s - -102. Is t > 5?
False
Let j = -104 - -104.071. Let x = -0.171 + j. Is 0.065 smaller than x?
False
Let j = -11 + 15. Let u be j + (0/(-3))/1. Suppose 1 = f + u. Which is smaller: -2 or f?
f
Suppose -8*c = -730 - 46. Let k = 1108 + -5057/5. Let p = k - c. Are -13 and p nonequal?
True
Let y = -411 - -476. Is y equal to 63?
False
Let x be 2/(-10) + 78/15. Let u(n) = n**3 - 10*n**2 - 6*n + 11. Let z be u(x). Let t be 16/z*(0 - 1). Which is smaller: 1 or t?
t
Suppose 0 = v + b - 7, -3*b = v + 7 - 4. Suppose -v = 2*x - 5*x. Is -1 at most as big as x?
True
Let x = 4058/75 + -111/25. Which is smaller: x or 50?
x
Suppose -3*n - 2*n = 0. Suppose n = 5*p - 0*p - 30. Which is greater: p or 5?
p
Let t = -2/543 - -2729/3801. Is t less than 2?
True
Let x(k) = k + 1. Let v be x(-5). Let z = -27 - v. Is -22 smaller than z?
False
Let w be (-8)/1308*(-3 + (-60)/(-18)). Which is smaller: 1 or w?
w
Let v = -128.025 + 128. Is v less than 1/4?
True
Let t(v) = -10 + 7*v + 0*v - 3*v. Let r be t(13). Let u be (-1 + 0)/((-6)/r). Is 7 >= u?
True
Suppose 0 = 5*l - 8 - 7. Let y be (-1)/(l/19)*(1 - 4). Is 19 >= y?
True
Let q(z) = 12*z - 116. Let m be q(16). Does 75 = m?
False
Let b = 0.029 + -44.029. Let y = b + 45.7. Which is bigger: y or -2/7?
y
Let d(x) = x**2 + 32*x - 545. Let p be d(-45). Which is smaller: 51 or p?
p
Let c = 7 - 13. Suppose 2*g + 18 = -4*n, 4*g - 2*n + 16 = -6*n. Which is bigger: c or g?
g
Let n be 6/14 + 1/(-3). Suppose 8*f - 32 = -23*f - f. Which is greater: f or n?
f
Suppose -b = 5*z - 15, 0 = -5*b - 3*z - z + 54. Let y(q) = -q**3 + 10*q**2 - 1. Let g be y(b). Which is smaller: g or 2/51?
g
Let x be 2/3 - (-98)/(-21)*-5. Let y be x/(-40)*4/18. Let b = 0.2 + -0.1. Is b <= y?
False
Suppose 0*p = -3*p + 60. Let q be (-118)/(-6) - (15 + (-588)/36). Which is smaller: q or p?
p
Let m(h) = h**2 - 8*h. Let w be m(9). Let f = w - 9. Let b be (14/4 + -4)*f. Is b not equal to -6/11?
True
Let m = 912.956 + -917. Let y = m + 0.044. Which is smaller: y or 0.04?
y
Let r = -51.8 + 49.2. Which is smaller: r or -10/7?
r
Let t = 2.06 - -0.04. Let g = t - 9.2. Let w = g - -7. Which is greater: w or 2/19?
2/19
Let m(o) = o**3 - 4*o**2 - 4*o + 10. Let q be m(5). Suppose 625 = -5*n - 5*h, 0 = -4*n - 2*h - 522 + 20. Let l be q/n + (-1)/6. Are -0.1 and l nonequal?
True
Let z = -761/5 + 153. Suppose 2*c - 2 = -0. Let q be ((-21)/(-9) - 2)/c. Is q greater than z?
False
Let f be -1 + 4 + (3 + -5 - 1). Suppose v - 17 = -f. Are 18 and v nonequal?
True
Let v = -128.1 - -128. Which is smaller: v or -193/5?
-193/5
Let t be (-1 - (3 - 2))/(-2). Let m = -4 - -9. Suppose -2*v - 2 = -m*r - 0*v, -5*r + 5*v + 5 = 0. Which is smaller: t or r?
r
Let a = -19 + 11. Let h = a + 12. Let q = 51 + -48. Is q < h?
True
Let t be (4/(-282))/(4/(-6)). Let u = 212 - 211. Is u smaller than t?
False
Let u = -86 + 88. Let v(s) = s**3 + 14*s**2 + 12*s - 12. Let a be v(-13). Which is smaller: a or u?
a
Suppose 5 = -5*t + 10. Suppose 13*a - 17*a - 4 = 0. Let b = a + t. Is 38 < b?
False
Let q be 844538/244176 + 3/(-9). Let k = q - 2/5087. Let p = 7/2 - k. Which is greater: p or 1?
1
Let k = -77609 + 1551599/20. Let w = k - -113/4. Let t = 188/3 + -62. Which is bigger: t or w?
t
Let l = 22.8 - 13.7. Let f = l + -9. Which is greater: f or -0.5?
f
Let b(r) = r**3 - 7*r**2 + r - 2. Let p be b(7). Suppose p*n - 22 = 43. Suppose s + n = 2. Which is bigger: -12 or s?
s
Let z be ((-1250)/14)/1 + 0 + 3. Are -87 and z equal?
False
Suppose -x - 15 = -607. Are x and 591 equal?
False
Let c = 16 - 4. Let r be 3/