*d + 12 = 2*d - 3*t. Suppose -3*u + 3*u - 6*u = d. Which is smaller: u or -2/105?
-2/105
Let p = 50 + -93. Let a = 85/2 + p. Which is greater: -2 or a?
a
Let c = 6.707 - 6.7. Let q = -0.007 + c. Which is greater: q or -0.05?
q
Let y = 212 + -209. Let p = 4 - 22. Let o be y/p - 15/18. Is -1/4 less than o?
False
Suppose u - 4*h - 63 = -0*u, h = -3*u + 254. Which is smaller: u or 68?
68
Suppose 5*r + 8 = 8*k - 11*k, -3*r - 8 = 5*k. Which is greater: r or -4/15?
-4/15
Let f(i) be the third derivative of i**6/120 + i**5/6 - 7*i**4/6 - 2*i**3 - 14*i**2. Let m be f(-12). Is 35 <= m?
True
Let o(z) = 2*z - 44. Let h be o(28). Let n be 3 + (1 - (h/(-3) - -6)). Which is greater: 6 or n?
6
Let n = -142 + 141. Which is smaller: n or 2/41?
n
Let q = -15 + -41. Let u = -45 - q. Which is greater: 2 or u?
u
Let k be (8/2052*2)/(-2). Which is bigger: k or -1?
k
Let v(i) = i**3 + 7*i**2 + 4*i - 16. Let c be v(-7). Let o = 314/7 + c. Is o less than 1?
True
Suppose 2 = c + r, 18*c - 14*c = -5*r + 11. Is c smaller than 7/58?
True
Suppose 2*s = -5*d - 0*s + 75, 15 = d - 2*s. Which is greater: d or 16?
16
Let h = 25 + -18. Let b be (-1)/h - (-180)/476. Is b > 0?
True
Let f = -0.083 - -29.083. Let n = 35 - f. Let j = -2 - -1.8. Which is greater: j or n?
n
Let m = 505 + -433. Which is bigger: m or 494/7?
m
Suppose -8*t - 19*t = 810. Is t at most as big as -1/6?
True
Let n be (31 + -34)*(116/6 + -1). Are n and -61 equal?
False
Let g be (-9 - (-182)/21)*-1*3. Which is bigger: 9 or g?
9
Suppose 5*a - a = 4. Let u(o) = -3*o + 3*o**2 + 1 - o**3 + 2*o**3 + 2*o - 2*o**2. Let b be u(1). Is a smaller than b?
True
Let n be 5 + (-20)/40*(-56)/(-6). Is n >= -50?
True
Let a = 16 + -14. Let u(k) = -k**3 - 4*k**2 - 3*k - 5*k - 11*k**2 + 12 + 5*k**a. Let q be u(-9). Which is greater: q or 7/3?
q
Suppose 9*d = 8*d + 82. Suppose 0*g - 3*g - 3*c + 78 = 0, 2*g - d = 4*c. Which is smaller: 30 or g?
30
Let g be 678/(-234) + (2 - -1). Suppose -2*y + 30 - 28 = 0. Which is greater: y or g?
y
Suppose 55*b + 40989 = 16*b. Which is bigger: b or -1052?
b
Let b = -52 + 20. Let v = -1 - 0. Are b and v equal?
False
Let u = 507/11 + -4218/55. Let v = u - -31. Which is smaller: v or 5?
v
Let m be 1632/10270 + (-46)/299. Are m and 0 equal?
False
Let b = -14 + 16. Let c(l) = l**2 + 3*l - 6. Let m be c(b). Suppose 2*j = -m*s, 3*s + 3 = -3. Which is smaller: 5 or j?
j
Let o = 0.1 - 0.3. Let q be 16/3 - 6 - 19/(-24). Which is bigger: o or q?
q
Suppose 0 = 12*q - 3*t - 279, 5*t + 27 = q + 4*t. Let i(f) = f**2 + f + 3. Let g be i(-5). Is q at most g?
True
Let g = 39 + -4. Let b = 40 - g. Which is bigger: 4 or b?
b
Suppose -4*x + 2*r + 1 = r, -x - 2*r = -7. Let l = 77/1275 - -1/51. Which is smaller: l or x?
l
Let v = 33.03 - 0.03. Let q = v + -32. Which is bigger: q or 13?
13
Let w = 9 + 1. Suppose 3*l = 2*j + 2*j + w, -5*l + 3*j = -2. Let f = 182/5 - 37. Which is smaller: f or l?
l
Let c = 172 + -26. Is c less than or equal to 147?
True
Let a(v) = 4*v**2 + 8*v + 4. Let z be a(-1). Is z > 2/593?
False
Suppose 3*g = 6*g + 99. Let p(s) = -35*s**2 + 88*s - 87. Let z be p(1). Which is bigger: z or g?
g
Suppose -2*h = -4*u - 5*h - 47, 2*u + 2*h + 26 = 0. Let j be (-84)/21 - 35/u. Suppose -5*m + 0*w - 5 = 2*w, 3*w = -2*m - 13. Is j at most as big as m?
True
Let z be (2/4)/(13/234). Let j(u) = -u**2 - u**3 + u - 2*u**2 + u + 1. Let r be j(-4). Is r greater than z?
False
Let j(u) = -u**2 - 7*u + 13. Let p(s) = -s + 1. Let m(h) = j(h) - 2*p(h). Let x be m(-6). Is x <= 5?
True
Let u be 12/6 + (-258)/75. Which is bigger: -2 or u?
u
Let q(i) = -2*i + 20. Let v be q(11). Let m be v/1 - 1/(7/(-252)). Is 36 <= m?
False
Suppose -2*x - 3*c - 48 = x, -3*x = -3*c + 42. Let i = -15 - x. Suppose 0*h - 3*k = -4*h - 7, i = 5*h - 5*k + 10. Is h at most as big as -6?
False
Let f be 231/114 - (2 - 0). Let p(q) = -12*q + 73. Let x be p(6). Is f > x?
False
Let s = -6580/279 - -214/9. Which is smaller: s or 1?
s
Suppose -29 - 12 = 3*f + 5*n, -3*f - 55 = -2*n. Let z = 21 + f. Suppose -z*r + 0*r = 0. Which is smaller: r or -10/11?
-10/11
Let p = 1151 + -1135. Which is bigger: p or 2.4?
p
Let b = -49/18 + 533/9. Let j be (-7)/(-5)*(-3070)/(-76). Let g = j - b. Is g at most as big as 2/3?
True
Let f = -2 + 4. Let w = 1.9929 + 0.0071. Is w >= f?
True
Let x = -22 + 25. Suppose -4*r + 25 = -5*l - 54, 0 = 4*l + 2*r + 84. Let t be (l - 0) + x + 3. Which is smaller: t or -12?
t
Let m(u) = -u**2 - 5*u + 1. Let l be m(-1). Let v be (-2)/(-79 + -1 - l). Which is smaller: 1 or v?
v
Let q = 8712432/19 - 458758. Let u = 209 + q. Which is smaller: u or 1?
u
Let p(l) = l. Let x be p(-4). Let u be (4/(-2))/(x/2). Suppose 5*v - 5 = 3*z - 2, 5 = -5*z + 5*v. Is u at least as big as z?
True
Let q = -22 + 47. Let c = q - 24.9. Let w = -2 + 5. Which is smaller: c or w?
c
Let j(u) = 224*u + 103. Let h be j(2). Is h at least as big as 550?
True
Let v be 5/(-2 - -3)*(-5 + 3). Let g be (-9 - v)*(1 + (-2 - 0)). Let b = -988/35 + 198/7. Which is smaller: g or b?
g
Suppose 2 = -a + 2*a. Let g be 1/(a + -3)*-2. Let d = 8219/3199 - -1/457. Which is smaller: d or g?
g
Let r be (4/84)/(-1 + 80/75). Which is smaller: 1 or r?
r
Suppose 4*x + 5 = 9*x. Suppose r - 2*f = 4*r + 1, 2*r = -f - x. Let z = 104 - 833/8. Is z at most r?
False
Let f = 35 - 35. Let b be (6/(-9))/(2/(-75)). Suppose 4*g + g - b = 0. Which is smaller: g or f?
f
Let n = 977 - 954. Let r be (-10)/15 + (-130)/(-6). Which is smaller: n or r?
r
Suppose 0 = 4*v - 4, 2*c + 2*v - 8 = 2. Suppose c = 5*h - 3*h. Suppose -h*m - 40 = 3*m. Is m at most as big as -8?
True
Suppose 0 = 2*k + 2*k + 24. Suppose 10*c - 15*c + 15 = -5*y, -2*c - y - 6 = 0. Let j be ((-14)/20)/c*k. Is -5 at most j?
True
Let s = -0.6 + -22.4. Let v = s - -23.31. Let y = v + -0.21. Is 12 greater than y?
True
Let k = 7522 - 150409/20. Let r = -1/20 - k. Is r at most as big as -1?
True
Suppose -8*q = -5*q - 21. Let u = q - -3. Is 9 at least u?
False
Let n = -580/11 + 37733/715. Let j = 0 - 1. Which is smaller: j or n?
j
Suppose 2*m = -4*x - 52, -66 = -m + 4*m + 2*x. Are m and -19 non-equal?
True
Let k = 31 + -20. Let y = 9 - k. Suppose -5*b = -3 - 2. Is b at most as big as y?
False
Suppose 5*n - l = 0, 0 = 3*n + 3*l + 14 + 4. Let z be (-4)/(-4) + n + 7. Is 6 greater than z?
False
Let l be (14/(-10))/(5/(-25)). Let s be (-2)/3 + 1/(-3). Let t be (2/s)/(10/(-15)). Is t < l?
True
Suppose 0*w = -2*w + 2. Let s = 40 + -45. Let c be ((-30)/2)/s*1. Do c and w have the same value?
False
Let j = 26.931 + -27. Let d = j + -0.131. Which is bigger: d or -2?
d
Suppose -4*h + 5*c = -92, 5*c - 9 = 3*h - 78. Is 2 greater than h?
False
Let u(i) = i**2 - 6*i + 7. Let n be u(6). Suppose -2 = -3*c + n. Suppose 0 = c*y - 2*x - 40, y + 5*x + 15 = -0*x. Which is smaller: y or 11?
y
Let o(g) = -g**2 - 10*g - 12. Let z be o(-7). Which is bigger: z or 60/7?
z
Suppose 5*f - 8 = -23. Let l be f/(-2) + (-153)/90. Suppose 0 = -4*q - 4 - 8. Which is bigger: l or q?
l
Suppose 386 = -2*t + 5*p, -2*t + 2*p - 386 = p. Is t at most as big as -1/4?
True
Let s be 2 - 4 - 2/1. Suppose 0 = 35*o + 89 + 51. Is s at most as big as o?
True
Let a be -9 + (-1358)/(-175) + 1. Is a >= -1?
True
Let i be ((-30)/(-18))/(267/(-27)). Which is smaller: i or 1?
i
Suppose -7*j + 6*j = 3*j. Which is greater: 2/391 or j?
2/391
Let a be 30/(-12)*12/5*-1. Let p be 4/110*(a + -1). Are 3 and p equal?
False
Let a(b) = 0*b**2 - 2*b**2 - 8*b + b**2 + 4. Let f be a(-9). Suppose -23 = -7*s - 44. Which is smaller: f or s?
f
Let n be 4 + 0 + (-2 + 1 - 3). Suppose n = s - 2. Is s at least as big as 0?
True
Suppose 5*m - 2307 = 2*m. Suppose 3*l + m = -2549. Let v be ((-7)/l)/((-1)/(-4)). Is 1 != v?
True
Let f be 215/(-140) + 4 - (-2)/8. Let n = 114 + -110. Which is greater: n or f?
n
Let u be (3 + -2)/((-3)/(-12)). Suppose 2*m - u - 6 = 0. Which is smaller: m or 9/2?
9/2
Let y = -16 + 17. Suppose 5*q - 16 = q. Suppose n + 9 = 3*r + 2*n, q*n - 10 = r. Are r and y unequal?
True
Suppose 5*b - 3*b = 6. Let y be b/(432/(-28))*2. Is y at least as big as 0?
False
Let h(r) = -105*r + 1110. Let f be h(10). Which is smaller: f or 15?
15
Let b = -220864297/26248975 - -15159/1825. Let h = b + 2/757. Suppose 5*n = -1 - 4. Is h >= n?
True
Let w(u) = 3*u**2 + u + 2. Let q be w(4). Suppose 4*f - 220 = l, -33*l + 31*l - 165 = -3*f.