o be z(0). Let b(y) = y - 16. Let x be b(o). Let g = 140 - 138. Which is bigger: g or x?
g
Let v(w) = -4*w + 7. Let p be v(-5). Suppose 3*s - 5 = 5*k + 6*s, 5*s = -k - 23. Let t be ((-7 - -6) + -29 + k)*-1. Is p at least as big as t?
False
Let u be ((-16)/(-28))/((-252)/28287). Which is bigger: u or -63?
-63
Suppose -18 = 6*v - 48. Suppose 0 = -2*i + v*q - 39, 0 = i + 2*i + 3*q + 6. Let z be 56/(-6) - (-2 + 1). Does z = i?
False
Suppose -2*l + 2*u + 744 = -l, -3*l + 3*u + 2241 = 0. Suppose l = -11*t + 6*t. Let n be (-170)/t - -2*2/(-4). Is -1 at most n?
True
Let s = 707 - 744.9. Let j = -95 - -58. Let f = j - s. Which is bigger: 0.2 or f?
f
Suppose 13*a - 840 = 2*k + 15*a, -3*k = -2*a + 1240. Are -420 and k non-equal?
True
Let x = -58048/909 + 575/9. Let s = -13393684/347743 - -11951/313. Let y = s - x. Which is greater: 1 or y?
1
Suppose -s = -a - 170, 2*a = -s + 87 - 439. Let w be (116/a)/(2*(-2)/(-246)). Let r = w + 40. Which is smaller: r or 1/66?
r
Let h = 23070 - 23094.5. Is h equal to -33?
False
Let r(d) = 1118*d + 8721. Let j be r(-13). Is -5813 less than or equal to j?
True
Let p = 62047.949 + -62012. Let k = -49 + 49.051. Let j = p + k. Which is bigger: j or 1?
j
Let v = 153 + -123. Suppose -41*h + 44*h = -v. Is -8 >= h?
True
Let c = -10468 + 10417. Do 42 and c have the same value?
False
Let c be (-2)/22*67 - ((-340)/110 + 3). Is -393 at most c?
True
Let t be 6/(-4)*-1*5. Let u be -4 - (-39)/3 - (4 + -5). Let p be 14 - (u + (-1 - 3)). Is t < p?
True
Let g be (-3 + 2)/((-3)/(-9) - 0). Let h(i) = -i**3 - 3*i**2 + 6*i + 11. Let v be h(g). Is v > -0.2?
False
Let a = -1.8 - -15.8. Let r = 12434 + -37304/3. Which is smaller: a or r?
r
Let n(i) = i**2 + 8*i - 4. Let q(j) = 5*j**2 - 4*j - 20*j**2 + 4*j**2 + 0*j**2 - 3. Let a be q(-1). Let f be n(a). Which is bigger: f or 14?
f
Suppose 2*q = -202*q - 528564. Does q = -2591?
True
Let v = 10457 - 15192. Is v >= -2/3?
False
Let r(s) = 18*s + 377. Let g be r(-21). Let d(m) = 17*m + 9. Let l be d(-12). Let y be l/(-230) + 2/(-4). Which is greater: y or g?
y
Suppose v - 219 = 5*n - 87, 0 = 5*v + 4*n - 660. Let f = v + -56. Let h be 4 + ((-364)/f - -1). Which is greater: 1 or h?
1
Let r be 40/(-4) + (97/8 - (-90)/(-720)). Let g = -4 + -15. Is g at most as big as r?
True
Let m be (-31)/5*1 - (-28)/140. Let b(k) = -k**3 - 7*k**2 - 12*k - 44. Let a be b(m). Which is smaller: -60/7 or a?
-60/7
Let l = 9104 + -9103. Do -14/163 and l have different values?
True
Let b = 1410 + -3499. Which is smaller: 0 or b?
b
Let w = -0.8648 - -103.9188. Let g = w - 0.054. Let i = -102.7 + g. Is 0.03 less than i?
True
Suppose 5*c - 28*a = -25*a + 40, 4*c - 5*a - 45 = 0. Suppose 3*o - 1884 = -3*f, -2*o - 3173 = -c*f - 26. Is 629 at least f?
True
Let r be 13 + 60/20 + 1727. Is r at least 1742?
True
Let y = -10547 - -10560. Which is greater: -447 or y?
y
Let o(l) = 0*l**2 + 2 - 5*l**2 - l + 0 + 0. Let t be o(2). Let g(h) = h**3 + 19*h**2 + 19*h + 17. Let i be g(-18). Which is smaller: t or i?
t
Suppose 126*s + 60007 + 60323 = 0. Is s at most -953?
True
Let k be (-17 + (-156)/(-9))/(2/264). Let c(f) = 2*f**2 + 4*f - 6. Let d be c(-6). Is k < d?
False
Let f be (-7)/(-28) - 25/4. Suppose z = 5, 0 = l - 3*z + 16 + 2. Let g be -1 - 1/f*(6 + l). Which is smaller: g or -5?
-5
Suppose 835 = 3*t - 5*k, k = -5*t + 4*k + 1397. Suppose -3*w - 2*p + 591 = -236, -p = 5. Is w < t?
True
Let x be -21 - (-16)/40*(0 - -10). Let r(w) = 6*w - 5. Let s(g) = g. Let h(d) = r(d) - 5*s(d). Let f be h(-11). Is x >= f?
False
Let r = 1/1363 + -50/4089. Let m = 14 + -15. Is m at least as big as r?
False
Let t be -12 + 0 + 22 + -4. Suppose 4*i + 0*i = 24. Is i smaller than t?
False
Let l(c) = 32 - 3*c**3 + 29*c - 1 + 3*c - 20*c**2 + 118*c**2. Let y be l(33). Let p = 13/2 + -47/6. Is p at least y?
True
Let c = 0.5 + 1. Let m = 5.9 - c. Let o = 4.3 - m. Which is smaller: -37 or o?
-37
Let t = -26539/3 - -8846. Which is greater: t or -3/20?
-3/20
Let c = -154.33 - -155. Let k = -0.47 + c. Let i = 112/9 + -37/3. Is k > i?
True
Let q(g) = -89*g - 4539. Let u be q(-51). Are u and 5/3431 non-equal?
True
Let s = -779 + 785.11. Let o = 6.19 - s. Is -1 bigger than o?
False
Let i be (-248)/28 - (-24)/28 - (-916648)/114580. Do 1 and i have different values?
True
Let m = -156.84 - -3.84. Let u = 152.98 + m. Let v = -16/105 - 2/15. Is v smaller than u?
True
Let f be 0 + 0*5/15. Let k = 427411 + -812080949/1900. Let w = k + -1/1140. Are f and w equal?
False
Suppose 4*x = -5*b + 23, 3*x + 4*b - 6*b = 0. Let u be x - -8*(-8)/64. Is u < -2/699?
False
Let h = -2 + 4. Suppose 2*j + 6 = -h*k, -k + 5*j - 1 + 4 = 0. Let l = -160496/13 + 12346. Which is bigger: l or k?
l
Let s = -154.97 - -3.97. Let u = s - -164. Let d = 2.1 - 2. Which is bigger: d or u?
u
Let g(z) = -2*z**2 - 128*z - 221. Let p be g(-59). Is 367 bigger than p?
False
Let w be (-18)/(-456)*(-16)/(-6) + 96/171. Which is greater: -236/33 or w?
w
Let z = 326932/123 - 2658. Let m(w) = -2*w**3 - 2*w**2 + 1. Let b be m(0). Do b and z have the same value?
False
Let x = -2.251 - -2.951. Let v = -0.27 - 1.43. Is x < v?
False
Let m(v) = -v**2 + 6*v - 4. Let i be m(4). Suppose -2 = i*z + 2. Let p be (-2*1/(-8))/(130/(-160)). Which is bigger: z or p?
p
Let l be 2/6 + (-1)/3. Let x(p) = -2*p + 67. Let c be x(31). Let k be (72/(-165))/((-2)/c). Are l and k equal?
False
Let l = -1.73 + 1.738. Let f = l - 0.008. Is 2/29 less than f?
False
Let n = -18259431/7004 + 2607. Which is bigger: n or -1?
n
Let o = 0.00811 - -0.09189. Is o < 31/4?
True
Let v(j) = 26*j + 2. Let p(x) = x**2 + 7*x + 3. Let h be p(-6). Let c be v(h). Suppose 17*a + 17*a + 2584 = 0. Is a bigger than c?
False
Suppose -356 = -14*q + 316. Suppose -18*c = -78 - q. Which is bigger: c or 35/6?
c
Let j = -551 + 261. Let o = -292 - j. Which is smaller: o or -45?
-45
Let t(s) = -s**2 - 16*s - 22. Let c be t(-14). Let w be 0 + 10/c + 16/3. Which is greater: -3 or w?
w
Let l(b) = -247*b - 66. Let z be l(3). Let s = 808 + z. Is -25 > s?
False
Let g = 1.32 + 328.68. Let l = g - 324.2. Is -2/3 greater than or equal to l?
False
Let k = 0.29 + 0.11. Let c = -0.7 + -1.7. Let b = c + 0.4. Is k bigger than b?
True
Suppose 2*p = -5*c + 747, 39*c + 1469 = 4*p + 44*c. Which is smaller: 351 or p?
351
Let x = 690 + -4821/7. Let d(l) = l**2 + 7*l + 1. Let s be d(-7). Is x >= s?
True
Suppose 2*y + 8 = 0, -y + 13 = 3*r - 5*y. Let t(d) = -d**3 - d**2 - 4*d - 1. Let k be t(-1). Let q be 1005/(-333) - (k - 6). Which is greater: q or r?
q
Let u = 1910/7 + -796484/2919. Suppose -22*v = -20*v. Which is greater: u or v?
v
Let t = 44 + -71. Let m be (180/t)/((-2)/3). Let v be 45/(-81)*(-12)/m. Which is smaller: v or 30?
v
Let h(w) = -w**2 + 6*w - 7. Let x be h(5). Let p be (-320)/400 - 437/(-540). Is p smaller than x?
False
Let n = 29899/28 + -1068. Suppose -9 + 16 = 7*d. Which is bigger: n or d?
d
Let o = 2389147/1003 - 2382. Let p = 3947/65195 + o. Are -1 and p non-equal?
True
Let a be (7*2)/(20/8). Let i = 12869 - 12863. Which is smaller: i or a?
a
Let y be 204/(-312) + -1 + (-15)/(-13). Which is smaller: 13442 or y?
y
Let h(m) = -2*m**3 - 182*m**2 - 350*m - 89. Let k be h(-89). Is -2493/4 > k?
False
Let l = 22230/47 - 473. Let c = -21581.3 + 21581. Which is smaller: l or c?
c
Let v be 2/4*0/(1 - 9). Suppose -5*m + 5 = -v. Let g = -338/175 + 84/25. Which is smaller: g or m?
m
Suppose 244*g + 383526 = -203*g. Which is bigger: g or -2578/3?
g
Let q = 0.1 + 0.7. Let o = -1 + q. Let l = 29620 - 29615. Is l smaller than o?
False
Suppose -669 = 5*j - 8*j - 3*p, -4*j = 5*p - 894. Let h = 268 - j. Is 48 bigger than h?
True
Let o = -935235/4 - -231321. Which is greater: o or -2487?
-2487
Let n = -8155.7 - -8153. Which is greater: n or 24?
24
Suppose 0 = -6*o + 88*o + 82. Which is bigger: o or 8/655?
8/655
Let r = 219932/2601 + -1/867. Which is bigger: r or 85?
85
Let z(v) = -664*v - 2550. Let l be z(-4). Suppose n = -3*n + 448. Let y = n - l. Which is smaller: y or 9?
y
Let d(m) be the third derivative of -17*m**4/24 - 11*m**3/2 - 42*m**2. Let h be d(-2). Which is greater: -2 or h?
h
Let t = -4793 + 1267. Is -3526 equal to t?
True
Let y be (-58)/3 - 2/3. Let d = 17138 + -17153. Is y greater than or equal to d?
False
Let p(h) = -h - 1. Let u be p(-3). Let y = -1961 - -33347/17. Which is smaller: 