n + -0.06. Is u equal to 6?
False
Let f = -6.7 - -12.7. Let i be 2*(-3 + (-34)/(-11)). Is i greater than f?
False
Let x = 37.968 - -0.032. Let k = 38 - x. Is 6 <= k?
False
Let d be 470/(-6)*(-15)/25. Is d greater than or equal to 47?
True
Suppose 2*x - 7 = -0*x - f, 0 = -5*x + 3*f + 1. Suppose i = 5*c - 120, x*c = -0*c + 4*i + 30. Let k = c + -22. Is -1 > k?
False
Let w = -121/168 + 3/56. Let r = 73 - 102. Let v = -28.98 - r. Is w at most as big as v?
True
Let b = -84 - -84. Suppose -2*y + 5 = -5*d - 7*y, b = 4*d + 2*y + 4. Is d > -1?
False
Let u(o) = -o + 11 - 12 + 22*o**3 - o**2 - 76*o**3. Let j be u(-1). Is j at most 54?
True
Let v be 4*(-3)/(-24)*(30 + 2). Suppose v*q = 13*q - 48. Which is greater: -18 or q?
q
Let o = 287 - 288. Which is bigger: 2/5 or o?
2/5
Let g be (-36)/80 + 1/(-10)*-4. Is -1 > g?
False
Suppose w + t = -2*t + 12, 3*t - 12 = 3*w. Suppose -2*f + 2*u + 4 = w, u + 26 = 4*f + 6. Is f at most 7?
True
Suppose o + 11*s - 15*s = 22, 0 = 3*o + 3*s + 9. Suppose -o*i - 16 = -18. Is i equal to -55?
False
Suppose -4*z - 3*m + 59 = -46, 3*z - m - 95 = 0. Are z and 1 equal?
False
Suppose -4*u + 119 = 3*a, u = 3*u - 4*a - 32. Let g = u + -29. Is -3 less than g?
False
Suppose -3*s + 1649 = -37. Let a be s/566 - (-9)/(-9). Is a < 0?
True
Let u be ((-2 + 0)/(-6))/(118/(-3)). Let l = u + 61/236. Which is greater: -27/5 or l?
l
Suppose 0 = -2*i + 1 + 7. Let y = i + -5. Let l be -9*18/135 + 49/45. Is l at most y?
False
Let b = -332 - -329. Let t be 0 - (3 + -2)*3. Is t > b?
False
Let v = 29 + -12. Let o(b) = -b**2 - 9*b + 1. Let d(s) = 3*s**2 + 27*s - 3. Let t(y) = v*o(y) + 6*d(y). Let a be t(-9). Which is smaller: a or -4/13?
a
Suppose -5*p = -n + 208, 0*p - 2*n = 3*p + 117. Let o = -24 - p. Is o equal to 16?
False
Let p = -42 - -65. Let f = 26.12 - p. Let x = f + -0.12. Which is greater: 4/7 or x?
x
Let p = -149/10439 + -1/73. Do p and 0 have the same value?
False
Suppose -8*n + 45 = -3*n. Let q be 6 - 2 - 33/n. Which is smaller: q or 1/2?
q
Let h(k) = -k**3 + 3*k**2 + 4*k. Let z be h(4). Suppose 3*f + 5*b + 2220 = z, 0*f + 2*f + 2*b = -1476. Let n be (-1)/(-4) - f/(-540). Is -2 greater than n?
False
Let x be 174/(-54) - 6/(-27). Do -28/17 and x have the same value?
False
Suppose -5*k = -1 + 6. Let m = k + 6. Suppose 3*d + 0 = -5*z + 7, -d + 9 = m*z. Which is bigger: d or -8/5?
d
Let s = -561 - -8413/15. Let g be (-6)/(-9)*3/5. Is s less than g?
True
Let r be 475/15 + 1/(2/4). Let a = -32 + r. Suppose -f + 0*l - 4*l - 10 = 0, f = -3*l - 7. Which is bigger: f or a?
f
Suppose 32*d + 5 = 31*d. Let k be (-7)/28 - d/(-4)*-9. Which is bigger: k or 4?
k
Let c = -5 + 9. Suppose p - 45 = c*p. Do p and -15 have the same value?
True
Let z be (-12)/189*618/(-4). Let m be (-6)/(-9) + 1068/126. Let a = z - m. Which is smaller: 4 or a?
a
Let j be -4 - -3 - (-1 + 1). Let n be -21 + 1 + 3 + j. Let x(y) = 4*y + 7. Let a be x(-6). Which is smaller: a or n?
n
Let a = -64/27 + 1487/540. Which is greater: 0 or a?
a
Let z be 2*(3 - (-30)/(-12)). Which is smaller: z or 25?
z
Let u = -1277 + 1068. Which is greater: u or 3?
3
Let j be (2 - (-70)/4)*(-24)/(-18). Suppose 2*s = -3*x - 0 - 7, 5*s = x - j. Is s greater than or equal to -23/4?
True
Let l = -0.18 + -10.92. Let p = 11 + l. Is p < -0.04?
True
Let m be (-2 + -6 + 2)*3. Let l be (-20)/m*459/45. Let p = l - 9. Is 2 at most p?
True
Let y = -232/7 + 65/2. Is y bigger than -2?
True
Suppose 3*i = 3*l - 15, 6*l = 3*l + 15. Let m(d) = -2*d + 63. Let k be m(i). Is 64 greater than or equal to k?
True
Let u = -178 + 177. Let y = -13 - -24. Let r = y + u. Is r at most -1?
False
Suppose 61*o - 42*o - 2641 = 0. Which is greater: 141 or o?
141
Let d = -9 - -13. Suppose -88 = -d*h + 3*f, 4*f = 2*h - 4*h + 22. Suppose 16 = h*i - 18*i. Which is smaller: i or 15?
15
Let m = 133 - 6515/49. Let z(v) = -v - 1. Let x be z(-4). Suppose 0*f = x*f. Which is bigger: f or m?
m
Let d = 3 - 55. Let z = 65 - 64. Which is greater: d or z?
z
Suppose 69 = 2*f + 3*j + 2, 0 = -5*f + 3*j + 199. Suppose o = 1 - f. Which is smaller: o or -39?
-39
Let r = -324 + 323.962. Which is bigger: r or 4?
4
Let i(u) = -u**2 + 2*u + 12. Let k be i(8). Let w = k - -31. Is w equal to -9/2?
False
Let a = -10 - -13. Suppose -2*c = a*c + 65. Let j = -11 - c. Which is bigger: 1 or j?
j
Suppose 2*r + n - 112 = -3*r, -2*r + 49 = -n. Suppose 2*a = 5*i - 19, 4*i = -a - 0*a + r. Suppose 0 = 3*v - 15 + a, 0 = -4*b - 4*v + 4. Does b = -7/3?
False
Let g be (-14)/18 + 22/(-99). Let q = 356 + -354. Which is smaller: q or g?
g
Let v(n) = -5*n - 24. Let m(u) = 6*u + 25. Let i(a) = -3*m(a) - 4*v(a). Let r = -25 - -15. Let q be i(r). Which is smaller: q or 2/29?
2/29
Let p(h) = 2*h**2 + 2*h - 9. Let r be p(3). Suppose 0*g + r = 5*g. Suppose -7 = g*b - 4. Is b bigger than -3?
True
Let z = 28.04 + -0.04. Let m = 27.94 - z. Let p = 2.1 + -2. Which is bigger: m or p?
p
Suppose -12 = -v - 0*v. Let c be 1433/2964 + (-3)/v. Let n = -5/39 + c. Which is smaller: n or 1?
n
Let p = 64 - 52. Let u(r) = -r**3 - 4*r**2 + r + 4. Let m be u(-4). Suppose m - p = -6*d. Is d < 4?
True
Suppose -3*u = -j + 1, -2 - 3 = -5*j + u. Let w be (-4)/6 - (-4)/8. Let b = w - 1/6. Is j less than b?
False
Suppose 0 = -p - 6 + 17. Suppose -p = -q + 2*w, 5*q + 0*w - 20 = 3*w. Is 2/53 smaller than q?
True
Let l = 2 - 4. Let a = -2 - -7. Suppose a*g - 54 = -94. Are g and l unequal?
True
Let x be (0 - 14/6)/(48/(-864)). Are x and 169/4 equal?
False
Let n = 5.78 - 15.78. Let s = -0.1 - 0. Which is bigger: s or n?
s
Let h = -953 - -56229/59. Is 1 equal to h?
False
Let m(a) = -a + 10. Let t be m(0). Suppose 0 = -n + s + 4 - t, -2*s + 8 = 2*n. Is n >= 3/50?
False
Suppose 4*d = 19 - 3. Let f(o) = o**2 - 15*o - 13. Let u be (-5)/(20/(-72)) - 2. Let y be f(u). Is y at least as big as d?
False
Let g be (-10)/12 - 4/(-12). Suppose 86 = 5*f + w - 244, f - w - 60 = 0. Let k = 323/5 - f. Which is bigger: k or g?
k
Suppose -3*m + m = 8. Let l(f) = -5*f - 8. Let x be l(m). Suppose 3*w - 26 = -4*n, -5*w + 5*n - 3 = x. Does w = 0?
False
Let g = -135 - -136. Let t = 52387/12696 + -2/1587. Let f = -545/136 + t. Which is smaller: f or g?
f
Let g = 138 + -176.5. Let j = g + 34. Let x = -3.5 - j. Is x less than or equal to -5/2?
False
Let t = 179289/31 - 5783. Which is bigger: t or 0?
t
Let o(f) = -f + 105. Let r be o(0). Let z be (-2)/4 - r/28. Let q = 69/20 + z. Which is smaller: q or 0?
q
Let s(y) be the second derivative of y**4/12 + y**3/2 - y**2/2 - 4*y. Let m be s(-4). Let i = m - 12. Which is smaller: -8 or i?
i
Let r = 39.6 + -0.6. Let k = -36 + r. Is k at most as big as -0.07?
False
Let r be 14/(-10) - 4/(-10). Suppose -5*m - 7 = 388. Let i = -317/4 - m. Do i and r have different values?
True
Let c(a) = 3*a**3 - 14*a**2 - 16*a + 13. Let h(q) = -q**3 + q - 1. Let x(r) = -c(r) - 4*h(r). Let j be x(-13). Is 1 smaller than j?
True
Let w = 9 + -6. Suppose 0 = -w*k + 3*n + 6, 0 = 3*k - 5*n + 4 - 10. Do 3 and k have the same value?
False
Suppose -3*o = b + 8, 4*o - 23 + 47 = -4*b. Is 2/5 at most as big as o?
False
Let t be (-8)/(3*(33/(-9) - -3)). Let a be (-4 - -3)*t + (3 - 0). Is -1/6 < a?
False
Let h = 13.607 + 1.393. Which is greater: 0.13 or h?
h
Suppose 2*s + 46 = 3*i, -5*i = -8 - 2. Suppose 2*z - 3*o = -29, -2*z + o + o - 32 = 0. Let b = z - s. Which is smaller: 3 or b?
b
Let b be 5/((-5)/2) + 15. Suppose 15 = 3*r - 3*m, 4*m + 20 = 12*r - 11*r. Is b less than or equal to r?
False
Let i(b) = b**3 - 3*b**2 + 2*b - 12. Let v be i(4). Let j be (-2)/(-14)*-4*(-6)/v. Let f = -6 - -3. Which is smaller: j or f?
f
Let a(n) = 2*n**2 - 4*n + 3. Let y be (4/6)/((-28)/(-42)). Let o be a(y). Is o equal to 1/25?
False
Let o be 1 - -1 - ((-23180)/(-650))/19. Which is smaller: o or 1?
o
Suppose -14 = -2*r + 4*r + 6*p, r - 4*p - 7 = 0. Let y be (-2)/(0 + -1 - 4). Which is bigger: y or r?
y
Let r(i) = i + 24. Let c be r(0). Let n(s) = 14*s + 61. Let d be n(-4). Suppose -2*o = -d*o - c. Is -8 less than o?
False
Let g = -0.2 - 2.8. Let s = g - 1. Let y = 10/37 + 4/259. Does y = s?
False
Let f(m) = -3*m - 11. Let o be f(-4). Let k be (-11 - -7)/(-1 - 2). Is k at most as big as o?
False
Let c be ((-1)/(-28))/(2/7). Let y = 1 + 0. Let h = y + -1. Is c < h?
False
Let h = 106 + -1377/13. Which is smaller: h or 1?
h
Let h = 161 - 164. Do h and -5 