t i(w) = w**2 - 3*w - 5. Let j be i(-4). Let d(x) = -768*x + 18460. Let p be d(24). Which is bigger: p or j?
p
Let y be 570/684 + -2*758/1848. Suppose 0*o - o = -7. Let j = o + -8. Which is smaller: j or y?
j
Let s = -0.58 - 46.42. Let y = 26049 - 26051. Which is smaller: y or s?
s
Let j(o) = 232*o + 7670. Let a be j(-42). Is -2074 smaller than a?
False
Suppose -3*p + 44 = 29. Let c(q) = 28 + 4*q - 3*q - p*q. Let z be c(6). Is 7 not equal to z?
True
Suppose -42 = 433*v - 431*v. Let u be (-19)/(-18) - v/(-14). Which is smaller: -3/17 or u?
u
Let h(o) = 45*o + 3. Let b be h(1). Let d = b - 68. Let s be (-30)/d*16/174. Is -1 less than or equal to s?
True
Let i = -62/10937 - 5990066/601535. Let t = i - -114/11. Which is bigger: t or 154?
154
Let p = -14458 + 14456. Let y be (-288)/200 + (-2)/(-5). Which is smaller: y or p?
p
Suppose -w + 622 = -5*c, c + w = 5*c + 497. Let u(h) = -3*h**2 - 31*h - 181. Let t be u(-8). Is c at least as big as t?
True
Let v = -2462 + 2477. Is v <= 128/9?
False
Let h = 573/5 + -114. Let z be 1/(4*(-8)/5248). Let n be 5 + z/32 - (-3)/(-8). Do h and n have the same value?
False
Let i = 332/67 + -33753/335. Is i not equal to -96?
True
Let q be (4/(-30))/(270/(-75)). Suppose -8*l = -10*l + 2. Which is smaller: l or q?
q
Let i = 5253 - 5253. Which is smaller: i or 2/6787?
i
Suppose -3*b + 4*m = -2937, -2*b + 2*m + 1958 = m. Let z be 0 + (-78321)/((-7 - 13)*-4). Let p = z + b. Which is smaller: p or -1?
-1
Let v = -7769 + 8135. Is v greater than 365?
True
Let i = 119 - 56. Suppose -3*j - 2*y = -155, -4*y = 2*j - i - 27. Let r = j + -54. Is 1/22 < r?
True
Let g = 2473/5 + -494. Which is greater: g or 12.17?
12.17
Let x be (-1850)/15 + (6 - (-1 - -4)). Let n = 109 + x. Is -12 less than n?
True
Let k be 0*(16*18/144)/(2*3). Is k less than or equal to 16/161?
True
Let h(c) = -2096*c**2 + 2094*c**2 + 28*c - 1 + 173*c**3 - 34*c. Let v be h(-1). Which is smaller: -168 or v?
v
Suppose 54 = 45*k + 414. Let q be k/25*8/160*-2. Do q and 0.1 have the same value?
False
Suppose c - 5 = -u, -2 = c - 2*c. Suppose 2*k - 5*w = -u*w - 4, -5*k - 10 = 2*w. Let f be k/5 + 515/(-25). Do -22 and f have the same value?
False
Let v = 1602.8 + -1603. Which is greater: v or -0.036?
-0.036
Let n be (-1454)/3 - 20/(-30). Let r = 480 + n. Is -22/5 < r?
True
Let y = 6360 - 6363. Let r = -33.38 + 33. Which is smaller: r or y?
y
Let j be (14/10)/(266/95). Which is greater: 5232 or j?
5232
Let f = 98346311/81 - 1213073. Let m = f + -1079. Is m less than 1?
True
Let o(d) = -5*d - 25. Let v(b) = -b - 1. Let i(x) = -o(x) + 20*v(x). Let y = -13822 - -13821. Let u be i(y). Is 21 at most u?
False
Let s(t) = t**3 - 15*t**2 + 22*t + 40. Let y be s(13). Is -83/7 less than or equal to y?
False
Suppose -8*z - 3*s - 9 = -4*z, -2*z + s - 17 = 0. Is z > -64/9?
True
Let h = -122/55 + 12/5. Let u(x) = -x**3 - 5*x**2 + 5*x - 3. Let b be u(-6). Suppose -2*m + 2*r - 3 = -3*r, -b = -4*m + r. Which is greater: m or h?
m
Let c be -22*(-33)/(-102) - -6 - (-2)/17. Which is smaller: 16/1943 or c?
c
Let d = -3215 - -3409. Are -2/5 and d equal?
False
Suppose 0 = -24*i + 30*i + 870. Let g be (-29)/i - 12/(-10)*4. Let u be -3*(g + (-1767)/351). Which is greater: u or 0?
u
Let u = 28 - 14. Let v = u + -21. Let h = 2.865 - 2.815. Is h <= v?
False
Let y(b) = b**2 + 95*b + 1163. Let w be y(-68). Is w <= -673?
True
Let r = -776.709 + 0.709. Let n = 775 + r. Are 419 and n nonequal?
True
Suppose 0 = 7*c - 69 - 64. Suppose -20*y = -c*y - 9. Let l be 6/8 - (y/12 + 0). Which is smaller: l or 5/11?
l
Suppose 3*v - 5*v + 12 = -4*f, -4*v + 3*f = -9. Is 10/523 > v?
True
Let s be (5/2 - (-6)/(-2))*(0 + 380). Is s > -183?
False
Let q = -15.6412 - -15.59. Which is bigger: -1 or q?
q
Suppose -4*n - 3*x = 6, -x = 5*n - 8*n + 2. Which is greater: n or 1/198?
1/198
Let j = 21.3 + -101.3. Let p = -146 - j. Is -2 less than or equal to p?
False
Let p = 147/10 + -929/70. Suppose -3*s - 3 = -3. Suppose 9*v - 5 - 4 = s. Which is smaller: p or v?
v
Let o = -55.2 - -56.2. Which is greater: o or -19/109?
o
Suppose 88*o - 58*o = -108*o - 138. Suppose 2*p + 22 = 4*p. Is p at most o?
False
Let x = 294.85 + 1316.25. Which is greater: x or 0.1?
x
Let p be (-4)/13 + (-672)/(-2184). Let d = -8 + 3. Which is smaller: d or p?
d
Let t = 62734 + -125435/2. Let f = -11 - -11.7. Let c = f + 0.3. Which is smaller: c or t?
c
Let d = 13354 - 13416. Are 0.103 and d unequal?
True
Let x = -2204 - -2203. Which is greater: x or 1/632?
1/632
Let p be (-7)/(-2)*-3*(-84)/49. Let w be (-45)/p*(-3 + 1). Let x be ((50/(-15))/w)/((-2)/(-30)). Which is bigger: -9 or x?
-9
Suppose p - 37 = -2*c, p + 80 + 9 = 4*c. Let u be (-2 + 1)*(-1176)/c. Let v(k) = -k**3 + 4*k + 55. Let a be v(0). Do u and a have different values?
True
Let q be (8/410)/((-7004110)/(-1167350) - 6). Let c = q + -2278. Which is smaller: c or 0?
c
Suppose -13*x + 25 = -10*x - 5*f, 0 = -5*x + 3*f + 15. Which is bigger: x or 4/1311?
4/1311
Let r(x) = x**2 + 47*x + 104. Let h be r(-10). Is h at most -1328/5?
True
Suppose -36 = -4*t + 10*t. Let c be (t/(-7))/(0 - 3/(-420)). Let g be (115/c + -1)*(0 + -3). Which is bigger: 0.1 or g?
g
Let q = -7911 - -7946. Which is bigger: q or 46?
46
Let w = -142 - -69. Let h = w + 75. Suppose 0 = 5*q - 4*l + 48, -2*l - 4 = h. Is -8 equal to q?
False
Let q = 8915 - 8916.3. Let p = -0.1 + -0.8. Let v = p - q. Is -2/41 bigger than v?
False
Let q = 39.6 - 42.55. Let v = -2.66 - q. Let t = -0.1 - -0.2. Which is bigger: t or v?
v
Let v = 3719 + -3740. Which is greater: -28 or v?
v
Suppose 5*k + 29 = 6*k + 3*p, -3*k - p + 39 = 0. Are 0.035 and k equal?
False
Let x be (-32)/56 - (-352)/28. Let h be ((-6)/(-47))/((-54)/x). Is h > 0?
False
Let f(v) = 8*v**2 - 19*v - 22. Let d(m) = m**2 - 3*m. Let z(t) = 6*d(t) - f(t). Let u be z(-3). Which is greater: 2/239 or u?
u
Let h be (144/612)/((-11)/(-210282)). Let k = 4498 - h. Let u be ((-1)/((-3)/(-9)) - -3)/(-1). Which is bigger: k or u?
u
Suppose 2*h = 5*o + 1281, 65*h - 4*o = 68*h - 1910. Is h > 4472/7?
False
Suppose -x + 5 = u, u - 101*x + 105*x - 17 = 0. Which is smaller: u or 7/857?
7/857
Let z = -33 - -17. Let q = -16.1 - z. Let p = -159/2548 + 4/49. Is q > p?
False
Suppose 18874 = 5*l - 2*j, -5*j - 3784 = 33*l - 34*l. Suppose -1062 + l = 24*b. Is 116 less than b?
False
Suppose -15*v - 19925 = 92*v - 2270. Let t be -2 + (-4)/(-2) + -164. Is t >= v?
True
Let b = -3.666 - -3.666. Is b >= 9.92?
False
Let b = 31663/3770 - -1/754. Which is greater: b or 0.5?
b
Let f be (-4 + 2830/(-15))*(-12 + (-432)/(-32)). Do -286 and f have different values?
True
Let z = 8387 - 8247. Suppose 2*q = -q - 645. Let j = z + q. Is j less than 0.1?
True
Let d = 26144 - 19973. Which is greater: 6172 or d?
6172
Let l(m) = -m**2 + m - 1. Let b(q) = 10*q + 23. Let f(c) = b(c) + l(c). Let i be f(12). Let z be 4/i + 365/25. Which is smaller: 13 or z?
13
Let f = -9 + 9. Let w be 60/9220*(-5536)/(-6) - (1 + 5). Which is bigger: f or w?
w
Suppose -3*b + 4*n - 6*n - 363 = 0, -3*b = 3*n + 360. Is -123 greater than b?
False
Let u = -168 + 54. Let x = u - -114. Let k be (x - (-12)/8)*140/6. Is 35 less than k?
False
Let j be (-182)/(-3) - (-2)/(-3). Let a(o) = o**3 + 8*o**2 + 10*o - 4. Let k be a(-5). Let x be 6/(-42) - (-1263)/k. Is j less than x?
False
Suppose -5*g + 61 = m - 94, g = 2*m + 31. Let b = g + -27. Suppose 3*t - 15 = 3*v, -t - b*v = 3*t + 12. Which is smaller: t or 1/40?
1/40
Suppose -3*s = 4*x - 6*s + 9, 4*s = 4*x + 12. Is 15/38 smaller than x?
False
Let a = -2327/154 - -106/7. Which is smaller: a or -1?
-1
Let s(o) = o**2 + 8*o - 3. Suppose k = -7*k - 72. Let d be s(k). Let b(x) = x**3 - 5*x**2 - 5*x - 6. Let l be b(d). Which is greater: l or 3/11?
3/11
Suppose -3*d = 3*r - 0*d + 519, -d + 495 = -3*r. Is -169 < r?
True
Suppose 0*v = v. Let s = 1/3386 - -6487/965010. Let u = 217/9690 + s. Which is greater: v or u?
u
Let f(l) = 114*l + 84. Let j be f(-5). Let d be ((-4)/486)/(9/j*-9). Are d and 0 non-equal?
True
Let w(h) = 2*h**3 + 109*h**2 + 13*h + 115. Let d be w(-54). Which is smaller: d or 2326?
2326
Let c = 222 + -335. Let v = c - -113.3. Let o be (-3)/2*20/(-6). Is v at least as big as o?
False
Let q = 1189 - 1111. Is 77 greater than q?
False
Suppose r = 2*t + 12, -3*t = r - 2*t - 3. Let n be 1/((-6)/24) - r. Which is sma