 Suppose -4*m - 2*w + 700 = 0, m + 2*w - 178 = -0*m. Let h = 164 - m. Which is bigger: h or j?
j
Suppose 41 = 5*a + 16. Suppose -3*y = -y + 2*f + 16, 58 = -a*y + f. Let s = 1858/23 + -8329/92. Is y at least s?
False
Suppose 0 = -43*v - 52*v - 271700. Does -2859 = v?
False
Let j = -579 + 575. Let z be (-6)/j - (27 - 26). Which is bigger: 8 or z?
8
Let t(b) be the first derivative of 7*b**4/4 + b**3/3 + b + 17. Let h be t(-2). Let s = h + 49. Is s less than -1?
True
Suppose 0 = 5*a + 2*z + 8342, 2*a - z = -2589 - 755. Which is smaller: -1671 or a?
-1671
Let i = 3 + -3.4. Let r = -36854 + 36893. Which is bigger: r or i?
r
Let t = 18.09 + -53.2. Let d = t - 0.89. Let m = 36.1 + d. Which is smaller: -0.33 or m?
-0.33
Let y be (2/6)/(-5*(-3)/(-45)). Suppose 5*k = -2*s + 8, -2*s + 8 + 0 = -3*k. Let f be s/(-14) + 73/(-63). Which is smaller: y or f?
f
Let r be ((-9)/57)/(12/16). Let o(q) = -3*q**3 + 29*q**2 - 38*q - 15. Let f be o(8). Is f bigger than r?
True
Let k = 0.0095 - -5.2385. Let m = k - -0.852. Which is smaller: m or -2/7?
-2/7
Let f(u) = -3*u - 44. Let s be f(-15). Let w be 17/(-4) + 2/s. Is 3/5 less than or equal to w?
False
Let h be ((-2432)/(-24) - -2)/(5/1035*-3). Does -7129 = h?
False
Suppose 4*i + x = -74, 3*i - 8*x + 7*x + 52 = 0. Is -18 greater than i?
False
Suppose -j - 40 = -5*j. Let i be (-135)/(-18)*j/3 + 3. Which is smaller: i or 25?
25
Let k be -1 - 3/27*-21 - (-2 - -3). Which is greater: 3303 or k?
3303
Let g = -142 + 57. Let w be (g/(-10))/(2/(-4)). Suppose -609*l + 445*l - 2460 = 0. Which is smaller: l or w?
w
Let k be -9 - (-8 - -2) - -2*3/2. Is k > -5/551?
True
Let w(i) = 24*i + 1799. Let h be w(-75). Is -4 bigger than h?
False
Let j = 127176 - 65749972/517. Let o = 17158/10857 + j. Which is greater: o or 3?
3
Let m(l) = 6*l**2 + 21*l - 4. Let v be m(-4). Suppose 40*h = 43*h + 6, 2*h = -4*w - 8. Is v <= w?
False
Let n = -58 + 65. Suppose -2*f + f + n = 0. Let x(m) = -7*m + 40. Let j be x(f). Which is greater: 0 or j?
0
Let k = 420 + -589. Let n be 10/(-65) + (-2223)/k. Is n at most 124/9?
True
Suppose -8*s - 19*s = -8*s. Let r be (20/3)/(988/2772). Let g = r - 250/13. Which is greater: g or s?
s
Let o = -2/1631 + -35876/4893. Let h = 25.9 + -25.7. Which is smaller: h or o?
o
Let k = -0.89983 + -0.10017. Do k and 1/1205 have the same value?
False
Let n be (-60)/100 + (-2145546)/(-3575610). Which is bigger: 0 or n?
n
Let m(o) = 384*o**3 + 11*o**2 + 14*o - 383*o**3 + 3 - 13. Let u be m(-9). Suppose -14*v + 125 = -9*v. Which is smaller: v or u?
v
Let r = 75 + -79. Let a be (-5)/(35/42) + (-20)/r. Are a and -2/223 nonequal?
True
Let n = -1.82 + 24.52. Let k = n - 21.9. Is 0.03 greater than k?
False
Let n = 7775 - 7819. Is n less than -3/8?
True
Let c be -607*(18/7 - (-498)/1162). Which is greater: c or -1822?
c
Let q = -26.11 + 26. Let k = -0.11 - q. Let p = k + -0.1. Is -12 < p?
True
Let r = -716 - -2033. Suppose 153 + r = 15*f. Is 98 < f?
False
Suppose s + 45 = 16*s. Suppose 0 = -4*n - 2*h + 88, 3*n + h = 2*h + 56. Suppose -s*o - n = 5*c - 0*c, 0 = 3*c + 5*o + 28. Which is smaller: c or 1/13?
c
Let i(o) = -4*o + 51. Let l be i(11). Suppose 320 = -13*d - l*d. Do -15 and d have the same value?
False
Let t = 21.6 - 21. Let o = 294317/35 + -8409. Which is smaller: t or o?
o
Let i = -1 - -1. Suppose -5*s = -5*f + 15, 3*f + 9*s - 4*s - 9 = 0. Suppose f*l + i - 6 = 0. Which is greater: 11/5 or l?
11/5
Let v(k) = -3*k + 65. Let n be v(21). Let j be (-11)/((-11)/22*(n - 3)). Which is bigger: -25 or j?
j
Suppose -128 = -4*b + 28. Let i(l) = 9*l + 85. Suppose -17*w - 6*w = 115. Let o be i(w). Is b bigger than o?
False
Let j = 64 + -95. Let u = -29.64 - j. Let z = 5.36 - u. Which is smaller: 1/9 or z?
1/9
Let f = -73 - -47. Let c = f + 50. Suppose c*x = 26*x + 30. Is x equal to -13?
False
Suppose 12040 = -5*a + 3*w, w - 3*w + 4816 = -2*a. Let l be (-21555)/a + (-3 - 114/(-42)). Let b = -1/1032 - l. Are b and -9 equal?
False
Let x = 746.565 + 1.435. Let j = -748.38 + x. Which is smaller: 5 or j?
j
Let u be (-4)/(-99) + 4/22. Let x = -0.12 - 53.88. Let z = 57 + x. Is u smaller than z?
True
Let p = -0.142 + 0.1832. Let q = p + 0.0588. Which is bigger: 3.47 or q?
3.47
Let r(p) be the second derivative of -5*p**3/6 - 195*p**2/2 - 36*p. Let t be r(-23). Which is smaller: -82 or t?
-82
Suppose 15*c = 12*c. Suppose 38 = 4*d - 50. Let k be 44/d + 64/(-33). Are k and c unequal?
True
Let b = 67.57 - 0.57. Suppose -9*x + 28 = 19. Which is bigger: x or b?
b
Let o(c) = 20*c - 47*c + 10 + 25*c. Let d be o(3). Suppose -y = 3*j - 1 - 6, 0 = d*j - y. Does 2.5 = j?
False
Let x be (2/(-3))/(11/9 - 1). Let u be (0 - -1)/(x/(-12)). Suppose 3*o + 27 = 2*c - 5, -u = -4*c. Are o and -34/3 equal?
False
Let w = 3018 + -3019. Which is bigger: w or -25/148?
-25/148
Let p = 37.68 - -4084.32. Which is bigger: 2/5 or p?
p
Let g be (0 - 86) + (0 - 1 - -1). Let w = g - -128. Suppose 4*l = 7*l + w. Is l at least -14?
True
Let q = -2878 - -3932. Are q and 1056 unequal?
True
Let w(m) = 4*m + 22. Let z be w(-6). Let l be z/((-418)/(-93)) - (-80)/440. Let t(h) = -5*h - 15. Let o be t(-3). Which is greater: l or o?
o
Suppose -o = -2*d - 83, 0 = -3*d + 2*o - 68 - 56. Let u = d + 14. Let s = -27 - u. Which is bigger: -6/17 or s?
s
Let h = -343 - -343. Let c be ((-1035)/350)/(-9) - 4/10. Is c <= h?
True
Let o = -3270 - -3270. Which is bigger: 11653 or o?
11653
Let g(h) = -h**3 + 7*h**2 - 4*h - 8. Let v be g(7). Let y be (-4)/12*2/v. Let l(p) = p**2 - 23*p + 42. Let k be l(2). Which is smaller: k or y?
k
Let n(o) = -20*o + 610. Let g be n(-10). Is 810 smaller than g?
False
Let h = -8084.5 + 8080.5. Let u = 1/206 + 256/309. Does u = h?
False
Let o = -3927 - -3800. Is o < -122?
True
Let z be ((-132)/24 + (-3 - -1))*(-164)/6. Which is smaller: z or 207?
z
Let f = 376 - 380. Let r = -44 + 31. Let o = r + 12. Which is bigger: f or o?
o
Suppose 0 = 6*z - 4*z + 372. Let j be -4 - z/(-172) - 15/(-3). Which is bigger: -1 or j?
j
Let t(r) = -r**3 - 7*r**2 + 9*r - 7. Let d be t(-7). Let b(l) = 32*l - 72. Let p be b(0). Is p != d?
True
Let x be (-1425)/(-570)*((-286)/(-5) - (-4 - -6)). Is 126 equal to x?
False
Let d = 1613 + -1639.02. Let c = -24 - d. Let j = -1.02 + c. Which is greater: -39 or j?
j
Let q be ((-5)/(30/16))/(1/(-129)). Suppose -8*d = q + 88. Let v be (5 + 222/(-42))/(d/14). Are 0 and v nonequal?
True
Let d(p) = p**2 + 2*p - 10. Let m be d(-5). Suppose -10*x + m*x = -705. Is 142 at most x?
False
Suppose -43*c = -39*c - 72. Let d(q) = q + 6. Let l be d(-8). Let n be 1/l*(-41 + 3). Is c > n?
False
Let h(f) = 5*f - 189. Let x be h(39). Let u be (3 - x) + 34/14. Which is bigger: u or -1/14?
-1/14
Let k = 9905/11 - 10951/11. Are k and -96 nonequal?
True
Let k(g) = 4*g**2 + g - 32. Let w be k(-9). Suppose 4*o = w + 117. Let m = o - 86. Do m and 15 have the same value?
False
Let v be 223/210 - (1 + 4)/5. Let h = -8/35 + v. Let u(a) = a - 8. Let b be u(7). Which is smaller: h or b?
b
Suppose 0 = 5*t + 5, -3*t + 5*t + 662 = 5*a. Suppose -a*v + 138*v + 738 = 0. Which is bigger: -125 or v?
v
Suppose 470*c = 447*c - 158470 - 12972. Is -7455 less than or equal to c?
True
Suppose -5*r + 4*y = 26 - 13, 0 = -5*r + 5*y - 10. Let n(i) = -i**2 + 3*i + 44. Let l be n(r). Do l and -5 have the same value?
False
Let d = 8802/1615 + -104/19. Let i = 9/340 - d. Suppose -1065*y = 785*y + 661*y + 2511. Is y != i?
True
Suppose -5*r = g - 8 - 10, -4*g + r = 12. Let d be (-24)/8*129/(-99) - 6. Is d less than or equal to g?
True
Let l be ((11/421)/((-5)/(-6)))/(2/(-5)). Which is smaller: 0 or l?
l
Let j = -19 - -5. Let u = 3189.97 - 3176. Let d = u + j. Which is smaller: d or 2/21?
d
Suppose -3*a - 190*t + 23 = -186*t, -a + 4*t = 19. Which is smaller: a or -1/460?
-1/460
Let d(m) = m**2 + 18*m + 54. Let q be d(-15). Suppose q = g - n + 6, -3*g + n = -1. Is -2/169 < g?
False
Let k = 0.254 - 0.202. Which is smaller: 5/31 or k?
k
Suppose -2 = 18*g - 19*g. Suppose f - g*o + 4 - 16 = 0, -2*o = 2*f + 6. Let y be (190/23)/5 - f. Is 1 < y?
False
Suppose 766 = -3*p + 7*p - 2*f, -4*f = 12. Suppose -150 = -5*v + p. Is v smaller than 70?
True
Suppose 0 = 9*v + 2*v + 74 - 85. Let s be 537/(-2116) + (-1)/(-4). Is s > v?
False
Let z = 176 + -68. Suppose 46*w - 49*w = 4*l - z, 4*w - 148 = -4*l. Is w <= 38?
False
Let r