905 = -4*f - 4*d + 887. Are f and 1450 non-equal?
True
Let g(d) = 102*d - 3. Suppose 5*k = 8*k - v + 6, 2*v = -3*k - 6. Let x be g(k). Is -207 >= x?
True
Let w = -1259 + 1258.604. Is w equal to -0.2?
False
Let h = -3189 - -3152.5. Let q = -0.41 + 36.41. Let m = q + h. Do -7 and m have the same value?
False
Suppose 2*u - 4*y + 7020 = 6*u, u + 5*y = 1739. Which is smaller: 1758 or u?
1758
Let t = 0.27 - -4.53. Let o = 1.2 + t. Let m = -3 + o. Do 1/3 and m have the same value?
False
Let y(a) = 55*a + 220. Let q be y(-16). Let o = -659 - q. Is -1/51 greater than or equal to o?
False
Let k(w) = -w**3 - 30*w**2 - 16*w + 38. Let a be k(-31). Let j = 7426/5 - a. Which is smaller: j or -10?
-10
Let n = -0.81 - 0.19. Let s be 5709/110 + -11 + 1/10. Is n smaller than s?
True
Let o = -0.23163 - -0.13163. Is o at least 1842?
False
Let l be ((-575)/(-10) + (-15)/(-6))/(437/38). Which is greater: l or 4?
l
Let b(o) be the third derivative of 12*o**2 + 0*o**4 + 0*o + 0 + 7/3*o**3 - 1/60*o**5. Let d be b(-5). Is d greater than -13?
True
Let g be ((-6)/(-108))/(-5 - (-486)/24). Which is smaller: -1/7 or g?
-1/7
Let a = 2750 + -2761. Let w = -70.85 + 71. Which is bigger: a or w?
w
Let z = 949 + -955.583. Let q = z - -0.083. Let g = q + 6.3. Is -8 smaller than g?
True
Let l = -20 + 18. Let o = 21/11 + -223/88. Is o at least l?
True
Let i = -43689 - -43689.16. Which is greater: -1/51 or i?
i
Let g(q) = -q**3 - 11*q**2 - q - 5. Let o be g(-11). Let i(z) = 3*z**2 - 6*z - 5. Let u be i(o). Let n = 42 - u. Is n < -25?
False
Let y = -2612 - -2611. Is -1 greater than y?
False
Let l be -3 - -3 - (-3 - -5). Let c = 9 + -19. Let y be (12/c)/(13/65). Which is bigger: y or l?
l
Suppose -3*l + 96 = -3*z, z - 4*l + 32 = -6. Let s be (z/(-16))/(24/(-16)). Is s >= 16?
False
Let y(w) = 0*w + 2*w + 12 - 10*w. Let p be y(-3). Suppose 6*h + 26*h - 1120 = 0. Is p at most as big as h?
False
Suppose 0 = -828*p - 163059 - 480297. Which is smaller: -771 or p?
p
Suppose 0 = 4*u + 2*x + 1634, -2*u + 5*x - 8 = 767. Is u != 3?
True
Let z(m) = -139*m - 816. Let k be z(-7). Which is smaller: 935/6 or k?
935/6
Let m(v) = -5*v - 24. Let n be m(-19). Let i = n - 77. Let d be (-90)/35*56/i. Is d >= 25?
False
Let l = -16/5 + 69/20. Let p = -4.7182 + 18.0182. Which is greater: l or p?
p
Let s = 193 + -127. Let x be (-3)/(2 - 102/s). Let u = -9 + 3. Is x bigger than u?
False
Let l = 60.414 + -60.627. Let q be (-4)/35 + 8/(-28). Which is bigger: q or l?
l
Let d = -1929 + 113838/59. Which is smaller: 0 or d?
0
Let q be (-14*(-9)/(-378))/((-2)/(-42)). Is -1996 != q?
True
Suppose -2*l = -6*l + 68. Suppose l*q = 8*q. Let t be 2 - (0 - (-159)/81). Are t and q non-equal?
True
Let g be (5 - -121)*(-7)/14. Let d be (-56)/(g/9) + -8. Which is smaller: -10/99 or d?
-10/99
Let j = 4456 - 13369/3. Are 13/99 and j equal?
False
Let s = -504 - -645. Let a = s - 143. Which is greater: a or 0.6?
0.6
Let q = 19 + -34. Let f = 0.28 - 12.28. Let s = q - f. Is s >= 5?
False
Suppose 5*r + 49 - 54 = 0. Let p = 4 + r. Let c be p/(-2)*8/(-76). Is 0 > c?
False
Let s = -50 + 55. Let f be 5/25*s - 18. Is f less than -0.3?
True
Suppose -u - 3*n = -0*n, -3*u - 2*n = 0. Let f = -86063 + 86066.6. Which is greater: f or u?
f
Suppose -12*l - 16 + 40 = 0. Suppose d - 2*f = 38, -f = -0*d + l*d - 66. Let p be 18/(-6) + d/12. Do -1 and p have the same value?
False
Let c = 19514/51 - 694/3. Do 152 and c have different values?
True
Suppose -1235 = -4*a - 395. Let z = a + -103. Is 2 at least as big as z?
False
Let q = -824.9 + 824. Is q less than -20.8?
False
Let l(k) = -4*k - 9. Let o be l(1). Let u = -4 + 5. Let m(f) = -12*f**3 - 2*f + 1. Let v be m(u). Is v < o?
False
Let x = -208 + 193. Let l be (-13)/((-273)/x) - 4/14. Let c be ((-2)/3)/(1/2). Which is smaller: c or l?
c
Let r = 5075 - 5103. Which is greater: -113/4 or r?
r
Let j be (-127)/1397*60/(-27). Which is smaller: j or 0?
0
Let k(s) = -8*s + 67. Let u be k(8). Let p = u - 3. Which is smaller: 6 or p?
p
Let o = 2166.5 + 316.5. Is -4/5 > o?
False
Let p(a) = -67*a + 21 + 30*a + 35*a. Let b be p(9). Which is smaller: b or 8?
b
Suppose -14 - 1 = -5*r. Let n = 3812 - 3704. Suppose r*w - 5*w = -4*z - 146, -3*z + 3*w = n. Which is greater: z or -35?
-35
Let r(d) = 1410*d + 9366. Let b be r(-7). Are -527 and b non-equal?
True
Let o = 12758 - 12872. Is -111 bigger than o?
True
Let q = -2.2019 + 2.4019. Let i = -338 + 237. Which is smaller: i or q?
i
Let i be ((-2)/(-36))/((-110)/2550*5). Is i equal to -1?
False
Let p = 1264521/269516 - 1590/923. Let k = 2929 + -213801/73. Let u = p - k. Does 3 = u?
False
Let r = -2653/5 + 533. Let k(m) = -3*m**3 - 3*m**2 - 3*m. Let n be k(-1). Which is greater: n or r?
n
Let f(v) = v**3 + 26*v**2 + 49*v + 22. Let k be f(-24). Let b be ((-66)/18 + k)*-36. Is b at most 204?
True
Let r be ((-4)/22)/(-7 - -3). Let n = -194 + 194. Suppose n = -8*v + 6 - 14. Which is bigger: v or r?
r
Suppose 14 = u + 3*v + 3, -15 = -u - 4*v. Are u and -24/899 nonequal?
True
Let d(c) = c**3 - 15*c**2 - 32*c - 2. Let x be d(16). Which is smaller: x or -248?
x
Let f = -0.124 - 0.023. Let h = 82.047 - 82. Let s = h + f. Which is smaller: s or -0.02?
s
Suppose 0 = -c - 310 + 1. Let n = -2153/7 - c. Is -6/5 > n?
False
Let y = -118939/95 - -1252. Let h(a) = a**3 + 18*a**2 + 54*a - 28. Let w(l) = -10*l**3 - 5*l**2 - 2*l + 3. Let z be w(1). Let p be h(z). Is y != p?
True
Let j(q) = 13*q + 63. Let w be j(-5). Suppose -5*m - 20 = 0, 0 = b + 2*b + 4*m - 62. Which is smaller: b or w?
w
Suppose 450*j - 6 = 444*j. Suppose 6*h = h + 2910. Let t = -12220/21 + h. Which is smaller: t or j?
t
Let c = -5120 - -5121. Which is smaller: c or 1534?
c
Suppose 32*f = 3130 + 4102. Is -0.3 smaller than f?
True
Suppose h = -2*h + 5*v - 107, v - 103 = 3*h. Let b = 38 + h. Suppose 0 = t - b*p - p + 9, -4*t + 40 = -p. Which is smaller: 9 or t?
9
Let u(g) = g**3 + 6*g**2 + 3*g + 1. Let n be u(-2). Suppose 0 = -n*x + 8 + 47. Is 5 bigger than x?
False
Let m(v) = 15*v - 10. Let d be m(2). Suppose 2*f - f - 4*x = d, 24 = f - 5*x. Let k be f + 1 + -3 - 14/6. Which is bigger: k or -1/8?
-1/8
Let a be 150 + -94 - (4 - 2 - 2). Suppose 4*z - 60*z + a = 0. Are z and 11/20 equal?
False
Let k(m) = 22 + 67 - 16*m + 14*m + 2. Let j be k(45). Is j less than 19/28?
False
Suppose 3*o + t = 5*t + 43, -4*t - 56 = -4*o. Let x be (-31)/4 - (7 - 2). Let y = o + x. Is y at most as big as 0?
False
Suppose 3*h = 0, -z - 4*h - h = 33. Let g(r) = 2. Let y(i) = i + 27. Let b(t) = 4*g(t) - y(t). Let a be b(13). Is z <= a?
True
Suppose 0 = -20*p - 42 - 18. Let c(l) = 7*l**3 - l**2 + 1. Let k be c(1). Suppose -k*o - 2*z = -3*o + 24, 3*z = -5*o - 29. Is p greater than o?
True
Let o be (-6851)/49231 - 2/(-14). Let i = o + -1120/10279. Suppose 0*w - 5*w + 5 = 0. Which is greater: i or w?
w
Let g be ((-4)/(-10))/((-3)/((-75)/(-10))). Let a be (21 - 10)/(0 + g). Let h = -18 + 19. Is a greater than h?
False
Suppose 1847 + 265 = 24*a. Which is greater: 97 or a?
97
Suppose 0 = -2*i - 5*c - 119, 5*c + 24 + 38 = -i. Let x be 4/(32/(-6))*76. Are i and x unequal?
False
Let q(a) = 11*a - 269. Let f be q(25). Let m(w) = 9*w - 33. Let o(y) = 28*y - 98. Let j(n) = 11*m(n) - 4*o(n). Let z be j(f). Is z < -49?
False
Let v(k) = -k - 11. Let l(j) = -j - 11. Let c(p) = 4*l(p) - 5*v(p). Let x be c(-11). Let f be x + 7 - (-24)/(-12). Is f at least as big as 5?
True
Let m = -42 - -44. Suppose -2*k - 9 = 2*h - 7*h, k - m*h = -5. Which is smaller: -5 or k?
k
Let t(q) = 25*q**2 + q - 1. Let r be t(3). Suppose -414*k + 67773 = -26619. Does r = k?
False
Suppose 2*j + 5977 = 3*y, -57*j = -53*j - 4*y + 11960. Which is smaller: -2995 or j?
-2995
Let w(r) = 2*r - 1. Let h(l) = 36*l**2 - 8*l - 7. Let f(i) = -h(i) - 4*w(i). Let t be f(-3). Is t > -314?
True
Let s be (-6)/(-10) + (-117)/45. Let d be (-2 + 1)/(s/12). Let x be ((-36)/(-60))/(2/((-8)/d)). Does -1 = x?
False
Let a = 205.86 - 205.76. Which is greater: a or -20536?
a
Let d = -5073.9 - -5345. Let x = d + -271. Which is bigger: -1.3 or x?
x
Let j be (-1 + 4971881/1332)/(190/(-6)). Let p = 36169/228 + j. Let m = 204/5 - p. Does 1 = m?
False
Suppose -5*m + 3*c + 14 = -4*m, -2*m - 2*c + 28 = 0. Suppose -m*h + 3*h - 11 = 0. Which is bigger: 1/111 or h?
1/111
Let q = 143.4 - -2.6. Let a = 68 - q. Let c = -77.9 - a. W