et c = 1.9 + -4.4. Let x be 13/15 + 1/(-5). Are x and c non-equal?
True
Let r be 4/24*20 + 1/(-3). Suppose 5*h = 4*h + r*p - 96, 3*h = -3*p - 264. Is -91 at most h?
True
Suppose -6*p + b - 3 = -p, 5*p = -b - 7. Is p less than or equal to -3/14?
True
Let w = -1.24 + 1.1. Let r = -16.14 - w. Let f = 15.9 + r. Is f > 2/7?
False
Let c(y) = -53*y + 7. Let i be c(0). Are i and 97 unequal?
True
Let t be 3 - ((-1)/1 + (12 - 9)). Which is smaller: 3/242 or t?
3/242
Let s = 15 - 11. Let q be 4 + -13 - -7 - (-64)/36. Is q != s?
True
Let d = -182 + 187. Is d less than or equal to 5/13?
False
Let o = 55 + -55.3. Do o and -2.8 have different values?
True
Let p = 19 + -14. Suppose 4*d - 26 - 21 = -p*o, -5*o + 63 = -4*d. Which is smaller: o or -2/9?
-2/9
Let a = 318 + -324. Which is greater: -50/7 or a?
a
Let p = 8 - 284. Do -278 and p have different values?
True
Suppose 0 = -4*z - 0*z - 24. Let v be 1*2*-5*z/(-30). Is -4/7 at least v?
True
Suppose -i + 2 + 1 = 0. Suppose -s - 1 = -i. Suppose 0 = -u - s*u - 33. Is -12 bigger than u?
False
Let t = -52 + 55. Suppose -4*f - 4*y = 12, -2*y = -t*f + 6*f + 5. Is f at least 1/3?
True
Let t(z) = -z**3 + 19*z**2 - 17*z - 17. Let b be t(18). Let f be 20/80 - b/2. Let j = -0.83 - -0.13. Which is smaller: f or j?
j
Let r(s) = s**2 - 7*s - 8. Let v be r(8). Let m(l) = l**2 + 5*l + 7. Let q be m(-4). Let a be -8*(-2)/(-60)*q. Is a smaller than v?
True
Let m(s) = 12 + 15 - s - 28. Let c be m(-5). Which is smaller: 7 or c?
c
Let s(u) = -2*u**2 - 11*u - 28. Let l be s(-4). Are l and -44/3 unequal?
True
Let f = -1.97 - 0.03. Suppose 149*m - 18 = v + 152*m, 0 = -2*m + 2. Which is bigger: f or v?
f
Suppose 0 = 4*o - 8, 6 = -33*n + 35*n - 2*o. Which is greater: n or -42/13?
n
Let x = -305 + 219. Which is smaller: x or -89?
-89
Let s = -8.2 - -8.83. Let z = s + -0.25. Let x = z - 0.18. Which is bigger: x or -4?
x
Let w = -8 + 3. Which is greater: w or -102/19?
w
Let m = -8 - -8. Suppose -5*h - h + 12 = m. Suppose h*t = t. Which is greater: t or 6/7?
6/7
Suppose 0 = 9*l + 571 + 266. Let w = -184 - l. Is w less than or equal to -91?
True
Suppose 2*s = 5*b, 2*s = 8*b - 9*b. Is 20/87 less than or equal to b?
False
Let g(s) = -2*s**3 - 3*s**2 - 4*s - 6. Let q be g(-2). Suppose q*k - k + 25 = 0. Which is smaller: -7 or k?
-7
Let b be (-2)/(-2 - (-3)/2). Suppose -10 = -5*c + b*n, -c = -4*n + 3*n - 3. Let x be c/((0 + 2)*-17). Which is smaller: 1 or x?
x
Suppose 9*t + 26 = 35. Is t less than or equal to -3/206?
False
Let f be 4/6*2142/(-84). Suppose 4*y = -y - 95. Which is smaller: y or f?
y
Let t = -664717/69 - -9635. Let a = -4/3 + t. Which is smaller: a or 1?
a
Let f = 1061 + -83813/79. Let t = 23/1343 - f. Do -1 and t have the same value?
False
Let z(d) = -d**2 + 4*d + 12. Let g(s) = s**2 + s - 7. Let r be g(3). Let l be z(r). Suppose -q = 6*q - l. Are 2/13 and q non-equal?
True
Let v = -107 - -632. Suppose 21*s + v = 26*s. Which is bigger: 104 or s?
s
Let m = -9.6 - -60.6. Let u = -58 + m. Which is smaller: 0 or u?
u
Let l = 119/1104 + -1/48. Suppose 2*w - 3*w + 5 = 0. Suppose 0 = 5*b - 5*u + 2*u + 11, -b - 3*u = -w. Do b and l have the same value?
False
Let b(c) = 3*c**2 - 12*c + 6. Let k be b(3). Is 1 > k?
True
Let b be (0/5)/(-1 + -1 + 1). Is b > 3/62?
False
Suppose 4*i - 6*z + 13 = -3*z, -2*z + 6 = -2*i. Let l(g) = -g**3 - 8*g**2 + g + 5. Let c be l(-8). Are i and c unequal?
True
Suppose -2 = i, 0 = -6*y + 5*y + 5*i - 983. Is -993 > y?
False
Let g = 11 + -8. Suppose 0 = -2*c + 32 - 80. Let z be (16/c)/(17/g). Which is smaller: z or 0?
z
Let j = -1180/9 + 162. Is j bigger than -0.1?
True
Let s = -63.4 - -53. Let o = 1.4 + s. Let i(c) = c + 1. Let y be i(-1). Which is smaller: y or o?
o
Suppose -27 = 4*u + u + 2*w, 5*u = -w - 26. Let g be (-14)/21 + (-4)/(-6). Suppose -4*m - 22 - 2 = g. Is u greater than m?
True
Let o = 180 - 176. Which is smaller: o or 37/9?
o
Let p(r) = 0 - 8*r + r**2 + 12 + r. Let w be p(5). Suppose y + w*y = -4*b - 36, -5*y - 2*b - 46 = 0. Is y >= 1?
False
Let r = 27 + -22. Let u = r + -5. Is 2/37 less than u?
False
Let r = -117.018 - -0.018. Let y = -116.9 - r. Is y less than or equal to -34?
False
Let o = 6.8 - -5.2. Let y = -5.97 - 0.03. Let r = -6 - y. Is o greater than or equal to r?
True
Let k = -3/16 + 67/272. Let j = -21/68 + k. Are 2 and j equal?
False
Let d be 141/189*(-632 + -1). Let x = 472 + d. Let f = -2/21 + x. Are f and 8 non-equal?
True
Let d(x) = -x**3 + 8*x**2 + 7*x - 3. Let j be d(8). Let p = -104 + 158. Which is smaller: j or p?
j
Let w be (-2)/(-5) - ((-3)/5 - 1). Let t be w*(172/160 - 1). Are t and 1/3 nonequal?
True
Let i be (6 - 3) + 2 + -3. Suppose w - 33 = -4*d, 5*w - 4*w - 3*d - 19 = 0. Suppose w = 4*s - 5*j, 0 = 4*s - 4*j - 18 - i. Which is greater: 2 or s?
2
Let a be 0/(9/((-36)/(-8))). Suppose 3 = 2*d - 3*q + 30, a = 5*d + q + 42. Let w be 4/(-6) - 15/d. Is -4/13 less than w?
True
Let t = 45 - 64. Let p = 845 + -865. Let f = t - p. Is 2/29 less than f?
True
Suppose 2*y - a = -2*y - 29, -3*y - 13 = a. Let s = -2 - y. Suppose -3*h = 4*r + 5, -h - r = -0*r. Which is smaller: s or h?
s
Suppose 2*t + 5 - 85 = 0. Let d = t + -39. Which is smaller: 10 or d?
d
Let g = -30.02 + 30.22. Is 132.8 at most g?
False
Suppose k + 4 = -2*h, -15*k + 12*k = 4*h + 10. Are 1/154 and h unequal?
True
Let x = 5/7 + -3/14. Let s = -1 - -1.15. Let i = 1.85 + s. Is i greater than or equal to x?
True
Suppose 4*l = 4*m - 792, -171 = -3*m + l + 425. Suppose -7*j - 60 = m. Is j greater than -37?
False
Let y be (-252)/540 + 3/5. Is y not equal to 1?
True
Let u = -758/973 - -9/139. Is u < -1?
False
Let a(d) = -7*d - 2. Let i be a(-4). Let u = i - 10. Do u and 17 have different values?
True
Let s(k) = -2*k**2 + 5*k - 2. Let b(h) = -h + 8. Let l be b(4). Let z be s(l). Let v be ((-87)/z)/3 - 2. Which is bigger: v or -1?
v
Let y be (-9)/(-2)*(-140)/(-14). Let n be ((-8)/(-18))/(y/(-27)). Which is smaller: n or 1?
n
Suppose 4*x = -4*d + 32, d - 5*x = -2 + 4. Let z = -1.3 - -1.31. Does z = d?
False
Let a be (34/16)/((-1)/(-4)). Let t(f) = f**3 + 11*f**2 + f + 25. Let y be t(-11). Suppose -3*u = 9, -2*h + 0 = 2*u - y. Which is smaller: a or h?
a
Let s be (48/18)/(-4)*-5. Is s >= 1?
True
Suppose -21 = -13*n + 96. Suppose -10 = -2*i - 4*h, -2*i + 5*i - n = -3*h. Which is smaller: -35 or i?
-35
Let f = -5083/12796 + 11/28. Which is smaller: 1 or f?
f
Let i(k) = k**2 - k + 6. Let l be i(3). Let r(p) be the second derivative of p**3/6 + 5*p**2/2 + 4*p. Let f be r(l). Is f equal to 17?
True
Let b = -1 + 0. Let c be -10*(1 + 69/(-15)). Suppose 3*i + i - c = 0. Is i < b?
False
Let x = -1 - 7. Let n = 9 + x. Let k be 8/7*n/4. Is 0 bigger than k?
False
Suppose 928 = -19*k + 27*k. Is 229/2 less than or equal to k?
True
Suppose -124 = -2*q + 172. Which is smaller: 143 or q?
143
Let k be ((-4)/(-10))/(2/(-10)). Let u be ((-161)/(-42) + -5)*(3 + -1 + -1). Is u less than k?
False
Let r = -0.104 + -57.896. Is 0.2 smaller than r?
False
Let f be (-1)/((165/(-81) + 2)/1). Let i = -19 + f. Is 6 greater than i?
False
Let q be (-5 - (4 + -8))/(5 + -4). Is -3/32 at most q?
False
Let m(t) = -6*t**2 + 5*t**2 - 19*t + 2*t**2 - 9. Let s be m(19). Let p be -18*(-2)/(-4)*1. Is p less than s?
False
Let p = -24.543 - -0.043. Let i = p - -16.5. Let r be 12/5 + -1 + -1. Is i bigger than r?
False
Suppose -s - 2*o = 1, 5*o = -2*s + 4*o - 2. Let w(i) = 5*i + 30. Let j be w(-6). Is s less than or equal to j?
True
Let t = -445 - -7141/16. Which is bigger: t or 1?
t
Let b be (-32)/80 - 82/(-5). Let j be 28/b - (-2)/8. Suppose -4*d = -j*m + 8, 5 = 2*m + 3*d + 4. Is m equal to 1?
False
Let x = -2117 - -2028. Which is smaller: -94 or x?
-94
Let r be ((-3)/2)/((-63)/(-5628)). Which is smaller: -136 or r?
-136
Let p = -5451073 + 299820787/55. Let g = 1077/5 - p. Which is smaller: 0 or g?
0
Let g(f) = -21*f**3 + f**2 - f + 1. Let j be g(1). Let x be (j/12)/((-2)/6). Suppose x - 2 = 3*z. Is z >= 3/13?
True
Suppose 12*i - 10*i + 26 = -5*p, -i = -2*p - 5. Are 79 and i unequal?
True
Let k = 325 - 129027/397. Is -1 bigger than k?
False
Let s = 3.2 + -3. Let m = -4/28771 - 2646112/5898055. Let u = 2/41 + m. Is s at least as big as u?
True
Suppose 0 = -4*d + 9*d - 5*h, 0 = 3*d + 3*h. Let i(b) = b - 3. Suppose 0*v - 16 = -4*v. Let g be i(v). Which is smaller: d or g?