f(d) + z(d). Let r be m(16). Is h at least as big as r?
True
Let l = -624 + 622. Let o(i) = -27*i - 41. Let w be o(l). Which is smaller: 5 or w?
5
Suppose 105 = 5*j - q, -3*j + 55 = -0*j + q. Let c be -4 + (-11)/(11/j). Let w = c - -49. Are 23 and w non-equal?
True
Suppose 28*g + 4*k = 27*g + 109, 4*k = -2*g + 202. Let j = -109 + g. Which is greater: j or -13?
-13
Let o = 69 - 67. Let h be 5*(o/10 - (3 + -3)). Which is smaller: h or 12/77?
12/77
Let a = 176.1 - 307.2. Let s = -131 - a. Which is smaller: s or 42?
s
Suppose -3*g + 0 - 19 = -5*m, -2*m - 3*g = 5. Suppose 0 = -5*v + m - 7. Let t = -7944/11 - -722. Which is smaller: t or v?
v
Let p = 0.2548 - 1.2548. Which is smaller: -5.049 or p?
-5.049
Let m = 96/473 - -82/4257. Let c be 9/(-7) + 0 - -1. Which is smaller: c or m?
c
Let h = -14402 - -15033. Are h and 635 equal?
False
Suppose -5*y - 56353 = -4*l, 4*y + 13142 = 4*l - 31946. Is y > -11264?
False
Let x be 40/28*(-21 + 28). Let b be (28/7)/4 + (-8)/x. Is -1/4 at most b?
True
Suppose -5 = 15*b - 20*b + 5*i, 3*b - i = -1. Let f be 4/(-22) + (-134)/(-11). Let h = 9 - f. Which is smaller: b or h?
h
Let m be -2 + (8 - 3 - 3). Let s be 3 + m - (-718)/(-238). Which is smaller: s or 1?
s
Suppose 20 = r + 3*r + 3*h, 2*h = 2*r - 24. Let t be (20/r + -1)*45. Let j = t + -66. Is 1 != j?
True
Let m = -104 - -113. Let d(x) = x**3 - 10*x**2 + 8*x + 12. Let j be d(m). Is -26 at least j?
False
Let g = 136 - 209. Let l = g - -60. Is l less than -41/3?
False
Let z = 3474 + -3474.6. Are 263 and z non-equal?
True
Suppose 0 = -5*f - 4*r - 2656 + 21145, -2*r = 5*f - 18477. Is 3693 < f?
False
Suppose -15*l - 4*t - 14 = -18*l, -3*t = -2*l + 10. Suppose 4*z + 6*u - 4*u - 130 = 0, 90 = l*z - 4*u. Which is smaller: 42 or z?
z
Let k(m) be the first derivative of m**4/2 + 4*m**3/3 + m + 21. Let c be k(-4). Let v = c - -81. Is v smaller than 18?
False
Suppose -10330 = 21*g - 10351. Let w be (-6)/(-195)*4/(-8). Which is smaller: w or g?
w
Let m = -3 + -11. Let h be 117 - (14/49 + 18/m). Let f = -947/8 + h. Which is smaller: 0 or f?
f
Let z be 6 + 210/7074*-202. Is z at most as big as -1?
False
Let c be (432/120)/((-6)/(-20)). Suppose 2*f - 18 - 16 = 0. Suppose -f = -5*s - c. Is s greater than -1?
True
Let t be 55/30*-33*(-3)/24. Are 9 and t non-equal?
True
Let z = 11 + -9.4. Let s = 20 - 21.8. Let t = -2 - s. Which is smaller: z or t?
t
Let v = 351 - 344. Let x be 12/(-28) + -3 + 17/v. Suppose 0 = -2*j - j. Is x less than j?
True
Let z be 167/835*(-105)/(-13). Is z <= 1/4?
False
Suppose 18*u = 15*u - 132. Let v be 5*(u/20 + -1). Let b = 33 + v. Which is greater: 18 or b?
18
Suppose 54 = -v + 4*f, 5*v + 114 = -2*f - 68. Which is greater: v or -32?
-32
Suppose 0 = 2*c - 3*h - 123, 4*c - h + 201 = 7*c. Is -8 at most as big as c?
True
Suppose 3 = q - 3*x - 6, -4*q + 26 = -2*x. Let b = 28 - q. Let a be (-4)/18 - (-12797)/603. Does b = a?
False
Suppose 1101*n = 1062*n. Is 4/249 less than n?
False
Suppose 5*p - 29 = q - 2*q, -4*q = 4*p - 36. Let g(m) = 4 - 1746*m + 1745*m - 1. Let s be g(p). Is s less than 2/9?
True
Let b(k) = -99*k**2 - 786*k - 41. Let a be b(-8). Is a at least -74?
False
Suppose 0 = d - 5*i + 272, 7*i - 6*i = -4*d - 1088. Let s = 307 + d. Suppose 0*v + 3*v = -4*o + 90, 3*v = -3*o + 93. Which is smaller: s or v?
v
Let b = -1/17 - -241/3519. Let n = 629/828 - b. Let o = -440 + 442. Is o > n?
True
Let l be (-107)/19*-1 - (2 - -4). Let v = -229 - -230. Is v < l?
False
Suppose 186*c - 208*c + 69 + 547 = 0. Which is bigger: c or 86?
86
Let q = 8.49 - 8.6. Let n = 0.21 + q. Let t be 2 + 11/(-9) + -1. Which is greater: t or n?
n
Let a = 33364 - 33453. Are -83 and a unequal?
True
Suppose 21 = a + 6. Suppose -6*t + 15 = a. Is t smaller than 2/5?
True
Let g(m) = m**3 - 2*m**2 - 121*m - 11. Let h be g(-10). Is -15/194 less than h?
False
Suppose 45*i = 33*i - 12. Let b be 1*(-2 + 0 + i) + 3. Which is bigger: -37 or b?
b
Let u be -19 - -2 - (-272 - -150). Is -2.1 not equal to u?
True
Let l be ((-5)/(-1))/(-6 - 230/(-40)). Let w be (l/120)/((-4162)/(-4164) + -1). Which is bigger: -1 or w?
w
Suppose 0*c - 9 = 3*c. Let y = 71397 - 71426. Which is smaller: y or c?
y
Suppose -5*m + 11 = -4*q, m - 4 = 19*q - 20*q. Is 1/627 less than or equal to q?
True
Let d be -3 + -1 + (-13920)/(-3828). Which is greater: d or 154?
154
Let u be (-8)/160*-12 - 4672/(-5). Suppose -6*f + 55 = -u. Which is smaller: f or 166?
f
Suppose -2*c - 2*w + 4927 = -193, 4*w = 4*c - 10248. Is c less than 1?
False
Suppose 39*x = 36*x + 12. Suppose -x*q - 61 = -6*q - 5*r, 0 = -3*q - 2*r + 64. Suppose -2*b = 3*b - 90. Does q = b?
True
Let d = 0.3 + -0.2. Let k = -92.771 + 131.771. Is d less than or equal to k?
True
Suppose -12 = -15*c - 132. Let f be 3/(-12) + (-18)/c. Suppose -3*b + 9 = -f*h, 10 = 2*b - h + 4. Which is bigger: b or 5?
5
Let g = 13 - 7. Let f be (-131)/32 + (g - 2). Let w = -98.6 - -98.5. Is w != f?
True
Let f be (-4988)/20 - (-4)/10. Let j = f - -194. Which is greater: j or -57?
j
Let f(d) = -7*d**2 + 7*d + 4. Let p(z) = -12*z**2 + 13*z + 7. Let x(k) = -5*f(k) + 3*p(k). Let q be x(4). Do -2 and q have different values?
True
Suppose 2*m - 4*n - 23 + 7 = 0, 0 = -5*m + 2*n + 8. Suppose m = -65*v + 69*v. Let p = 0.11 - 1.41. Is p != v?
True
Suppose 0 = -2*f + 4*c + 1614, -19*c = -3*f - 14*c + 2418. Which is bigger: 0.2 or f?
f
Let b be ((-5984)/(-330))/((-2)/(-669)). Let n = -6046 + b. Which is smaller: 20 or n?
n
Let c(f) = f + 13. Let k be c(-11). Let u be -1 + k/(16/(-996)). Let s = 121 + u. Is 1 less than s?
False
Suppose -4*m + 1715 = 3*b, -b - 14*m = -15*m - 581. Is 575 < b?
True
Let r = -2279 - -2237. Is -409/10 >= r?
True
Let f be (9 - 5) + (-18)/27 + (-1734)/(-9). Is f < 197?
True
Let j(r) = -r**2 + 15*r - 13. Suppose 5*v = 9 + 1. Suppose -8 + 36 = v*h. Let y be j(h). Do -2/17 and y have the same value?
False
Let o = -4 + 4. Let i = -1545/14422 - -1006143087/1139338. Let h = -883 + i. Which is greater: o or h?
o
Suppose 5*r = 12*r + 77. Let g = 53 - 37. Let d = g + -15. Which is bigger: r or d?
d
Let r be (1/(-898))/(215/1505). Is -1 at most r?
True
Let p = 144 - 142. Let c = -73.4 + 74. Let b = c - -15.4. Which is greater: b or p?
b
Let u be (-77)/(-308) + 307/(-1132). Which is bigger: u or -1?
u
Let n = 12 + -11. Let y = 3165105 - 6836626639/2160. Let w = -3/80 + y. Which is smaller: n or w?
w
Suppose -5*c + 7 + 16 = -a, 16 = 3*a + 2*c. Suppose -a = -25*j + 23*j. Is j at most as big as 26/23?
True
Suppose -26*m + 21*m = -4340. Suppose -8*q - m + 20 = 0. Is q != -106?
False
Let l(t) = 13*t + 190. Let i be l(-15). Let z be 1*i - (15 - (-20)/2). Which is smaller: z or 0.2?
z
Let x = 35 - 32. Let a(v) = -v**3 + 4*v**2 + v - 9. Let u be a(x). Suppose u*b - 4 = 4*w + 10, 3*b = 5*w + 19. Are w and -4 unequal?
True
Let v be 2/(-65)*(-5)/16. Let n = 11794 - 11794. Which is greater: v or n?
v
Let a(b) be the first derivative of b**4/4 - 4*b**3 - 11*b**2/2 + 65*b + 3. Let j be a(13). Which is smaller: j or 90?
90
Let a(x) = 125*x**3 + 5*x**2 - 5*x + 6. Let t be a(-2). Which is smaller: -967 or t?
-967
Let a = 9.3 - -168.7. Let b = 177 - a. Which is bigger: b or 2/337?
2/337
Let f(l) = -283*l - 609. Let r be f(-2). Let s be (428/(-60))/((-2)/(-12)). Which is smaller: s or r?
r
Suppose 0 = -95*s + 90*s - 2*q - 5035, 3*s + q = -3021. Which is greater: s or -2013/2?
-2013/2
Let r = -1 - -3. Let o be 23 + -31 - (-11 + 3). Suppose -7*y = -r*y - o*y. Is y < 4/15?
True
Let s be 374/62 + 4 + -18 + 3 + 5. Let g(a) = -a**3 - a**2 + a + 1. Let x be g(0). Let q = -1 + x. Is q bigger than s?
False
Let n = 694.4 + 55.6. Let k = 760 - n. Which is greater: 0 or k?
k
Let v = 0.9932 + -4482.9932. Which is smaller: -4 or v?
v
Let p be 72*((-21)/4)/7. Which is greater: -1/81 or p?
-1/81
Suppose 11*p + 5*o - 7 = 7*p, 5*p - 4*o = -22. Let w be (-187)/44*p/(-3). Is w at least as big as -4?
True
Let z be 28/(-126) + (-254)/(-9). Let b = z + -27. Suppose 203*u - 197*u = 36. Which is greater: b or u?
u
Let v = 11 - 231. Let o = v - -138. Which is bigger: o or 0?
0
Let p = -162185657 - -9140297071813/56357. Let u = 133118527/11327757 + p. Let k = u + -6/67. Is k greater than 11?
True
Let i = -670 - -664. Let r be i/9*(-4)/(-8). Is 244 smaller than r?
False
Let q = -1369.4 - -1477.4. Is q not equal to 7?
True
Let i be 