 - -10. Which is smaller: d or o?
o
Suppose 0 = -0*h + 4*h + 388. Let f be 3648/(-312) + 12/(-39). Let g be 8/f*3/h. Which is smaller: g or -1?
-1
Let l(k) = -288*k + 833. Let x be l(3). Is x bigger than -14?
False
Let r(v) = -58*v - 45. Let y be r(-6). Let k = 282 - y. Let w be (-158)/8 + 2/(-8). Which is smaller: k or w?
k
Let a = 0 - -0.004. Let u = a - 1.104. Which is smaller: -13 or u?
-13
Let k = 340.3 + -340. Let i = 3581/340 - 24/85. Are i and k equal?
False
Let l be (1553/(-5))/(2454/25). Let u = 1/409 - l. Let i(v) = -2*v**3 + 102*v**2 - 295*v + 339. Let s be i(48). Is u > s?
True
Let p be ((-528)/132)/(0 + 6/5). Which is smaller: p or -2?
p
Let m = 4923774/11 - 446858. Which is smaller: 758 or m?
m
Let b(g) = -718*g - 2155. Let t be b(-3). Are -55/133 and t equal?
False
Let j(y) = -y**3 + 6*y**2 - 19*y + 73. Let m be j(5). Which is smaller: m or 119/38?
m
Let f = 4878113/545 - 44767/5. Which is greater: -2 or f?
-2
Suppose -z - 2*z = -120. Let j(x) = -2*x**2 - 8*x + 28. Let i be j(-6). Suppose d + 36 = 2*d - i*b, -4 = -4*b. Is d > z?
False
Let a = -3.35 + 3.2. Let s = 16.85 - a. Let f = 17.3 - s. Is f equal to -4/11?
False
Suppose 0 = 422*w - 430*w - 8. Do -1/4558 and w have different values?
True
Let n = -63.35 - -22.6. Let v = 45 + n. Let w = -4.3 + v. Is 0.2 <= w?
False
Let y be 129*(1/(-2) + (-70)/60). Which is greater: 4 or y?
4
Let y be -20*((-3)/(-21) + (-413)/(-196)). Let o be (3/(y/(-6)))/((-32)/680). Let f = 26 + -34. Which is smaller: f or o?
o
Let j = -36 + 36. Let y(z) = -z**2 + 2*z + 17. Let i be y(j). Let g = i - 20. Do g and 8 have different values?
True
Let a = 0.0333 - -5.9667. Which is bigger: a or -1/46?
a
Let k be ((45/(-80))/(93/124))/((-2)/(-8)). Is -1.249 greater than or equal to k?
True
Suppose 11*p - 3029 = 260. Suppose 0*a + 292 = -5*a + 3*f, 0 = -5*a - 4*f - p. Is -60 less than a?
True
Suppose -3*u = 12130 - 9889. Are -6730/9 and u unequal?
True
Let r = 302 + -299. Suppose w - r*w = s + 5, 0 = -w - 5. Let z = 8.3 + -7. Which is bigger: s or z?
s
Let d = 53488/7767163 + -2/47847. Which is smaller: -1 or d?
-1
Suppose 5*b = -5*f + 10 - 0, -5*f + 10 = 4*b. Suppose 2*q - 3 = -2*y + 7, -q = -3*y + 15. Which is smaller: b or y?
b
Let o be -404 - 0*(-1)/(-2). Let w = 102541 + -102946. Which is bigger: w or o?
o
Let c = 3 - 3. Suppose c = -4*h + 4*k + 208, 5*h + 4*k = -43 + 348. Let v = h + -61. Which is greater: v or -3?
-3
Let p be (-95)/38*96/(-10). Let i be (10/p)/(10/16). Let c = 3 + -1. Which is smaller: i or c?
i
Suppose v + 3*j - 7 = 0, 2*j + 5 = -3*v + 12. Let x be 2550/(-8) - 7/(-28). Let a = x + 41401/130. Which is bigger: a or v?
v
Let s be (-14)/(-4)*(-47 + 61)*188/(-2). Is s smaller than -4606?
False
Let z(u) = 3*u + 23. Let l be z(-8). Let f be -1*(1 - (-2)/l). Let q = -360 + 1808/5. Is q at least as big as f?
True
Let z(c) = c**3 + 11*c**2 - 15*c - 30. Let m be z(-12). Suppose -4*g + 49 = 3*l, 11*l - m*l = -2*g + 7. Is g > 11?
True
Let p = -1253 - -1253. Is -1/526 < p?
True
Suppose -2*z + 6*z - 27 = 3*v, -1 = 3*z + 2*v. Suppose 4*g - 2*k - 278 = 0, z*k + 210 = -g + 4*g. Which is smaller: 67 or g?
67
Let j = -27 + 92/3. Let d = 3 - j. Let t = 105 + -103. Is t bigger than d?
True
Let h(c) = c**2 + 2*c + 1. Suppose 5*f = w - 4*w - 16, 10 = -5*f. Let s(d) = -5*d - 13. Let x be s(w). Let y be h(x). Which is smaller: 9 or y?
y
Let g = -11 + 24. Let t(c) = 3*c**2 + 86*c + 60. Let x be t(-28). Suppose -3*o = x*r - 62, 3*o = r - 7 - 1. Is r equal to g?
False
Let f = 20241/413 + -9/59. Is 3/5 at most f?
True
Let s(o) be the first derivative of -o**3/3 + 3*o**2/2 + 2*o - 4. Let p be s(-1). Let y be (2/4)/(3*p/12). Which is greater: y or -3/22?
-3/22
Let o = -10.31 - 0.32. Let s = -10.2 - o. Let z = s + 2.57. Is -4 greater than or equal to z?
False
Let i be (-39732)/(-990) + (-4)/30. Is 40 at most as big as i?
True
Let v = 183/4 + -46. Suppose 84 = 37*n - 16*n. Suppose -3*h - f = 1 - 6, -n*h + f - 5 = 0. Which is bigger: h or v?
h
Suppose -32*d + 160 = -37*d. Let u be ((-6)/(-188))/(12/d). Are u and 1 unequal?
True
Let y = 23 - 19. Suppose 3*v - 40 = -25. Suppose 0 = 2*g + 3*m - 15, -3*g - y*m + v = -3*m. Which is smaller: -23 or g?
-23
Suppose z - 3 = -q, 5*z - 3*z + 22 = 2*q. Let x be (q/21)/((-1)/69). Let t = -15 - x. Is 15/2 != t?
True
Suppose 144 = 4*d + y, d - 5*y + 36 = 2*d. Let g be 1/(d/(-48)*28/(-6)). Is g not equal to -78?
True
Let x = 0.9701 - 0.9201. Is -26 greater than or equal to x?
False
Suppose -35*i - 3*d = -31*i - 2, -8 = -i + 3*d. Suppose -11*q - 3*r - 22 = -10*q, -5*q - i*r = 45. Let j = -3 - -1. Are q and j nonequal?
True
Suppose -828 = -0*u + 9*u. Let f be -2 + (u/(-4) - 3). Is -1 bigger than f?
False
Let m = 38036/69773 - -2/6343. Let d be (-1)/4*(14 + -12). Is m less than d?
False
Suppose 0 = l + 30 - 13. Let y be (0 - 15)/(257/l) + -1. Which is greater: y or 0?
0
Suppose -17*p + 9141 = 8801. Is p at most as big as 22?
True
Let n = 20 - 74. Let g be (17/(-6))/(2/n). Let u = g - 78. Is -1 smaller than u?
False
Let s = 1210621/87875 - -17/2375. Is 14 at most s?
False
Let k = 4471 - 4468. Which is bigger: k or -169?
k
Let s = -295 - -1204. Is 0 at least as big as s?
False
Suppose -2*p - 373 = -2*y - 3*y, y = 3. Let q = -2686/15 - p. Let r be 12/(-18) + (-2)/(-3). Is q equal to r?
False
Let z = 274 + -269. Suppose z = 29*o + 34. Let t = 92296/27 + -3418. Which is smaller: t or o?
o
Let g = -206 - -206.162. Let o = g + -19.962. Is 1 at most o?
False
Let y(w) = w**3 + 10*w**2 - 74*w - 75. Let x be y(9). Is 798 bigger than x?
False
Suppose 12 = 4*z - 2*s, -3*s = z + 17 - 6. Is 1/5850 greater than or equal to z?
False
Let r = -5927 + 5927. Is r < 1/2523?
True
Suppose 5*z - 3 = -l, 5*l - 14 = -5*z + 1. Let n = -87.03 - -87. Is z less than or equal to n?
False
Suppose 15*h - 16 = 13*h. Let b = -3 + h. Suppose 3*u - b - 1 = -3*t, 4*t - 13 = u. Is u <= 0.6?
True
Suppose -6*i = i + 21 - 462. Does -186 = i?
False
Let c = -3 + 56. Suppose c + 235 = -18*l. Suppose 0 = 3*x - 14 + 65. Which is smaller: l or x?
x
Suppose 0 = 5*g - 4*f - 1532, -5*f + 578 = 3*g - 356. Let o = -167 + g. Which is smaller: o or 143?
o
Let j = -8 - -9. Let d = 57/11 - 5. Which is greater: j or d?
j
Let l = 120145 - 1682035/14. Let u(b) = 0*b - 3 + 0 - b. Let z be u(-3). Which is smaller: l or z?
l
Let v = -307/124 - 210/31. Let y = -38 - -29. Let w be y/(-12) - (-43)/(-4). Which is greater: v or w?
v
Let d be (-6 + (-11 - -12))/(-1). Which is smaller: d or 29?
d
Suppose -62*a - 2726 = 268*a + 4864. Which is smaller: a or -58?
-58
Let f = -1635 + 997. Let t = f + 638.1. Is 105 at most as big as t?
False
Let q be (-14978*(-2)/24)/((-272)/(-153)). Let x be 2/(-11) + 15440/(-22). Let r = q + x. Which is smaller: -1 or r?
-1
Let i be 2/9*1 + (-494312)/441*-2. Does 2244 = i?
False
Let k be 5 + ((0/(-5))/5)/4. Suppose -21 = -k*m - 66. Which is greater: 4/3 or m?
4/3
Suppose -5*i = 3*d - d - 123, -4*i - 5*d = -112. Suppose -5536 + 499 = i*a. Is a <= -219?
True
Let r = -20214 + 20161. Is r less than -3?
True
Suppose 2*f = 4*r + 504, 0*f - 3*f + 756 = 2*r. Let x be (-44)/(-99) - 256/f. Suppose -4*g - 2*a + 5 = -a, 3*g - 4*a = -20. Do g and x have the same value?
False
Let h(f) = 5*f - 8. Let d be h(0). Let z be 47 + 3 + 0 + 0. Suppose 8 = 4*i, -2*i + z = -4*w + 3*i. Which is greater: w or d?
d
Let p be ((-3)/(-1))/((-60)/(-80)*23286). Does p = 1?
False
Let n be (-2)/(-4) + (-7165)/(-10). Suppose -5*y - h + n = -10*y, 5*y = 2*h - 714. Let q = -130 - y. Is q bigger than 2/7?
True
Let d = -66 - 62.5. Let m = d + 128. Which is smaller: 1/3 or m?
m
Suppose -a - 1 = 0, f - 3*f - 5*a = 7. Let l = 1151/7 + -164. Is l less than or equal to f?
False
Let o(t) = -2*t**3 - 10*t**2 - 9*t + 9. Let x be o(-7). Suppose -q - x = -3*d, -q = 3*d + q - 274. Let i be 9*2*5/d. Are -40 and i equal?
False
Let q(x) = -4*x**3 - 2*x**2 + 2*x + 3. Let d be q(-1). Let c be -8*(-1)/(2/d). Let k be 3/c - 2/((-2608)/(-310)). Which is smaller: k or -1?
-1
Suppose 3*y = -o - 967, -329 = y - o - 8. Is y at most -324?
False
Let k = -1555089922/12639 + 123039. Is k != 1?
True
Let d be 7280/4*(1/(-2) - 0/(-8)). Are d and -912 equal?
False
Let s = -1339/1785 - 1/85. Which is smaller: -1/3 or s?
s
Let x(f) be the second derivative of f**4/12 + 3*f**3/2 + f**2/2 + 10*f - 