91 + -0.7219. Is -8 bigger than m?
False
Let r = 154 + -156. Let d be ((-152)/(-6)*(-2 + -1))/r. Which is smaller: d or 35?
35
Suppose 2*q = -2, -2*c - 5*q - 17 = -5*c. Let l(w) = -w**3 + 26*w**2 - 132*w - 8. Let t be l(7). Let f be c*(-4 - t - -2). Is f at most -3/4?
True
Let k = -139 + 369. Let d be ((-24)/60)/(2/k). Let o = 47 + d. Is o < 2?
True
Let j = 715 - 1119. Let s = j + 574. Is 0 at most as big as s?
True
Suppose -2*f + 3*j + 64 = 0, 4*f + 139*j = 140*j + 128. Let h = 52 + -23. Suppose 5*v + 2 = c - h, 4*c + 3*v = f. Is 10 smaller than c?
True
Let s be (-1)/(-2) + 369/(-18). Let q = -13 - s. Let h = 1659 - 1655. Which is greater: h or q?
q
Let x(t) = -5*t**2 - 16*t + 15. Let k(h) = -6*h**2 - 14*h + 16. Let q(j) = -4*k(j) + 5*x(j). Let p be q(-17). Is p greater than or equal to 129?
True
Let h be ((-18)/15)/(-4 + (-237)/(-60)). Let y be -4 - (640/(-154) + h/56). Which is greater: y or -0.2?
-0.2
Suppose -9 = g + 5*x + 16, 0 = -4*g + x - 58. Let a be (10/(-12))/(4/24*g). Which is greater: -25 or a?
a
Let t be ((-10)/(-10))/((-9 - -8)/3). Do 365 and t have the same value?
False
Suppose 4*f = -2*r + 118, r = -5*f - r + 145. Let k(g) = 30*g + 926. Let m be k(-30). Is m < f?
True
Let o be (3/(-48))/1 - (-120)/(-128). Let q(d) = d + 2. Let a be q(4). Let w be (1 + -3)/(-2) + a + o. Is 5 less than or equal to w?
True
Let a(g) = g**2 - 41*g + 28. Let t be a(-25). Is t smaller than 1682?
True
Let g = 119555/587212109 - 3/33427. Is 1 < g?
False
Let o = 14191 - 19151. Is o equal to -4960?
True
Suppose -3*y = -4*s, -5*y - 3*s - s = 0. Suppose 7*v - 4*v + 7*v = y. Does v = -1/135?
False
Let x = -6 - -10. Let o be -118*(-3)/(-60)*x. Which is smaller: -23 or o?
o
Suppose 56 + 56 = -16*r. Let x(z) = z**3 + 6*z**2 - z + 6. Let b be x(r). Let h = b - -38. Which is bigger: 6/5 or h?
h
Let o be (615/(-180))/41*(-17559)/3. Are 489 and o nonequal?
True
Let x = -31444.925 + 31444. Which is greater: -0.7 or x?
-0.7
Let i be -7 + 70 - (2 - (2 + -1))*0. Which is bigger: i or 11?
i
Let d be ((-34)/68)/((-14)/8) + (-2516)/8414. Is d < -1?
False
Let z be 8 - ((-1912)/50508*-317 - 4). Is z at least 0?
False
Let j(d) = -d**2 - d - 4. Let c be j(5). Let u(f) = 804*f + 1571. Let g be u(-2). Is g smaller than c?
True
Suppose 11*j = 21*j + 10. Let c be (15/30)/(j/(-2)). Let i be (-2)/(-8) - 89/388. Which is greater: i or c?
c
Let n = 83931/7 - 12093. Which is smaller: n or -102?
n
Suppose -6*t - 196 = 8*t. Let g be -2*49*(-5)/10. Let n be 3/9 + g/(-3). Which is smaller: t or n?
n
Let r(y) = 2*y**2 + y + 3. Let q be r(9). Let p be ((-25)/15 + 1)/((-4)/q). Suppose 26 - p = 3*b. Which is smaller: -9/8 or b?
-9/8
Let b(l) = 5*l**3 + 3*l**2 + 2*l + 1. Let h be b(-1). Let q be -1 + h + 1802/(-5). Let n = q + 366. Is n equal to 3?
False
Let t = -36.64 - 537.36. Which is smaller: 2 or t?
t
Suppose -1361*k + 1359*k = 4. Let a be (-21)/(-60)*((-3)/(-21) - 0). Which is bigger: a or k?
a
Let q = -240.0018 - 48.9752. Let c = -289 - q. Which is greater: c or -1/3?
c
Suppose -u + 359 - 66 = 2*b, 4*b - 891 = -3*u. Which is bigger: u or 1528/5?
1528/5
Suppose -60*q + 1976 = -47*q. Suppose 2*v - q = m, -4*v + 3*v + 70 = -2*m. Which is smaller: v or 77?
77
Let z(n) = n**3 + 11*n**2 + 9*n + 78. Let o be z(-11). Let i(b) = -b**2 - 15*b + 124. Let u be i(o). Let s = 3 - 2. Is u greater than or equal to s?
False
Let c(v) = v**3 + 23*v**2 + 24*v + 39. Let w be c(-22). Let i be (w + -1)*(-6)/(-9). Which is bigger: 14 or i?
14
Suppose 4*p + 111*a - 25660 = 106*a, -6389 = -p + 2*a. Is p less than -1/2?
False
Let v = 1767887/517650 - 13/6902. Is v > 1/3?
True
Let t(j) = -3*j**2 + 4*j + 1. Let b be t(3). Let k = -7607/596 + 2/149. Let q = k - b. Do 0 and q have different values?
True
Let d = 550/9 - 104960/1719. Let f = d + -5257/1910. Is f less than -4?
False
Suppose -2 = -4*k - 6, 1 = -3*a - 4*k. Suppose -5*u + 26 = 10*l - 9*l, -5*l - 5*u + 30 = 0. Let o be (259/266 - l)/((-1)/(-4)). Is a less than o?
False
Let a = 8 - 4. Let v be (-1)/(-4) + (-21)/a. Let c be -4 + 6 + (-1 - (-17)/(-3)). Is c bigger than v?
True
Let o be (-6)/(-21)*(36 - 1). Let f be -4 + (968/99 - -5). Is f at least as big as o?
True
Let r = -64 - -42. Let i = -321.9 - -340. Let g = i + -18. Is g equal to r?
False
Let m = -2567 - -2567. Is m bigger than 1/1049?
False
Let y be (644/70)/((64/(-20))/(-8)). Suppose -8*m = -97 - 23. Is y >= m?
True
Suppose -2*h + 3*h + 3 = 0. Let z be 3 + h/(1 - 0). Suppose 33 = -3*n - y, z = n - 6*n + 5*y - 55. Is n equal to -9?
False
Suppose -h - 50 = 4*h. Let l be (4/h)/((-36)/10). Let k = 0.443 - -1.557. Which is greater: l or k?
k
Let o = 237/56 + -35/8. Let a(j) be the third derivative of -j**4/12 + 2*j**3/3 + 43*j**2 - 1. Let p be a(2). Do o and p have the same value?
False
Let h = 5431/2 + -2612. Let t = -103 + h. Is -4 at most as big as t?
True
Let b = 326.72 - 327. Let q = b - -0.38. Which is bigger: q or 3?
3
Let z(u) be the third derivative of u**5/30 - 41*u**4/24 - 15*u**3/2 + 2*u**2 - 29. Let a be z(23). Is 69 > a?
False
Let m(b) = 7*b. Let k be m(-2). Let t be (-8)/28 + (-60)/k. Let a be t + (-18)/4 - 2/4. Which is smaller: a or 1/8?
a
Let r(m) = -43*m + 38. Let t be 2/(-4) - 225/30. Let a be r(t). Let d = a - 2285/6. Does 0 = d?
False
Let f be (4/170)/(26/10). Let s(t) = t - 19. Let m be s(20). Which is smaller: f or m?
f
Let m be (-2)/(0 + 1) - -6. Let l be 13 + -9 + (0 + 1)*-10. Let o be l/m + 58/36. Is 2 equal to o?
False
Let s = -5/978 + -1037/4401. Let h = 1637/5454 + s. Is -1 greater than or equal to h?
False
Suppose -a = -91 - 889. Let m be (-2)/6 + a/(-30). Let b = 33 + m. Are 4/17 and b non-equal?
True
Suppose 3*z + 2*z - 940 = 0. Suppose p + 104 = -2*p + 2*c, -5*p - 4*c = z. Let w be 11/((-44)/16) + -30 + -1. Which is smaller: p or w?
p
Let r(l) = -9*l**2 + 2*l - 93. Let c be r(8). Which is smaller: -652 or c?
c
Suppose 834*l = 835*l + 218. Which is smaller: l or -221?
-221
Let z = -48842/3 + 16445. Is z less than 165?
True
Let m(q) = q**2 - 5*q - 10. Let a be m(7). Let c be (a/6)/((-1)/6*-1). Suppose -c*i = i + 85. Is i bigger than -17?
False
Let a(c) = 56*c - 15. Let p be (-6)/(-6)*(-1 - (-4)/2). Let v be a(p). Do 39 and v have the same value?
False
Suppose 0 = 4*k - 3*c + 41 + 108, -k + 4*c = 21. Suppose 18 + 15 = -a. Which is greater: k or a?
a
Suppose -5*b - 983 = -3*i, -i + 81 + 248 = -3*b. Let z = 8804/27 - i. Which is greater: 0.18 or z?
0.18
Suppose -5*a + 108 = 27*t, -3*a - 10 = 5*t - 30. Is 18/1189 greater than or equal to a?
True
Let b = -19.3 + 19.628. Let h = b - 0.128. Which is smaller: h or -53?
-53
Suppose r + 0*r - 167 = a, -4*r = -3*a - 506. Let b = -156 - a. Which is bigger: b or 8?
8
Suppose 4*p - 4 + 22 = -o, -4*p = -5*o + 30. Let j be 2 + (8 + p - 5). Is 1/8 >= j?
True
Let d = -0.37 + 3.51. Let f = d - 3.14. Is 37 > f?
True
Let h = 4 - -2. Suppose 4*i - 50 = -14*p + 19*p, 5*i - 55 = 5*p. Suppose 4 = -j, 25 = -i*r + j - h. Which is smaller: -5 or r?
r
Suppose 4*v - 2*t + 20 = 0, t = 5*v + 28 - 6. Let p be (-1)/v + -2577*(-2)/(-8). Let d = -1960/3 - p. Is -10 greater than or equal to d?
False
Let p = 35.7 + -75.7. Let i be (10/(-620))/(1/32). Let w = 50/217 + i. Which is bigger: p or w?
w
Let q be 135/740*220/198. Does q = -1?
False
Let o be 4 - (-236518196)/(-6636) - 4. Let m = -249442/7 - o. Let g = 9/158 + m. Which is smaller: 6 or g?
6
Let n = 18 + -7. Suppose n = 3*l - 4. Let o = -6 + l. Which is smaller: -1/76 or o?
o
Suppose -3*d + 113 = p - 63, 0 = 2*p - 4. Suppose 62 = 86*c - 85*c. Which is bigger: d or c?
c
Let y be 6/(-2)*(-203)/(-609). Is 2/2905 bigger than y?
True
Let m(a) = a - 2. Let v be m(3). Let k = -7759811/8954 + -1319/242. Let b = k + 872. Which is smaller: v or b?
b
Let y(q) = q**2 + 8*q - 2. Let b be y(-7). Let h = 1243 + -1254. Which is smaller: h or b?
h
Let c = -1 - -1. Suppose u + c*u = 0. Let s = -777 - -16315/21. Which is bigger: s or u?
u
Suppose 10 = 8*x - 3*x, 4*h + 4*x = -132. Let n(l) = 8*l - 10. Let k(a) = -a. Let o(y) = h*k(y) - 5*n(y). Let w be o(11). Is w bigger than -22/5?
False
Let x(l) = -154*l**3 + 5*l**2 + 60*l + 184. Let w be x(-3). Is w <= 4208?
True
Let i(x) = 4*x**3 - 4*x**2 - 4*x + 6. Let p be i(3). Let u be (-7395)/(-55) - p/(-121). Which is smaller: u or 134?
134
Suppose -8*g + 174 = -11*g. Let r b