is smaller: d or j?
j
Let y = 1985 + -1040. Let j = y - 1050.2. Let t = j + 106. Is t greater than 0.09?
True
Suppose -5*k + 6*k + 170 = 4*f, 5*f = -5*k - 800. Let a = -43 - k. Which is smaller: a or -0.1?
-0.1
Let g be (-2 - (0 - 14))*(-1166)/12826. Let a(p) = -p + 5. Let t be a(5). Let b(v) = -v - 2. Let u be b(t). Which is greater: u or g?
g
Let y = 179.36 - 16.46. Let u = 163 - y. Let o = -34 + 38.3. Is o at most as big as u?
False
Let q(x) = -4*x - 27. Suppose 2*b + 0*b = 3*n - 14, -26 = -3*n + 5*b. Let w be (3/9*5)/(n/6). Let v be q(w). Which is bigger: v or -49?
v
Let u = -40.729 + 41.63. Is u <= -0.1?
False
Suppose 5*y + 2599 = 137*d - 141*d, -5*y + 3*d - 2627 = 0. Is y < -524?
False
Let d = 2125.4 + -267.4. Is -3 greater than d?
False
Suppose -5*m = -4*l + 29, 5*l - 44 = -4*m + 23. Suppose 25 = l*b + 3. Let k be (39/15 - 3)/b. Which is smaller: 3 or k?
k
Let q = -6/4123 - -17239/9012878. Which is greater: 1 or q?
1
Let b = 633 + -5683/9. Suppose 0 = 5*p + 25 + 10. Which is smaller: b or p?
p
Let u = -767627/74198 + -7/3226. Which is bigger: u or -10?
-10
Let t = -283 + 290. Suppose 14*x = -3*x + t*x. Which is greater: x or -8/37?
x
Let o be -54 + ((-4)/12)/((-7)/21). Is 61 != o?
True
Let k be 2429/(-2)*(-39)/819. Which is bigger: 57 or k?
k
Suppose 3*c - u + 11 = u, 0 = -3*c - 3*u + 9. Let z = 34333/17 - 2022. Is c less than z?
False
Let b = -0.093 + -11.907. Let q = 14 + b. Is q at least as big as 0.083?
True
Let j be ((-2)/(-15))/((-10848)/3840). Is -1 >= j?
False
Let o be 10/15 - 4/(-12). Let r = 13793177/185473748 + 563/48668. Let m = -1/206 + r. Is o at least as big as m?
True
Let a(h) = h. Let v(m) = -4*m - 1. Let l(n) = -3*a(n) - v(n). Let f be l(0). Let q = 651287/45 - 14473. Are q and f equal?
False
Let l = -1733 + 6935/4. Let r be ((-2)/(-6))/((-7)/(-42)). Let h be 1 - (2 - (r - 0)). Is h at most l?
False
Let u be 0/((11/1)/(-11)). Do -22/53 and u have the same value?
False
Suppose 4*u = 2*z + 20, -2*z + 14 = -2*u - 7*z. Let l be 4/((-4)/14 + (-24)/210). Let a = l - u. Which is smaller: -1 or a?
a
Let h = 101748 - 1124850/11. Let d be 3/3 + (-509)/(-1). Let a = h + d. Is a <= -1?
True
Let c = -1694 + 1417. Do c and -274 have the same value?
False
Let z be ((-45)/18)/((-1)/6). Let i be (-2 - -1)*(-5 - 12 - -2). Let a be i + 0/(4 + -2). Is a != z?
False
Let i(m) = 374*m**2 - 13*m + 54. Let b be i(6). Let k = b - 11437442/851. Is -1 > k?
False
Suppose -6*p + 3*p = 3. Suppose -1566 = 120*a - 129*a. Let g be (-7)/(182/a) - -7. Which is smaller: p or g?
p
Suppose 7 = -2*q + 37. Let x = 917.62 + -910. Let y = x - 6.62. Is q at least as big as y?
True
Let a(x) = -286*x - 189. Let g be a(-30). Let o = -109253/13 + g. Is -14 at most o?
True
Let a = -43 - -146. Let h = a + -55. Suppose -50*p + h*p = 0. Is p equal to 6.5?
False
Suppose 0 = -2*k + 6, -5*r = -0*r - k - 2. Let h be (-300)/13*(-636)/1060 - 13. Which is smaller: r or h?
h
Let j(d) = -d**3 + 2*d**2 - 14*d + 69. Let m be j(-8). Which is smaller: 819 or m?
819
Let l = -1348 - -838. Let m = 235997 - 235996. Which is smaller: l or m?
l
Let q(l) = 5*l + 16. Let p = 24 - 21. Suppose p*n + 19 = 10. Let j be q(n). Which is smaller: 3 or j?
j
Let u be (2/(-3))/((-12)/(-105)). Let y(i) = -i**2 + 7*i + 13. Let c be y(10). Let o = c + 12. Do u and o have the same value?
False
Let x be 63/308*2/3. Suppose -2*h - 2*h = -12. Suppose c + h*u = -2, 4*c - 2*u = 2*u + 8. Which is smaller: c or x?
x
Let p(t) = 2*t - 3. Let r be p(4). Let s = -3430/121 - -3276/121. Which is smaller: s or r?
s
Let o(h) = 8*h**2 + 7*h - 27. Let i be o(-7). Is 318 >= i?
True
Let i be 3*(-4 + 5)*30/18. Suppose 0 = -4*n - 2*w - 282, -2*n = -7*w + i*w + 138. Which is smaller: n or -72?
-72
Suppose 5*y = -k - 43, -4*k - 13*y - 150 = -15*y. Let f(i) = i**3 - 8*i**2 + 9. Let z be f(7). Let b = k - z. Is 6 > b?
True
Let y = -26114 - -21607. Is -0.1 equal to y?
False
Let b(t) be the second derivative of t**3/6 + 9*t**2/2 + t. Let f be b(0). Let m(o) = 102*o - 9071. Let a be m(89). Is a less than or equal to f?
True
Suppose 1061 = -515*o + 546. Which is greater: -83/40 or o?
o
Let z(j) = 185*j + 31. Let c be z(-3). Let x = -522 - c. Which is smaller: 1/2 or x?
1/2
Let v = 478 - 518. Let o be 532/66 - v/(-5). Which is smaller: o or 19?
o
Suppose 3*i + 309 = 3*b, -2*b + 10 = -0*b. Let h = -96 - i. Suppose 0 = -x + 2*p - 47, h*p + 59 = -x + p. Is -53 greater than or equal to x?
True
Let h = -71 - -47. Suppose y + 21 = -4*m - 85, 3*y = -m - 43. Is m bigger than h?
False
Let d = -241 + 121. Let n = d + 122. Which is smaller: -20 or n?
-20
Suppose -1006*a + 6 = -1008*a. Is -3/2 at least a?
True
Let g = 12912 - 12908. Which is smaller: 1414 or g?
g
Let s = 0.12352 - 12.91352. Is s < 1/2?
True
Let w = 578847 - 578805. Let f(s) = s**3 - 2*s**2 + 4*s - 5. Let l = 12 - 8. Let v be f(l). Are w and v non-equal?
True
Suppose 4*f + 8 - 52 = 0. Suppose 5*c = f*c - 72. Let l be 33/c - (-1 + -2 + 4). Which is smaller: l or 3?
l
Let i = 449 + -442. Let o be ((-8)/42)/(6/i). Is o less than 0?
True
Let g(k) = 2*k + 1. Let x = 11 - 18. Let l be g(x). Let z = -232 - -219. Is l less than or equal to z?
True
Let q(o) = -3*o**2 - 12*o - 6. Let d be q(-3). Suppose -2*w = 2, -d*i + 3 = 4*w + 4. Which is smaller: i or -1/121?
-1/121
Let k = -170 + 277. Suppose -646 + k = 7*i. Let a = -78 - i. Which is bigger: 7/15 or a?
7/15
Let x(d) = 3*d**3 - 79*d**2 + 17*d + 455. Let a be x(26). Is a less than or equal to 192?
False
Suppose -5*o + 28 = 2*o. Suppose 0 = o*j - 4*r - 20, -3*r - 5 = -5*j + 18. Which is bigger: j or 28/11?
j
Let c = 43130/29 + -1487. Let m = -705 - -706. Do c and m have the same value?
False
Let a = 98 - 488/5. Let y = -1148/549 + -8/61. Which is smaller: y or a?
y
Suppose n = -3*i - i + 9, 0 = -2*i + 8. Let d be 8/77 - (-2)/n. Let h = -150 + 148. Which is bigger: d or h?
d
Let m = 2 - 0. Let b be 210/168 + (-11)/(-4). Suppose 0 = -3*d + 5 + 4, b*d = m*y. Are y and 7 nonequal?
True
Let n(r) be the first derivative of r**4/4 + 4*r**3/3 - 3*r**2 - 3*r + 2. Let a be (-8 - 150/(-18))/((-1)/15). Let t be n(a). Which is smaller: 4 or t?
t
Suppose 5*j - 70 = 2*z, -4*z + 6*j - 67 = 65. Which is smaller: 144 or z?
z
Let i(g) = 5*g**3 - 4*g**2 - g + 3. Let v be i(1). Suppose -p + 15 = -3*u, 0*p - 2*u - 10 = -v*p. Is -3/230 <= p?
True
Let d = 22 - 24. Let k = 125.69 - -2.31. Let y = k + -127.61. Which is smaller: d or y?
d
Let f = 1866 + -1281. Let s = -522 + f. Is 125/2 < s?
True
Let c = -157 + 161. Suppose -74*y = -78*y + c*j, 15 = -3*j. Which is bigger: 5 or y?
5
Let w = 9 + -9.1. Let h be 36/8*(-6)/(-108) - (-4)/432. Which is smaller: w or h?
w
Suppose 4*m + 382 + 136 = 3*c, 1 = m. Which is bigger: 170 or c?
c
Let o(p) = -p**3 + 6*p**2 - 24*p + 193. Let s be o(9). Which is bigger: s or -1?
-1
Let k = 81254/5 - 16313. Which is smaller: k or -63?
-63
Let f(q) be the third derivative of 1/24*q**4 - 2 + 1/2*q**3 + 0*q - 6*q**2. Let h be f(-3). Is -1 at least as big as h?
False
Let b = -6433 + 6404. Which is smaller: -12 or b?
b
Let p(f) = 2*f**2 + 89*f + 8. Let q be p(-44). Which is greater: q or 2/17?
2/17
Suppose 0 = x + 4*x - 1785. Suppose x = -5*o - 18. Which is smaller: -77 or o?
-77
Let w = 6747.9 + -7382. Let u = w - -627. Which is bigger: 4 or u?
4
Let v be (-22 - 3)/((-200)/(-120)). Suppose -5*o + 3*x - 108 = 0, 3*x + 0*x + 84 = -3*o. Let h = 10 + o. Is h <= v?
False
Let m be 0/(0 + 3 + -6 - -1). Let t(q) = -q**2 - 16*q - 42. Let w be t(-12). Let n be (-10)/w*(-3 + (-1299)/(-435)). Which is smaller: m or n?
m
Let q = 84.88 - 84.9447. Is q at most -0.5?
False
Let y be 22/(1870/(-51)) + 32394/(-10). Is y smaller than -3240?
False
Let o(y) = -y**2 + 32*y + 66. Let j be o(32). Let k be 8/(-15)*(-996)/(-8). Let x = j + k. Is 1 not equal to x?
True
Let k be (-4706)/(-36) - (255 - 247). Which is smaller: k or 122?
122
Let v be 6/15 + (-4)/10. Let q be -1 + (2 - v) - -4. Suppose -q = -3*s - y, 5 + 5 = -s + 2*y. Is s greater than 2?
False
Let o = -60578930/18532389 + -2/597819. Do o and -3 have different values?
True
Let r(i) = -i**3 - 8*i**2 + i - 7. Let k be r(-8). Let l = k - -17. Let x be (-13 + 8)*l*(-2)/4. Do 5 and x have the same value?
True
Let q(g) = -21*g + 38. Let a be q(0). Let f = a + -63. Are -22 and f unequal?
True
Let h be (-8 -