1/21528 + -9152/23. Let m be 1 - 1 - 10/(-144). Let c = m + x. Which is smaller: 0 or c?
0
Let z = 4 - 0. Let u = z + -3. Let l = -575/3058 + 27/278. Is u smaller than l?
False
Suppose 4*a + s + 75 = 0, 0 = 2376*a - 2375*a + 5*s + 33. Let r(p) = -p**3 + 6*p**2 + 7*p. Let g be r(7). Let l = g + -1. Which is bigger: l or a?
l
Let k(z) = z**2 - 11*z - 85. Let c be k(32). Suppose -6*n + c = -469. Do 176 and n have the same value?
True
Let c be 6/(-69) - (-180)/2070. Is 10/891 smaller than c?
False
Let w(a) = -a**2 - 35. Suppose 8*l - 3*l = 0. Let n be w(l). Let z = n + 78. Which is bigger: -1 or z?
z
Let f be (-1105881)/(-441) - (-2)/(-3). Which is smaller: 7519/3 or f?
7519/3
Let a = -1.5622 - 0.0678. Let n = a - -1.43. Let y = -58 - -288/5. Is n > y?
True
Suppose -5*v + 2316 = 2*k, 664 = -3*k - 5*v + 4133. Let q = -119915/104 + k. Let p = -223/520 - q. Which is greater: p or 9?
9
Suppose 0 = 2*q + 3*v - 56725, -183*q + 4*v = -187*q + 113468. Which is bigger: 28375 or q?
q
Let c(s) = -s**3 - 7*s**2 - 8*s - 2. Let n be c(-6). Let u be (-174)/(-15) + 4/n. Let x = 337 + -1684/5. Is x less than u?
True
Suppose -30*a + 38*a - 13728 = 0. Is 1716 > a?
False
Suppose 3*j = -3*u + 66, 2*u + j - 802 = -755. Is u greater than or equal to -26?
True
Let l = 0.878 - 1.102. Which is smaller: l or 4/11?
l
Suppose -5*s - 2 = -7, -83 = 2*j - 3*s. Let i = j - -40. Let m be (-2 + (-476)/(-240))*-3. Is m bigger than i?
True
Let y be (-3)/(-6)*6*11829. Let t be (2/(-30))/((-12)/y). Let m = -815/4 + t. Is -6 < m?
False
Let l(z) = -1013*z + 3039. Let m be l(3). Is m equal to 6/169?
False
Suppose -152 = -10*u - 32 - 50. Let n be ((-2)/(-3))/((-2)/(-12)). Let x be n/((6/5)/3). Is x less than or equal to u?
False
Let q be 6 - 4*4/(-8). Suppose 0*z + z = q. Suppose 4*j + 23 = -3*a, 3 = -a - 2*j - z. Which is smaller: 0 or a?
a
Suppose -19416*q + 19432*q = 16736. Is q > 1046?
False
Let h be 6/(-4)*(-6)/(-9). Suppose 2*p = -6*p - 288. Let k be ((-1)/(-1))/((-15)/p*-14). Is k < h?
False
Suppose -5*g + 3*z = -4, 0*g = -3*g - 4*z - 15. Let j(y) = 25*y - 372. Let r be j(-6). Let d be (81/r)/((-39)/26). Which is bigger: g or d?
d
Let k(n) = -119*n + 63. Let h be k(5). Does -531 = h?
False
Let t(o) = 7 - 6*o + 17*o + 3 + 0 + o**2. Let g be t(-5). Let r be 176/(-10) + 46/(-115). Is g > r?
False
Suppose -24 - 11 = -7*x. Suppose t = -4 + x. Suppose -r + 5 = -5*m + 4, -r - 7 = 3*m. Is t at least m?
True
Let t(d) = -32*d**2 + 149*d - 48. Let a be t(6). Is -1524/5 less than or equal to a?
False
Let a be (204/14)/(288/11844). Let l = 600 - a. Is -42 less than or equal to l?
True
Let t = -584 + 584.0816. Is -2/3 less than or equal to t?
True
Suppose 3*a = -2*c - 35, 91*a = -13*c + 92*a - 2. Let q = -8 + 1. Is q less than c?
True
Let h = -961 + 1873/2. Let i = -6131 + 6107. Which is bigger: i or h?
i
Let t be 6/45 + (-416)/(-30). Suppose 4*s - t = -102. Let x(o) = -3*o - 92. Let w be x(-23). Which is smaller: w or s?
w
Let j = 6434 - 135118/21. Which is smaller: -3.8 or j?
-3.8
Suppose 8*c = c + 7. Let i be ((-5 - 12) + 5)*(c - 6). Let o be -2 - 10/3*i/(-125). Which is greater: o or 8?
8
Let j be -7*(-300)/(-378)*(-3)/(-6). Which is bigger: -42 or j?
j
Let o = -25747/303 - -132/101. Which is greater: -85 or o?
o
Let s = -40119/8 + 5013. Are 53 and s unequal?
True
Let j be -3*(2 - 5/3). Suppose 11*u + 3 + 85 = 0. Let b be (80/81)/5*2/u. Which is smaller: j or b?
j
Let z = -2693966546101/7175 - -15468989352/41. Let y = z - 1826711. Let p = 60/7 + y. Which is bigger: 0 or p?
p
Let l = -180 + 179.903. Let d = -41.097 - l. Is -2 equal to d?
False
Let s = 0.12 + -52.12. Let r = -19.8 + 67.8. Let t = s + r. Which is bigger: 5 or t?
5
Let x be 56*(80/(-76))/(-5)*105/21. Which is smaller: x or 58?
58
Let c be 3 + (-69)/12 + 15/20. Let a = 267/4 - 5065/76. Are a and c equal?
False
Let u be (-16)/36 + (-7712)/5004 - (-4 - -2). Is -7 smaller than u?
True
Suppose -5*n = -5*s - 2105, 18*s + 5*n = 19*s + 393. Does s = -1711/4?
False
Let o = -693 + 436. Let n = o + 5912/23. Which is smaller: n or 0?
0
Suppose -4*x + 3*j + 7 = 0, -3*x + 2*j + 0*j = -4. Let q(l) = -24*l - 37. Let y be q(x). Which is bigger: 35/3 or y?
35/3
Suppose 5*y - 2*y = 0, 4*y + 795 = 5*v. Let h be 424/v*(1 - 1/(-2)). Let a(u) = 9*u**2. Let i be a(-1). Is i at most as big as h?
False
Let g = 516 - 367. Suppose -11*k + 16 + g = 0. Do k and 13 have different values?
True
Let r = 324 - 323. Let v be r/3*-15 + (-38)/(-14). Let h = -4 - -3. Which is smaller: h or v?
v
Suppose 12*b + 22015 + 5165 + 11880 = 0. Is -3255 > b?
False
Let l(g) = 11*g**2 - 164*g + 58. Let u be l(11). Is u at most -1/2?
True
Let c(j) be the first derivative of j**4 - j**3/3 + 13*j**2/2 + 14*j - 299. Let f be c(-1). Let v = 1107 + -5562/5. Which is smaller: v or f?
v
Let s = 0.2 + -0.2. Let n be (-1054)/(-14) - 42/147. Suppose 5*l + n = p, -l + 5*p + 45 = -4*l. Are l and s unequal?
True
Let q = -1 + 0. Let x = -3954921 + 435044857/110. Let g = 161/5 - x. Is q < g?
True
Suppose 13465 - 13450 = -15*h. Is -1827 not equal to h?
True
Let r be (0 - 7/259)/((-4)/12). Which is greater: -53 or r?
r
Let d = -6078 - -6072. Which is smaller: d or -68?
-68
Let t = 1353.8 + -1613. Let q = -18.2 - t. Which is smaller: 1 or q?
1
Let i(l) = 39*l - 216. Let p be i(6). Suppose -5*y - 3*w - 92 = 0, -22*w - 64 = 3*y - p*w. Let h = -751 + 3671/5. Is h >= y?
False
Let v = 37/21 + -10/7. Let u = -20/3 + v. Let g(h) = h**3 + 13*h**2 - h - 19. Let a be g(-13). Which is greater: a or u?
a
Let y = 3558 + -3559. Which is smaller: y or 21/137?
y
Suppose 4*i - m + 8 = 24, -4*m - 4 = -i. Let u(b) = b**3 - 4*b**2 + 2*b - 3. Let l be u(i). Suppose l*z + 8 = -7. Are -6 and z equal?
False
Let b(u) = u**2 + 63*u + 576. Let s be b(-52). Is s bigger than 65/17?
True
Suppose 1380*j = 1382*j + 12. Let o be (2/1)/(j/1293). Which is greater: -430 or o?
-430
Let i(k) = 107*k**2 + 6*k - 224. Let q be i(8). Which is smaller: q or 6673?
q
Suppose 0 = -5*n + c + 26, -2*c = 11*n - 7*n - 32. Suppose -n = g + 7. Which is smaller: g or 3?
g
Let o = -22332 + 200651/9. Is o < -37?
True
Let b be (-18 + 10)*(485/(-140) - -4) - -4. Is 313 < b?
False
Suppose -j - 1 = 5*r, -5*j - 4*r - 32 = -3*j. Let z be (-20)/30 + j/6. Let x be z*3/(-45) - (-346)/(-1056). Do 1 and x have different values?
True
Let p(m) = m**2 + 14*m + 53. Let h be p(-8). Suppose -91 = -h*u + 234. Is 65 smaller than u?
False
Let z(y) = -7*y**3 + 4*y**2 - 21*y. Let w be z(7). Let v be w/126*15/(-4). Which is smaller: 0.4 or v?
0.4
Let a(i) = 17*i**2 + 116*i - 3. Let n be a(-8). Which is greater: n or 160?
160
Let x = 0 - -4. Let r = 17 + x. Let q = r + -21.18. Is q not equal to 1?
True
Suppose 2*u - 5*o - 46 = -41, -4 = 2*u + 4*o. Which is smaller: 3/1045 or u?
u
Let m be 2 + (-8)/3 + (-1943)/(-2190). Let a = -3/146 + m. Which is greater: 0 or a?
a
Suppose s - 9 + 3 = 0. Let f be ((-8)/s)/(20/(-60))*-6. Is f equal to -18?
False
Let m = -128.21 - -126.21. Which is smaller: m or -403.2?
-403.2
Let p = 7433 - 11725. Which is greater: -4293 or p?
p
Suppose 0 = -4*m + 62 + 14. Let g be 2 - (m + -13 - 3*1). Let a be g/(2 + (-3)/3). Does 1/227 = a?
False
Let c = 52.77 - 53. Let u = c + 0.06. Let g = -0.47 - u. Is g at most 3?
True
Suppose 415*r = 33*r - 2056367 + 193735. Which is smaller: -14627/3 or r?
r
Suppose -30*v = -23*v - 889. Which is bigger: 130 or v?
130
Let d = -308.0488 + -3.9157. Let g = -0.0355 + d. Which is smaller: -0.1 or g?
g
Let o(f) = f**2 - 9*f - 5. Let w be o(10). Let t be -7 + 1 + w + 5. Let h(y) = -6*y + 23. Let v be h(t). Is v not equal to -4/23?
True
Suppose 13*n - 17 - 322 = -100*n. Which is smaller: n or 101/26?
n
Let i = 2.01 + -0.01. Let m = -143.49 - -143.95. Which is bigger: m or i?
i
Suppose -2*c - 771*z - 10 = -774*z, 4 = z. Is -12/59 > c?
False
Let w(z) be the third derivative of 11*z**4/12 + 395*z**3/6 - 487*z**2. Let q be w(-18). Let k = -1/623 - 1089/97811. Which is greater: k or q?
k
Let k be (1/(-3)*(6 - 9))/(1 - 4). Which is smaller: 2026 or k?
k
Let f = -586.9 + 587. Is -0.372 less than f?
True
Let m be (6*(-183)/27)/((-2)/(-6)). Are -124 and m nonequal?
True
Let q = -27 + 691. Suppose 0 = -16*n - q - 216. Which is bigger: n or -1?
-1
Let u = -100.13 + 100.23. Let a = 1.83 - -226.17. Do a and u have different values?
Tr