8 + 120. Let g = x - t. Which is smaller: 9 or g?
9
Suppose 0 = o - 4, -4*z - 174 = 3*o + 30. Is -7 at least z?
True
Let m = -124200/91 + 1056984330/774319. Let q = m - 33/127. Is -1 smaller than q?
True
Let w(k) = 68*k + 1065. Let j be w(36). Which is smaller: 3514 or j?
j
Let c(i) = 16*i - 5*i - 2*i + 161 - 16*i - 9*i. Let o be c(10). Which is smaller: o or 12/37?
12/37
Let b = 15953 + -37664. Which is bigger: b or 2/5?
2/5
Let r be 37*(-2)/(-4)*474/747. Let d = r - 6/83. Let n be (2 - -1)/(3 - (-30)/(-11)). Is d != n?
True
Suppose 28 = 7*x - 56. Suppose x*o + 35 = 7*o. Is o > 3?
False
Suppose 34*x - 162 = -47*x. Let n = -20 + 21.52. Is x greater than n?
True
Suppose 0*h - 22*h = 308. Let t(y) = 3*y**2 + 41*y - 13. Let n be t(h). Is -2/247 < n?
True
Let g = 1625279/56 - 29020. Which is bigger: 2 or g?
g
Let x be (-9)/54*4/(-3). Let g = -398.6 + 397. Is x greater than or equal to g?
True
Let w = -13018 - -13005. Is -560/43 <= w?
True
Let c = -16 - 400. Let r = c + 2904/7. Is r >= 7?
False
Let a = 0 + -1. Let u(n) = n**3 - 8*n**2 - 3*n - 17. Let d be u(11). Let l = d - 305. Which is smaller: l or a?
a
Let w(i) = i**3 - 30*i**2 + 55*i + 31. Let b be w(28). Suppose 5*l + b*g = -7, 5*g - 3 + 27 = 4*l. Which is smaller: 12/11 or l?
l
Suppose -5*f = 15 + 5, -5*y - 180 = -5*f. Let g(t) = t**3 + 38*t**2 - 87*t + 11. Let v be g(y). Is v less than 291?
False
Suppose -4*m + 4*j - 4 - 12 = 0, -5*m + 7 = 4*j. Let i be 6210/(-1788) - (-28)/8. Which is greater: m or i?
i
Let c = -251202227/546805 - -2/109361. Is -458 bigger than c?
True
Suppose 17 = 4*i - k + 4*k, 0 = i - 5*k + 13. Suppose 4*l + 0*j - 2*j = 56, 24 = i*l - 2*j. Suppose q = -z + l, -5*q + 17 = 2*z - 15. Is z less than 16?
False
Let g = -4869 + 9539. Let a = g - 453002/97. Is 0 > a?
True
Let q = 1627 + -1646.3. Let k = 10.9 + -11. Is k less than or equal to q?
False
Let k = -2.84 + 2.96. Let c = 15 + -12.4. Let d = c - 1.6. Which is smaller: k or d?
k
Suppose -5*j = -3*z - 18, 86*z + 30 = j + 81*z. Which is smaller: 3/1841 or j?
j
Let d(p) be the second derivative of -p**5/20 + 2*p**4/3 + 3*p**3 + 19*p**2/2 - 81*p. Let w be d(10). Is w > -5/18?
False
Suppose -59 = -4*q + 3*u, 4*q + 3*u + 0 = 53. Let a be 24/(-72) + q/6 + 1. Is a smaller than 3?
False
Suppose -4*f + 8 = 0, -8 = 4*u + 2*f + 12. Suppose -3*p + 5*a + 44 = 0, -p + 0*p + 28 = 5*a. Suppose 2*i - i = z + 9, z = 4*i - p. Are z and u unequal?
False
Let f = -24395 + 21543. Is f greater than or equal to -2/13?
False
Suppose -53*h - 64*h = 18*h - 405. Suppose 0 = 2*j - 3*j. Suppose 0 = -j*s + s - 2. Do s and h have the same value?
False
Suppose 2*a - 392 = 5*h, 4*h = 5*a - 491 - 523. Which is smaller: a or 248?
a
Suppose -5*j + 2*j = -3. Let z be 22 + -12 + 4 - (-75136)/(-5368). Which is bigger: j or z?
j
Let w = -379.8 + -65.2. Let h = w + 445.21. Is 2/25 < h?
True
Let x be 1626/(-4 - -2) - (-18)/45*15. Are -809 and x unequal?
True
Let i be -3 - (27/(-12))/9. Is i >= -3?
True
Suppose -2*w + w - 314 = 4*r, -4*r - 4 = 0. Let t = -233 - w. Is t smaller than 77?
False
Let m = 377 - 368.12. Let f = m - -2.12. Is f bigger than -0.5?
True
Let k be (-21)/(-61)*(1 + -3 - (-64 - -71)). Is k bigger than -4?
True
Let z = -487.735 - -488. Let s = z - 0.135. Which is smaller: -13 or s?
-13
Suppose 0 = s + 4*s + 85. Let p = -1479 - -2165. Let h = 686 - p. Which is smaller: s or h?
s
Let v be (-23)/(-66)*37 + 4/(-3). Let r = -96/11 + v. Is 2 less than r?
True
Let h be 1*-1*(1 + 0). Suppose 1305 = -44*l - 56*l + 305. Let i be (-4 - h) + (l/(-9))/(-2). Is i greater than or equal to -5?
True
Let q be ((-16)/(-7) + -2)/(3/21). Let n be q/4 - 22*(-60)/(-2655). Is n at least 0?
True
Let t = 44/105 + -379/1155. Which is smaller: -86 or t?
-86
Let d = -366 + 342. Let n be d/(-128)*156/9. Which is bigger: 3 or n?
n
Let o = 155363/155 + -4703/5. Which is smaller: 61 or o?
61
Let j = 216 - 234. Let u(o) = 2*o**2 + 41*o + 63. Let d be u(j). Which is bigger: d or -29?
d
Let p be (-3)/(-21) - 2908496/952. Which is greater: p or -3054?
-3054
Let d = 0.1 - 0.1. Suppose -383*y + 80 = -387*y. Let i be (-3 + 7)*(4 + 78/y). Which is bigger: d or i?
i
Suppose -15*u + 12*u + 4*o = -8, -5*o = 3*u + 10. Which is smaller: -239 or u?
-239
Let a = 22603 + -23845. Is a <= -1240?
True
Suppose -7*l + 10*l - 4*s - 1107 = 0, -368 = -l + s. Which is smaller: l or 366?
l
Let o = -3688 - -3680. Which is smaller: -73/9 or o?
-73/9
Let d be ((-812)/6)/((-402)/(-9)) + 3. Which is greater: d or -73?
d
Let l = -38 + 41. Suppose 3*y = 6*y - l. Let r = -3611/26390 - 1/910. Which is smaller: y or r?
r
Let n = -2897 - -2876. Which is greater: 4 or n?
4
Let r = -3.02 - -0.02. Let x = -3.1 - r. Let o be 5 - -76*87/116. Which is greater: x or o?
o
Let m = -98 - -102. Suppose 5*z - m*x = 272, 0 = 5*z - 2*x + 7*x - 245. Which is smaller: z or 54?
z
Let j = -7117/148 - -48. Is 0 less than or equal to j?
False
Suppose g + 5 = 4*o - 16, -3*o = -2*g - 12. Let d be (-2)/o*0 + -18 + -5. Is -18 smaller than d?
False
Let b(o) = 21*o - 53 + 7*o - 65. Let t be b(4). Suppose 20 = 5*d, -4*d + 3*d = 5*n + 16. Which is bigger: n or t?
n
Let g be 6*18/27 - 20132/210. Is -93 at most g?
True
Suppose 6587 = -2103*v + 2110*v. Is v at most as big as 941?
True
Let c = -178.7 - -142.7. Is c equal to -1.87?
False
Let y(d) = -15*d - 982. Let f be y(-27). Is -2882/5 at most f?
False
Let o = 1/818 + 62983/2454. Let u = -25 + o. Let h be 0*(5/2 - 2). Which is smaller: h or u?
h
Let w = -12500.14 + 12381. Let d = -119 - w. Which is smaller: d or 0.9?
d
Let w = 227/3 + -71. Let b(v) = -10*v - 5. Let f(u) = -u**2 + 7*u - 7. Let k be f(6). Let o be b(k). Which is smaller: w or o?
w
Let f(b) = b**2 - 74*b - 313. Let a be f(-4). Does a = -2896?
False
Suppose -3*p - 2*z - 18 = -4*p, 0 = -p + 3*z + 22. Suppose -90 = p*i - 13*i. Which is greater: 25 or i?
i
Suppose -w = -p - 928, -4*w + 73*p - 70*p = -3710. Which is smaller: 929 or w?
w
Let w = 5300 + -5293. Is 99/17 at least as big as w?
False
Suppose -2*y + 216 = -2*m + 78, 3*y = -3*m - 225. Let z = -137 + 64. Which is smaller: m or z?
z
Suppose 2*j = 3*z + 3 + 3, -j - 3*z = 6. Suppose -5*d + 175 + 370 = j. Which is smaller: 111 or d?
d
Suppose 16*u = -15*u + 21266. Let x = 684 - u. Is x bigger than 3/70?
False
Let z = -232517 + 1634013/7. Is z less than 914?
True
Suppose 0 = 2*q - 3*o - 1100 + 1080, o = -2. Suppose 3*j - 16 = 7*j. Let g be 16/2 + (j - -4). Is g less than or equal to q?
False
Let l = -541/3976 - -2436963/8997688. Let a = -9/73 - l. Which is greater: a or 1?
1
Let l(o) = -3*o**3 + 132*o**2 - 371*o + 84. Let s be l(41). Is s not equal to 8.54?
True
Let w = -1066 + 643. Does -424 = w?
False
Let r be (1 - 2)/(32/4) + 6772790/1968. Is r smaller than 3440?
False
Let w be 5622*4/2684 + (-3)/(-165)*-10. Is 9 at most w?
False
Let c be -8 + (-1 - (-2947)/329). Which is smaller: -46 or c?
-46
Let g = -79.33 + 23.97. Let m = g - -0.36. Let s = -48 - m. Which is bigger: 0 or s?
s
Suppose -4*d - 5*h + 9*h = 0, 2*d + h - 9 = 0. Suppose -4*u - 2*i = 2, -u + 3*i = 1 + d. Is u smaller than -2/443?
True
Let v be -7*(-3)/21 - -4*4. Suppose v*x + 92 - 58 = 0. Which is greater: -85 or x?
x
Let n(m) = -m**3 - 6*m**2 - 3*m - 7. Let q be n(-6). Suppose 2*u - s = -4*s + q, -5*u - 2*s = -55. Let l = -797830 - -797844. Do l and u have the same value?
False
Let g be (-15 - (-5 + -2)) + 6 + 2. Which is smaller: g or 4/2951?
g
Let b = 0.14 - 13.14. Let c = b + 11. Let j = 60.4 + -60.1. Which is smaller: j or c?
c
Suppose 4*l + 2*p + 50 = 2*l, 0 = 5*l - 4*p + 170. Let r be (-50)/(-375) - (-14)/l. Are r and -14.9 non-equal?
True
Let k be -2 + -2 + 20022/(-658). Which is bigger: -34 or k?
-34
Let d = -403.4 + 171.4. Let k = -0.48 + -0.52. Does d = k?
False
Let z(w) = -6*w**2 - 694. Let j be z(-17). Is -2427 != j?
True
Let d(x) = x**2 - 2*x + 1. Let p be d(0). Let s be -15 - -25 - (4/1 - p). Let v be (s + -6)*(18 + 2). Which is smaller: v or 19?
19
Let n = -79/6 + 151/12. Let f = 11 + -16. Let t = f - -3. Which is smaller: n or t?
t
Let j(l) = 6*l - 39. Let k(n) = -5*n + 38. Let f(o) = 3*j(o) + 4*k(o). Let x be f(17). Is 15/11 less than or equal to x?
False
Let y(n) = -n**3 + 12*n**2 + 11*n - 5. Let a be y(7). Suppose -23 = 6*x - a. Is x >= 49?
True
Let r be 0 + 6/(-14) - 996/(-21). Suppose 4*f + 4